Trace number 3741658

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.17Signal 865.698 1049.02

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-opm2-z11-s8.opb
MD5SUM9014f307b4266a1d3ed4d1915c3fbd07
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28803
Best CPU time to get the best result obtained on this benchmark1800.67
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8019
Total number of constraints223082
Number of constraints which are clauses223074
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint2
Maximum length of a constraint8018
Number of terms in the objective function 7959
Biggest coefficient in the objective function 526
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 1025025
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 2853664
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 19481292
Number of bits of the biggest sum of numbers25
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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-3741658-1338761941.opb
0.00/0.00	c File size is 6346908 bytes.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.49/0.52	c Highest Coefficient sum: 1.94813e+07
0.49/0.52	c Parsing was ok!!
0.49/0.52	c Total parsing time: 0.517 s
0.49/0.56	c Var: 8019 Constr: 223082 223074/0/8 Lit: 510283 Watch. Lit: 483576
0.49/0.56	c Obj. Vars: 7959 (99.2518 % of total variables)
48.67/48.70	c Pre-processing Time: 48.683 s
49.17/49.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.17/49.21	c        0   7716   223082   510283    2   487409  202627      0      0 48.68
49.17/49.21	o -20367	49.195
49.27/49.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.27/49.32	c        3   7716   223086   521982    2   499013  217941      4      0 49.20
49.27/49.32	o -23824	49.302
49.38/49.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.38/49.50	c        3   7716   223087   529639    2   501890  217941      5      0 49.31
49.38/49.50	o -24801	49.479
138.34/138.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
138.34/138.44	c        5   7716   223090   540016    2   506287  217941      8      0 49.49
138.34/138.44	c      105   7716   223190   930614    4   506597  239736    108      2 49.93
138.34/138.44	c      355   7716   223440  1673469    7   507698  263710    358      6 52.00
138.34/138.44	c      830   7716   223915  2954587   13   508376  290082    833     14 55.41
138.34/138.44	c     1644   7716   224729  6059908   26   510324  319091   1647     27 58.82
138.34/138.44	c     2964   7716   226049 10711888   47   512435  351001   2967     40 72.69
138.34/138.44	c     5045   7716   228130 18275454   80   516408  386102   5048     54 92.00
138.34/138.44	c     8269   7716   231354 33621204  145   523310  424713   8272     75 108.88
138.34/138.44	c    13206   7716   236291 51901982  219   533457  467185  13209     95 138.20
138.34/138.44	o -25373	138.401
172.52/172.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
172.52/172.67	c    13217   7716   236303 51924715  219   537479  217941  13221     95 138.41
172.52/172.67	c    13317   7716   236403 52323356  221   537387  239736  13321     95 138.89
172.52/172.67	c    13567   7716   236653 53119939  224   538133  263710  13571     96 141.29
172.52/172.67	c    14042   7716   237128 54181574  228   539384  290082  14046     97 144.65
172.52/172.67	c    14855   7716   237941 58117925  244   540816  319091  14859    100 148.50
172.52/172.67	c    16175   7716   239261 63156159  263   543813  351001  16179    104 154.16
172.52/172.67	c    18256   7716   241342 72836007  301   547198  386102  18260    105 172.41
172.52/172.67	o -25995	172.597
180.51/180.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.51/180.66	c    18258   7716   241345 72846289  301   550516  217941  18263    105 172.61
180.51/180.66	c    18358   7716   241445 73034698  302   551501  239736  18363    105 173.67
180.51/180.66	c    18608   7716   241695 73798640  305   551980  263710  18613    105 176.03
180.51/180.66	c    19083   7716   242170 75163147  310   552911  290082  19088    105 180.43
180.51/180.66	o -26873	180.582
863.67/864.01	terminate called after throwing an instance of 'std::bad_alloc'
863.67/864.01	  what():  std::bad_alloc
863.67/864.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
863.67/864.01	c    19083   7716   242171 75170804  310   556417  217941  19089    105 180.59
863.67/864.01	c    19183   7716   242271 75483125  311   556727  239736  19189    105 181.56
863.67/864.01	c    19433   7716   242521 76482319  315   556539  263710  19439    106 182.79
863.67/864.01	c    19908   7716   242996 78521554  323   557647  290082  19914    106 186.47
863.67/864.01	c    20722   7716   243810 81599187  334   560113  319091  20728    108 191.29
863.67/864.01	c    22042   7716   245130 86021654  350   560939  351001  22048    105 208.94
863.67/864.01	c    24123   7716   247211 93724855  379   566313  386102  24129    106 225.66
863.67/864.01	c    27347   7716   250435 106451010  425   572582  424713  27353    113 241.02
863.67/864.01	c    32283   7716   255371 124131114  486   581827  467185  32289    106 303.22
863.67/864.01	c    39789   7716   262877 149923973  570   597688  513904  39795    108 366.15
863.67/864.01	c    51150   7716   274238 193009584  703   620663  565295  51156    118 431.58
863.67/864.01	c    68294   7716   291382 255016162  875   654334  621825  68300    105 646.25

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-3741658-1338761941/watcher-3741658-1338761941 -o /tmp/evaluation-result-3741658-1338761941/solver-3741658-1338761941 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741658-1338761941.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 1.98 1.99 3/176 12994
/proc/meminfo: memFree=23817520/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4194304 147 0 0 0 0 0 0 0 20 0 1 0 342319996 4583424 98 33554432000 134512640 135840783 4292648560 4292647476 10467896 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12994/statm: 1119 117 98 325 0 39 0

