Trace number 3250027

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 par? (TO) 4800.29 1202.42

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-16-16-unsat.cnf
MD5SUMc07743bac800f91e403382f26717b1d0
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 variables256
Number of clauses2176
Sum of the clauses size7936
Maximum clause length16
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21920
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5256

Solver Data 

0.00/0.80	This is pico-portfolio, a naive parallel portfolio
0.00/0.80	Copyright (C) 2011 Olivier Roussel
0.00/0.80	Using 4 processing units
0.00/0.80	This portfolio uses the following solvers:
0.00/0.80	[1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.80	[2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.80	[3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.80	[4] lingeling 276-6264d55-100731 (Armin Biere)
0.00/0.80	[5] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.80	Starting cryptominisat 2.7.1 on core(s) 1
0.00/0.80	Starting clasp 1.3.6 on core(s) 5
0.00/0.80	Starting TNM 2009 on core(s) 7
0.00/0.80	Starting lingeling 276-6264d55-100731 on core(s) 3
0.00/0.80	Starting march_hi 2009 on core(s) 7

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-3250027-1304085310/watcher-3250027-1304085310 -o /tmp/evaluation-result-3250027-1304085310/solver-3250027-1304085310 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3250027-1304085310.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 9.93 10.10 9.92 6/180 7430
/proc/meminfo: memFree=16448792/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) R 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 23 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0

[startup+1.06798 s]
/proc/loadavg: 9.93 10.10 9.92 6/180 7430
/proc/meminfo: memFree=16448792/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) S 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 21 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 13905375126708289535 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.16796 s]
/proc/loadavg: 9.93 10.10 9.92 6/180 7430
/proc/meminfo: memFree=16448792/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) S 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 21 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 13905375126708289535 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.20095 s]
/proc/loadavg: 9.93 10.10 9.92 6/180 7430
/proc/meminfo: memFree=16448792/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) S 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 21 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 13905375126708289535 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.36793 s]
/proc/loadavg: 9.93 10.10 9.92 6/180 7430
/proc/meminfo: memFree=16448792/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) S 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 19 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 13905375126708289535 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.56789 s]
/proc/loadavg: 9.93 10.10 9.92 6/180 7430
/proc/meminfo: memFree=16448792/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) S 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 19 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 13905375126708289535 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+3.10064 s]
/proc/loadavg: 9.94 10.10 9.92 12/186 7436
/proc/meminfo: memFree=16405596/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) S 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 13905375126708289535 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0
[pid=7431] ppid=7430 vsize=1479068 CPUtime=3.09 cores=1
/proc/7431/stat : 7431 (cryptominisat) R 7430 7430 5255 0 -1 4202496 7540 0 0 0 309 0 0 0 25 0 1 0 520130594 1514565632 5043 33554432000 4194304 4587354 140736326039584 18446744073709551615 4365254 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7431/statm: 369767 5043 337 96 0 366329 0
[pid=7432] ppid=7430 vsize=15504 CPUtime=3.09 cores=5
/proc/7432/stat : 7432 (clasp) R 7430 7430 5255 0 -1 4202496 1338 0 0 0 309 0 0 0 25 0 1 0 520130594 15876096 1227 33554432000 4194304 4785740 140736403705152 18446744073709551615 4416856 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7432/statm: 3876 1227 340 145 0 921 0
[pid=7433] ppid=7430 vsize=455956 CPUtime=1.97 cores=7
/proc/7433/stat : 7433 (TNM) R 7430 7430 5255 0 -1 4202496 372 0 0 0 197 0 0 0 21 0 1 0 520130594 466898944 268 33554432000 134512640 134534564 4287869216 18446744073709551615 134528687 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7433/statm: 113989 268 95 6 0 112655 0
[pid=7434] ppid=7430 vsize=8420 CPUtime=3.09 cores=3
/proc/7434/stat : 7434 (lingeling) R 7430 7430 5255 0 -1 4202496 2187 0 0 0 309 0 0 0 25 0 1 0 520130594 8622080 1267 33554432000 4194304 4352236 140734142487408 18446744073709551615 4278548 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7434/statm: 2105 1267 127 39 0 1185 0
[pid=7435] ppid=7430 vsize=7652 CPUtime=1.11 cores=7
/proc/7435/stat : 7435 (march_hi) R 7430 7430 5255 0 -1 4202496 523 0 0 0 111 0 0 0 25 0 1 0 520130594 7835648 415 33554432000 4194304 4331988 140734752029056 18446744073709551615 4315836 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7435/statm: 1913 415 175 34 0 355 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 1984924

