Trace number 3291238

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 152.023 38.066

General information on the benchmark

NameSAT03/industrial/simon/sat02/
6pipe_6_ooo.shuffled-as.sat03-413.cnf
MD5SUM8bd122b0caab0988cbc54e4731b25623
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark21.2178
Satisfiable
(Un)Satisfiability was proved
Number of variables17064
Number of clauses545612
Sum of the clauses size1608428
Maximum clause length187
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2476931
Number of clauses of size 356141
Number of clauses of size 4301
Number of clauses of size 5290
Number of clauses of size over 511948

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
151.71/38.05	s UNSATISFIABLE
151.71/38.06	solver [2] clasp 1.3.6 answered
151.71/38.06	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-3291238-1304092325/watcher-3291238-1304092325 -o /tmp/evaluation-result-3291238-1304092325/solver-3291238-1304092325 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3291238-1304092325.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.14 9.10 5/181 1596
/proc/meminfo: memFree=31117516/32950928 swapFree=67111404/67111528
[pid=1596] ppid=1594 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1596/stat : 1596 (ppfolio) R 1594 1596 32278 0 -1 4194304 494 0 0 0 0 0 0 0 25 0 1 0 520831362 18763776 388 33554432000 4194304 4287625 140734114752064 18446744073709551615 235594264539 0 0 4096 65536 0 0 0 17 1 0 0 0
/proc/1596/statm: 4581 388 339 23 0 91 0

[startup+0.221688 s]
/proc/loadavg: 8.77 9.14 9.10 5/181 1596
/proc/meminfo: memFree=31117516/32950928 swapFree=67111404/67111528
[pid=1596] ppid=1594 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1596/stat : 1596 (ppfolio) S 1594 1596 32278 0 -1 4202496 523 0 0 0 0 0 0 0 25 0 1 0 520831362 18763776 390 33554432000 4194304 4287625 140734114752064 18446744073709551615 235594886671 0 0 4096 65536 13163177839924609023 0 0 17 1 0 0 0
/proc/1596/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300675 s]
/proc/loadavg: 8.77 9.14 9.10 5/181 1596
/proc/meminfo: memFree=31117516/32950928 swapFree=67111404/67111528
[pid=1596] ppid=1594 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1596/stat : 1596 (ppfolio) S 1594 1596 32278 0 -1 4202496 523 0 0 0 0 0 0 0 23 0 1 0 520831362 18763776 390 33554432000 4194304 4287625 140734114752064 18446744073709551615 235594886671 0 0 4096 65536 13163177839924609023 0 0 17 1 0 0 0
/proc/1596/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.400658 s]
/proc/loadavg: 8.77 9.14 9.10 5/181 1596
/proc/meminfo: memFree=31117516/32950928 swapFree=67111404/67111528
[pid=1596] ppid=1594 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1596/stat : 1596 (ppfolio) S 1594 1596 32278 0 -1 4202496 523 0 0 0 0 0 0 0 23 0 1 0 520831362 18763776 390 33554432000 4194304 4287625 140734114752064 18446744073709551615 235594886671 0 0 4096 65536 13163177839924609023 0 0 17 1 0 0 0
/proc/1596/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700605 s]
/proc/loadavg: 8.77 9.14 9.10 5/181 1596
/proc/meminfo: memFree=31117516/32950928 swapFree=67111404/67111528
[pid=1596] ppid=1594 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1596/stat : 1596 (ppfolio) S 1594 1596 32278 0 -1 4202496 523 0 0 0 0 0 0 0 23 0 1 0 520831362 18763776 390 33554432000 4194304 4287625 140734114752064 18446744073709551615 235594886671 0 0 4096 65536 13163177839924609023 0 0 17 1 0 0 0
/proc/1596/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50046 s]
/proc/loadavg: 8.77 9.14 9.10 11/187 1602
/proc/meminfo: memFree=30938428/32950928 swapFree=67111404/67111528
[pid=1596] ppid=1594 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1596/stat : 1596 (ppfolio) S 1594 1596 32278 0 -1 4202496 523 0 0 0 0 0 0 0 23 0 1 0 520831362 18763776 390 33554432000 4194304 4287625 140734114752064 18446744073709551615 235594886671 0 0 4096 65536 13163177839924609023 0 0 17 1 0 0 0
/proc/1596/statm: 4581 390 341 23 0 91 0
[pid=1597] ppid=1596 vsize=62080 CPUtime=1.49 cores=1
/proc/1597/stat : 1597 (cryptominisat) R 1596 1596 32278 0 -1 4202496 10651 0 0 0 148 1 0 0 25 0 1 0 520831362 63569920 10468 33554432000 4194304 4587354 140736722155712 18446744073709551615 4237641 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1597/statm: 15520 10468 305 96 0 12082 0
[pid=1598] ppid=1596 vsize=54960 CPUtime=1.49 cores=5
/proc/1598/stat : 1598 (clasp) R 1596 1596 32278 0 -1 4202496 13565 0 0 0 148 1 0 0 25 0 1 0 520831362 56279040 10572 33554432000 4194304 4785740 140737040878608 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1598/statm: 13740 10572 318 145 0 10785 0
[pid=1599] ppid=1596 vsize=485952 CPUtime=0.7 cores=7
/proc/1599/stat : 1599 (TNM) R 1596 1596 32278 0 -1 4202496 10995 0 0 0 69 1 0 0 25 0 1 0 520831362 497614848 10891 33554432000 134512640 134534564 4289152064 18446744073709551615 134524478 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1599/statm: 121488 10891 91 6 0 120154 0
[pid=1600] ppid=1596 vsize=26764 CPUtime=1.49 cores=3
/proc/1600/stat : 1600 (lingeling) R 1596 1596 32278 0 -1 4202496 8915 0 0 0 147 2 0 0 25 0 1 0 520831362 27406336 5592 33554432000 4194304 4352236 140735846202448 18446744073709551615 4283832 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1600/statm: 6691 5592 121 39 0 5771 0
[pid=1601] ppid=1596 vsize=60416 CPUtime=0.77 cores=7
/proc/1601/stat : 1601 (march_hi) R 1596 1596 32278 0 -1 4194304 11401 0 0 0 75 2 0 0 25 0 1 0 520831363 61865984 7869 33554432000 4194304 4331988 140733704184352 18446744073709551615 4261831 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1601/statm: 15104 7869 125 34 0 13546 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 708496

