Trace number 3280888

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
ppfolio par? (TO) 3962.21 1300.01

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
MD5SUM8d6acb9f6b752ad76c024133f5175c69
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1694
Number of clauses5726
Sum of the clauses size14874
Maximum clause length23
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22490
Number of clauses of size 33143
Number of clauses of size 439
Number of clauses of size 538
Number of clauses of size over 513

Solver Data 

0.00/0.85	This is pico-portfolio, a naive parallel portfolio
0.00/0.85	Copyright (C) 2011 Olivier Roussel
0.00/0.85	Using 4 processing units
0.00/0.85	This portfolio uses the following solvers:
0.00/0.85	[1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.85	[2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.85	[3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.85	[4] lingeling 276-6264d55-100731 (Armin Biere)
0.00/0.85	[5] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.85	Starting cryptominisat 2.7.1 on core(s) 1
0.00/0.85	Starting clasp 1.3.6 on core(s) 5
0.00/0.85	Starting TNM 2009 on core(s) 7
0.00/0.85	Starting lingeling 276-6264d55-100731 on core(s) 3
0.00/0.85	Starting march_hi 2009 on core(s) 7
3962.21/1300.00	Done

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3280888-1304032451/watcher-3280888-1304032451 -o /tmp/evaluation-result-3280888-1304032451/solver-3280888-1304032451 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3280888-1304032451.cnf 

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.79 8.00 7.89 5/181 17446
/proc/meminfo: memFree=22705776/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) R 17444 17446 16886 0 -1 4194304 498 0 0 0 0 0 0 0 25 0 1 0 514842215 18763776 387 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476339788 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/17446/statm: 4581 387 339 23 0 91 0

[startup+0.0404471 s]
/proc/loadavg: 7.79 8.00 7.89 5/181 17446
/proc/meminfo: memFree=22705776/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) R 17444 17446 16886 0 -1 4194304 498 0 0 0 0 0 0 0 25 0 1 0 514842215 18763776 387 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476339788 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/17446/statm: 4581 387 339 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100433 s]
/proc/loadavg: 7.79 8.00 7.89 5/181 17446
/proc/meminfo: memFree=22705776/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) R 17444 17446 16886 0 -1 4194304 498 0 0 0 0 0 0 0 25 0 1 0 514842215 18763776 387 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476339788 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/17446/statm: 4581 387 339 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300395 s]
/proc/loadavg: 7.79 8.00 7.89 5/181 17446
/proc/meminfo: memFree=22705776/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) R 17444 17446 16886 0 -1 4194304 498 0 0 0 0 0 0 0 25 0 1 0 514842215 18763776 387 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476339788 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/17446/statm: 4581 387 339 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700318 s]
/proc/loadavg: 7.79 8.00 7.89 5/181 17446
/proc/meminfo: memFree=22705776/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) R 17444 17446 16886 0 -1 4194304 498 0 0 0 0 0 0 0 25 0 1 0 514842215 18763776 387 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476339788 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/17446/statm: 4581 387 339 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50117 s]
/proc/loadavg: 7.79 8.00 7.89 11/187 17452
/proc/meminfo: memFree=22691344/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) S 17444 17446 16886 0 -1 4202496 520 0 0 0 0 0 0 0 24 0 1 0 514842215 18763776 389 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476715023 0 0 4096 65536 8959920671358451711 0 0 17 3 0 0 0
/proc/17446/statm: 4581 389 341 23 0 91 0
[pid=17447] ppid=17446 vsize=1639396 CPUtime=1.49 cores=1
/proc/17447/stat : 17447 (cryptominisat) R 17446 17446 16886 0 -1 4202496 2076 0 0 0 149 0 0 0 20 0 1 0 514842216 1678741504 1209 33554432000 4194304 4587354 140736812890784 18446744073709551615 4237607 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17447/statm: 409849 1209 333 96 0 406411 0
[pid=17448] ppid=17446 vsize=14924 CPUtime=1.49 cores=5
/proc/17448/stat : 17448 (clasp) R 17446 17446 16886 0 -1 4202496 1220 0 0 0 149 0 0 0 25 0 1 0 514842216 15282176 1097 33554432000 4194304 4785740 140735843173888 18446744073709551615 4287055 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17448/statm: 3731 1097 340 145 0 776 0
[pid=17449] ppid=17446 vsize=456100 CPUtime=1.18 cores=7
/proc/17449/stat : 17449 (TNM) R 17446 17446 16886 0 -1 4202496 462 0 0 0 118 0 0 0 25 0 1 0 514842216 467046400 359 33554432000 134512640 134534564 4293890352 18446744073709551615 134530568 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17449/statm: 114025 359 95 6 0 112691 0
[pid=17450] ppid=17446 vsize=7464 CPUtime=1.49 cores=3
/proc/17450/stat : 17450 (lingeling) R 17446 17446 16886 0 -1 4202496 1398 0 0 0 149 0 0 0 20 0 1 0 514842216 7643136 1066 33554432000 4194304 4352236 140736902187664 18446744073709551615 4280969 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17450/statm: 1866 1066 127 39 0 946 0
[pid=17452] ppid=17446 vsize=10540 CPUtime=0.3 cores=7
/proc/17452/stat : 17452 (march_hi) R 17446 17446 16886 0 -1 4202496 964 0 0 0 30 0 0 0 25 0 1 0 514842296 10792960 817 33554432000 4194304 4331988 140735233493776 18446744073709551615 4237176 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17452/statm: 2635 817 174 34 0 1077 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 2146748

