Trace number 3221439

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 74.8196 9.36397

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf
MD5SUM7fa3ae3894a5c333ebdaa99700e2c639
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark9.23459
Satisfiable
(Un)Satisfiability was proved
Number of variables350
Number of clauses1491
Sum of the clauses size4473
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31491
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	This is pico-portfolio, a naive parallel portfolio
0.00/0.00	Copyright (C) 2011 Olivier Roussel
0.00/0.00	Using 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
74.28/9.36	s UNSATISFIABLE
74.28/9.36	solver [4] march_hi 2009 answered
74.28/9.36	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-3221439-1304161604/watcher-3221439-1304161604 -o /tmp/evaluation-result-3221439-1304161604/solver-3221439-1304161604 -C 40000 -W 5000 -M 31000 ppfolio HOME/instance-3221439-1304161604.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): 5000 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: 7.15 7.87 7.95 2/170 12506
/proc/meminfo: memFree=23006052/32950928 swapFree=67111524/67111528
[pid=12506] ppid=12504 vsize=18324 CPUtime=0 cores=0-7
/proc/12506/stat : 12506 (ppfolio) R 12504 12506 12397 0 -1 4202496 518 0 0 0 0 0 0 0 25 0 1 0 527760078 18763776 389 33554432000 4194304 4287625 140736740686384 18446744073709551615 274473987599 0 0 4096 65536 0 0 0 17 0 0 0 0
/proc/12506/statm: 4581 389 341 23 0 91 0

