Trace number 3285396

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.18 1201.71

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf
MD5SUM3c5c73741ba21d5f39c7f436ba834743
Bench CategoryAPPLICATION (applications 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 variables95456
Number of clauses483561
Sum of the clauses size1149911
Maximum clause length63
Minimum clause length1
Number of clauses of size 1211
Number of clauses of size 2477300
Number of clauses of size 31500
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 54550

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 4 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	[4] lingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00	[5] march_hi 2009 (Marijn Heule and Hans Van Maaren)
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) 5
0.00/0.00	Starting TNM 2009 on core(s) 7
0.00/0.00	Starting lingeling 276-6264d55-100731 on core(s) 3
0.00/0.00	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-3285396-1304035159/watcher-3285396-1304035159 -o /tmp/evaluation-result-3285396-1304035159/solver-3285396-1304035159 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3285396-1304035159.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: 8.77 9.53 9.74 7/186 27270
/proc/meminfo: memFree=30716200/32951124 swapFree=67111344/67111528
[pid=27270] ppid=27268 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/27270/stat : 27270 (ppfolio) S 27268 27270 26347 0 -1 4202496 519 0 0 0 0 0 0 0 25 0 1 0 515113805 18763776 389 33554432000 4194304 4287625 140734987996384 18446744073709551615 271550557711 0 0 4096 65536 4582500860952575999 0 0 17 3 0 0 0
/proc/27270/statm: 4581 389 341 23 0 91 0

[startup+0.0897309 s]
/proc/loadavg: 8.77 9.53 9.74 7/186 27270
/proc/meminfo: memFree=30716200/32951124 swapFree=67111344/67111528
[pid=27270] ppid=27268 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/27270/stat : 27270 (ppfolio) S 27268 27270 26347 0 -1 4202496 519 0 0 0 0 0 0 0 25 0 1 0 515113805 18763776 389 33554432000 4194304 4287625 140734987996384 18446744073709551615 271550557711 0 0 4096 65536 4582500860952575999 0 0 17 3 0 0 0
/proc/27270/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100727 s]
/proc/loadavg: 8.77 9.53 9.74 7/186 27270
/proc/meminfo: memFree=30716200/32951124 swapFree=67111344/67111528
[pid=27270] ppid=27268 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/27270/stat : 27270 (ppfolio) S 27268 27270 26347 0 -1 4202496 519 0 0 0 0 0 0 0 25 0 1 0 515113805 18763776 389 33554432000 4194304 4287625 140734987996384 18446744073709551615 271550557711 0 0 4096 65536 4582500860952575999 0 0 17 3 0 0 0
/proc/27270/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300695 s]
/proc/loadavg: 8.77 9.53 9.74 7/186 27270
/proc/meminfo: memFree=30716200/32951124 swapFree=67111344/67111528
[pid=27270] ppid=27268 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/27270/stat : 27270 (ppfolio) S 27268 27270 26347 0 -1 4202496 519 0 0 0 0 0 0 0 24 0 1 0 515113805 18763776 389 33554432000 4194304 4287625 140734987996384 18446744073709551615 271550557711 0 0 4096 65536 4582500860952575999 0 0 17 3 0 0 0
/proc/27270/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700622 s]
/proc/loadavg: 8.77 9.53 9.74 7/186 27270
/proc/meminfo: memFree=30716200/32951124 swapFree=67111344/67111528
[pid=27270] ppid=27268 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/27270/stat : 27270 (ppfolio) S 27268 27270 26347 0 -1 4202496 519 0 0 0 0 0 0 0 24 0 1 0 515113805 18763776 389 33554432000 4194304 4287625 140734987996384 18446744073709551615 271550557711 0 0 4096 65536 4582500860952575999 0 0 17 3 0 0 0
/proc/27270/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50048 s]
/proc/loadavg: 8.77 9.53 9.74 11/192 27276
/proc/meminfo: memFree=30535476/32951124 swapFree=67111344/67111528
[pid=27270] ppid=27268 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/27270/stat : 27270 (ppfolio) S 27268 27270 26347 0 -1 4202496 519 0 0 0 0 0 0 0 17 0 1 0 515113805 18763776 389 33554432000 4194304 4287625 140734987996384 18446744073709551615 271550557711 0 0 4096 65536 4582500860952575999 0 0 17 3 0 0 0
/proc/27270/statm: 4581 389 341 23 0 91 0
[pid=27271] ppid=27270 vsize=71192 CPUtime=1.49 cores=1
/proc/27271/stat : 27271 (cryptominisat) R 27270 27270 26347 0 -1 4202496 11709 0 0 0 148 1 0 0 25 0 1 0 515113805 72900608 11493 33554432000 4194304 4587354 140735616238976 18446744073709551615 4421100 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27271/statm: 17798 11493 312 96 0 14360 0
[pid=27272] ppid=27270 vsize=51380 CPUtime=1.49 cores=5
/proc/27272/stat : 27272 (clasp) R 27270 27270 26347 0 -1 4202496 13601 0 0 0 148 1 0 0 20 0 1 0 515113805 52613120 9981 33554432000 4194304 4785740 140737275750432 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/27272/statm: 12845 9981 340 145 0 9890 0
[pid=27273] ppid=27270 vsize=478924 CPUtime=0.77 cores=7
/proc/27273/stat : 27273 (TNM) R 27270 27270 26347 0 -1 4202496 9359 0 0 0 76 1 0 0 25 0 1 0 515113805 490418176 9256 33554432000 134512640 134534564 4288977952 18446744073709551615 134524736 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27273/statm: 119731 9256 91 6 0 118397 0
[pid=27274] ppid=27270 vsize=17940 CPUtime=1.47 cores=3
/proc/27274/stat : 27274 (lingeling) R 27270 27270 26347 0 -1 4202496 7535 0 0 0 146 1 0 0 25 0 1 0 515113805 18370560 3649 33554432000 4194304 4352236 140735498403296 18446744073709551615 4317310 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/27274/statm: 4485 3649 125 39 0 3565 0
[pid=27275] ppid=27270 vsize=68000 CPUtime=0.69 cores=7
/proc/27275/stat : 27275 (march_hi) R 27270 27270 26347 0 -1 4194304 21778 0 0 0 67 2 0 0 25 0 1 0 515113805 69632000 10843 33554432000 4194304 4331988 140735372617408 18446744073709551615 4256848 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27275/statm: 17000 10843 129 34 0 15442 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 705760

