Trace number 3222358

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) 5000.09 5000.01

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf
MD5SUMfe5ef992569d41f4964aa99001a148e1
Bench CategoryRANDOM (random 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 variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
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	This is pico-portfolio, a naive parallel portfolio
0.00/0.00	Copyright (C) 2011 Olivier Roussel
0.00/0.00	Using 1 processing units
0.00/0.00	This portfolio uses the following solvers:
0.00/0.00	[1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00	[2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00	[3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00	Starting cryptominisat 2.7.1 on core(s) 1
0.00/0.00	Starting clasp 1.3.6 on core(s) 1
0.00/0.00	Starting TNM 2009 on core(s) 1

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-3222358-1303303410/watcher-3222358-1303303410 -o /tmp/evaluation-result-3222358-1303303410/solver-3222358-1303303410 -C 5000 -W 5000 -M 15500 ppfolio --nbcore=1 HOME/instance-3222358-1303303410.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5000 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: 6.00 6.00 6.00 4/180 2158
/proc/meminfo: memFree=17861616/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) R 2156 2158 1055 0 -1 4202496 455 0 0 0 0 0 0 0 19 0 1 0 441943585 18763776 391 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634335637 0 0 4096 65536 0 0 0 17 1 0 0 0
/proc/2158/statm: 4581 391 342 23 0 91 0

[startup+0.00953391 s]
/proc/loadavg: 6.00 6.00 6.00 4/180 2158
/proc/meminfo: memFree=17861616/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 500 0 0 0 0 0 0 0 20 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 16132574192355737860 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100515 s]
/proc/loadavg: 6.00 6.00 6.00 4/180 2158
/proc/meminfo: memFree=17861616/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 21 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.30048 s]
/proc/loadavg: 6.00 6.00 6.00 4/180 2158
/proc/meminfo: memFree=17861616/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 20 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700411 s]
/proc/loadavg: 6.00 6.00 6.00 4/180 2158
/proc/meminfo: memFree=17861616/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 16 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 16778817919722192896 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50028 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 2162
/proc/meminfo: memFree=17856888/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 16778815858137890816 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
[pid=2159] ppid=2158 vsize=940860 CPUtime=0.5 cores=1
/proc/2159/stat : 2159 (cryptominisat) R 2158 2158 1055 0 -1 4202496 1388 0 0 0 50 0 0 0 21 0 1 0 441943586 963440640 804 33554432000 4194304 4587354 140734253451072 18446744073709551615 4239471 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2159/statm: 235215 804 327 96 0 231777 0
[pid=2160] ppid=2158 vsize=13384 CPUtime=0.44 cores=1
/proc/2160/stat : 2160 (clasp) R 2158 2158 1055 0 -1 4202496 824 0 0 0 44 0 0 0 22 0 1 0 441943586 13705216 711 33554432000 4194304 4785740 140737187851344 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2160/statm: 3346 711 340 145 0 391 0
[pid=2161] ppid=2158 vsize=455960 CPUtime=0.54 cores=1
/proc/2161/stat : 2161 (TNM) R 2158 2158 1055 0 -1 4202496 365 0 0 0 54 0 0 0 25 0 1 0 441943586 466903040 262 33554432000 134512640 134534564 4290430032 18446744073709551615 134530124 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2161/statm: 113990 262 95 6 0 112656 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1428528