[startup+3.10086 s]
/proc/loadavg: 7.79 8.00 7.89 10/187 17452
/proc/meminfo: memFree=22689656/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) S 17444 17446 16886 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 514842215 18763776 389 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476715023 0 0 4096 65536 8959920671358451711 0 0 17 3 0 0 0
/proc/17446/statm: 4581 389 341 23 0 91 0
[pid=17447] ppid=17446 vsize=1647456 CPUtime=3.09 cores=1
/proc/17447/stat : 17447 (cryptominisat) R 17446 17446 16886 0 -1 4202496 4784 0 0 0 309 0 0 0 25 0 1 0 514842216 1686994944 3042 33554432000 4194304 4587354 140736812890784 18446744073709551615 4237840 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17447/statm: 411864 3042 342 96 0 408426 0
[pid=17448] ppid=17446 vsize=15588 CPUtime=3.09 cores=5
/proc/17448/stat : 17448 (clasp) R 17446 17446 16886 0 -1 4202496 1366 0 0 0 309 0 0 0 25 0 1 0 514842216 15962112 1243 33554432000 4194304 4785740 140735843173888 18446744073709551615 4299680 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17448/statm: 3897 1243 340 145 0 942 0
[pid=17449] ppid=17446 vsize=456100 CPUtime=1.97 cores=7
/proc/17449/stat : 17449 (TNM) R 17446 17446 16886 0 -1 4202496 462 0 0 0 197 0 0 0 25 0 1 0 514842216 467046400 359 33554432000 134512640 134534564 4293890352 18446744073709551615 134528464 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17449/statm: 114025 359 95 6 0 112691 0
[pid=17450] ppid=17446 vsize=7084 CPUtime=3.09 cores=3
/proc/17450/stat : 17450 (lingeling) R 17446 17446 16886 0 -1 4202496 1751 0 0 0 309 0 0 0 25 0 1 0 514842216 7254016 971 33554432000 4194304 4352236 140736902187664 18446744073709551615 4276795 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17450/statm: 1771 971 127 39 0 851 0
[pid=17452] ppid=17446 vsize=11200 CPUtime=1.1 cores=7
/proc/17452/stat : 17452 (march_hi) R 17446 17446 16886 0 -1 4202496 1119 0 0 0 110 0 0 0 25 0 1 0 514842296 11468800 972 33554432000 4194304 4331988 140735233493776 18446744073709551615 4210977 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17452/statm: 2800 972 174 34 0 1242 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 2155752

