Trace number 3220510

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.01 4999.91

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf
MD5SUMb386c0165fb504493e3604d6c778ca42
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 variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
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-3220510-1303273248/watcher-3220510-1303273248 -o /tmp/evaluation-result-3220510-1303273248/solver-3220510-1303273248 -C 5000 -W 5000 -M 15500 ppfolio --nbcore=1 HOME/instance-3220510-1303273248.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 5/180 19096
/proc/meminfo: memFree=15364088/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) R 19094 19096 17741 0 -1 4202496 485 0 0 0 0 0 0 0 25 0 1 0 438925254 18763776 392 33554432000 4194304 4287625 140736283464352 18446744073709551615 230808986005 0 0 4096 65536 0 0 0 17 1 0 0 0
/proc/19096/statm: 4581 392 343 23 0 91 0

[startup+0.00755306 s]
/proc/loadavg: 6.00 6.00 6.00 5/180 19096
/proc/meminfo: memFree=15364088/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) R 19094 19096 17741 0 -1 4202496 485 0 0 0 0 0 0 0 25 0 1 0 438925254 18763776 392 33554432000 4194304 4287625 140736283464352 18446744073709551615 230808986005 0 0 4096 65536 0 0 0 17 1 0 0 0
/proc/19096/statm: 4581 392 343 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100539 s]
/proc/loadavg: 6.00 6.00 6.00 5/180 19096
/proc/meminfo: memFree=15364088/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 500 0 0 0 0 0 0 0 25 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 18208937030224675080 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300502 s]
/proc/loadavg: 6.00 6.00 6.00 5/180 19096
/proc/meminfo: memFree=15364088/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 23 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700427 s]
/proc/loadavg: 6.00 6.00 6.00 5/180 19096
/proc/meminfo: memFree=15364088/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 19 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 4419049244778823680 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50029 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 19100
/proc/meminfo: memFree=15358972/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 16 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 4419049382217777152 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
[pid=19097] ppid=19096 vsize=1734040 CPUtime=0.99 cores=1
/proc/19097/stat : 19097 (cryptominisat) R 19096 19096 17741 0 -1 4202496 1885 0 0 0 99 0 0 0 19 0 1 0 438925255 1775656960 993 33554432000 4194304 4587354 140735931171712 18446744073709551615 4238947 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 433510 993 327 96 0 430072 0
[pid=19098] ppid=19096 vsize=13100 CPUtime=0.24 cores=1
/proc/19098/stat : 19098 (clasp) R 19096 19096 17741 0 -1 4202496 734 0 0 0 24 0 0 0 25 0 1 0 438925255 13414400 621 33554432000 4194304 4785740 140735303055056 18446744073709551615 4416791 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19098/statm: 3275 621 340 145 0 320 0
[pid=19099] ppid=19096 vsize=455964 CPUtime=0.24 cores=1
/proc/19099/stat : 19099 (TNM) R 19096 19096 17741 0 -1 4202496 355 0 0 0 24 0 0 0 25 0 1 0 438925255 466907136 252 33554432000 134512640 134534564 4292241680 18446744073709551615 134528497 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19099/statm: 113991 252 95 6 0 112657 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 2221428