[startup+0.0311389 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 12994
/proc/meminfo: memFree=23817520/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=19416 CPUtime=0.02 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 741 0 0 0 2 0 0 0 20 0 1 0 342319996 19881984 678 33554432000 134512640 135840783 4292648560 4292646736 1440663 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12994/statm: 4854 678 391 325 0 2240 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19416

[startup+0.100211 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 12994
/proc/meminfo: memFree=23817520/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=13320 CPUtime=0.09 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 1388 0 0 0 9 0 0 0 20 0 1 0 342319996 13639680 1325 33554432000 134512640 135840783 4292648560 4292647264 1582375 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12994/statm: 3330 1325 602 325 0 716 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13320

[startup+0.300198 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 12994
/proc/meminfo: memFree=23817520/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=23080 CPUtime=0.28 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 4418 0 0 0 28 0 0 0 20 0 1 0 342319996 23633920 4355 33554432000 134512640 135840783 4292648560 4292647392 1582375 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12994/statm: 5770 4355 1200 325 0 3156 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23080

[startup+0.700238 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 12994
/proc/meminfo: memFree=23817520/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=39736 CPUtime=0.68 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 10790 0 0 0 67 1 0 0 20 0 1 0 342319996 40689664 9177 33554432000 134512640 135840783 4292648560 4292551296 134550764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12994/statm: 9934 9177 344 325 0 8870 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 39736

[startup+1.50024 s]
/proc/loadavg: 1.92 1.98 1.99 2/175 12996
/proc/meminfo: memFree=27520312/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=39736 CPUtime=1.48 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 10790 0 0 0 147 1 0 0 20 0 1 0 342319996 40689664 9177 33554432000 134512640 135840783 4292648560 4292551296 134550764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12994/statm: 9934 9177 344 325 0 8870 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 39736

[startup+3.10015 s]
/proc/loadavg: 1.92 1.98 1.99 2/175 12996
/proc/meminfo: memFree=27520048/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=39736 CPUtime=3.08 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 10790 0 0 0 307 1 0 0 20 0 1 0 342319996 40689664 9177 33554432000 134512640 135840783 4292648560 4292551436 10941488 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 9934 9177 344 325 0 8870 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 39736

[startup+6.30023 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 13034
/proc/meminfo: memFree=27476424/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=39736 CPUtime=6.28 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 10790 0 0 0 627 1 0 0 20 0 1 0 342319996 40689664 9177 33554432000 134512640 135840783 4292648560 4292551296 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 9934 9177 344 325 0 8870 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 39736

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 13034
/proc/meminfo: memFree=27476308/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=39736 CPUtime=12.68 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 10790 0 0 0 1266 2 0 0 20 0 1 0 342319996 40689664 9177 33554432000 134512640 135840783 4292648560 4292551296 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 9934 9177 344 325 0 8870 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 39736

[startup+25.5001 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 13034
/proc/meminfo: memFree=27475944/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=39736 CPUtime=25.48 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 10810 0 0 0 2546 2 0 0 20 0 1 0 342319996 40689664 9193 33554432000 134512640 135840783 4292648560 4292551296 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 9934 9193 344 325 0 8870 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39736

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 13034
/proc/meminfo: memFree=27468660/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=49740 CPUtime=51.07 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 15295 0 0 0 5099 8 0 0 20 0 1 0 342319996 50933760 11698 33554432000 134512640 135840783 4292648560 4292589440 134586828 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 12435 11698 351 325 0 11371 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49740

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 13037
/proc/meminfo: memFree=27130884/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=385164 CPUtime=102.26 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 99162 0 0 0 10204 22 0 0 20 0 1 0 342319996 394407936 95564 33554432000 134512640 135840783 4292648560 4292647920 134550913 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 96291 95564 351 325 0 95227 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 385164

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13037
/proc/meminfo: memFree=26291440/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=882296 CPUtime=162.23 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 223479 0 0 0 16183 40 0 0 20 0 1 0 342319996 903471104 219847 33554432000 134512640 135840783 4292648560 4292647920 134551285 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 220574 219847 351 325 0 219510 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 882296

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13037
/proc/meminfo: memFree=25746616/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=1206868 CPUtime=222.18 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 304669 0 0 0 22167 51 0 0 20 0 1 0 342319996 1235832832 301003 33554432000 134512640 135840783 4292648560 4292647920 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 301717 301003 351 325 0 300653 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 1206868

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13038
/proc/meminfo: memFree=24885712/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=1533764 CPUtime=282.16 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 386408 0 0 0 28152 64 0 0 20 0 1 0 342319996 1570574336 382714 33554432000 134512640 135840783 4292648560 4292647856 134572646 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 383441 382714 351 325 0 382377 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 1533764

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13038
/proc/meminfo: memFree=24099224/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=1808136 CPUtime=342.13 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 455034 0 0 0 34141 72 0 0 20 0 1 0 342319996 1851531264 451321 33554432000 134512640 135840783 4292648560 4292647920 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 452034 451321 351 325 0 450970 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 1808136

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13038
/proc/meminfo: memFree=23476560/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=2249716 CPUtime=402.1 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 565448 0 0 0 40124 86 0 0 20 0 1 0 342319996 2303709184 561716 33554432000 134512640 135840783 4292648560 4292602256 134586540 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 562429 561716 351 325 0 561365 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 2249716

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13038
/proc/meminfo: memFree=22858696/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=2586696 CPUtime=462.08 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 649702 0 0 0 46111 97 0 0 20 0 1 0 342319996 2648776704 645952 33554432000 134512640 135840783 4292648560 4292647920 134551065 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 646674 645952 351 325 0 645610 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 2586696

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13038
/proc/meminfo: memFree=22098976/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=2796764 CPUtime=522.08 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 702238 0 0 0 52104 104 0 0 20 0 1 0 342319996 2863886336 698482 33554432000 134512640 135840783 4292648560 4292647872 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 699191 698482 351 325 0 698127 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 2796764

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13039
/proc/meminfo: memFree=21646528/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=3057588 CPUtime=582.07 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 767452 0 0 0 58094 113 0 0 20 0 1 0 342319996 3130970112 763692 33554432000 134512640 135840783 4292648560 4292647920 134551347 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 764397 763692 351 325 0 763333 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 3057588

[startup+642.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 13039
/proc/meminfo: memFree=21315352/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=3263292 CPUtime=642.05 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 818864 0 0 0 64085 120 0 0 20 0 1 0 342319996 3341611008 815096 33554432000 134512640 135840783 4292648560 4292647920 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 815823 815096 351 325 0 814759 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 3263292

[startup+702.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/178 13042
/proc/meminfo: memFree=20871600/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=3493732 CPUtime=702.03 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 876502 0 0 0 70073 130 0 0 20 0 1 0 342319996 3577581568 872726 33554432000 134512640 135840783 4292648560 4292647920 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 873433 872726 351 325 0 872369 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 3493732

[startup+762.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13042
/proc/meminfo: memFree=20006584/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=3731604 CPUtime=762.02 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 935943 0 0 0 76065 137 0 0 20 0 1 0 342319996 3821162496 932163 33554432000 134512640 135840783 4292648560 4292647920 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 932901 932163 351 325 0 931837 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 3731604

[startup+822.3 s]
/proc/loadavg: 2.85 2.19 2.06 2/178 13043
/proc/meminfo: memFree=11781224/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=3977460 CPUtime=821.99 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4202496 997432 0 0 0 82052 147 0 0 20 0 1 0 342319996 4072919040 993635 33554432000 134512640 135840783 4292648560 4292647920 134551081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 994365 993635 351 325 0 993301 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 3977460

[startup+882.3 s]
/proc/loadavg: 4.04 2.67 2.23 1/180 13046
/proc/meminfo: memFree=8483568/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=4188416 CPUtime=864.27 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) S 12992 12994 11604 0 -1 4204032 1050222 0 0 0 86213 214 0 0 20 0 1 0 342319996 4288937984 1046417 33554432000 134512640 135840783 4292648560 4292589288 10941488 0 0 4096 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 1047104 1046417 380 325 0 1046040 0
Current children cumulated CPU time (s) 864.27
Current children cumulated vsize (KiB) 4188416

[startup+942.3 s]
/proc/loadavg: 4.01 2.91 2.34 1/179 13046
/proc/meminfo: memFree=6321576/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=4188416 CPUtime=864.93 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) S 12992 12994 11604 0 -1 4204032 1050222 0 0 0 86213 280 0 0 20 0 1 0 342319996 4288937984 1046417 33554432000 134512640 135840783 4292648560 4292589288 10941488 0 0 4096 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 1047104 1046417 380 325 0 1046040 0
Current children cumulated CPU time (s) 864.93
Current children cumulated vsize (KiB) 4188416

[startup+1002.3 s]
/proc/loadavg: 4.27 3.17 2.46 1/180 13047
/proc/meminfo: memFree=4038676/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=4188416 CPUtime=865.53 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) S 12992 12994 11604 0 -1 4204032 1050222 0 0 0 86213 340 0 0 20 0 1 0 342319996 4288937984 1046417 33554432000 134512640 135840783 4292648560 4292589288 10941488 0 0 4096 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12994/statm: 1047104 1046417 380 325 0 1046040 0
Current children cumulated CPU time (s) 865.53
Current children cumulated vsize (KiB) 4188416

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

[startup+1024.9 s]
/proc/loadavg: 4.48 3.29 2.52 1/180 13047
/proc/meminfo: memFree=4144728/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=4188416 CPUtime=865.53 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) S 12992 12994 11604 0 -1 4204032 1050222 0 0 0 86213 340 0 0 20 0 1 0 342319996 4288937984 1046417 33554432000 134512640 135840783 4292648560 4292589288 10941488 0 0 4096 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12994/statm: 1047104 1046417 380 325 0 1046040 0
Current children cumulated CPU time (s) 865.53
Current children cumulated vsize (KiB) 4188416

[startup+1037.7 s]
/proc/loadavg: 4.59 3.37 2.56 1/180 13047
/proc/meminfo: memFree=4145084/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=4188416 CPUtime=865.53 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) S 12992 12994 11604 0 -1 4204032 1050222 0 0 0 86213 340 0 0 20 0 1 0 342319996 4288937984 1046417 33554432000 134512640 135840783 4292648560 4292589288 10941488 0 0 4096 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12994/statm: 1047104 1046417 380 325 0 1046040 0
Current children cumulated CPU time (s) 865.53
Current children cumulated vsize (KiB) 4188416

[startup+1044.1 s]
/proc/loadavg: 4.62 3.40 2.57 1/180 13047
/proc/meminfo: memFree=4145852/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=4188416 CPUtime=865.53 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) S 12992 12994 11604 0 -1 4204032 1050222 0 0 0 86213 340 0 0 20 0 1 0 342319996 4288937984 1046417 33554432000 134512640 135840783 4292648560 4292589288 10941488 0 0 4096 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12994/statm: 1047104 1046417 380 325 0 1046040 0
Current children cumulated CPU time (s) 865.53
Current children cumulated vsize (KiB) 4188416

[startup+1047.3 s]
/proc/loadavg: 4.65 3.42 2.58 1/180 13047
/proc/meminfo: memFree=4147092/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=4188416 CPUtime=865.53 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) S 12992 12994 11604 0 -1 4204032 1050222 0 0 0 86213 340 0 0 20 0 1 0 342319996 4288937984 1046417 33554432000 134512640 135840783 4292648560 4292589288 10941488 0 0 4096 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12994/statm: 1047104 1046417 380 325 0 1046040 0
Current children cumulated CPU time (s) 865.53
Current children cumulated vsize (KiB) 4188416

[startup+1048.1 s]
/proc/loadavg: 4.65 3.42 2.58 1/180 13047
/proc/meminfo: memFree=4148184/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=4188416 CPUtime=865.53 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) S 12992 12994 11604 0 -1 4204032 1050222 0 0 0 86213 340 0 0 20 0 1 0 342319996 4288937984 1046417 33554432000 134512640 135840783 4292648560 4292589288 10941488 0 0 4096 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12994/statm: 1047104 1046417 380 325 0 1046040 0
Current children cumulated CPU time (s) 865.53
Current children cumulated vsize (KiB) 4188416

[startup+1048.5 s]
/proc/loadavg: 4.65 3.42 2.58 1/180 13047
/proc/meminfo: memFree=4148184/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=4188416 CPUtime=865.53 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) S 12992 12994 11604 0 -1 4204032 1050222 0 0 0 86213 340 0 0 20 0 1 0 342319996 4288937984 1046417 33554432000 134512640 135840783 4292648560 4292589288 10941488 0 0 4096 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12994/statm: 1047104 1046417 380 325 0 1046040 0
Current children cumulated CPU time (s) 865.53
Current children cumulated vsize (KiB) 4188416