[startup+6.30125 s]
/proc/loadavg: 7.89 8.01 7.89 10/187 17452
/proc/meminfo: memFree=22677984/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) S 17444 17446 16886 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 514842215 18763776 389 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476715023 0 0 4096 65536 8959920671358451711 0 0 17 3 0 0 0
/proc/17446/statm: 4581 389 341 23 0 91 0
[pid=17447] ppid=17446 vsize=1653100 CPUtime=6.29 cores=1
/proc/17447/stat : 17447 (cryptominisat) R 17446 17446 16886 0 -1 4202496 7203 0 0 0 628 1 0 0 25 0 1 0 514842216 1692774400 4414 33554432000 4194304 4587354 140736812890784 18446744073709551615 4238246 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17447/statm: 413275 4414 342 96 0 409837 0
[pid=17448] ppid=17446 vsize=16644 CPUtime=6.29 cores=5
/proc/17448/stat : 17448 (clasp) R 17446 17446 16886 0 -1 4202496 1620 0 0 0 629 0 0 0 25 0 1 0 514842216 17043456 1497 33554432000 4194304 4785740 140735843173888 18446744073709551615 4553088 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17448/statm: 4161 1497 340 145 0 1206 0
[pid=17449] ppid=17446 vsize=456100 CPUtime=3.56 cores=7
/proc/17449/stat : 17449 (TNM) R 17446 17446 16886 0 -1 4202496 462 0 0 0 356 0 0 0 25 0 1 0 514842216 467046400 359 33554432000 134512640 134534564 4293890352 18446744073709551615 134530652 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17449/statm: 114025 359 95 6 0 112691 0
[pid=17450] ppid=17446 vsize=8624 CPUtime=6.29 cores=3
/proc/17450/stat : 17450 (lingeling) R 17446 17446 16886 0 -1 4202496 2808 0 0 0 629 0 0 0 25 0 1 0 514842216 8830976 1356 33554432000 4194304 4352236 140736902187664 18446744073709551615 4281174 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17450/statm: 2156 1356 127 39 0 1236 0
[pid=17452] ppid=17446 vsize=11460 CPUtime=2.7 cores=7
/proc/17452/stat : 17452 (march_hi) R 17446 17446 16886 0 -1 4202496 1200 0 0 0 270 0 0 0 25 0 1 0 514842296 11735040 1053 33554432000 4194304 4331988 140735233493776 18446744073709551615 4226440 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17452/statm: 2865 1053 174 34 0 1307 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 2164252

[startup+12.701 s]
/proc/loadavg: 7.98 8.03 7.90 10/187 17452
/proc/meminfo: memFree=22666748/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) S 17444 17446 16886 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 514842215 18763776 389 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476715023 0 0 4096 65536 8959920671358451711 0 0 17 3 0 0 0
/proc/17446/statm: 4581 389 341 23 0 91 0
[pid=17447] ppid=17446 vsize=1652180 CPUtime=12.69 cores=1
/proc/17447/stat : 17447 (cryptominisat) R 17446 17446 16886 0 -1 4202496 9912 0 0 0 1267 2 0 0 25 0 1 0 514842216 1691832320 4320 33554432000 4194304 4587354 140736812890784 18446744073709551615 4238512 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17447/statm: 413045 4320 342 96 0 409607 0
[pid=17448] ppid=17446 vsize=17836 CPUtime=12.69 cores=5
/proc/17448/stat : 17448 (clasp) R 17446 17446 16886 0 -1 4202496 1927 0 0 0 1269 0 0 0 25 0 1 0 514842216 18264064 1804 33554432000 4194304 4785740 140735843173888 18446744073709551615 4416832 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17448/statm: 4459 1804 340 145 0 1504 0
[pid=17449] ppid=17446 vsize=456100 CPUtime=6.72 cores=7
/proc/17449/stat : 17449 (TNM) R 17446 17446 16886 0 -1 4202496 462 0 0 0 672 0 0 0 25 0 1 0 514842216 467046400 359 33554432000 134512640 134534564 4293890352 18446744073709551615 134528708 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17449/statm: 114025 359 95 6 0 112691 0
[pid=17450] ppid=17446 vsize=10040 CPUtime=12.68 cores=3
/proc/17450/stat : 17450 (lingeling) R 17446 17446 16886 0 -1 4202496 4730 0 0 0 1268 0 0 0 25 0 1 0 514842216 10280960 1710 33554432000 4194304 4352236 140736902187664 18446744073709551615 4328505 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17450/statm: 2510 1710 127 39 0 1590 0
[pid=17452] ppid=17446 vsize=12112 CPUtime=5.9 cores=7
/proc/17452/stat : 17452 (march_hi) R 17446 17446 16886 0 -1 4202496 1347 0 0 0 590 0 0 0 25 0 1 0 514842296 12402688 1200 33554432000 4194304 4331988 140735233493776 18446744073709551615 4237186 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17452/statm: 3028 1200 174 34 0 1470 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 2166592

