Trace number 3259710

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) 1299.97 1300.01

General information on the benchmark

NameCRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes2.cnf
MD5SUMaac2bd287b8cd6b96cbf7ecc463acf19
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 variables2400
Number of clauses266431
Sum of the clauses size535112
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2266356
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 575

Solver Data 

0.00/0.04	This is pico-portfolio, a naive parallel portfolio
0.00/0.04	Copyright (C) 2011 Olivier Roussel
0.00/0.04	Using 1 processing units
0.00/0.04	This portfolio uses the following solvers:
0.00/0.04	[1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.04	[2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.04	[3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.04	Starting cryptominisat 2.7.1 on core(s) 4
0.00/0.04	Starting clasp 1.3.6 on core(s) 4
0.00/0.04	Starting TNM 2009 on core(s) 4

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-3259710-1303542291/watcher-3259710-1303542291 -o /tmp/evaluation-result-3259710-1303542291/solver-3259710-1303542291 -C 2400 -W 1300 -M 7680 ppfolio --nbcore=1 HOME/instance-3259710-1303542291.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.68 3.93 3.71 8/192 13368
/proc/meminfo: memFree=16013088/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=2712 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4194304 83 0 0 0 0 0 0 0 20 0 1 0 446644606 2777088 37 33554432000 4194304 4287625 140736571493312 18446744073709551615 228090527367 0 2147483391 4096 0 18446744071699953811 0 0 17 4 0 0 0
/proc/13368/statm: 678 37 27 23 0 23 0

[startup+0.09651 s]
/proc/loadavg: 3.68 3.93 3.71 8/192 13368
/proc/meminfo: memFree=16013088/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 497 0 0 0 0 0 0 0 20 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4542579517893345540 0 0 17 4 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100519 s]
/proc/loadavg: 3.68 3.93 3.71 8/192 13368
/proc/meminfo: memFree=16013088/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 497 0 0 0 0 0 0 0 20 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4542579517893345540 0 0 17 4 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.30048 s]
/proc/loadavg: 3.68 3.93 3.71 8/192 13368
/proc/meminfo: memFree=16013088/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 497 0 0 0 0 0 0 0 20 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4542579517893345540 0 0 17 4 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.7004 s]
/proc/loadavg: 3.68 3.93 3.71 8/192 13368
/proc/meminfo: memFree=16013088/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 497 0 0 0 0 0 0 0 20 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4542579517893345540 0 0 17 4 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50126 s]
/proc/loadavg: 3.68 3.93 3.71 13/202 13378
/proc/meminfo: memFree=15812368/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4460429502329126912 0 0 17 6 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
[pid=13373] ppid=13368 vsize=78700 CPUtime=0.61 cores=4
/proc/13373/stat : 13373 (cryptominisat) R 13368 13368 12969 0 -1 4202496 15979 0 0 0 59 2 0 0 18 0 1 0 446644609 80588800 11898 33554432000 4194304 4587354 140734488136912 18446744073709551615 4317974 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13373/statm: 19675 11898 318 96 0 16237 0
[pid=13375] ppid=13368 vsize=29080 CPUtime=0.41 cores=4
/proc/13375/stat : 13375 (clasp) R 13368 13368 12969 0 -1 4202496 5730 0 0 0 41 0 0 0 23 0 1 0 446644609 29777920 4450 33554432000 4194304 4785740 140736137322976 18446744073709551615 4495633 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/13375/statm: 7270 4450 313 145 0 4315 0
[pid=13377] ppid=13368 vsize=464404 CPUtime=0.41 cores=4
/proc/13377/stat : 13377 (TNM) R 13368 13368 12969 0 -1 4202496 4421 0 0 0 41 0 0 0 25 0 1 0 446644609 475549696 4318 33554432000 134512640 134534564 4293470592 18446744073709551615 134524745 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13377/statm: 116101 4318 91 6 0 114767 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 590508