[startup+0.809722 s]
/proc/loadavg: 7.15 7.87 7.95 2/170 12506
/proc/meminfo: memFree=23006052/32950928 swapFree=67111524/67111528
[pid=12506] ppid=12504 vsize=18324 CPUtime=0 cores=0-7
/proc/12506/stat : 12506 (ppfolio) S 12504 12506 12397 0 -1 4202496 518 0 0 0 0 0 0 0 19 0 1 0 527760078 18763776 389 33554432000 4194304 4287625 140736740686384 18446744073709551615 274473987599 0 0 4096 65536 4155573690026688511 0 0 17 4 0 0 0
/proc/12506/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.900705 s]
/proc/loadavg: 7.15 7.87 7.95 2/170 12506
/proc/meminfo: memFree=23006052/32950928 swapFree=67111524/67111528
[pid=12506] ppid=12504 vsize=18324 CPUtime=0 cores=0-7
/proc/12506/stat : 12506 (ppfolio) S 12504 12506 12397 0 -1 4202496 518 0 0 0 0 0 0 0 18 0 1 0 527760078 18763776 389 33554432000 4194304 4287625 140736740686384 18446744073709551615 274473987599 0 0 4096 65536 4155573690026688511 0 0 17 4 0 0 0
/proc/12506/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.00069 s]
/proc/loadavg: 7.15 7.87 7.95 2/170 12506
/proc/meminfo: memFree=23006052/32950928 swapFree=67111524/67111528
[pid=12506] ppid=12504 vsize=18324 CPUtime=0 cores=0-7
/proc/12506/stat : 12506 (ppfolio) S 12504 12506 12397 0 -1 4202496 518 0 0 0 0 0 0 0 17 0 1 0 527760078 18763776 389 33554432000 4194304 4287625 140736740686384 18446744073709551615 274473987599 0 0 4096 65536 4155573690026688511 0 0 17 4 0 0 0
/proc/12506/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.10067 s]
/proc/loadavg: 7.15 7.87 7.95 2/170 12506
/proc/meminfo: memFree=23006052/32950928 swapFree=67111524/67111528
[pid=12506] ppid=12504 vsize=18324 CPUtime=0 cores=0-7
/proc/12506/stat : 12506 (ppfolio) S 12504 12506 12397 0 -1 4202496 518 0 0 0 0 0 0 0 16 0 1 0 527760078 18763776 389 33554432000 4194304 4287625 140736740686384 18446744073709551615 274473987599 0 0 4096 65536 4155573690026688511 0 0 17 4 0 0 0
/proc/12506/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.5006 s]
/proc/loadavg: 7.15 7.87 7.95 2/170 12506
/proc/meminfo: memFree=23006052/32950928 swapFree=67111524/67111528
[pid=12506] ppid=12504 vsize=18324 CPUtime=0 cores=0-7
/proc/12506/stat : 12506 (ppfolio) S 12504 12506 12397 0 -1 4202496 518 0 0 0 0 0 0 0 15 0 1 0 527760078 18763776 389 33554432000 4194304 4287625 140736740686384 18446744073709551615 274473987599 0 0 4096 65536 4155573690026688511 0 0 17 4 0 0 0
/proc/12506/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+3.10132 s]
/proc/loadavg: 7.15 7.87 7.95 9/180 12521
/proc/meminfo: memFree=22979684/32950928 swapFree=67111524/67111528
[pid=12506] ppid=12504 vsize=18324 CPUtime=0 cores=0-7
/proc/12506/stat : 12506 (ppfolio) S 12504 12506 12397 0 -1 4202496 518 0 0 0 0 0 0 0 15 0 1 0 527760078 18763776 389 33554432000 4194304 4287625 140736740686384 18446744073709551615 274473987599 0 0 4096 65536 4155573690026688511 0 0 17 4 0 0 0
/proc/12506/statm: 4581 389 341 23 0 91 0
[pid=12507] ppid=12506 vsize=1799436 CPUtime=3.09 cores=0
/proc/12507/stat : 12507 (cryptominisat) R 12506 12506 12397 0 -1 4202496 4498 0 0 0 309 0 0 0 25 0 1 0 527760078 1842622464 2863 33554432000 4194304 4587354 140734404683856 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12507/statm: 449859 2863 337 96 0 446421 0
[pid=12508] ppid=12506 vsize=14288 CPUtime=3.09 cores=1
/proc/12508/stat : 12508 (clasp) R 12506 12506 12397 0 -1 4202496 1019 0 0 0 309 0 0 0 25 0 1 0 527760078 14630912 908 33554432000 4194304 4785740 140736937720192 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12508/statm: 3572 908 340 145 0 617 0
[pid=12509] ppid=12506 vsize=455844 CPUtime=3.09 cores=2
/proc/12509/stat : 12509 (TNM) R 12506 12506 12397 0 -1 4202496 312 0 0 0 309 0 0 0 25 0 1 0 527760078 466784256 209 33554432000 134512640 134534564 4287755744 18446744073709551615 134528628 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12509/statm: 113961 209 95 6 0 112627 0
[pid=12510] ppid=12506 vsize=7436 CPUtime=3.09 cores=3
/proc/12510/stat : 12510 (march_hi) R 12506 12506 12397 0 -1 4202496 505 0 0 0 309 0 0 0 25 0 1 0 527760078 7614464 398 33554432000 4194304 4331988 140737065838848 18446744073709551615 4211587 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12510/statm: 1859 398 172 34 0 301 0
[pid=12511] ppid=12506 vsize=123356 CPUtime=12.34 cores=4-7
/proc/12511/stat : 12511 (plingeling) S 12506 12506 12397 0 -1 4202496 4855 1252 0 0 1234 0 0 0 18 0 5 0 527760078 126316544 3062 33554432000 4194304 4356188 140734690168160 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12511/statm: 30839 3062 164 40 0 29383 0
[pid=12511/tid=12518] ppid=12506 vsize=123356 CPUtime=3.08 cores=4-7
/proc/12511/task/12518/stat : 12518 (plingeling) R 12506 12506 12397 0 -1 4202560 1094 1252 0 0 308 0 0 0 25 0 5 0 527760079 126316544 3062 33554432000 4194304 4356188 140734690168160 18446744073709551615 4283925 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12511/tid=12519] ppid=12506 vsize=123356 CPUtime=3.08 cores=4-7
/proc/12511/task/12519/stat : 12519 (plingeling) R 12506 12506 12397 0 -1 4202560 1139 1252 0 0 308 0 0 0 25 0 5 0 527760079 126316544 3062 33554432000 4194304 4356188 140734690168160 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12511/tid=12520] ppid=12506 vsize=123356 CPUtime=3.07 cores=4-7
/proc/12511/task/12520/stat : 12520 (plingeling) R 12506 12506 12397 0 -1 4202560 1054 1252 0 0 307 0 0 0 25 0 5 0 527760079 126316544 3062 33554432000 4194304 4356188 140734690168160 18446744073709551615 4281793 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12511/tid=12521] ppid=12506 vsize=123356 CPUtime=3.09 cores=4-7
/proc/12511/task/12521/stat : 12521 (plingeling) R 12506 12506 12397 0 -1 4202560 1149 1252 0 0 309 0 0 0 25 0 5 0 527760079 126316544 3062 33554432000 4194304 4356188 140734690168160 18446744073709551615 4280742 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.7
Current children cumulated vsize (KiB) 2418684

