Trace number 3286087

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 seq? (TO) 1300.04 1300.01

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
MD5SUMc6d3480970bb2819448dd0a800a3cf1c
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 variables1134832
Number of clauses6175026
Sum of the clauses size14647926
Maximum clause length1178
Minimum clause length1
Number of clauses of size 1846
Number of clauses of size 26124260
Number of clauses of size 3960
Number of clauses of size 41200
Number of clauses of size 51200
Number of clauses of size over 546560

Solver Data 

0.00/0.01	This is pico-portfolio, a naive parallel portfolio
0.00/0.01	Copyright (C) 2011 Olivier Roussel
0.00/0.01	Using 1 processing units
0.00/0.01	This portfolio uses the following solvers:
0.00/0.01	[1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.01	[2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.01	[3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.01	Starting cryptominisat 2.7.1 on core(s) 4
0.00/0.01	Starting clasp 1.3.6 on core(s) 4
0.00/0.01	Starting TNM 2009 on core(s) 4
0.00/0.01

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-3286087-1303763879/watcher-3286087-1303763879 -o /tmp/evaluation-result-3286087-1303763879/solver-3286087-1303763879 -C 2400 -W 1300 -M 7680 ppfolio --nbcore=1 HOME/instance-3286087-1303763879.cnf 

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 7.20 4.74 3.95 10/201 6748
/proc/meminfo: memFree=14694052/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=11800 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (runsolver) R 6746 6748 5962 0 -1 4202560 41 0 0 0 0 0 0 0 22 0 1 0 487986212 12083200 52 33554432000 4194304 5434984 140734553064496 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/6748/statm: 2950 52 31 303 0 2644 0

[startup+0.0516459 s]
/proc/loadavg: 7.20 4.74 3.95 10/201 6748
/proc/meminfo: memFree=14694052/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 0 0 0 24 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 3018760580522541316 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100658 s]
/proc/loadavg: 7.20 4.74 3.95 10/201 6748
/proc/meminfo: memFree=14694052/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 0 0 0 24 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 3018760580522541316 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300596 s]
/proc/loadavg: 7.20 4.74 3.95 10/201 6748
/proc/meminfo: memFree=14694052/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 0 0 0 24 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 3018760580522541316 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700547 s]
/proc/loadavg: 7.20 4.74 3.95 10/201 6748
/proc/meminfo: memFree=14694052/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 0 0 0 24 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 3018760580522541316 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50039 s]
/proc/loadavg: 7.20 4.74 3.95 12/204 6752
/proc/meminfo: memFree=14422104/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 0 0 0 24 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 3018760580522541316 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=204872 CPUtime=0.79 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 42973 0 0 0 72 7 0 0 25 0 1 0 487986213 209788928 42348 33554432000 4194304 4587354 140733285272352 18446744073709551615 4435003 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 51218 42348 288 96 0 47780 0
[pid=6751] ppid=6748 vsize=188140 CPUtime=0.68 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 50966 0 0 0 62 6 0 0 25 0 1 0 487986213 192655360 42544 33554432000 4194304 4785740 140737250303328 18446744073709551615 271550198469 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 47035 42544 309 145 0 44080 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 411336

[startup+3.10107 s]
/proc/loadavg: 7.20 4.74 3.95 11/204 6752
/proc/meminfo: memFree=14261648/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 0 0 0 24 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 3018760580522541316 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=404320 CPUtime=1.59 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 90242 0 0 0 147 12 0 0 25 0 1 0 487986213 414023680 89071 33554432000 4194304 4587354 140733285272352 18446744073709551615 4433789 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 101080 89071 288 96 0 97642 0
[pid=6751] ppid=6748 vsize=234696 CPUtime=1.48 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 62572 0 0 0 140 8 0 0 25 0 1 0 487986213 240328704 54150 33554432000 4194304 4785740 140737250303328 18446744073709551615 271550537472 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 58674 54151 309 145 0 55719 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 657340

[startup+6.30052 s]
/proc/loadavg: 7.43 4.83 3.98 11/204 6752
/proc/meminfo: memFree=13942860/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 0 0 0 18 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 204863506158190592 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=554576 CPUtime=3.19 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 128480 0 0 0 302 17 0 0 25 0 1 0 487986213 567885824 126260 33554432000 4194304 4587354 140733285272352 18446744073709551615 4238595 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 138644 126260 306 96 0 135206 0
[pid=6751] ppid=6748 vsize=259716 CPUtime=3.07 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 92108 0 0 0 295 12 0 0 25 0 1 0 487986213 265949184 61243 33554432000 4194304 4785740 140737250303328 18446744073709551615 4546107 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 64929 61243 328 145 0 61974 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 832616

