Trace number 3249588

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ppfolio seq? (TO) 1300.03 1300.01

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-9x32.cnf
MD5SUMbcc12436eba65ad776b55f23c6f42298
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 variables1152
Number of clauses73440
Sum of the clauses size290304
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21728
Number of clauses of size 30
Number of clauses of size 471712
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) 5
0.00/0.00	Starting clasp 1.3.6 on core(s) 5
0.00/0.00	Starting TNM 2009 on core(s) 5

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

running on 2 cores: 5,7

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.89 7/190 17884
/proc/meminfo: memFree=12772920/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) R 17882 17884 16977 0 -1 4202496 484 0 0 0 0 0 0 0 18 0 1 0 462283642 18763776 392 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500512149 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/17884/statm: 4581 392 343 23 0 91 0

[startup+0.09688 s]
/proc/loadavg: 3.68 3.93 3.89 7/190 17884
/proc/meminfo: memFree=12772920/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 20 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.10087 s]
/proc/loadavg: 3.68 3.93 3.89 7/190 17884
/proc/meminfo: memFree=12772920/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 20 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.30083 s]
/proc/loadavg: 3.68 3.93 3.89 7/190 17884
/proc/meminfo: memFree=12772920/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 20 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700749 s]
/proc/loadavg: 3.68 3.93 3.89 7/190 17884
/proc/meminfo: memFree=12772920/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 20 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50059 s]
/proc/loadavg: 4.11 4.02 3.91 13/202 17901
/proc/meminfo: memFree=12715724/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 17 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 5631466560515211264 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
[pid=17885] ppid=17884 vsize=37968 CPUtime=0.35 cores=5
/proc/17885/stat : 17885 (cryptominisat) R 17884 17884 16977 0 -1 4202496 5749 0 0 0 35 0 0 0 18 0 1 0 462283642 38879232 4418 33554432000 4194304 4587354 140736657369600 18446744073709551615 4388336 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17885/statm: 9492 4418 314 96 0 6054 0
[pid=17886] ppid=17884 vsize=24380 CPUtime=1.11 cores=5
/proc/17886/stat : 17886 (clasp) R 17884 17884 16977 0 -1 4202496 3783 0 0 0 111 0 0 0 18 0 1 0 462283642 24965120 3371 33554432000 4194304 4785740 140736205665776 18446744073709551615 4483126 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17886/statm: 6095 3371 316 145 0 3140 0
[pid=17887] ppid=17884 vsize=452132 CPUtime=0.01 cores=5
/proc/17887/stat : 17887 (TNM) R 17884 17884 16977 0 -1 4202496 348 0 0 0 1 0 0 0 21 0 1 0 462283642 462983168 245 33554432000 134512640 134534564 4287840176 18446744073709551615 134520720 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17887/statm: 113033 245 90 6 0 111699 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 532804

[startup+3.10128 s]
/proc/loadavg: 4.11 4.02 3.91 13/202 17901
/proc/meminfo: memFree=12676912/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 5631467247709978624 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
[pid=17885] ppid=17884 vsize=42928 CPUtime=1.04 cores=5
/proc/17885/stat : 17885 (cryptominisat) R 17884 17884 16977 0 -1 4202496 9178 0 0 0 103 1 0 0 19 0 1 0 462283642 43958272 6239 33554432000 4194304 4587354 140736657369600 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17885/statm: 10732 6239 326 96 0 7294 0
[pid=17886] ppid=17884 vsize=26988 CPUtime=1.82 cores=5
/proc/17886/stat : 17886 (clasp) R 17884 17884 16977 0 -1 4202496 4439 0 0 0 181 1 0 0 19 0 1 0 462283642 27635712 4027 33554432000 4194304 4785740 140736205665776 18446744073709551615 4297344 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17886/statm: 6747 4027 318 145 0 3792 0
[pid=17887] ppid=17884 vsize=457540 CPUtime=0.22 cores=5
/proc/17887/stat : 17887 (TNM) R 17884 17884 16977 0 -1 4202496 1946 0 0 0 22 0 0 0 22 0 1 0 462283642 468520960 1842 33554432000 134512640 134534564 4287840176 18446744073709551615 134524573 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17887/statm: 114385 1842 91 6 0 113051 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 545780