[startup+3.10119 s]
/proc/loadavg: 8.77 9.14 9.10 11/187 1602
/proc/meminfo: memFree=30928136/32950928 swapFree=67111404/67111528
[pid=1596] ppid=1594 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1596/stat : 1596 (ppfolio) S 1594 1596 32278 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520831362 18763776 390 33554432000 4194304 4287625 140734114752064 18446744073709551615 235594886671 0 0 4096 65536 13163177839924609023 0 0 17 1 0 0 0
/proc/1596/statm: 4581 390 341 23 0 91 0
[pid=1597] ppid=1596 vsize=81720 CPUtime=3.08 cores=1
/proc/1597/stat : 1597 (cryptominisat) R 1596 1596 32278 0 -1 4202496 15519 0 0 0 307 1 0 0 25 0 1 0 520831362 83681280 15335 33554432000 4194304 4587354 140736722155712 18446744073709551615 4367364 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1597/statm: 20430 15335 311 96 0 16992 0
[pid=1598] ppid=1596 vsize=54960 CPUtime=3.09 cores=5
/proc/1598/stat : 1598 (clasp) R 1596 1596 32278 0 -1 4202496 13566 0 0 0 308 1 0 0 25 0 1 0 520831362 56279040 10573 33554432000 4194304 4785740 140737040878608 18446744073709551615 4482895 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1598/statm: 13740 10573 319 145 0 10785 0
[pid=1599] ppid=1596 vsize=485952 CPUtime=1.5 cores=7
/proc/1599/stat : 1599 (TNM) R 1596 1596 32278 0 -1 4202496 10995 0 0 0 149 1 0 0 25 0 1 0 520831362 497614848 10891 33554432000 134512640 134534564 4289152064 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1599/statm: 121488 10891 91 6 0 120154 0
[pid=1600] ppid=1596 vsize=28712 CPUtime=3.09 cores=3
/proc/1600/stat : 1600 (lingeling) R 1596 1596 32278 0 -1 4202496 9412 0 0 0 307 2 0 0 25 0 1 0 520831362 29401088 6089 33554432000 4194304 4352236 140735846202448 18446744073709551615 4289842 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1600/statm: 7178 6089 125 39 0 6258 0
[pid=1601] ppid=1596 vsize=67712 CPUtime=1.56 cores=7
/proc/1601/stat : 1601 (march_hi) R 1596 1596 32278 0 -1 4194304 20612 0 0 0 153 3 0 0 25 0 1 0 520831363 69337088 10148 33554432000 4194304 4331988 140733704184352 18446744073709551615 4261831 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1601/statm: 16928 10148 128 34 0 15370 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 737380

