Trace number 3281016

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
priss AutoUNSAT 234.408 59.6989

General information on the benchmark

Nameindustrial/manolios/
manol-pipe-f7idw.cnf
MD5SUMe11b8f7666247454d93edb47f1646e2c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark19.761
Satisfiable
(Un)Satisfiability was proved
Number of variables263022
Number of clauses782329
Sum of the clauses size1825433
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2521552
Number of clauses of size 3260776
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c *****************************************************
0.00/0.00	c *        riss, Copyright 2009 Norbert Manthey       *
0.00/0.00	c *   This program may be redistributed or modified   *
0.00/0.00	c * under the terms of the GNU General Public License *
0.00/0.00	c *****************************************************
0.00/0.00	c process id: 19811
0.00/0.00	c setup for 4cores
0.00/0.22	c parsetime: 217004us
0.00/0.22	c parsed 782329 clauses with 263022 variables
0.00/0.27	c NW started thread 0 successfully (1090591040)
0.00/0.31	c NW started thread 1 successfully (1101080896)
0.00/0.36	c NW started thread 2 successfully (1111570752)
0.00/0.42	c NW started thread 3 successfully (1122060608)
44.65/11.52	c preprocessor returned 263022 variables
44.65/11.52	c preprocessing returned UNKNOWN
44.65/11.52	c PP set 3318 variables
44.65/11.52	c pp time: 11192616us (11s)
45.05/11.64	c preprocessor returned 263022 variables
45.05/11.64	c preprocessing returned UNKNOWN
45.05/11.64	c PP set 3318 variables
45.05/11.64	c pp time: 11212543us (11s)
45.05/11.69	c preprocessor returned 263022 variables
45.05/11.69	c preprocessing returned UNKNOWN
45.05/11.69	c PP set 3318 variables
45.05/11.69	c pp time: 11216753us (11s)
45.44/11.72	c preprocessor returned 263022 variables
45.44/11.72	c preprocessing returned UNKNOWN
45.44/11.72	c PP set 3318 variables
45.44/11.72	c pp time: 11339136us (11s)
47.43/12.29	c HTE
49.04/12.70	c subsumption
51.05/13.16	c simplified formula contains 0 unit clauses
65.00/16.62	c HTE
65.81/16.88	c subsumption
66.61/17.03	c added unsatisfied clause
66.61/17.03	c failed to add network clauses
67.81/17.35	c simplified formula contains 0 unit clauses
67.81/17.39	c added unsatisfied clause
67.81/17.39	c failed to add network clauses
69.80/17.80	c HTE
70.60/18.04	c subsumption
72.20/18.45	c simplified formula contains 0 unit clauses
73.79/18.86	c HTE
74.59/19.09	c subsumption
76.59/19.50	c simplified formula contains 0 unit clauses
76.59/19.55	c received clause contains eliminated literal 20795
82.58/21.00	c HTE
83.38/21.25	c subsumption
84.98/21.64	c simplified formula contains 0 unit clauses
86.60/22.04	c received clause contains eliminated literal 136242
98.96/25.14	c HTE
100.15/25.40	c subsumption
101.75/25.80	c simplified formula contains 0 unit clauses
103.35/26.20	c HTE
104.17/26.44	c subsumption
105.75/26.83	c simplified formula contains 0 unit clauses
105.75/26.87	c received clause contains eliminated literal 71744
118.13/29.95	c HTE
119.33/30.23	c subsumption
121.35/30.73	c simplified formula contains 0 unit clauses
133.31/33.73	c HTE
134.53/34.03	c subsumption
136.91/34.64	c simplified formula contains 0 unit clauses
136.91/34.68	c received clause contains eliminated literal -80348
138.10/34.99	c HTE
139.32/35.23	c subsumption
140.90/35.65	c simplified formula contains 0 unit clauses
142.10/35.90	c added unsatisfied clause
142.10/35.90	c failed to add network clauses
201.21/50.76	c added unsatisfied clause
201.21/50.76	c failed to add network clauses
229.97/57.92	c HTE
232.36/58.54	c ====================
232.36/58.54	c implication/decision inf%(inf)
232.36/58.54	c decisions:           1601216
232.36/58.54	c last level:          0
232.36/58.54	c conflicts:           190206
232.36/58.54	c restarts:            1261
232.36/58.54	c rejected_restarts    0
232.36/58.54	c removals:            14
232.36/58.54	c removed clauses:     130032
232.36/58.54	c oft clauses:         0
232.36/58.58	c solvetime: 47068589us (47s)
233.14/58.72	c subsumption
233.14/58.79	c sended clauses   | 10210 | 9528 | 8776 | 9369 |
233.14/58.79	c received clauses | 361 | 366 | 290 | 233 |
233.14/58.79	c join all other threads
233.14/58.79	c joined thread 0
233.14/58.79	c joined thread 1
233.14/58.79	c joined thread 2
234.30/59.66	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3281016-1304038472/watcher-3281016-1304038472 -o /tmp/evaluation-result-3281016-1304038472/solver-3281016-1304038472 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3281016-1304038472.cnf 1336379415 4800 15500 4 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.89 8.01 7.50 6/182 19810
/proc/meminfo: memFree=13518404/32951124 swapFree=67111528/67111528
[pid=19810] ppid=19808 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19810/stat : 19810 (prissAuto.sh) S 19808 19810 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515448222 8908800 252 33554432000 4194304 4922060 140735894385328 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19810/statm: 2175 252 211 178 0 68 0