[startup+6.30063 s]
/proc/loadavg: 4.74 4.15 3.96 13/202 17901
/proc/meminfo: memFree=12566336/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
[pid=17885] ppid=17884 vsize=1329404 CPUtime=2.14 cores=5
/proc/17885/stat : 17885 (cryptominisat) R 17884 17884 16977 0 -1 4202496 13786 0 0 0 212 2 0 0 21 0 1 0 462283642 1361309696 8593 33554432000 4194304 4587354 140736657369600 18446744073709551615 4365016 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17885/statm: 332351 8593 337 96 0 328913 0
[pid=17886] ppid=17884 vsize=34720 CPUtime=2.83 cores=5
/proc/17886/stat : 17886 (clasp) R 17884 17884 16977 0 -1 4202496 6540 0 0 0 282 1 0 0 21 0 1 0 462283642 35553280 5984 33554432000 4194304 4785740 140736205665776 18446744073709551615 4549845 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17886/statm: 8680 5984 340 145 0 5725 0
[pid=17887] ppid=17884 vsize=458860 CPUtime=1.3 cores=5
/proc/17887/stat : 17887 (TNM) R 17884 17884 16977 0 -1 4202496 2691 0 0 0 130 0 0 0 25 0 1 0 462283642 469872640 2587 33554432000 134512640 134534564 4287840176 18446744073709551615 134528737 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17887/statm: 114715 2587 95 6 0 113381 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 1841308

[startup+12.7004 s]
/proc/loadavg: 5.32 4.28 4.00 13/202 17901
/proc/meminfo: memFree=12509140/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
[pid=17885] ppid=17884 vsize=1330572 CPUtime=4.24 cores=5
/proc/17885/stat : 17885 (cryptominisat) R 17884 17884 16977 0 -1 4202496 16760 0 0 0 422 2 0 0 25 0 1 0 462283642 1362505728 8633 33554432000 4194304 4587354 140736657369600 18446744073709551615 4365232 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17885/statm: 332643 8633 337 96 0 329205 0
[pid=17886] ppid=17884 vsize=40852 CPUtime=5.01 cores=5
/proc/17886/stat : 17886 (clasp) R 17884 17884 16977 0 -1 4202496 8054 0 0 0 500 1 0 0 25 0 1 0 462283642 41832448 7498 33554432000 4194304 4785740 140736205665776 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17886/statm: 10213 7498 340 145 0 7258 0
[pid=17887] ppid=17884 vsize=462692 CPUtime=3.42 cores=5
/proc/17887/stat : 17887 (TNM) R 17884 17884 16977 0 -1 4202496 2692 0 0 0 342 0 0 0 25 0 1 0 462283642 473796608 2588 33554432000 134512640 134534564 4287840176 18446744073709551615 134528824 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17887/statm: 115673 2588 95 6 0 114339 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1852440

[startup+25.5008 s]
/proc/loadavg: 6.80 4.66 4.13 13/202 17902
/proc/meminfo: memFree=12414952/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 5631467660026839040 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
[pid=17885] ppid=17884 vsize=1344416 CPUtime=8.54 cores=5
/proc/17885/stat : 17885 (cryptominisat) R 17884 17884 16977 0 -1 4202496 22977 0 0 0 851 3 0 0 25 0 1 0 462283642 1376681984 11966 33554432000 4194304 4587354 140736657369600 18446744073709551615 4388352 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17885/statm: 336104 11966 337 96 0 332666 0
[pid=17886] ppid=17884 vsize=48072 CPUtime=9.23 cores=5
/proc/17886/stat : 17886 (clasp) R 17884 17884 16977 0 -1 4202496 9793 0 0 0 921 2 0 0 25 0 1 0 462283642 49225728 9237 33554432000 4194304 4785740 140736205665776 18446744073709551615 4287186 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17886/statm: 12018 9237 340 145 0 9063 0
[pid=17887] ppid=17884 vsize=462692 CPUtime=7.7 cores=5
/proc/17887/stat : 17887 (TNM) R 17884 17884 16977 0 -1 4202496 2692 0 0 0 770 0 0 0 25 0 1 0 462283642 473796608 2588 33554432000 134512640 134534564 4287840176 18446744073709551615 134528708 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17887/statm: 115673 2588 95 6 0 114339 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1873504

