Trace number 3741366

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
PB07: bsolo 3.0.17? (TO) 1800.11 1800.65

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-859770.opb
MD5SUMcbc412f006cacd8e2fcdc61d20cbc351
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark134.834
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2504
Total number of constraints2065
Number of constraints which are clauses1536
Number of constraints which are cardinality constraints (but not clauses)529
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint8
Maximum length of a constraint1446
Number of terms in the objective function 2504
Biggest coefficient in the objective function 10
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 16472
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 16472
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3741366-1338758335.opb
0.00/0.00	c File size is 7592103 bytes.
0.49/0.57	c Highest Coefficient sum: 16472
0.49/0.57	c Parsing was ok!!
0.49/0.57	c Total parsing time: 0.565 s
0.49/0.57	c Var: 2504 Constr: 2084 1555/529/0 Lit: 885752 Watch. Lit: 9656
0.49/0.57	c Obj. Vars: 2504 (100 % of total variables)
3.09/3.11	c Pre-processing Time: 3.108 s
3.09/3.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.44	c        0   1927     1354   472837  349     7935  232034      0      0 3.11
3.09/3.44	c Initial Lower Bound: 46
3.09/3.44	c Initial Path Cost: 0
1800.06/1800.60	c      100   1927     1454   562623  386     8135  255238    100     27 3.58
1800.06/1800.60	c      251   1927     1605   684919  426     8437  280762    251     66 3.79
1800.06/1800.60	c      476   1927     1830   799902  437     8887  308839    476    108 4.37
1800.06/1800.60	c      818   1927     2172   999741  460     9571  339723    818    178 4.57
1800.06/1800.60	c     1326   1927     2680  1120859  418    10587  373696   1326    261 5.08
1800.06/1800.60	c     2089   1927     3443  1388137  403    12113  411066   2089    310 6.74
1800.06/1800.60	c     3235   1927     4589  1871350  407    14405  452173   3235    362 8.93
1800.06/1800.60	c     4956   1927     6310  2847772  451    17847  497391   4956    383 12.93
1800.06/1800.60	c     7542   1927     8896  4686862  526    23019  547131   7542    399 18.86
1800.06/1800.60	c    11421   1927    12775  7421428  580    30777  601845  11421    397 28.72
1800.06/1800.60	c    17243   1927    18597 10859663  583    42421  662030  17243    404 42.64
1800.06/1800.60	c    25983   1927    27337 17158554  627    59901  728234  25983    350 74.10
1800.06/1800.60	c    39095   1927    40449 27335552  675    86125  801058  39095    283 137.79
1800.06/1800.60	c    58765   1927    60119 41933037  697   125465  881164  58765    209 280.05
1800.06/1800.60	c    88275   1927    89629 60043776  669   184485  969281  88275    148 594.87
1800.06/1800.60	c   132547   1927   133901 89558262  668   273029  500000 132547    112 1181.72
1800.06/1800.60	c Caught signal: 15
1800.06/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.60	c   16   163457 110248  4476878   164811 113607845 163457     90 1800.07
1800.06/1800.60	s UNKNOWN
1800.06/1800.60	c Total time: 1800.07 s

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-3741366-1338758335/watcher-3741366-1338758335 -o /tmp/evaluation-result-3741366-1338758335/solver-3741366-1338758335 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741366-1338758335.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.99 2.00 2.00 2/174 12774
/proc/meminfo: memFree=27572040/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 341959436 4583424 156 33554432000 134512640 135840783 4291768720 4291768060 10417496 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 1119 157 136 325 0 39 0

[startup+0.0299731 s]
/proc/loadavg: 1.99 2.00 2.00 2/174 12774
/proc/meminfo: memFree=27572040/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=12624 CPUtime=0.02 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 682 0 0 0 2 0 0 0 20 0 1 0 341959436 12926976 618 33554432000 134512640 135840783 4291768720 4291765120 3081511 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 3156 618 398 325 0 238 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12624

[startup+0.100215 s]
/proc/loadavg: 1.99 2.00 2.00 2/174 12774
/proc/meminfo: memFree=27572040/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=14036 CPUtime=0.09 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 1267 0 0 0 9 0 0 0 20 0 1 0 341959436 14372864 1203 33554432000 134512640 135840783 4291768720 4291764352 3081511 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 3509 1204 628 325 0 591 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14036