[startup+6.30062 s]
/proc/loadavg: 8.79 9.14 9.10 10/187 1602
/proc/meminfo: memFree=30886880/32950928 swapFree=67111404/67111528
[pid=1596] ppid=1594 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1596/stat : 1596 (ppfolio) S 1594 1596 32278 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520831362 18763776 390 33554432000 4194304 4287625 140734114752064 18446744073709551615 235594886671 0 0 4096 65536 13163177839924609023 0 0 17 1 0 0 0
/proc/1596/statm: 4581 390 341 23 0 91 0
[pid=1597] ppid=1596 vsize=113828 CPUtime=6.29 cores=1
/proc/1597/stat : 1597 (cryptominisat) R 1596 1596 32278 0 -1 4202496 33315 0 0 0 625 4 0 0 25 0 1 0 520831362 116559872 22758 33554432000 4194304 4587354 140736722155712 18446744073709551615 4238595 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1597/statm: 28457 22758 326 96 0 25019 0
[pid=1598] ppid=1596 vsize=53080 CPUtime=6.29 cores=5
/proc/1598/stat : 1598 (clasp) R 1596 1596 32278 0 -1 4202496 14476 0 0 0 627 2 0 0 25 0 1 0 520831362 54353920 10417 33554432000 4194304 4785740 140737040878608 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1598/statm: 13270 10417 340 145 0 10315 0
[pid=1599] ppid=1596 vsize=485952 CPUtime=3.1 cores=7
/proc/1599/stat : 1599 (TNM) R 1596 1596 32278 0 -1 4202496 10995 0 0 0 309 1 0 0 25 0 1 0 520831362 497614848 10891 33554432000 134512640 134534564 4289152064 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1599/statm: 121488 10891 91 6 0 120154 0
[pid=1600] ppid=1596 vsize=29376 CPUtime=6.29 cores=3
/proc/1600/stat : 1600 (lingeling) R 1596 1596 32278 0 -1 4202496 10178 0 0 0 627 2 0 0 25 0 1 0 520831362 30081024 6512 33554432000 4194304 4352236 140735846202448 18446744073709551615 4235886 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1600/statm: 7344 6512 127 39 0 6424 0
[pid=1601] ppid=1596 vsize=67708 CPUtime=3.14 cores=7
/proc/1601/stat : 1601 (march_hi) R 1596 1596 32278 0 -1 4202496 48201 0 0 0 307 7 0 0 25 0 1 0 520831363 69332992 10151 33554432000 4194304 4331988 140733704184352 18446744073709551615 4257036 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1601/statm: 16927 10151 149 34 0 15369 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 768268

[startup+12.7005 s]
/proc/loadavg: 8.81 9.14 9.10 11/187 1602
/proc/meminfo: memFree=30858732/32950928 swapFree=67111404/67111528
[pid=1596] ppid=1594 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1596/stat : 1596 (ppfolio) S 1594 1596 32278 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520831362 18763776 390 33554432000 4194304 4287625 140734114752064 18446744073709551615 235594886671 0 0 4096 65536 13163177839924609023 0 0 17 1 0 0 0
/proc/1596/statm: 4581 390 341 23 0 91 0
[pid=1597] ppid=1596 vsize=120592 CPUtime=12.68 cores=1
/proc/1597/stat : 1597 (cryptominisat) R 1596 1596 32278 0 -1 4202496 36694 0 0 0 1264 4 0 0 25 0 1 0 520831362 123486208 23243 33554432000 4194304 4587354 140736722155712 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1597/statm: 30148 23243 338 96 0 26710 0
[pid=1598] ppid=1596 vsize=60700 CPUtime=12.68 cores=5
/proc/1598/stat : 1598 (clasp) R 1596 1596 32278 0 -1 4202496 16518 0 0 0 1266 2 0 0 25 0 1 0 520831362 62156800 12459 33554432000 4194304 4785740 140737040878608 18446744073709551615 4312619 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1598/statm: 15175 12459 340 145 0 12220 0
[pid=1599] ppid=1596 vsize=485952 CPUtime=6.3 cores=7
/proc/1599/stat : 1599 (TNM) R 1596 1596 32278 0 -1 4202496 10995 0 0 0 629 1 0 0 25 0 1 0 520831362 497614848 10891 33554432000 134512640 134534564 4289152064 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1599/statm: 121488 10891 91 6 0 120154 0
[pid=1600] ppid=1596 vsize=41380 CPUtime=12.69 cores=3
/proc/1600/stat : 1600 (lingeling) R 1596 1596 32278 0 -1 4202496 13120 0 0 0 1267 2 0 0 25 0 1 0 520831362 42373120 8811 33554432000 4194304 4352236 140735846202448 18446744073709551615 4262891 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1600/statm: 10345 8811 127 39 0 9425 0
[pid=1601] ppid=1596 vsize=81576 CPUtime=6.3 cores=7
/proc/1601/stat : 1601 (march_hi) R 1596 1596 32278 0 -1 4202496 58503 0 0 0 622 8 0 0 25 0 1 0 520831363 83533824 13565 33554432000 4194304 4331988 140733704184352 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1601/statm: 20394 13565 150 34 0 18836 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 808524

