Trace number 3282039

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 1300.01

General information on the benchmark

NameAPPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
MD5SUM5b2e2178738883a628728bb1ec39f4a9
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 variables249327
Number of clauses746444
Sum of the clauses size1741700
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2497628
Number of clauses of size 3248814
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-3282039-1303752371/watcher-3282039-1303752371 -o /tmp/evaluation-result-3282039-1303752371/solver-3282039-1303752371 -C 2400 -W 1300 -M 7680 ppfolio --nbcore=1 HOME/instance-3282039-1303752371.cnf 

running on 2 cores: 1,3

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: 10.00 9.89 8.21 9/197 32030
/proc/meminfo: memFree=9052860/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) R 32028 32030 31106 0 -1 4202496 484 0 0 0 0 0 0 0 24 0 1 0 467652992 18763776 391 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510117781 0 0 4096 65536 0 0 0 17 1 0 0 0
/proc/32030/statm: 4581 391 343 23 0 91 0

[startup+0.0844819 s]
/proc/loadavg: 10.00 9.89 8.21 9/197 32030
/proc/meminfo: memFree=9052860/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 499 0 0 0 0 0 0 0 24 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 4398245252125655304 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100478 s]
/proc/loadavg: 10.00 9.89 8.21 9/197 32030
/proc/meminfo: memFree=9052860/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 499 0 0 0 0 0 0 0 24 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 4398245252125655304 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300445 s]
/proc/loadavg: 10.00 9.89 8.21 9/197 32030
/proc/meminfo: memFree=9052860/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 24 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.70037 s]
/proc/loadavg: 10.00 9.89 8.21 9/197 32030
/proc/meminfo: memFree=9052860/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 24 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50124 s]
/proc/loadavg: 10.08 9.91 8.22 12/201 32034
/proc/meminfo: memFree=8860256/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 17 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
[pid=32031] ppid=32030 vsize=113148 CPUtime=0.54 cores=1
/proc/32031/stat : 32031 (cryptominisat) R 32030 32030 31106 0 -1 4202496 21911 0 0 0 50 4 0 0 25 0 1 0 467652993 115863552 21360 33554432000 4194304 4587354 140735295895200 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32031/statm: 28287 21360 306 96 0 24849 0
[pid=32032] ppid=32030 vsize=120728 CPUtime=0.41 cores=1
/proc/32032/stat : 32032 (clasp) R 32030 32030 31106 0 -1 4202496 32534 0 0 0 38 3 0 0 25 0 1 0 467652993 123625472 25823 33554432000 4194304 4785740 140736331698048 18446744073709551615 4491520 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32032/statm: 30182 25823 312 145 0 27227 0
[pid=32033] ppid=32030 vsize=463748 CPUtime=0.52 cores=1
/proc/32033/stat : 32033 (TNM) R 32030 32030 31106 0 -1 4202496 5099 0 0 0 51 1 0 0 25 0 1 0 467652993 474877952 4997 33554432000 134512640 134534564 4287554224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32033/statm: 115937 4997 90 6 0 114603 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 715948

[startup+3.10094 s]
/proc/loadavg: 10.08 9.91 8.22 12/201 32034
/proc/meminfo: memFree=8741164/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 17 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
[pid=32031] ppid=32030 vsize=113572 CPUtime=1.04 cores=1
/proc/32031/stat : 32031 (cryptominisat) R 32030 32030 31106 0 -1 4202496 21948 0 0 0 100 4 0 0 25 0 1 0 467652993 116297728 21397 33554432000 4194304 4587354 140735295895200 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32031/statm: 28393 21397 306 96 0 24955 0
[pid=32032] ppid=32030 vsize=133908 CPUtime=0.93 cores=1
/proc/32032/stat : 32032 (clasp) R 32030 32030 31106 0 -1 4202496 35899 0 0 0 89 4 0 0 25 0 1 0 467652993 137121792 29188 33554432000 4194304 4785740 140736331698048 18446744073709551615 233509958341 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32032/statm: 33477 29188 319 145 0 30522 0
[pid=32033] ppid=32030 vsize=496480 CPUtime=1.1 cores=1
/proc/32033/stat : 32033 (TNM) R 32030 32030 31106 0 -1 4202496 15538 0 0 0 109 1 0 0 25 0 1 0 467652993 508395520 15435 33554432000 134512640 134534564 4287554224 18446744073709551615 134524508 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32033/statm: 124120 15435 91 6 0 122786 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 762284