[startup+3.10099 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 19100
/proc/meminfo: memFree=15357616/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 4419048832461963264 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
[pid=19097] ppid=19096 vsize=1740592 CPUtime=1.49 cores=1
/proc/19097/stat : 19097 (cryptominisat) R 19096 19096 17741 0 -1 4202496 3929 0 0 0 149 0 0 0 20 0 1 0 438925255 1782366208 2638 33554432000 4194304 4587354 140735931171712 18446744073709551615 4364704 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 435148 2638 337 96 0 431710 0
[pid=19098] ppid=19096 vsize=13764 CPUtime=0.76 cores=1
/proc/19098/stat : 19098 (clasp) R 19096 19096 17741 0 -1 4202496 893 0 0 0 76 0 0 0 25 0 1 0 438925255 14094336 780 33554432000 4194304 4785740 140735303055056 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19098/statm: 3441 780 340 145 0 486 0
[pid=19099] ppid=19096 vsize=455964 CPUtime=0.82 cores=1
/proc/19099/stat : 19099 (TNM) R 19096 19096 17741 0 -1 4202496 355 0 0 0 82 0 0 0 25 0 1 0 438925255 466907136 252 33554432000 134512640 134534564 4292241680 18446744073709551615 134530598 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19099/statm: 113991 252 95 6 0 112657 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 2228644

[startup+6.30041 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 19100
/proc/meminfo: memFree=15349756/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 4419047458072428544 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
[pid=19097] ppid=19096 vsize=1743356 CPUtime=2.59 cores=1
/proc/19097/stat : 19097 (cryptominisat) R 19096 19096 17741 0 -1 4202496 4856 0 0 0 258 1 0 0 22 0 1 0 438925255 1785196544 2637 33554432000 4194304 4587354 140735931171712 18446744073709551615 4238131 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 435839 2637 337 96 0 432401 0
[pid=19098] ppid=19096 vsize=14436 CPUtime=1.84 cores=1
/proc/19098/stat : 19098 (clasp) R 19096 19096 17741 0 -1 4202496 1078 0 0 0 184 0 0 0 25 0 1 0 438925255 14782464 965 33554432000 4194304 4785740 140735303055056 18446744073709551615 4553111 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19098/statm: 3609 965 340 145 0 654 0
[pid=19099] ppid=19096 vsize=455964 CPUtime=1.84 cores=1
/proc/19099/stat : 19099 (TNM) R 19096 19096 17741 0 -1 4202496 355 0 0 0 184 0 0 0 25 0 1 0 438925255 466907136 252 33554432000 134512640 134534564 4292241680 18446744073709551615 134530632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19099/statm: 113991 252 95 6 0 112657 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 2232080

[startup+12.7002 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 19100
/proc/meminfo: memFree=15354952/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 4419047320633475072 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
[pid=19097] ppid=19096 vsize=1744784 CPUtime=4.69 cores=1
/proc/19097/stat : 19097 (cryptominisat) R 19096 19096 17741 0 -1 4202496 6872 0 0 0 468 1 0 0 25 0 1 0 438925255 1786658816 3534 33554432000 4194304 4587354 140735931171712 18446744073709551615 4238611 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 436196 3534 337 96 0 432758 0
[pid=19098] ppid=19096 vsize=15384 CPUtime=3.97 cores=1
/proc/19098/stat : 19098 (clasp) R 19096 19096 17741 0 -1 4202496 1314 0 0 0 397 0 0 0 25 0 1 0 438925255 15753216 1201 33554432000 4194304 4785740 140735303055056 18446744073709551615 4553280 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19098/statm: 3846 1201 340 145 0 891 0
[pid=19099] ppid=19096 vsize=455964 CPUtime=4.02 cores=1
/proc/19099/stat : 19099 (TNM) R 19096 19096 17741 0 -1 4202496 355 0 0 0 402 0 0 0 25 0 1 0 438925255 466907136 252 33554432000 134512640 134534564 4292241680 18446744073709551615 134528422 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19099/statm: 113991 252 95 6 0 112657 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2234456

[startup+25.5009 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 19101
/proc/meminfo: memFree=15349636/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 4419047732950335488 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
[pid=19097] ppid=19096 vsize=1745380 CPUtime=8.99 cores=1
/proc/19097/stat : 19097 (cryptominisat) R 19096 19096 17741 0 -1 4202496 9267 0 0 0 897 2 0 0 25 0 1 0 438925255 1787269120 3928 33554432000 4194304 4587354 140735931171712 18446744073709551615 4244348 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 436345 3928 337 96 0 432907 0
[pid=19098] ppid=19096 vsize=16736 CPUtime=8.24 cores=1
/proc/19098/stat : 19098 (clasp) R 19096 19096 17741 0 -1 4202496 1657 0 0 0 824 0 0 0 25 0 1 0 438925255 17137664 1544 33554432000 4194304 4785740 140735303055056 18446744073709551615 4550458 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19098/statm: 4184 1544 340 145 0 1229 0
[pid=19099] ppid=19096 vsize=455964 CPUtime=8.24 cores=1
/proc/19099/stat : 19099 (TNM) R 19096 19096 17741 0 -1 4202496 355 0 0 0 824 0 0 0 25 0 1 0 438925255 466907136 252 33554432000 134512640 134534564 4292241680 18446744073709551615 4962685 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19099/statm: 113991 252 95 6 0 112657 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2236404

[startup+51.1002 s]
/proc/loadavg: 6.06 6.02 6.00 7/184 19101
/proc/meminfo: memFree=15341508/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 4419047732950335488 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
[pid=19097] ppid=19096 vsize=1747916 CPUtime=17.49 cores=1
/proc/19097/stat : 19097 (cryptominisat) R 19096 19096 17741 0 -1 4202496 14288 0 0 0 1747 2 0 0 25 0 1 0 438925255 1789865984 4634 33554432000 4194304 4587354 140735931171712 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 436979 4634 337 96 0 433541 0
[pid=19098] ppid=19096 vsize=18544 CPUtime=16.77 cores=1
/proc/19098/stat : 19098 (clasp) R 19096 19096 17741 0 -1 4202496 2071 0 0 0 1677 0 0 0 25 0 1 0 438925255 18989056 1958 33554432000 4194304 4785740 140735303055056 18446744073709551615 4287244 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19098/statm: 4636 1958 341 145 0 1681 0
[pid=19099] ppid=19096 vsize=455964 CPUtime=16.82 cores=1
/proc/19099/stat : 19099 (TNM) R 19096 19096 17741 0 -1 4202496 355 0 0 0 1682 0 0 0 25 0 1 0 438925255 466907136 252 33554432000 134512640 134534564 4292241680 18446744073709551615 134529080 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19099/statm: 113991 252 95 6 0 112657 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2240748

[startup+102.307 s]
/proc/loadavg: 6.02 6.01 6.00 7/184 19103
/proc/meminfo: memFree=15335420/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 4419047870389288960 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
[pid=19097] ppid=19096 vsize=1765408 CPUtime=34.58 cores=1
/proc/19097/stat : 19097 (cryptominisat) R 19096 19096 17741 0 -1 4202496 21239 0 0 0 3455 3 0 0 25 0 1 0 438925255 1807777792 6140 33554432000 4194304 4587354 140735931171712 18446744073709551615 4238618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 441352 6140 337 96 0 437914 0
[pid=19098] ppid=19096 vsize=20512 CPUtime=33.84 cores=1
/proc/19098/stat : 19098 (clasp) R 19096 19096 17741 0 -1 4202496 2570 0 0 0 3384 0 0 0 25 0 1 0 438925255 21004288 2457 33554432000 4194304 4785740 140735303055056 18446744073709551615 4286976 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19098/statm: 5128 2457 341 145 0 2173 0
[pid=19099] ppid=19096 vsize=455964 CPUtime=33.86 cores=1
/proc/19099/stat : 19099 (TNM) R 19096 19096 17741 0 -1 4202496 355 0 0 0 3386 0 0 0 25 0 1 0 438925255 466907136 252 33554432000 134512640 134534564 4292241680 18446744073709551615 134528708 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19099/statm: 113991 252 95 6 0 112657 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2260208

[startup+162.301 s]
/proc/loadavg: 6.01 6.00 6.00 7/184 19104
/proc/meminfo: memFree=15323248/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 4419048145267195904 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
[pid=19097] ppid=19096 vsize=1772728 CPUtime=54.58 cores=1
/proc/19097/stat : 19097 (cryptominisat) R 19096 19096 17741 0 -1 4202496 24240 0 0 0 5455 3 0 0 25 0 1 0 438925255 1815273472 9130 33554432000 4194304 4587354 140735931171712 18446744073709551615 4238647 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 443182 9130 337 96 0 439744 0
[pid=19098] ppid=19096 vsize=22196 CPUtime=53.83 cores=1

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

/proc/19099/statm: 113992 261 103 6 0 112658 0
Current children cumulated CPU time (s) 4602.41
Current children cumulated vsize (KiB) 2344964

[startup+4662.3 s]
/proc/loadavg: 6.00 5.99 5.79 7/184 19357
/proc/meminfo: memFree=15192144/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
[pid=19097] ppid=19096 vsize=1851952 CPUtime=1555.15 cores=1
/proc/19097/stat : 19097 (cryptominisat) R 19096 19096 17741 0 -1 4202496 151824 0 0 0 155483 32 0 0 25 0 1 0 438925255 1896398848 27575 33554432000 4194304 4587354 140735931171712 18446744073709551615 4238616 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 462988 27575 337 96 0 459550 0
[pid=19098] ppid=19096 vsize=47744 CPUtime=1553.6 cores=1
/proc/19098/stat : 19098 (clasp) R 19096 19096 17741 0 -1 4202496 8872 0 0 0 155359 1 0 0 25 0 1 0 438925255 48889856 8759 33554432000 4194304 4785740 140735303055056 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19098/statm: 11936 8759 341 145 0 8981 0
[pid=19099] ppid=19096 vsize=455968 CPUtime=1553.65 cores=1
/proc/19099/stat : 19099 (TNM) R 19096 19096 17741 0 -1 4202496 364 0 0 0 155365 0 0 0 25 0 1 0 438925255 466911232 261 33554432000 134512640 134534564 4292241680 18446744073709551615 134530669 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19099/statm: 113992 261 103 6 0 112658 0
Current children cumulated CPU time (s) 4662.4
Current children cumulated vsize (KiB) 2373988

[startup+4722.31 s]
/proc/loadavg: 6.00 5.99 5.80 7/184 19359
/proc/meminfo: memFree=15185540/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
[pid=19097] ppid=19096 vsize=1851952 CPUtime=1575.15 cores=1
/proc/19097/stat : 19097 (cryptominisat) R 19096 19096 17741 0 -1 4202496 153311 0 0 0 157482 33 0 0 25 0 1 0 438925255 1896398848 29027 33554432000 4194304 4587354 140735931171712 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 462988 29027 337 96 0 459550 0
[pid=19098] ppid=19096 vsize=48084 CPUtime=1573.6 cores=1
/proc/19098/stat : 19098 (clasp) R 19096 19096 17741 0 -1 4202496 8928 0 0 0 157359 1 0 0 25 0 1 0 438925255 49238016 8815 33554432000 4194304 4785740 140735303055056 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19098/statm: 12021 8815 341 145 0 9066 0
[pid=19099] ppid=19096 vsize=455968 CPUtime=1573.67 cores=1
/proc/19099/stat : 19099 (TNM) R 19096 19096 17741 0 -1 4202496 364 0 0 0 157367 0 0 0 25 0 1 0 438925255 466911232 261 33554432000 134512640 134534564 4292241680 18446744073709551615 134530468 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19099/statm: 113992 261 103 6 0 112658 0
Current children cumulated CPU time (s) 4722.42
Current children cumulated vsize (KiB) 2374328

[startup+4782.3 s]
/proc/loadavg: 6.00 5.99 5.82 7/184 19361
/proc/meminfo: memFree=15190480/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
[pid=19097] ppid=19096 vsize=1823304 CPUtime=1595.15 cores=1
/proc/19097/stat : 19097 (cryptominisat) R 19096 19096 17741 0 -1 4202496 153453 0 0 0 159482 33 0 0 25 0 1 0 438925255 1867063296 24652 33554432000 4194304 4587354 140735931171712 18446744073709551615 4238608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 455826 24652 337 96 0 452388 0
[pid=19098] ppid=19096 vsize=48224 CPUtime=1593.59 cores=1
/proc/19098/stat : 19098 (clasp) R 19096 19096 17741 0 -1 4202496 8959 0 0 0 159358 1 0 0 25 0 1 0 438925255 49381376 8846 33554432000 4194304 4785740 140735303055056 18446744073709551615 4552974 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19098/statm: 12056 8846 341 145 0 9101 0
[pid=19099] ppid=19096 vsize=455968 CPUtime=1593.67 cores=1
/proc/19099/stat : 19099 (TNM) R 19096 19096 17741 0 -1 4202496 364 0 0 0 159367 0 0 0 25 0 1 0 438925255 466911232 261 33554432000 134512640 134534564 4292241680 18446744073709551615 4961681 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19099/statm: 113992 261 103 6 0 112658 0
Current children cumulated CPU time (s) 4782.41
Current children cumulated vsize (KiB) 2345820

[startup+4842.3 s]
/proc/loadavg: 6.00 5.99 5.82 7/184 19362
/proc/meminfo: memFree=15198520/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
[pid=19097] ppid=19096 vsize=1823304 CPUtime=1615.15 cores=1
/proc/19097/stat : 19097 (cryptominisat) R 19096 19096 17741 0 -1 4202496 154105 0 0 0 161481 34 0 0 25 0 1 0 438925255 1867063296 25283 33554432000 4194304 4587354 140735931171712 18446744073709551615 4238616 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 455826 25283 337 96 0 452388 0
[pid=19098] ppid=19096 vsize=48364 CPUtime=1613.59 cores=1
/proc/19098/stat : 19098 (clasp) R 19096 19096 17741 0 -1 4202496 8989 0 0 0 161358 1 0 0 25 0 1 0 438925255 49524736 8876 33554432000 4194304 4785740 140735303055056 18446744073709551615 4552974 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19098/statm: 12091 8876 341 145 0 9136 0
[pid=19099] ppid=19096 vsize=455968 CPUtime=1613.67 cores=1
/proc/19099/stat : 19099 (TNM) R 19096 19096 17741 0 -1 4202496 364 0 0 0 161367 0 0 0 25 0 1 0 438925255 466911232 261 33554432000 134512640 134534564 4292241680 18446744073709551615 134528877 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19099/statm: 113992 261 103 6 0 112658 0
Current children cumulated CPU time (s) 4842.41
Current children cumulated vsize (KiB) 2345960

[startup+4902.3 s]
/proc/loadavg: 6.00 5.99 5.83 7/184 19364
/proc/meminfo: memFree=15187836/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
[pid=19097] ppid=19096 vsize=1839492 CPUtime=1635.14 cores=1
/proc/19097/stat : 19097 (cryptominisat) R 19096 19096 17741 0 -1 4202496 157451 0 0 0 163479 35 0 0 25 0 1 0 438925255 1883639808 27898 33554432000 4194304 4587354 140735931171712 18446744073709551615 4238602 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 459873 27898 337 96 0 456435 0
[pid=19098] ppid=19096 vsize=48364 CPUtime=1633.6 cores=1
/proc/19098/stat : 19098 (clasp) R 19096 19096 17741 0 -1 4202496 9014 0 0 0 163359 1 0 0 25 0 1 0 438925255 49524736 8901 33554432000 4194304 4785740 140735303055056 18446744073709551615 4550589 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19098/statm: 12091 8901 341 145 0 9136 0
[pid=19099] ppid=19096 vsize=455968 CPUtime=1633.67 cores=1
/proc/19099/stat : 19099 (TNM) R 19096 19096 17741 0 -1 4202496 364 0 0 0 163367 0 0 0 25 0 1 0 438925255 466911232 261 33554432000 134512640 134534564 4292241680 18446744073709551615 134530630 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19099/statm: 113992 261 103 6 0 112658 0
Current children cumulated CPU time (s) 4902.41
Current children cumulated vsize (KiB) 2362148

[startup+4962.3 s]
/proc/loadavg: 6.08 6.00 5.84 7/184 19365
/proc/meminfo: memFree=15172316/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
[pid=19097] ppid=19096 vsize=1839492 CPUtime=1655.14 cores=1
/proc/19097/stat : 19097 (cryptominisat) R 19096 19096 17741 0 -1 4202496 158810 0 0 0 165479 35 0 0 25 0 1 0 438925255 1883639808 29213 33554432000 4194304 4587354 140735931171712 18446744073709551615 4238778 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 459873 29213 337 96 0 456435 0
[pid=19098] ppid=19096 vsize=48700 CPUtime=1653.61 cores=1
/proc/19098/stat : 19098 (clasp) R 19096 19096 17741 0 -1 4202496 9062 0 0 0 165360 1 0 0 25 0 1 0 438925255 49868800 8949 33554432000 4194304 4785740 140735303055056 18446744073709551615 4287204 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19098/statm: 12175 8949 341 145 0 9220 0
[pid=19099] ppid=19096 vsize=455968 CPUtime=1653.67 cores=1
/proc/19099/stat : 19099 (TNM) R 19096 19096 17741 0 -1 4202496 364 0 0 0 165367 0 0 0 25 0 1 0 438925255 466911232 261 33554432000 134512640 134534564 4292241680 18446744073709551615 134528979 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19099/statm: 113992 261 103 6 0 112658 0
Current children cumulated CPU time (s) 4962.42
Current children cumulated vsize (KiB) 2362484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 6.04 6.00 5.84 7/184 19366
/proc/meminfo: memFree=15185584/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
[pid=19097] ppid=19096 vsize=1824632 CPUtime=1667.67 cores=1
/proc/19097/stat : 19097 (cryptominisat) R 19096 19096 17741 0 -1 4202496 158920 0 0 0 166732 35 0 0 25 0 1 0 438925255 1868423168 24652 33554432000 4194304 4587354 140735931171712 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 456158 24652 337 96 0 452720 0
[pid=19098] ppid=19096 vsize=48700 CPUtime=1666.18 cores=1
/proc/19098/stat : 19098 (clasp) R 19096 19096 17741 0 -1 4202496 9064 0 0 0 166617 1 0 0 25 0 1 0 438925255 49868800 8951 33554432000 4194304 4785740 140735303055056 18446744073709551615 4287053 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19098/statm: 12175 8951 341 145 0 9220 0
[pid=19099] ppid=19096 vsize=455968 CPUtime=1666.16 cores=1
/proc/19099/stat : 19099 (TNM) R 19096 19096 17741 0 -1 4202496 364 0 0 0 166616 0 0 0 25 0 1 0 438925255 466911232 261 33554432000 134512640 134534564 4292241680 18446744073709551615 134514044 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19099/statm: 113992 261 103 6 0 112658 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 2347624

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

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

[startup+4999.9 s]
/proc/loadavg: 6.04 6.00 5.84 7/184 19366
/proc/meminfo: memFree=15185584/32951124 swapFree=67111528/67111528
[pid=19096] ppid=19094 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/19096/stat : 19096 (ppfolio) S 19094 19096 17741 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 438925254 18763776 394 33554432000 4194304 4287625 140736283464352 18446744073709551615 230809185807 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/19096/statm: 4581 394 345 23 0 91 0
[pid=19097] ppid=19096 vsize=1824632 CPUtime=1667.67 cores=1
/proc/19097/stat : 19097 (cryptominisat) R 19096 19096 17741 0 -1 4202496 158920 0 0 0 166732 35 0 0 25 0 1 0 438925255 1868423168 24652 33554432000 4194304 4587354 140735931171712 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19097/statm: 456158 24652 337 96 0 452720 0
[pid=19098] ppid=19096 vsize=48700 CPUtime=1666.18 cores=1
/proc/19098/stat : 19098 (clasp) R 19096 19096 17741 0 -1 4202496 9064 0 0 0 166617 1 0 0 25 0 1 0 438925255 49868800 8951 33554432000 4194304 4785740 140735303055056 18446744073709551615 4287053 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/19098/statm: 12175 8951 341 145 0 9220 0
[pid=19099] ppid=19096 vsize=455968 CPUtime=1666.16 cores=1
/proc/19099/stat : 19099 (TNM) R 19096 19096 17741 0 -1 4202496 364 0 0 0 166616 0 0 0 25 0 1 0 438925255 466911232 261 33554432000 134512640 134534564 4292241680 18446744073709551615 134514044 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19099/statm: 113992 261 103 6 0 112658 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 2347624

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19096 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.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 4999.91
CPU time (s): 5000.01
CPU user time (s): 4999.65
CPU system time (s): 0.36
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 4068240

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= 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= 233
involuntary context switches= 4

runsolver used 8.18475 second user time and 18.4582 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-20 06:20:48
IDJOB=3220510
IDBENCH=82768
IDSOLVER=1639
FILE ID=node104/3220510-1303273248
RUNJOBID= node104-1303259275-17760
PBS_JOBID= 13049517
Free space on /tmp= 71600 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3220510-1303273248/watcher-3220510-1303273248 -o /tmp/evaluation-result-3220510-1303273248/solver-3220510-1303273248 -C 5000 -W 5000 -M 15500  ppfolio --nbcore=1 HOME/instance-3220510-1303273248.cnf

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

MD5SUM BENCH= b386c0165fb504493e3604d6c778ca42
RANDOM SEED=161754857

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
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.75
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15364244 kB
Buffers:        695064 kB
Cached:       16396560 kB
SwapCached:          0 kB
Active:        8963268 kB
Inactive:      8273564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15364244 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10300 kB
Writeback:           0 kB
AnonPages:      144956 kB
Mapped:          16408 kB
Slab:           287188 kB
PageTables:       5208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2268516 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= 71588 MiB
End job on node104 at 2011-04-20 07:44:10