[startup+25.5006 s]
/proc/loadavg: 8.28 8.09 7.92 10/187 17452
/proc/meminfo: memFree=22659112/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) S 17444 17446 16886 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 514842215 18763776 389 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476715023 0 0 4096 65536 8959920671358451711 0 0 17 3 0 0 0
/proc/17446/statm: 4581 389 341 23 0 91 0
[pid=17447] ppid=17446 vsize=1652888 CPUtime=25.49 cores=1
/proc/17447/stat : 17447 (cryptominisat) R 17446 17446 16886 0 -1 4202496 14701 0 0 0 2546 3 0 0 25 0 1 0 514842216 1692557312 4893 33554432000 4194304 4587354 140736812890784 18446744073709551615 4236583 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17447/statm: 413222 4893 342 96 0 409784 0
[pid=17448] ppid=17446 vsize=19484 CPUtime=25.49 cores=5
/proc/17448/stat : 17448 (clasp) R 17446 17446 16886 0 -1 4202496 2340 0 0 0 2549 0 0 0 25 0 1 0 514842216 19951616 2217 33554432000 4194304 4785740 140735843173888 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17448/statm: 4871 2217 340 145 0 1916 0
[pid=17449] ppid=17446 vsize=456100 CPUtime=13.11 cores=7
/proc/17449/stat : 17449 (TNM) R 17446 17446 16886 0 -1 4202496 462 0 0 0 1311 0 0 0 25 0 1 0 514842216 467046400 359 33554432000 134512640 134534564 4293890352 18446744073709551615 134530648 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17449/statm: 114025 359 95 6 0 112691 0
[pid=17450] ppid=17446 vsize=12728 CPUtime=25.49 cores=3
/proc/17450/stat : 17450 (lingeling) R 17446 17446 16886 0 -1 4202496 6970 0 0 0 2548 1 0 0 25 0 1 0 514842216 13033472 2382 33554432000 4194304 4352236 140736902187664 18446744073709551615 4329032 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17450/statm: 3182 2382 127 39 0 2262 0
[pid=17452] ppid=17446 vsize=12500 CPUtime=12.24 cores=7
/proc/17452/stat : 17452 (march_hi) R 17446 17446 16886 0 -1 4202496 1466 0 0 0 1224 0 0 0 25 0 1 0 514842296 12800000 1319 33554432000 4194304 4331988 140735233493776 18446744073709551615 4237398 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17452/statm: 3125 1319 174 34 0 1567 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 2172024

[startup+51.1007 s]
/proc/loadavg: 8.67 8.20 7.96 10/187 17453
/proc/meminfo: memFree=22647836/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) S 17444 17446 16886 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 514842215 18763776 389 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476715023 0 0 4096 65536 8959920671358451711 0 0 17 3 0 0 0
/proc/17446/statm: 4581 389 341 23 0 91 0
[pid=17447] ppid=17446 vsize=1657960 CPUtime=51.09 cores=1
/proc/17447/stat : 17447 (cryptominisat) R 17446 17446 16886 0 -1 4202496 23354 0 0 0 5104 5 0 0 25 0 1 0 514842216 1697751040 5456 33554432000 4194304 4587354 140736812890784 18446744073709551615 4238778 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/17447/statm: 414490 5456 342 96 0 411052 0
[pid=17448] ppid=17446 vsize=21524 CPUtime=51.09 cores=5
/proc/17448/stat : 17448 (clasp) R 17446 17446 16886 0 -1 4202496 2871 0 0 0 5109 0 0 0 25 0 1 0 514842216 22040576 2716 33554432000 4194304 4785740 140735843173888 18446744073709551615 4552525 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17448/statm: 5381 2716 341 145 0 2426 0
[pid=17449] ppid=17446 vsize=456100 CPUtime=25.82 cores=7
/proc/17449/stat : 17449 (TNM) R 17446 17446 16886 0 -1 4202496 462 0 0 0 2582 0 0 0 25 0 1 0 514842216 467046400 359 33554432000 134512640 134534564 4293890352 18446744073709551615 134528926 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17449/statm: 114025 359 95 6 0 112691 0
[pid=17450] ppid=17446 vsize=14396 CPUtime=51.08 cores=3

################
# More data... #
################


