Trace number 3275357

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) 4999.96 5000.04

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-21x33.cnf
MD5SUMf7c29bbc3bef00d1e7cc799553ba4813
Bench CategoryCRAFTED (crafted 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 variables2772
Number of clauses448371
Sum of the clauses size1785168
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24158
Number of clauses of size 30
Number of clauses of size 4444213
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-3275357-1303640848/watcher-3275357-1303640848 -o /tmp/evaluation-result-3275357-1303640848/solver-3275357-1303640848 -C 5000 -W 5000 -M 15500 ppfolio --nbcore=1 HOME/instance-3275357-1303640848.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: 5.92 5.96 5.94 5/184 359
/proc/meminfo: memFree=14377524/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18240 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) R 357 359 32332 0 -1 4194304 269 0 0 0 0 0 0 0 25 0 1 0 475682734 18677760 218 33554432000 4194304 4287625 140736162550112 18446744073709551615 255372338664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/359/statm: 4560 218 184 23 0 57 0

[startup+0.013474 s]
/proc/loadavg: 5.92 5.96 5.94 5/184 359
/proc/meminfo: memFree=14377524/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 499 0 0 0 0 0 0 0 25 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 5022441576626880772 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100493 s]
/proc/loadavg: 5.92 5.96 5.94 5/184 359
/proc/meminfo: memFree=14377524/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 499 0 0 0 0 0 0 0 25 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 5022441576626880772 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300463 s]
/proc/loadavg: 5.92 5.96 5.94 5/184 359
/proc/meminfo: memFree=14377524/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 23 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700432 s]
/proc/loadavg: 5.92 5.96 5.94 5/184 359
/proc/meminfo: memFree=14377524/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 20 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 4566835289862963200 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50128 s]
/proc/loadavg: 5.92 5.96 5.94 7/188 364
/proc/meminfo: memFree=14273460/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 20 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 4566835289862963200 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
[pid=360] ppid=359 vsize=81736 CPUtime=0.49 cores=0
/proc/360/stat : 360 (cryptominisat) R 359 359 32332 0 -1 4202496 8998 0 0 0 47 2 0 0 25 0 1 0 475682735 83697664 8884 33554432000 4194304 4587354 140734941250816 18446744073709551615 4238692 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/360/statm: 20434 8884 304 96 0 16996 0
[pid=361] ppid=359 vsize=49128 CPUtime=0.39 cores=0
/proc/361/stat : 361 (clasp) R 359 359 32332 0 -1 4202496 11451 0 0 0 38 1 0 0 25 0 1 0 475682735 50307072 9559 33554432000 4194304 4785740 140737287265952 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/361/statm: 12282 9559 314 145 0 9327 0
[pid=362] ppid=359 vsize=486712 CPUtime=0.59 cores=0
/proc/362/stat : 362 (TNM) R 359 359 32332 0 -1 4202496 10732 0 0 0 58 1 0 0 25 0 1 0 475682735 498393088 10629 33554432000 134512640 134534564 4291576592 18446744073709551615 134524594 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/362/statm: 121678 10629 91 6 0 120344 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 635900

[startup+3.10094 s]
/proc/loadavg: 5.92 5.96 5.94 7/188 364
/proc/meminfo: memFree=14262052/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 20 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 4566835289862963200 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
[pid=360] ppid=359 vsize=82532 CPUtime=0.99 cores=0
/proc/360/stat : 360 (cryptominisat) R 359 359 32332 0 -1 4202496 9218 0 0 0 97 2 0 0 25 0 1 0 475682735 84512768 9104 33554432000 4194304 4587354 140734941250816 18446744073709551615 4238658 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/360/statm: 20633 9104 304 96 0 17195 0
[pid=361] ppid=359 vsize=49128 CPUtime=0.89 cores=0
/proc/361/stat : 361 (clasp) R 359 359 32332 0 -1 4202496 11451 0 0 0 88 1 0 0 25 0 1 0 475682735 50307072 9559 33554432000 4194304 4785740 140737287265952 18446744073709551615 4495610 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/361/statm: 12282 9559 314 145 0 9327 0
[pid=362] ppid=359 vsize=486712 CPUtime=1.19 cores=0
/proc/362/stat : 362 (TNM) R 359 359 32332 0 -1 4202496 10732 0 0 0 118 1 0 0 25 0 1 0 475682735 498393088 10629 33554432000 134512640 134534564 4291576592 18446744073709551615 134524508 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/362/statm: 121678 10629 91 6 0 120344 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 636696