[startup+6.30109 s]
/proc/loadavg: 9.94 10.10 9.92 12/186 7436
/proc/meminfo: memFree=16422956/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) S 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 13905375126708289535 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0
[pid=7431] ppid=7430 vsize=1486500 CPUtime=5.33 cores=1
/proc/7431/stat : 7431 (cryptominisat) R 7430 7430 5255 0 -1 4202496 11642 0 0 0 528 5 0 0 25 0 1 0 520130594 1522176000 7205 33554432000 4194304 4587354 140736326039584 18446744073709551615 4357604 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7431/statm: 371625 7205 337 96 0 368187 0
[pid=7432] ppid=7430 vsize=17020 CPUtime=6.29 cores=5
/proc/7432/stat : 7432 (clasp) R 7430 7430 5255 0 -1 4202496 1701 0 0 0 629 0 0 0 25 0 1 0 520130594 17428480 1590 33554432000 4194304 4785740 140736403705152 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7432/statm: 4255 1590 340 145 0 1300 0
[pid=7433] ppid=7430 vsize=455956 CPUtime=3.55 cores=7
/proc/7433/stat : 7433 (TNM) R 7430 7430 5255 0 -1 4202496 372 0 0 0 355 0 0 0 25 0 1 0 520130594 466898944 268 33554432000 134512640 134534564 4287869216 18446744073709551615 134528302 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7433/statm: 113989 268 95 6 0 112655 0
[pid=7434] ppid=7430 vsize=13352 CPUtime=6.29 cores=3
/proc/7434/stat : 7434 (lingeling) R 7430 7430 5255 0 -1 4202496 4156 0 0 0 629 0 0 0 25 0 1 0 520130594 13672448 2532 33554432000 4194304 4352236 140734142487408 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7434/statm: 3338 2532 127 39 0 2418 0
[pid=7435] ppid=7430 vsize=8372 CPUtime=2.71 cores=7
/proc/7435/stat : 7435 (march_hi) R 7430 7430 5255 0 -1 4202496 639 0 0 0 271 0 0 0 25 0 1 0 520130594 8572928 531 33554432000 4194304 4331988 140734752029056 18446744073709551615 4315854 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7435/statm: 2093 531 175 34 0 535 0
Current children cumulated CPU time (s) 24.17
Current children cumulated vsize (KiB) 1999524

[startup+12.701 s]
/proc/loadavg: 10.10 10.12 9.93 12/186 7436
/proc/meminfo: memFree=16409220/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) S 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 13905375126708289535 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0
[pid=7431] ppid=7430 vsize=1483360 CPUtime=10.79 cores=1
/proc/7431/stat : 7431 (cryptominisat) R 7430 7430 5255 0 -1 4202496 14796 0 0 0 1064 15 0 0 25 0 1 0 520130594 1518960640 7813 33554432000 4194304 4587354 140736326039584 18446744073709551615 4356836 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7431/statm: 370840 7815 337 96 0 367402 0
[pid=7432] ppid=7430 vsize=18320 CPUtime=12.67 cores=5
/proc/7432/stat : 7432 (clasp) R 7430 7430 5255 0 -1 4202496 2006 0 0 0 1267 0 0 0 25 0 1 0 520130594 18759680 1895 33554432000 4194304 4785740 140736403705152 18446744073709551615 4287050 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7432/statm: 4580 1895 340 145 0 1625 0
[pid=7433] ppid=7430 vsize=455956 CPUtime=6.74 cores=7
/proc/7433/stat : 7433 (TNM) R 7430 7430 5255 0 -1 4202496 372 0 0 0 674 0 0 0 25 0 1 0 520130594 466898944 268 33554432000 134512640 134534564 4287869216 18446744073709551615 134528620 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7433/statm: 113989 268 95 6 0 112655 0
[pid=7434] ppid=7430 vsize=15020 CPUtime=12.68 cores=3
/proc/7434/stat : 7434 (lingeling) R 7430 7430 5255 0 -1 4202496 6685 0 0 0 1268 0 0 0 25 0 1 0 520130594 15380480 2949 33554432000 4194304 4352236 140734142487408 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7434/statm: 3755 2949 127 39 0 2835 0
[pid=7435] ppid=7430 vsize=9792 CPUtime=5.88 cores=7
/proc/7435/stat : 7435 (march_hi) R 7430 7430 5255 0 -1 4202496 878 0 0 0 588 0 0 0 25 0 1 0 520130594 10027008 770 33554432000 4194304 4331988 140734752029056 18446744073709551615 4237157 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7435/statm: 2448 770 175 34 0 890 0
Current children cumulated CPU time (s) 48.76
Current children cumulated vsize (KiB) 2000772