[startup+25.5072 s]
/proc/loadavg: 9.01 9.16 9.10 11/188 1636
/proc/meminfo: memFree=31008540/32950928 swapFree=67111404/67111528
[pid=1596] ppid=1594 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1596/stat : 1596 (ppfolio) S 1594 1596 32278 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520831362 18763776 390 33554432000 4194304 4287625 140734114752064 18446744073709551615 235594886671 0 0 4096 65536 13163177839924609023 0 0 17 1 0 0 0
/proc/1596/statm: 4581 390 341 23 0 91 0
[pid=1597] ppid=1596 vsize=1136224 CPUtime=25.5 cores=1
/proc/1597/stat : 1597 (cryptominisat) R 1596 1596 32278 0 -1 4202496 48442 0 0 0 2544 6 0 0 25 0 1 0 520831362 1163493376 25558 33554432000 4194304 4587354 140736722155712 18446744073709551615 4237627 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1597/statm: 284056 25558 338 96 0 280618 0
[pid=1598] ppid=1596 vsize=109564 CPUtime=25.48 cores=5
/proc/1598/stat : 1598 (clasp) R 1596 1596 32278 0 -1 4202496 28663 0 0 0 2544 4 0 0 25 0 1 0 520831362 112193536 24604 33554432000 4194304 4785740 140737040878608 18446744073709551615 235594527429 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1598/statm: 27391 24604 340 145 0 24436 0
[pid=1599] ppid=1596 vsize=485952 CPUtime=12.65 cores=7
/proc/1599/stat : 1599 (TNM) R 1596 1596 32278 0 -1 4202496 10995 0 0 0 1264 1 0 0 25 0 1 0 520831362 497614848 10891 33554432000 134512640 134534564 4289152064 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1599/statm: 121488 10891 91 6 0 120154 0
[pid=1600] ppid=1596 vsize=42000 CPUtime=25.49 cores=3
/proc/1600/stat : 1600 (lingeling) R 1596 1596 32278 0 -1 4202496 13983 0 0 0 2547 2 0 0 25 0 1 0 520831362 43008000 9668 33554432000 4194304 4352236 140735846202448 18446744073709551615 4207874 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1600/statm: 10500 9668 127 39 0 9580 0
[pid=1601] ppid=1596 vsize=107492 CPUtime=12.69 cores=7
/proc/1601/stat : 1601 (march_hi) R 1596 1596 32278 0 -1 4202496 64991 0 0 0 1259 10 0 0 25 0 1 0 520831363 110071808 20053 33554432000 4194304 4331988 140733704184352 18446744073709551615 4271154 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1601/statm: 26873 20053 150 34 0 25315 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 1899556

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

[startup+25.7012 s]
/proc/loadavg: 9.01 9.16 9.10 11/188 1636
/proc/meminfo: memFree=31008540/32950928 swapFree=67111404/67111528
[pid=1596] ppid=1594 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1596/stat : 1596 (ppfolio) S 1594 1596 32278 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520831362 18763776 390 33554432000 4194304 4287625 140734114752064 18446744073709551615 235594886671 0 0 4096 65536 13163177839924609023 0 0 17 1 0 0 0
/proc/1596/statm: 4581 390 341 23 0 91 0
[pid=1597] ppid=1596 vsize=1136224 CPUtime=25.69 cores=1
/proc/1597/stat : 1597 (cryptominisat) R 1596 1596 32278 0 -1 4202496 48479 0 0 0 2563 6 0 0 25 0 1 0 520831362 1163493376 25593 33554432000 4194304 4587354 140736722155712 18446744073709551615 4238736 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1597/statm: 284056 25593 338 96 0 280618 0
[pid=1598] ppid=1596 vsize=109964 CPUtime=25.67 cores=5
/proc/1598/stat : 1598 (clasp) R 1596 1596 32278 0 -1 4202496 28782 0 0 0 2563 4 0 0 25 0 1 0 520831362 112603136 24723 33554432000 4194304 4785740 140737040878608 18446744073709551615 4312619 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1598/statm: 27491 24723 340 145 0 24536 0
[pid=1599] ppid=1596 vsize=485952 CPUtime=12.74 cores=7
/proc/1599/stat : 1599 (TNM) R 1596 1596 32278 0 -1 4202496 10995 0 0 0 1273 1 0 0 25 0 1 0 520831362 497614848 10891 33554432000 134512640 134534564 4289152064 18446744073709551615 134524727 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1599/statm: 121488 10891 91 6 0 120154 0
[pid=1600] ppid=1596 vsize=42000 CPUtime=25.69 cores=3
/proc/1600/stat : 1600 (lingeling) R 1596 1596 32278 0 -1 4202496 13983 0 0 0 2567 2 0 0 25 0 1 0 520831362 43008000 9668 33554432000 4194304 4352236 140735846202448 18446744073709551615 4328026 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1600/statm: 10500 9668 127 39 0 9580 0
[pid=1601] ppid=1596 vsize=107624 CPUtime=12.79 cores=7
/proc/1601/stat : 1601 (march_hi) R 1596 1596 32278 0 -1 4202496 65048 0 0 0 1269 10 0 0 25 0 1 0 520831363 110206976 20110 33554432000 4194304 4331988 140733704184352 18446744073709551615 235594527429 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1601/statm: 26906 20110 150 34 0 25348 0
Current children cumulated CPU time (s) 102.58
Current children cumulated vsize (KiB) 1900088