[startup+1048.9 s]
/proc/loadavg: 4.65 3.42 2.58 1/180 13047
/proc/meminfo: memFree=4148184/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=0 CPUtime=865.57 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4204036 1050222 0 0 0 86213 344 0 0 20 0 1 0 342319996 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 865.57
Current children cumulated vsize (KiB) 0

[startup+1049 s]
/proc/loadavg: 4.65 3.42 2.58 1/180 13047
/proc/meminfo: memFree=4148184/32873648 swapFree=7112/7112
[pid=12994] ppid=12992 vsize=0 CPUtime=865.67 cores=0,2,4,6
/proc/12994/stat : 12994 (bsolo3.0.17) R 12992 12994 11604 0 -1 4204036 1050222 0 0 0 86213 354 0 0 20 0 1 0 342319996 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12994/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 865.67
Current children cumulated vsize (KiB) 0

Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1049.02
CPU time (s): 865.698
CPU user time (s): 862.135
CPU system time (s): 3.56346
CPU usage (%): 82.5243
Max. virtual memory (cumulated for all children) (KiB): 4188416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 862.135
system time used= 3.56346
maximum resident set size= 4185668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1050222
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= 796938
involuntary context switches= 1286

runsolver used 1.85772 second user time and 4.96425 second system time

The end

