Trace number 3310241

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 parUNSAT 112.344 14.8504

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
grid-strips-grid-y-4.025-NOTKNOWN.cnf
MD5SUM7a66f04f295b538081ccaebd0fd7d9b2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark7.41687
Satisfiable
(Un)Satisfiability was proved
Number of variables281936
Number of clauses2464339
Sum of the clauses size5907714
Maximum clause length770
Minimum clause length1
Number of clauses of size 1864
Number of clauses of size 22420825
Number of clauses of size 30
Number of clauses of size 4200
Number of clauses of size 51200
Number of clauses of size over 541250

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 8 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] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00	[5] plingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00	Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00	Starting clasp 1.3.6 on core(s) 1
0.00/0.00	Starting TNM 2009 on core(s) 2
0.00/0.00	Starting march_hi 2009 on core(s) 3
0.00/0.00	Starting plingeling 276-6264d55-100731 on core(s) 4 5 6 7
111.97/14.83	s UNSATISFIABLE
111.97/14.85	solver [2] clasp 1.3.6 answered
111.97/14.85	Done

Verifier Data 

No possible verification on an UNSAT instance

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-3310241-1304007403/watcher-3310241-1304007403 -o /tmp/evaluation-result-3310241-1304007403/solver-3310241-1304007403 -C 40000 -W 5100 -M 31000 ppfolio HOME/instance-3310241-1304007403.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/170 26174
/proc/meminfo: memFree=25633056/32951124 swapFree=67111524/67111528
[pid=26174] ppid=26172 vsize=18324 CPUtime=0 cores=0-7
/proc/26174/stat : 26174 (ppfolio) S 26172 26174 26148 0 -1 4202496 518 0 0 0 0 0 0 0 23 0 1 0 493156342 18763776 389 33554432000 4194304 4287625 140736297528576 18446744073709551615 220816256527 0 0 4096 65536 2826088480819 0 0 17 4 0 0 0
/proc/26174/statm: 4581 389 341 23 0 91 0

[startup+0.103199 s]
/proc/loadavg: 0.85 0.97 0.99 3/170 26174
/proc/meminfo: memFree=25633056/32951124 swapFree=67111524/67111528
[pid=26174] ppid=26172 vsize=18324 CPUtime=0 cores=0-7
/proc/26174/stat : 26174 (ppfolio) S 26172 26174 26148 0 -1 4202496 519 0 0 0 0 0 0 0 25 0 1 0 493156342 18763776 389 33554432000 4194304 4287625 140736297528576 18446744073709551615 220816256527 0 0 4096 65536 4591146733198639103 0 0 17 4 0 0 0
/proc/26174/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.201184 s]
/proc/loadavg: 0.85 0.97 0.99 3/170 26174
/proc/meminfo: memFree=25633056/32951124 swapFree=67111524/67111528
[pid=26174] ppid=26172 vsize=18324 CPUtime=0 cores=0-7
/proc/26174/stat : 26174 (ppfolio) S 26172 26174 26148 0 -1 4202496 519 0 0 0 0 0 0 0 25 0 1 0 493156342 18763776 389 33554432000 4194304 4287625 140736297528576 18446744073709551615 220816256527 0 0 4096 65536 4591146733198639103 0 0 17 4 0 0 0
/proc/26174/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.301166 s]
/proc/loadavg: 0.85 0.97 0.99 3/170 26174
/proc/meminfo: memFree=25633056/32951124 swapFree=67111524/67111528
[pid=26174] ppid=26172 vsize=18324 CPUtime=0 cores=0-7
/proc/26174/stat : 26174 (ppfolio) S 26172 26174 26148 0 -1 4202496 519 0 0 0 0 0 0 0 25 0 1 0 493156342 18763776 389 33554432000 4194304 4287625 140736297528576 18446744073709551615 220816256527 0 0 4096 65536 4591146733198639103 0 0 17 4 0 0 0
/proc/26174/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.70109 s]
/proc/loadavg: 0.85 0.97 0.99 3/170 26174
/proc/meminfo: memFree=25633056/32951124 swapFree=67111524/67111528
[pid=26174] ppid=26172 vsize=18324 CPUtime=0 cores=0-7
/proc/26174/stat : 26174 (ppfolio) S 26172 26174 26148 0 -1 4202496 519 0 0 0 0 0 0 0 25 0 1 0 493156342 18763776 389 33554432000 4194304 4287625 140736297528576 18446744073709551615 220816256527 0 0 4096 65536 4591146733198639103 0 0 17 4 0 0 0
/proc/26174/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50092 s]
/proc/loadavg: 0.85 0.97 0.99 6/176 26185
/proc/meminfo: memFree=25019332/32951124 swapFree=67111524/67111528
[pid=26174] ppid=26172 vsize=18324 CPUtime=0 cores=0-7
/proc/26174/stat : 26174 (ppfolio) S 26172 26174 26148 0 -1 4202496 519 0 0 0 0 0 0 0 18 0 1 0 493156342 18763776 389 33554432000 4194304 4287625 140736297528576 18446744073709551615 220816256527 0 0 4096 65536 4591146733198639103 0 0 17 4 0 0 0
/proc/26174/statm: 4581 389 341 23 0 91 0
[pid=26175] ppid=26174 vsize=185468 CPUtime=1.49 cores=0
/proc/26175/stat : 26175 (cryptominisat) R 26174 26174 26148 0 -1 4202496 39383 0 0 0 143 6 0 0 20 0 1 0 493156342 189919232 38740 33554432000 4194304 4587354 140734483190016 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26175/statm: 46367 38740 305 96 0 42929 0
[pid=26176] ppid=26174 vsize=183508 CPUtime=1.49 cores=1
/proc/26176/stat : 26176 (clasp) R 26174 26174 26148 0 -1 4202496 53435 0 0 0 142 7 0 0 20 0 1 0 493156342 187912192 41033 33554432000 4194304 4785740 140735313014560 18446744073709551615 4495635 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26176/statm: 45877 41033 318 145 0 42922 0
[pid=26177] ppid=26174 vsize=479588 CPUtime=1.48 cores=2
/proc/26177/stat : 26177 (TNM) R 26174 26174 26148 0 -1 4202496 11916 0 0 0 145 3 0 0 20 0 1 0 493156342 491098112 11814 33554432000 134512640 134534564 4289121888 18446744073709551615 3819004 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26177/statm: 119897 11814 90 6 0 118563 0
[pid=26178] ppid=26174 vsize=282852 CPUtime=1.49 cores=3
/proc/26178/stat : 26178 (march_hi) R 26174 26174 26148 0 -1 4194304 45269 0 0 0 140 9 0 0 20 0 1 0 493156342 289640448 45162 33554432000 4194304 4331988 140734575518160 18446744073709551615 4256793 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26178/statm: 70713 45162 116 34 0 69155 0
[pid=26179] ppid=26174 vsize=147220 CPUtime=1.48 cores=4-7
/proc/26179/stat : 26179 (plingeling) R 26174 26174 26148 0 -1 4202496 35681 1257 0 0 142 6 0 0 25 0 1 0 493156342 150753280 35467 33554432000 4194304 4356188 140733689558848 18446744073709551615 220816236288 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/26179/statm: 36805 35467 132 40 0 35349 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 1296960

