Trace number 3219820

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.11 5000.04

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf
MD5SUMcd155ee9ac243c838c94577589f0455b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark96.9773
Satisfiable
(Un)Satisfiability was proved
Number of variables35000
Number of clauses147000
Sum of the clauses size441000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3147000
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) 0
0.00/0.00	Starting clasp 1.3.6 on core(s) 0
0.00/0.00	Starting TNM 2009 on core(s) 0

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

running on 4 cores: 0,2,4,6

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: 0.68 0.23 1.83 5/180 20764
/proc/meminfo: memFree=17446724/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 499 0 0 0 0 0 0 0 21 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4183585398011691268 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0

[startup+0.012812 s]
/proc/loadavg: 0.68 0.23 1.83 5/180 20764
/proc/meminfo: memFree=17446724/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 499 0 0 0 0 0 0 0 21 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4183585398011691268 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100831 s]
/proc/loadavg: 0.68 0.23 1.83 5/180 20764
/proc/meminfo: memFree=17446724/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 499 0 0 0 0 0 0 0 21 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4183585398011691268 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.3008 s]
/proc/loadavg: 0.68 0.23 1.83 5/180 20764
/proc/meminfo: memFree=17446724/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 20 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700726 s]
/proc/loadavg: 0.68 0.23 1.83 5/180 20764
/proc/meminfo: memFree=17446724/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 17 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4567275369391980544 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50062 s]
/proc/loadavg: 0.68 0.23 1.83 7/184 20768
/proc/meminfo: memFree=17378368/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4567275781708840960 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
[pid=20765] ppid=20764 vsize=64084 CPUtime=0.49 cores=0
/proc/20765/stat : 20765 (cryptominisat) R 20764 20764 20692 0 -1 4202496 11795 0 0 0 48 1 0 0 22 0 1 0 437525632 65622016 9523 33554432000 4194304 4587354 140735734364976 18446744073709551615 4231414 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20765/statm: 16021 9523 321 96 0 12583 0
[pid=20766] ppid=20764 vsize=31248 CPUtime=0.43 cores=0
/proc/20766/stat : 20766 (clasp) R 20764 20764 20692 0 -1 4202496 6918 0 0 0 43 0 0 0 23 0 1 0 437525632 31997952 5007 33554432000 4194304 4785740 140736134583920 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20766/statm: 7812 5007 333 145 0 4857 0
[pid=20767] ppid=20764 vsize=465988 CPUtime=0.54 cores=0
/proc/20767/stat : 20767 (TNM) R 20764 20764 20692 0 -1 4202496 5913 0 0 0 53 1 0 0 25 0 1 0 437525632 477171712 5810 33554432000 134512640 134534564 4290798928 18446744073709551615 134529953 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20767/statm: 116497 5810 95 6 0 115163 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 579644

[startup+3.10133 s]
/proc/loadavg: 0.68 0.23 1.83 7/184 20768
/proc/meminfo: memFree=17351712/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
[pid=20765] ppid=20764 vsize=57228 CPUtime=0.99 cores=0
/proc/20765/stat : 20765 (cryptominisat) R 20764 20764 20692 0 -1 4202496 12658 0 0 0 98 1 0 0 25 0 1 0 437525632 58601472 9272 33554432000 4194304 4587354 140735734364976 18446744073709551615 4238297 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20765/statm: 14307 9272 326 96 0 10869 0
[pid=20766] ppid=20764 vsize=31248 CPUtime=0.99 cores=0
/proc/20766/stat : 20766 (clasp) R 20764 20764 20692 0 -1 4202496 6925 0 0 0 99 0 0 0 25 0 1 0 437525632 31997952 5014 33554432000 4194304 4785740 140736134583920 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20766/statm: 7812 5014 340 145 0 4857 0
[pid=20767] ppid=20764 vsize=465988 CPUtime=1.09 cores=0
/proc/20767/stat : 20767 (TNM) R 20764 20764 20692 0 -1 4202496 5913 0 0 0 108 1 0 0 25 0 1 0 437525632 477171712 5810 33554432000 134512640 134534564 4290798928 18446744073709551615 134528412 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20767/statm: 116497 5810 95 6 0 115163 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 572788