[startup+6.30675 s]
/proc/loadavg: 7.21 7.87 7.95 9/180 12521
/proc/meminfo: memFree=22973980/32950928 swapFree=67111524/67111528
[pid=12506] ppid=12504 vsize=18324 CPUtime=0 cores=0-7
/proc/12506/stat : 12506 (ppfolio) S 12504 12506 12397 0 -1 4202496 518 0 0 0 0 0 0 0 15 0 1 0 527760078 18763776 389 33554432000 4194304 4287625 140736740686384 18446744073709551615 274473987599 0 0 4096 65536 4155573690026688511 0 0 17 4 0 0 0
/proc/12506/statm: 4581 389 341 23 0 91 0
[pid=12507] ppid=12506 vsize=1799536 CPUtime=6.29 cores=0
/proc/12507/stat : 12507 (cryptominisat) R 12506 12506 12397 0 -1 4202496 6229 0 0 0 629 0 0 0 25 0 1 0 527760078 1842724864 2835 33554432000 4194304 4587354 140734404683856 18446744073709551615 4238608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12507/statm: 449884 2835 337 96 0 446446 0
[pid=12508] ppid=12506 vsize=14976 CPUtime=6.3 cores=1
/proc/12508/stat : 12508 (clasp) R 12506 12506 12397 0 -1 4202496 1202 0 0 0 630 0 0 0 25 0 1 0 527760078 15335424 1091 33554432000 4194304 4785740 140736937720192 18446744073709551615 4287050 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12508/statm: 3744 1091 340 145 0 789 0
[pid=12509] ppid=12506 vsize=455844 CPUtime=6.3 cores=2
/proc/12509/stat : 12509 (TNM) R 12506 12506 12397 0 -1 4202496 312 0 0 0 630 0 0 0 25 0 1 0 527760078 466784256 209 33554432000 134512640 134534564 4287755744 18446744073709551615 134528316 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12509/statm: 113961 209 95 6 0 112627 0
[pid=12510] ppid=12506 vsize=7740 CPUtime=6.3 cores=3
/proc/12510/stat : 12510 (march_hi) R 12506 12506 12397 0 -1 4202496 559 0 0 0 630 0 0 0 25 0 1 0 527760078 7925760 452 33554432000 4194304 4331988 140737065838848 18446744073709551615 4211534 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12510/statm: 1935 452 173 34 0 377 0
[pid=12511] ppid=12506 vsize=128300 CPUtime=25.15 cores=4-7
/proc/12511/stat : 12511 (plingeling) S 12506 12506 12397 0 -1 4202496 8491 1252 0 0 2514 1 0 0 18 0 5 0 527760078 131379200 4298 33554432000 4194304 4356188 140734690168160 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12511/statm: 32075 4298 164 40 0 30619 0
[pid=12511/tid=12518] ppid=12506 vsize=128300 CPUtime=6.29 cores=4-7
/proc/12511/task/12518/stat : 12518 (plingeling) R 12506 12506 12397 0 -1 4202560 2024 1252 0 0 629 0 0 0 25 0 5 0 527760079 131379200 4298 33554432000 4194304 4356188 140734690168160 18446744073709551615 4331028 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12511/tid=12519] ppid=12506 vsize=128300 CPUtime=6.29 cores=4-7
/proc/12511/task/12519/stat : 12519 (plingeling) R 12506 12506 12397 0 -1 4202560 2100 1252 0 0 629 0 0 0 25 0 5 0 527760079 131379200 4298 33554432000 4194304 4356188 140734690168160 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12511/tid=12520] ppid=12506 vsize=128300 CPUtime=6.26 cores=4-7
/proc/12511/task/12520/stat : 12520 (plingeling) R 12506 12506 12397 0 -1 4202560 1775 1252 0 0 626 0 0 0 25 0 5 0 527760079 131379200 4298 33554432000 4194304 4356188 140734690168160 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12511/tid=12521] ppid=12506 vsize=128300 CPUtime=6.29 cores=4-7
/proc/12511/task/12521/stat : 12521 (plingeling) R 12506 12506 12397 0 -1 4202560 2173 1252 0 0 629 0 0 0 25 0 5 0 527760079 131379200 4298 33554432000 4194304 4356188 140734690168160 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.34
Current children cumulated vsize (KiB) 2424720

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