[startup+12.7004 s]
/proc/loadavg: 7.63 4.91 4.02 11/204 6753
/proc/meminfo: memFree=13740872/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 0 0 0 15 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 4294934787 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=725484 CPUtime=6.4 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 171169 0 0 0 617 23 0 0 25 0 1 0 487986213 742895616 168949 33554432000 4194304 4587354 140733285272352 18446744073709551615 4364793 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 181371 168949 310 96 0 177933 0
[pid=6751] ppid=6748 vsize=270856 CPUtime=6.28 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 94899 0 0 0 615 13 0 0 25 0 1 0 487986213 277356544 64034 33554432000 4194304 4785740 140737250303328 18446744073709551615 4321639 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 67714 64034 336 145 0 64759 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1014664

[startup+25.501 s]
/proc/loadavg: 8.24 5.18 4.12 12/204 6753
/proc/meminfo: memFree=12428208/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 0 0 0 15 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 4294934787 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=965196 CPUtime=12.79 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 236979 0 0 0 1249 30 0 0 25 0 1 0 487986213 988360704 225893 33554432000 4194304 4587354 140733285272352 18446744073709551615 4430084 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 241299 225893 314 96 0 237861 0
[pid=6751] ppid=6748 vsize=302144 CPUtime=12.68 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 102721 0 0 0 1254 14 0 0 25 0 1 0 487986213 309395456 71856 33554432000 4194304 4785740 140737250303328 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 75536 71856 336 145 0 72581 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1285664

[startup+51.1003 s]
/proc/loadavg: 8.84 5.56 4.27 11/204 6754
/proc/meminfo: memFree=12252064/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 0 0 0 15 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 4294934787 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=1067436 CPUtime=25.59 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 348903 0 0 0 2515 44 0 0 25 0 1 0 487986213 1093054464 241479 33554432000 4194304 4587354 140733285272352 18446744073709551615 4236798 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 266859 241479 330 96 0 263421 0
[pid=6751] ppid=6748 vsize=333264 CPUtime=25.49 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 110470 0 0 0 2533 16 0 0 25 0 1 0 487986213 341262336 79605 33554432000 4194304 4785740 140737250303328 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 83316 79605 336 145 0 80361 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1419024

[startup+102.307 s]
/proc/loadavg: 9.56 6.26 4.58 11/204 6755
/proc/meminfo: memFree=12184680/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 0 0 0 15 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 4294934787 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=1217440 CPUtime=51.2 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 351376 0 0 0 5075 45 0 0 25 0 1 0 487986213 1246658560 243949 33554432000 4194304 4587354 140733285272352 18446744073709551615 4237643 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 304360 243949 330 96 0 300922 0
[pid=6751] ppid=6748 vsize=366708 CPUtime=51.08 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 118836 0 0 0 5091 17 0 0 25 0 1 0 487986213 375508992 87971 33554432000 4194304 4785740 140737250303328 18446744073709551615 4552553 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 91677 87971 336 145 0 88722 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1602472

[startup+162.301 s]
/proc/loadavg: 9.63 6.88 4.89 11/204 6787
/proc/meminfo: memFree=12611184/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 0 0 0 15 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 4294934787 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=1217440 CPUtime=81.2 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 366263 0 0 0 8073 47 0 0 25 0 1 0 487986213 1246658560 258834 33554432000 4194304 4587354 140733285272352 18446744073709551615 4236555 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 304360 258834 330 96 0 300922 0
[pid=6751] ppid=6748 vsize=380456 CPUtime=81.07 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 122265 0 0 0 8089 18 0 0 25 0 1 0 487986213 389586944 91400 33554432000 4194304 4785740 140737250303328 18446744073709551615 4290648 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 95114 91400 336 145 0 92159 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1616220

[startup+222.301 s]
/proc/loadavg: 9.72 7.41 5.20 11/204 6818
/proc/meminfo: memFree=12913340/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 0 0 0 15 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 4294934787 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=1217440 CPUtime=111.21 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 379946 0 0 0 11072 49 0 0 25 0 1 0 487986213 1246658560 272514 33554432000 4194304 4587354 140733285272352 18446744073709551615 4230266 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 304360 272514 330 96 0 300922 0
[pid=6751] ppid=6748 vsize=387776 CPUtime=111.08 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 124116 0 0 0 11089 19 0 0 25 0 1 0 487986213 397082624 93251 33554432000 4194304 4785740 140737250303328 18446744073709551615 4290592 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 96944 93251 336 145 0 93989 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1623540

[startup+282.3 s]

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