[startup+6.30071 s]
/proc/loadavg: 1.11 0.32 1.85 7/184 20768
/proc/meminfo: memFree=17350428/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
[pid=20765] ppid=20764 vsize=57228 CPUtime=2.09 cores=0
/proc/20765/stat : 20765 (cryptominisat) R 20764 20764 20692 0 -1 4202496 13459 0 0 0 208 1 0 0 25 0 1 0 437525632 58601472 10069 33554432000 4194304 4587354 140735734364976 18446744073709551615 4250258 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20765/statm: 14307 10069 326 96 0 10869 0
[pid=20766] ppid=20764 vsize=32176 CPUtime=2.04 cores=0
/proc/20766/stat : 20766 (clasp) R 20764 20764 20692 0 -1 4202496 7217 0 0 0 203 1 0 0 25 0 1 0 437525632 32948224 5306 33554432000 4194304 4785740 140736134583920 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20766/statm: 8044 5306 340 145 0 5089 0
[pid=20767] ppid=20764 vsize=465988 CPUtime=2.14 cores=0
/proc/20767/stat : 20767 (TNM) R 20764 20764 20692 0 -1 4202496 5913 0 0 0 213 1 0 0 25 0 1 0 437525632 477171712 5810 33554432000 134512640 134534564 4290798928 18446744073709551615 134528451 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20767/statm: 116497 5810 95 6 0 115163 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 573716

[startup+12.7006 s]
/proc/loadavg: 1.50 0.42 1.87 7/184 20768
/proc/meminfo: memFree=17331244/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4567276468903608320 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
[pid=20765] ppid=20764 vsize=94732 CPUtime=4.19 cores=0
/proc/20765/stat : 20765 (cryptominisat) R 20764 20764 20692 0 -1 4202496 14829 0 0 0 417 2 0 0 25 0 1 0 437525632 97005568 11430 33554432000 4194304 4587354 140735734364976 18446744073709551615 4237661 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20765/statm: 23683 11430 326 96 0 20245 0
[pid=20766] ppid=20764 vsize=43068 CPUtime=4.19 cores=0
/proc/20766/stat : 20766 (clasp) R 20764 20764 20692 0 -1 4202496 9970 0 0 0 418 1 0 0 25 0 1 0 437525632 44101632 8059 33554432000 4194304 4785740 140736134583920 18446744073709551615 218905427723 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20766/statm: 10767 8059 340 145 0 7812 0
[pid=20767] ppid=20764 vsize=465988 CPUtime=4.29 cores=0
/proc/20767/stat : 20767 (TNM) R 20764 20764 20692 0 -1 4202496 5913 0 0 0 428 1 0 0 25 0 1 0 437525632 477171712 5810 33554432000 134512640 134534564 4290798928 18446744073709551615 134528934 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20767/statm: 116497 5810 95 6 0 115163 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 622112

[startup+25.5013 s]
/proc/loadavg: 2.50 0.69 1.93 7/184 20769
/proc/meminfo: memFree=17315092/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4567276743781515264 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
[pid=20765] ppid=20764 vsize=64724 CPUtime=8.48 cores=0
/proc/20765/stat : 20765 (cryptominisat) R 20764 20764 20692 0 -1 4202496 19258 0 0 0 846 2 0 0 25 0 1 0 437525632 66277376 9533 33554432000 4194304 4587354 140735734364976 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20765/statm: 16181 9533 327 96 0 12743 0
[pid=20766] ppid=20764 vsize=62428 CPUtime=8.44 cores=0
/proc/20766/stat : 20766 (clasp) R 20764 20764 20692 0 -1 4202496 14776 0 0 0 842 2 0 0 25 0 1 0 437525632 63926272 12865 33554432000 4194304 4785740 140736134583920 18446744073709551615 4553035 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20766/statm: 15607 12865 340 145 0 12652 0
[pid=20767] ppid=20764 vsize=465988 CPUtime=8.54 cores=0
/proc/20767/stat : 20767 (TNM) R 20764 20764 20692 0 -1 4202496 5913 0 0 0 853 1 0 0 25 0 1 0 437525632 477171712 5810 33554432000 134512640 134534564 4290798928 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20767/statm: 116497 5810 95 6 0 115163 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 611464