[startup+0.049889 s]
/proc/loadavg: 7.89 8.01 7.50 6/182 19810
/proc/meminfo: memFree=13518404/32951124 swapFree=67111528/67111528
[pid=19810] ppid=19808 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19810/stat : 19810 (prissAuto.sh) S 19808 19810 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515448222 8908800 252 33554432000 4194304 4922060 140735894385328 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19810/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100878 s]
/proc/loadavg: 7.89 8.01 7.50 6/182 19810
/proc/meminfo: memFree=13518404/32951124 swapFree=67111528/67111528
[pid=19810] ppid=19808 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19810/stat : 19810 (prissAuto.sh) S 19808 19810 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515448222 8908800 252 33554432000 4194304 4922060 140735894385328 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19810/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300845 s]
/proc/loadavg: 7.89 8.01 7.50 6/182 19810
/proc/meminfo: memFree=13518404/32951124 swapFree=67111528/67111528
[pid=19810] ppid=19808 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19810/stat : 19810 (prissAuto.sh) S 19808 19810 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515448222 8908800 252 33554432000 4194304 4922060 140735894385328 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19810/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701822 s]
/proc/loadavg: 7.89 8.01 7.50 6/182 19810
/proc/meminfo: memFree=13518404/32951124 swapFree=67111528/67111528
[pid=19810] ppid=19808 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19810/stat : 19810 (prissAuto.sh) S 19808 19810 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515448222 8908800 252 33554432000 4194304 4922060 140735894385328 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19810/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.5006 s]
/proc/loadavg: 7.89 8.01 7.50 9/188 19816
/proc/meminfo: memFree=12764940/32951124 swapFree=67111528/67111528
[pid=19810] ppid=19808 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19810/stat : 19810 (prissAuto.sh) S 19808 19810 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515448222 8908800 252 33554432000 4194304 4922060 140735894385328 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19810/statm: 2175 252 211 178 0 68 0
[pid=19811] ppid=19810 vsize=799764 CPUtime=4.83 cores=1,3,5,7
/proc/19811/stat : 19811 (priss) S 19810 19810 19631 0 -1 4202496 204087 0 0 0 432 51 0 0 18 0 5 0 515448222 818958336 129828 33554432000 4194304 5787044 140735213205424 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19811/statm: 199941 129828 348 389 0 195691 0
[pid=19811/tid=19813] ppid=19810 vsize=799764 CPUtime=1.17 cores=1,3,5,7
/proc/19811/task/19813/stat : 19813 (priss) R 19810 19810 19631 0 -1 4202560 43045 0 0 0 107 10 0 0 18 0 5 0 515448249 818958336 129828 33554432000 4194304 5787044 140735213205424 18446744073709551615 4390903 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19811/tid=19814] ppid=19810 vsize=799764 CPUtime=1.11 cores=1,3,5,7
/proc/19811/task/19814/stat : 19814 (priss) R 19810 19810 19631 0 -1 4202560 41799 0 0 0 99 12 0 0 18 0 5 0 515448254 818958336 129828 33554432000 4194304 5787044 140735213205424 18446744073709551615 4326218 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19811/tid=19815] ppid=19810 vsize=799764 CPUtime=1.07 cores=1,3,5,7
/proc/19811/task/19815/stat : 19815 (priss) R 19810 19810 19631 0 -1 4202560 40959 0 0 0 95 12 0 0 18 0 5 0 515448259 818958336 129828 33554432000 4194304 5787044 140735213205424 18446744073709551615 4330848 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19811/tid=19816] ppid=19810 vsize=799764 CPUtime=1.02 cores=1,3,5,7
/proc/19811/task/19816/stat : 19816 (priss) R 19810 19810 19631 0 -1 4202560 42283 0 0 0 92 10 0 0 18 0 5 0 515448264 818958336 129828 33554432000 4194304 5787044 140735213205424 18446744073709551615 4330666 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 808464