[startup+7.10061 s]
/proc/loadavg: 7.21 7.87 7.95 9/180 12521
/proc/meminfo: memFree=22973980/32950928 swapFree=67111524/67111528
[pid=12506] ppid=12504 vsize=18324 CPUtime=0 cores=0-7
/proc/12506/stat : 12506 (ppfolio) S 12504 12506 12397 0 -1 4202496 518 0 0 0 0 0 0 0 15 0 1 0 527760078 18763776 389 33554432000 4194304 4287625 140736740686384 18446744073709551615 274473987599 0 0 4096 65536 4155573690026688511 0 0 17 4 0 0 0
/proc/12506/statm: 4581 389 341 23 0 91 0
[pid=12507] ppid=12506 vsize=1799536 CPUtime=7.08 cores=0
/proc/12507/stat : 12507 (cryptominisat) R 12506 12506 12397 0 -1 4202496 6407 0 0 0 708 0 0 0 25 0 1 0 527760078 1842724864 3010 33554432000 4194304 4587354 140734404683856 18446744073709551615 4232230 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12507/statm: 449884 3010 337 96 0 446446 0
[pid=12508] ppid=12506 vsize=15108 CPUtime=7.09 cores=1
/proc/12508/stat : 12508 (clasp) R 12506 12506 12397 0 -1 4202496 1225 0 0 0 709 0 0 0 25 0 1 0 527760078 15470592 1114 33554432000 4194304 4785740 140736937720192 18446744073709551615 4416798 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12508/statm: 3777 1114 340 145 0 822 0
[pid=12509] ppid=12506 vsize=455844 CPUtime=7.09 cores=2
/proc/12509/stat : 12509 (TNM) R 12506 12506 12397 0 -1 4202496 312 0 0 0 709 0 0 0 25 0 1 0 527760078 466784256 209 33554432000 134512640 134534564 4287755744 18446744073709551615 12101051 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12509/statm: 113961 209 95 6 0 112627 0
[pid=12510] ppid=12506 vsize=7740 CPUtime=7.09 cores=3
/proc/12510/stat : 12510 (march_hi) R 12506 12506 12397 0 -1 4202496 569 0 0 0 709 0 0 0 25 0 1 0 527760078 7925760 462 33554432000 4194304 4331988 140737065838848 18446744073709551615 4226539 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12510/statm: 1935 462 173 34 0 377 0
[pid=12511] ppid=12506 vsize=128564 CPUtime=28.33 cores=4-7
/proc/12511/stat : 12511 (plingeling) S 12506 12506 12397 0 -1 4202496 8973 1252 0 0 2832 1 0 0 18 0 5 0 527760078 131649536 4364 33554432000 4194304 4356188 140734690168160 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12511/statm: 32141 4364 164 40 0 30685 0
[pid=12511/tid=12518] ppid=12506 vsize=128564 CPUtime=7.08 cores=4-7
/proc/12511/task/12518/stat : 12518 (plingeling) R 12506 12506 12397 0 -1 4202560 2185 1252 0 0 708 0 0 0 25 0 5 0 527760079 131649536 4364 33554432000 4194304 4356188 140734690168160 18446744073709551615 4330992 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12511/tid=12519] ppid=12506 vsize=128564 CPUtime=7.08 cores=4-7
/proc/12511/task/12519/stat : 12519 (plingeling) R 12506 12506 12397 0 -1 4202560 2196 1252 0 0 708 0 0 0 25 0 5 0 527760079 131649536 4364 33554432000 4194304 4356188 140734690168160 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12511/tid=12520] ppid=12506 vsize=128564 CPUtime=7.05 cores=4-7
/proc/12511/task/12520/stat : 12520 (plingeling) R 12506 12506 12397 0 -1 4202560 1871 1252 0 0 705 0 0 0 25 0 5 0 527760079 131649536 4364 33554432000 4194304 4356188 140734690168160 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12511/tid=12521] ppid=12506 vsize=128564 CPUtime=7.08 cores=4-7
/proc/12511/task/12521/stat : 12521 (plingeling) R 12506 12506 12397 0 -1 4202560 2302 1252 0 0 708 0 0 0 25 0 5 0 527760079 131649536 4364 33554432000 4194304 4356188 140734690168160 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 56.68
Current children cumulated vsize (KiB) 2425116