[startup+51.1006 s]
/proc/loadavg: 3.69 1.11 2.04 7/184 20769
/proc/meminfo: memFree=17264944/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4567274819636166656 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
[pid=20765] ppid=20764 vsize=137708 CPUtime=16.99 cores=0
/proc/20765/stat : 20765 (cryptominisat) R 20764 20764 20692 0 -1 4202496 45014 0 0 0 1692 7 0 0 25 0 1 0 437525632 141012992 13610 33554432000 4194304 4587354 140735734364976 18446744073709551615 4241080 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20765/statm: 34427 13610 337 96 0 30989 0
[pid=20766] ppid=20764 vsize=101628 CPUtime=16.99 cores=0
/proc/20766/stat : 20766 (clasp) R 20764 20764 20692 0 -1 4202496 24511 0 0 0 1695 4 0 0 25 0 1 0 437525632 104067072 22600 33554432000 4194304 4785740 140736134583920 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20766/statm: 25407 22600 340 145 0 22452 0
[pid=20767] ppid=20764 vsize=465988 CPUtime=17.09 cores=0
/proc/20767/stat : 20767 (TNM) R 20764 20764 20692 0 -1 4202496 5913 0 0 0 1708 1 0 0 25 0 1 0 437525632 477171712 5810 33554432000 134512640 134534564 4290798928 18446744073709551615 134528275 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20767/statm: 116497 5810 95 6 0 115163 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 723648

[startup+102.306 s]
/proc/loadavg: 5.00 1.87 2.25 7/184 20801
/proc/meminfo: memFree=17145912/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4567275506830934016 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
[pid=20765] ppid=20764 vsize=629684 CPUtime=34.08 cores=0
/proc/20765/stat : 20765 (cryptominisat) R 20764 20764 20692 0 -1 4202496 71198 0 0 0 3396 12 0 0 25 0 1 0 437525632 644796416 15643 33554432000 4194304 4587354 140735734364976 18446744073709551615 4237674 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20765/statm: 157421 15643 337 96 0 153983 0
[pid=20766] ppid=20764 vsize=120380 CPUtime=34.05 cores=0
/proc/20766/stat : 20766 (clasp) R 20764 20764 20692 0 -1 4202496 29245 0 0 0 3399 6 0 0 25 0 1 0 437525632 123269120 27334 33554432000 4194304 4785740 140736134583920 18446744073709551615 4553032 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20766/statm: 30095 27334 340 145 0 27140 0
[pid=20767] ppid=20764 vsize=465988 CPUtime=34.14 cores=0
/proc/20767/stat : 20767 (TNM) R 20764 20764 20692 0 -1 4202496 5913 0 0 0 3413 1 0 0 25 0 1 0 437525632 477171712 5810 33554432000 134512640 134534564 4290798928 18446744073709551615 134528600 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20767/statm: 116497 5810 95 6 0 115163 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1234376

[startup+162.301 s]
/proc/loadavg: 5.63 2.62 2.48 7/184 20802
/proc/meminfo: memFree=17084316/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4567274682197213184 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
[pid=20765] ppid=20764 vsize=620540 CPUtime=54.08 cores=0
/proc/20765/stat : 20765 (cryptominisat) R 20764 20764 20692 0 -1 4202496 92609 0 0 0 5392 16 0 0 25 0 1 0 437525632 635432960 16141 33554432000 4194304 4587354 140735734364976 18446744073709551615 4238512 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20765/statm: 155135 16141 337 96 0 151697 0
[pid=20766] ppid=20764 vsize=154176 CPUtime=54.05 cores=0

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

/proc/20767/statm: 116497 5810 95 6 0 115163 0
Current children cumulated CPU time (s) 4542.39
Current children cumulated vsize (KiB) 1142076

[startup+4602.3 s]
/proc/loadavg: 6.00 6.00 5.91 7/184 20993
/proc/meminfo: memFree=16703320/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4567276331464654848 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
[pid=20765] ppid=20764 vsize=639464 CPUtime=1534.13 cores=0
/proc/20765/stat : 20765 (cryptominisat) R 20764 20764 20692 0 -1 4202496 1017066 0 0 0 153209 204 0 0 25 0 1 0 437525632 654811136 17588 33554432000 4194304 4587354 140735734364976 18446744073709551615 218905427646 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20765/statm: 159866 17588 337 96 0 156428 0
[pid=20766] ppid=20764 vsize=515880 CPUtime=1534.05 cores=0
/proc/20766/stat : 20766 (clasp) R 20764 20764 20692 0 -1 4202496 126544 0 0 0 153375 30 0 0 25 0 1 0 437525632 528261120 124633 33554432000 4194304 4785740 140736134583920 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20766/statm: 128970 124633 340 145 0 126015 0
[pid=20767] ppid=20764 vsize=465988 CPUtime=1534.21 cores=0
/proc/20767/stat : 20767 (TNM) R 20764 20764 20692 0 -1 4202496 5913 0 0 0 153420 1 0 0 25 0 1 0 437525632 477171712 5810 33554432000 134512640 134534564 4290798928 18446744073709551615 134528877 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20767/statm: 116497 5810 95 6 0 115163 0
Current children cumulated CPU time (s) 4602.39
Current children cumulated vsize (KiB) 1639656

