Trace number 3725119

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2012-06-01? (TO) 1800.02 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
MD5SUMff2125c4e604678d0c316c16eb28ba7d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1040
Best CPU time to get the best result obtained on this benchmark1796.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1035
Optimality of the best value was proved NO
Number of variables1968
Total number of constraints4000
Number of constraints which are clauses4000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1968
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1968
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1968
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.39/0.43	c 2012-06-02T12:35:11+0200
0.39/0.43	c arch = x86_64
0.39/0.43	c os = linux
0.39/0.43	c compiler = ghc 7.4
0.39/0.43	c packages:
0.39/0.43	c   OptDir-0.0.1
0.39/0.43	c   array-0.4.0.0
0.39/0.43	c   base-4.5.0.0
0.39/0.43	c   bytestring-0.9.2.1
0.39/0.43	c   containers-0.4.2.1
0.39/0.43	c   deepseq-1.3.0.0
0.39/0.43	c   mtl-2.1.1
0.39/0.43	c   old_locale-1.0.0.4
0.39/0.43	c   parse_dimacs-1.2
0.39/0.43	c   parsec-3.1.2
0.39/0.43	c   queue-0.1.2
0.39/0.43	c   stm-2.3
0.39/0.43	c   time-1.4
0.39/0.43	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725119-1338633311.opb"]
0.39/0.43	c #vars 1968
0.39/0.43	c #constraints 4000
0.39/0.43	c Solving starts ...
0.39/0.44	c solving time = 0.003s
0.39/0.44	c #decision = 776
0.39/0.44	c #conflict = 0
0.39/0.44	c #restart = 0
0.39/0.44	o 1192
0.39/0.45	c Solving starts ...
32.19/32.29	c learnt constraints deletion: 4928 -> 2464
52.27/52.35	c learnt constraints deletion: 5033 -> 2517
81.05/81.18	c learnt constraints deletion: 5889 -> 2946
114.72/114.87	c learnt constraints deletion: 6361 -> 3182
146.81/146.93	c learnt constraints deletion: 6031 -> 3016
196.19/196.32	c learnt constraints deletion: 6879 -> 3442
236.49/236.62	c learnt constraints deletion: 6879 -> 3440
285.58/285.76	c learnt constraints deletion: 7446 -> 3723
335.38/335.52	c learnt constraints deletion: 7445 -> 3723
384.04/384.24	c learnt constraints deletion: 7450 -> 3726
439.63/439.82	c learnt constraints deletion: 8075 -> 4038
491.83/492.07	c learnt constraints deletion: 8066 -> 4033
551.82/552.04	c learnt constraints deletion: 8076 -> 4039
612.51/612.77	c learnt constraints deletion: 8073 -> 4037
677.59/677.83	c learnt constraints deletion: 8061 -> 4032
743.58/743.87	c learnt constraints deletion: 8763 -> 4382
816.76/817.04	c learnt constraints deletion: 8752 -> 4376
881.66/881.99	c learnt constraints deletion: 8760 -> 4380
954.95/955.28	c learnt constraints deletion: 8758 -> 4380
1022.43/1022.78	c learnt constraints deletion: 8760 -> 4383
1089.11/1089.43	c learnt constraints deletion: 8760 -> 4380
1163.00/1163.32	c learnt constraints deletion: 9011 -> 4506
1240.59/1240.96	c learnt constraints deletion: 9521 -> 4761
1327.68/1328.00	c learnt constraints deletion: 9517 -> 4760
1411.26/1411.68	c learnt constraints deletion: 9514 -> 4758
1489.65/1490.04	c learnt constraints deletion: 9515 -> 4758
1569.14/1569.60	c learnt constraints deletion: 9519 -> 4761
1638.53/1638.99	c learnt constraints deletion: 9519 -> 4761
1724.71/1725.16	c learnt constraints deletion: 9518 -> 4761

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3725119-1338633311/watcher-3725119-1338633311 -o /tmp/evaluation-result-3725119-1338633311/solver-3725119-1338633311 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725119-1338633311.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 1.92 2.01 1.71 3/178 22552
/proc/meminfo: memFree=28251624/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=7248 CPUtime=0 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 849 0 0 0 0 0 0 0 20 0 1 0 329456485 7421952 770 33554432000 4194304 8989770 140736983275216 140733495235176 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 1812 770 425 1171 0 589 0

[startup+0.01544 s]
/proc/loadavg: 1.92 2.01 1.71 3/178 22552
/proc/meminfo: memFree=28251624/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=8272 CPUtime=0.01 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 1105 0 0 0 1 0 0 0 20 0 1 0 329456485 8470528 1026 33554432000 4194304 8989770 140736983275216 140733495235176 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 2068 1026 430 1171 0 845 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8272