[startup+942.301 s]
/proc/loadavg: 8.19 8.17 8.07 9/186 17477
/proc/meminfo: memFree=22600116/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=69.24 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) S 17444 17446 16886 0 -1 4202496 522 29991 0 0 0 1 6917 6 15 0 1 0 514842215 18763776 391 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476715023 0 0 4096 65536 9224195742862639368 0 0 17 3 0 0 0
/proc/17446/statm: 4581 391 342 23 0 91 0
[pid=17448] ppid=17446 vsize=40884 CPUtime=942.3 cores=5
/proc/17448/stat : 17448 (clasp) R 17446 17446 16886 0 -1 4202496 7565 0 0 0 94229 1 0 0 25 0 1 0 514842216 41865216 7401 33554432000 4194304 4785740 140735843173888 18446744073709551615 4552970 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17448/statm: 10221 7401 341 145 0 7266 0
[pid=17449] ppid=17446 vsize=456100 CPUtime=469.04 cores=7
/proc/17449/stat : 17449 (TNM) R 17446 17446 16886 0 -1 4202496 462 0 0 0 46904 0 0 0 25 0 1 0 514842216 467046400 359 33554432000 134512640 134534564 4293890352 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17449/statm: 114025 359 95 6 0 112691 0
[pid=17450] ppid=17446 vsize=26212 CPUtime=942.31 cores=3
/proc/17450/stat : 17450 (lingeling) R 17446 17446 16886 0 -1 4202496 92893 0 0 0 94218 13 0 0 25 0 1 0 514842216 26841088 5753 33554432000 4194304 4352236 140736902187664 18446744073709551615 4328116 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17450/statm: 6553 5753 127 39 0 5633 0
[pid=17452] ppid=17446 vsize=16716 CPUtime=468.14 cores=7
/proc/17452/stat : 17452 (march_hi) R 17446 17446 16886 0 -1 4202496 2357 0 0 0 46814 0 0 0 25 0 1 0 514842296 17117184 2209 33554432000 4194304 4331988 140735233493776 18446744073709551615 4237139 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17452/statm: 4179 2209 175 34 0 2621 0
Current children cumulated CPU time (s) 2891.03
Current children cumulated vsize (KiB) 558236

[startup+1002.3 s]
/proc/loadavg: 8.12 8.15 8.07 9/186 17478
/proc/meminfo: memFree=22589044/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=69.24 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) S 17444 17446 16886 0 -1 4202496 522 29991 0 0 0 1 6917 6 15 0 1 0 514842215 18763776 391 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476715023 0 0 4096 65536 9224195742862639368 0 0 17 3 0 0 0
/proc/17446/statm: 4581 391 342 23 0 91 0
[pid=17448] ppid=17446 vsize=41580 CPUtime=1002.3 cores=5
/proc/17448/stat : 17448 (clasp) R 17446 17446 16886 0 -1 4202496 7737 0 0 0 100229 1 0 0 25 0 1 0 514842216 42577920 7573 33554432000 4194304 4785740 140735843173888 18446744073709551615 4287042 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17448/statm: 10395 7573 341 145 0 7440 0
[pid=17449] ppid=17446 vsize=456100 CPUtime=498.84 cores=7
/proc/17449/stat : 17449 (TNM) R 17446 17446 16886 0 -1 4202496 462 0 0 0 49884 0 0 0 25 0 1 0 514842216 467046400 359 33554432000 134512640 134534564 4293890352 18446744073709551615 134529841 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17449/statm: 114025 359 95 6 0 112691 0
[pid=17450] ppid=17446 vsize=33636 CPUtime=1002.31 cores=3
/proc/17450/stat : 17450 (lingeling) R 17446 17446 16886 0 -1 4202496 98141 0 0 0 100218 13 0 0 25 0 1 0 514842216 34443264 7609 33554432000 4194304 4352236 140736902187664 18446744073709551615 4328265 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17450/statm: 8409 7609 127 39 0 7489 0
[pid=17452] ppid=17446 vsize=17072 CPUtime=498.02 cores=7
/proc/17452/stat : 17452 (march_hi) R 17446 17446 16886 0 -1 4202496 2458 0 0 0 49802 0 0 0 25 0 1 0 514842296 17481728 2310 33554432000 4194304 4331988 140735233493776 18446744073709551615 4243205 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17452/statm: 4268 2310 175 34 0 2710 0
Current children cumulated CPU time (s) 3070.71
Current children cumulated vsize (KiB) 566712