[startup+3.10031 s]
/proc/loadavg: 7.89 8.01 7.50 9/188 19816
/proc/meminfo: memFree=12979408/32951124 swapFree=67111528/67111528
[pid=19810] ppid=19808 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19810/stat : 19810 (prissAuto.sh) S 19808 19810 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515448222 8908800 252 33554432000 4194304 4922060 140735894385328 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19810/statm: 2175 252 211 178 0 68 0
[pid=19811] ppid=19810 vsize=923724 CPUtime=11.13 cores=1,3,5,7
/proc/19811/stat : 19811 (priss) S 19810 19810 19631 0 -1 4202496 243529 0 0 0 1005 108 0 0 18 0 5 0 515448222 945893376 161172 33554432000 4194304 5787044 140735213205424 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19811/statm: 230931 161172 350 389 0 226681 0
[pid=19811/tid=19813] ppid=19810 vsize=923724 CPUtime=2.76 cores=1,3,5,7
/proc/19811/task/19813/stat : 19813 (priss) R 19810 19810 19631 0 -1 4202560 50948 0 0 0 252 24 0 0 18 0 5 0 515448249 945893376 161172 33554432000 4194304 5787044 140735213205424 18446744073709551615 270624936629 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19811/tid=19814] ppid=19810 vsize=923724 CPUtime=2.68 cores=1,3,5,7
/proc/19811/task/19814/stat : 19814 (priss) R 19810 19810 19631 0 -1 4202560 48189 0 0 0 241 27 0 0 18 0 5 0 515448254 945893376 161172 33554432000 4194304 5787044 140735213205424 18446744073709551615 4318927 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19811/tid=19815] ppid=19810 vsize=923724 CPUtime=2.66 cores=1,3,5,7
/proc/19811/task/19815/stat : 19815 (priss) R 19810 19810 19631 0 -1 4202560 52867 0 0 0 239 27 0 0 18 0 5 0 515448259 945893376 161172 33554432000 4194304 5787044 140735213205424 18446744073709551615 270624936629 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19811/tid=19816] ppid=19810 vsize=923724 CPUtime=2.6 cores=1,3,5,7
/proc/19811/task/19816/stat : 19816 (priss) R 19810 19810 19631 0 -1 4202560 55525 0 0 0 235 25 0 0 18 0 5 0 515448264 945893376 161173 33554432000 4194304 5787044 140735213205424 18446744073709551615 4340484 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.13
Current children cumulated vsize (KiB) 932424