[startup+8.70033 s]
/proc/loadavg: 7.21 7.87 7.95 9/180 12521
/proc/meminfo: memFree=22971972/32950928 swapFree=67111524/67111528
[pid=12506] ppid=12504 vsize=18324 CPUtime=0 cores=0-7
/proc/12506/stat : 12506 (ppfolio) S 12504 12506 12397 0 -1 4202496 518 0 0 0 0 0 0 0 15 0 1 0 527760078 18763776 389 33554432000 4194304 4287625 140736740686384 18446744073709551615 274473987599 0 0 4096 65536 4155573690026688511 0 0 17 4 0 0 0
/proc/12506/statm: 4581 389 341 23 0 91 0
[pid=12507] ppid=12506 vsize=1801276 CPUtime=8.68 cores=0
/proc/12507/stat : 12507 (cryptominisat) R 12506 12506 12397 0 -1 4202496 7262 0 0 0 868 0 0 0 25 0 1 0 527760078 1844506624 2833 33554432000 4194304 4587354 140734404683856 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12507/statm: 450319 2833 337 96 0 446881 0
[pid=12508] ppid=12506 vsize=15372 CPUtime=8.69 cores=1
/proc/12508/stat : 12508 (clasp) R 12506 12506 12397 0 -1 4202496 1299 0 0 0 869 0 0 0 25 0 1 0 527760078 15740928 1188 33554432000 4194304 4785740 140736937720192 18446744073709551615 4287229 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12508/statm: 3843 1188 340 145 0 888 0
[pid=12509] ppid=12506 vsize=455844 CPUtime=8.69 cores=2
/proc/12509/stat : 12509 (TNM) R 12506 12506 12397 0 -1 4202496 312 0 0 0 869 0 0 0 25 0 1 0 527760078 466784256 209 33554432000 134512640 134534564 4287755744 18446744073709551615 134528875 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12509/statm: 113961 209 95 6 0 112627 0
[pid=12510] ppid=12506 vsize=7892 CPUtime=8.69 cores=3
/proc/12510/stat : 12510 (march_hi) R 12506 12506 12397 0 -1 4202496 590 0 0 0 869 0 0 0 25 0 1 0 527760078 8081408 483 33554432000 4194304 4331988 140737065838848 18446744073709551615 4229524 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12510/statm: 1973 483 173 34 0 415 0
[pid=12511] ppid=12506 vsize=129336 CPUtime=34.71 cores=4-7
/proc/12511/stat : 12511 (plingeling) S 12506 12506 12397 0 -1 4202496 10079 1252 0 0 3470 1 0 0 18 0 5 0 527760078 132440064 4542 33554432000 4194304 4356188 140734690168160 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12511/statm: 32334 4542 164 40 0 30878 0
[pid=12511/tid=12518] ppid=12506 vsize=129336 CPUtime=8.68 cores=4-7
/proc/12511/task/12518/stat : 12518 (plingeling) R 12506 12506 12397 0 -1 4202560 2441 1252 0 0 868 0 0 0 25 0 5 0 527760079 132440064 4542 33554432000 4194304 4356188 140734690168160 18446744073709551615 4332041 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12511/tid=12519] ppid=12506 vsize=129336 CPUtime=8.68 cores=4-7
/proc/12511/task/12519/stat : 12519 (plingeling) R 12506 12506 12397 0 -1 4202560 2452 1252 0 0 868 0 0 0 25 0 5 0 527760079 132440064 4542 33554432000 4194304 4356188 140734690168160 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12511/tid=12520] ppid=12506 vsize=129336 CPUtime=8.64 cores=4-7
/proc/12511/task/12520/stat : 12520 (plingeling) R 12506 12506 12397 0 -1 4202560 2127 1252 0 0 864 0 0 0 25 0 5 0 527760079 132440064 4542 33554432000 4194304 4356188 140734690168160 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12511/tid=12521] ppid=12506 vsize=129336 CPUtime=8.68 cores=4-7
/proc/12511/task/12521/stat : 12521 (plingeling) R 12506 12506 12397 0 -1 4202560 2640 1252 0 0 868 0 0 0 25 0 5 0 527760079 132440064 4542 33554432000 4194304 4356188 140734690168160 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 69.46
Current children cumulated vsize (KiB) 2428044