/proc/meminfo: memFree=12299300/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 0 0 0 15 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 4294934787 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=1277072 CPUtime=403.34 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 15061820 0 0 0 38544 1790 0 0 19 0 1 0 487986213 1307721728 248149 33554432000 4194304 4587354 140733285272352 18446744073709551615 4263452 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 319268 248149 335 96 0 315830 0
[pid=6751] ppid=6748 vsize=530500 CPUtime=358.96 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 159723 0 0 0 35870 26 0 0 25 0 1 0 487986213 543232000 128858 33554432000 4194304 4785740 140737250303328 18446744073709551615 4290633 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 132625 128858 336 145 0 129670 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 1825896

[startup+822.301 s]
/proc/loadavg: 11.08 10.41 7.83 12/205 7254
/proc/meminfo: memFree=12246080/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 0 0 0 15 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 4294934787 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=1365932 CPUtime=435.23 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 18305641 0 0 0 41350 2173 0 0 25 0 1 0 487986213 1398714368 269970 33554432000 4194304 4587354 140733285272352 18446744073709551615 4293936 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 341483 269970 335 96 0 338045 0
[pid=6751] ppid=6748 vsize=545420 CPUtime=387.06 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 163470 0 0 0 38680 26 0 0 25 0 1 0 487986213 558510080 132605 33554432000 4194304 4785740 140737250303328 18446744073709551615 4552626 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 136355 132605 336 145 0 133400 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 1929676

[startup+882.301 s]
/proc/loadavg: 11.07 10.53 8.03 12/205 7256
/proc/meminfo: memFree=12169440/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 0 0 0 15 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 4294934787 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=1365932 CPUtime=467.57 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 21559861 0 0 0 44191 2566 0 0 25 0 1 0 487986213 1398714368 269970 33554432000 4194304 4587354 140733285272352 18446744073709551615 4502695 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 341483 269970 335 96 0 338045 0
[pid=6751] ppid=6748 vsize=563068 CPUtime=414.73 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 167906 0 0 0 41446 27 0 0 25 0 1 0 487986213 576581632 137041 33554432000 4194304 4785740 140737250303328 18446744073709551615 4290607 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 140767 137041 336 145 0 137812 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 1947324

[startup+942.3 s]
/proc/loadavg: 11.02 10.61 8.21 12/205 7257
/proc/meminfo: memFree=12168304/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 0 0 0 15 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 4294934787 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=1365932 CPUtime=501.77 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 25007401 0 0 0 47199 2978 0 0 20 0 1 0 487986213 1398714368 269970 33554432000 4194304 4587354 140733285272352 18446744073709551615 4502695 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 341483 269970 335 96 0 338045 0
[pid=6751] ppid=6748 vsize=568936 CPUtime=440.52 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 169372 0 0 0 44025 27 0 0 25 0 1 0 487986213 582590464 138507 33554432000 4194304 4785740 140737250303328 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 142234 138507 336 145 0 139279 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 1953192

[startup+1002.3 s]
/proc/loadavg: 11.01 10.68 8.38 12/205 7259
/proc/meminfo: memFree=12095876/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0.01 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 1 0 0 15 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 4294934787 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=1365932 CPUtime=537.08 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 28551601 0 0 0 50307 3401 0 0 18 0 1 0 487986213 1398714368 269970 33554432000 4194304 4587354 140733285272352 18446744073709551615 4502695 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 341483 269970 335 96 0 338045 0
[pid=6751] ppid=6748 vsize=589520 CPUtime=465.22 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 174528 0 0 0 46494 28 0 0 25 0 1 0 487986213 603668480 143663 33554432000 4194304 4785740 140737250303328 18446744073709551615 4290592 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 147380 143663 336 145 0 144425 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1973776

[startup+1062.3 s]
/proc/loadavg: 11.00 10.74 8.54 12/205 7261
/proc/meminfo: memFree=12007176/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0.01 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 1 0 0 15 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 4294934787 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=1365932 CPUtime=570.51 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 31932149 0 0 0 53254 3797 0 0 25 0 1 0 487986213 1398714368 267418 33554432000 4194304 4587354 140733285272352 18446744073709551615 4263701 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 341483 267418 335 96 0 338045 0
[pid=6751] ppid=6748 vsize=603576 CPUtime=491.79 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 178046 0 0 0 49150 29 0 0 25 0 1 0 487986213 618061824 147181 33554432000 4194304 4785740 140737250303328 18446744073709551615 4290578 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 150894 147181 336 145 0 147939 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1987832

[startup+1122.3 s]
/proc/loadavg: 11.06 10.80 8.70 12/205 7262
/proc/meminfo: memFree=12025752/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0.01 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 0 1 0 0 15 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 207972877796900864 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=1372064 CPUtime=604.11 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 35328200 0 0 0 56212 4199 0 0 25 0 1 0 487986213 1404993536 271503 33554432000 4194304 4587354 140733285272352 18446744073709551615 4412511 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 343016 271503 335 96 0 339578 0
[pid=6751] ppid=6748 vsize=609320 CPUtime=518.21 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 179471 0 0 0 51791 30 0 0 25 0 1 0 487986213 623943680 148606 33554432000 4194304 4785740 140737250303328 18446744073709551615 4290592 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 152330 148606 336 145 0 149375 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1999708