[startup+51.1007 s]
/proc/loadavg: 8.57 5.25 4.34 13/202 17902
/proc/meminfo: memFree=12337544/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 5631466148198350848 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
[pid=17885] ppid=17884 vsize=1370432 CPUtime=17.03 cores=5
/proc/17885/stat : 17885 (cryptominisat) R 17884 17884 16977 0 -1 4202496 33968 0 0 0 1699 4 0 0 25 0 1 0 462283642 1403322368 19863 33554432000 4194304 4587354 140736657369600 18446744073709551615 4388336 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17885/statm: 342608 19863 337 96 0 339170 0
[pid=17886] ppid=17884 vsize=56716 CPUtime=17.81 cores=5
/proc/17886/stat : 17886 (clasp) R 17884 17884 16977 0 -1 4202496 11824 0 0 0 1779 2 0 0 25 0 1 0 462283642 58077184 11268 33554432000 4194304 4785740 140736205665776 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17886/statm: 14179 11268 340 145 0 11224 0
[pid=17887] ppid=17884 vsize=462692 CPUtime=16.22 cores=5
/proc/17887/stat : 17887 (TNM) R 17884 17884 16977 0 -1 4202496 2692 0 0 0 1622 0 0 0 25 0 1 0 462283642 473796608 2588 33554432000 134512640 134534564 4287840176 18446744073709551615 134530593 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17887/statm: 115673 2588 95 6 0 114339 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1908164

[startup+102.307 s]
/proc/loadavg: 10.58 6.30 4.74 13/202 17904
/proc/meminfo: memFree=12296868/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 5631466835393118208 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
[pid=17885] ppid=17884 vsize=1335780 CPUtime=34.14 cores=5
/proc/17885/stat : 17885 (cryptominisat) R 17884 17884 16977 0 -1 4202496 35979 0 0 0 3409 5 0 0 25 0 1 0 462283642 1367838720 12115 33554432000 4194304 4587354 140736657369600 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17885/statm: 333945 12115 337 96 0 330507 0
[pid=17886] ppid=17884 vsize=67136 CPUtime=34.85 cores=5
/proc/17886/stat : 17886 (clasp) R 17884 17884 16977 0 -1 4202496 14304 0 0 0 3482 3 0 0 25 0 1 0 462283642 68747264 13748 33554432000 4194304 4785740 140736205665776 18446744073709551615 4287019 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17886/statm: 16784 13748 340 145 0 13829 0
[pid=17887] ppid=17884 vsize=462692 CPUtime=33.3 cores=5
/proc/17887/stat : 17887 (TNM) R 17884 17884 16977 0 -1 4202496 2692 0 0 0 3330 0 0 0 25 0 1 0 462283642 473796608 2588 33554432000 134512640 134534564 4287840176 18446744073709551615 134528708 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17887/statm: 115673 2588 95 6 0 114339 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1883932

[startup+162.301 s]
/proc/loadavg: 11.48 7.34 5.19 13/202 17905
/proc/meminfo: memFree=12108248/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 5631466285637304320 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
[pid=17885] ppid=17884 vsize=1359388 CPUtime=54.13 cores=5
/proc/17885/stat : 17885 (cryptominisat) R 17884 17884 16977 0 -1 4202496 48521 0 0 0 5406 7 0 0 25 0 1 0 462283642 1392013312 17481 33554432000 4194304 4587354 140736657369600 18446744073709551615 4238435 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17885/statm: 339847 17481 337 96 0 336409 0
[pid=17886] ppid=17884 vsize=73660 CPUtime=54.85 cores=5

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

/proc/17887/statm: 115673 2588 95 6 0 114339 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 2000896