[startup+3.1006 s]
/proc/loadavg: 1.50 1.10 1.03 9/180 26189
/proc/meminfo: memFree=24760908/32951124 swapFree=67111524/67111528
[pid=26174] ppid=26172 vsize=18324 CPUtime=0 cores=0-7
/proc/26174/stat : 26174 (ppfolio) S 26172 26174 26148 0 -1 4202496 519 0 0 0 0 0 0 0 17 0 1 0 493156342 18763776 389 33554432000 4194304 4287625 140736297528576 18446744073709551615 220816256527 0 0 4096 65536 4591146733198639103 0 0 17 4 0 0 0
/proc/26174/statm: 4581 389 341 23 0 91 0
[pid=26175] ppid=26174 vsize=234356 CPUtime=3.08 cores=0
/proc/26175/stat : 26175 (cryptominisat) R 26174 26174 26148 0 -1 4202496 51531 0 0 0 301 7 0 0 25 0 1 0 493156342 239980544 50888 33554432000 4194304 4587354 140734483190016 18446744073709551615 4365352 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26175/statm: 58589 50888 310 96 0 55151 0
[pid=26176] ppid=26174 vsize=183508 CPUtime=3.09 cores=1
/proc/26176/stat : 26176 (clasp) R 26174 26174 26148 0 -1 4202496 53435 0 0 0 302 7 0 0 25 0 1 0 493156342 187912192 41033 33554432000 4194304 4785740 140735313014560 18446744073709551615 4495784 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26176/statm: 45877 41033 318 145 0 42922 0
[pid=26177] ppid=26174 vsize=588144 CPUtime=3.08 cores=2
/proc/26177/stat : 26177 (TNM) R 26174 26174 26148 0 -1 4202496 45314 0 0 0 299 9 0 0 25 0 1 0 493156342 602259456 45211 33554432000 134512640 134534564 4289121888 18446744073709551615 134524700 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26177/statm: 147036 45211 91 6 0 145702 0
[pid=26178] ppid=26174 vsize=316120 CPUtime=3.09 cores=3
/proc/26178/stat : 26178 (march_hi) R 26174 26174 26148 0 -1 4194304 70870 0 0 0 296 13 0 0 25 0 1 0 493156342 323706880 53514 33554432000 4194304 4331988 140734575518160 18446744073709551615 4252211 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26178/statm: 79030 53514 128 34 0 77472 0
[pid=26179] ppid=26174 vsize=268836 CPUtime=6.12 cores=4-7
/proc/26179/stat : 26179 (plingeling) S 26174 26174 26148 0 -1 4202496 72341 1257 0 0 601 11 0 0 18 0 5 0 493156342 275288064 55620 33554432000 4194304 4356188 140733689558848 18446744073709551615 220828039141 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/26179/statm: 67209 55620 149 40 0 65753 0
[pid=26179/tid=26186] ppid=26174 vsize=268836 CPUtime=1 cores=4-7
/proc/26179/task/26186/stat : 26186 (plingeling) R 26174 26174 26148 0 -1 4202560 310 1257 0 0 100 0 0 0 25 0 5 0 493156550 275288064 55620 33554432000 4194304 4356188 140733689558848 18446744073709551615 4210704 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26179/tid=26187] ppid=26174 vsize=268836 CPUtime=1.01 cores=4-7
/proc/26179/task/26187/stat : 26187 (plingeling) R 26174 26174 26148 0 -1 4202560 811 1257 0 0 101 0 0 0 25 0 5 0 493156550 275288064 55620 33554432000 4194304 4356188 140733689558848 18446744073709551615 4261931 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26179/tid=26188] ppid=26174 vsize=268836 CPUtime=1.01 cores=4-7
/proc/26179/task/26188/stat : 26188 (plingeling) R 26174 26174 26148 0 -1 4202560 837 1257 0 0 101 0 0 0 21 0 5 0 493156550 275288064 55620 33554432000 4194304 4356188 140733689558848 18446744073709551615 4260245 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26179/tid=26189] ppid=26174 vsize=268836 CPUtime=1.01 cores=4-7
/proc/26179/task/26189/stat : 26189 (plingeling) R 26174 26174 26148 0 -1 4202560 577 1257 0 0 101 0 0 0 21 0 5 0 493156550 275288064 55620 33554432000 4194304 4356188 140733689558848 18446744073709551615 4237251 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 18.46
Current children cumulated vsize (KiB) 1609288