[startup+1062.3 s]
/proc/loadavg: 8.13 8.15 8.07 9/186 17480
/proc/meminfo: memFree=22591516/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=69.24 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) S 17444 17446 16886 0 -1 4202496 522 29991 0 0 0 1 6917 6 15 0 1 0 514842215 18763776 391 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476715023 0 0 4096 65536 9224195742862639368 0 0 17 3 0 0 0
/proc/17446/statm: 4581 391 342 23 0 91 0
[pid=17448] ppid=17446 vsize=42024 CPUtime=1062.3 cores=5
/proc/17448/stat : 17448 (clasp) R 17446 17446 16886 0 -1 4202496 7877 0 0 0 106229 1 0 0 25 0 1 0 514842216 43032576 7710 33554432000 4194304 4785740 140735843173888 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17448/statm: 10506 7710 341 145 0 7551 0
[pid=17449] ppid=17446 vsize=456100 CPUtime=528.72 cores=7
/proc/17449/stat : 17449 (TNM) R 17446 17446 16886 0 -1 4202496 462 0 0 0 52872 0 0 0 25 0 1 0 514842216 467046400 359 33554432000 134512640 134534564 4293890352 18446744073709551615 9180603 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17449/statm: 114025 359 95 6 0 112691 0
[pid=17450] ppid=17446 vsize=34020 CPUtime=1062.31 cores=3
/proc/17450/stat : 17450 (lingeling) R 17446 17446 16886 0 -1 4202496 101661 0 0 0 106217 14 0 0 25 0 1 0 514842216 34836480 7705 33554432000 4194304 4352236 140736902187664 18446744073709551615 4328051 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17450/statm: 8505 7705 127 39 0 7585 0
[pid=17452] ppid=17446 vsize=17072 CPUtime=527.81 cores=7
/proc/17452/stat : 17452 (march_hi) R 17446 17446 16886 0 -1 4202496 2514 0 0 0 52781 0 0 0 25 0 1 0 514842296 17481728 2366 33554432000 4194304 4331988 140735233493776 18446744073709551615 4243160 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17452/statm: 4268 2366 175 34 0 2710 0
Current children cumulated CPU time (s) 3250.38
Current children cumulated vsize (KiB) 567540

[startup+1122.3 s]
/proc/loadavg: 8.22 8.16 8.08 9/186 17481
/proc/meminfo: memFree=22585168/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=69.24 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) S 17444 17446 16886 0 -1 4202496 522 29991 0 0 0 1 6917 6 15 0 1 0 514842215 18763776 391 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476715023 0 0 4096 65536 9224195742862639368 0 0 17 3 0 0 0
/proc/17446/statm: 4581 391 342 23 0 91 0
[pid=17448] ppid=17446 vsize=42548 CPUtime=1122.31 cores=5
/proc/17448/stat : 17448 (clasp) R 17446 17446 16886 0 -1 4202496 7985 0 0 0 112230 1 0 0 25 0 1 0 514842216 43569152 7806 33554432000 4194304 4785740 140735843173888 18446744073709551615 4287244 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17448/statm: 10637 7806 341 145 0 7682 0
[pid=17449] ppid=17446 vsize=456100 CPUtime=558.52 cores=7
/proc/17449/stat : 17449 (TNM) R 17446 17446 16886 0 -1 4202496 462 0 0 0 55852 0 0 0 25 0 1 0 514842216 467046400 359 33554432000 134512640 134534564 4293890352 18446744073709551615 134530166 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17449/statm: 114025 359 95 6 0 112691 0
[pid=17450] ppid=17446 vsize=39908 CPUtime=1122.32 cores=3
/proc/17450/stat : 17450 (lingeling) R 17446 17446 16886 0 -1 4202496 106685 0 0 0 112217 15 0 0 25 0 1 0 514842216 40865792 9177 33554432000 4194304 4352236 140736902187664 18446744073709551615 4276472 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17450/statm: 9977 9177 127 39 0 9057 0
[pid=17452] ppid=17446 vsize=17072 CPUtime=557.68 cores=7
/proc/17452/stat : 17452 (march_hi) R 17446 17446 16886 0 -1 4202496 2537 0 0 0 55768 0 0 0 25 0 1 0 514842296 17481728 2389 33554432000 4194304 4331988 140735233493776 18446744073709551615 4265452 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17452/statm: 4268 2389 175 34 0 2710 0
Current children cumulated CPU time (s) 3430.07
Current children cumulated vsize (KiB) 573952