[startup+3.10119 s]
/proc/loadavg: 8.77 9.53 9.74 11/192 27276
/proc/meminfo: memFree=30511812/32951124 swapFree=67111344/67111528
[pid=27270] ppid=27268 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/27270/stat : 27270 (ppfolio) S 27268 27270 26347 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 515113805 18763776 389 33554432000 4194304 4287625 140734987996384 18446744073709551615 271550557711 0 0 4096 65536 4582500860952575999 0 0 17 3 0 0 0
/proc/27270/statm: 4581 389 341 23 0 91 0
[pid=27271] ppid=27270 vsize=82704 CPUtime=3.09 cores=1
/proc/27271/stat : 27271 (cryptominisat) R 27270 27270 26347 0 -1 4202496 19288 0 0 0 307 2 0 0 25 0 1 0 515113805 84688896 14261 33554432000 4194304 4587354 140735616238976 18446744073709551615 4236694 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27271/statm: 20676 14261 330 96 0 17238 0
[pid=27272] ppid=27270 vsize=69552 CPUtime=3.09 cores=5
/proc/27272/stat : 27272 (clasp) R 27270 27270 26347 0 -1 4202496 18158 0 0 0 307 2 0 0 25 0 1 0 515113805 71221248 14538 33554432000 4194304 4785740 140737275750432 18446744073709551615 4552628 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/27272/statm: 17388 14538 340 145 0 14433 0
[pid=27273] ppid=27270 vsize=488956 CPUtime=1.57 cores=7
/proc/27273/stat : 27273 (TNM) R 27270 27270 26347 0 -1 4202496 15297 0 0 0 155 2 0 0 25 0 1 0 515113805 500690944 15194 33554432000 134512640 134534564 4288977952 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27273/statm: 122239 15194 95 6 0 120905 0
[pid=27274] ppid=27270 vsize=18124 CPUtime=3.08 cores=3
/proc/27274/stat : 27274 (lingeling) R 27270 27270 26347 0 -1 4202496 7623 0 0 0 307 1 0 0 25 0 1 0 515113805 18558976 3700 33554432000 4194304 4352236 140735498403296 18446744073709551615 4276793 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/27274/statm: 4531 3700 127 39 0 3611 0
[pid=27275] ppid=27270 vsize=65716 CPUtime=1.49 cores=7
/proc/27275/stat : 27275 (march_hi) R 27270 27270 26347 0 -1 4194304 36651 0 0 0 145 4 0 0 25 0 1 0 515113805 67293184 9870 33554432000 4194304 4331988 140735372617408 18446744073709551615 4257036 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27275/statm: 16429 9870 129 34 0 14871 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 743376