[startup+6.301 s]
/proc/loadavg: 1.50 1.10 1.03 9/180 26189
/proc/meminfo: memFree=24663816/32951124 swapFree=67111524/67111528
[pid=26174] ppid=26172 vsize=18324 CPUtime=0 cores=0-7
/proc/26174/stat : 26174 (ppfolio) S 26172 26174 26148 0 -1 4202496 519 0 0 0 0 0 0 0 17 0 1 0 493156342 18763776 389 33554432000 4194304 4287625 140736297528576 18446744073709551615 220816256527 0 0 4096 65536 4591146733198639103 0 0 17 4 0 0 0
/proc/26174/statm: 4581 389 341 23 0 91 0
[pid=26175] ppid=26174 vsize=234356 CPUtime=6.28 cores=0
/proc/26175/stat : 26175 (cryptominisat) R 26174 26174 26148 0 -1 4202496 51531 0 0 0 621 7 0 0 25 0 1 0 493156342 239980544 50888 33554432000 4194304 4587354 140734483190016 18446744073709551615 4365216 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26175/statm: 58589 50888 310 96 0 55151 0
[pid=26176] ppid=26174 vsize=184736 CPUtime=6.29 cores=1
/proc/26176/stat : 26176 (clasp) R 26174 26174 26148 0 -1 4202496 53763 0 0 0 622 7 0 0 25 0 1 0 493156342 189169664 41361 33554432000 4194304 4785740 140735313014560 18446744073709551615 4495561 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26176/statm: 46184 41361 319 145 0 43229 0
[pid=26177] ppid=26174 vsize=588144 CPUtime=6.28 cores=2
/proc/26177/stat : 26177 (TNM) R 26174 26174 26148 0 -1 4202496 45314 0 0 0 618 10 0 0 25 0 1 0 493156342 602259456 45211 33554432000 134512640 134534564 4289121888 18446744073709551615 134524508 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26177/statm: 147036 45211 91 6 0 145702 0
[pid=26178] ppid=26174 vsize=296196 CPUtime=6.29 cores=3
/proc/26178/stat : 26178 (march_hi) R 26174 26174 26148 0 -1 4194304 107600 0 0 0 612 17 0 0 25 0 1 0 493156342 303304704 48526 33554432000 4194304 4331988 140734575518160 18446744073709551615 220815897285 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26178/statm: 74049 48530 129 34 0 72491 0
[pid=26179] ppid=26174 vsize=283412 CPUtime=18.89 cores=4-7
/proc/26179/stat : 26179 (plingeling) S 26174 26174 26148 0 -1 4202496 126158 1257 0 0 1870 19 0 0 18 0 5 0 493156342 290213888 59276 33554432000 4194304 4356188 140733689558848 18446744073709551615 220828039141 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/26179/statm: 70853 59276 161 40 0 69397 0
[pid=26179/tid=26186] ppid=26174 vsize=283412 CPUtime=4.18 cores=4-7
/proc/26179/task/26186/stat : 26186 (plingeling) R 26174 26174 26148 0 -1 4202560 12402 1257 0 0 416 2 0 0 25 0 5 0 493156550 290213888 59276 33554432000 4194304 4356188 140733689558848 18446744073709551615 4287074 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26179/tid=26187] ppid=26174 vsize=283412 CPUtime=4.2 cores=4-7
/proc/26179/task/26187/stat : 26187 (plingeling) R 26174 26174 26148 0 -1 4202560 15944 1257 0 0 418 2 0 0 25 0 5 0 493156550 290213888 59276 33554432000 4194304 4356188 140733689558848 18446744073709551615 4287074 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26179/tid=26188] ppid=26174 vsize=283412 CPUtime=4.2 cores=4-7
/proc/26179/task/26188/stat : 26188 (plingeling) R 26174 26174 26148 0 -1 4202560 15651 1257 0 0 419 1 0 0 25 0 5 0 493156550 290213888 59276 33554432000 4194304 4356188 140733689558848 18446744073709551615 4287099 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26179/tid=26189] ppid=26174 vsize=283412 CPUtime=4.2 cores=4-7
/proc/26179/task/26189/stat : 26189 (plingeling) R 26174 26174 26148 0 -1 4202560 12355 1257 0 0 418 2 0 0 25 0 5 0 493156550 290213888 59276 33554432000 4194304 4356188 140733689558848 18446744073709551615 4281624 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 44.03
Current children cumulated vsize (KiB) 1605168