[startup+6.30035 s]
/proc/loadavg: 5.92 5.96 5.94 7/188 364
/proc/meminfo: memFree=14222576/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 4566835839618777088 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
[pid=360] ppid=359 vsize=134532 CPUtime=2.09 cores=0
/proc/360/stat : 360 (cryptominisat) R 359 359 32332 0 -1 4202496 28076 0 0 0 205 4 0 0 25 0 1 0 475682735 137760768 22018 33554432000 4194304 4587354 140734941250816 18446744073709551615 4388368 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/360/statm: 33633 22018 314 96 0 30195 0
[pid=361] ppid=359 vsize=49128 CPUtime=1.99 cores=0
/proc/361/stat : 361 (clasp) R 359 359 32332 0 -1 4202496 11451 0 0 0 198 1 0 0 25 0 1 0 475682735 50307072 9559 33554432000 4194304 4785740 140737287265952 18446744073709551615 4495688 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/361/statm: 12282 9559 314 145 0 9327 0
[pid=362] ppid=359 vsize=486712 CPUtime=2.19 cores=0
/proc/362/stat : 362 (TNM) R 359 359 32332 0 -1 4202496 10732 0 0 0 218 1 0 0 25 0 1 0 475682735 498393088 10629 33554432000 134512640 134534564 4291576592 18446744073709551615 134524510 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/362/statm: 121678 10629 91 6 0 120344 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 688696

[startup+12.7012 s]
/proc/loadavg: 5.93 5.96 5.94 7/188 364
/proc/meminfo: memFree=14193760/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 4566835839618777088 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
[pid=360] ppid=359 vsize=152816 CPUtime=4.19 cores=0
/proc/360/stat : 360 (cryptominisat) R 359 359 32332 0 -1 4202496 32593 0 0 0 414 5 0 0 25 0 1 0 475682735 156483584 26431 33554432000 4194304 4587354 140734941250816 18446744073709551615 4388248 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/360/statm: 38204 26431 315 96 0 34766 0
[pid=361] ppid=359 vsize=50584 CPUtime=4.09 cores=0
/proc/361/stat : 361 (clasp) R 359 359 32332 0 -1 4202496 11815 0 0 0 408 1 0 0 25 0 1 0 475682735 51798016 9923 33554432000 4194304 4785740 140737287265952 18446744073709551615 4482824 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/361/statm: 12646 9923 317 145 0 9691 0
[pid=362] ppid=359 vsize=486712 CPUtime=4.39 cores=0
/proc/362/stat : 362 (TNM) R 359 359 32332 0 -1 4202496 10732 0 0 0 438 1 0 0 25 0 1 0 475682735 498393088 10629 33554432000 134512640 134534564 4291576592 18446744073709551615 134524700 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/362/statm: 121678 10629 91 6 0 120344 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 708436

[startup+25.5008 s]
/proc/loadavg: 5.94 5.96 5.94 7/188 364
/proc/meminfo: memFree=14153328/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 4566835839618777088 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
[pid=360] ppid=359 vsize=165560 CPUtime=8.48 cores=0
/proc/360/stat : 360 (cryptominisat) R 359 359 32332 0 -1 4202496 42776 0 0 0 841 7 0 0 25 0 1 0 475682735 169533440 31488 33554432000 4194304 4587354 140734941250816 18446744073709551615 4383873 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/360/statm: 41390 31495 315 96 0 37952 0
[pid=361] ppid=359 vsize=60240 CPUtime=8.39 cores=0
/proc/361/stat : 361 (clasp) R 359 359 32332 0 -1 4202496 14227 0 0 0 837 2 0 0 25 0 1 0 475682735 61685760 12335 33554432000 4194304 4785740 140737287265952 18446744073709551615 4482824 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/361/statm: 15060 12335 317 145 0 12105 0
[pid=362] ppid=359 vsize=486712 CPUtime=8.59 cores=0
/proc/362/stat : 362 (TNM) R 359 359 32332 0 -1 4202496 10732 0 0 0 858 1 0 0 25 0 1 0 475682735 498393088 10629 33554432000 134512640 134534564 4291576592 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/362/statm: 121678 10629 91 6 0 120344 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 730836