[startup+6.30075 s]
/proc/loadavg: 7.98 8.03 7.51 9/188 19816
/proc/meminfo: memFree=12794648/32951124 swapFree=67111528/67111528
[pid=19810] ppid=19808 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19810/stat : 19810 (prissAuto.sh) S 19808 19810 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515448222 8908800 252 33554432000 4194304 4922060 140735894385328 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19810/statm: 2175 252 211 178 0 68 0
[pid=19811] ppid=19810 vsize=993352 CPUtime=23.88 cores=1,3,5,7
/proc/19811/stat : 19811 (priss) S 19810 19810 19631 0 -1 4202496 260745 0 0 0 2262 126 0 0 18 0 5 0 515448222 1017192448 178388 33554432000 4194304 5787044 140735213205424 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19811/statm: 248338 178388 351 389 0 244088 0
[pid=19811/tid=19813] ppid=19810 vsize=993352 CPUtime=5.95 cores=1,3,5,7
/proc/19811/task/19813/stat : 19813 (priss) R 19810 19810 19631 0 -1 4202560 54107 0 0 0 567 28 0 0 23 0 5 0 515448249 1017192448 178388 33554432000 4194304 5787044 140735213205424 18446744073709551615 4278456 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19811/tid=19814] ppid=19810 vsize=993352 CPUtime=5.85 cores=1,3,5,7
/proc/19811/task/19814/stat : 19814 (priss) R 19810 19810 19631 0 -1 4202560 52505 0 0 0 554 31 0 0 23 0 5 0 515448254 1017192448 178388 33554432000 4194304 5787044 140735213205424 18446744073709551615 4345944 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19811/tid=19815] ppid=19810 vsize=993352 CPUtime=5.84 cores=1,3,5,7
/proc/19811/task/19815/stat : 19815 (priss) R 19810 19810 19631 0 -1 4202560 56002 0 0 0 554 30 0 0 23 0 5 0 515448259 1017192448 178388 33554432000 4194304 5787044 140735213205424 18446744073709551615 4275966 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19811/tid=19816] ppid=19810 vsize=993352 CPUtime=5.79 cores=1,3,5,7
/proc/19811/task/19816/stat : 19816 (priss) R 19810 19810 19631 0 -1 4202560 62130 0 0 0 549 30 0 0 24 0 5 0 515448264 1017192448 178388 33554432000 4194304 5787044 140735213205424 18446744073709551615 4345920 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.88
Current children cumulated vsize (KiB) 1002052

[startup+12.7006 s]
/proc/loadavg: 7.98 8.03 7.51 9/188 19816
/proc/meminfo: memFree=12595768/32951124 swapFree=67111528/67111528
[pid=19810] ppid=19808 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19810/stat : 19810 (prissAuto.sh) S 19808 19810 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515448222 8908800 252 33554432000 4194304 4922060 140735894385328 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19810/statm: 2175 252 211 178 0 68 0
[pid=19811] ppid=19810 vsize=1240196 CPUtime=49.43 cores=1,3,5,7
/proc/19811/stat : 19811 (priss) S 19810 19810 19631 0 -1 4202496 331208 0 0 0 4806 137 0 0 18 0 5 0 515448222 1269960704 227652 33554432000 4194304 5787044 140735213205424 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19811/statm: 310049 227652 416 389 0 305799 0
[pid=19811/tid=19813] ppid=19810 vsize=1240196 CPUtime=12.34 cores=1,3,5,7
/proc/19811/task/19813/stat : 19813 (priss) R 19810 19810 19631 0 -1 4202560 68922 0 0 0 1205 29 0 0 25 0 5 0 515448249 1269960704 227652 33554432000 4194304 5787044 140735213205424 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19811/tid=19814] ppid=19810 vsize=1240196 CPUtime=12.21 cores=1,3,5,7
/proc/19811/task/19814/stat : 19814 (priss) R 19810 19810 19631 0 -1 4202560 68158 0 0 0 1187 34 0 0 25 0 5 0 515448254 1269960704 227652 33554432000 4194304 5787044 140735213205424 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19811/tid=19815] ppid=19810 vsize=1240196 CPUtime=12.25 cores=1,3,5,7
/proc/19811/task/19815/stat : 19815 (priss) R 19810 19810 19631 0 -1 4202560 68914 0 0 0 1192 33 0 0 25 0 5 0 515448259 1269960704 227652 33554432000 4194304 5787044 140735213205424 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19811/tid=19816] ppid=19810 vsize=1240196 CPUtime=12.19 cores=1,3,5,7
/proc/19811/task/19816/stat : 19816 (priss) R 19810 19810 19631 0 -1 4202560 89213 0 0 0 1184 35 0 0 20 0 5 0 515448264 1269960704 227652 33554432000 4194304 5787044 140735213205424 18446744073709551615 18446744073699065863 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.43
Current children cumulated vsize (KiB) 1248896