[startup+12.7008 s]
/proc/loadavg: 2.02 1.21 1.07 9/180 26189
/proc/meminfo: memFree=24289708/32951124 swapFree=67111524/67111528
[pid=26174] ppid=26172 vsize=18324 CPUtime=0 cores=0-7
/proc/26174/stat : 26174 (ppfolio) S 26172 26174 26148 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 493156342 18763776 389 33554432000 4194304 4287625 140736297528576 18446744073709551615 220816256527 0 0 4096 65536 4591146733198639103 0 0 17 4 0 0 0
/proc/26174/statm: 4581 389 341 23 0 91 0
[pid=26175] ppid=26174 vsize=339352 CPUtime=12.68 cores=0
/proc/26175/stat : 26175 (cryptominisat) R 26174 26174 26148 0 -1 4202496 101439 0 0 0 1256 12 0 0 25 0 1 0 493156342 347496448 74127 33554432000 4194304 4587354 140734483190016 18446744073709551615 4236668 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26175/statm: 84838 74127 329 96 0 81400 0
[pid=26176] ppid=26174 vsize=166280 CPUtime=12.69 cores=1
/proc/26176/stat : 26176 (clasp) R 26174 26174 26148 0 -1 4202496 53971 0 0 0 1262 7 0 0 25 0 1 0 493156342 170270720 38074 33554432000 4194304 4785740 140735313014560 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26176/statm: 41570 38074 340 145 0 38615 0
[pid=26177] ppid=26174 vsize=588144 CPUtime=12.68 cores=2
/proc/26177/stat : 26177 (TNM) R 26174 26174 26148 0 -1 4202496 45314 0 0 0 1258 10 0 0 25 0 1 0 493156342 602259456 45211 33554432000 134512640 134534564 4289121888 18446744073709551615 134524591 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26177/statm: 147036 45211 91 6 0 145702 0
[pid=26178] ppid=26174 vsize=571772 CPUtime=12.68 cores=3
/proc/26178/stat : 26178 (march_hi) R 26174 26174 26148 0 -1 4202496 249576 0 0 0 1235 33 0 0 25 0 1 0 493156342 585494528 117411 33554432000 4194304 4331988 140734575518160 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26178/statm: 142943 117411 151 34 0 141385 0
[pid=26179] ppid=26174 vsize=292508 CPUtime=44.46 cores=4-7
/proc/26179/stat : 26179 (plingeling) S 26174 26174 26148 0 -1 4202496 128453 1257 0 0 4427 19 0 0 18 0 5 0 493156342 299528192 61571 33554432000 4194304 4356188 140733689558848 18446744073709551615 220828039141 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/26179/statm: 73127 61571 164 40 0 71671 0
[pid=26179/tid=26186] ppid=26174 vsize=292508 CPUtime=10.55 cores=4-7
/proc/26179/task/26186/stat : 26186 (plingeling) R 26174 26174 26148 0 -1 4202560 13166 1257 0 0 1053 2 0 0 25 0 5 0 493156550 299528192 61571 33554432000 4194304 4356188 140733689558848 18446744073709551615 4211182 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26179/tid=26187] ppid=26174 vsize=292508 CPUtime=10.6 cores=4-7
/proc/26179/task/26187/stat : 26187 (plingeling) R 26174 26174 26148 0 -1 4202560 16711 1257 0 0 1058 2 0 0 25 0 5 0 493156550 299528192 61571 33554432000 4194304 4356188 140733689558848 18446744073709551615 4211326 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26179/tid=26188] ppid=26174 vsize=292508 CPUtime=10.6 cores=4-7
/proc/26179/task/26188/stat : 26188 (plingeling) R 26174 26174 26148 0 -1 4202560 16415 1257 0 0 1059 1 0 0 25 0 5 0 493156550 299528192 61571 33554432000 4194304 4356188 140733689558848 18446744073709551615 4210596 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26179/tid=26189] ppid=26174 vsize=292508 CPUtime=10.6 cores=4-7
/proc/26179/task/26189/stat : 26189 (plingeling) R 26174 26174 26148 0 -1 4202560 12355 1257 0 0 1058 2 0 0 25 0 5 0 493156550 299528192 61571 33554432000 4194304 4356188 140733689558848 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 95.19
Current children cumulated vsize (KiB) 1976380

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