[startup+6.3006 s]
/proc/loadavg: 8.86 9.54 9.74 12/192 27276
/proc/meminfo: memFree=30461832/32951124 swapFree=67111344/67111528
[pid=27270] ppid=27268 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/27270/stat : 27270 (ppfolio) S 27268 27270 26347 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 515113805 18763776 389 33554432000 4194304 4287625 140734987996384 18446744073709551615 271550557711 0 0 4096 65536 4582500860952575999 0 0 17 3 0 0 0
/proc/27270/statm: 4581 389 341 23 0 91 0
[pid=27271] ppid=27270 vsize=82704 CPUtime=6.28 cores=1
/proc/27271/stat : 27271 (cryptominisat) R 27270 27270 26347 0 -1 4202496 20517 0 0 0 626 2 0 0 25 0 1 0 515113805 84688896 15490 33554432000 4194304 4587354 140735616238976 18446744073709551615 4236816 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27271/statm: 20676 15490 330 96 0 17238 0
[pid=27272] ppid=27270 vsize=113584 CPUtime=6.28 cores=5
/proc/27272/stat : 27272 (clasp) R 27270 27270 26347 0 -1 4202496 29155 0 0 0 624 4 0 0 25 0 1 0 515113805 116310016 25535 33554432000 4194304 4785740 140737275750432 18446744073709551615 4309557 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/27272/statm: 28396 25535 340 145 0 25441 0
[pid=27273] ppid=27270 vsize=488956 CPUtime=3.15 cores=7
/proc/27273/stat : 27273 (TNM) R 27270 27270 26347 0 -1 4202496 15297 0 0 0 313 2 0 0 25 0 1 0 515113805 500690944 15194 33554432000 134512640 134534564 4288977952 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27273/statm: 122239 15194 95 6 0 120905 0
[pid=27274] ppid=27270 vsize=25556 CPUtime=6.27 cores=3
/proc/27274/stat : 27274 (lingeling) R 27270 27270 26347 0 -1 4202496 9481 0 0 0 626 1 0 0 25 0 1 0 515113805 26169344 5558 33554432000 4194304 4352236 140735498403296 18446744073709551615 4207615 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/27274/statm: 6389 5558 127 39 0 5469 0
[pid=27275] ppid=27270 vsize=67728 CPUtime=3.09 cores=7
/proc/27275/stat : 27275 (march_hi) R 27270 27270 26347 0 -1 4194304 68047 0 0 0 301 8 0 0 25 0 1 0 515113805 69353472 10775 33554432000 4194304 4331988 140735372617408 18446744073709551615 271550196135 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27275/statm: 16932 10775 129 34 0 15374 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 796852

[startup+12.7004 s]
/proc/loadavg: 8.96 9.54 9.74 11/192 27277
/proc/meminfo: memFree=30343188/32951124 swapFree=67111344/67111528
[pid=27270] ppid=27268 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/27270/stat : 27270 (ppfolio) S 27268 27270 26347 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 515113805 18763776 389 33554432000 4194304 4287625 140734987996384 18446744073709551615 271550557711 0 0 4096 65536 4582500860952575999 0 0 17 3 0 0 0
/proc/27270/statm: 4581 389 341 23 0 91 0
[pid=27271] ppid=27270 vsize=120208 CPUtime=12.69 cores=1
/proc/27271/stat : 27271 (cryptominisat) R 27270 27270 26347 0 -1 4202496 23431 0 0 0 1266 3 0 0 25 0 1 0 515113805 123092992 18398 33554432000 4194304 4587354 140735616238976 18446744073709551615 4236656 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27271/statm: 30052 18398 330 96 0 26614 0
[pid=27272] ppid=27270 vsize=176204 CPUtime=12.69 cores=5
/proc/27272/stat : 27272 (clasp) R 27270 27270 26347 0 -1 4202496 44782 0 0 0 1262 7 0 0 25 0 1 0 515113805 180432896 41162 33554432000 4194304 4785740 140737275750432 18446744073709551615 271550198469 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/27272/statm: 44051 41162 340 145 0 41096 0
[pid=27273] ppid=27270 vsize=488956 CPUtime=6.31 cores=7
/proc/27273/stat : 27273 (TNM) R 27270 27270 26347 0 -1 4202496 15297 0 0 0 629 2 0 0 25 0 1 0 515113805 500690944 15194 33554432000 134512640 134534564 4288977952 18446744073709551615 134530260 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27273/statm: 122239 15194 95 6 0 120905 0
[pid=27274] ppid=27270 vsize=34464 CPUtime=12.67 cores=3
/proc/27274/stat : 27274 (lingeling) R 27270 27270 26347 0 -1 4202496 11785 0 0 0 1266 1 0 0 25 0 1 0 515113805 35291136 7785 33554432000 4194304 4352236 140735498403296 18446744073709551615 4234063 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/27274/statm: 8616 7785 127 39 0 7696 0
[pid=27275] ppid=27270 vsize=68416 CPUtime=6.3 cores=7
/proc/27275/stat : 27275 (march_hi) R 27270 27270 26347 0 -1 4202496 115925 0 0 0 615 15 0 0 25 0 1 0 515113805 70057984 10845 33554432000 4194304 4331988 140735372617408 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27275/statm: 17104 10845 151 34 0 15546 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 906572