[startup+9.10126 s]
/proc/loadavg: 7.21 7.87 7.95 9/180 12521
/proc/meminfo: memFree=22971972/32950928 swapFree=67111524/67111528
[pid=12506] ppid=12504 vsize=18324 CPUtime=0 cores=0-7
/proc/12506/stat : 12506 (ppfolio) S 12504 12506 12397 0 -1 4202496 518 0 0 0 0 0 0 0 15 0 1 0 527760078 18763776 389 33554432000 4194304 4287625 140736740686384 18446744073709551615 274473987599 0 0 4096 65536 4155573690026688511 0 0 17 4 0 0 0
/proc/12506/statm: 4581 389 341 23 0 91 0
[pid=12507] ppid=12506 vsize=1801276 CPUtime=9.08 cores=0
/proc/12507/stat : 12507 (cryptominisat) R 12506 12506 12397 0 -1 4202496 7388 0 0 0 908 0 0 0 25 0 1 0 527760078 1844506624 2954 33554432000 4194304 4587354 140734404683856 18446744073709551615 4236877 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12507/statm: 450319 2954 337 96 0 446881 0
[pid=12508] ppid=12506 vsize=15508 CPUtime=9.09 cores=1
/proc/12508/stat : 12508 (clasp) R 12506 12506 12397 0 -1 4202496 1328 0 0 0 909 0 0 0 25 0 1 0 527760078 15880192 1217 33554432000 4194304 4785740 140736937720192 18446744073709551615 4552993 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12508/statm: 3877 1217 340 145 0 922 0
[pid=12509] ppid=12506 vsize=455844 CPUtime=9.09 cores=2
/proc/12509/stat : 12509 (TNM) R 12506 12506 12397 0 -1 4202496 312 0 0 0 909 0 0 0 25 0 1 0 527760078 466784256 209 33554432000 134512640 134534564 4287755744 18446744073709551615 134530151 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12509/statm: 113961 209 95 6 0 112627 0
[pid=12510] ppid=12506 vsize=7892 CPUtime=9.09 cores=3
/proc/12510/stat : 12510 (march_hi) R 12506 12506 12397 0 -1 4202496 596 0 0 0 909 0 0 0 25 0 1 0 527760078 8081408 489 33554432000 4194304 4331988 140737065838848 18446744073709551615 4226304 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12510/statm: 1973 489 173 34 0 415 0
[pid=12511] ppid=12506 vsize=129336 CPUtime=36.32 cores=4-7
/proc/12511/stat : 12511 (plingeling) S 12506 12506 12397 0 -1 4202496 10239 1252 0 0 3631 1 0 0 18 0 5 0 527760078 132440064 4542 33554432000 4194304 4356188 140734690168160 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12511/statm: 32334 4542 164 40 0 30878 0
[pid=12511/tid=12518] ppid=12506 vsize=129336 CPUtime=9.08 cores=4-7
/proc/12511/task/12518/stat : 12518 (plingeling) R 12506 12506 12397 0 -1 4202560 2537 1252 0 0 908 0 0 0 25 0 5 0 527760079 132440064 4542 33554432000 4194304 4356188 140734690168160 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12511/tid=12519] ppid=12506 vsize=129336 CPUtime=9.08 cores=4-7
/proc/12511/task/12519/stat : 12519 (plingeling) R 12506 12506 12397 0 -1 4202560 2484 1252 0 0 908 0 0 0 25 0 5 0 527760079 132440064 4542 33554432000 4194304 4356188 140734690168160 18446744073709551615 4279701 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12511/tid=12520] ppid=12506 vsize=129336 CPUtime=9.04 cores=4-7
/proc/12511/task/12520/stat : 12520 (plingeling) R 12506 12506 12397 0 -1 4202560 2127 1252 0 0 904 0 0 0 25 0 5 0 527760079 132440064 4542 33554432000 4194304 4356188 140734690168160 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12511/tid=12521] ppid=12506 vsize=129336 CPUtime=9.08 cores=4-7
/proc/12511/task/12521/stat : 12521 (plingeling) R 12506 12506 12397 0 -1 4202560 2672 1252 0 0 908 0 0 0 25 0 5 0 527760079 132440064 4542 33554432000 4194304 4356188 140734690168160 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 72.67
Current children cumulated vsize (KiB) 2428180