[startup+12.8008 s]
/proc/loadavg: 2.02 1.21 1.07 9/180 26189
/proc/meminfo: memFree=24289708/32951124 swapFree=67111524/67111528
[pid=26174] ppid=26172 vsize=18324 CPUtime=0 cores=0-7
/proc/26174/stat : 26174 (ppfolio) S 26172 26174 26148 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 493156342 18763776 389 33554432000 4194304 4287625 140736297528576 18446744073709551615 220816256527 0 0 4096 65536 4591146733198639103 0 0 17 4 0 0 0
/proc/26174/statm: 4581 389 341 23 0 91 0
[pid=26175] ppid=26174 vsize=339352 CPUtime=12.78 cores=0
/proc/26175/stat : 26175 (cryptominisat) R 26174 26174 26148 0 -1 4202496 101466 0 0 0 1266 12 0 0 25 0 1 0 493156342 347496448 74154 33554432000 4194304 4587354 140734483190016 18446744073709551615 4236668 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26175/statm: 84838 74154 329 96 0 81400 0
[pid=26176] ppid=26174 vsize=166280 CPUtime=12.79 cores=1
/proc/26176/stat : 26176 (clasp) R 26174 26174 26148 0 -1 4202496 53971 0 0 0 1272 7 0 0 25 0 1 0 493156342 170270720 38074 33554432000 4194304 4785740 140735313014560 18446744073709551615 4553288 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26176/statm: 41570 38074 340 145 0 38615 0
[pid=26177] ppid=26174 vsize=588144 CPUtime=12.78 cores=2
/proc/26177/stat : 26177 (TNM) R 26174 26174 26148 0 -1 4202496 45314 0 0 0 1268 10 0 0 25 0 1 0 493156342 602259456 45211 33554432000 134512640 134534564 4289121888 18446744073709551615 134524536 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26177/statm: 147036 45211 91 6 0 145702 0
[pid=26178] ppid=26174 vsize=571772 CPUtime=12.78 cores=3
/proc/26178/stat : 26178 (march_hi) R 26174 26174 26148 0 -1 4202496 249576 0 0 0 1245 33 0 0 25 0 1 0 493156342 585494528 117411 33554432000 4194304 4331988 140734575518160 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26178/statm: 142943 117411 151 34 0 141385 0
[pid=26179] ppid=26174 vsize=292508 CPUtime=44.86 cores=4-7
/proc/26179/stat : 26179 (plingeling) S 26174 26174 26148 0 -1 4202496 128453 1257 0 0 4467 19 0 0 18 0 5 0 493156342 299528192 61571 33554432000 4194304 4356188 140733689558848 18446744073709551615 220828039141 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/26179/statm: 73127 61571 164 40 0 71671 0
[pid=26179/tid=26186] ppid=26174 vsize=292508 CPUtime=10.65 cores=4-7
/proc/26179/task/26186/stat : 26186 (plingeling) R 26174 26174 26148 0 -1 4202560 13166 1257 0 0 1063 2 0 0 25 0 5 0 493156550 299528192 61571 33554432000 4194304 4356188 140733689558848 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26179/tid=26187] ppid=26174 vsize=292508 CPUtime=10.7 cores=4-7
/proc/26179/task/26187/stat : 26187 (plingeling) R 26174 26174 26148 0 -1 4202560 16711 1257 0 0 1068 2 0 0 25 0 5 0 493156550 299528192 61571 33554432000 4194304 4356188 140733689558848 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26179/tid=26188] ppid=26174 vsize=292508 CPUtime=10.7 cores=4-7
/proc/26179/task/26188/stat : 26188 (plingeling) R 26174 26174 26148 0 -1 4202560 16415 1257 0 0 1069 1 0 0 25 0 5 0 493156550 299528192 61571 33554432000 4194304 4356188 140733689558848 18446744073709551615 4211578 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26179/tid=26189] ppid=26174 vsize=292508 CPUtime=10.7 cores=4-7
/proc/26179/task/26189/stat : 26189 (plingeling) R 26174 26174 26148 0 -1 4202560 12355 1257 0 0 1068 2 0 0 25 0 5 0 493156550 299528192 61571 33554432000 4194304 4356188 140733689558848 18446744073709551615 4281620 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 95.99
Current children cumulated vsize (KiB) 1976380