[startup+25.5011 s]
/proc/loadavg: 9.19 9.57 9.75 11/192 27277
/proc/meminfo: memFree=30154468/32951124 swapFree=67111344/67111528
[pid=27270] ppid=27268 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/27270/stat : 27270 (ppfolio) S 27268 27270 26347 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 515113805 18763776 389 33554432000 4194304 4287625 140734987996384 18446744073709551615 271550557711 0 0 4096 65536 4582500860952575999 0 0 17 3 0 0 0
/proc/27270/statm: 4581 389 341 23 0 91 0
[pid=27271] ppid=27270 vsize=120208 CPUtime=25.49 cores=1
/proc/27271/stat : 27271 (cryptominisat) R 27270 27270 26347 0 -1 4202496 28158 0 0 0 2544 5 0 0 25 0 1 0 515113805 123092992 23114 33554432000 4194304 4587354 140735616238976 18446744073709551615 4236606 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27271/statm: 30052 23114 330 96 0 26614 0
[pid=27272] ppid=27270 vsize=292888 CPUtime=25.49 cores=5
/proc/27272/stat : 27272 (clasp) R 27270 27270 26347 0 -1 4202496 73880 0 0 0 2536 13 0 0 25 0 1 0 515113805 299917312 70260 33554432000 4194304 4785740 140737275750432 18446744073709551615 4552626 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/27272/statm: 73222 70261 340 145 0 70267 0
[pid=27273] ppid=27270 vsize=488956 CPUtime=12.7 cores=7
/proc/27273/stat : 27273 (TNM) R 27270 27270 26347 0 -1 4202496 15297 0 0 0 1268 2 0 0 25 0 1 0 515113805 500690944 15194 33554432000 134512640 134534564 4288977952 18446744073709551615 134528661 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27273/statm: 122239 15194 95 6 0 120905 0
[pid=27274] ppid=27270 vsize=40592 CPUtime=25.48 cores=3
/proc/27274/stat : 27274 (lingeling) R 27270 27270 26347 0 -1 4202496 13321 0 0 0 2546 2 0 0 25 0 1 0 515113805 41566208 9317 33554432000 4194304 4352236 140735498403296 18446744073709551615 4238648 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/27274/statm: 10148 9317 127 39 0 9228 0
[pid=27275] ppid=27270 vsize=192116 CPUtime=12.63 cores=7
/proc/27275/stat : 27275 (march_hi) R 27270 27270 26347 0 -1 4202496 138412 0 0 0 1246 17 0 0 25 0 1 0 515113805 196726784 20912 33554432000 4194304 4331988 140735372617408 18446744073709551615 4228307 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27275/statm: 48029 20912 175 34 0 46471 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 1153084

[startup+51.1005 s]
/proc/loadavg: 9.59 9.63 9.76 11/192 27278
/proc/meminfo: memFree=30040792/32951124 swapFree=67111344/67111528
[pid=27270] ppid=27268 vsize=18324 CPUtime=0.02 cores=1,3,5,7
/proc/27270/stat : 27270 (ppfolio) S 27268 27270 26347 0 -1 4202496 519 0 0 0 0 2 0 0 15 0 1 0 515113805 18763776 389 33554432000 4194304 4287625 140734987996384 18446744073709551615 271550557711 0 0 4096 65536 4582500860952575999 0 0 17 3 0 0 0
/proc/27270/statm: 4581 389 341 23 0 91 0
[pid=27271] ppid=27270 vsize=350544 CPUtime=51.09 cores=1
/proc/27271/stat : 27271 (cryptominisat) R 27270 27270 26347 0 -1 4202496 36631 0 0 0 5099 10 0 0 25 0 1 0 515113805 358957056 22452 33554432000 4194304 4587354 140735616238976 18446744073709551615 271550234996 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27271/statm: 87636 22452 335 96 0 84198 0
[pid=27272] ppid=27270 vsize=308948 CPUtime=51.08 cores=5
/proc/27272/stat : 27272 (clasp) R 27270 27270 26347 0 -1 4202496 77925 0 0 0 5094 14 0 0 25 0 1 0 515113805 316362752 74305 33554432000 4194304 4785740 140737275750432 18446744073709551615 4278107 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/27272/statm: 77237 74305 340 145 0 74282 0
[pid=27273] ppid=27270 vsize=488956 CPUtime=25.41 cores=7
/proc/27273/stat : 27273 (TNM) R 27270 27270 26347 0 -1 4202496 15297 0 0 0 2539 2 0 0 25 0 1 0 515113805 500690944 15194 33554432000 134512640 134534564 4288977952 18446744073709551615 134528670 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27273/statm: 122239 15194 95 6 0 120905 0
[pid=27274] ppid=27270 vsize=48772 CPUtime=51.05 cores=3

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