[startup+6.30037 s]
/proc/loadavg: 10.08 9.91 8.22 12/201 32034
/proc/meminfo: memFree=8574196/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 4584713761247461376 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
[pid=32031] ppid=32030 vsize=157260 CPUtime=2.14 cores=1
/proc/32031/stat : 32031 (cryptominisat) R 32030 32030 31106 0 -1 4202496 32816 0 0 0 209 5 0 0 25 0 1 0 467652993 161034240 32265 33554432000 4194304 4587354 140735295895200 18446744073709551615 4421079 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32031/statm: 39315 32265 312 96 0 35877 0
[pid=32032] ppid=32030 vsize=167040 CPUtime=2.02 cores=1
/proc/32032/stat : 32032 (clasp) R 32030 32030 31106 0 -1 4202496 44106 0 0 0 197 5 0 0 25 0 1 0 467652993 171048960 37395 33554432000 4194304 4785740 140736331698048 18446744073709551615 233509955973 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32032/statm: 41760 37395 319 145 0 38805 0
[pid=32033] ppid=32030 vsize=504012 CPUtime=2.11 cores=1
/proc/32033/stat : 32033 (TNM) R 32030 32030 31106 0 -1 4202496 25780 0 0 0 209 2 0 0 25 0 1 0 467652993 516108288 25677 33554432000 134512640 134534564 4287554224 18446744073709551615 134529953 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32033/statm: 126003 25677 95 6 0 124669 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 846636

[startup+12.7012 s]
/proc/loadavg: 10.22 9.95 8.25 12/201 32034
/proc/meminfo: memFree=8489628/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 4584713761247461376 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
[pid=32031] ppid=32030 vsize=157260 CPUtime=4.24 cores=1
/proc/32031/stat : 32031 (cryptominisat) R 32030 32030 31106 0 -1 4202496 32816 0 0 0 419 5 0 0 25 0 1 0 467652993 161034240 32265 33554432000 4194304 4587354 140735295895200 18446744073709551615 4248764 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32031/statm: 39315 32265 312 96 0 35877 0
[pid=32032] ppid=32030 vsize=194012 CPUtime=4.12 cores=1
/proc/32032/stat : 32032 (clasp) R 32030 32030 31106 0 -1 4202496 50688 0 0 0 407 5 0 0 25 0 1 0 467652993 198668288 43977 33554432000 4194304 4785740 140736331698048 18446744073709551615 4496159 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32032/statm: 48503 43977 319 145 0 45548 0
[pid=32033] ppid=32030 vsize=504012 CPUtime=4.3 cores=1
/proc/32033/stat : 32033 (TNM) R 32030 32030 31106 0 -1 4202496 25780 0 0 0 428 2 0 0 25 0 1 0 467652993 516108288 25677 33554432000 134512640 134534564 4287554224 18446744073709551615 134529964 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32033/statm: 126003 25677 95 6 0 124669 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 873608

[startup+25.5009 s]
/proc/loadavg: 10.34 9.98 8.28 12/201 32035
/proc/meminfo: memFree=8404576/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 4584713898686414848 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
[pid=32031] ppid=32030 vsize=258092 CPUtime=8.54 cores=1
/proc/32031/stat : 32031 (cryptominisat) R 32030 32030 31106 0 -1 4202496 56167 0 0 0 846 8 0 0 25 0 1 0 467652993 264286208 50374 33554432000 4194304 4587354 140735295895200 18446744073709551615 4374976 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32031/statm: 64523 50374 317 96 0 61085 0
[pid=32032] ppid=32030 vsize=186140 CPUtime=8.42 cores=1
/proc/32032/stat : 32032 (clasp) R 32030 32030 31106 0 -1 4202496 53458 0 0 0 836 6 0 0 25 0 1 0 467652993 190607360 42854 33554432000 4194304 4785740 140736331698048 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32032/statm: 46535 42854 340 145 0 43580 0
[pid=32033] ppid=32030 vsize=504012 CPUtime=8.51 cores=1
/proc/32033/stat : 32033 (TNM) R 32030 32030 31106 0 -1 4202496 25780 0 0 0 849 2 0 0 25 0 1 0 467652993 516108288 25677 33554432000 134512640 134534564 4287554224 18446744073709551615 134529944 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32033/statm: 126003 25677 95 6 0 124669 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 966568