[startup+0.300121 s]
/proc/loadavg: 1.99 2.00 2.00 2/174 12774
/proc/meminfo: memFree=27572040/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=18060 CPUtime=0.28 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 2924 0 0 0 28 0 0 0 20 0 1 0 341959436 18493440 2860 33554432000 134512640 135840783 4291768720 4291767712 134525286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 4515 2860 1283 325 0 1597 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 18060

[startup+0.700225 s]
/proc/loadavg: 1.99 2.00 2.00 2/174 12774
/proc/meminfo: memFree=27572040/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=16528 CPUtime=0.68 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 5312 0 0 0 67 1 0 0 20 0 1 0 341959436 16924672 3394 33554432000 134512640 135840783 4291768720 4291737788 10834992 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 4132 3394 344 325 0 3068 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 16528

[startup+1.50011 s]
/proc/loadavg: 1.99 2.00 2.00 2/175 12775
/proc/meminfo: memFree=27559972/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=16528 CPUtime=1.48 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 5312 0 0 0 147 1 0 0 20 0 1 0 341959436 16924672 3394 33554432000 134512640 135840783 4291768720 4291737788 10834992 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 4132 3394 344 325 0 3068 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16528

[startup+3.10013 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12813
/proc/meminfo: memFree=27544760/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=25372 CPUtime=3.09 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 7531 0 0 0 307 2 0 0 20 0 1 0 341959436 25980928 5613 33554432000 134512640 135840783 4291768720 4291735036 10834992 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 6343 5613 346 325 0 5279 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25372

[startup+6.3001 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12813
/proc/meminfo: memFree=27539972/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=28712 CPUtime=6.29 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 20862 0 0 0 625 4 0 0 20 0 1 0 341959436 29401088 6532 33554432000 134512640 135840783 4291768720 4291768080 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 7178 6532 433 325 0 6114 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28712

[startup+12.7001 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12813
/proc/meminfo: memFree=27495376/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=48216 CPUtime=12.68 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 25735 0 0 0 1264 4 0 0 20 0 1 0 341959436 49373184 11405 33554432000 134512640 135840783 4291768720 4291768032 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 12054 11405 433 325 0 10990 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48216

[startup+25.5002 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12813
/proc/meminfo: memFree=27422952/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=93304 CPUtime=25.48 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 37029 0 0 0 2542 6 0 0 20 0 1 0 341959436 95543296 22688 33554432000 134512640 135840783 4291768720 4291768080 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 23326 22688 433 325 0 22262 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93304

[startup+51.1002 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12813
/proc/meminfo: memFree=27284296/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=177556 CPUtime=51.04 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 58088 0 0 0 5094 10 0 0 20 0 1 0 341959436 181817344 43731 33554432000 134512640 135840783 4291768720 4291768068 2387924 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 44389 43731 433 325 0 43325 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 177556

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 12816
/proc/meminfo: memFree=27044768/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=298696 CPUtime=102.21 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 88405 0 0 0 10204 17 0 0 20 0 1 0 341959436 305864704 74010 33554432000 134512640 135840783 4291768720 4291756144 3078892 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 74674 74010 433 325 0 73610 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 298696

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12816
/proc/meminfo: memFree=26883852/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=396012 CPUtime=162.17 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 112779 0 0 0 16194 23 0 0 20 0 1 0 341959436 405516288 98337 33554432000 134512640 135840783 4291768720 4291768080 134551058 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 99003 98337 433 325 0 97939 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 396012

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12817
/proc/meminfo: memFree=26734960/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=478532 CPUtime=222.13 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 133456 0 0 0 22185 28 0 0 20 0 1 0 341959436 490016768 118971 33554432000 134512640 135840783 4291768720 4291768080 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 119633 118971 433 325 0 118569 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 478532

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12817
/proc/meminfo: memFree=26610988/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=553356 CPUtime=282.09 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 152231 0 0 0 28177 32 0 0 20 0 1 0 341959436 566636544 137701 33554432000 134512640 135840783 4291768720 4291768080 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 138339 137701 433 325 0 137275 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 553356

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12817
/proc/meminfo: memFree=26500296/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=602116 CPUtime=342.06 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 164464 0 0 0 34170 36 0 0 20 0 1 0 341959436 616566784 149887 33554432000 134512640 135840783 4291768720 4291768080 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 150529 149887 433 325 0 149465 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 602116

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12817
/proc/meminfo: memFree=26402616/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=649508 CPUtime=402.01 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 176346 0 0 0 40162 39 0 0 20 0 1 0 341959436 665096192 161724 33554432000 134512640 135840783 4291768720 4291768080 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 162377 161724 433 325 0 161313 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 649508

[startup+462.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12817
/proc/meminfo: memFree=26299704/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=700932 CPUtime=462.01 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 189215 0 0 0 46160 41 0 0 20 0 1 0 341959436 717754368 174593 33554432000 134512640 135840783 4291768720 4291768080 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 175233 174593 433 325 0 174169 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 700932

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12818
/proc/meminfo: memFree=26204376/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=739936 CPUtime=521.99 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 198953 0 0 0 52155 44 0 0 20 0 1 0 341959436 757694464 184331 33554432000 134512640 135840783 4291768720 4291759456 3081511 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 184984 184331 433 325 0 183920 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 739936

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12818
/proc/meminfo: memFree=26112396/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=776920 CPUtime=581.98 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 208202 0 0 0 58151 47 0 0 20 0 1 0 341959436 795566080 193580 33554432000 134512640 135840783 4291768720 4291768080 134550899 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 194230 193580 433 325 0 193166 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 776920

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12823
/proc/meminfo: memFree=25623108/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=977700 CPUtime=881.94 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 258390 0 0 0 88133 61 0 0 20 0 1 0 341959436 1001164800 243768 33554432000 134512640 135840783 4291768720 4291768080 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 244425 243768 433 325 0 243361 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 977700

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12823
/proc/meminfo: memFree=25468392/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=1014016 CPUtime=941.92 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 267485 0 0 0 94129 63 0 0 20 0 1 0 341959436 1038352384 252863 33554432000 134512640 135840783 4291768720 4291768080 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 253504 252863 433 325 0 252440 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 1014016

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12823
/proc/meminfo: memFree=25326068/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=1058340 CPUtime=1001.93 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 278555 0 0 0 100126 67 0 0 20 0 1 0 341959436 1083740160 263933 33554432000 134512640 135840783 4291768720 4291768032 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 264585 263933 433 325 0 263521 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 1058340

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12823
/proc/meminfo: memFree=25216852/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=1094372 CPUtime=1061.91 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 287577 0 0 0 106122 69 0 0 20 0 1 0 341959436 1120636928 272955 33554432000 134512640 135840783 4291768720 4291768032 134550910 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 273593 272955 433 325 0 272529 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 1094372

[startup+1122.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12824
/proc/meminfo: memFree=25105904/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=1128284 CPUtime=1121.91 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 296052 0 0 0 112119 72 0 0 20 0 1 0 341959436 1155362816 281430 33554432000 134512640 135840783 4291768720 4291768080 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 282071 281430 433 325 0 281007 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 1128284

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12824
/proc/meminfo: memFree=25022108/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=1164248 CPUtime=1181.9 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 305043 0 0 0 118115 75 0 0 20 0 1 0 341959436 1192189952 290421 33554432000 134512640 135840783 4291768720 4291768072 2001104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 291062 290421 433 325 0 289998 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1164248

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12824
/proc/meminfo: memFree=24958896/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=1191292 CPUtime=1241.89 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 311805 0 0 0 124112 77 0 0 20 0 1 0 341959436 1219883008 297183 33554432000 134512640 135840783 4291768720 4291768032 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 297823 297183 433 325 0 296759 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1191292

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12827
/proc/meminfo: memFree=24903548/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=1222740 CPUtime=1301.87 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 319652 0 0 0 130108 79 0 0 20 0 1 0 341959436 1252085760 305030 33554432000 134512640 135840783 4291768720 4291768080 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 305685 305030 433 325 0 304621 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1222740

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12827
/proc/meminfo: memFree=24865736/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=1260428 CPUtime=1361.86 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 329062 0 0 0 136104 82 0 0 20 0 1 0 341959436 1290678272 314440 33554432000 134512640 135840783 4291768720 4291768080 134550878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 315107 314440 433 325 0 314043 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1260428

[startup+1422.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12828
/proc/meminfo: memFree=24834364/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=1291544 CPUtime=1421.86 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 336841 0 0 0 142102 84 0 0 20 0 1 0 341959436 1322541056 322219 33554432000 134512640 135840783 4291768720 4291768080 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 322886 322219 433 325 0 321822 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1291544

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12828
/proc/meminfo: memFree=24807704/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=1318224 CPUtime=1481.84 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 343528 0 0 0 148099 85 0 0 20 0 1 0 341959436 1349861376 328906 33554432000 134512640 135840783 4291768720 4291768080 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 329556 328906 433 325 0 328492 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1318224

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12828
/proc/meminfo: memFree=24776832/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=1349084 CPUtime=1541.84 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 351251 0 0 0 154097 87 0 0 20 0 1 0 341959436 1381462016 336629 33554432000 134512640 135840783 4291768720 4291768080 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 337271 336629 433 325 0 336207 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1349084

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12828
/proc/meminfo: memFree=24743228/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=1383124 CPUtime=1601.83 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 359750 0 0 0 160093 90 0 0 20 0 1 0 341959436 1416318976 345128 33554432000 134512640 135840783 4291768720 4291768080 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 345781 345128 433 325 0 344717 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1383124

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12828
/proc/meminfo: memFree=24711360/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=1414656 CPUtime=1661.83 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 367628 0 0 0 166091 92 0 0 20 0 1 0 341959436 1448607744 353006 33554432000 134512640 135840783 4291768720 4291768032 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 353664 353006 433 325 0 352600 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1414656

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12829
/proc/meminfo: memFree=24687300/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=1438712 CPUtime=1721.8 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 373664 0 0 0 172086 94 0 0 20 0 1 0 341959436 1473241088 359014 33554432000 134512640 135840783 4291768720 4291768032 134550878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 359678 359014 433 325 0 358614 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1438712

[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12829
/proc/meminfo: memFree=24657444/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=1467636 CPUtime=1781.77 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 380939 0 0 0 178081 96 0 0 20 0 1 0 341959436 1502859264 366246 33554432000 134512640 135840783 4291768720 4291768080 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 366909 366246 433 325 0 365845 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1467636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12829
/proc/meminfo: memFree=24652080/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=1473116 CPUtime=1800.06 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 382342 0 0 0 179910 96 0 0 20 0 1 0 341959436 1508470784 367634 33554432000 134512640 135840783 4291768720 4291768080 134551063 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 368279 367634 433 325 0 367215 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1473116

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

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

[startup+1800.6 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12829
/proc/meminfo: memFree=24652080/32873648 swapFree=7112/7112
[pid=12774] ppid=12772 vsize=1473116 CPUtime=1800.06 cores=0,2,4,6
/proc/12774/stat : 12774 (bsolo3.0.17) R 12772 12774 11604 0 -1 4202496 382342 0 0 0 179910 96 0 0 20 0 1 0 341959436 1508470784 367634 33554432000 134512640 135840783 4291768720 4291768080 134551063 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12774/statm: 368279 367634 433 325 0 367215 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1473116

Child status: 15
Real time (s): 1800.65
CPU time (s): 1800.11
CPU user time (s): 1799.1
CPU system time (s): 1.00785
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1473116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 1.00785
maximum resident set size= 1470536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382344
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= 397
involuntary context switches= 1854

runsolver used 3.40948 second user time and 8.97564 second system time

The end

Launcher Data 

Begin job on node126 at 2012-06-03 23:18:55
IDJOB=3741366
IDBENCH=89844
IDSOLVER=2318
FILE ID=node126/3741366-1338758335
RUNJOBID= node126-1338747103-11620
PBS_JOBID= 14636777
Free space on /tmp= 70776 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-859770.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741366-1338758335/watcher-3741366-1338758335 -o /tmp/evaluation-result-3741366-1338758335/solver-3741366-1338758335 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3741366-1338758335.opb            

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

MD5SUM BENCH= cbc412f006cacd8e2fcdc61d20cbc351
RANDOM SEED=769012023

node126.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		: 2666.456
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	: 5332.91
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		: 2666.456
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	: 5331.91
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		: 2666.456
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	: 5331.92
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		: 2666.456
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	: 5331.91
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		: 2666.456
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	: 5331.92
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		: 2666.456
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	: 5331.91
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		: 2666.456
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	: 5331.90
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		: 2666.456
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	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27572048 kB
Buffers:          429212 kB
Cached:          3991292 kB
SwapCached:         9476 kB
Active:          1586572 kB
Inactive:        2850192 kB
Active(anon):       5804 kB
Inactive(anon):    12168 kB
Active(file):    1580768 kB
Inactive(file):  2838024 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67094928 kB
Dirty:             13988 kB
Writeback:             0 kB
AnonPages:         36884 kB
Mapped:             9452 kB
Shmem:                 0 kB
Slab:             725244 kB
SReclaimable:     169656 kB
SUnreclaim:       555588 kB
KernelStack:        1456 kB
PageTables:         4088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     139264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70772 MiB
End job on node126 at 2012-06-03 23:48:58