/proc/27275/statm: 53108 25387 175 34 0 51550 0
Current children cumulated CPU time (s) 3764
Current children cumulated vsize (KiB) 2333484

[startup+1002.3 s]
/proc/loadavg: 10.22 10.20 10.05 11/192 27380
/proc/meminfo: memFree=28864092/32951124 swapFree=67111344/67111528
[pid=27270] ppid=27268 vsize=18324 CPUtime=0.03 cores=1,3,5,7
/proc/27270/stat : 27270 (ppfolio) S 27268 27270 26347 0 -1 4202496 519 0 0 0 0 3 0 0 15 0 1 0 515113805 18763776 389 33554432000 4194304 4287625 140734987996384 18446744073709551615 271550557711 0 0 4096 65536 4582500860952575999 0 0 17 3 0 0 0
/proc/27270/statm: 4581 389 341 23 0 91 0
[pid=27271] ppid=27270 vsize=522224 CPUtime=1002.31 cores=1
/proc/27271/stat : 27271 (cryptominisat) R 27270 27270 26347 0 -1 4202496 502509 0 0 0 100025 206 0 0 25 0 1 0 515113805 534757376 63421 33554432000 4194304 4587354 140735616238976 18446744073709551615 4236541 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27271/statm: 130556 63421 340 96 0 127118 0
[pid=27272] ppid=27270 vsize=1030844 CPUtime=1002.21 cores=5
/proc/27272/stat : 27272 (clasp) R 27270 27270 26347 0 -1 4202496 257951 0 0 0 100162 59 0 0 25 0 1 0 515113805 1055584256 254331 33554432000 4194304 4785740 140737275750432 18446744073709551615 4416837 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/27272/statm: 257711 254331 340 145 0 254756 0
[pid=27273] ppid=27270 vsize=488956 CPUtime=498.42 cores=7
/proc/27273/stat : 27273 (TNM) R 27270 27270 26347 0 -1 4202496 15297 0 0 0 49840 2 0 0 25 0 1 0 515113805 500690944 15194 33554432000 134512640 134534564 4288977952 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27273/statm: 122239 15194 95 6 0 120905 0
[pid=27274] ppid=27270 vsize=109848 CPUtime=1002.26 cores=3
/proc/27274/stat : 27274 (lingeling) R 27270 27270 26347 0 -1 4202496 214051 0 0 0 100199 27 0 0 25 0 1 0 515113805 112484352 26631 33554432000 4194304 4352236 140735498403296 18446744073709551615 4278697 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/27274/statm: 27462 26631 127 39 0 26542 0
[pid=27275] ppid=27270 vsize=212432 CPUtime=498.41 cores=7
/proc/27275/stat : 27275 (march_hi) R 27270 27270 26347 0 -1 4202496 143037 0 0 0 49822 19 0 0 25 0 1 0 515113805 217530368 25477 33554432000 4194304 4331988 140735372617408 18446744073709551615 4299840 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27275/statm: 53108 25477 175 34 0 51550 0
Current children cumulated CPU time (s) 4003.64
Current children cumulated vsize (KiB) 2382628

[startup+1062.31 s]
/proc/loadavg: 10.17 10.19 10.06 11/192 27382
/proc/meminfo: memFree=28747756/32951124 swapFree=67111344/67111528
[pid=27270] ppid=27268 vsize=18324 CPUtime=0.03 cores=1,3,5,7
/proc/27270/stat : 27270 (ppfolio) S 27268 27270 26347 0 -1 4202496 519 0 0 0 0 3 0 0 15 0 1 0 515113805 18763776 389 33554432000 4194304 4287625 140734987996384 18446744073709551615 271550557711 0 0 4096 65536 4582500860952575999 0 0 17 3 0 0 0
/proc/27270/statm: 4581 389 341 23 0 91 0
[pid=27271] ppid=27270 vsize=490652 CPUtime=1062.32 cores=1
/proc/27271/stat : 27271 (cryptominisat) R 27270 27270 26347 0 -1 4202496 526645 0 0 0 106012 220 0 0 25 0 1 0 515113805 502427648 65563 33554432000 4194304 4587354 140735616238976 18446744073709551615 4236293 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27271/statm: 122663 65563 340 96 0 119225 0
[pid=27272] ppid=27270 vsize=1117160 CPUtime=1062.21 cores=5
/proc/27272/stat : 27272 (clasp) R 27270 27270 26347 0 -1 4202496 279433 0 0 0 106157 64 0 0 25 0 1 0 515113805 1143971840 275813 33554432000 4194304 4785740 140737275750432 18446744073709551615 4278587 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/27272/statm: 279290 275813 340 145 0 276335 0
[pid=27273] ppid=27270 vsize=488956 CPUtime=528.3 cores=7
/proc/27273/stat : 27273 (TNM) R 27270 27270 26347 0 -1 4202496 15297 0 0 0 52828 2 0 0 25 0 1 0 515113805 500690944 15194 33554432000 134512640 134534564 4288977952 18446744073709551615 134528902 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27273/statm: 122239 15194 95 6 0 120905 0
[pid=27274] ppid=27270 vsize=124180 CPUtime=1062.26 cores=3
/proc/27274/stat : 27274 (lingeling) R 27270 27270 26347 0 -1 4202496 229923 0 0 0 106197 29 0 0 25 0 1 0 515113805 127160320 30214 33554432000 4194304 4352236 140735498403296 18446744073709551615 4328544 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/27274/statm: 31045 30214 127 39 0 30125 0
[pid=27275] ppid=27270 vsize=212432 CPUtime=528.21 cores=7
/proc/27275/stat : 27275 (march_hi) R 27270 27270 26347 0 -1 4202496 143167 0 0 0 52802 19 0 0 25 0 1 0 515113805 217530368 25607 33554432000 4194304 4331988 140735372617408 18446744073709551615 4237171 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27275/statm: 53108 25607 175 34 0 51550 0
Current children cumulated CPU time (s) 4243.33
Current children cumulated vsize (KiB) 2451704