[startup+0.100252 s]
/proc/loadavg: 1.92 2.01 1.71 3/178 22552
/proc/meminfo: memFree=28251624/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=11344 CPUtime=0.09 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 1920 0 0 0 9 0 0 0 20 0 1 0 329456485 11616256 1841 33554432000 4194304 8989770 140736983275216 140733495235176 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 2836 1841 442 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344

[startup+0.300196 s]
/proc/loadavg: 1.92 2.01 1.71 3/178 22552
/proc/meminfo: memFree=28251624/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=11344 CPUtime=0.29 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 1920 0 0 0 29 0 0 0 20 0 1 0 329456485 11616256 1841 33554432000 4194304 8989770 140736983275216 140733495235176 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 2836 1841 442 1171 0 1613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11344

[startup+0.700256 s]
/proc/loadavg: 1.92 2.01 1.71 3/178 22552
/proc/meminfo: memFree=28251624/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=14416 CPUtime=0.69 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 2928 0 0 0 69 0 0 0 20 0 1 0 329456485 14761984 2849 33554432000 4194304 8989770 140736983275216 140733495235176 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 3604 2849 471 1171 0 2381 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14416

[startup+1.50024 s]
/proc/loadavg: 1.92 2.01 1.71 3/179 22553
/proc/meminfo: memFree=28240108/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=18512 CPUtime=1.49 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 3740 0 0 0 149 0 0 0 20 0 1 0 329456485 18956288 3661 33554432000 4194304 8989770 140736983275216 140736983274480 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 4628 3661 471 1171 0 3405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18512

[startup+3.10026 s]
/proc/loadavg: 1.92 2.01 1.71 3/179 22553
/proc/meminfo: memFree=28234644/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=26704 CPUtime=3.09 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 6000 0 0 0 307 2 0 0 20 0 1 0 329456485 27344896 5921 33554432000 4194304 8989770 140736983275216 140736983274712 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 6676 5921 471 1171 0 5453 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26704

[startup+6.30026 s]
/proc/loadavg: 1.93 2.01 1.71 3/179 22553
/proc/meminfo: memFree=28217160/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=43088 CPUtime=6.29 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 9847 0 0 0 626 3 0 0 20 0 1 0 329456485 44122112 9768 33554432000 4194304 8989770 140736983275216 140736983274480 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 10772 9768 471 1171 0 9549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43088

[startup+12.7003 s]
/proc/loadavg: 1.93 2.01 1.71 3/179 22553
/proc/meminfo: memFree=28190012/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=67664 CPUtime=12.69 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 16240 0 0 0 1263 6 0 0 20 0 1 0 329456485 69287936 16161 33554432000 4194304 8989770 140736983275216 140736983274480 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 16916 16161 471 1171 0 15693 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67664

[startup+25.5003 s]
/proc/loadavg: 1.95 2.01 1.71 3/179 22553
/proc/meminfo: memFree=28141284/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=115792 CPUtime=25.48 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 28055 0 0 0 2537 11 0 0 20 0 1 0 329456485 118571008 27976 33554432000 4194304 8989770 140736983275216 140736983274480 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 28948 27976 471 1171 0 27725 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 115792

[startup+51.1003 s]
/proc/loadavg: 2.03 2.02 1.73 3/179 22630
/proc/meminfo: memFree=28094644/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=154704 CPUtime=51.07 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 38018 0 0 0 5089 18 0 0 20 0 1 0 329456485 158416896 37923 33554432000 4194304 8989770 140736983275216 140736983274712 4214456 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 38676 37923 473 1171 0 37453 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 154704