[startup+3.10097 s]
/proc/loadavg: 4.35 4.07 3.75 14/202 13378
/proc/meminfo: memFree=15750988/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4460430326962847744 0 0 17 6 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
[pid=13373] ppid=13368 vsize=66820 CPUtime=1.74 cores=4
/proc/13373/stat : 13373 (cryptominisat) R 13368 13368 12969 0 -1 4202496 17976 0 0 0 172 2 0 0 19 0 1 0 446644609 68423680 11923 33554432000 4194304 4587354 140734488136912 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13373/statm: 16705 11923 326 96 0 13267 0
[pid=13375] ppid=13368 vsize=29080 CPUtime=0.61 cores=4
/proc/13375/stat : 13375 (clasp) R 13368 13368 12969 0 -1 4202496 5730 0 0 0 61 0 0 0 25 0 1 0 446644609 29777920 4450 33554432000 4194304 4785740 140736137322976 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/13375/statm: 7270 4450 313 145 0 4315 0
[pid=13377] ppid=13368 vsize=464404 CPUtime=0.68 cores=4
/proc/13377/stat : 13377 (TNM) R 13368 13368 12969 0 -1 4202496 4421 0 0 0 68 0 0 0 25 0 1 0 446644609 475549696 4318 33554432000 134512640 134534564 4293470592 18446744073709551615 134524666 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13377/statm: 116101 4318 91 6 0 114767 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 578628

[startup+6.30037 s]
/proc/loadavg: 4.35 4.07 3.75 13/202 13379
/proc/meminfo: memFree=15719036/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4460428677695406080 0 0 17 6 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
[pid=13373] ppid=13368 vsize=798968 CPUtime=2.84 cores=4
/proc/13373/stat : 13373 (cryptominisat) R 13368 13368 12969 0 -1 4202496 19711 0 0 0 282 2 0 0 21 0 1 0 446644609 818143232 11833 33554432000 4194304 4587354 140734488136912 18446744073709551615 4239234 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13373/statm: 199742 11833 331 96 0 196304 0
[pid=13375] ppid=13368 vsize=30404 CPUtime=1.69 cores=4
/proc/13375/stat : 13375 (clasp) R 13368 13368 12969 0 -1 4202496 6717 0 0 0 169 0 0 0 25 0 1 0 446644609 31133696 4916 33554432000 4194304 4785740 140736137322976 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/13375/statm: 7601 4916 340 145 0 4646 0
[pid=13377] ppid=13368 vsize=466516 CPUtime=1.7 cores=4
/proc/13377/stat : 13377 (TNM) R 13368 13368 12969 0 -1 4202496 6387 0 0 0 170 0 0 0 25 0 1 0 446644609 477712384 6284 33554432000 134512640 134534564 4293470592 18446744073709551615 134529031 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13377/statm: 116629 6284 95 6 0 115295 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 1314212

[startup+12.7012 s]
/proc/loadavg: 5.52 4.33 3.84 13/202 13379
/proc/meminfo: memFree=15669352/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4460429639768080384 0 0 17 6 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
[pid=13373] ppid=13368 vsize=798968 CPUtime=4.94 cores=4
/proc/13373/stat : 13373 (cryptominisat) R 13368 13368 12969 0 -1 4202496 20017 0 0 0 492 2 0 0 25 0 1 0 446644609 818143232 12137 33554432000 4194304 4587354 140734488136912 18446744073709551615 4365336 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13373/statm: 199742 12137 337 96 0 196304 0
[pid=13375] ppid=13368 vsize=31240 CPUtime=3.81 cores=4
/proc/13375/stat : 13375 (clasp) R 13368 13368 12969 0 -1 4202496 6953 0 0 0 381 0 0 0 25 0 1 0 446644609 31989760 5152 33554432000 4194304 4785740 140736137322976 18446744073709551615 4286973 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/13375/statm: 7810 5152 340 145 0 4855 0
[pid=13377] ppid=13368 vsize=470348 CPUtime=3.88 cores=4
/proc/13377/stat : 13377 (TNM) R 13368 13368 12969 0 -1 4202496 6388 0 0 0 388 0 0 0 25 0 1 0 446644609 481636352 6285 33554432000 134512640 134534564 4293470592 18446744073709551615 134530360 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13377/statm: 117587 6285 95 6 0 116253 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 1318880