[startup+25.5009 s]
/proc/loadavg: 10.08 10.12 9.93 12/186 7437
/proc/meminfo: memFree=16391240/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) S 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 13905375126708289535 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0
[pid=7431] ppid=7430 vsize=1486036 CPUtime=23.58 cores=1
/proc/7431/stat : 7431 (cryptominisat) R 7430 7430 5255 0 -1 4202496 26708 0 0 0 2339 19 0 0 25 0 1 0 520130594 1521700864 8830 33554432000 4194304 4587354 140736326039584 18446744073709551615 4231923 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7431/statm: 371509 8830 337 96 0 368071 0
[pid=7432] ppid=7430 vsize=20328 CPUtime=25.47 cores=5
/proc/7432/stat : 7432 (clasp) R 7430 7430 5255 0 -1 4202496 2479 0 0 0 2547 0 0 0 25 0 1 0 520130594 20815872 2368 33554432000 4194304 4785740 140736403705152 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7432/statm: 5082 2368 340 145 0 2127 0
[pid=7433] ppid=7430 vsize=455956 CPUtime=13.14 cores=7
/proc/7433/stat : 7433 (TNM) R 7430 7430 5255 0 -1 4202496 372 0 0 0 1314 0 0 0 25 0 1 0 520130594 466898944 268 33554432000 134512640 134534564 4287869216 18446744073709551615 134530008 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7433/statm: 113989 268 95 6 0 112655 0
[pid=7434] ppid=7430 vsize=19628 CPUtime=25.49 cores=3
/proc/7434/stat : 7434 (lingeling) R 7430 7430 5255 0 -1 4202496 11421 0 0 0 2548 1 0 0 25 0 1 0 520130594 20099072 4101 33554432000 4194304 4352236 140734142487408 18446744073709551615 4329032 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7434/statm: 4907 4101 127 39 0 3987 0
[pid=7435] ppid=7430 vsize=12860 CPUtime=12.21 cores=7
/proc/7435/stat : 7435 (march_hi) R 7430 7430 5255 0 -1 4202496 1429 0 0 0 1221 0 0 0 25 0 1 0 520130594 13168640 1321 33554432000 4194304 4331988 140734752029056 18446744073709551615 4263139 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7435/statm: 3215 1321 175 34 0 1657 0
Current children cumulated CPU time (s) 99.89
Current children cumulated vsize (KiB) 2013132

[startup+51.1006 s]
/proc/loadavg: 10.12 10.12 9.93 11/186 7437
/proc/meminfo: memFree=16352196/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) S 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 13905375126708289535 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0
[pid=7431] ppid=7430 vsize=1540308 CPUtime=49.17 cores=1
/proc/7431/stat : 7431 (cryptominisat) R 7430 7430 5255 0 -1 4202496 54389 0 0 0 4893 24 0 0 25 0 1 0 520130594 1577275392 20218 33554432000 4194304 4587354 140736326039584 18446744073709551615 4388345 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7431/statm: 385077 20218 337 96 0 381639 0
[pid=7432] ppid=7430 vsize=22700 CPUtime=51.06 cores=5
/proc/7432/stat : 7432 (clasp) R 7430 7430 5255 0 -1 4202496 3021 0 0 0 5106 0 0 0 25 0 1 0 520130594 23244800 2910 33554432000 4194304 4785740 140736403705152 18446744073709551615 4550378 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7432/statm: 5675 2910 340 145 0 2720 0
[pid=7433] ppid=7430 vsize=455956 CPUtime=25.84 cores=7
/proc/7433/stat : 7433 (TNM) R 7430 7430 5255 0 -1 4202496 372 0 0 0 2584 0 0 0 25 0 1 0 520130594 466898944 268 33554432000 134512640 134534564 4287869216 18446744073709551615 134528972 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7433/statm: 113989 268 95 6 0 112655 0
[pid=7434] ppid=7430 vsize=21292 CPUtime=51.09 cores=3
/proc/7434/stat : 7434 (lingeling) R 7430 7430 5255 0 -1 4202496 18237 0 0 0 5107 2 0 0 25 0 1 0 520130594 21803008 4517 33554432000 4194304 4352236 140734142487408 18446744073709551615 4328085 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7434/statm: 5323 4517 127 39 0 4403 0
[pid=7435] ppid=7430 vsize=15704 CPUtime=24.97 cores=7
/proc/7435/stat : 7435 (march_hi) R 7430 7430 5255 0 -1 4202496 2491 0 0 0 2497 0 0 0 25 0 1 0 520130594 16080896 2383 33554432000 4194304 4331988 140734752029056 18446744073709551615 4212287 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7435/statm: 3926 2383 175 34 0 2368 0
Current children cumulated CPU time (s) 202.13
Current children cumulated vsize (KiB) 2074284