[startup+13.6007 s]
/proc/loadavg: 2.50 1.33 1.11 9/180 26189
/proc/meminfo: memFree=24288468/32951124 swapFree=67111524/67111528
[pid=26174] ppid=26172 vsize=18324 CPUtime=0 cores=0-7
/proc/26174/stat : 26174 (ppfolio) S 26172 26174 26148 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 493156342 18763776 389 33554432000 4194304 4287625 140736297528576 18446744073709551615 220816256527 0 0 4096 65536 4591146733198639103 0 0 17 4 0 0 0
/proc/26174/statm: 4581 389 341 23 0 91 0
[pid=26175] ppid=26174 vsize=339352 CPUtime=13.58 cores=0
/proc/26175/stat : 26175 (cryptominisat) R 26174 26174 26148 0 -1 4202496 101721 0 0 0 1346 12 0 0 25 0 1 0 493156342 347496448 74409 33554432000 4194304 4587354 140734483190016 18446744073709551615 4238606 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26175/statm: 84838 74409 329 96 0 81400 0
[pid=26176] ppid=26174 vsize=166280 CPUtime=13.59 cores=1
/proc/26176/stat : 26176 (clasp) R 26174 26174 26148 0 -1 4202496 53971 0 0 0 1352 7 0 0 25 0 1 0 493156342 170270720 38074 33554432000 4194304 4785740 140735313014560 18446744073709551615 4552880 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26176/statm: 41570 38074 340 145 0 38615 0
[pid=26177] ppid=26174 vsize=588144 CPUtime=13.58 cores=2
/proc/26177/stat : 26177 (TNM) R 26174 26174 26148 0 -1 4202496 45314 0 0 0 1348 10 0 0 25 0 1 0 493156342 602259456 45211 33554432000 134512640 134534564 4289121888 18446744073709551615 134524550 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26177/statm: 147036 45211 91 6 0 145702 0
[pid=26178] ppid=26174 vsize=571772 CPUtime=13.58 cores=3
/proc/26178/stat : 26178 (march_hi) R 26174 26174 26148 0 -1 4202496 249576 0 0 0 1325 33 0 0 25 0 1 0 493156342 585494528 117411 33554432000 4194304 4331988 140734575518160 18446744073709551615 4271028 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26178/statm: 142943 117411 151 34 0 141385 0
[pid=26179] ppid=26174 vsize=292504 CPUtime=48.05 cores=4-7
/proc/26179/stat : 26179 (plingeling) S 26174 26174 26148 0 -1 4202496 128453 1257 0 0 4786 19 0 0 18 0 5 0 493156342 299524096 61570 33554432000 4194304 4356188 140733689558848 18446744073709551615 220828039141 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/26179/statm: 73126 61570 164 40 0 71670 0
[pid=26179/tid=26186] ppid=26174 vsize=292504 CPUtime=11.44 cores=4-7
/proc/26179/task/26186/stat : 26186 (plingeling) R 26174 26174 26148 0 -1 4202560 13166 1257 0 0 1142 2 0 0 25 0 5 0 493156550 299524096 61570 33554432000 4194304 4356188 140733689558848 18446744073709551615 4210610 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26179/tid=26187] ppid=26174 vsize=292504 CPUtime=11.5 cores=4-7
/proc/26179/task/26187/stat : 26187 (plingeling) R 26174 26174 26148 0 -1 4202560 16711 1257 0 0 1148 2 0 0 25 0 5 0 493156550 299524096 61570 33554432000 4194304 4356188 140733689558848 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26179/tid=26188] ppid=26174 vsize=292504 CPUtime=11.5 cores=4-7
/proc/26179/task/26188/stat : 26188 (plingeling) R 26174 26174 26148 0 -1 4202560 16415 1257 0 0 1149 1 0 0 25 0 5 0 493156550 299524096 61570 33554432000 4194304 4356188 140733689558848 18446744073709551615 4211311 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26179/tid=26189] ppid=26174 vsize=292504 CPUtime=11.5 cores=4-7
/proc/26179/task/26189/stat : 26189 (plingeling) R 26174 26174 26148 0 -1 4202560 12355 1257 0 0 1148 2 0 0 25 0 5 0 493156550 299524096 61570 33554432000 4194304 4356188 140733689558848 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 1976376