[startup+25.5009 s]
/proc/loadavg: 6.52 4.58 3.93 14/202 13379
/proc/meminfo: memFree=15565488/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4460430052084940800 0 0 17 6 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
[pid=13373] ppid=13368 vsize=813560 CPUtime=9.24 cores=4
/proc/13373/stat : 13373 (cryptominisat) R 13368 13368 12969 0 -1 4202496 22682 0 0 0 921 3 0 0 25 0 1 0 446644609 833085440 14801 33554432000 4194304 4587354 140734488136912 18446744073709551615 4365361 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13373/statm: 203390 14801 337 96 0 199952 0
[pid=13375] ppid=13368 vsize=47100 CPUtime=8.1 cores=4
/proc/13375/stat : 13375 (clasp) R 13368 13368 12969 0 -1 4202496 10880 0 0 0 808 2 0 0 25 0 1 0 446644609 48230400 9079 33554432000 4194304 4785740 140736137322976 18446744073709551615 4553411 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/13375/statm: 11775 9079 340 145 0 8820 0
[pid=13377] ppid=13368 vsize=470348 CPUtime=8.1 cores=4
/proc/13377/stat : 13377 (TNM) R 13368 13368 12969 0 -1 4202496 6388 0 0 0 810 0 0 0 25 0 1 0 446644609 481636352 6285 33554432000 134512640 134534564 4293470592 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13377/statm: 117587 6285 95 6 0 116253 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 1349332

[startup+51.1012 s]
/proc/loadavg: 8.39 5.17 4.14 13/202 13380
/proc/meminfo: memFree=15433072/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4460429777207033856 0 0 17 6 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
[pid=13373] ppid=13368 vsize=820064 CPUtime=17.74 cores=4
/proc/13373/stat : 13373 (cryptominisat) R 13368 13368 12969 0 -1 4202496 29476 0 0 0 1770 4 0 0 25 0 1 0 446644609 839745536 18872 33554432000 4194304 4587354 140734488136912 18446744073709551615 4365294 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13373/statm: 205016 18872 337 96 0 201578 0
[pid=13375] ppid=13368 vsize=68408 CPUtime=16.61 cores=4
/proc/13375/stat : 13375 (clasp) R 13368 13368 12969 0 -1 4202496 16207 0 0 0 1658 3 0 0 25 0 1 0 446644609 70049792 14406 33554432000 4194304 4785740 140736137322976 18446744073709551615 4287076 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/13375/statm: 17102 14406 340 145 0 14147 0
[pid=13377] ppid=13368 vsize=470348 CPUtime=16.68 cores=4
/proc/13377/stat : 13377 (TNM) R 13368 13368 12969 0 -1 4202496 6388 0 0 0 1668 0 0 0 25 0 1 0 446644609 481636352 6285 33554432000 134512640 134534564 4293470592 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13377/statm: 117587 6285 95 6 0 116253 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 1377144

[startup+102.308 s]
/proc/loadavg: 10.56 6.32 4.59 13/202 13381
/proc/meminfo: memFree=15315136/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4460429227451219968 0 0 17 6 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
[pid=13373] ppid=13368 vsize=918544 CPUtime=34.83 cores=4
/proc/13373/stat : 13373 (cryptominisat) R 13368 13368 12969 0 -1 4202496 36105 0 0 0 3478 5 0 0 25 0 1 0 446644609 940589056 25497 33554432000 4194304 4587354 140734488136912 18446744073709551615 4230176 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13373/statm: 229636 25497 337 96 0 226198 0
[pid=13375] ppid=13368 vsize=80148 CPUtime=33.71 cores=4
/proc/13375/stat : 13375 (clasp) R 13368 13368 12969 0 -1 4202496 19024 0 0 0 3368 3 0 0 25 0 1 0 446644609 82071552 17223 33554432000 4194304 4785740 140736137322976 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/13375/statm: 20037 17223 340 145 0 17082 0
[pid=13377] ppid=13368 vsize=470348 CPUtime=33.7 cores=4
/proc/13377/stat : 13377 (TNM) R 13368 13368 12969 0 -1 4202496 6388 0 0 0 3370 0 0 0 25 0 1 0 446644609 481636352 6285 33554432000 134512640 134534564 4293470592 18446744073709551615 134530614 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13377/statm: 117587 6285 95 6 0 116253 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 1487364

[startup+162.301 s]
/proc/loadavg: 11.47 7.35 5.05 14/202 13383
/proc/meminfo: memFree=15224860/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4460429639768080384 0 0 17 6 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
[pid=13373] ppid=13368 vsize=869260 CPUtime=55.33 cores=4
/proc/13373/stat : 13373 (cryptominisat) R 13368 13368 12969 0 -1 4202496 55951 0 0 0 5524 9 0 0 25 0 1 0 446644609 890122240 31174 33554432000 4194304 4587354 140734488136912 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13373/statm: 217315 31174 337 96 0 213877 0
[pid=13375] ppid=13368 vsize=91924 CPUtime=53.4 cores=4

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

/proc/13377/statm: 117587 6285 95 6 0 116253 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 1509268