[startup+3.10099 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 2162
/proc/meminfo: memFree=17855276/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 16778815995576844288 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
[pid=2159] ppid=2158 vsize=941380 CPUtime=0.99 cores=1
/proc/2159/stat : 2159 (cryptominisat) R 2158 2158 1055 0 -1 4202496 1937 0 0 0 99 0 0 0 23 0 1 0 441943586 963973120 1002 33554432000 4194304 4587354 140734253451072 18446744073709551615 4238654 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2159/statm: 235345 1002 327 96 0 231907 0
[pid=2160] ppid=2158 vsize=14048 CPUtime=0.99 cores=1
/proc/2160/stat : 2160 (clasp) R 2158 2158 1055 0 -1 4202496 981 0 0 0 99 0 0 0 25 0 1 0 441943586 14385152 868 33554432000 4194304 4785740 140737187851344 18446744073709551615 4553280 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2160/statm: 3512 868 340 145 0 557 0
[pid=2161] ppid=2158 vsize=455960 CPUtime=1.09 cores=1
/proc/2161/stat : 2161 (TNM) R 2158 2158 1055 0 -1 4202496 365 0 0 0 109 0 0 0 25 0 1 0 441943586 466903040 262 33554432000 134512640 134534564 4290430032 18446744073709551615 134528993 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2161/statm: 113990 262 95 6 0 112656 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 1429712

[startup+6.30043 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 2162
/proc/meminfo: memFree=17846744/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 16778816133015797760 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
[pid=2159] ppid=2158 vsize=948124 CPUtime=2.09 cores=1
/proc/2159/stat : 2159 (cryptominisat) R 2158 2158 1055 0 -1 4202496 4500 0 0 0 209 0 0 0 25 0 1 0 441943586 970878976 2688 33554432000 4194304 4587354 140734253451072 18446744073709551615 4238947 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2159/statm: 237031 2688 337 96 0 233593 0
[pid=2160] ppid=2158 vsize=14712 CPUtime=2.04 cores=1
/proc/2160/stat : 2160 (clasp) R 2158 2158 1055 0 -1 4202496 1137 0 0 0 204 0 0 0 25 0 1 0 441943586 15065088 1024 33554432000 4194304 4785740 140737187851344 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2160/statm: 3678 1024 341 145 0 723 0
[pid=2161] ppid=2158 vsize=455960 CPUtime=2.14 cores=1
/proc/2161/stat : 2161 (TNM) R 2158 2158 1055 0 -1 4202496 365 0 0 0 214 0 0 0 25 0 1 0 441943586 466903040 262 33554432000 134512640 134534564 4290430032 18446744073709551615 134528708 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2161/statm: 113990 262 95 6 0 112656 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 1437120

[startup+12.7003 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 2163
/proc/meminfo: memFree=17848600/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
[pid=2159] ppid=2158 vsize=953436 CPUtime=4.19 cores=1
/proc/2159/stat : 2159 (cryptominisat) R 2158 2158 1055 0 -1 4202496 5903 0 0 0 419 0 0 0 25 0 1 0 441943586 976318464 2481 33554432000 4194304 4587354 140734253451072 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2159/statm: 238359 2481 337 96 0 234921 0
[pid=2160] ppid=2158 vsize=15648 CPUtime=4.19 cores=1
/proc/2160/stat : 2160 (clasp) R 2158 2158 1055 0 -1 4202496 1384 0 0 0 419 0 0 0 25 0 1 0 441943586 16023552 1271 33554432000 4194304 4785740 140737187851344 18446744073709551615 4552489 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2160/statm: 3912 1271 341 145 0 957 0
[pid=2161] ppid=2158 vsize=455960 CPUtime=4.29 cores=1
/proc/2161/stat : 2161 (TNM) R 2158 2158 1055 0 -1 4202496 365 0 0 0 429 0 0 0 25 0 1 0 441943586 466903040 262 33554432000 134512640 134534564 4290430032 18446744073709551615 1594811 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2161/statm: 113990 262 95 6 0 112656 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1443368

[startup+25.501 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 2163
/proc/meminfo: memFree=17838340/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 16778816820210565120 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
[pid=2159] ppid=2158 vsize=954260 CPUtime=8.49 cores=1
/proc/2159/stat : 2159 (cryptominisat) R 2158 2158 1055 0 -1 4202496 9731 0 0 0 848 1 0 0 25 0 1 0 441943586 977162240 4439 33554432000 4194304 4587354 140734253451072 18446744073709551615 4238568 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2159/statm: 238565 4439 337 96 0 235127 0
[pid=2160] ppid=2158 vsize=17136 CPUtime=8.44 cores=1
/proc/2160/stat : 2160 (clasp) R 2158 2158 1055 0 -1 4202496 1751 0 0 0 844 0 0 0 25 0 1 0 441943586 17547264 1638 33554432000 4194304 4785740 140737187851344 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2160/statm: 4284 1638 341 145 0 1329 0
[pid=2161] ppid=2158 vsize=455960 CPUtime=8.54 cores=1
/proc/2161/stat : 2161 (TNM) R 2158 2158 1055 0 -1 4202496 365 0 0 0 854 0 0 0 25 0 1 0 441943586 466903040 262 33554432000 134512640 134534564 4290430032 18446744073709551615 134528737 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2161/statm: 113990 262 95 6 0 112656 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1445680

[startup+51.1005 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 2164
/proc/meminfo: memFree=17825392/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 16778817644844285952 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
[pid=2159] ppid=2158 vsize=961068 CPUtime=16.99 cores=1
/proc/2159/stat : 2159 (cryptominisat) R 2158 2158 1055 0 -1 4202496 14843 0 0 0 1697 2 0 0 25 0 1 0 441943586 984133632 5702 33554432000 4194304 4587354 140734253451072 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2159/statm: 240267 5702 337 96 0 236829 0
[pid=2160] ppid=2158 vsize=19060 CPUtime=16.99 cores=1
/proc/2160/stat : 2160 (clasp) R 2158 2158 1055 0 -1 4202496 2202 0 0 0 1699 0 0 0 25 0 1 0 441943586 19517440 2089 33554432000 4194304 4785740 140737187851344 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2160/statm: 4765 2089 341 145 0 1810 0
[pid=2161] ppid=2158 vsize=455960 CPUtime=17.09 cores=1
/proc/2161/stat : 2161 (TNM) R 2158 2158 1055 0 -1 4202496 365 0 0 0 1709 0 0 0 25 0 1 0 441943586 466903040 262 33554432000 134512640 134534564 4290430032 18446744073709551615 134528748 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2161/statm: 113990 262 95 6 0 112656 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1454412

[startup+102.306 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 2165
/proc/meminfo: memFree=17809724/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 16778816270454751232 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
[pid=2159] ppid=2158 vsize=966332 CPUtime=34.09 cores=1
/proc/2159/stat : 2159 (cryptominisat) R 2158 2158 1055 0 -1 4202496 20672 0 0 0 3406 3 0 0 25 0 1 0 441943586 989523968 7332 33554432000 4194304 4587354 140734253451072 18446744073709551615 4238463 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2159/statm: 241583 7332 337 96 0 238145 0
[pid=2160] ppid=2158 vsize=21544 CPUtime=34.05 cores=1
/proc/2160/stat : 2160 (clasp) R 2158 2158 1055 0 -1 4202496 2829 0 0 0 3405 0 0 0 25 0 1 0 441943586 22061056 2716 33554432000 4194304 4785740 140737187851344 18446744073709551615 4553015 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2160/statm: 5386 2716 341 145 0 2431 0
[pid=2161] ppid=2158 vsize=455960 CPUtime=34.14 cores=1
/proc/2161/stat : 2161 (TNM) R 2158 2158 1055 0 -1 4202496 365 0 0 0 3414 0 0 0 25 0 1 0 441943586 466903040 262 33554432000 134512640 134534564 4290430032 18446744073709551615 134528888 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2161/statm: 113990 262 95 6 0 112656 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1462160

[startup+162.301 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 2167
/proc/meminfo: memFree=17802856/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 16778816270454751232 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
[pid=2159] ppid=2158 vsize=973072 CPUtime=54.09 cores=1
/proc/2159/stat : 2159 (cryptominisat) R 2158 2158 1055 0 -1 4202496 26781 0 0 0 5404 5 0 0 25 0 1 0 441943586 996425728 7342 33554432000 4194304 4587354 140734253451072 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2159/statm: 243268 7342 337 96 0 239830 0
[pid=2160] ppid=2158 vsize=23772 CPUtime=54.05 cores=1

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

/proc/2161/statm: 113991 271 103 6 0 112657 0
Current children cumulated CPU time (s) 4542.38
Current children cumulated vsize (KiB) 1554912

[startup+4602.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 2339
/proc/meminfo: memFree=17727392/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 16778816270454751232 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
[pid=2159] ppid=2158 vsize=1027444 CPUtime=1534.12 cores=1
/proc/2159/stat : 2159 (cryptominisat) R 2158 2158 1055 0 -1 4202496 146003 0 0 0 153368 44 0 0 25 0 1 0 441943586 1052102656 19692 33554432000 4194304 4587354 140734253451072 18446744073709551615 4238618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2159/statm: 256861 19692 337 96 0 253423 0
[pid=2160] ppid=2158 vsize=53180 CPUtime=1534.06 cores=1
/proc/2160/stat : 2160 (clasp) R 2158 2158 1055 0 -1 4202496 10071 0 0 0 153404 2 0 0 25 0 1 0 441943586 54456320 9958 33554432000 4194304 4785740 140737187851344 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2160/statm: 13295 9958 341 145 0 10340 0
[pid=2161] ppid=2158 vsize=455964 CPUtime=1534.21 cores=1
/proc/2161/stat : 2161 (TNM) R 2158 2158 1055 0 -1 4202496 374 0 0 0 153421 0 0 0 25 0 1 0 441943586 466907136 271 33554432000 134512640 134534564 4290430032 18446744073709551615 134530983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2161/statm: 113991 271 103 6 0 112657 0
Current children cumulated CPU time (s) 4602.39
Current children cumulated vsize (KiB) 1554912

[startup+4662.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 2350
/proc/meminfo: memFree=17696544/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
[pid=2159] ppid=2158 vsize=1070764 CPUtime=1554.12 cores=1
/proc/2159/stat : 2159 (cryptominisat) R 2158 2158 1055 0 -1 4202496 155777 0 0 0 155367 45 0 0 25 0 1 0 441943586 1096462336 29466 33554432000 4194304 4587354 140734253451072 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2159/statm: 267691 29466 337 96 0 264253 0
[pid=2160] ppid=2158 vsize=53180 CPUtime=1554.05 cores=1
/proc/2160/stat : 2160 (clasp) R 2158 2158 1055 0 -1 4202496 10074 0 0 0 155403 2 0 0 25 0 1 0 441943586 54456320 9961 33554432000 4194304 4785740 140737187851344 18446744073709551615 4286994 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2160/statm: 13295 9961 341 145 0 10340 0
[pid=2161] ppid=2158 vsize=455964 CPUtime=1554.21 cores=1
/proc/2161/stat : 2161 (TNM) R 2158 2158 1055 0 -1 4202496 374 0 0 0 155421 0 0 0 25 0 1 0 441943586 466907136 271 33554432000 134512640 134534564 4290430032 18446744073709551615 134528719 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2161/statm: 113991 271 103 6 0 112657 0
Current children cumulated CPU time (s) 4662.38
Current children cumulated vsize (KiB) 1598232

[startup+4722.31 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 2351
/proc/meminfo: memFree=17696000/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
[pid=2159] ppid=2158 vsize=1063800 CPUtime=1574.14 cores=1
/proc/2159/stat : 2159 (cryptominisat) R 2158 2158 1055 0 -1 4202496 156880 0 0 0 157368 46 0 0 25 0 1 0 441943586 1089331200 29466 33554432000 4194304 4587354 140734253451072 18446744073709551615 4238582 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2159/statm: 265950 29466 337 96 0 262512 0
[pid=2160] ppid=2158 vsize=53320 CPUtime=1574.05 cores=1
/proc/2160/stat : 2160 (clasp) R 2158 2158 1055 0 -1 4202496 10094 0 0 0 157403 2 0 0 25 0 1 0 441943586 54599680 9981 33554432000 4194304 4785740 140737187851344 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2160/statm: 13330 9981 341 145 0 10375 0
[pid=2161] ppid=2158 vsize=455964 CPUtime=1574.2 cores=1
/proc/2161/stat : 2161 (TNM) R 2158 2158 1055 0 -1 4202496 374 0 0 0 157420 0 0 0 25 0 1 0 441943586 466907136 271 33554432000 134512640 134534564 4290430032 18446744073709551615 134528605 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2161/statm: 113991 271 103 6 0 112657 0
Current children cumulated CPU time (s) 4722.39
Current children cumulated vsize (KiB) 1591408

[startup+4782.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 2353
/proc/meminfo: memFree=17696088/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
[pid=2159] ppid=2158 vsize=1063800 CPUtime=1594.14 cores=1
/proc/2159/stat : 2159 (cryptominisat) R 2158 2158 1055 0 -1 4202496 156882 0 0 0 159368 46 0 0 25 0 1 0 441943586 1089331200 29468 33554432000 4194304 4587354 140734253451072 18446744073709551615 4237665 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2159/statm: 265950 29468 337 96 0 262512 0
[pid=2160] ppid=2158 vsize=53628 CPUtime=1594.05 cores=1
/proc/2160/stat : 2160 (clasp) R 2158 2158 1055 0 -1 4202496 10168 0 0 0 159403 2 0 0 25 0 1 0 441943586 54915072 10055 33554432000 4194304 4785740 140737187851344 18446744073709551615 4553097 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2160/statm: 13407 10055 341 145 0 10452 0
[pid=2161] ppid=2158 vsize=455964 CPUtime=1594.2 cores=1
/proc/2161/stat : 2161 (TNM) R 2158 2158 1055 0 -1 4202496 374 0 0 0 159420 0 0 0 25 0 1 0 441943586 466907136 271 33554432000 134512640 134534564 4290430032 18446744073709551615 134525793 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2161/statm: 113991 271 103 6 0 112657 0
Current children cumulated CPU time (s) 4782.39
Current children cumulated vsize (KiB) 1591716

[startup+4842.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 2357
/proc/meminfo: memFree=17693128/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
[pid=2159] ppid=2158 vsize=1063800 CPUtime=1614.15 cores=1
/proc/2159/stat : 2159 (cryptominisat) R 2158 2158 1055 0 -1 4202496 157667 0 0 0 161369 46 0 0 25 0 1 0 441943586 1089331200 30232 33554432000 4194304 4587354 140734253451072 18446744073709551615 4231887 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2159/statm: 265950 30232 337 96 0 262512 0
[pid=2160] ppid=2158 vsize=53768 CPUtime=1614.05 cores=1
/proc/2160/stat : 2160 (clasp) R 2158 2158 1055 0 -1 4202496 10200 0 0 0 161403 2 0 0 25 0 1 0 441943586 55058432 10087 33554432000 4194304 4785740 140737187851344 18446744073709551615 4553032 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2160/statm: 13442 10087 341 145 0 10487 0
[pid=2161] ppid=2158 vsize=455964 CPUtime=1614.2 cores=1
/proc/2161/stat : 2161 (TNM) R 2158 2158 1055 0 -1 4202496 374 0 0 0 161420 0 0 0 25 0 1 0 441943586 466907136 271 33554432000 134512640 134534564 4290430032 18446744073709551615 134530494 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2161/statm: 113991 271 103 6 0 112657 0
Current children cumulated CPU time (s) 4842.4
Current children cumulated vsize (KiB) 1591856

[startup+4902.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 2359
/proc/meminfo: memFree=17695456/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
[pid=2159] ppid=2158 vsize=1063800 CPUtime=1634.14 cores=1
/proc/2159/stat : 2159 (cryptominisat) R 2158 2158 1055 0 -1 4202496 157668 0 0 0 163368 46 0 0 25 0 1 0 441943586 1089331200 29473 33554432000 4194304 4587354 140734253451072 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2159/statm: 265950 29473 337 96 0 262512 0
[pid=2160] ppid=2158 vsize=54076 CPUtime=1634.05 cores=1
/proc/2160/stat : 2160 (clasp) R 2158 2158 1055 0 -1 4202496 10265 0 0 0 163403 2 0 0 25 0 1 0 441943586 55373824 10152 33554432000 4194304 4785740 140737187851344 18446744073709551615 4553302 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2160/statm: 13519 10152 341 145 0 10564 0
[pid=2161] ppid=2158 vsize=455964 CPUtime=1634.2 cores=1
/proc/2161/stat : 2161 (TNM) R 2158 2158 1055 0 -1 4202496 374 0 0 0 163420 0 0 0 25 0 1 0 441943586 466907136 271 33554432000 134512640 134534564 4290430032 18446744073709551615 134530820 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2161/statm: 113991 271 103 6 0 112657 0
Current children cumulated CPU time (s) 4902.39
Current children cumulated vsize (KiB) 1592164

[startup+4962.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 2361
/proc/meminfo: memFree=17686244/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
[pid=2159] ppid=2158 vsize=1060520 CPUtime=1654.14 cores=1
/proc/2159/stat : 2159 (cryptominisat) R 2158 2158 1055 0 -1 4202496 158497 0 0 0 165368 46 0 0 25 0 1 0 441943586 1085972480 29473 33554432000 4194304 4587354 140734253451072 18446744073709551615 4238618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2159/statm: 265130 29473 337 96 0 261692 0
[pid=2160] ppid=2158 vsize=54076 CPUtime=1654.06 cores=1
/proc/2160/stat : 2160 (clasp) R 2158 2158 1055 0 -1 4202496 10269 0 0 0 165404 2 0 0 25 0 1 0 441943586 55373824 10156 33554432000 4194304 4785740 140737187851344 18446744073709551615 4287053 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2160/statm: 13519 10156 341 145 0 10564 0
[pid=2161] ppid=2158 vsize=455964 CPUtime=1654.19 cores=1
/proc/2161/stat : 2161 (TNM) R 2158 2158 1055 0 -1 4202496 374 0 0 0 165419 0 0 0 25 0 1 0 441943586 466907136 271 33554432000 134512640 134534564 4290430032 18446744073709551615 134530793 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2161/statm: 113991 271 103 6 0 112657 0
Current children cumulated CPU time (s) 4962.39
Current children cumulated vsize (KiB) 1588884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 2361
/proc/meminfo: memFree=17684344/32951124 swapFree=67111528/67111528
[pid=2158] ppid=2156 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2158/stat : 2158 (ppfolio) S 2156 2158 1055 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 441943585 18763776 394 33554432000 4194304 4287625 140737379471472 18446744073709551615 216634535439 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/2158/statm: 4581 394 345 23 0 91 0
[pid=2159] ppid=2158 vsize=1060520 CPUtime=1666.66 cores=1
/proc/2159/stat : 2159 (cryptominisat) R 2158 2158 1055 0 -1 4202496 158497 0 0 0 166620 46 0 0 25 0 1 0 441943586 1085972480 29473 33554432000 4194304 4587354 140734253451072 18446744073709551615 4238418 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2159/statm: 265130 29473 337 96 0 261692 0
[pid=2160] ppid=2158 vsize=54248 CPUtime=1666.64 cores=1
/proc/2160/stat : 2160 (clasp) R 2158 2158 1055 0 -1 4202496 10306 0 0 0 166662 2 0 0 25 0 1 0 441943586 55549952 10193 33554432000 4194304 4785740 140737187851344 18446744073709551615 4286973 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2160/statm: 13562 10193 341 145 0 10607 0
[pid=2161] ppid=2158 vsize=455964 CPUtime=1666.79 cores=1
/proc/2161/stat : 2161 (TNM) R 2158 2158 1055 0 -1 4202496 374 0 0 0 166679 0 0 0 25 0 1 0 441943586 466907136 271 33554432000 134512640 134534564 4290430032 18446744073709551615 134530659 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2161/statm: 113991 271 103 6 0 112657 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 1589056

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 2158 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=2999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.002999
# while last known CPU time is 5000.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 5000.01
CPU time (s): 5000.09
CPU user time (s): 4999.61
CPU system time (s): 0.48
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2489600

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

runsolver used 8.20475 second user time and 19.0151 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-20 14:43:30
IDJOB=3222358
IDBENCH=83076
IDSOLVER=1639
FILE ID=node103/3222358-1303303410
RUNJOBID= node103-1303288059-1074
PBS_JOBID= 13049589
Free space on /tmp= 71552 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3222358-1303303410/watcher-3222358-1303303410 -o /tmp/evaluation-result-3222358-1303303410/solver-3222358-1303303410 -C 5000 -W 5000 -M 15500  ppfolio --nbcore=1 HOME/instance-3222358-1303303410.cnf

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

MD5SUM BENCH= fe5ef992569d41f4964aa99001a148e1
RANDOM SEED=1336202914

node103.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.858
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.71
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.858
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.858
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.75
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.858
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.858
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.75
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.858
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.858
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.83
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.858
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:      17861896 kB
Buffers:        683048 kB
Cached:       13903580 kB
SwapCached:          0 kB
Active:        8545864 kB
Inactive:      6210868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17861896 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10092 kB
Writeback:           0 kB
AnonPages:      169872 kB
Mapped:          16400 kB
Slab:           269200 kB
PageTables:       4944 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   997276 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= 71540 MiB
End job on node103 at 2011-04-20 16:06:52