[startup+32.1071 s]
/proc/loadavg: 9.01 9.16 9.10 10/187 1636
/proc/meminfo: memFree=30987360/32950928 swapFree=67111404/67111528
[pid=1596] ppid=1594 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1596/stat : 1596 (ppfolio) S 1594 1596 32278 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520831362 18763776 390 33554432000 4194304 4287625 140734114752064 18446744073709551615 235594886671 0 0 4096 65536 13163177839924609023 0 0 17 1 0 0 0
/proc/1596/statm: 4581 390 341 23 0 91 0
[pid=1597] ppid=1596 vsize=1136224 CPUtime=32.1 cores=1
/proc/1597/stat : 1597 (cryptominisat) R 1596 1596 32278 0 -1 4202496 48486 0 0 0 3204 6 0 0 25 0 1 0 520831362 1163493376 25599 33554432000 4194304 4587354 140736722155712 18446744073709551615 4364904 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1597/statm: 284056 25599 338 96 0 280618 0
[pid=1598] ppid=1596 vsize=126292 CPUtime=32.08 cores=5
/proc/1598/stat : 1598 (clasp) R 1596 1596 32278 0 -1 4202496 32801 0 0 0 3203 5 0 0 25 0 1 0 520831362 129323008 28742 33554432000 4194304 4785740 140737040878608 18446744073709551615 4290578 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1598/statm: 31573 28742 340 145 0 28618 0
[pid=1599] ppid=1596 vsize=485952 CPUtime=15.91 cores=7
/proc/1599/stat : 1599 (TNM) R 1596 1596 32278 0 -1 4202496 10995 0 0 0 1590 1 0 0 25 0 1 0 520831362 497614848 10891 33554432000 134512640 134534564 4289152064 18446744073709551615 134524563 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1599/statm: 121488 10891 91 6 0 120154 0
[pid=1600] ppid=1596 vsize=46264 CPUtime=32.09 cores=3
/proc/1600/stat : 1600 (lingeling) R 1596 1596 32278 0 -1 4202496 15049 0 0 0 3207 2 0 0 25 0 1 0 520831362 47374336 10734 33554432000 4194304 4352236 140735846202448 18446744073709551615 4327902 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1600/statm: 11566 10734 127 39 0 10646 0
[pid=1601] ppid=1596 vsize=116100 CPUtime=15.99 cores=7
/proc/1601/stat : 1601 (march_hi) R 1596 1596 32278 0 -1 4202496 66682 0 0 0 1589 10 0 0 25 0 1 0 520831363 118886400 21744 33554432000 4194304 4331988 140733704184352 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1601/statm: 29025 21744 150 34 0 27467 0
Current children cumulated CPU time (s) 128.17
Current children cumulated vsize (KiB) 1929156