[startup+882.301 s]
/proc/loadavg: 12.05 11.61 8.79 13/202 13402
/proc/meminfo: memFree=14898900/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4460430189523894272 0 0 17 6 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
[pid=13373] ppid=13368 vsize=885992 CPUtime=295.4 cores=4
/proc/13373/stat : 13373 (cryptominisat) R 13368 13368 12969 0 -1 4202496 107789 0 0 0 29521 19 0 0 25 0 1 0 446644609 907255808 35555 33554432000 4194304 4587354 140734488136912 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13373/statm: 221498 35555 337 96 0 218060 0
[pid=13375] ppid=13368 vsize=147156 CPUtime=293.41 cores=4
/proc/13375/stat : 13375 (clasp) R 13368 13368 12969 0 -1 4202496 35222 0 0 0 29333 8 0 0 25 0 1 0 446644609 150687744 33421 33554432000 4194304 4785740 140736137322976 18446744073709551615 4287058 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/13375/statm: 36789 33421 340 145 0 33834 0
[pid=13377] ppid=13368 vsize=470348 CPUtime=293.45 cores=4
/proc/13377/stat : 13377 (TNM) R 13368 13368 12969 0 -1 4202496 6388 0 0 0 29345 0 0 0 25 0 1 0 446644609 481636352 6285 33554432000 134512640 134534564 4293470592 18446744073709551615 134528330 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13377/statm: 117587 6285 95 6 0 116253 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 1521820

[startup+942.301 s]
/proc/loadavg: 12.06 11.69 9.00 14/202 13404
/proc/meminfo: memFree=14845948/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 0 0 0 17 6 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
[pid=13373] ppid=13368 vsize=991084 CPUtime=315.39 cores=4
/proc/13373/stat : 13373 (cryptominisat) R 13368 13368 12969 0 -1 4202496 125636 0 0 0 31518 21 0 0 25 0 1 0 446644609 1014870016 45486 33554432000 4194304 4587354 140734488136912 18446744073709551615 4238606 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13373/statm: 247771 45486 337 96 0 244333 0
[pid=13375] ppid=13368 vsize=149436 CPUtime=313.42 cores=4
/proc/13375/stat : 13375 (clasp) R 13368 13368 12969 0 -1 4202496 35801 0 0 0 31333 9 0 0 25 0 1 0 446644609 153022464 34000 33554432000 4194304 4785740 140736137322976 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/13375/statm: 37359 34000 340 145 0 34404 0
[pid=13377] ppid=13368 vsize=470348 CPUtime=313.45 cores=4
/proc/13377/stat : 13377 (TNM) R 13368 13368 12969 0 -1 4202496 6388 0 0 0 31345 0 0 0 25 0 1 0 446644609 481636352 6285 33554432000 134512640 134534564 4293470592 18446744073709551615 134530186 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13377/statm: 117587 6285 95 6 0 116253 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 1629192

[startup+1002.3 s]
/proc/loadavg: 12.02 11.74 9.18 13/202 13405
/proc/meminfo: memFree=14795840/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4460429502329126912 0 0 17 6 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
[pid=13373] ppid=13368 vsize=926404 CPUtime=335.39 cores=4
/proc/13373/stat : 13373 (cryptominisat) R 13368 13368 12969 0 -1 4202496 132749 0 0 0 33517 22 0 0 25 0 1 0 446644609 948637696 45486 33554432000 4194304 4587354 140734488136912 18446744073709551615 4238543 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13373/statm: 231601 45486 337 96 0 228163 0
[pid=13375] ppid=13368 vsize=151248 CPUtime=333.43 cores=4
/proc/13375/stat : 13375 (clasp) R 13368 13368 12969 0 -1 4202496 36181 0 0 0 33334 9 0 0 25 0 1 0 446644609 154877952 34380 33554432000 4194304 4785740 140736137322976 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/13375/statm: 37812 34380 340 145 0 34857 0
[pid=13377] ppid=13368 vsize=470348 CPUtime=333.45 cores=4
/proc/13377/stat : 13377 (TNM) R 13368 13368 12969 0 -1 4202496 6388 0 0 0 33345 0 0 0 25 0 1 0 446644609 481636352 6285 33554432000 134512640 134534564 4293470592 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13377/statm: 117587 6285 95 6 0 116253 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 1566324

