Trace number 3275392

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ppfolio seq? (TO) 5000.06 4999.93

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-17x30.cnf
MD5SUM3a506c7557d86d0d326e3b3cdee85b69
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 variables2040
Number of clauses240210
Sum of the clauses size954720
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23060
Number of clauses of size 30
Number of clauses of size 4237150
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

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

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3275392-1303643401/watcher-3275392-1303643401 -o /tmp/evaluation-result-3275392-1303643401/solver-3275392-1303643401 -C 5000 -W 5100 -M 15500 ppfolio --nbcore=1 HOME/instance-3275392-1303643401.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 6.00 6.00 5.95 5/180 21500
/proc/meminfo: memFree=14264320/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18320 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) R 21498 21500 21057 0 -1 4194304 411 0 0 0 0 0 0 0 18 0 1 0 554570759 18759680 347 33554432000 4194304 4287625 140736518494064 18446744073709551615 47688704300128 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/21500/statm: 4580 350 303 23 0 90 0

[startup+0.02614 s]
/proc/loadavg: 6.00 6.00 5.95 5/180 21500
/proc/meminfo: memFree=14264320/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 499 0 0 0 0 0 0 0 18 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 13442212725455290632 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.101131 s]
/proc/loadavg: 6.00 6.00 5.95 5/180 21500
/proc/meminfo: memFree=14264320/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 499 0 0 0 0 0 0 0 18 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 13442212725455290632 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.301095 s]
/proc/loadavg: 6.00 6.00 5.95 5/180 21500
/proc/meminfo: memFree=14264320/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 499 0 0 0 0 0 0 0 18 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 13442212725455290632 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.701013 s]
/proc/loadavg: 6.00 6.00 5.95 5/180 21500
/proc/meminfo: memFree=14264320/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 499 0 0 0 0 0 0 0 18 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 13442212725455290632 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50088 s]
/proc/loadavg: 5.92 5.98 5.95 7/184 21504
/proc/meminfo: memFree=14209232/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
[pid=21502] ppid=21500 vsize=34828 CPUtime=0.13 cores=1
/proc/21502/stat : 21502 (cryptominisat) R 21500 21500 21057 0 -1 4202496 4949 0 0 0 13 0 0 0 18 0 1 0 554570759 35663872 4835 33554432000 4194304 4587354 140737336146320 18446744073709551615 4238503 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21502/statm: 8707 4835 305 96 0 5269 0
[pid=21503] ppid=21500 vsize=32924 CPUtime=0.53 cores=1
/proc/21503/stat : 21503 (clasp) R 21500 21500 21057 0 -1 4202496 6609 0 0 0 52 1 0 0 18 0 1 0 554570759 33714176 5332 33554432000 4194304 4785740 140736601649568 18446744073709551615 4495520 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21503/statm: 8231 5332 313 145 0 5276 0
[pid=21504] ppid=21500 vsize=470476 CPUtime=0.8 cores=1
/proc/21504/stat : 21504 (TNM) R 21500 21500 21057 0 -1 4202496 5853 0 0 0 79 1 0 0 19 0 1 0 554570759 481767424 5750 33554432000 134512640 134534564 4290752592 18446744073709551615 134524508 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21504/statm: 117619 5750 91 6 0 116285 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 556552

[startup+3.10058 s]
/proc/loadavg: 5.92 5.98 5.95 7/184 21505
/proc/meminfo: memFree=14201076/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
[pid=21502] ppid=21500 vsize=36544 CPUtime=0.85 cores=1
/proc/21502/stat : 21502 (cryptominisat) R 21500 21500 21057 0 -1 4202496 5395 0 0 0 84 1 0 0 19 0 1 0 554570759 37421056 5281 33554432000 4194304 4587354 140737336146320 18446744073709551615 4238591 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21502/statm: 9136 5281 305 96 0 5698 0
[pid=21503] ppid=21500 vsize=32924 CPUtime=1.32 cores=1
/proc/21503/stat : 21503 (clasp) R 21500 21500 21057 0 -1 4202496 6637 0 0 0 131 1 0 0 19 0 1 0 554570759 33714176 5360 33554432000 4194304 4785740 140736601649568 18446744073709551615 4483001 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21503/statm: 8231 5360 316 145 0 5276 0
[pid=21504] ppid=21500 vsize=470476 CPUtime=0.9 cores=1
/proc/21504/stat : 21504 (TNM) R 21500 21500 21057 0 -1 4202496 5853 0 0 0 89 1 0 0 19 0 1 0 554570759 481767424 5750 33554432000 134512640 134534564 4290752592 18446744073709551615 134524573 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21504/statm: 117619 5750 91 6 0 116285 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 558268