[startup+882.301 s]
/proc/loadavg: 12.01 11.60 8.86 13/202 17924
/proc/meminfo: memFree=11706972/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
[pid=17885] ppid=17884 vsize=1358956 CPUtime=294.1 cores=5
/proc/17885/stat : 17885 (cryptominisat) R 17884 17884 16977 0 -1 4202496 213823 0 0 0 29371 39 0 0 25 0 1 0 462283642 1391570944 19484 33554432000 4194304 4587354 140736657369600 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17885/statm: 339739 19484 337 96 0 336301 0
[pid=17886] ppid=17884 vsize=126820 CPUtime=294.87 cores=5
/proc/17886/stat : 17886 (clasp) R 17884 17884 16977 0 -1 4202496 28211 0 0 0 29481 6 0 0 25 0 1 0 462283642 129863680 27655 33554432000 4194304 4785740 140736205665776 18446744073709551615 4546305 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17886/statm: 31705 27655 340 145 0 28750 0
[pid=17887] ppid=17884 vsize=462692 CPUtime=293.35 cores=5
/proc/17887/stat : 17887 (TNM) R 17884 17884 16977 0 -1 4202496 2692 0 0 0 29335 0 0 0 25 0 1 0 462283642 473796608 2588 33554432000 134512640 134534564 4287840176 18446744073709551615 134529777 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17887/statm: 115673 2588 95 6 0 114339 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1966792

[startup+942.301 s]
/proc/loadavg: 12.00 11.67 9.05 13/202 17926
/proc/meminfo: memFree=11881920/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 5631467110271025152 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
[pid=17885] ppid=17884 vsize=1359388 CPUtime=314.09 cores=5
/proc/17885/stat : 17885 (cryptominisat) R 17884 17884 16977 0 -1 4202496 241260 0 0 0 31364 45 0 0 25 0 1 0 462283642 1392013312 17640 33554432000 4194304 4587354 140736657369600 18446744073709551615 4237684 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17885/statm: 339847 17640 337 96 0 336409 0
[pid=17886] ppid=17884 vsize=128796 CPUtime=314.86 cores=5
/proc/17886/stat : 17886 (clasp) R 17884 17884 16977 0 -1 4202496 28603 0 0 0 31480 6 0 0 25 0 1 0 462283642 131887104 28047 33554432000 4194304 4785740 140736205665776 18446744073709551615 4287252 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17886/statm: 32199 28047 340 145 0 29244 0
[pid=17887] ppid=17884 vsize=462692 CPUtime=313.35 cores=5
/proc/17887/stat : 17887 (TNM) R 17884 17884 16977 0 -1 4202496 2692 0 0 0 31335 0 0 0 25 0 1 0 462283642 473796608 2588 33554432000 134512640 134534564 4287840176 18446744073709551615 134528710 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17887/statm: 115673 2588 95 6 0 114339 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 1969200

[startup+1002.3 s]
/proc/loadavg: 12.00 11.73 9.23 13/202 17928
/proc/meminfo: memFree=11873972/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 5631467247709978624 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
[pid=17885] ppid=17884 vsize=1358612 CPUtime=334.1 cores=5
/proc/17885/stat : 17885 (cryptominisat) R 17884 17884 16977 0 -1 4202496 265392 0 0 0 33361 49 0 0 25 0 1 0 462283642 1391218688 18773 33554432000 4194304 4587354 140736657369600 18446744073709551615 4236384 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17885/statm: 339653 18773 337 96 0 336215 0
[pid=17886] ppid=17884 vsize=131284 CPUtime=334.86 cores=5
/proc/17886/stat : 17886 (clasp) R 17884 17884 16977 0 -1 4202496 29175 0 0 0 33480 6 0 0 25 0 1 0 462283642 134434816 28619 33554432000 4194304 4785740 140736205665776 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17886/statm: 32821 28619 340 145 0 29866 0
[pid=17887] ppid=17884 vsize=462692 CPUtime=333.35 cores=5
/proc/17887/stat : 17887 (TNM) R 17884 17884 16977 0 -1 4202496 2692 0 0 0 33335 0 0 0 25 0 1 0 462283642 473796608 2588 33554432000 134512640 134534564 4287840176 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17887/statm: 115673 2588 95 6 0 114339 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1970912