[startup+102.301 s]
/proc/loadavg: 10.19 10.13 9.94 12/186 7439
/proc/meminfo: memFree=16326520/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) S 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 13905375126708289535 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0
[pid=7431] ppid=7430 vsize=1528700 CPUtime=100.35 cores=1

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

/proc/7435/statm: 55674 41757 175 34 0 54116 0
Current children cumulated CPU time (s) 3521.82
Current children cumulated vsize (KiB) 2366520

[startup+942.301 s]
/proc/loadavg: 10.20 10.19 10.08 11/186 7506
/proc/meminfo: memFree=15970048/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) S 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 13905375126708289535 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0
[pid=7431] ppid=7430 vsize=1682044 CPUtime=939.93 cores=1
/proc/7431/stat : 7431 (cryptominisat) R 7430 7430 5255 0 -1 4202496 388074 0 0 0 93877 116 0 0 25 0 1 0 520130594 1722413056 54718 33554432000 4194304 4587354 140736326039584 18446744073709551615 4357604 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7431/statm: 420511 54718 337 96 0 417073 0
[pid=7432] ppid=7430 vsize=41228 CPUtime=942.08 cores=5
/proc/7432/stat : 7432 (clasp) R 7430 7430 5255 0 -1 4202496 7259 0 0 0 94207 1 0 0 25 0 1 0 520130594 42217472 7148 33554432000 4194304 4785740 140736403705152 18446744073709551615 4287129 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7432/statm: 10307 7148 341 145 0 7352 0
[pid=7433] ppid=7430 vsize=455956 CPUtime=469.07 cores=7
/proc/7433/stat : 7433 (TNM) R 7430 7430 5255 0 -1 4202496 372 0 0 0 46907 0 0 0 25 0 1 0 520130594 466898944 268 33554432000 134512640 134534564 4287869216 18446744073709551615 134530344 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7433/statm: 113989 268 95 6 0 112655 0
[pid=7434] ppid=7430 vsize=53140 CPUtime=942.31 cores=3
/proc/7434/stat : 7434 (lingeling) R 7430 7430 5255 0 -1 4202496 167559 0 0 0 94210 21 0 0 25 0 1 0 520130594 54415360 12455 33554432000 4194304 4352236 140734142487408 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7434/statm: 13285 12455 127 39 0 12365 0
[pid=7435] ppid=7430 vsize=222696 CPUtime=468.09 cores=7
/proc/7435/stat : 7435 (march_hi) R 7430 7430 5255 0 -1 4202496 44961 0 0 0 46789 20 0 0 25 0 1 0 520130594 228040704 44853 33554432000 4194304 4331988 140734752029056 18446744073709551615 4226446 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7435/statm: 55674 44853 175 34 0 54116 0
Current children cumulated CPU time (s) 3761.48
Current children cumulated vsize (KiB) 2473388