[startup+25.5004 s]
/proc/loadavg: 7.99 8.02 7.52 9/188 19816
/proc/meminfo: memFree=12519928/32951124 swapFree=67111528/67111528
[pid=19810] ppid=19808 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19810/stat : 19810 (prissAuto.sh) S 19808 19810 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515448222 8908800 252 33554432000 4194304 4922060 140735894385328 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19810/statm: 2175 252 211 178 0 68 0
[pid=19811] ppid=19810 vsize=1264856 CPUtime=100.55 cores=1,3,5,7
/proc/19811/stat : 19811 (priss) S 19810 19810 19631 0 -1 4202496 375615 0 0 0 9910 145 0 0 18 0 5 0 515448222 1295212544 243656 33554432000 4194304 5787044 140735213205424 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19811/statm: 316214 243656 418 389 0 311964 0
[pid=19811/tid=19813] ppid=19810 vsize=1264856 CPUtime=25.14 cores=1,3,5,7
/proc/19811/task/19813/stat : 19813 (priss) R 19810 19810 19631 0 -1 4202560 69023 0 0 0 2484 30 0 0 25 0 5 0 515448249 1295212544 243656 33554432000 4194304 5787044 140735213205424 18446744073709551615 5592140 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19811/tid=19814] ppid=19810 vsize=1264856 CPUtime=24.93 cores=1,3,5,7
/proc/19811/task/19814/stat : 19814 (priss) R 19810 19810 19631 0 -1 4202560 68226 0 0 0 2459 34 0 0 25 0 5 0 515448254 1295212544 243656 33554432000 4194304 5787044 140735213205424 18446744073709551615 5590569 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19811/tid=19815] ppid=19810 vsize=1264856 CPUtime=25.04 cores=1,3,5,7
/proc/19811/task/19815/stat : 19815 (priss) R 19810 19810 19631 0 -1 4202560 69085 0 0 0 2471 33 0 0 25 0 5 0 515448259 1295212544 243656 33554432000 4194304 5787044 140735213205424 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19811/tid=19816] ppid=19810 vsize=1264856 CPUtime=24.99 cores=1,3,5,7
/proc/19811/task/19816/stat : 19816 (priss) R 19810 19810 19631 0 -1 4202560 133280 0 0 0 2458 41 0 0 25 0 5 0 515448264 1295212544 243656 33554432000 4194304 5787044 140735213205424 18446744073709551615 4336696 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 100.55
Current children cumulated vsize (KiB) 1273556

[startup+51.1008 s]
/proc/loadavg: 8.05 8.04 7.54 9/188 19817
/proc/meminfo: memFree=12489904/32951124 swapFree=67111528/67111528
[pid=19810] ppid=19808 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19810/stat : 19810 (prissAuto.sh) S 19808 19810 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515448222 8908800 252 33554432000 4194304 4922060 140735894385328 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19810/statm: 2175 252 211 178 0 68 0
[pid=19811] ppid=19810 vsize=1264856 CPUtime=202.81 cores=1,3,5,7
/proc/19811/stat : 19811 (priss) S 19810 19810 19631 0 -1 4202496 402981 0 0 0 20124 157 0 0 18 0 5 0 515448222 1295212544 249116 33554432000 4194304 5787044 140735213205424 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19811/statm: 316214 249116 418 389 0 311964 0
[pid=19811/tid=19813] ppid=19810 vsize=1264856 CPUtime=50.74 cores=1,3,5,7
/proc/19811/task/19813/stat : 19813 (priss) R 19810 19810 19631 0 -1 4202560 69306 0 0 0 5042 32 0 0 25 0 5 0 515448249 1295212544 249116 33554432000 4194304 5787044 140735213205424 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19811/tid=19814] ppid=19810 vsize=1264856 CPUtime=50.4 cores=1,3,5,7
/proc/19811/task/19814/stat : 19814 (priss) R 19810 19810 19631 0 -1 4202560 68511 0 0 0 5003 37 0 0 25 0 5 0 515448254 1295212544 249116 33554432000 4194304 5787044 140735213205424 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19811/tid=19815] ppid=19810 vsize=1264856 CPUtime=50.64 cores=1,3,5,7
/proc/19811/task/19815/stat : 19815 (priss) R 19810 19810 19631 0 -1 4202560 69202 0 0 0 5029 35 0 0 25 0 5 0 515448259 1295212544 249116 33554432000 4194304 5787044 140735213205424 18446744073709551615 5591241 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19811/tid=19816] ppid=19810 vsize=1264856 CPUtime=50.59 cores=1,3,5,7
/proc/19811/task/19816/stat : 19816 (priss) R 19810 19810 19631 0 -1 4202560 159961 0 0 0 5012 47 0 0 25 0 5 0 515448264 1295212544 249116 33554432000 4194304 5787044 140735213205424 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 202.81
Current children cumulated vsize (KiB) 1273556