[startup+6.30096 s]
/proc/loadavg: 5.93 5.98 5.95 7/184 21505
/proc/meminfo: memFree=14171460/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 11520195752185823232 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
[pid=21502] ppid=21500 vsize=63384 CPUtime=1.94 cores=1
/proc/21502/stat : 21502 (cryptominisat) R 21500 21500 21057 0 -1 4202496 14703 0 0 0 192 2 0 0 21 0 1 0 554570759 64905216 11689 33554432000 4194304 4587354 140737336146320 18446744073709551615 4388248 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21502/statm: 15846 11689 314 96 0 12408 0
[pid=21503] ppid=21500 vsize=36752 CPUtime=2.33 cores=1
/proc/21503/stat : 21503 (clasp) R 21500 21500 21057 0 -1 4202496 7582 0 0 0 232 1 0 0 21 0 1 0 554570759 37634048 6305 33554432000 4194304 4785740 140736601649568 18446744073709551615 4484129 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21503/statm: 9188 6305 316 145 0 6233 0
[pid=21504] ppid=21500 vsize=470476 CPUtime=2 cores=1
/proc/21504/stat : 21504 (TNM) R 21500 21500 21057 0 -1 4202496 5853 0 0 0 199 1 0 0 21 0 1 0 554570759 481767424 5750 33554432000 134512640 134534564 4290752592 18446744073709551615 134524586 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21504/statm: 117619 5750 91 6 0 116285 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 588936

[startup+12.7007 s]
/proc/loadavg: 5.93 5.98 5.95 7/184 21505
/proc/meminfo: memFree=14147644/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 11520195889624776704 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
[pid=21502] ppid=21500 vsize=124236 CPUtime=4.05 cores=1
/proc/21502/stat : 21502 (cryptominisat) R 21500 21500 21057 0 -1 4202496 23539 0 0 0 402 3 0 0 25 0 1 0 554570759 127217664 16590 33554432000 4194304 4587354 140737336146320 18446744073709551615 4232120 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21502/statm: 31059 16590 322 96 0 27621 0
[pid=21503] ppid=21500 vsize=43616 CPUtime=4.51 cores=1
/proc/21503/stat : 21503 (clasp) R 21500 21500 21057 0 -1 4202496 9298 0 0 0 450 1 0 0 25 0 1 0 554570759 44662784 8021 33554432000 4194304 4785740 140736601649568 18446744073709551615 4482821 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21503/statm: 10904 8021 316 145 0 7949 0
[pid=21504] ppid=21500 vsize=470476 CPUtime=4.1 cores=1
/proc/21504/stat : 21504 (TNM) R 21500 21500 21057 0 -1 4202496 5853 0 0 0 409 1 0 0 25 0 1 0 554570759 481767424 5750 33554432000 134512640 134534564 4290752592 18446744073709551615 134524745 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21504/statm: 117619 5750 91 6 0 116285 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 656652

[startup+25.5013 s]
/proc/loadavg: 5.95 5.98 5.95 7/184 21505
/proc/meminfo: memFree=14111232/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
[pid=21502] ppid=21500 vsize=134320 CPUtime=8.94 cores=1
/proc/21502/stat : 21502 (cryptominisat) R 21500 21500 21057 0 -1 4202496 35681 0 0 0 889 5 0 0 25 0 1 0 554570759 137543680 22790 33554432000 4194304 4587354 140737336146320 18446744073709551615 4364704 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21502/statm: 33580 22790 337 96 0 30142 0
[pid=21503] ppid=21500 vsize=51540 CPUtime=8.43 cores=1
/proc/21503/stat : 21503 (clasp) R 21500 21500 21057 0 -1 4202496 11288 0 0 0 841 2 0 0 25 0 1 0 554570759 52776960 10011 33554432000 4194304 4785740 140736601649568 18446744073709551615 4482824 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21503/statm: 12885 10011 316 145 0 9930 0
[pid=21504] ppid=21500 vsize=470476 CPUtime=8.1 cores=1
/proc/21504/stat : 21504 (TNM) R 21500 21500 21057 0 -1 4202496 5853 0 0 0 809 1 0 0 25 0 1 0 554570759 481767424 5750 33554432000 134512640 134534564 4290752592 18446744073709551615 134524727 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21504/statm: 117619 5750 91 6 0 116285 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 674660