[startup+9.30123 s]
/proc/loadavg: 7.21 7.87 7.95 9/180 12521
/proc/meminfo: memFree=22971972/32950928 swapFree=67111524/67111528
[pid=12506] ppid=12504 vsize=18324 CPUtime=0 cores=0-7
/proc/12506/stat : 12506 (ppfolio) S 12504 12506 12397 0 -1 4202496 518 0 0 0 0 0 0 0 15 0 1 0 527760078 18763776 389 33554432000 4194304 4287625 140736740686384 18446744073709551615 274473987599 0 0 4096 65536 4155573690026688511 0 0 17 4 0 0 0
/proc/12506/statm: 4581 389 341 23 0 91 0
[pid=12507] ppid=12506 vsize=1801276 CPUtime=9.29 cores=0
/proc/12507/stat : 12507 (cryptominisat) R 12506 12506 12397 0 -1 4202496 7444 0 0 0 928 1 0 0 25 0 1 0 527760078 1844506624 3008 33554432000 4194304 4587354 140734404683856 18446744073709551615 4238611 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12507/statm: 450319 3008 337 96 0 446881 0
[pid=12508] ppid=12506 vsize=15508 CPUtime=9.29 cores=1
/proc/12508/stat : 12508 (clasp) R 12506 12506 12397 0 -1 4202496 1332 0 0 0 929 0 0 0 25 0 1 0 527760078 15880192 1221 33554432000 4194304 4785740 140736937720192 18446744073709551615 4287055 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12508/statm: 3877 1221 340 145 0 922 0
[pid=12509] ppid=12506 vsize=455844 CPUtime=9.29 cores=2
/proc/12509/stat : 12509 (TNM) R 12506 12506 12397 0 -1 4202496 312 0 0 0 929 0 0 0 25 0 1 0 527760078 466784256 209 33554432000 134512640 134534564 4287755744 18446744073709551615 134528708 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12509/statm: 113961 209 95 6 0 112627 0
[pid=12510] ppid=12506 vsize=7892 CPUtime=9.29 cores=3
/proc/12510/stat : 12510 (march_hi) R 12506 12506 12397 0 -1 4202496 599 0 0 0 929 0 0 0 25 0 1 0 527760078 8081408 492 33554432000 4194304 4331988 140737065838848 18446744073709551615 4247260 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12510/statm: 1973 492 173 34 0 415 0
[pid=12511] ppid=12506 vsize=129976 CPUtime=37.12 cores=4-7
/proc/12511/stat : 12511 (plingeling) S 12506 12506 12397 0 -1 4202496 10399 1252 0 0 3711 1 0 0 18 0 5 0 527760078 133095424 4702 33554432000 4194304 4356188 140734690168160 18446744073709551615 274485770213 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/12511/statm: 32494 4702 164 40 0 31038 0
[pid=12511/tid=12518] ppid=12506 vsize=129976 CPUtime=9.28 cores=4-7
/proc/12511/task/12518/stat : 12518 (plingeling) R 12506 12506 12397 0 -1 4202560 2537 1252 0 0 928 0 0 0 25 0 5 0 527760079 133095424 4702 33554432000 4194304 4356188 140734690168160 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12511/tid=12519] ppid=12506 vsize=129976 CPUtime=9.28 cores=4-7
/proc/12511/task/12519/stat : 12519 (plingeling) R 12506 12506 12397 0 -1 4202560 2548 1252 0 0 928 0 0 0 25 0 5 0 527760079 133095424 4702 33554432000 4194304 4356188 140734690168160 18446744073709551615 4280568 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12511/tid=12520] ppid=12506 vsize=129976 CPUtime=9.24 cores=4-7
/proc/12511/task/12520/stat : 12520 (plingeling) R 12506 12506 12397 0 -1 4202560 2191 1252 0 0 924 0 0 0 25 0 5 0 527760079 133095424 4702 33554432000 4194304 4356188 140734690168160 18446744073709551615 4331264 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12511/tid=12521] ppid=12506 vsize=129976 CPUtime=9.28 cores=4-7
/proc/12511/task/12521/stat : 12521 (plingeling) R 12506 12506 12397 0 -1 4202560 2704 1252 0 0 928 0 0 0 25 0 5 0 527760079 133095424 4702 33554432000 4194304 4356188 140734690168160 18446744073709551615 4332165 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 74.28
Current children cumulated vsize (KiB) 2428820