[startup+51.1003 s]
/proc/loadavg: 10.56 10.06 8.35 12/201 32035
/proc/meminfo: memFree=8269416/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 4584714860759089152 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
[pid=32031] ppid=32030 vsize=318392 CPUtime=17.64 cores=1
/proc/32031/stat : 32031 (cryptominisat) R 32030 32030 31106 0 -1 4202496 82239 0 0 0 1752 12 0 0 25 0 1 0 467652993 326033408 67991 33554432000 4194304 4587354 140735295895200 18446744073709551615 4230340 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32031/statm: 79598 67991 330 96 0 76160 0
[pid=32032] ppid=32030 vsize=190488 CPUtime=16.63 cores=1
/proc/32032/stat : 32032 (clasp) R 32030 32030 31106 0 -1 4202496 54433 0 0 0 1657 6 0 0 25 0 1 0 467652993 195059712 43829 33554432000 4194304 4785740 140736331698048 18446744073709551615 4562650 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32032/statm: 47622 43829 340 145 0 44667 0
[pid=32033] ppid=32030 vsize=504012 CPUtime=16.8 cores=1
/proc/32033/stat : 32033 (TNM) R 32030 32030 31106 0 -1 4202496 25780 0 0 0 1678 2 0 0 25 0 1 0 467652993 516108288 25677 33554432000 134512640 134534564 4287554224 18446744073709551615 134530367 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32033/statm: 126003 25677 95 6 0 124669 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1031216

[startup+102.307 s]
/proc/loadavg: 11.23 10.31 8.53 13/202 32068
/proc/meminfo: memFree=9887720/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 4584713211491647488 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
[pid=32031] ppid=32030 vsize=318392 CPUtime=34.67 cores=1
/proc/32031/stat : 32031 (cryptominisat) R 32030 32030 31106 0 -1 4202496 83059 0 0 0 3455 12 0 0 25 0 1 0 467652993 326033408 68795 33554432000 4194304 4587354 140735295895200 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32031/statm: 79598 68795 330 96 0 76160 0
[pid=32032] ppid=32030 vsize=196580 CPUtime=33.71 cores=1
/proc/32032/stat : 32032 (clasp) R 32030 32030 31106 0 -1 4202496 55847 0 0 0 3365 6 0 0 25 0 1 0 467652993 201297920 45243 33554432000 4194304 4785740 140736331698048 18446744073709551615 4287019 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32032/statm: 49145 45243 340 145 0 46190 0
[pid=32033] ppid=32030 vsize=504012 CPUtime=33.89 cores=1
/proc/32033/stat : 32033 (TNM) R 32030 32030 31106 0 -1 4202496 25780 0 0 0 3387 2 0 0 25 0 1 0 467652993 516108288 25677 33554432000 134512640 134534564 4287554224 18446744073709551615 134529374 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32033/statm: 126003 25677 95 6 0 124669 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1037308

[startup+162.3 s]
/proc/loadavg: 11.71 10.62 8.75 13/202 32069
/proc/meminfo: memFree=9669344/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 4584713486369554432 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
[pid=32031] ppid=32030 vsize=519904 CPUtime=54.67 cores=1
/proc/32031/stat : 32031 (cryptominisat) R 32030 32030 31106 0 -1 4202496 100362 0 0 0 5452 15 0 0 25 0 1 0 467652993 532381696 85838 33554432000 4194304 4587354 140735295895200 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32031/statm: 129976 85838 337 96 0 126538 0
[pid=32032] ppid=32030 vsize=202656 CPUtime=53.71 cores=1

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

/proc/32033/statm: 126003 25677 95 6 0 124669 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 1821000