Launcher Data 

Begin job on node126 at 2012-06-04 00:19:01
IDJOB=3741658
IDBENCH=89893
IDSOLVER=2318
FILE ID=node126/3741658-1338761941
RUNJOBID= node126-1338747103-11620
PBS_JOBID= 14636777
Free space on /tmp= 70764 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-opm2-z11-s8.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741658-1338761941/watcher-3741658-1338761941 -o /tmp/evaluation-result-3741658-1338761941/solver-3741658-1338761941 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3741658-1338761941.opb            

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

MD5SUM BENCH= 9014f307b4266a1d3ed4d1915c3fbd07
RANDOM SEED=1195729767

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:        23817520 kB
Buffers:          429564 kB
Cached:          4007588 kB
SwapCached:         9476 kB
Active:          5331308 kB
Inactive:        2852292 kB
Active(anon):    3736432 kB
Inactive(anon):    12168 kB
Active(file):    1594876 kB
Inactive(file):  2840124 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67094928 kB
Dirty:             12784 kB
Writeback:             8 kB
AnonPages:       3746756 kB
Mapped:            11012 kB
Shmem:                 0 kB
Slab:             725472 kB
SReclaimable:     169716 kB
SUnreclaim:       555756 kB
KernelStack:        1456 kB
PageTables:        11352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    3861856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2658304 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= 63644 MiB
End job on node126 at 2012-06-04 00:36:30