[startup+1182.3 s]
/proc/loadavg: 8.19 8.16 8.09 9/186 17483
/proc/meminfo: memFree=22592724/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=69.24 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) S 17444 17446 16886 0 -1 4202496 522 29991 0 0 0 1 6917 6 15 0 1 0 514842215 18763776 391 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476715023 0 0 4096 65536 9224195742862639368 0 0 17 3 0 0 0
/proc/17446/statm: 4581 391 342 23 0 91 0
[pid=17448] ppid=17446 vsize=43688 CPUtime=1182.31 cores=5
/proc/17448/stat : 17448 (clasp) R 17446 17446 16886 0 -1 4202496 8263 0 0 0 118230 1 0 0 25 0 1 0 514842216 44736512 8084 33554432000 4194304 4785740 140735843173888 18446744073709551615 4287158 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17448/statm: 10922 8084 341 145 0 7967 0
[pid=17449] ppid=17446 vsize=456100 CPUtime=588.38 cores=7
/proc/17449/stat : 17449 (TNM) R 17446 17446 16886 0 -1 4202496 462 0 0 0 58838 0 0 0 25 0 1 0 514842216 467046400 359 33554432000 134512640 134534564 4293890352 18446744073709551615 134528906 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17449/statm: 114025 359 95 6 0 112691 0
[pid=17450] ppid=17446 vsize=29028 CPUtime=1182.32 cores=3
/proc/17450/stat : 17450 (lingeling) R 17446 17446 16886 0 -1 4202496 109469 0 0 0 118217 15 0 0 25 0 1 0 514842216 29724672 6457 33554432000 4194304 4352236 140736902187664 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17450/statm: 7257 6457 127 39 0 6337 0
[pid=17452] ppid=17446 vsize=17204 CPUtime=587.5 cores=7
/proc/17452/stat : 17452 (march_hi) R 17446 17446 16886 0 -1 4202496 2570 0 0 0 58750 0 0 0 25 0 1 0 514842296 17616896 2422 33554432000 4194304 4331988 140735233493776 18446744073709551615 4242949 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17452/statm: 4301 2422 175 34 0 2743 0
Current children cumulated CPU time (s) 3609.75
Current children cumulated vsize (KiB) 564344