[startup+882.301 s]
/proc/loadavg: 12.02 11.89 10.49 13/202 32120
/proc/meminfo: memFree=10291044/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 4584714998198042624 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
[pid=32031] ppid=32030 vsize=406632 CPUtime=294.69 cores=1
/proc/32031/stat : 32031 (cryptominisat) R 32030 32030 31106 0 -1 4202496 191058 0 0 0 29434 35 0 0 25 0 1 0 467652993 416391168 88951 33554432000 4194304 4587354 140735295895200 18446744073709551615 4238611 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32031/statm: 101658 88951 337 96 0 98220 0
[pid=32032] ppid=32030 vsize=332220 CPUtime=293.74 cores=1
/proc/32032/stat : 32032 (clasp) R 32030 32030 31106 0 -1 4202496 89282 0 0 0 29357 17 0 0 25 0 1 0 467652993 340193280 78678 33554432000 4194304 4785740 140736331698048 18446744073709551615 4552628 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32032/statm: 83055 78678 340 145 0 80100 0
[pid=32033] ppid=32030 vsize=504012 CPUtime=293.85 cores=1
/proc/32033/stat : 32033 (TNM) R 32030 32030 31106 0 -1 4202496 25780 0 0 0 29383 2 0 0 25 0 1 0 467652993 516108288 25677 33554432000 134512640 134534564 4287554224 18446744073709551615 134525871 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32033/statm: 126003 25677 95 6 0 124669 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 1261188

[startup+942.3 s]
/proc/loadavg: 12.00 11.91 10.58 13/202 32121
/proc/meminfo: memFree=10404844/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 4584713074052694016 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
[pid=32031] ppid=32030 vsize=406632 CPUtime=314.7 cores=1
/proc/32031/stat : 32031 (cryptominisat) R 32030 32030 31106 0 -1 4202496 192561 0 0 0 31434 36 0 0 25 0 1 0 467652993 416391168 90441 33554432000 4194304 4587354 140735295895200 18446744073709551615 4238246 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32031/statm: 101658 90441 337 96 0 98220 0
[pid=32032] ppid=32030 vsize=332220 CPUtime=313.75 cores=1
/proc/32032/stat : 32032 (clasp) R 32030 32030 31106 0 -1 4202496 89282 0 0 0 31358 17 0 0 25 0 1 0 467652993 340193280 78678 33554432000 4194304 4785740 140736331698048 18446744073709551615 4549070 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32032/statm: 83055 78678 340 145 0 80100 0
[pid=32033] ppid=32030 vsize=504012 CPUtime=313.85 cores=1
/proc/32033/stat : 32033 (TNM) R 32030 32030 31106 0 -1 4202496 25780 0 0 0 31383 2 0 0 25 0 1 0 467652993 516108288 25677 33554432000 134512640 134534564 4287554224 18446744073709551615 134529970 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32033/statm: 126003 25677 95 6 0 124669 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 1261188

[startup+1002.3 s]
/proc/loadavg: 12.00 11.92 10.67 13/202 32123
/proc/meminfo: memFree=10412612/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 4584713211491647488 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
[pid=32031] ppid=32030 vsize=406632 CPUtime=334.69 cores=1
/proc/32031/stat : 32031 (cryptominisat) R 32030 32030 31106 0 -1 4202496 193889 0 0 0 33433 36 0 0 25 0 1 0 467652993 416391168 91753 33554432000 4194304 4587354 140735295895200 18446744073709551615 4236698 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32031/statm: 101658 91753 337 96 0 98220 0
[pid=32032] ppid=32030 vsize=333820 CPUtime=333.75 cores=1
/proc/32032/stat : 32032 (clasp) R 32030 32030 31106 0 -1 4202496 89689 0 0 0 33358 17 0 0 25 0 1 0 467652993 341831680 79085 33554432000 4194304 4785740 140736331698048 18446744073709551615 4546132 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32032/statm: 83455 79085 340 145 0 80500 0
[pid=32033] ppid=32030 vsize=504012 CPUtime=333.85 cores=1
/proc/32033/stat : 32033 (TNM) R 32030 32030 31106 0 -1 4202496 25780 0 0 0 33383 2 0 0 25 0 1 0 467652993 516108288 25677 33554432000 134512640 134534564 4287554224 18446744073709551615 134528659 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32033/statm: 126003 25677 95 6 0 124669 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 1262788