[startup+14.4065 s]
/proc/loadavg: 2.50 1.33 1.11 9/180 26189
/proc/meminfo: memFree=24287760/32951124 swapFree=67111524/67111528
[pid=26174] ppid=26172 vsize=18324 CPUtime=0 cores=0-7
/proc/26174/stat : 26174 (ppfolio) S 26172 26174 26148 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 493156342 18763776 389 33554432000 4194304 4287625 140736297528576 18446744073709551615 220816256527 0 0 4096 65536 4591146733198639103 0 0 17 4 0 0 0
/proc/26174/statm: 4581 389 341 23 0 91 0
[pid=26175] ppid=26174 vsize=339352 CPUtime=14.39 cores=0
/proc/26175/stat : 26175 (cryptominisat) R 26174 26174 26148 0 -1 4202496 101880 0 0 0 1427 12 0 0 25 0 1 0 493156342 347496448 74568 33554432000 4194304 4587354 140734483190016 18446744073709551615 4236870 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26175/statm: 84838 74568 329 96 0 81400 0
[pid=26176] ppid=26174 vsize=166280 CPUtime=14.39 cores=1
/proc/26176/stat : 26176 (clasp) R 26174 26174 26148 0 -1 4202496 53971 0 0 0 1432 7 0 0 25 0 1 0 493156342 170270720 38074 33554432000 4194304 4785740 140735313014560 18446744073709551615 4552901 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26176/statm: 41570 38074 340 145 0 38615 0
[pid=26177] ppid=26174 vsize=588144 CPUtime=14.38 cores=2
/proc/26177/stat : 26177 (TNM) R 26174 26174 26148 0 -1 4202496 45314 0 0 0 1428 10 0 0 25 0 1 0 493156342 602259456 45211 33554432000 134512640 134534564 4289121888 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26177/statm: 147036 45211 91 6 0 145702 0
[pid=26178] ppid=26174 vsize=571772 CPUtime=14.39 cores=3
/proc/26178/stat : 26178 (march_hi) R 26174 26174 26148 0 -1 4202496 249576 0 0 0 1406 33 0 0 25 0 1 0 493156342 585494528 117411 33554432000 4194304 4331988 140734575518160 18446744073709551615 4226618 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26178/statm: 142943 117411 151 34 0 141385 0
[pid=26179] ppid=26174 vsize=292504 CPUtime=51.27 cores=4-7
/proc/26179/stat : 26179 (plingeling) S 26174 26174 26148 0 -1 4202496 128453 1257 0 0 5108 19 0 0 18 0 5 0 493156342 299524096 61570 33554432000 4194304 4356188 140733689558848 18446744073709551615 220828039141 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/26179/statm: 73126 61570 164 40 0 71670 0
[pid=26179/tid=26186] ppid=26174 vsize=292504 CPUtime=12.24 cores=4-7
/proc/26179/task/26186/stat : 26186 (plingeling) R 26174 26174 26148 0 -1 4202560 13166 1257 0 0 1222 2 0 0 25 0 5 0 493156550 299524096 61570 33554432000 4194304 4356188 140733689558848 18446744073709551615 4208840 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26179/tid=26187] ppid=26174 vsize=292504 CPUtime=12.31 cores=4-7
/proc/26179/task/26187/stat : 26187 (plingeling) R 26174 26174 26148 0 -1 4202560 16711 1257 0 0 1229 2 0 0 25 0 5 0 493156550 299524096 61570 33554432000 4194304 4356188 140733689558848 18446744073709551615 4210596 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26179/tid=26188] ppid=26174 vsize=292504 CPUtime=12.31 cores=4-7
/proc/26179/task/26188/stat : 26188 (plingeling) R 26174 26174 26148 0 -1 4202560 16415 1257 0 0 1230 1 0 0 25 0 5 0 493156550 299524096 61570 33554432000 4194304 4356188 140733689558848 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26179/tid=26189] ppid=26174 vsize=292504 CPUtime=12.31 cores=4-7
/proc/26179/task/26189/stat : 26189 (plingeling) R 26174 26174 26148 0 -1 4202560 12355 1257 0 0 1229 2 0 0 25 0 5 0 493156550 299524096 61570 33554432000 4194304 4356188 140733689558848 18446744073709551615 4281578 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 108.82
Current children cumulated vsize (KiB) 1976376