[startup+35.3005 s]
/proc/loadavg: 9.01 9.16 9.10 10/187 1636
/proc/meminfo: memFree=30975204/32950928 swapFree=67111404/67111528
[pid=1596] ppid=1594 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1596/stat : 1596 (ppfolio) S 1594 1596 32278 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520831362 18763776 390 33554432000 4194304 4287625 140734114752064 18446744073709551615 235594886671 0 0 4096 65536 13163177839924609023 0 0 17 1 0 0 0
/proc/1596/statm: 4581 390 341 23 0 91 0
[pid=1597] ppid=1596 vsize=1136224 CPUtime=35.29 cores=1
/proc/1597/stat : 1597 (cryptominisat) R 1596 1596 32278 0 -1 4202496 48859 0 0 0 3523 6 0 0 25 0 1 0 520831362 1163493376 25971 33554432000 4194304 4587354 140736722155712 18446744073709551615 4365136 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1597/statm: 284056 25971 338 96 0 280618 0
[pid=1598] ppid=1596 vsize=126732 CPUtime=35.27 cores=5
/proc/1598/stat : 1598 (clasp) R 1596 1596 32278 0 -1 4202496 32905 0 0 0 3522 5 0 0 25 0 1 0 520831362 129773568 28846 33554432000 4194304 4785740 140737040878608 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1598/statm: 31683 28846 340 145 0 28728 0
[pid=1599] ppid=1596 vsize=485952 CPUtime=17.5 cores=7
/proc/1599/stat : 1599 (TNM) R 1596 1596 32278 0 -1 4202496 10995 0 0 0 1749 1 0 0 25 0 1 0 520831362 497614848 10891 33554432000 134512640 134534564 4289152064 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1599/statm: 121488 10891 91 6 0 120154 0
[pid=1600] ppid=1596 vsize=43684 CPUtime=35.29 cores=3
/proc/1600/stat : 1600 (lingeling) R 1596 1596 32278 0 -1 4202496 15049 0 0 0 3527 2 0 0 25 0 1 0 520831362 44732416 10089 33554432000 4194304 4352236 140735846202448 18446744073709551615 4328090 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1600/statm: 10921 10089 127 39 0 10001 0
[pid=1601] ppid=1596 vsize=119532 CPUtime=17.59 cores=7
/proc/1601/stat : 1601 (march_hi) R 1596 1596 32278 0 -1 4202496 67564 0 0 0 1748 11 0 0 25 0 1 0 520831363 122400768 22626 33554432000 4194304 4331988 140733704184352 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1601/statm: 29883 22626 150 34 0 28325 0
Current children cumulated CPU time (s) 140.94
Current children cumulated vsize (KiB) 1930448

[startup+36.9012 s]
/proc/loadavg: 9.01 9.16 9.10 10/187 1636
/proc/meminfo: memFree=30959332/32950928 swapFree=67111404/67111528
[pid=1596] ppid=1594 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1596/stat : 1596 (ppfolio) S 1594 1596 32278 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520831362 18763776 390 33554432000 4194304 4287625 140734114752064 18446744073709551615 235594886671 0 0 4096 65536 13163177839924609023 0 0 17 1 0 0 0
/proc/1596/statm: 4581 390 341 23 0 91 0
[pid=1597] ppid=1596 vsize=1148428 CPUtime=36.89 cores=1
/proc/1597/stat : 1597 (cryptominisat) R 1596 1596 32278 0 -1 4202496 52001 0 0 0 3683 6 0 0 25 0 1 0 520831362 1175990272 29113 33554432000 4194304 4587354 140736722155712 18446744073709551615 4364908 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1597/statm: 287107 29113 338 96 0 283669 0
[pid=1598] ppid=1596 vsize=126872 CPUtime=36.87 cores=5
/proc/1598/stat : 1598 (clasp) R 1596 1596 32278 0 -1 4202496 32935 0 0 0 3682 5 0 0 25 0 1 0 520831362 129916928 28876 33554432000 4194304 4785740 140737040878608 18446744073709551615 235594564222 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1598/statm: 31718 28876 340 145 0 28763 0
[pid=1599] ppid=1596 vsize=485952 CPUtime=18.3 cores=7
/proc/1599/stat : 1599 (TNM) R 1596 1596 32278 0 -1 4202496 10995 0 0 0 1829 1 0 0 25 0 1 0 520831362 497614848 10891 33554432000 134512640 134534564 4289152064 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1599/statm: 121488 10891 91 6 0 120154 0
[pid=1600] ppid=1596 vsize=43684 CPUtime=36.88 cores=3
/proc/1600/stat : 1600 (lingeling) R 1596 1596 32278 0 -1 4202496 15049 0 0 0 3686 2 0 0 25 0 1 0 520831362 44732416 10089 33554432000 4194304 4352236 140735846202448 18446744073709551615 4241459 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1600/statm: 10921 10089 127 39 0 10001 0
[pid=1601] ppid=1596 vsize=120192 CPUtime=18.38 cores=7
/proc/1601/stat : 1601 (march_hi) R 1596 1596 32278 0 -1 4202496 67735 0 0 0 1827 11 0 0 25 0 1 0 520831363 123076608 22797 33554432000 4194304 4331988 140733704184352 18446744073709551615 4226642 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1601/statm: 30048 22797 150 34 0 28490 0
Current children cumulated CPU time (s) 147.32
Current children cumulated vsize (KiB) 1943452