[startup+1062.3 s]
/proc/loadavg: 12.00 11.77 9.40 13/202 17929
/proc/meminfo: memFree=11782936/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 5631467385148932096 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
[pid=17885] ppid=17884 vsize=1360024 CPUtime=354.11 cores=5
/proc/17885/stat : 17885 (cryptominisat) R 17884 17884 16977 0 -1 4202496 288921 0 0 0 35356 55 0 0 25 0 1 0 462283642 1392664576 18642 33554432000 4194304 4587354 140736657369600 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17885/statm: 340006 18642 337 96 0 336568 0
[pid=17886] ppid=17884 vsize=133344 CPUtime=354.87 cores=5
/proc/17886/stat : 17886 (clasp) R 17884 17884 16977 0 -1 4202496 29626 0 0 0 35480 7 0 0 25 0 1 0 462283642 136544256 29070 33554432000 4194304 4785740 140736205665776 18446744073709551615 4287244 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17886/statm: 33336 29070 340 145 0 30381 0
[pid=17887] ppid=17884 vsize=462692 CPUtime=353.35 cores=5
/proc/17887/stat : 17887 (TNM) R 17884 17884 16977 0 -1 4202496 2692 0 0 0 35335 0 0 0 25 0 1 0 462283642 473796608 2588 33554432000 134512640 134534564 4287840176 18446744073709551615 134528275 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17887/statm: 115673 2588 95 6 0 114339 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1974384

[startup+1122.3 s]
/proc/loadavg: 12.09 11.84 9.57 13/202 17931
/proc/meminfo: memFree=11798544/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 5631467660026839040 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
[pid=17885] ppid=17884 vsize=1359100 CPUtime=374.12 cores=5
/proc/17885/stat : 17885 (cryptominisat) R 17884 17884 16977 0 -1 4202496 312507 0 0 0 37350 62 0 0 25 0 1 0 462283642 1391718400 17890 33554432000 4194304 4587354 140736657369600 18446744073709551615 4238481 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17885/statm: 339775 17890 337 96 0 336337 0
[pid=17886] ppid=17884 vsize=137620 CPUtime=374.86 cores=5
/proc/17886/stat : 17886 (clasp) R 17884 17884 16977 0 -1 4202496 30651 0 0 0 37479 7 0 0 25 0 1 0 462283642 140922880 30095 33554432000 4194304 4785740 140736205665776 18446744073709551615 254500389506 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17886/statm: 34405 30095 340 145 0 31450 0
[pid=17887] ppid=17884 vsize=462692 CPUtime=373.35 cores=5
/proc/17887/stat : 17887 (TNM) R 17884 17884 16977 0 -1 4202496 2692 0 0 0 37335 0 0 0 25 0 1 0 462283642 473796608 2588 33554432000 134512640 134534564 4287840176 18446744073709551615 134528708 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17887/statm: 115673 2588 95 6 0 114339 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1977736

[startup+1182.3 s]
/proc/loadavg: 12.03 11.87 9.72 13/202 17932
/proc/meminfo: memFree=11788604/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 5631466972832071680 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
[pid=17885] ppid=17884 vsize=1432588 CPUtime=394.13 cores=5
/proc/17885/stat : 17885 (cryptominisat) R 17884 17884 16977 0 -1 4202496 346619 0 0 0 39345 68 0 0 25 0 1 0 462283642 1466970112 35447 33554432000 4194304 4587354 140736657369600 18446744073709551615 4388345 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17885/statm: 358147 35447 337 96 0 354709 0
[pid=17886] ppid=17884 vsize=139940 CPUtime=394.86 cores=5
/proc/17886/stat : 17886 (clasp) R 17884 17884 16977 0 -1 4202496 31172 0 0 0 39479 7 0 0 25 0 1 0 462283642 143298560 30616 33554432000 4194304 4785740 140736205665776 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17886/statm: 34985 30616 340 145 0 32030 0
[pid=17887] ppid=17884 vsize=462692 CPUtime=393.34 cores=5
/proc/17887/stat : 17887 (TNM) R 17884 17884 16977 0 -1 4202496 2692 0 0 0 39334 0 0 0 25 0 1 0 462283642 473796608 2588 33554432000 134512640 134534564 4287840176 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17887/statm: 115673 2588 95 6 0 114339 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2053544