[startup+102.307 s]
/proc/loadavg: 2.01 2.02 1.74 3/179 22631
/proc/meminfo: memFree=28033308/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=170064 CPUtime=102.24 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 41898 0 0 0 10194 30 0 0 20 0 1 0 329456485 174145536 41763 33554432000 4194304 8989770 140736983275216 140736983274480 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 42516 41763 473 1171 0 41293 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 170064

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.75 3/179 22631
/proc/meminfo: memFree=27984420/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=196688 CPUtime=162.2 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 48428 0 0 0 16180 40 0 0 20 0 1 0 329456485 201408512 48261 33554432000 4194304 8989770 140736983275216 140736983274480 6586388 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 49172 48261 473 1171 0 47949 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 196688

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.76 3/179 22631
/proc/meminfo: memFree=27935168/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=244816 CPUtime=222.19 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 60387 0 0 0 22167 52 0 0 20 0 1 0 329456485 250691584 60220 33554432000 4194304 8989770 140736983275216 140736983274712 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 61204 60220 473 1171 0 59981 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 244816

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 1.78 3/179 22631
/proc/meminfo: memFree=27919792/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=245840 CPUtime=282.19 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 60665 0 0 0 28157 62 0 0 20 0 1 0 329456485 251740160 60498 33554432000 4194304 8989770 140736983275216 140736983274712 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 61460 60498 473 1171 0 60237 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 245840

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.79 3/180 22634
/proc/meminfo: memFree=27875772/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=275536 CPUtime=342.17 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 68099 0 0 0 34145 72 0 0 20 0 1 0 329456485 282148864 67932 33554432000 4194304 8989770 140736983275216 140736983274712 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 68884 67932 473 1171 0 67661 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 275536

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.80 3/179 22635
/proc/meminfo: memFree=27872664/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=275536 CPUtime=402.14 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 68132 0 0 0 40133 81 0 0 20 0 1 0 329456485 282148864 67932 33554432000 4194304 8989770 140736983275216 140736983274712 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 68884 67932 473 1171 0 67661 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 275536

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/179 22635
/proc/meminfo: memFree=27873092/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=275536 CPUtime=462.13 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 68132 0 0 0 46122 91 0 0 20 0 1 0 329456485 282148864 67932 33554432000 4194304 8989770 140736983275216 140736983274480 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 68884 67932 473 1171 0 67661 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 275536

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/179 22635
/proc/meminfo: memFree=27853412/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=275536 CPUtime=522.12 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 68331 0 0 0 52110 102 0 0 20 0 1 0 329456485 282148864 68131 33554432000 4194304 8989770 140736983275216 140736983274480 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 68884 68131 473 1171 0 67661 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 275536

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/179 22635
/proc/meminfo: memFree=27826008/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=281680 CPUtime=582.12 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 69867 0 0 0 58101 111 0 0 20 0 1 0 329456485 288440320 69667 33554432000 4194304 8989770 140736983275216 140736983274480 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 70420 69667 473 1171 0 69197 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 281680

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 22636
/proc/meminfo: memFree=27700700/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=354384 CPUtime=822.07 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 87931 0 0 0 82056 151 0 0 20 0 1 0 329456485 362889216 87716 33554432000 4194304 8989770 140736983275216 140736983274480 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 88596 87716 473 1171 0 87373 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 354384

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 22636
/proc/meminfo: memFree=27683768/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=354384 CPUtime=882.06 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 87931 0 0 0 88046 160 0 0 20 0 1 0 329456485 362889216 87716 33554432000 4194304 8989770 140736983275216 140736983274480 6586400 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 88596 87716 473 1171 0 87373 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 354384

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/180 22639
/proc/meminfo: memFree=27670368/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=354384 CPUtime=942.05 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 87931 0 0 0 94036 169 0 0 20 0 1 0 329456485 362889216 87716 33554432000 4194304 8989770 140736983275216 140736983274480 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 88596 87716 473 1171 0 87373 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 354384

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 22640
/proc/meminfo: memFree=27640988/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=367696 CPUtime=1002.04 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 91211 0 0 0 100024 180 0 0 20 0 1 0 329456485 376520704 90996 33554432000 4194304 8989770 140736983275216 140736983274480 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 91924 90996 473 1171 0 90701 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 367696

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 22640
/proc/meminfo: memFree=27627860/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=367696 CPUtime=1062.02 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 91227 0 0 0 106012 190 0 0 20 0 1 0 329456485 376520704 90996 33554432000 4194304 8989770 140736983275216 140736983274480 4208840 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 91924 90996 473 1171 0 90701 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 367696

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 22640
/proc/meminfo: memFree=27610748/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=367696 CPUtime=1122.01 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 91227 0 0 0 112001 200 0 0 20 0 1 0 329456485 376520704 90996 33554432000 4194304 8989770 140736983275216 140736983274480 4469496 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 91924 90996 473 1171 0 90701 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 367696

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 22640
/proc/meminfo: memFree=27609012/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=367696 CPUtime=1182 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 91227 0 0 0 117991 209 0 0 20 0 1 0 329456485 376520704 90996 33554432000 4194304 8989770 140736983275216 140736983274480 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 91924 90996 473 1171 0 90701 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 367696

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 22640
/proc/meminfo: memFree=27608636/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=367696 CPUtime=1241.99 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 91227 0 0 0 123982 217 0 0 20 0 1 0 329456485 376520704 90996 33554432000 4194304 8989770 140736983275216 140736983274480 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 91924 90996 473 1171 0 90701 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 367696

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 22641
/proc/meminfo: memFree=27595856/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=379984 CPUtime=1301.99 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 94474 0 0 0 129973 226 0 0 20 0 1 0 329456485 389103616 94243 33554432000 4194304 8989770 140736983275216 140736983274712 7679039 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 94996 94243 473 1171 0 93773 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 379984

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/179 22641
/proc/meminfo: memFree=27561880/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=413776 CPUtime=1361.98 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 102881 0 0 0 135962 236 0 0 20 0 1 0 329456485 423706624 102650 33554432000 4194304 8989770 140736983275216 140736983274480 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 103444 102650 473 1171 0 102221 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 413776

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 22641
/proc/meminfo: memFree=27561880/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=413776 CPUtime=1421.97 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 102881 0 0 0 141953 244 0 0 20 0 1 0 329456485 423706624 102650 33554432000 4194304 8989770 140736983275216 140736983274480 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 103444 102650 473 1171 0 102221 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 413776

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22641
/proc/meminfo: memFree=27561812/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=413776 CPUtime=1481.96 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 102884 0 0 0 147944 252 0 0 20 0 1 0 329456485 423706624 102650 33554432000 4194304 8989770 140736983275216 140736983274480 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 103444 102650 473 1171 0 102221 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 413776

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 22644
/proc/meminfo: memFree=27551784/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=413776 CPUtime=1541.94 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 102893 0 0 0 153934 260 0 0 20 0 1 0 329456485 423706624 102650 33554432000 4194304 8989770 140736983275216 140736983274480 4209442 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 103444 102650 473 1171 0 102221 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 413776

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 22668
/proc/meminfo: memFree=27545956/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=413776 CPUtime=1601.94 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 102893 0 0 0 159925 269 0 0 20 0 1 0 329456485 423706624 102650 33554432000 4194304 8989770 140736983275216 140736983274712 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 103444 102650 473 1171 0 102221 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 413776

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22668
/proc/meminfo: memFree=27532076/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=413776 CPUtime=1661.92 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 102893 0 0 0 165914 278 0 0 20 0 1 0 329456485 423706624 102650 33554432000 4194304 8989770 140736983275216 140736983274480 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 103444 102650 473 1171 0 102221 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 413776

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22668
/proc/meminfo: memFree=27529440/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=413776 CPUtime=1721.92 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 102893 0 0 0 171906 286 0 0 20 0 1 0 329456485 423706624 102650 33554432000 4194304 8989770 140736983275216 140736983274480 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 103444 102650 473 1171 0 102221 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 413776

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22668
/proc/meminfo: memFree=27529316/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=413776 CPUtime=1781.9 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 102893 0 0 0 177896 294 0 0 20 0 1 0 329456485 423706624 102650 33554432000 4194304 8989770 140736983275216 140736983274480 7697332 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 103444 102650 473 1171 0 102221 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 413776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.02 1.91 3/179 22668
/proc/meminfo: memFree=27529440/32873844 swapFree=7124/7124
[pid=22552] ppid=22550 vsize=413776 CPUtime=1800.01 cores=0,2,4,6
/proc/22552/stat : 22552 (toysat) R 22550 22552 22415 0 -1 4202496 102893 0 0 0 179705 296 0 0 20 0 1 0 329456485 423706624 102650 33554432000 4194304 8989770 140736983275216 140736983274712 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/22552/statm: 103444 102650 473 1171 0 102221 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 413776

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1797.05
CPU system time (s): 2.96755
CPU usage (%): 99.9784
Max. virtual memory (cumulated for all children) (KiB): 413776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.05
system time used= 2.96755
maximum resident set size= 410600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102893
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= 167
involuntary context switches= 2067