[startup+1062.3 s]
/proc/loadavg: 12.01 11.79 9.36 14/202 13407
/proc/meminfo: memFree=14762976/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4460429777207033856 0 0 17 6 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
[pid=13373] ppid=13368 vsize=927944 CPUtime=355.38 cores=4
/proc/13373/stat : 13373 (cryptominisat) R 13368 13368 12969 0 -1 4202496 138749 0 0 0 35515 23 0 0 25 0 1 0 446644609 950214656 46391 33554432000 4194304 4587354 140734488136912 18446744073709551615 4238435 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13373/statm: 231986 46391 337 96 0 228548 0
[pid=13375] ppid=13368 vsize=153600 CPUtime=353.44 cores=4
/proc/13375/stat : 13375 (clasp) R 13368 13368 12969 0 -1 4202496 36735 0 0 0 35335 9 0 0 25 0 1 0 446644609 157286400 34934 33554432000 4194304 4785740 140736137322976 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/13375/statm: 38400 34934 340 145 0 35445 0
[pid=13377] ppid=13368 vsize=470348 CPUtime=353.44 cores=4
/proc/13377/stat : 13377 (TNM) R 13368 13368 12969 0 -1 4202496 6388 0 0 0 35344 0 0 0 25 0 1 0 446644609 481636352 6285 33554432000 134512640 134534564 4293470592 18446744073709551615 134530367 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13377/statm: 117587 6285 95 6 0 116253 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 1570216

[startup+1122.3 s]
/proc/loadavg: 12.00 11.82 9.52 13/202 13408
/proc/meminfo: memFree=14762108/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4460429914645987328 0 0 17 6 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
[pid=13373] ppid=13368 vsize=973048 CPUtime=375.38 cores=4
/proc/13373/stat : 13373 (cryptominisat) R 13368 13368 12969 0 -1 4202496 145775 0 0 0 37514 24 0 0 25 0 1 0 446644609 996401152 45486 33554432000 4194304 4587354 140734488136912 18446744073709551615 4237639 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13373/statm: 243262 45486 337 96 0 239824 0
[pid=13375] ppid=13368 vsize=155728 CPUtime=373.44 cores=4
/proc/13375/stat : 13375 (clasp) R 13368 13368 12969 0 -1 4202496 37192 0 0 0 37335 9 0 0 25 0 1 0 446644609 159465472 35391 33554432000 4194304 4785740 140736137322976 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/13375/statm: 38932 35391 340 145 0 35977 0
[pid=13377] ppid=13368 vsize=470348 CPUtime=373.44 cores=4
/proc/13377/stat : 13377 (TNM) R 13368 13368 12969 0 -1 4202496 6388 0 0 0 37344 0 0 0 25 0 1 0 446644609 481636352 6285 33554432000 134512640 134534564 4293470592 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13377/statm: 117587 6285 95 6 0 116253 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 1617448

[startup+1182.3 s]
/proc/loadavg: 12.00 11.85 9.67 14/202 13410
/proc/meminfo: memFree=14750196/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4460430052084940800 0 0 17 6 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
[pid=13373] ppid=13368 vsize=1018320 CPUtime=395.38 cores=4
/proc/13373/stat : 13373 (cryptominisat) R 13368 13368 12969 0 -1 4202496 151230 0 0 0 39512 26 0 0 25 0 1 0 446644609 1042759680 45486 33554432000 4194304 4587354 140734488136912 18446744073709551615 4238568 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13373/statm: 254580 45486 337 96 0 251142 0
[pid=13375] ppid=13368 vsize=156708 CPUtime=393.45 cores=4
/proc/13375/stat : 13375 (clasp) R 13368 13368 12969 0 -1 4202496 37401 0 0 0 39336 9 0 0 25 0 1 0 446644609 160468992 35600 33554432000 4194304 4785740 140736137322976 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/13375/statm: 39177 35600 340 145 0 36222 0
[pid=13377] ppid=13368 vsize=470348 CPUtime=393.44 cores=4
/proc/13377/stat : 13377 (TNM) R 13368 13368 12969 0 -1 4202496 6388 0 0 0 39344 0 0 0 25 0 1 0 446644609 481636352 6285 33554432000 134512640 134534564 4293470592 18446744073709551615 134528730 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13377/statm: 117587 6285 95 6 0 116253 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 1663700