[startup+4662.3 s]
/proc/loadavg: 6.00 6.00 5.91 7/184 20994
/proc/meminfo: memFree=16670672/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4567276331464654848 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
[pid=20765] ppid=20764 vsize=639464 CPUtime=1554.13 cores=0
/proc/20765/stat : 20765 (cryptominisat) R 20764 20764 20692 0 -1 4202496 1026902 0 0 0 155206 207 0 0 25 0 1 0 437525632 654811136 27391 33554432000 4194304 4587354 140735734364976 18446744073709551615 4238282 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20765/statm: 159866 27391 337 96 0 156428 0
[pid=20766] ppid=20764 vsize=516276 CPUtime=1554.05 cores=0
/proc/20766/stat : 20766 (clasp) R 20764 20764 20692 0 -1 4202496 126659 0 0 0 155375 30 0 0 25 0 1 0 437525632 528666624 124748 33554432000 4194304 4785740 140736134583920 18446744073709551615 4553032 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20766/statm: 129069 124748 340 145 0 126114 0
[pid=20767] ppid=20764 vsize=465988 CPUtime=1554.21 cores=0
/proc/20767/stat : 20767 (TNM) R 20764 20764 20692 0 -1 4202496 5913 0 0 0 155420 1 0 0 25 0 1 0 437525632 477171712 5810 33554432000 134512640 134534564 4290798928 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20767/statm: 116497 5810 95 6 0 115163 0
Current children cumulated CPU time (s) 4662.39
Current children cumulated vsize (KiB) 1640052

[startup+4722.31 s]
/proc/loadavg: 6.00 6.00 5.91 7/184 20996
/proc/meminfo: memFree=16721740/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4567276331464654848 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
[pid=20765] ppid=20764 vsize=648488 CPUtime=1574.15 cores=0
/proc/20765/stat : 20765 (cryptominisat) R 20764 20764 20692 0 -1 4202496 1037759 0 0 0 157206 209 0 0 25 0 1 0 437525632 664051712 16219 33554432000 4194304 4587354 140735734364976 18446744073709551615 4230260 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20765/statm: 162122 16219 337 96 0 158684 0
[pid=20766] ppid=20764 vsize=516276 CPUtime=1574.05 cores=0
/proc/20766/stat : 20766 (clasp) R 20764 20764 20692 0 -1 4202496 126659 0 0 0 157375 30 0 0 25 0 1 0 437525632 528666624 124748 33554432000 4194304 4785740 140736134583920 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20766/statm: 129069 124748 340 145 0 126114 0
[pid=20767] ppid=20764 vsize=465988 CPUtime=1574.2 cores=0
/proc/20767/stat : 20767 (TNM) R 20764 20764 20692 0 -1 4202496 5913 0 0 0 157419 1 0 0 25 0 1 0 437525632 477171712 5810 33554432000 134512640 134534564 4290798928 18446744073709551615 134530593 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20767/statm: 116497 5810 95 6 0 115163 0
Current children cumulated CPU time (s) 4722.4
Current children cumulated vsize (KiB) 1649076