[startup+1002.3 s]
/proc/loadavg: 10.18 10.19 10.09 11/186 7508
/proc/meminfo: memFree=15993484/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) S 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 13905375126708289535 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0
[pid=7431] ppid=7430 vsize=1637240 CPUtime=999.91 cores=1
/proc/7431/stat : 7431 (cryptominisat) R 7430 7430 5255 0 -1 4202496 394554 0 0 0 99873 118 0 0 25 0 1 0 520130594 1676533760 47686 33554432000 4194304 4587354 140736326039584 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7431/statm: 409310 47686 337 96 0 405872 0
[pid=7432] ppid=7430 vsize=41396 CPUtime=1002.06 cores=5
/proc/7432/stat : 7432 (clasp) R 7430 7430 5255 0 -1 4202496 7319 0 0 0 100205 1 0 0 25 0 1 0 520130594 42389504 7208 33554432000 4194304 4785740 140736403705152 18446744073709551615 4278070 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7432/statm: 10349 7208 341 145 0 7394 0
[pid=7433] ppid=7430 vsize=455956 CPUtime=498.9 cores=7
/proc/7433/stat : 7433 (TNM) R 7430 7430 5255 0 -1 4202496 372 0 0 0 49890 0 0 0 25 0 1 0 520130594 466898944 268 33554432000 134512640 134534564 4287869216 18446744073709551615 134530260 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7433/statm: 113989 268 95 6 0 112655 0
[pid=7434] ppid=7430 vsize=53140 CPUtime=1002.3 cores=3
/proc/7434/stat : 7434 (lingeling) R 7430 7430 5255 0 -1 4202496 174471 0 0 0 100209 21 0 0 25 0 1 0 520130594 54415360 12455 33554432000 4194304 4352236 140734142487408 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7434/statm: 13285 12455 127 39 0 12365 0
[pid=7435] ppid=7430 vsize=222696 CPUtime=497.92 cores=7
/proc/7435/stat : 7435 (march_hi) R 7430 7430 5255 0 -1 4202496 47959 0 0 0 49771 21 0 0 25 0 1 0 520130594 228040704 47851 33554432000 4194304 4331988 140734752029056 18446744073709551615 4265440 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7435/statm: 55674 47851 175 34 0 54116 0
Current children cumulated CPU time (s) 4001.09
Current children cumulated vsize (KiB) 2428752

[startup+1062.3 s]
/proc/loadavg: 10.24 10.20 10.10 11/186 7509
/proc/meminfo: memFree=15978604/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) S 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 13905375126708289535 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0
[pid=7431] ppid=7430 vsize=1637240 CPUtime=1059.88 cores=1
/proc/7431/stat : 7431 (cryptominisat) R 7430 7430 5255 0 -1 4202496 401052 0 0 0 105868 120 0 0 25 0 1 0 520130594 1676533760 46576 33554432000 4194304 4587354 140736326039584 18446744073709551615 4243380 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7431/statm: 409310 46576 337 96 0 405872 0
[pid=7432] ppid=7430 vsize=41732 CPUtime=1062.04 cores=5
/proc/7432/stat : 7432 (clasp) R 7430 7430 5255 0 -1 4202496 7392 0 0 0 106203 1 0 0 25 0 1 0 520130594 42733568 7281 33554432000 4194304 4785740 140736403705152 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7432/statm: 10433 7281 341 145 0 7478 0
[pid=7433] ppid=7430 vsize=455956 CPUtime=528.76 cores=7
/proc/7433/stat : 7433 (TNM) R 7430 7430 5255 0 -1 4202496 372 0 0 0 52876 0 0 0 25 0 1 0 520130594 466898944 268 33554432000 134512640 134534564 4287869216 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7433/statm: 113989 268 95 6 0 112655 0
[pid=7434] ppid=7430 vsize=51092 CPUtime=1062.3 cores=3
/proc/7434/stat : 7434 (lingeling) R 7430 7430 5255 0 -1 4202496 180359 0 0 0 106208 22 0 0 25 0 1 0 520130594 52318208 11943 33554432000 4194304 4352236 140734142487408 18446744073709551615 4328016 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7434/statm: 12773 11943 127 39 0 11853 0
[pid=7435] ppid=7430 vsize=222696 CPUtime=527.74 cores=7
/proc/7435/stat : 7435 (march_hi) R 7430 7430 5255 0 -1 4202496 50833 0 0 0 52752 22 0 0 25 0 1 0 520130594 228040704 50725 33554432000 4194304 4331988 140734752029056 18446744073709551615 4226208 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7435/statm: 55674 50725 175 34 0 54116 0
Current children cumulated CPU time (s) 4240.72
Current children cumulated vsize (KiB) 2427040