[startup+51.1011 s]
/proc/loadavg: 5.96 5.96 5.94 7/188 365
/proc/meminfo: memFree=14094960/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 4566836526813544448 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
[pid=360] ppid=359 vsize=199152 CPUtime=16.99 cores=0
/proc/360/stat : 360 (cryptominisat) R 359 359 32332 0 -1 4202496 56888 0 0 0 1690 9 0 0 25 0 1 0 475682735 203931648 41869 33554432000 4194304 4587354 140734941250816 18446744073709551615 4364704 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/360/statm: 49788 41869 337 96 0 46350 0
[pid=361] ppid=359 vsize=74024 CPUtime=16.88 cores=0
/proc/361/stat : 361 (clasp) R 359 359 32332 0 -1 4202496 17671 0 0 0 1685 3 0 0 25 0 1 0 475682735 75800576 15779 33554432000 4194304 4785740 140737287265952 18446744073709551615 4488995 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/361/statm: 18506 15779 317 145 0 15551 0
[pid=362] ppid=359 vsize=486712 CPUtime=17.19 cores=0
/proc/362/stat : 362 (TNM) R 359 359 32332 0 -1 4202496 10732 0 0 0 1718 1 0 0 25 0 1 0 475682735 498393088 10629 33554432000 134512640 134534564 4291576592 18446744073709551615 134524508 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/362/statm: 121678 10629 91 6 0 120344 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 778212

[startup+102.307 s]
/proc/loadavg: 6.04 5.98 5.94 7/188 366
/proc/meminfo: memFree=14068668/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
[pid=360] ppid=359 vsize=310924 CPUtime=34.09 cores=0
/proc/360/stat : 360 (cryptominisat) R 359 359 32332 0 -1 4202496 74604 0 0 0 3397 12 0 0 25 0 1 0 475682735 318386176 35641 33554432000 4194304 4587354 140734941250816 18446744073709551615 255376969969 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/360/statm: 77731 35641 337 96 0 74293 0
[pid=361] ppid=359 vsize=87140 CPUtime=33.99 cores=0
/proc/361/stat : 361 (clasp) R 359 359 32332 0 -1 4202496 20942 0 0 0 3394 5 0 0 25 0 1 0 475682735 89231360 19050 33554432000 4194304 4785740 140737287265952 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/361/statm: 21785 19050 317 145 0 18830 0
[pid=362] ppid=359 vsize=498220 CPUtime=34.2 cores=0
/proc/362/stat : 362 (TNM) R 359 359 32332 0 -1 4202496 14924 0 0 0 3418 2 0 0 25 0 1 0 475682735 510177280 14821 33554432000 134512640 134534564 4291576592 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/362/statm: 124555 14821 95 6 0 123221 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 914608

[startup+162.3 s]
/proc/loadavg: 6.01 5.98 5.94 7/188 368
/proc/meminfo: memFree=13939824/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 4566835014985056256 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
[pid=360] ppid=359 vsize=354976 CPUtime=54.08 cores=0
/proc/360/stat : 360 (cryptominisat) R 359 359 32332 0 -1 4202496 100084 0 0 0 5393 15 0 0 25 0 1 0 475682735 363495424 47957 33554432000 4194304 4587354 140734941250816 18446744073709551615 4432304 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/360/statm: 88744 47957 337 96 0 85306 0
[pid=361] ppid=359 vsize=136808 CPUtime=53.98 cores=0

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

/proc/362/statm: 124555 14821 95 6 0 123221 0
Current children cumulated CPU time (s) 4542.26
Current children cumulated vsize (KiB) 3217836