[startup+4782.3 s]
/proc/loadavg: 6.00 6.00 5.91 7/184 20997
/proc/meminfo: memFree=16691824/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4567276331464654848 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
[pid=20765] ppid=20764 vsize=648488 CPUtime=1594.15 cores=0
/proc/20765/stat : 20765 (cryptominisat) R 20764 20764 20692 0 -1 4202496 1047599 0 0 0 159204 211 0 0 25 0 1 0 437525632 664051712 26021 33554432000 4194304 4587354 140735734364976 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20765/statm: 162122 26021 337 96 0 158684 0
[pid=20766] ppid=20764 vsize=516276 CPUtime=1594.05 cores=0
/proc/20766/stat : 20766 (clasp) R 20764 20764 20692 0 -1 4202496 126659 0 0 0 159375 30 0 0 25 0 1 0 437525632 528666624 124748 33554432000 4194304 4785740 140736134583920 18446744073709551615 4553068 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20766/statm: 129069 124748 340 145 0 126114 0
[pid=20767] ppid=20764 vsize=465988 CPUtime=1594.2 cores=0
/proc/20767/stat : 20767 (TNM) R 20764 20764 20692 0 -1 4202496 5913 0 0 0 159419 1 0 0 25 0 1 0 437525632 477171712 5810 33554432000 134512640 134534564 4290798928 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20767/statm: 116497 5810 95 6 0 115163 0
Current children cumulated CPU time (s) 4782.4
Current children cumulated vsize (KiB) 1649076

[startup+4842.3 s]
/proc/loadavg: 6.07 6.03 5.93 7/184 20999
/proc/meminfo: memFree=16629304/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4567276468903608320 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
[pid=20765] ppid=20764 vsize=648488 CPUtime=1614.15 cores=0
/proc/20765/stat : 20765 (cryptominisat) R 20764 20764 20692 0 -1 4202496 1056504 0 0 0 161201 214 0 0 25 0 1 0 437525632 664051712 34897 33554432000 4194304 4587354 140735734364976 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20765/statm: 162122 34897 337 96 0 158684 0
[pid=20766] ppid=20764 vsize=516276 CPUtime=1614.05 cores=0
/proc/20766/stat : 20766 (clasp) R 20764 20764 20692 0 -1 4202496 126659 0 0 0 161375 30 0 0 25 0 1 0 437525632 528666624 124748 33554432000 4194304 4785740 140736134583920 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20766/statm: 129069 124748 340 145 0 126114 0
[pid=20767] ppid=20764 vsize=465988 CPUtime=1614.2 cores=0
/proc/20767/stat : 20767 (TNM) R 20764 20764 20692 0 -1 4202496 5913 0 0 0 161419 1 0 0 25 0 1 0 437525632 477171712 5810 33554432000 134512640 134534564 4290798928 18446744073709551615 134525938 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20767/statm: 116497 5810 95 6 0 115163 0
Current children cumulated CPU time (s) 4842.4
Current children cumulated vsize (KiB) 1649076

[startup+4902.3 s]
/proc/loadavg: 6.02 6.02 5.93 7/184 21001
/proc/meminfo: memFree=16678368/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4567276468903608320 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
[pid=20765] ppid=20764 vsize=672116 CPUtime=1634.15 cores=0
/proc/20765/stat : 20765 (cryptominisat) R 20764 20764 20692 0 -1 4202496 1068315 0 0 0 163198 217 0 0 25 0 1 0 437525632 688246784 24553 33554432000 4194304 4587354 140735734364976 18446744073709551615 4236606 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20765/statm: 168029 24553 337 96 0 164591 0
[pid=20766] ppid=20764 vsize=516544 CPUtime=1634.06 cores=0
/proc/20766/stat : 20766 (clasp) R 20764 20764 20692 0 -1 4202496 126719 0 0 0 163375 31 0 0 25 0 1 0 437525632 528941056 124808 33554432000 4194304 4785740 140736134583920 18446744073709551615 4553068 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20766/statm: 129136 124808 340 145 0 126181 0
[pid=20767] ppid=20764 vsize=465988 CPUtime=1634.19 cores=0
/proc/20767/stat : 20767 (TNM) R 20764 20764 20692 0 -1 4202496 5913 0 0 0 163418 1 0 0 25 0 1 0 437525632 477171712 5810 33554432000 134512640 134534564 4290798928 18446744073709551615 134529056 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20767/statm: 116497 5810 95 6 0 115163 0
Current children cumulated CPU time (s) 4902.4
Current children cumulated vsize (KiB) 1672972