[startup+1182.3 s]
/proc/loadavg: 11.02 10.83 8.84 12/205 7264
/proc/meminfo: memFree=11917216/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0.02 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 1 1 0 0 15 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 4294934787 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=1365932 CPUtime=640.39 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 39023101 0 0 0 59407 4632 0 0 23 0 1 0 487986213 1398714368 269970 33554432000 4194304 4587354 140733285272352 18446744073709551615 4503123 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 341483 269970 335 96 0 338045 0
[pid=6751] ppid=6748 vsize=621944 CPUtime=541.91 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 182571 0 0 0 54161 30 0 0 25 0 1 0 487986213 636870656 151706 33554432000 4194304 4785740 140737250303328 18446744073709551615 4290592 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 155486 151706 336 145 0 152531 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2006200

[startup+1242.3 s]
/proc/loadavg: 11.01 10.86 8.97 12/205 7265
/proc/meminfo: memFree=11952292/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0.02 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 1 1 0 0 15 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 4294934787 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=1365932 CPUtime=674.5 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 42470641 0 0 0 62407 5043 0 0 21 0 1 0 487986213 1398714368 269970 33554432000 4194304 4587354 140733285272352 18446744073709551615 4502752 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 341483 269970 335 96 0 338045 0
[pid=6751] ppid=6748 vsize=634236 CPUtime=567.8 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 185658 0 0 0 56749 31 0 0 25 0 1 0 487986213 649457664 154793 33554432000 4194304 4785740 140737250303328 18446744073709551615 4562722 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 158559 154793 336 145 0 155604 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2018492



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 10.89 10.84 9.08 12/205 7328
/proc/meminfo: memFree=14603536/32951124 swapFree=67111528/67111528
[pid=6748] ppid=6746 vsize=18324 CPUtime=0.02 cores=4,6
/proc/6748/stat : 6748 (ppfolio) S 6746 6748 5962 0 -1 4202496 499 214 0 0 1 1 0 0 15 0 1 0 487986212 18763776 394 33554432000 4194304 4287625 140737325706400 18446744073709551615 271550557711 0 0 4096 65536 4294934787 0 0 17 6 0 0 0
/proc/6748/statm: 4581 394 346 23 0 91 0
[pid=6750] ppid=6748 vsize=1365932 CPUtime=705.01 cores=4
/proc/6750/stat : 6750 (cryptominisat) R 6748 6748 5962 0 -1 4202496 45716370 0 0 0 65055 5446 0 0 18 0 1 0 487986213 1398714368 261479 33554432000 4194304 4587354 140733285272352 18446744073709551615 271550235093 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6750/statm: 341483 261489 335 96 0 338045 0
[pid=6751] ppid=6748 vsize=657664 CPUtime=595.01 cores=4
/proc/6751/stat : 6751 (clasp) R 6748 6748 5962 0 -1 4202496 191508 0 0 0 59468 33 0 0 25 0 1 0 487986213 673447936 160643 33554432000 4194304 4785740 140737250303328 18446744073709551615 4286914 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/6751/statm: 164416 160643 336 145 0 161461 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 2041920

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6748 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=10998
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=10998
# CPU time returned by wait4() is 0.021996
# while last known CPU time is 1300.04
#
# 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): 1300.04
CPU user time (s): 1245.24
CPU system time (s): 54.8
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2077252

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

runsolver used 2.6226 second user time and 5.11722 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-25 22:38:03
IDJOB=3286087
IDBENCH=82413
IDSOLVER=1613
FILE ID=node133/3286087-1303763879
RUNJOBID= node133-1303763834-6667
PBS_JOBID= 13157125
Free space on /tmp= 71144 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3286087-1303763879/watcher-3286087-1303763879 -o /tmp/evaluation-result-3286087-1303763879/solver-3286087-1303763879 -C 2400 -W 1300 -M 7680  ppfolio --nbcore=1 HOME/instance-3286087-1303763879.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= c6d3480970bb2819448dd0a800a3cf1c
RANDOM SEED=1815132804

node133.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.834
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.66
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.834
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.834
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.834
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	: 6741.12
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.834
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.74
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.834
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.83
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.834
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.74
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.834
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14694084 kB
Buffers:       2171000 kB
Cached:       12700648 kB
SwapCached:          0 kB
Active:       11670360 kB
Inactive:      6016712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14694084 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          415108 kB
Writeback:           0 kB
AnonPages:     2814636 kB
Mapped:          17836 kB
Slab:           500088 kB
PageTables:      11692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  3978224 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71412 MiB
End job on node133 at 2011-04-25 22:59:45