Solver just ended. Dumping a history of the last processes samples

[startup+54.3013 s]
/proc/loadavg: 8.05 8.04 7.54 9/188 19817
/proc/meminfo: memFree=12484572/32951124 swapFree=67111528/67111528
[pid=19810] ppid=19808 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19810/stat : 19810 (prissAuto.sh) S 19808 19810 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515448222 8908800 252 33554432000 4194304 4922060 140735894385328 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19810/statm: 2175 252 211 178 0 68 0
[pid=19811] ppid=19810 vsize=1264856 CPUtime=215.59 cores=1,3,5,7
/proc/19811/stat : 19811 (priss) S 19810 19810 19631 0 -1 4202496 404345 0 0 0 21401 158 0 0 18 0 5 0 515448222 1295212544 250480 33554432000 4194304 5787044 140735213205424 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19811/statm: 316214 250480 418 389 0 311964 0
[pid=19811/tid=19813] ppid=19810 vsize=1264856 CPUtime=53.94 cores=1,3,5,7
/proc/19811/task/19813/stat : 19813 (priss) R 19810 19810 19631 0 -1 4202560 69457 0 0 0 5362 32 0 0 25 0 5 0 515448249 1295212544 250480 33554432000 4194304 5787044 140735213205424 18446744073709551615 270612511244 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19811/tid=19814] ppid=19810 vsize=1264856 CPUtime=53.57 cores=1,3,5,7
/proc/19811/task/19814/stat : 19814 (priss) R 19810 19810 19631 0 -1 4202560 69715 0 0 0 5320 37 0 0 25 0 5 0 515448254 1295212544 250480 33554432000 4194304 5787044 140735213205424 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19811/tid=19815] ppid=19810 vsize=1264856 CPUtime=53.84 cores=1,3,5,7
/proc/19811/task/19815/stat : 19815 (priss) R 19810 19810 19631 0 -1 4202560 69207 0 0 0 5349 35 0 0 25 0 5 0 515448259 1295212544 250480 33554432000 4194304 5787044 140735213205424 18446744073709551615 5586783 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19811/tid=19816] ppid=19810 vsize=1264856 CPUtime=53.78 cores=1,3,5,7
/proc/19811/task/19816/stat : 19816 (priss) R 19810 19810 19631 0 -1 4202560 159965 0 0 0 5331 47 0 0 25 0 5 0 515448264 1295212544 250480 33554432000 4194304 5787044 140735213205424 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 215.59
Current children cumulated vsize (KiB) 1273556

[startup+57.5007 s]
/proc/loadavg: 8.04 8.04 7.54 9/188 19817
/proc/meminfo: memFree=12483868/32951124 swapFree=67111528/67111528
[pid=19810] ppid=19808 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19810/stat : 19810 (prissAuto.sh) S 19808 19810 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515448222 8908800 252 33554432000 4194304 4922060 140735894385328 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19810/statm: 2175 252 211 178 0 68 0
[pid=19811] ppid=19810 vsize=1264856 CPUtime=228.37 cores=1,3,5,7
/proc/19811/stat : 19811 (priss) S 19810 19810 19631 0 -1 4202496 404444 0 0 0 22678 159 0 0 18 0 5 0 515448222 1295212544 250579 33554432000 4194304 5787044 140735213205424 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19811/statm: 316214 250579 418 389 0 311964 0
[pid=19811/tid=19813] ppid=19810 vsize=1264856 CPUtime=57.14 cores=1,3,5,7
/proc/19811/task/19813/stat : 19813 (priss) R 19810 19810 19631 0 -1 4202560 69457 0 0 0 5682 32 0 0 25 0 5 0 515448249 1295212544 250579 33554432000 4194304 5787044 140735213205424 18446744073709551615 5590446 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19811/tid=19814] ppid=19810 vsize=1264856 CPUtime=56.76 cores=1,3,5,7
/proc/19811/task/19814/stat : 19814 (priss) R 19810 19810 19631 0 -1 4202560 69715 0 0 0 5638 38 0 0 25 0 5 0 515448254 1295212544 250579 33554432000 4194304 5787044 140735213205424 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19811/tid=19815] ppid=19810 vsize=1264856 CPUtime=57.04 cores=1,3,5,7
/proc/19811/task/19815/stat : 19815 (priss) R 19810 19810 19631 0 -1 4202560 69207 0 0 0 5669 35 0 0 25 0 5 0 515448259 1295212544 250579 33554432000 4194304 5787044 140735213205424 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19811/tid=19816] ppid=19810 vsize=1264856 CPUtime=56.98 cores=1,3,5,7
/proc/19811/task/19816/stat : 19816 (priss) R 19810 19810 19631 0 -1 4202560 160064 0 0 0 5651 47 0 0 25 0 5 0 515448264 1295212544 250579 33554432000 4194304 5787044 140735213205424 18446744073709551615 5528761 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 228.37
Current children cumulated vsize (KiB) 1273556