[startup+51.1005 s]
/proc/loadavg: 5.96 5.98 5.95 7/184 21506
/proc/meminfo: memFree=14055296/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 11520196576819544064 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
[pid=21502] ppid=21500 vsize=462464 CPUtime=17.43 cores=1
/proc/21502/stat : 21502 (cryptominisat) R 21500 21500 21057 0 -1 4202496 55133 0 0 0 1736 7 0 0 25 0 1 0 554570759 473563136 27967 33554432000 4194304 4587354 140737336146320 18446744073709551615 4388368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21502/statm: 115616 27967 337 96 0 112178 0
[pid=21503] ppid=21500 vsize=78060 CPUtime=17.01 cores=1
/proc/21503/stat : 21503 (clasp) R 21500 21500 21057 0 -1 4202496 18411 0 0 0 1698 3 0 0 25 0 1 0 554570759 79933440 16664 33554432000 4194304 4785740 140736601649568 18446744073709551615 4553380 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21503/statm: 19515 16664 340 145 0 16560 0
[pid=21504] ppid=21500 vsize=478544 CPUtime=16.62 cores=1
/proc/21504/stat : 21504 (TNM) R 21500 21500 21057 0 -1 4202496 8133 0 0 0 1661 1 0 0 25 0 1 0 554570759 490029056 8030 33554432000 134512640 134534564 4290752592 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21504/statm: 119636 8030 95 6 0 118302 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1037392

[startup+102.307 s]
/proc/loadavg: 5.98 5.98 5.95 7/184 21507
/proc/meminfo: memFree=13995336/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 11520195477307916288 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
[pid=21502] ppid=21500 vsize=476536 CPUtime=34.54 cores=1
/proc/21502/stat : 21502 (cryptominisat) R 21500 21500 21057 0 -1 4202496 81513 0 0 0 3442 12 0 0 25 0 1 0 554570759 487972864 33650 33554432000 4194304 4587354 140737336146320 18446744073709551615 4388336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21502/statm: 119134 33650 337 96 0 115696 0
[pid=21503] ppid=21500 vsize=109624 CPUtime=34.04 cores=1
/proc/21503/stat : 21503 (clasp) R 21500 21500 21057 0 -1 4202496 26088 0 0 0 3399 5 0 0 25 0 1 0 554570759 112254976 24341 33554432000 4194304 4785740 140736601649568 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21503/statm: 27406 24341 340 145 0 24451 0
[pid=21504] ppid=21500 vsize=478544 CPUtime=33.7 cores=1
/proc/21504/stat : 21504 (TNM) R 21500 21500 21057 0 -1 4202496 8133 0 0 0 3369 1 0 0 25 0 1 0 554570759 490029056 8030 33554432000 134512640 134534564 4290752592 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21504/statm: 119636 8030 95 6 0 118302 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1083028

[startup+162.3 s]
/proc/loadavg: 5.99 5.98 5.95 8/184 21509
/proc/meminfo: memFree=13967280/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 11520196027063730176 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
[pid=21502] ppid=21500 vsize=501192 CPUtime=54.53 cores=1
/proc/21502/stat : 21502 (cryptominisat) R 21500 21500 21057 0 -1 4202496 110502 0 0 0 5437 16 0 0 25 0 1 0 554570759 513220608 38718 33554432000 4194304 4587354 140737336146320 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21502/statm: 125298 38718 337 96 0 121860 0
[pid=21503] ppid=21500 vsize=123496 CPUtime=54.04 cores=1

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

/proc/21504/statm: 119636 8030 95 6 0 118302 0
Current children cumulated CPU time (s) 4542.44
Current children cumulated vsize (KiB) 1608244