[startup+1122.3 s]
/proc/loadavg: 10.24 10.21 10.08 11/192 27383
/proc/meminfo: memFree=28702704/32951124 swapFree=67111344/67111528
[pid=27270] ppid=27268 vsize=18324 CPUtime=0.03 cores=1,3,5,7
/proc/27270/stat : 27270 (ppfolio) S 27268 27270 26347 0 -1 4202496 519 0 0 0 0 3 0 0 15 0 1 0 515113805 18763776 389 33554432000 4194304 4287625 140734987996384 18446744073709551615 271550557711 0 0 4096 65536 4582500860952575999 0 0 17 3 0 0 0
/proc/27270/statm: 4581 389 341 23 0 91 0
[pid=27271] ppid=27270 vsize=589228 CPUtime=1122.31 cores=1
/proc/27271/stat : 27271 (cryptominisat) R 27270 27270 26347 0 -1 4202496 569481 0 0 0 112001 230 0 0 25 0 1 0 515113805 603369472 79755 33554432000 4194304 4587354 140735616238976 18446744073709551615 4236860 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27271/statm: 147307 79755 340 96 0 143869 0
[pid=27272] ppid=27270 vsize=1117160 CPUtime=1122.2 cores=5
/proc/27272/stat : 27272 (clasp) R 27270 27270 26347 0 -1 4202496 279454 0 0 0 112156 64 0 0 25 0 1 0 515113805 1143971840 275834 33554432000 4194304 4785740 140737275750432 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/27272/statm: 279290 275834 340 145 0 276335 0
[pid=27273] ppid=27270 vsize=488956 CPUtime=558.11 cores=7
/proc/27273/stat : 27273 (TNM) R 27270 27270 26347 0 -1 4202496 15297 0 0 0 55809 2 0 0 25 0 1 0 515113805 500690944 15194 33554432000 134512640 134534564 4288977952 18446744073709551615 134530614 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27273/statm: 122239 15194 95 6 0 120905 0
[pid=27274] ppid=27270 vsize=107800 CPUtime=1122.26 cores=3
/proc/27274/stat : 27274 (lingeling) R 27270 27270 26347 0 -1 4202496 252499 0 0 0 112194 32 0 0 25 0 1 0 515113805 110387200 26119 33554432000 4194304 4352236 140735498403296 18446744073709551615 4280956 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/27274/statm: 26950 26119 127 39 0 26030 0
[pid=27275] ppid=27270 vsize=212432 CPUtime=558.07 cores=7
/proc/27275/stat : 27275 (march_hi) R 27270 27270 26347 0 -1 4202496 143234 0 0 0 55788 19 0 0 25 0 1 0 515113805 217530368 25674 33554432000 4194304 4331988 140735372617408 18446744073709551615 4228205 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27275/statm: 53108 25674 175 34 0 51550 0
Current children cumulated CPU time (s) 4482.98
Current children cumulated vsize (KiB) 2533900