[startup+58.3065 s]
/proc/loadavg: 8.04 8.04 7.54 9/188 19817
/proc/meminfo: memFree=12483176/32951124 swapFree=67111528/67111528
[pid=19810] ppid=19808 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19810/stat : 19810 (prissAuto.sh) S 19808 19810 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515448222 8908800 252 33554432000 4194304 4922060 140735894385328 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19810/statm: 2175 252 211 178 0 68 0
[pid=19811] ppid=19810 vsize=1264856 CPUtime=231.59 cores=1,3,5,7
/proc/19811/stat : 19811 (priss) S 19810 19810 19631 0 -1 4202496 415381 0 0 0 22999 160 0 0 18 0 5 0 515448222 1295212544 250625 33554432000 4194304 5787044 140735213205424 18446744073709551615 270624934321 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/19811/statm: 316214 250625 418 389 0 311964 0
[pid=19811/tid=19813] ppid=19810 vsize=1264856 CPUtime=57.94 cores=1,3,5,7
/proc/19811/task/19813/stat : 19813 (priss) R 19810 19810 19631 0 -1 4202560 69458 0 0 0 5762 32 0 0 25 0 5 0 515448249 1295212544 250625 33554432000 4194304 5787044 140735213205424 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=19811/tid=19814] ppid=19810 vsize=1264856 CPUtime=57.56 cores=1,3,5,7
/proc/19811/task/19814/stat : 19814 (priss) R 19810 19810 19631 0 -1 4202560 69717 0 0 0 5718 38 0 0 25 0 5 0 515448254 1295212544 250625 33554432000 4194304 5787044 140735213205424 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=19811/tid=19815] ppid=19810 vsize=1264856 CPUtime=57.84 cores=1,3,5,7
/proc/19811/task/19815/stat : 19815 (priss) R 19810 19810 19631 0 -1 4202560 69207 0 0 0 5749 35 0 0 25 0 5 0 515448259 1295212544 250625 33554432000 4194304 5787044 140735213205424 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=19811/tid=19816] ppid=19810 vsize=1264856 CPUtime=57.8 cores=1,3,5,7
/proc/19811/task/19816/stat : 19816 (priss) R 19810 19810 19631 0 -1 4202560 170998 0 0 0 5731 49 0 0 25 0 5 0 515448264 1295212544 250625 33554432000 4194304 5787044 140735213205424 18446744073709551615 4318944 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 231.59
Current children cumulated vsize (KiB) 1273556

[startup+59.1004 s]
/proc/loadavg: 8.04 8.04 7.54 9/188 19817
/proc/meminfo: memFree=12483176/32951124 swapFree=67111528/67111528
[pid=19810] ppid=19808 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19810/stat : 19810 (prissAuto.sh) S 19808 19810 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515448222 8908800 252 33554432000 4194304 4922060 140735894385328 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19810/statm: 2175 252 211 178 0 68 0
[pid=19811] ppid=19810 vsize=1157988 CPUtime=233.8 cores=1,3,5,7
/proc/19811/stat : 19811 (priss) S 19810 19810 19631 0 -1 4202496 415410 0 0 0 23219 161 0 0 18 0 2 0 515448222 1185779712 227050 33554432000 4194304 5787044 140735213205424 18446744073709551615 270624913381 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/19811/statm: 289497 227050 446 389 0 285247 0
[pid=19811/tid=19816] ppid=19810 vsize=1157988 CPUtime=58.58 cores=1,3,5,7
/proc/19811/task/19816/stat : 19816 (priss) R 19810 19810 19631 0 -1 4202560 170998 0 0 0 5809 49 0 0 18 0 2 0 515448264 1185779712 227050 33554432000 4194304 5787044 140735213205424 18446744073709551615 18446744073699065939 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 233.8
Current children cumulated vsize (KiB) 1166688