[startup+1242.3 s]
/proc/loadavg: 12.08 11.91 9.87 13/202 17934
/proc/meminfo: memFree=11720768/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 5631466972832071680 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
[pid=17885] ppid=17884 vsize=1452256 CPUtime=414.13 cores=5
/proc/17885/stat : 17885 (cryptominisat) R 17884 17884 16977 0 -1 4202496 350719 0 0 0 41345 68 0 0 25 0 1 0 462283642 1487110144 39547 33554432000 4194304 4587354 140736657369600 18446744073709551615 4388336 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17885/statm: 363064 39547 337 96 0 359626 0
[pid=17886] ppid=17884 vsize=141220 CPUtime=414.85 cores=5
/proc/17886/stat : 17886 (clasp) R 17884 17884 16977 0 -1 4202496 31503 0 0 0 41478 7 0 0 25 0 1 0 462283642 144609280 30947 33554432000 4194304 4785740 140736205665776 18446744073709551615 4287024 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17886/statm: 35305 30947 340 145 0 32350 0
[pid=17887] ppid=17884 vsize=462692 CPUtime=413.34 cores=5
/proc/17887/stat : 17887 (TNM) R 17884 17884 16977 0 -1 4202496 2692 0 0 0 41334 0 0 0 25 0 1 0 462283642 473796608 2588 33554432000 134512640 134534564 4287840176 18446744073709551615 134530598 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17887/statm: 115673 2588 95 6 0 114339 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2074492



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 11.59 11.84 9.97 7/192 17938
/proc/meminfo: memFree=12476600/32950928 swapFree=67111528/67111528
[pid=17884] ppid=17882 vsize=18324 CPUtime=0 cores=5,7
/proc/17884/stat : 17884 (ppfolio) S 17882 17884 16977 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 462283642 18763776 394 33554432000 4194304 4287625 140737349362928 18446744073709551615 254500711951 0 0 4096 65536 0 0 0 17 7 0 0 0
/proc/17884/statm: 4581 394 345 23 0 91 0
[pid=17885] ppid=17884 vsize=1376440 CPUtime=433.37 cores=5
/proc/17885/stat : 17885 (cryptominisat) R 17884 17884 16977 0 -1 4202496 351942 0 0 0 43268 69 0 0 25 0 1 0 462283642 1409474560 23687 33554432000 4194304 4587354 140736657369600 18446744073709551615 4243858 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17885/statm: 344110 23687 337 96 0 340672 0
[pid=17886] ppid=17884 vsize=142076 CPUtime=434.12 cores=5
/proc/17886/stat : 17886 (clasp) R 17884 17884 16977 0 -1 4202496 31665 0 0 0 43405 7 0 0 25 0 1 0 462283642 145485824 31109 33554432000 4194304 4785740 140736205665776 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/17886/statm: 35519 31109 340 145 0 32564 0
[pid=17887] ppid=17884 vsize=462692 CPUtime=432.54 cores=5
/proc/17887/stat : 17887 (TNM) R 17884 17884 16977 0 -1 4202496 2692 0 0 0 43254 0 0 0 25 0 1 0 462283642 473796608 2588 33554432000 134512640 134534564 4287840176 18446744073709551615 4036081 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17887/statm: 115673 2588 95 6 0 114339 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 1999532

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

Real time (s): 1300.01
CPU time (s): 1300.03
CPU user time (s): 1299.27
CPU system time (s): 0.76
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 3274084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002999
system time used= 0.002999
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= 279
involuntary context switches= 3

runsolver used 2.03269 second user time and 5.10022 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-22 23:14:30
IDJOB=3249588
IDBENCH=83177
IDSOLVER=1613
FILE ID=node149/3249588-1303506869
RUNJOBID= node149-1303506867-17699
PBS_JOBID= 13134233
Free space on /tmp= 72108 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-9x32.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3249588-1303506869/watcher-3249588-1303506869 -o /tmp/evaluation-result-3249588-1303506869/solver-3249588-1303506869 -C 2400 -W 1300 -M 7680  ppfolio --nbcore=1 HOME/instance-3249588-1303506869.cnf

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

MD5SUM BENCH= bcc12436eba65ad776b55f23c6f42298
RANDOM SEED=63672639

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.806
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.806
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:     32950928 kB
MemFree:      12773200 kB
Buffers:       1795800 kB
Cached:       17634436 kB
SwapCached:          0 kB
Active:        9477676 kB
Inactive:     10161544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12773200 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           44060 kB
Writeback:           0 kB
AnonPages:      208440 kB
Mapped:          16784 kB
Slab:           474212 kB
PageTables:       5332 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1309264 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= 72096 MiB
End job on node149 at 2011-04-22 23:36:12