Child status: 0
Real time (s): 9.36397
CPU time (s): 74.8196
CPU user time (s): 74.7736
CPU system time (s): 0.045993
CPU usage (%): 799.016
Max. virtual memory (cumulated for all children) (KiB): 2428820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.7736
system time used= 0.045993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21924
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= 723
involuntary context switches= 836

runsolver used 0.014997 second user time and 0.030995 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-30 13:06:44
IDJOB=3221439
IDBENCH=82923
IDSOLVER=1638
FILE ID=node125/3221439-1304161604
RUNJOBID= node125-1304161570-12411
PBS_JOBID= 13170933
Free space on /tmp= 73020 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3221439-1304161604/watcher-3221439-1304161604 -o /tmp/evaluation-result-3221439-1304161604/solver-3221439-1304161604 -C 40000 -W 5000 -M 31000  ppfolio HOME/instance-3221439-1304161604.cnf

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

MD5SUM BENCH= 7fa3ae3894a5c333ebdaa99700e2c639
RANDOM SEED=1072670292

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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:      23006208 kB
Buffers:       2133044 kB
Cached:        7222036 kB
SwapCached:          4 kB
Active:        2567060 kB
Inactive:      6851216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23006208 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           10180 kB
Writeback:           0 kB
AnonPages:       63248 kB
Mapped:          14984 kB
Slab:           461332 kB
PageTables:       5292 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186560 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= 73012 MiB
End job on node125 at 2011-04-30 13:06:54