[startup+59.5004 s]
/proc/loadavg: 8.04 8.04 7.54 6/185 19817
/proc/meminfo: memFree=12577192/32951124 swapFree=67111528/67111528
[pid=19810] ppid=19808 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19810/stat : 19810 (prissAuto.sh) S 19808 19810 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515448222 8908800 252 33554432000 4194304 4922060 140735894385328 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19810/statm: 2175 252 211 178 0 68 0
[pid=19811] ppid=19810 vsize=1157988 CPUtime=234.2 cores=1,3,5,7
/proc/19811/stat : 19811 (priss) S 19810 19810 19631 0 -1 4202496 415410 0 0 0 23259 161 0 0 18 0 2 0 515448222 1185779712 227050 33554432000 4194304 5787044 140735213205424 18446744073709551615 270624913381 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/19811/statm: 289497 227050 446 389 0 285247 0
[pid=19811/tid=19816] ppid=19810 vsize=1157988 CPUtime=58.98 cores=1,3,5,7
/proc/19811/task/19816/stat : 19816 (priss) R 19810 19810 19631 0 -1 4202560 170998 0 0 0 5849 49 0 0 18 0 2 0 515448264 1185779712 227050 33554432000 4194304 5787044 140735213205424 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 234.2
Current children cumulated vsize (KiB) 1166688

[startup+59.6004 s]
/proc/loadavg: 8.04 8.04 7.54 6/185 19817
/proc/meminfo: memFree=12577192/32951124 swapFree=67111528/67111528
[pid=19810] ppid=19808 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/19810/stat : 19810 (prissAuto.sh) S 19808 19810 19631 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 515448222 8908800 252 33554432000 4194304 4922060 140735894385328 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/19810/statm: 2175 252 211 178 0 68 0
[pid=19811] ppid=19810 vsize=1157988 CPUtime=234.3 cores=1,3,5,7
/proc/19811/stat : 19811 (priss) S 19810 19810 19631 0 -1 4202496 415410 0 0 0 23269 161 0 0 18 0 2 0 515448222 1185779712 227050 33554432000 4194304 5787044 140735213205424 18446744073709551615 270624913381 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/19811/statm: 289497 227050 446 389 0 285247 0
[pid=19811/tid=19816] ppid=19810 vsize=1157988 CPUtime=59.08 cores=1,3,5,7
/proc/19811/task/19816/stat : 19816 (priss) R 19810 19810 19631 0 -1 4202560 170998 0 0 0 5859 49 0 0 18 0 2 0 515448264 1185779712 227050 33554432000 4194304 5787044 140735213205424 18446744073709551615 4336773 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 234.3
Current children cumulated vsize (KiB) 1166688

Child status: 20
Real time (s): 59.6989
CPU time (s): 234.408
CPU user time (s): 232.75
CPU system time (s): 1.65875
CPU usage (%): 392.651
Max. virtual memory (cumulated for all children) (KiB): 1339092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 232.75
system time used= 1.65875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 415790
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67096
involuntary context switches= 1734

runsolver used 0.085986 second user time and 0.251961 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-29 02:54:33
IDJOB=3281016
IDBENCH=20495
IDSOLVER=1602
FILE ID=node108/3281016-1304038472
RUNJOBID= node108-1304037066-19650
PBS_JOBID= 13170368
Free space on /tmp= 72104 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT07/industrial/manolios/manol-pipe-f7idw.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281016-1304038472/watcher-3281016-1304038472 -o /tmp/evaluation-result-3281016-1304038472/solver-3281016-1304038472 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3281016-1304038472.cnf 1336379415 4800 15500 4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= e11b8f7666247454d93edb47f1646e2c
RANDOM SEED=1336379415

node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13518560 kB
Buffers:       2295444 kB
Cached:       16119132 kB
SwapCached:          0 kB
Active:       10717136 kB
Inactive:      8134372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13518560 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           15544 kB
Writeback:           0 kB
AnonPages:      435896 kB
Mapped:          15628 kB
Slab:           518324 kB
PageTables:       5328 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   629928 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72100 MiB
End job on node108 at 2011-04-29 02:55:33