[startup+1062.3 s]
/proc/loadavg: 12.04 11.95 10.75 13/202 32124
/proc/meminfo: memFree=10402396/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 4584713348930600960 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
[pid=32031] ppid=32030 vsize=406632 CPUtime=354.68 cores=1
/proc/32031/stat : 32031 (cryptominisat) R 32030 32030 31106 0 -1 4202496 195158 0 0 0 35432 36 0 0 25 0 1 0 467652993 416391168 93006 33554432000 4194304 4587354 140735295895200 18446744073709551615 4250248 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32031/statm: 101658 93006 337 96 0 98220 0
[pid=32032] ppid=32030 vsize=334300 CPUtime=353.76 cores=1
/proc/32032/stat : 32032 (clasp) R 32030 32030 31106 0 -1 4202496 89785 0 0 0 35359 17 0 0 25 0 1 0 467652993 342323200 79181 33554432000 4194304 4785740 140736331698048 18446744073709551615 4552622 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32032/statm: 83575 79181 340 145 0 80620 0
[pid=32033] ppid=32030 vsize=504012 CPUtime=353.84 cores=1
/proc/32033/stat : 32033 (TNM) R 32030 32030 31106 0 -1 4202496 25780 0 0 0 35382 2 0 0 25 0 1 0 467652993 516108288 25677 33554432000 134512640 134534564 4287554224 18446744073709551615 134530234 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32033/statm: 126003 25677 95 6 0 124669 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 1263268

[startup+1122.3 s]
/proc/loadavg: 12.08 11.97 10.83 13/202 32126
/proc/meminfo: memFree=10378924/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 4584714036125368320 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
[pid=32031] ppid=32030 vsize=666520 CPUtime=374.68 cores=1
/proc/32031/stat : 32031 (cryptominisat) R 32030 32030 31106 0 -1 4202496 196089 0 0 0 37431 37 0 0 25 0 1 0 467652993 682516480 93922 33554432000 4194304 4587354 140735295895200 18446744073709551615 4237600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32031/statm: 166630 93922 337 96 0 163192 0
[pid=32032] ppid=32030 vsize=334300 CPUtime=373.76 cores=1
/proc/32032/stat : 32032 (clasp) R 32030 32030 31106 0 -1 4202496 89791 0 0 0 37359 17 0 0 25 0 1 0 467652993 342323200 79187 33554432000 4194304 4785740 140736331698048 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32032/statm: 83575 79187 340 145 0 80620 0
[pid=32033] ppid=32030 vsize=504012 CPUtime=373.85 cores=1
/proc/32033/stat : 32033 (TNM) R 32030 32030 31106 0 -1 4202496 25780 0 0 0 37383 2 0 0 25 0 1 0 467652993 516108288 25677 33554432000 134512640 134534564 4287554224 18446744073709551615 134530126 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32033/statm: 126003 25677 95 6 0 124669 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 1523156

[startup+1182.3 s]
/proc/loadavg: 12.03 11.97 10.90 13/202 32128
/proc/meminfo: memFree=10394248/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 4584713623808507904 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
[pid=32031] ppid=32030 vsize=1360728 CPUtime=394.68 cores=1
/proc/32031/stat : 32031 (cryptominisat) R 32030 32030 31106 0 -1 4202496 215449 0 0 0 39428 40 0 0 25 0 1 0 467652993 1393385472 88978 33554432000 4194304 4587354 140735295895200 18446744073709551615 4241151 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32031/statm: 340182 88978 337 96 0 336744 0
[pid=32032] ppid=32030 vsize=347944 CPUtime=393.75 cores=1
/proc/32032/stat : 32032 (clasp) R 32030 32030 31106 0 -1 4202496 93222 0 0 0 39358 17 0 0 25 0 1 0 467652993 356294656 82618 33554432000 4194304 4785740 140736331698048 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32032/statm: 86986 82618 340 145 0 84031 0
[pid=32033] ppid=32030 vsize=504012 CPUtime=393.86 cores=1
/proc/32033/stat : 32033 (TNM) R 32030 32030 31106 0 -1 4202496 25780 0 0 0 39384 2 0 0 25 0 1 0 467652993 516108288 25677 33554432000 134512640 134534564 4287554224 18446744073709551615 134528302 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32033/statm: 126003 25677 95 6 0 124669 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 2231008