[startup+4602.3 s]
/proc/loadavg: 6.01 6.00 6.00 7/184 21700
/proc/meminfo: memFree=12909724/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 11520196027063730176 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
[pid=21502] ppid=21500 vsize=770888 CPUtime=1534.59 cores=1
/proc/21502/stat : 21502 (cryptominisat) R 21500 21500 21057 0 -1 4202496 2277890 0 0 0 153062 397 0 0 25 0 1 0 554570759 789389312 110910 33554432000 4194304 4587354 140737336146320 18446744073709551615 4365356 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21502/statm: 192722 110910 337 96 0 189284 0
[pid=21503] ppid=21500 vsize=341768 CPUtime=1534.08 cores=1
/proc/21503/stat : 21503 (clasp) R 21500 21500 21057 0 -1 4202496 80161 0 0 0 153393 15 0 0 25 0 1 0 554570759 349970432 78414 33554432000 4194304 4785740 140736601649568 18446744073709551615 4286964 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21503/statm: 85442 78414 340 145 0 82487 0
[pid=21504] ppid=21500 vsize=478544 CPUtime=1533.77 cores=1
/proc/21504/stat : 21504 (TNM) R 21500 21500 21057 0 -1 4202496 8133 0 0 0 153376 1 0 0 25 0 1 0 554570759 490029056 8030 33554432000 134512640 134534564 4290752592 18446744073709551615 134528737 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21504/statm: 119636 8030 95 6 0 118302 0
Current children cumulated CPU time (s) 4602.44
Current children cumulated vsize (KiB) 1609524