[startup+1182.3 s]
/proc/loadavg: 10.16 10.20 10.08 11/192 27385
/proc/meminfo: memFree=28646756/32951124 swapFree=67111344/67111528
[pid=27270] ppid=27268 vsize=18324 CPUtime=0.03 cores=1,3,5,7
/proc/27270/stat : 27270 (ppfolio) S 27268 27270 26347 0 -1 4202496 519 0 0 0 0 3 0 0 15 0 1 0 515113805 18763776 389 33554432000 4194304 4287625 140734987996384 18446744073709551615 271550557711 0 0 4096 65536 4582500860952575999 0 0 17 3 0 0 0
/proc/27270/statm: 4581 389 341 23 0 91 0
[pid=27271] ppid=27270 vsize=572484 CPUtime=1182.32 cores=1
/proc/27271/stat : 27271 (cryptominisat) R 27270 27270 26347 0 -1 4202496 593197 0 0 0 117987 245 0 0 25 0 1 0 515113805 586223616 82240 33554432000 4194304 4587354 140735616238976 18446744073709551615 4238618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27271/statm: 143121 82240 340 96 0 139683 0
[pid=27272] ppid=27270 vsize=1117160 CPUtime=1182.2 cores=5
/proc/27272/stat : 27272 (clasp) R 27270 27270 26347 0 -1 4202496 279463 0 0 0 118156 64 0 0 25 0 1 0 515113805 1143971840 275843 33554432000 4194304 4785740 140737275750432 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/27272/statm: 279290 275843 340 145 0 276335 0
[pid=27273] ppid=27270 vsize=488956 CPUtime=587.96 cores=7
/proc/27273/stat : 27273 (TNM) R 27270 27270 26347 0 -1 4202496 15297 0 0 0 58794 2 0 0 25 0 1 0 515113805 500690944 15194 33554432000 134512640 134534564 4288977952 18446744073709551615 134528877 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27273/statm: 122239 15194 95 6 0 120905 0
[pid=27274] ppid=27270 vsize=111896 CPUtime=1182.26 cores=3
/proc/27274/stat : 27274 (lingeling) R 27270 27270 26347 0 -1 4202496 265811 0 0 0 118192 34 0 0 25 0 1 0 515113805 114581504 27143 33554432000 4194304 4352236 140735498403296 18446744073709551615 4280999 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/27274/statm: 27974 27143 127 39 0 27054 0
[pid=27275] ppid=27270 vsize=214156 CPUtime=587.91 cores=7
/proc/27275/stat : 27275 (march_hi) R 27270 27270 26347 0 -1 4202496 143319 0 0 0 58771 20 0 0 25 0 1 0 515113805 219295744 25759 33554432000 4194304 4331988 140735372617408 18446744073709551615 4228205 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27275/statm: 53539 25759 175 34 0 51981 0
Current children cumulated CPU time (s) 4722.68
Current children cumulated vsize (KiB) 2522976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 10.33 10.24 10.09 11/192 27385
/proc/meminfo: memFree=28663232/32951124 swapFree=67111344/67111528
[pid=27270] ppid=27268 vsize=18324 CPUtime=0.03 cores=1,3,5,7
/proc/27270/stat : 27270 (ppfolio) S 27268 27270 26347 0 -1 4202496 519 0 0 0 0 3 0 0 15 0 1 0 515113805 18763776 389 33554432000 4194304 4287625 140734987996384 18446744073709551615 271550557711 0 0 4096 65536 4582500860952575999 0 0 17 3 0 0 0
/proc/27270/statm: 4581 389 341 23 0 91 0
[pid=27271] ppid=27270 vsize=615788 CPUtime=1201.72 cores=1
/proc/27271/stat : 27271 (cryptominisat) R 27270 27270 26347 0 -1 4202496 599582 0 0 0 119925 247 0 0 25 0 1 0 515113805 630566912 77616 33554432000 4194304 4587354 140735616238976 18446744073709551615 4230368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27271/statm: 153947 77616 340 96 0 150509 0
[pid=27272] ppid=27270 vsize=1117160 CPUtime=1201.6 cores=5
/proc/27272/stat : 27272 (clasp) R 27270 27270 26347 0 -1 4202496 279463 0 0 0 120096 64 0 0 25 0 1 0 515113805 1143971840 275843 33554432000 4194304 4785740 140737275750432 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/27272/statm: 279290 275843 340 145 0 276335 0
[pid=27273] ppid=27270 vsize=488956 CPUtime=597.61 cores=7
/proc/27273/stat : 27273 (TNM) R 27270 27270 26347 0 -1 4202496 15297 0 0 0 59759 2 0 0 25 0 1 0 515113805 500690944 15194 33554432000 134512640 134534564 4288977952 18446744073709551615 134528710 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27273/statm: 122239 15194 95 6 0 120905 0
[pid=27274] ppid=27270 vsize=128276 CPUtime=1201.67 cores=3
/proc/27274/stat : 27274 (lingeling) R 27270 27270 26347 0 -1 4202496 269907 0 0 0 120132 35 0 0 25 0 1 0 515113805 131354624 31238 33554432000 4194304 4352236 140735498403296 18446744073709551615 4328026 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/27274/statm: 32069 31238 127 39 0 31149 0
[pid=27275] ppid=27270 vsize=214156 CPUtime=597.55 cores=7
/proc/27275/stat : 27275 (march_hi) R 27270 27270 26347 0 -1 4202496 143354 0 0 0 59735 20 0 0 25 0 1 0 515113805 219295744 25794 33554432000 4194304 4331988 140735372617408 18446744073709551615 4228331 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27275/statm: 53539 25794 175 34 0 51981 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 2582660

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1201.7 s]
/proc/loadavg: 10.33 10.24 10.09 11/192 27385
/proc/meminfo: memFree=28663232/32951124 swapFree=67111344/67111528
[pid=27270] ppid=27268 vsize=18324 CPUtime=0.03 cores=1,3,5,7
/proc/27270/stat : 27270 (ppfolio) S 27268 27270 26347 0 -1 4202496 519 0 0 0 0 3 0 0 15 0 1 0 515113805 18763776 389 33554432000 4194304 4287625 140734987996384 18446744073709551615 271550557711 0 0 4096 65536 4582500860952575999 0 0 17 3 0 0 0
/proc/27270/statm: 4581 389 341 23 0 91 0
[pid=27271] ppid=27270 vsize=615788 CPUtime=1201.72 cores=1
/proc/27271/stat : 27271 (cryptominisat) R 27270 27270 26347 0 -1 4202496 599582 0 0 0 119925 247 0 0 25 0 1 0 515113805 630566912 77616 33554432000 4194304 4587354 140735616238976 18446744073709551615 4230368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27271/statm: 153947 77616 340 96 0 150509 0
[pid=27272] ppid=27270 vsize=1117160 CPUtime=1201.6 cores=5
/proc/27272/stat : 27272 (clasp) R 27270 27270 26347 0 -1 4202496 279463 0 0 0 120096 64 0 0 25 0 1 0 515113805 1143971840 275843 33554432000 4194304 4785740 140737275750432 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/27272/statm: 279290 275843 340 145 0 276335 0
[pid=27273] ppid=27270 vsize=488956 CPUtime=597.61 cores=7
/proc/27273/stat : 27273 (TNM) R 27270 27270 26347 0 -1 4202496 15297 0 0 0 59759 2 0 0 25 0 1 0 515113805 500690944 15194 33554432000 134512640 134534564 4288977952 18446744073709551615 134528710 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27273/statm: 122239 15194 95 6 0 120905 0
[pid=27274] ppid=27270 vsize=128276 CPUtime=1201.67 cores=3
/proc/27274/stat : 27274 (lingeling) R 27270 27270 26347 0 -1 4202496 269907 0 0 0 120132 35 0 0 25 0 1 0 515113805 131354624 31238 33554432000 4194304 4352236 140735498403296 18446744073709551615 4328026 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/27274/statm: 32069 31238 127 39 0 31149 0
[pid=27275] ppid=27270 vsize=214156 CPUtime=597.55 cores=7
/proc/27275/stat : 27275 (march_hi) R 27270 27270 26347 0 -1 4202496 143354 0 0 0 59735 20 0 0 25 0 1 0 515113805 219295744 25794 33554432000 4194304 4331988 140735372617408 18446744073709551615 4228331 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/27275/statm: 53539 25794 175 34 0 51981 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 2582660

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27270 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=9998
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=37994
# CPU time returned by wait4() is 0.047992
# while last known CPU time is 4800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1201.71
CPU time (s): 4800.18
CPU user time (s): 4796.47
CPU system time (s): 3.71
CPU usage (%): 399.444
Max. virtual memory (cumulated for all children) (KiB): 2667488

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

runsolver used 1.75573 second user time and 4.80427 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-29 01:59:19
IDJOB=3285396
IDBENCH=82381
IDSOLVER=1612
FILE ID=node133/3285396-1304035159
RUNJOBID= node133-1304032500-26788
PBS_JOBID= 13170319
Free space on /tmp= 71876 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285396-1304035159/watcher-3285396-1304035159 -o /tmp/evaluation-result-3285396-1304035159/solver-3285396-1304035159 -C 4800 -W 1300 -M 15500  ppfolio HOME/instance-3285396-1304035159.cnf

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

MD5SUM BENCH= 3c5c73741ba21d5f39c7f436ba834743
RANDOM SEED=464818421

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30716356 kB
Buffers:        665064 kB
Cached:         571584 kB
SwapCached:        124 kB
Active:        1131968 kB
Inactive:       755820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30716356 kB
SwapTotal:    67111528 kB
SwapFree:     67111344 kB
Dirty:           18284 kB
Writeback:           0 kB
AnonPages:      650828 kB
Mapped:          16896 kB
Slab:           280436 kB
PageTables:       6304 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2773600 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71860 MiB
End job on node133 at 2011-04-29 02:19:23