runsolver used 3.41448 second user time and 9.09162 second system time

The end

Launcher Data

Begin job on node134 at 2012-06-02 12:35:11
IDJOB=3725119
IDBENCH=1992
IDSOLVER=2308
FILE ID=node134/3725119-1338633311
RUNJOBID= node134-1338631506-22431
PBS_JOBID= 14636446
Free space on /tmp= 70352 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725119-1338633311/watcher-3725119-1338633311 -o /tmp/evaluation-result-3725119-1338633311/solver-3725119-1338633311 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725119-1338633311.opb

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

MD5SUM BENCH= ff2125c4e604678d0c316c16eb28ba7d
RANDOM SEED=2072928562

node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28251888 kB
Buffers:          446752 kB
Cached:          3233160 kB
SwapCached:           76 kB
Active:          1754608 kB
Inactive:        1977692 kB
Active(anon):      43968 kB
Inactive(anon):    10508 kB
Active(file):    1710640 kB
Inactive(file):  1967184 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:              7408 kB
Writeback:             0 kB
AnonPages:         59176 kB
Mapped:            12984 kB
Shmem:                96 kB
Slab:             753128 kB
SReclaimable:     195072 kB
SUnreclaim:       558056 kB
KernelStack:        1472 kB
PageTables:         4056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     167128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70344 MiB
End job on node134 at 2012-06-02 13:05:13