[startup+37.7011 s]
/proc/loadavg: 9.01 9.16 9.10 10/187 1636
/proc/meminfo: memFree=30959884/32950928 swapFree=67111404/67111528
[pid=1596] ppid=1594 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1596/stat : 1596 (ppfolio) S 1594 1596 32278 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520831362 18763776 390 33554432000 4194304 4287625 140734114752064 18446744073709551615 235594886671 0 0 4096 65536 13163177839924609023 0 0 17 1 0 0 0
/proc/1596/statm: 4581 390 341 23 0 91 0
[pid=1597] ppid=1596 vsize=1148428 CPUtime=37.69 cores=1
/proc/1597/stat : 1597 (cryptominisat) R 1596 1596 32278 0 -1 4202496 52001 0 0 0 3763 6 0 0 25 0 1 0 520831362 1175990272 29113 33554432000 4194304 4587354 140736722155712 18446744073709551615 4307706 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1597/statm: 287107 29113 338 96 0 283669 0
[pid=1598] ppid=1596 vsize=126872 CPUtime=37.67 cores=5
/proc/1598/stat : 1598 (clasp) R 1596 1596 32278 0 -1 4202496 32939 0 0 0 3762 5 0 0 25 0 1 0 520831362 129916928 28880 33554432000 4194304 4785740 140737040878608 18446744073709551615 4290648 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1598/statm: 31718 28880 340 145 0 28763 0
[pid=1599] ppid=1596 vsize=485952 CPUtime=18.7 cores=7
/proc/1599/stat : 1599 (TNM) R 1596 1596 32278 0 -1 4202496 10995 0 0 0 1869 1 0 0 25 0 1 0 520831362 497614848 10891 33554432000 134512640 134534564 4289152064 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1599/statm: 121488 10891 91 6 0 120154 0
[pid=1600] ppid=1596 vsize=43684 CPUtime=37.68 cores=3
/proc/1600/stat : 1600 (lingeling) R 1596 1596 32278 0 -1 4202496 15049 0 0 0 3766 2 0 0 25 0 1 0 520831362 44732416 10089 33554432000 4194304 4352236 140735846202448 18446744073709551615 4234453 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1600/statm: 10921 10089 127 39 0 10001 0
[pid=1601] ppid=1596 vsize=120984 CPUtime=18.77 cores=7
/proc/1601/stat : 1601 (march_hi) R 1596 1596 32278 0 -1 4202496 67946 0 0 0 1866 11 0 0 25 0 1 0 520831363 123887616 23008 33554432000 4194304 4331988 140733704184352 18446744073709551615 4226642 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1601/statm: 30246 23008 150 34 0 28688 0
Current children cumulated CPU time (s) 150.51
Current children cumulated vsize (KiB) 1944244

[startup+37.9011 s]
/proc/loadavg: 9.01 9.16 9.10 10/187 1636
/proc/meminfo: memFree=30959884/32950928 swapFree=67111404/67111528
[pid=1596] ppid=1594 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1596/stat : 1596 (ppfolio) S 1594 1596 32278 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520831362 18763776 390 33554432000 4194304 4287625 140734114752064 18446744073709551615 235594886671 0 0 4096 65536 13163177839924609023 0 0 17 1 0 0 0
/proc/1596/statm: 4581 390 341 23 0 91 0
[pid=1597] ppid=1596 vsize=1148428 CPUtime=37.89 cores=1
/proc/1597/stat : 1597 (cryptominisat) R 1596 1596 32278 0 -1 4202496 52062 0 0 0 3783 6 0 0 25 0 1 0 520831362 1175990272 29173 33554432000 4194304 4587354 140736722155712 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1597/statm: 287107 29173 338 96 0 283669 0
[pid=1598] ppid=1596 vsize=126872 CPUtime=37.87 cores=5
/proc/1598/stat : 1598 (clasp) R 1596 1596 32278 0 -1 4202496 32939 0 0 0 3782 5 0 0 25 0 1 0 520831362 129916928 28880 33554432000 4194304 4785740 140737040878608 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1598/statm: 31718 28880 340 145 0 28763 0
[pid=1599] ppid=1596 vsize=485952 CPUtime=18.8 cores=7
/proc/1599/stat : 1599 (TNM) R 1596 1596 32278 0 -1 4202496 10995 0 0 0 1879 1 0 0 25 0 1 0 520831362 497614848 10891 33554432000 134512640 134534564 4289152064 18446744073709551615 134524554 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1599/statm: 121488 10891 91 6 0 120154 0
[pid=1600] ppid=1596 vsize=43684 CPUtime=37.88 cores=3
/proc/1600/stat : 1600 (lingeling) R 1596 1596 32278 0 -1 4202496 15049 0 0 0 3786 2 0 0 25 0 1 0 520831362 44732416 10089 33554432000 4194304 4352236 140735846202448 18446744073709551615 4328090 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1600/statm: 10921 10089 127 39 0 10001 0
[pid=1601] ppid=1596 vsize=120984 CPUtime=18.87 cores=7
/proc/1601/stat : 1601 (march_hi) R 1596 1596 32278 0 -1 4202496 67958 0 0 0 1876 11 0 0 25 0 1 0 520831363 123887616 23020 33554432000 4194304 4331988 140733704184352 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1601/statm: 30246 23020 150 34 0 28688 0
Current children cumulated CPU time (s) 151.31
Current children cumulated vsize (KiB) 1944244