[startup+4662.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 21702
/proc/meminfo: memFree=13223668/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
[pid=21502] ppid=21500 vsize=448120 CPUtime=1554.6 cores=1
/proc/21502/stat : 21502 (cryptominisat) R 21500 21500 21057 0 -1 4202496 2296536 0 0 0 155057 403 0 0 25 0 1 0 554570759 458874880 33950 33554432000 4194304 4587354 140737336146320 18446744073709551615 4238418 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21502/statm: 112030 33950 337 96 0 108592 0
[pid=21503] ppid=21500 vsize=345128 CPUtime=1554.08 cores=1
/proc/21503/stat : 21503 (clasp) R 21500 21500 21057 0 -1 4202496 80927 0 0 0 155393 15 0 0 25 0 1 0 554570759 353411072 79180 33554432000 4194304 4785740 140736601649568 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21503/statm: 86282 79180 340 145 0 83327 0
[pid=21504] ppid=21500 vsize=478544 CPUtime=1553.76 cores=1
/proc/21504/stat : 21504 (TNM) R 21500 21500 21057 0 -1 4202496 8133 0 0 0 155375 1 0 0 25 0 1 0 554570759 490029056 8030 33554432000 134512640 134534564 4290752592 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21504/statm: 119636 8030 95 6 0 118302 0
Current children cumulated CPU time (s) 4662.44
Current children cumulated vsize (KiB) 1290116

[startup+4722.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 21703
/proc/meminfo: memFree=13227116/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
[pid=21502] ppid=21500 vsize=449712 CPUtime=1574.6 cores=1
/proc/21502/stat : 21502 (cryptominisat) R 21500 21500 21057 0 -1 4202496 2330092 0 0 0 157050 410 0 0 25 0 1 0 554570759 460505088 28919 33554432000 4194304 4587354 140737336146320 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21502/statm: 112428 28919 337 96 0 108990 0
[pid=21503] ppid=21500 vsize=345128 CPUtime=1574.08 cores=1
/proc/21503/stat : 21503 (clasp) R 21500 21500 21057 0 -1 4202496 80933 0 0 0 157393 15 0 0 25 0 1 0 554570759 353411072 79186 33554432000 4194304 4785740 140736601649568 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21503/statm: 86282 79186 340 145 0 83327 0
[pid=21504] ppid=21500 vsize=478544 CPUtime=1573.76 cores=1
/proc/21504/stat : 21504 (TNM) R 21500 21500 21057 0 -1 4202496 8133 0 0 0 157375 1 0 0 25 0 1 0 554570759 490029056 8030 33554432000 134512640 134534564 4290752592 18446744073709551615 134528737 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21504/statm: 119636 8030 95 6 0 118302 0
Current children cumulated CPU time (s) 4722.44
Current children cumulated vsize (KiB) 1291708

[startup+4782.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 21705
/proc/meminfo: memFree=13204664/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 0 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
[pid=21502] ppid=21500 vsize=449660 CPUtime=1594.59 cores=1
/proc/21502/stat : 21502 (cryptominisat) R 21500 21500 21057 0 -1 4202496 2355961 0 0 0 159045 414 0 0 25 0 1 0 554570759 460451840 35331 33554432000 4194304 4587354 140737336146320 18446744073709551615 4244512 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21502/statm: 112415 35331 337 96 0 108977 0
[pid=21503] ppid=21500 vsize=349184 CPUtime=1594.09 cores=1
/proc/21503/stat : 21503 (clasp) R 21500 21500 21057 0 -1 4202496 81724 0 0 0 159394 15 0 0 25 0 1 0 554570759 357564416 79977 33554432000 4194304 4785740 140736601649568 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21503/statm: 87296 79977 340 145 0 84341 0
[pid=21504] ppid=21500 vsize=478544 CPUtime=1593.76 cores=1
/proc/21504/stat : 21504 (TNM) R 21500 21500 21057 0 -1 4202496 8133 0 0 0 159375 1 0 0 25 0 1 0 554570759 490029056 8030 33554432000 134512640 134534564 4290752592 18446744073709551615 134529640 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21504/statm: 119636 8030 95 6 0 118302 0
Current children cumulated CPU time (s) 4782.44
Current children cumulated vsize (KiB) 1295712

[startup+4842.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 21707
/proc/meminfo: memFree=13208100/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 11520196714258497536 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
[pid=21502] ppid=21500 vsize=552148 CPUtime=1614.59 cores=1
/proc/21502/stat : 21502 (cryptominisat) R 21500 21500 21057 0 -1 4202496 2389672 0 0 0 161037 422 0 0 25 0 1 0 554570759 565399552 29845 33554432000 4194304 4587354 140737336146320 18446744073709551615 4238503 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21502/statm: 138037 29845 337 96 0 134599 0
[pid=21503] ppid=21500 vsize=353168 CPUtime=1614.09 cores=1
/proc/21503/stat : 21503 (clasp) R 21500 21500 21057 0 -1 4202496 82587 0 0 0 161394 15 0 0 25 0 1 0 554570759 361644032 80840 33554432000 4194304 4785740 140736601649568 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21503/statm: 88292 80840 340 145 0 85337 0
[pid=21504] ppid=21500 vsize=478544 CPUtime=1613.76 cores=1
/proc/21504/stat : 21504 (TNM) R 21500 21500 21057 0 -1 4202496 8133 0 0 0 161375 1 0 0 25 0 1 0 554570759 490029056 8030 33554432000 134512640 134534564 4290752592 18446744073709551615 134528687 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21504/statm: 119636 8030 95 6 0 118302 0
Current children cumulated CPU time (s) 4842.44
Current children cumulated vsize (KiB) 1402184

[startup+4902.31 s]
/proc/loadavg: 6.06 6.01 6.00 7/184 21708
/proc/meminfo: memFree=13198152/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 11520196714258497536 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
[pid=21502] ppid=21500 vsize=450260 CPUtime=1634.59 cores=1
/proc/21502/stat : 21502 (cryptominisat) R 21500 21500 21057 0 -1 4202496 2415436 0 0 0 163031 428 0 0 25 0 1 0 554570759 461066240 35810 33554432000 4194304 4587354 140737336146320 18446744073709551615 4238628 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21502/statm: 112565 35810 337 96 0 109127 0
[pid=21503] ppid=21500 vsize=355528 CPUtime=1634.11 cores=1
/proc/21503/stat : 21503 (clasp) R 21500 21500 21057 0 -1 4202496 83152 0 0 0 163396 15 0 0 25 0 1 0 554570759 364060672 81405 33554432000 4194304 4785740 140736601649568 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21503/statm: 88882 81405 340 145 0 85927 0
[pid=21504] ppid=21500 vsize=478544 CPUtime=1633.75 cores=1
/proc/21504/stat : 21504 (TNM) R 21500 21500 21057 0 -1 4202496 8133 0 0 0 163374 1 0 0 25 0 1 0 554570759 490029056 8030 33554432000 134512640 134534564 4290752592 18446744073709551615 134528302 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21504/statm: 119636 8030 95 6 0 118302 0
Current children cumulated CPU time (s) 4902.45
Current children cumulated vsize (KiB) 1302656

[startup+4962.3 s]
/proc/loadavg: 6.08 6.03 6.00 7/184 21710
/proc/meminfo: memFree=13204084/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 11520196714258497536 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
[pid=21502] ppid=21500 vsize=450224 CPUtime=1654.59 cores=1
/proc/21502/stat : 21502 (cryptominisat) R 21500 21500 21057 0 -1 4202496 2448726 0 0 0 165024 435 0 0 25 0 1 0 554570759 461029376 29472 33554432000 4194304 4587354 140737336146320 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21502/statm: 112556 29472 337 96 0 109118 0
[pid=21503] ppid=21500 vsize=360452 CPUtime=1654.11 cores=1
/proc/21503/stat : 21503 (clasp) R 21500 21500 21057 0 -1 4202496 84325 0 0 0 165396 15 0 0 25 0 1 0 554570759 369102848 82578 33554432000 4194304 4785740 140736601649568 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21503/statm: 90113 82578 340 145 0 87158 0
[pid=21504] ppid=21500 vsize=478544 CPUtime=1653.75 cores=1
/proc/21504/stat : 21504 (TNM) R 21500 21500 21057 0 -1 4202496 8133 0 0 0 165374 1 0 0 25 0 1 0 554570759 490029056 8030 33554432000 134512640 134534564 4290752592 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21504/statm: 119636 8030 95 6 0 118302 0
Current children cumulated CPU time (s) 4962.45
Current children cumulated vsize (KiB) 1307544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 6.04 6.02 6.00 7/184 21711
/proc/meminfo: memFree=13200228/32950928 swapFree=67111524/67111528
[pid=21500] ppid=21498 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/21500/stat : 21500 (ppfolio) S 21498 21500 21057 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 554570759 18763776 394 33554432000 4194304 4287625 140736518494064 18446744073709551615 256415411727 0 0 4096 65536 11520196714258497536 0 0 17 3 0 0 0
/proc/21500/statm: 4581 394 345 23 0 91 0
[pid=21502] ppid=21500 vsize=450540 CPUtime=1667.09 cores=1
/proc/21502/stat : 21502 (cryptominisat) R 21500 21500 21057 0 -1 4202496 2467372 0 0 0 166270 439 0 0 25 0 1 0 554570759 461352960 28128 33554432000 4194304 4587354 140737336146320 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21502/statm: 112635 28128 337 96 0 109197 0
[pid=21503] ppid=21500 vsize=360452 CPUtime=1666.66 cores=1
/proc/21503/stat : 21503 (clasp) R 21500 21500 21057 0 -1 4202496 84340 0 0 0 166651 15 0 0 25 0 1 0 554570759 369102848 82593 33554432000 4194304 4785740 140736601649568 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/21503/statm: 90113 82593 340 145 0 87158 0
[pid=21504] ppid=21500 vsize=478544 CPUtime=1666.31 cores=1
/proc/21504/stat : 21504 (TNM) R 21500 21500 21057 0 -1 4202496 8133 0 0 0 166630 1 0 0 25 0 1 0 554570759 490029056 8030 33554432000 134512640 134534564 4290752592 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21504/statm: 119636 8030 95 6 0 118302 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 1307860

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 21500 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=6998
# CPU time returned by wait4() is 0.008997
# while last known CPU time is 5000.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 4999.93
CPU time (s): 5000.06
CPU user time (s): 4995.51
CPU system time (s): 4.55
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1765280

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

runsolver used 8.09677 second user time and 19.1761 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-24 13:10:01
IDJOB=3275392
IDBENCH=83172
IDSOLVER=1639
FILE ID=node115/3275392-1303643401
RUNJOBID= node115-1303635251-21076
PBS_JOBID= 13150733
Free space on /tmp= 72664 MiB

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

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

MD5SUM BENCH= 3a506c7557d86d0d326e3b3cdee85b69
RANDOM SEED=632950428

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14264600 kB
Buffers:       2283304 kB
Cached:       15651596 kB
SwapCached:          4 kB
Active:        7382680 kB
Inactive:     10750020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14264600 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           15720 kB
Writeback:           0 kB
AnonPages:      197196 kB
Mapped:          16452 kB
Slab:           489296 kB
PageTables:       4796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1894488 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= 72652 MiB
End job on node115 at 2011-04-24 14:33:23