[startup+1242.3 s]
/proc/loadavg: 8.18 8.16 8.09 9/186 17485
/proc/meminfo: memFree=22572984/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=69.24 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) S 17444 17446 16886 0 -1 4202496 522 29991 0 0 0 1 6917 6 15 0 1 0 514842215 18763776 391 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476715023 0 0 4096 65536 9224195742862639368 0 0 17 3 0 0 0
/proc/17446/statm: 4581 391 342 23 0 91 0
[pid=17448] ppid=17446 vsize=44236 CPUtime=1242.31 cores=5
/proc/17448/stat : 17448 (clasp) R 17446 17446 16886 0 -1 4202496 8422 0 0 0 124230 1 0 0 25 0 1 0 514842216 45297664 8243 33554432000 4194304 4785740 140735843173888 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17448/statm: 11059 8243 341 145 0 8104 0
[pid=17449] ppid=17446 vsize=456100 CPUtime=618.21 cores=7
/proc/17449/stat : 17449 (TNM) R 17446 17446 16886 0 -1 4202496 462 0 0 0 61821 0 0 0 25 0 1 0 514842216 467046400 359 33554432000 134512640 134534564 4293890352 18446744073709551615 134530292 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17449/statm: 114025 359 95 6 0 112691 0
[pid=17450] ppid=17446 vsize=43620 CPUtime=1242.32 cores=3
/proc/17450/stat : 17450 (lingeling) R 17446 17446 16886 0 -1 4202496 114909 0 0 0 124216 16 0 0 25 0 1 0 514842216 44666880 10105 33554432000 4194304 4352236 140736902187664 18446744073709551615 4328105 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17450/statm: 10905 10105 127 39 0 9985 0
[pid=17452] ppid=17446 vsize=17204 CPUtime=617.34 cores=7
/proc/17452/stat : 17452 (march_hi) R 17446 17446 16886 0 -1 4202496 2584 0 0 0 61734 0 0 0 25 0 1 0 514842296 17616896 2436 33554432000 4194304 4331988 140735233493776 18446744073709551615 4242529 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17452/statm: 4301 2436 175 34 0 2743 0
Current children cumulated CPU time (s) 3789.42
Current children cumulated vsize (KiB) 579484



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 8.41 8.21 8.11 10/187 17519
/proc/meminfo: memFree=22084376/32950928 swapFree=67087032/67111528
[pid=17446] ppid=17444 vsize=18324 CPUtime=69.24 cores=1,3,5,7
/proc/17446/stat : 17446 (ppfolio) S 17444 17446 16886 0 -1 4202496 522 29991 0 0 0 1 6917 6 15 0 1 0 514842215 18763776 391 33554432000 4194304 4287625 140736875600576 18446744073709551615 239476715023 0 0 4096 65536 9224195742862639368 0 0 17 3 0 0 0
/proc/17446/statm: 4581 391 342 23 0 91 0
[pid=17448] ppid=17446 vsize=44564 CPUtime=1300.01 cores=5
/proc/17448/stat : 17448 (clasp) R 17446 17446 16886 0 -1 4202496 8474 0 0 0 130000 1 0 0 25 0 1 0 514842216 45633536 8295 33554432000 4194304 4785740 140735843173888 18446744073709551615 4553440 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17448/statm: 11141 8295 341 145 0 8186 0
[pid=17449] ppid=17446 vsize=456104 CPUtime=646.91 cores=7
/proc/17449/stat : 17449 (TNM) R 17446 17446 16886 0 -1 4202496 471 0 0 0 64691 0 0 0 25 0 1 0 514842216 467050496 368 33554432000 134512640 134534564 4293890352 18446744073709551615 134528330 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17449/statm: 114026 368 103 6 0 112692 0
[pid=17450] ppid=17446 vsize=36708 CPUtime=1300.02 cores=3
/proc/17450/stat : 17450 (lingeling) R 17446 17446 16886 0 -1 4202496 116573 0 0 0 129986 16 0 0 25 0 1 0 514842216 37588992 8377 33554432000 4194304 4352236 140736902187664 18446744073709551615 4329011 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/17450/statm: 9177 8377 127 39 0 8257 0
[pid=17452] ppid=17446 vsize=17204 CPUtime=646.03 cores=7
/proc/17452/stat : 17452 (march_hi) R 17446 17446 16886 0 -1 4202496 2585 0 0 0 64603 0 0 0 25 0 1 0 514842296 17616896 2437 33554432000 4194304 4331988 140735233493776 18446744073709551615 4226443 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/17452/statm: 4301 2437 175 34 0 2743 0
Current children cumulated CPU time (s) 3962.21
Current children cumulated vsize (KiB) 572904

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17446 and gives
#  childrusage.ru_utime.tv_sec=3315
#  childrusage.ru_utime.tv_usec=975895
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=259960
# CPU time returned by wait4() is 3316.24
# while last known CPU time is 3962.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1300.01
CPU time (s): 3962.21
CPU user time (s): 3961.97
CPU system time (s): 0.24
CPU usage (%): 304.783
Max. virtual memory (cumulated for all children) (KiB): 13307872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3315.98
system time used= 0.25996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156063
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= 363
involuntary context switches= 32648

runsolver used 2.02069 second user time and 5.07823 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-29 01:14:11
IDJOB=3280888
IDBENCH=20468
IDSOLVER=1612
FILE ID=node148/3280888-1304032451
RUNJOBID= node148-1304032428-17325
PBS_JOBID= 13170304
Free space on /tmp= 71424 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280888-1304032451/watcher-3280888-1304032451 -o /tmp/evaluation-result-3280888-1304032451/solver-3280888-1304032451 -C 4800 -W 1300 -M 15500  ppfolio HOME/instance-3280888-1304032451.cnf

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

MD5SUM BENCH= 8d6acb9f6b752ad76c024133f5175c69
RANDOM SEED=1904899808

node148.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.854
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.70
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.854
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	: 5332.75
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.854
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.83
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.854
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.75
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.854
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.854
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.854
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.82
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.854
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22705932 kB
Buffers:       2007288 kB
Cached:        7620420 kB
SwapCached:       3548 kB
Active:        1633756 kB
Inactive:      8048324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22705932 kB
SwapTotal:    67111528 kB
SwapFree:     67087032 kB
Dirty:           20504 kB
Writeback:           0 kB
AnonPages:       52436 kB
Mapped:          15460 kB
Slab:           498704 kB
PageTables:       4712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   673488 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= 71400 MiB
End job on node148 at 2011-04-29 01:35:52