[startup+1242.3 s]
/proc/loadavg: 12.01 11.97 10.97 13/202 32129
/proc/meminfo: memFree=10345104/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 4584713761247461376 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
[pid=32031] ppid=32030 vsize=1360728 CPUtime=414.68 cores=1
/proc/32031/stat : 32031 (cryptominisat) R 32030 32030 31106 0 -1 4202496 216739 0 0 0 41427 41 0 0 25 0 1 0 467652993 1393385472 90254 33554432000 4194304 4587354 140735295895200 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32031/statm: 340182 90254 337 96 0 336744 0
[pid=32032] ppid=32030 vsize=382484 CPUtime=413.75 cores=1
/proc/32032/stat : 32032 (clasp) R 32030 32030 31106 0 -1 4202496 101808 0 0 0 41356 19 0 0 25 0 1 0 467652993 391663616 91204 33554432000 4194304 4785740 140736331698048 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32032/statm: 95621 91204 340 145 0 92666 0
[pid=32033] ppid=32030 vsize=504012 CPUtime=413.86 cores=1
/proc/32033/stat : 32033 (TNM) R 32030 32030 31106 0 -1 4202496 25780 0 0 0 41384 2 0 0 25 0 1 0 467652993 516108288 25677 33554432000 134512640 134534564 4287554224 18446744073709551615 134528979 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32033/statm: 126003 25677 95 6 0 124669 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 2265548



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 11.76 11.92 11.01 10/194 32149
/proc/meminfo: memFree=11038284/32951124 swapFree=67111528/67111528
[pid=32030] ppid=32028 vsize=18324 CPUtime=0 cores=1,3
/proc/32030/stat : 32030 (ppfolio) S 32028 32030 31106 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 467652992 18763776 393 33554432000 4194304 4287625 140736163577888 18446744073709551615 233510317583 0 0 4096 65536 4584713898686414848 0 0 17 3 0 0 0
/proc/32030/statm: 4581 393 345 23 0 91 0
[pid=32031] ppid=32030 vsize=1360728 CPUtime=433.92 cores=1
/proc/32031/stat : 32031 (cryptominisat) R 32030 32030 31106 0 -1 4202496 218279 0 0 0 43350 42 0 0 25 0 1 0 467652993 1393385472 91778 33554432000 4194304 4587354 140735295895200 18446744073709551615 4238763 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32031/statm: 340182 91778 337 96 0 336744 0
[pid=32032] ppid=32030 vsize=417636 CPUtime=432.95 cores=1
/proc/32032/stat : 32032 (clasp) R 32030 32030 31106 0 -1 4202496 110507 0 0 0 43273 22 0 0 25 0 1 0 467652993 427659264 99903 33554432000 4194304 4785740 140736331698048 18446744073709551615 4287019 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32032/statm: 104409 99903 340 145 0 101454 0
[pid=32033] ppid=32030 vsize=504012 CPUtime=433.13 cores=1
/proc/32033/stat : 32033 (TNM) R 32030 32030 31106 0 -1 4202496 25780 0 0 0 43311 2 0 0 25 0 1 0 467652993 516108288 25677 33554432000 134512640 134534564 4287554224 18446744073709551615 134525938 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32033/statm: 126003 25677 95 6 0 124669 0
Current children cumulated CPU time (s) 1300
Current children cumulated vsize (KiB) 2300700

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 32030 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=999
# CPU time returned by wait4() is 0.003998
# while last known CPU time is 1300
#
# 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
CPU user time (s): 1299.34
CPU system time (s): 0.66
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 2552648

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

runsolver used 2.15567 second user time and 4.96425 second system time

The end

Launcher Data 

Begin job on node145 at 2011-04-25 19:26:11
IDJOB=3282039
IDBENCH=70769
IDSOLVER=1613
FILE ID=node145/3282039-1303752371
RUNJOBID= node145-1303751063-31761
PBS_JOBID= 13154017
Free space on /tmp= 71508 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282039-1303752371/watcher-3282039-1303752371 -o /tmp/evaluation-result-3282039-1303752371/solver-3282039-1303752371 -C 2400 -W 1300 -M 7680  ppfolio --nbcore=1 HOME/instance-3282039-1303752371.cnf

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

MD5SUM BENCH= 5b2e2178738883a628728bb1ec39f4a9
RANDOM SEED=1960693695

node145.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.786
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.57
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.786
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.76
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.786
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.74
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.786
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.83
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.786
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.786
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.74
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       9053140 kB
Buffers:       2172976 kB
Cached:       18205608 kB
SwapCached:          0 kB
Active:       13145112 kB
Inactive:     10175344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       9053140 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           41316 kB
Writeback:           0 kB
AnonPages:     2941024 kB
Mapped:          17800 kB
Slab:           507112 kB
PageTables:      11828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  5916740 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= 71640 MiB
End job on node145 at 2011-04-25 19:47:53