[startup+38.001 s]
/proc/loadavg: 9.01 9.16 9.10 10/187 1636
/proc/meminfo: memFree=30959884/32950928 swapFree=67111404/67111528
[pid=1596] ppid=1594 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1596/stat : 1596 (ppfolio) S 1594 1596 32278 0 -1 4202496 523 0 0 0 0 0 0 0 15 0 1 0 520831362 18763776 390 33554432000 4194304 4287625 140734114752064 18446744073709551615 235594886671 0 0 4096 65536 13163177839924609023 0 0 17 1 0 0 0
/proc/1596/statm: 4581 390 341 23 0 91 0
[pid=1597] ppid=1596 vsize=1148428 CPUtime=37.99 cores=1
/proc/1597/stat : 1597 (cryptominisat) R 1596 1596 32278 0 -1 4202496 52092 0 0 0 3793 6 0 0 25 0 1 0 520831362 1175990272 29202 33554432000 4194304 4587354 140736722155712 18446744073709551615 4241106 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1597/statm: 287107 29202 338 96 0 283669 0
[pid=1598] ppid=1596 vsize=126872 CPUtime=37.97 cores=5
/proc/1598/stat : 1598 (clasp) R 1596 1596 32278 0 -1 4202496 32939 0 0 0 3792 5 0 0 25 0 1 0 520831362 129916928 28880 33554432000 4194304 4785740 140737040878608 18446744073709551615 4547712 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1598/statm: 31718 28880 340 145 0 28763 0
[pid=1599] ppid=1596 vsize=485952 CPUtime=18.88 cores=7
/proc/1599/stat : 1599 (TNM) R 1596 1596 32278 0 -1 4202496 10995 0 0 0 1887 1 0 0 25 0 1 0 520831362 497614848 10891 33554432000 134512640 134534564 4289152064 18446744073709551615 134524582 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1599/statm: 121488 10891 91 6 0 120154 0
[pid=1600] ppid=1596 vsize=43684 CPUtime=37.98 cores=3
/proc/1600/stat : 1600 (lingeling) R 1596 1596 32278 0 -1 4202496 15049 0 0 0 3796 2 0 0 25 0 1 0 520831362 44732416 10089 33554432000 4194304 4352236 140735846202448 18446744073709551615 4328026 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1600/statm: 10921 10089 127 39 0 10001 0
[pid=1601] ppid=1596 vsize=120984 CPUtime=18.89 cores=7
/proc/1601/stat : 1601 (march_hi) R 1596 1596 32278 0 -1 4202496 67962 0 0 0 1878 11 0 0 25 0 1 0 520831363 123887616 23024 33554432000 4194304 4331988 140733704184352 18446744073709551615 4271154 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1601/statm: 30246 23024 150 34 0 28688 0
Current children cumulated CPU time (s) 151.71
Current children cumulated vsize (KiB) 1944244

Child status: 0
Real time (s): 38.066
CPU time (s): 152.023
CPU user time (s): 151.714
CPU system time (s): 0.308953
CPU usage (%): 399.367
Max. virtual memory (cumulated for all children) (KiB): 1944244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 151.714
system time used= 0.308953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179619
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= 99
involuntary context switches= 1240

runsolver used 0.054991 second user time and 0.155976 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 17:52:06
IDJOB=3291238
IDBENCH=84172
IDSOLVER=1612
FILE ID=node120/3291238-1304092325
RUNJOBID= node120-1304089842-1247
PBS_JOBID= 13170527
Free space on /tmp= 72056 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT03/industrial/simon/sat02/6pipe_6_ooo.shuffled-as.sat03-413.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291238-1304092325/watcher-3291238-1304092325 -o /tmp/evaluation-result-3291238-1304092325/solver-3291238-1304092325 -C 4800 -W 1300 -M 15500  ppfolio HOME/instance-3291238-1304092325.cnf

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

MD5SUM BENCH= 8bd122b0caab0988cbc54e4731b25623
RANDOM SEED=1030012592

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31117672 kB
Buffers:        473856 kB
Cached:         630852 kB
SwapCached:          8 kB
Active:         733296 kB
Inactive:       739844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31117672 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:           20612 kB
Writeback:           0 kB
AnonPages:      367796 kB
Mapped:          16592 kB
Slab:           296420 kB
PageTables:       5768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1005264 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= 72044 MiB
End job on node120 at 2011-04-29 17:52:44