[startup+1122.3 s]
/proc/loadavg: 10.13 10.17 10.09 11/186 7511
/proc/meminfo: memFree=15957892/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) S 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 13905375126708289535 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0
[pid=7431] ppid=7430 vsize=1632468 CPUtime=1119.86 cores=1
/proc/7431/stat : 7431 (cryptominisat) R 7430 7430 5255 0 -1 4202496 409868 0 0 0 111862 124 0 0 25 0 1 0 520130594 1671647232 47417 33554432000 4194304 4587354 140736326039584 18446744073709551615 4238463 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7431/statm: 408117 47417 337 96 0 404679 0
[pid=7432] ppid=7430 vsize=41732 CPUtime=1122.02 cores=5
/proc/7432/stat : 7432 (clasp) R 7430 7430 5255 0 -1 4202496 7407 0 0 0 112201 1 0 0 25 0 1 0 520130594 42733568 7296 33554432000 4194304 4785740 140736403705152 18446744073709551615 210646844026 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7432/statm: 10433 7296 341 145 0 7478 0
[pid=7433] ppid=7430 vsize=455956 CPUtime=558.56 cores=7
/proc/7433/stat : 7433 (TNM) R 7430 7430 5255 0 -1 4202496 372 0 0 0 55856 0 0 0 25 0 1 0 520130594 466898944 268 33554432000 134512640 134534564 4287869216 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7433/statm: 113989 268 95 6 0 112655 0
[pid=7434] ppid=7430 vsize=53140 CPUtime=1122.31 cores=3
/proc/7434/stat : 7434 (lingeling) R 7430 7430 5255 0 -1 4202496 190087 0 0 0 112207 24 0 0 25 0 1 0 520130594 54415360 12455 33554432000 4194304 4352236 140734142487408 18446744073709551615 4328105 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7434/statm: 13285 12455 127 39 0 12365 0
[pid=7435] ppid=7430 vsize=322144 CPUtime=557.62 cores=7
/proc/7435/stat : 7435 (march_hi) R 7430 7430 5255 0 -1 4202496 53749 0 0 0 55739 23 0 0 25 0 1 0 520130594 329875456 53641 33554432000 4194304 4331988 140734752029056 18446744073709551615 4239535 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7435/statm: 80536 53641 175 34 0 78978 0
Current children cumulated CPU time (s) 4480.37
Current children cumulated vsize (KiB) 2523764