[startup+1242.3 s]
/proc/loadavg: 12.00 11.88 9.81 13/202 13415
/proc/meminfo: memFree=14725788/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4460430189523894272 0 0 17 6 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
[pid=13373] ppid=13368 vsize=996220 CPUtime=415.37 cores=4
/proc/13373/stat : 13373 (cryptominisat) R 13368 13368 12969 0 -1 4202496 158698 0 0 0 41510 27 0 0 25 0 1 0 446644609 1020129280 47020 33554432000 4194304 4587354 140734488136912 18446744073709551615 4236760 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13373/statm: 249055 47020 337 96 0 245617 0
[pid=13375] ppid=13368 vsize=157088 CPUtime=413.45 cores=4
/proc/13375/stat : 13375 (clasp) R 13368 13368 12969 0 -1 4202496 37484 0 0 0 41336 9 0 0 25 0 1 0 446644609 160858112 35683 33554432000 4194304 4785740 140736137322976 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/13375/statm: 39272 35683 340 145 0 36317 0
[pid=13377] ppid=13368 vsize=470348 CPUtime=413.44 cores=4
/proc/13377/stat : 13377 (TNM) R 13368 13368 12969 0 -1 4202496 6388 0 0 0 41344 0 0 0 25 0 1 0 446644609 481636352 6285 33554432000 134512640 134534564 4293470592 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13377/statm: 117587 6285 95 6 0 116253 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 1641980



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 12.00 11.89 9.94 9/194 13418
/proc/meminfo: memFree=15328808/32951124 swapFree=67111528/67111528
[pid=13368] ppid=13365 vsize=18324 CPUtime=0 cores=4,6
/proc/13368/stat : 13368 (ppfolio) S 13365 13368 12969 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 446644606 18763776 394 33554432000 4194304 4287625 140736571493312 18446744073709551615 228095471119 0 0 4096 65536 4460429914645987328 0 0 17 6 0 0 0
/proc/13368/statm: 4581 394 345 23 0 91 0
[pid=13373] ppid=13368 vsize=1050356 CPUtime=434.59 cores=4
/proc/13373/stat : 13373 (cryptominisat) R 13368 13368 12969 0 -1 4202496 163115 0 0 0 43430 29 0 0 25 0 1 0 446644609 1075564544 45486 33554432000 4194304 4587354 140734488136912 18446744073709551615 4238573 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/13373/statm: 262589 45486 337 96 0 259151 0
[pid=13375] ppid=13368 vsize=158796 CPUtime=432.65 cores=4
/proc/13375/stat : 13375 (clasp) R 13368 13368 12969 0 -1 4202496 37891 0 0 0 43256 9 0 0 25 0 1 0 446644609 162607104 36090 33554432000 4194304 4785740 140736137322976 18446744073709551615 4287244 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/13375/statm: 39699 36090 340 145 0 36744 0
[pid=13377] ppid=13368 vsize=470348 CPUtime=432.73 cores=4
/proc/13377/stat : 13377 (TNM) R 13368 13368 12969 0 -1 4202496 6388 0 0 0 43273 0 0 0 25 0 1 0 446644609 481636352 6285 33554432000 134512640 134534564 4293470592 18446744073709551615 134529874 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13377/statm: 117587 6285 95 6 0 116253 0
Current children cumulated CPU time (s) 1299.97
Current children cumulated vsize (KiB) 1697824

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

Real time (s): 1300.01
CPU time (s): 1299.97
CPU user time (s): 1299.59
CPU system time (s): 0.38
CPU usage (%): 99.9967
Max. virtual memory (cumulated for all children) (KiB): 2371892

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

runsolver used 2.51862 second user time and 5.45717 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-23 09:04:51
IDJOB=3259710
IDBENCH=71612
IDSOLVER=1613
FILE ID=node142/3259710-1303542291
RUNJOBID= node142-1303542291-13324
PBS_JOBID= 13143096
Free space on /tmp= 71344 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v2400c266431gyes2.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3259710-1303542291/watcher-3259710-1303542291 -o /tmp/evaluation-result-3259710-1303542291/solver-3259710-1303542291 -C 2400 -W 1300 -M 7680  ppfolio --nbcore=1 HOME/instance-3259710-1303542291.cnf

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

MD5SUM BENCH= aac2bd287b8cd6b96cbf7ecc463acf19
RANDOM SEED=1582778572

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16014252 kB
Buffers:       2062112 kB
Cached:       14216944 kB
SwapCached:          0 kB
Active:        6732936 kB
Inactive:      9634544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16014252 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           52980 kB
Writeback:           0 kB
AnonPages:       87844 kB
Mapped:          16416 kB
Slab:           504960 kB
PageTables:       5116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1171816 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= 71340 MiB
End job on node142 at 2011-04-23 09:26:33