[startup+4602.3 s]
/proc/loadavg: 6.01 6.03 6.00 7/188 508
/proc/meminfo: memFree=13260680/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 4566836251935637504 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
[pid=360] ppid=359 vsize=2259412 CPUtime=1534.06 cores=0
/proc/360/stat : 360 (cryptominisat) R 359 359 32332 0 -1 4202496 2733164 0 0 0 152902 504 0 0 25 0 1 0 475682735 2313637888 107234 33554432000 4194304 4587354 140734941250816 18446744073709551615 4365236 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/360/statm: 564853 107234 337 96 0 561415 0
[pid=361] ppid=359 vsize=441880 CPUtime=1533.96 cores=0
/proc/361/stat : 361 (clasp) R 359 359 32332 0 -1 4202496 106234 0 0 0 153372 24 0 0 25 0 1 0 475682735 452485120 103466 33554432000 4194304 4785740 140737287265952 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/361/statm: 110470 103466 341 145 0 107515 0
[pid=362] ppid=359 vsize=498220 CPUtime=1534.24 cores=0
/proc/362/stat : 362 (TNM) R 359 359 32332 0 -1 4202496 14924 0 0 0 153420 4 0 0 25 0 1 0 475682735 510177280 14821 33554432000 134512640 134534564 4291576592 18446744073709551615 134530586 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/362/statm: 124555 14821 95 6 0 123221 0
Current children cumulated CPU time (s) 4602.26
Current children cumulated vsize (KiB) 3217836

[startup+4662.3 s]
/proc/loadavg: 6.00 6.02 6.00 7/188 510
/proc/meminfo: memFree=13502716/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
[pid=360] ppid=359 vsize=1985056 CPUtime=1554.05 cores=0
/proc/360/stat : 360 (cryptominisat) R 359 359 32332 0 -1 4202496 2755917 0 0 0 154896 509 0 0 25 0 1 0 475682735 2032697344 45079 33554432000 4194304 4587354 140734941250816 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/360/statm: 496264 45079 337 96 0 492826 0
[pid=361] ppid=359 vsize=442308 CPUtime=1553.96 cores=0
/proc/361/stat : 361 (clasp) R 359 359 32332 0 -1 4202496 106333 0 0 0 155372 24 0 0 25 0 1 0 475682735 452923392 103565 33554432000 4194304 4785740 140737287265952 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/361/statm: 110577 103565 341 145 0 107622 0
[pid=362] ppid=359 vsize=498220 CPUtime=1554.25 cores=0
/proc/362/stat : 362 (TNM) R 359 359 32332 0 -1 4202496 14924 0 0 0 155421 4 0 0 25 0 1 0 475682735 510177280 14821 33554432000 134512640 134534564 4291576592 18446744073709551615 134530593 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/362/statm: 124555 14821 95 6 0 123221 0
Current children cumulated CPU time (s) 4662.26
Current children cumulated vsize (KiB) 2943908

[startup+4722.31 s]
/proc/loadavg: 6.00 6.02 6.00 7/188 511
/proc/meminfo: memFree=13409456/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
[pid=360] ppid=359 vsize=1986080 CPUtime=1574.05 cores=0
/proc/360/stat : 360 (cryptominisat) R 359 359 32332 0 -1 4202496 2784900 0 0 0 156891 514 0 0 25 0 1 0 475682735 2033745920 50413 33554432000 4194304 4587354 140734941250816 18446744073709551615 4238431 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/360/statm: 496520 50413 337 96 0 493082 0
[pid=361] ppid=359 vsize=442736 CPUtime=1573.96 cores=0
/proc/361/stat : 361 (clasp) R 359 359 32332 0 -1 4202496 106422 0 0 0 157372 24 0 0 25 0 1 0 475682735 453361664 103654 33554432000 4194304 4785740 140737287265952 18446744073709551615 4287024 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/361/statm: 110684 103654 341 145 0 107729 0
[pid=362] ppid=359 vsize=498220 CPUtime=1574.25 cores=0
/proc/362/stat : 362 (TNM) R 359 359 32332 0 -1 4202496 14924 0 0 0 157421 4 0 0 25 0 1 0 475682735 510177280 14821 33554432000 134512640 134534564 4291576592 18446744073709551615 134530593 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/362/statm: 124555 14821 95 6 0 123221 0
Current children cumulated CPU time (s) 4722.26
Current children cumulated vsize (KiB) 2945360