[startup+1182.3 s]
/proc/loadavg: 10.15 10.17 10.09 11/186 7512
/proc/meminfo: memFree=15915112/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) S 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 13905375126708289535 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0
[pid=7431] ppid=7430 vsize=1637240 CPUtime=1179.83 cores=1
/proc/7431/stat : 7431 (cryptominisat) R 7430 7430 5255 0 -1 4202496 416526 0 0 0 117856 127 0 0 25 0 1 0 520130594 1676533760 47327 33554432000 4194304 4587354 140736326039584 18446744073709551615 4238600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7431/statm: 409310 47327 337 96 0 405872 0
[pid=7432] ppid=7430 vsize=42068 CPUtime=1182.01 cores=5
/proc/7432/stat : 7432 (clasp) R 7430 7430 5255 0 -1 4202496 7468 0 0 0 118200 1 0 0 25 0 1 0 520130594 43077632 7357 33554432000 4194304 4785740 140736403705152 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7432/statm: 10517 7357 341 145 0 7562 0
[pid=7433] ppid=7430 vsize=455956 CPUtime=588.44 cores=7
/proc/7433/stat : 7433 (TNM) R 7430 7430 5255 0 -1 4202496 372 0 0 0 58844 0 0 0 25 0 1 0 520130594 466898944 268 33554432000 134512640 134534564 4287869216 18446744073709551615 134530273 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7433/statm: 113989 268 95 6 0 112655 0
[pid=7434] ppid=7430 vsize=77716 CPUtime=1182.31 cores=3
/proc/7434/stat : 7434 (lingeling) R 7430 7430 5255 0 -1 4202496 203159 0 0 0 118206 25 0 0 25 0 1 0 520130594 79581184 18615 33554432000 4194304 4352236 140734142487408 18446744073709551615 4328345 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7434/statm: 19429 18615 127 39 0 18509 0
[pid=7435] ppid=7430 vsize=322144 CPUtime=587.41 cores=7
/proc/7435/stat : 7435 (march_hi) R 7430 7430 5255 0 -1 4202496 56639 0 0 0 58716 25 0 0 25 0 1 0 520130594 329875456 56531 33554432000 4194304 4331988 140734752029056 18446744073709551615 4237134 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7435/statm: 80536 56531 175 34 0 78978 0
Current children cumulated CPU time (s) 4720
Current children cumulated vsize (KiB) 2553448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.4 s]
/proc/loadavg: 10.18 10.17 10.09 11/186 7513
/proc/meminfo: memFree=15918700/32951132 swapFree=67111524/67111528
[pid=7430] ppid=7428 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/7430/stat : 7430 (ppfolio) S 7428 7430 5255 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520130593 18763776 390 33554432000 4194304 4287625 140735082284544 18446744073709551615 210647166479 0 0 4096 65536 13905375126708289535 0 0 17 5 0 0 0
/proc/7430/statm: 4581 390 341 23 0 91 0
[pid=7431] ppid=7430 vsize=1632728 CPUtime=1199.92 cores=1
/proc/7431/stat : 7431 (cryptominisat) R 7430 7430 5255 0 -1 4202496 418222 0 0 0 119864 128 0 0 25 0 1 0 520130594 1671913472 45756 33554432000 4194304 4587354 140736326039584 18446744073709551615 4238606 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7431/statm: 408182 45756 337 96 0 404744 0
[pid=7432] ppid=7430 vsize=42240 CPUtime=1202.11 cores=5
/proc/7432/stat : 7432 (clasp) R 7430 7430 5255 0 -1 4202496 7528 0 0 0 120210 1 0 0 25 0 1 0 520130594 43253760 7417 33554432000 4194304 4785740 140736403705152 18446744073709551615 4553440 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7432/statm: 10560 7417 341 145 0 7605 0
[pid=7433] ppid=7430 vsize=455956 CPUtime=598.43 cores=7
/proc/7433/stat : 7433 (TNM) R 7430 7430 5255 0 -1 4202496 372 0 0 0 59843 0 0 0 25 0 1 0 520130594 466898944 268 33554432000 134512640 134534564 4287869216 18446744073709551615 134529080 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7433/statm: 113989 268 95 6 0 112655 0
[pid=7434] ppid=7430 vsize=75668 CPUtime=1202.41 cores=3
/proc/7434/stat : 7434 (lingeling) R 7430 7430 5255 0 -1 4202496 205975 0 0 0 120216 25 0 0 25 0 1 0 520130594 77484032 18103 33554432000 4194304 4352236 140734142487408 18446744073709551615 4328013 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/7434/statm: 18917 18103 127 39 0 17997 0
[pid=7435] ppid=7430 vsize=322144 CPUtime=597.42 cores=7
/proc/7435/stat : 7435 (march_hi) R 7430 7430 5255 0 -1 4202496 57664 0 0 0 59716 26 0 0 25 0 1 0 520130594 329875456 57556 33554432000 4194304 4331988 140734752029056 18446744073709551615 4239564 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/7435/statm: 80536 57556 175 34 0 78978 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 2547060

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

Real time (s): 1202.42
CPU time (s): 4800.29
CPU user time (s): 4798.49
CPU system time (s): 1.8
CPU usage (%): 399.219
Max. virtual memory (cumulated for all children) (KiB): 3987060

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

runsolver used 1.80472 second user time and 4.75928 second system time

The end

Launcher Data 

Begin job on node129 at 2011-04-29 15:55:10
IDJOB=3250027
IDBENCH=83223
IDSOLVER=1612
FILE ID=node129/3250027-1304085310
RUNJOBID= node129-1304081614-6874
PBS_JOBID= 13170456
Free space on /tmp= 66360 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-16-16-unsat.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250027-1304085310/watcher-3250027-1304085310 -o /tmp/evaluation-result-3250027-1304085310/solver-3250027-1304085310 -C 4800 -W 1300 -M 15500  ppfolio HOME/instance-3250027-1304085310.cnf

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

MD5SUM BENCH= c07743bac800f91e403382f26717b1d0
RANDOM SEED=699800824

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      16448964 kB
Buffers:       1282420 kB
Cached:       14167412 kB
SwapCached:          4 kB
Active:        4103836 kB
Inactive:     11731344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      16448964 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           10208 kB
Writeback:           0 kB
AnonPages:      385056 kB
Mapped:          17240 kB
Slab:           603776 kB
PageTables:       5580 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  2566308 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66348 MiB
End job on node129 at 2011-04-29 16:15:14