[startup+14.8004 s]
/proc/loadavg: 2.50 1.33 1.11 9/180 26189
/proc/meminfo: memFree=24287760/32951124 swapFree=67111524/67111528
[pid=26174] ppid=26172 vsize=18324 CPUtime=0 cores=0-7
/proc/26174/stat : 26174 (ppfolio) S 26172 26174 26148 0 -1 4202496 519 0 0 0 0 0 0 0 15 0 1 0 493156342 18763776 389 33554432000 4194304 4287625 140736297528576 18446744073709551615 220816256527 0 0 4096 65536 4591146733198639103 0 0 17 4 0 0 0
/proc/26174/statm: 4581 389 341 23 0 91 0
[pid=26175] ppid=26174 vsize=339352 CPUtime=14.78 cores=0
/proc/26175/stat : 26175 (cryptominisat) R 26174 26174 26148 0 -1 4202496 101919 0 0 0 1466 12 0 0 25 0 1 0 493156342 347496448 74607 33554432000 4194304 4587354 140734483190016 18446744073709551615 4236580 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26175/statm: 84838 74607 329 96 0 81400 0
[pid=26176] ppid=26174 vsize=166280 CPUtime=14.79 cores=1
/proc/26176/stat : 26176 (clasp) R 26174 26174 26148 0 -1 4202496 53985 0 0 0 1472 7 0 0 25 0 1 0 493156342 170270720 38088 33554432000 4194304 4785740 140735313014560 18446744073709551615 220815892379 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26176/statm: 41570 38088 354 145 0 38615 0
[pid=26177] ppid=26174 vsize=588144 CPUtime=14.78 cores=2
/proc/26177/stat : 26177 (TNM) R 26174 26174 26148 0 -1 4202496 45314 0 0 0 1468 10 0 0 25 0 1 0 493156342 602259456 45211 33554432000 134512640 134534564 4289121888 18446744073709551615 134524491 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26177/statm: 147036 45211 91 6 0 145702 0
[pid=26178] ppid=26174 vsize=571772 CPUtime=14.78 cores=3
/proc/26178/stat : 26178 (march_hi) R 26174 26174 26148 0 -1 4202496 249576 0 0 0 1445 33 0 0 25 0 1 0 493156342 585494528 117411 33554432000 4194304 4331988 140734575518160 18446744073709551615 4271136 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26178/statm: 142943 117411 151 34 0 141385 0
[pid=26179] ppid=26174 vsize=292504 CPUtime=52.84 cores=4-7
/proc/26179/stat : 26179 (plingeling) S 26174 26174 26148 0 -1 4202496 128453 1257 0 0 5265 19 0 0 18 0 5 0 493156342 299524096 61570 33554432000 4194304 4356188 140733689558848 18446744073709551615 220828039141 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/26179/statm: 73126 61570 164 40 0 71670 0
[pid=26179/tid=26186] ppid=26174 vsize=292504 CPUtime=12.63 cores=4-7
/proc/26179/task/26186/stat : 26186 (plingeling) R 26174 26174 26148 0 -1 4202560 13166 1257 0 0 1261 2 0 0 25 0 5 0 493156550 299524096 61570 33554432000 4194304 4356188 140733689558848 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26179/tid=26187] ppid=26174 vsize=292504 CPUtime=12.7 cores=4-7
/proc/26179/task/26187/stat : 26187 (plingeling) R 26174 26174 26148 0 -1 4202560 16711 1257 0 0 1268 2 0 0 25 0 5 0 493156550 299524096 61570 33554432000 4194304 4356188 140733689558848 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26179/tid=26188] ppid=26174 vsize=292504 CPUtime=12.7 cores=4-7
/proc/26179/task/26188/stat : 26188 (plingeling) R 26174 26174 26148 0 -1 4202560 16415 1257 0 0 1269 1 0 0 25 0 5 0 493156550 299524096 61570 33554432000 4194304 4356188 140733689558848 18446744073709551615 4252624 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26179/tid=26189] ppid=26174 vsize=292504 CPUtime=12.7 cores=4-7
/proc/26179/task/26189/stat : 26189 (plingeling) R 26174 26174 26148 0 -1 4202560 12355 1257 0 0 1268 2 0 0 25 0 5 0 493156550 299524096 61570 33554432000 4194304 4356188 140733689558848 18446744073709551615 4210842 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 111.97
Current children cumulated vsize (KiB) 1976376

Child status: 0
Real time (s): 14.8504
CPU time (s): 112.344
CPU user time (s): 111.429
CPU system time (s): 0.91486
CPU usage (%): 756.503
Max. virtual memory (cumulated for all children) (KiB): 1976380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 111.429
system time used= 0.91486
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 581045
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= 686
involuntary context switches= 544

runsolver used 0.031995 second user time and 0.053991 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-28 18:16:44
IDJOB=3310241
IDBENCH=82409
IDSOLVER=1638
FILE ID=node147/3310241-1304007403
RUNJOBID= node147-1304007403-26162
PBS_JOBID= 13168832
Free space on /tmp= 72612 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-4.025-NOTKNOWN.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3310241-1304007403/watcher-3310241-1304007403 -o /tmp/evaluation-result-3310241-1304007403/solver-3310241-1304007403 -C 40000 -W 5100 -M 31000  ppfolio HOME/instance-3310241-1304007403.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 7a66f04f295b538081ccaebd0fd7d9b2
RANDOM SEED=2016550945

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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:      25633336 kB
Buffers:       1013508 kB
Cached:        5793944 kB
SwapCached:          4 kB
Active:        1243472 kB
Inactive:      5627680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25633336 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           56860 kB
Writeback:           0 kB
AnonPages:       63680 kB
Mapped:          14488 kB
Slab:           382284 kB
PageTables:       4312 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   183304 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= 72604 MiB
End job on node147 at 2011-04-28 18:16:59