[startup+4782.3 s]
/proc/loadavg: 6.00 6.01 6.00 7/188 513
/proc/meminfo: memFree=13408688/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
[pid=360] ppid=359 vsize=459420 CPUtime=1594.05 cores=0
/proc/360/stat : 360 (cryptominisat) R 359 359 32332 0 -1 4202496 2826711 0 0 0 158885 520 0 0 25 0 1 0 475682735 470446080 44973 33554432000 4194304 4587354 140734941250816 18446744073709551615 4237515 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/360/statm: 114855 44973 337 96 0 111417 0
[pid=361] ppid=359 vsize=443588 CPUtime=1593.96 cores=0
/proc/361/stat : 361 (clasp) R 359 359 32332 0 -1 4202496 106597 0 0 0 159372 24 0 0 25 0 1 0 475682735 454234112 103829 33554432000 4194304 4785740 140737287265952 18446744073709551615 4277495 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/361/statm: 110897 103829 341 145 0 107942 0
[pid=362] ppid=359 vsize=498220 CPUtime=1594.25 cores=0
/proc/362/stat : 362 (TNM) R 359 359 32332 0 -1 4202496 14924 0 0 0 159421 4 0 0 25 0 1 0 475682735 510177280 14821 33554432000 134512640 134534564 4291576592 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/362/statm: 124555 14821 95 6 0 123221 0
Current children cumulated CPU time (s) 4782.26
Current children cumulated vsize (KiB) 1419552

[startup+4842.3 s]
/proc/loadavg: 6.00 6.01 6.00 7/188 515
/proc/meminfo: memFree=13385112/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 4566836939130404864 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
[pid=360] ppid=359 vsize=2023096 CPUtime=1614.05 cores=0
/proc/360/stat : 360 (cryptominisat) R 359 359 32332 0 -1 4202496 2856006 0 0 0 160879 526 0 0 25 0 1 0 475682735 2071650304 50493 33554432000 4194304 4587354 140734941250816 18446744073709551615 4238431 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/360/statm: 505774 50493 337 96 0 502336 0
[pid=361] ppid=359 vsize=444228 CPUtime=1613.97 cores=0
/proc/361/stat : 361 (clasp) R 359 359 32332 0 -1 4202496 106756 0 0 0 161373 24 0 0 25 0 1 0 475682735 454889472 103988 33554432000 4194304 4785740 140737287265952 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/361/statm: 111057 103988 341 145 0 108102 0
[pid=362] ppid=359 vsize=498220 CPUtime=1614.25 cores=0
/proc/362/stat : 362 (TNM) R 359 359 32332 0 -1 4202496 14924 0 0 0 161421 4 0 0 25 0 1 0 475682735 510177280 14821 33554432000 134512640 134534564 4291576592 18446744073709551615 134528302 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/362/statm: 124555 14821 95 6 0 123221 0
Current children cumulated CPU time (s) 4842.27
Current children cumulated vsize (KiB) 2983868