[startup+4962.3 s]
/proc/loadavg: 6.06 6.03 5.93 7/184 21002
/proc/meminfo: memFree=16430332/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4567276468903608320 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
[pid=20765] ppid=20764 vsize=672116 CPUtime=1654.14 cores=0
/proc/20765/stat : 20765 (cryptominisat) R 20764 20764 20692 0 -1 4202496 1077415 0 0 0 165195 219 0 0 25 0 1 0 437525632 688246784 33616 33554432000 4194304 4587354 140735734364976 18446744073709551615 4238240 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20765/statm: 168029 33616 337 96 0 164591 0
[pid=20766] ppid=20764 vsize=516544 CPUtime=1654.07 cores=0
/proc/20766/stat : 20766 (clasp) R 20764 20764 20692 0 -1 4202496 126735 0 0 0 165376 31 0 0 25 0 1 0 437525632 528941056 124824 33554432000 4194304 4785740 140736134583920 18446744073709551615 4304033 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20766/statm: 129136 124824 340 145 0 126181 0
[pid=20767] ppid=20764 vsize=465988 CPUtime=1654.19 cores=0
/proc/20767/stat : 20767 (TNM) R 20764 20764 20692 0 -1 4202496 5913 0 0 0 165418 1 0 0 25 0 1 0 437525632 477171712 5810 33554432000 134512640 134534564 4290798928 18446744073709551615 134528659 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20767/statm: 116497 5810 95 6 0 115163 0
Current children cumulated CPU time (s) 4962.4
Current children cumulated vsize (KiB) 1672972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 6.03 6.03 5.93 7/184 21003
/proc/meminfo: memFree=16488472/32951124 swapFree=67111528/67111528
[pid=20764] ppid=20762 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/20764/stat : 20764 (ppfolio) S 20762 20764 20692 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 437525631 18763776 393 33554432000 4194304 4287625 140734912676608 18446744073709551615 218905751055 0 0 4096 65536 4567276468903608320 0 0 17 4 0 0 0
/proc/20764/statm: 4581 393 345 23 0 91 0
[pid=20765] ppid=20764 vsize=652368 CPUtime=1666.68 cores=0
/proc/20765/stat : 20765 (cryptominisat) R 20764 20764 20692 0 -1 4202496 1085222 0 0 0 166447 221 0 0 25 0 1 0 437525632 668024832 18981 33554432000 4194304 4587354 140735734364976 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20765/statm: 163092 18981 337 96 0 159654 0
[pid=20766] ppid=20764 vsize=516544 CPUtime=1666.64 cores=0
/proc/20766/stat : 20766 (clasp) R 20764 20764 20692 0 -1 4202496 126749 0 0 0 166633 31 0 0 25 0 1 0 437525632 528941056 124838 33554432000 4194304 4785740 140736134583920 18446744073709551615 4549837 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/20766/statm: 129136 124838 340 145 0 126181 0
[pid=20767] ppid=20764 vsize=465988 CPUtime=1666.79 cores=0
/proc/20767/stat : 20767 (TNM) R 20764 20764 20692 0 -1 4202496 5913 0 0 0 166678 1 0 0 25 0 1 0 437525632 477171712 5810 33554432000 134512640 134534564 4290798928 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20767/statm: 116497 5810 95 6 0 115163 0
Current children cumulated CPU time (s) 5000.11
Current children cumulated vsize (KiB) 1653224

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

Real time (s): 5000.04
CPU time (s): 5000.11
CPU user time (s): 4997.58
CPU system time (s): 2.53
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2255008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001999
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= 264
involuntary context switches= 4

runsolver used 8.62869 second user time and 18.6522 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-20 02:27:59
IDJOB=3219820
IDBENCH=82653
IDSOLVER=1639
FILE ID=node137/3219820-1303259279
RUNJOBID= node137-1303259272-20711
PBS_JOBID= 13049495
Free space on /tmp= 71724 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3219820-1303259279/watcher-3219820-1303259279 -o /tmp/evaluation-result-3219820-1303259279/solver-3219820-1303259279 -C 5000 -W 5000 -M 15500  ppfolio --nbcore=1 HOME/instance-3219820-1303259279.cnf

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

MD5SUM BENCH= cd155ee9ac243c838c94577589f0455b
RANDOM SEED=1149460604

node137.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.844
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.68
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.844
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.844
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.844
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.74
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.844
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.844
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.844
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.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17446880 kB
Buffers:        701736 kB
Cached:       14356768 kB
SwapCached:          0 kB
Active:        8698296 kB
Inactive:      6446108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17446880 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           23624 kB
Writeback:           0 kB
AnonPages:       85096 kB
Mapped:          16396 kB
Slab:           297400 kB
PageTables:       4976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   686560 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= 71716 MiB
End job on node137 at 2011-04-20 03:51:21