[startup+4902.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/188 516
/proc/meminfo: memFree=13510840/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 4566836939130404864 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
[pid=360] ppid=359 vsize=1985756 CPUtime=1634.04 cores=0
/proc/360/stat : 360 (cryptominisat) R 359 359 32332 0 -1 4202496 2897929 0 0 0 162871 533 0 0 25 0 1 0 475682735 2033414144 44721 33554432000 4194304 4587354 140734941250816 18446744073709551615 4238491 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/360/statm: 496439 44721 337 96 0 493001 0
[pid=361] ppid=359 vsize=447748 CPUtime=1633.97 cores=0
/proc/361/stat : 361 (clasp) R 359 359 32332 0 -1 4202496 107581 0 0 0 163373 24 0 0 25 0 1 0 475682735 458493952 104813 33554432000 4194304 4785740 140737287265952 18446744073709551615 255376999042 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/361/statm: 111937 104813 341 145 0 108982 0
[pid=362] ppid=359 vsize=498220 CPUtime=1634.24 cores=0
/proc/362/stat : 362 (TNM) R 359 359 32332 0 -1 4202496 14924 0 0 0 163420 4 0 0 25 0 1 0 475682735 510177280 14821 33554432000 134512640 134534564 4291576592 18446744073709551615 134530367 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/362/statm: 124555 14821 95 6 0 123221 0
Current children cumulated CPU time (s) 4902.25
Current children cumulated vsize (KiB) 2950048

[startup+4962.3 s]
/proc/loadavg: 5.84 5.95 5.98 7/188 549
/proc/meminfo: memFree=13678376/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 4566836939130404864 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
[pid=360] ppid=359 vsize=1987300 CPUtime=1654.04 cores=0
/proc/360/stat : 360 (cryptominisat) R 359 359 32332 0 -1 4202496 2927415 0 0 0 164865 539 0 0 25 0 1 0 475682735 2034995200 50019 33554432000 4194304 4587354 140734941250816 18446744073709551615 4237681 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/360/statm: 496825 50019 337 96 0 493387 0
[pid=361] ppid=359 vsize=447748 CPUtime=1653.98 cores=0
/proc/361/stat : 361 (clasp) R 359 359 32332 0 -1 4202496 107581 0 0 0 165374 24 0 0 25 0 1 0 475682735 458493952 104813 33554432000 4194304 4785740 140737287265952 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/361/statm: 111937 104813 341 145 0 108982 0
[pid=362] ppid=359 vsize=498220 CPUtime=1654.24 cores=0
/proc/362/stat : 362 (TNM) R 359 359 32332 0 -1 4202496 14924 0 0 0 165420 4 0 0 25 0 1 0 475682735 510177280 14821 33554432000 134512640 134534564 4291576592 18446744073709551615 134528687 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/362/statm: 124555 14821 95 6 0 123221 0
Current children cumulated CPU time (s) 4962.26
Current children cumulated vsize (KiB) 2951592



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 5.91 5.96 5.98 7/188 550
/proc/meminfo: memFree=13650648/32951124 swapFree=67111528/67111528
[pid=359] ppid=357 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/359/stat : 359 (ppfolio) S 357 359 32332 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475682734 18763776 394 33554432000 4194304 4287625 140736162550112 18446744073709551615 255377321487 0 0 4096 65536 4566836939130404864 0 0 17 2 0 0 0
/proc/359/statm: 4581 394 345 23 0 91 0
[pid=360] ppid=359 vsize=459856 CPUtime=1666.64 cores=0
/proc/360/stat : 360 (cryptominisat) R 359 359 32332 0 -1 4202496 2950819 0 0 0 166120 544 0 0 25 0 1 0 475682735 470892544 49234 33554432000 4194304 4587354 140734941250816 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/360/statm: 114964 49234 337 96 0 111526 0
[pid=361] ppid=359 vsize=447748 CPUtime=1666.54 cores=0
/proc/361/stat : 361 (clasp) R 359 359 32332 0 -1 4202496 107585 0 0 0 166630 24 0 0 25 0 1 0 475682735 458493952 104817 33554432000 4194304 4785740 140737287265952 18446744073709551615 4546099 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/361/statm: 111937 104817 341 145 0 108982 0
[pid=362] ppid=359 vsize=498220 CPUtime=1666.78 cores=0
/proc/362/stat : 362 (TNM) R 359 359 32332 0 -1 4202496 14924 0 0 0 166674 4 0 0 25 0 1 0 475682735 510177280 14821 33554432000 134512640 134534564 4291576592 18446744073709551615 134530126 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/362/statm: 124555 14821 95 6 0 123221 0
Current children cumulated CPU time (s) 4999.96
Current children cumulated vsize (KiB) 1424148

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 359 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=0
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 4999.96
#
# 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): 4999.96
CPU user time (s): 4994.24
CPU system time (s): 5.72
CPU usage (%): 99.9984
Max. virtual memory (cumulated for all children) (KiB): 4878028

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

runsolver used 8.62569 second user time and 18.6522 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-24 12:27:29
IDJOB=3275357
IDBENCH=83165
IDSOLVER=1639
FILE ID=node135/3275357-1303640848
RUNJOBID= node135-1303635246-32350
PBS_JOBID= 13150713
Free space on /tmp= 71352 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-21x33.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3275357-1303640848/watcher-3275357-1303640848 -o /tmp/evaluation-result-3275357-1303640848/solver-3275357-1303640848 -C 5000 -W 5000 -M 15500  ppfolio --nbcore=1 HOME/instance-3275357-1303640848.cnf

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

MD5SUM BENCH= f7c29bbc3bef00d1e7cc799553ba4813
RANDOM SEED=223414493

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
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	: 6640.14
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.851
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.78
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.851
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.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14377680 kB
Buffers:       2060804 kB
Cached:       15772856 kB
SwapCached:          0 kB
Active:        7458848 kB
Inactive:     10519192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14377680 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           20620 kB
Writeback:          12 kB
AnonPages:      143628 kB
Mapped:          16480 kB
Slab:           531984 kB
PageTables:       5112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   754296 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71344 MiB
End job on node135 at 2011-04-24 13:50:51