Trace number 3743385

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.09 1800.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod2.opb
MD5SUM765f9ba042cd825181247f9fbcec5226
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-35819
Best CPU time to get the best result obtained on this benchmark746.384
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 892
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 891819
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 891819
Number of bits of the biggest sum of numbers20
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-3743385-1338780970.opb
0.00/0.00	c File size is 28227229 bytes.
3.48/3.59	c Highest Coefficient sum: 891819
3.48/3.59	c Parsing was ok!!
3.48/3.59	c Total parsing time: 3.586 s
3.79/3.82	c Var: 400896 Constr: 402763 400785/1977/1 Lit: 2338937 Watch. Lit: 1260323
3.79/3.82	c Obj. Vars: 892 (0.222502 % of total variables)
182.93/183.00	c Pre-processing Time: 182.943 s
182.93/183.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.93/183.02	c        0 399954   401657  2332067    5  1257023  500000      0      0 182.94
182.93/183.02	c Switching off LPR mode.
1800.07/1800.40	c      101 399858   401758  2475247    6  1257223  550001    101      0 185.21
1800.07/1800.40	c      251 399858   401908  2544756    6  1257634  605002    251      1 186.42
1800.07/1800.40	c      476 399858   402133  2665431    6  1258105  665503    476      2 192.11
1800.07/1800.40	c      814 399858   402471  2804287    6  1258782  732054    814      4 199.77
1800.07/1800.40	c     1323 399858   402980  3080330    7  1259800  805260   1323      5 231.00
1800.07/1800.40	c     2086 399858   403743  3373840    8  1261325  885787   2086      7 271.47
1800.07/1800.40	c     3233 399858   404890  3762622    9  1263620  974366   3233      9 344.00
1800.07/1800.40	c     4956 399858   406613  4290791   10  1267065  500000   4956     11 423.51
1800.07/1800.40	c     7540 399858   409197  5391273   13  1272234  550001   7540     13 556.19
1800.07/1800.40	c    11422 399858   413079  6587550   15  1279998  605002  11422     14 768.45
1800.07/1800.40	c    17244 399858   418901  8917708   21  1291642  665503  17244     16 1045.66
1800.07/1800.40	c    25981 399858   427638 12134666   28  1309116  732054  25981     18 1391.62
1800.07/1800.40	c Caught signal: 15
1800.07/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.40	c   12    30529  19068  2773908   432186 13965264  30529     16 1800.08
1800.07/1800.40	s UNKNOWN
1800.07/1800.40	c Total time: 1800.08 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-3743385-1338780970/watcher-3743385-1338780970 -o /tmp/evaluation-result-3743385-1338780970/solver-3743385-1338780970 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743385-1338780970.opb 

running on 4 cores: 1,3,5,7

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.93 1.99 1.99 3/176 24028
/proc/meminfo: memFree=27638144/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4194304 198 0 0 0 0 0 0 0 20 0 1 0 344223939 4583424 149 33554432000 134512640 135840783 4291949888 4291949192 11204228 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 1119 154 132 325 0 39 0

[startup+0.0958141 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 24028
/proc/meminfo: memFree=27638144/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=36520 CPUtime=0.08 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 1797 0 0 0 8 0 0 0 20 0 1 0 344223939 37396480 1694 33554432000 134512640 135840783 4291949888 4291948576 11715879 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 9130 1694 576 325 0 1174 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36520

[startup+0.100216 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 24028
/proc/meminfo: memFree=27638144/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=36660 CPUtime=0.09 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 1847 0 0 0 9 0 0 0 20 0 1 0 344223939 37539840 1744 33554432000 134512640 135840783 4291949888 4291948544 11715879 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 9165 1744 588 325 0 1209 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36660

[startup+0.300197 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 24028
/proc/meminfo: memFree=27638144/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=43636 CPUtime=0.28 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 4221 0 0 0 28 0 0 0 20 0 1 0 344223939 44683264 3990 33554432000 134512640 135840783 4291949888 4291948880 134525286 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 10909 3990 1113 325 0 2953 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 43636

[startup+0.700276 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 24028
/proc/meminfo: memFree=27638144/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=56352 CPUtime=0.69 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 8631 0 0 0 68 1 0 0 20 0 1 0 344223939 57704448 8146 33554432000 134512640 135840783 4291949888 4291948704 11715879 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 14088 8147 2082 325 0 6132 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56352

[startup+1.50023 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 24029
/proc/meminfo: memFree=27603548/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=83416 CPUtime=1.49 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 17544 0 0 0 147 2 0 0 20 0 1 0 344223939 85417984 16553 33554432000 134512640 135840783 4291949888 4291948576 11715879 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 20854 16553 3772 325 0 12898 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83416

[startup+3.10023 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 24029
/proc/meminfo: memFree=27569616/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=115940 CPUtime=3.08 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 28660 0 0 0 305 3 0 0 20 0 1 0 344223939 118722560 27169 33554432000 134512640 135840783 4291949888 4291946320 11715879 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 28985 27169 6519 325 0 21029 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 115940

[startup+6.30028 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 24029
/proc/meminfo: memFree=27481176/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=166152 CPUtime=6.28 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 44991 0 0 0 622 6 0 0 20 0 1 0 344223939 170139648 39560 33554432000 134512640 135840783 4291949888 4287138016 11713366 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 41538 39560 342 325 0 40474 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 166152

[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 24029
/proc/meminfo: memFree=27480920/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=166152 CPUtime=12.68 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 44991 0 0 0 1262 6 0 0 20 0 1 0 344223939 170139648 39560 33554432000 134512640 135840783 4291949888 4287137888 11713438 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 41538 39560 342 325 0 40474 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 166152

[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 24029
/proc/meminfo: memFree=27480500/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=166152 CPUtime=25.48 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 44991 0 0 0 2542 6 0 0 20 0 1 0 344223939 170139648 39560 33554432000 134512640 135840783 4291949888 4287138224 134583154 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 41538 39560 342 325 0 40474 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 166152

[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 24029
/proc/meminfo: memFree=27478200/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=166152 CPUtime=51.08 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 44994 0 0 0 5101 7 0 0 20 0 1 0 344223939 170139648 39563 33554432000 134512640 135840783 4291949888 4287137888 11713438 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 41538 39563 342 325 0 40474 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 166152

[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 24029
/proc/meminfo: memFree=27474772/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=166152 CPUtime=102.25 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 45030 0 0 0 10217 8 0 0 20 0 1 0 344223939 170139648 39563 33554432000 134512640 135840783 4291949888 4287137828 11702626 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 41538 39563 342 325 0 40474 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 166152

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24030
/proc/meminfo: memFree=27467200/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=166284 CPUtime=162.23 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 45048 0 0 0 16214 9 0 0 20 0 1 0 344223939 170274816 40354 33554432000 134512640 135840783 4291949888 4287138112 134550606 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 41571 40354 342 325 0 40507 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 166284

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24030
/proc/meminfo: memFree=27454060/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=173904 CPUtime=222.22 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 47911 0 0 0 22212 10 0 0 20 0 1 0 344223939 178077696 42263 33554432000 134512640 135840783 4291949888 4291949184 134572036 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 43476 42263 346 325 0 42412 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 173904

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 24072
/proc/meminfo: memFree=27527760/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=178440 CPUtime=282.21 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 49061 0 0 0 28210 11 0 0 20 0 1 0 344223939 182722560 43413 33554432000 134512640 135840783 4291949888 4291949248 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 44610 43413 346 325 0 43546 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 178440

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24072
/proc/meminfo: memFree=27523600/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=182012 CPUtime=342.2 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 49953 0 0 0 34208 12 0 0 20 0 1 0 344223939 186380288 44305 33554432000 134512640 135840783 4291949888 4291944532 11702524 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 45503 44305 346 325 0 44439 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 182012

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 24072
/proc/meminfo: memFree=27519316/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=186652 CPUtime=402.19 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 51096 0 0 0 40206 13 0 0 20 0 1 0 344223939 191131648 45448 33554432000 134512640 135840783 4291949888 4291949184 134572033 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 46663 45448 346 325 0 45599 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 186652

[startup+462.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 24073
/proc/meminfo: memFree=27496884/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=193436 CPUtime=462.18 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 52809 0 0 0 46204 14 0 0 20 0 1 0 344223939 198078464 47161 33554432000 134512640 135840783 4291949888 4291938820 11702626 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 48359 47161 346 325 0 47295 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 193436

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24073
/proc/meminfo: memFree=27476796/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=198252 CPUtime=522.17 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 54023 0 0 0 52203 14 0 0 20 0 1 0 344223939 203010048 48375 33554432000 134512640 135840783 4291949888 4291949024 11713438 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 49563 48375 346 325 0 48499 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 198252

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24073
/proc/meminfo: memFree=27458320/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=202372 CPUtime=582.16 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 55047 0 0 0 58201 15 0 0 20 0 1 0 344223939 207228928 49398 33554432000 134512640 135840783 4291949888 4291949124 11721291 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 50593 49398 346 325 0 49529 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 202372

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24074
/proc/meminfo: memFree=27379188/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=222216 CPUtime=822.13 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 60009 0 0 0 82194 19 0 0 20 0 1 0 344223939 227549184 54357 33554432000 134512640 135840783 4291949888 4291941044 11702530 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 55554 54357 346 325 0 54490 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 222216

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24077
/proc/meminfo: memFree=27359040/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=226580 CPUtime=882.12 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 61109 0 0 0 88192 20 0 0 20 0 1 0 344223939 232017920 55453 33554432000 134512640 135840783 4291949888 4291949184 134571901 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 56645 55453 346 325 0 55581 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 226580

[startup+942.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 24077
/proc/meminfo: memFree=27327304/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=232164 CPUtime=942.11 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 62487 0 0 0 94190 21 0 0 20 0 1 0 344223939 237735936 56831 33554432000 134512640 135840783 4291949888 4291948916 11702524 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 58041 56831 346 325 0 56977 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 232164

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24077
/proc/meminfo: memFree=27304316/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=239632 CPUtime=1002.1 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 64370 0 0 0 100188 22 0 0 20 0 1 0 344223939 245383168 58714 33554432000 134512640 135840783 4291949888 4291949024 11713438 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 59908 58714 346 325 0 58844 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 239632

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24078
/proc/meminfo: memFree=27265272/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=248268 CPUtime=1062.09 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 66519 0 0 0 106186 23 0 0 20 0 1 0 344223939 254226432 60863 33554432000 134512640 135840783 4291949888 4291949184 134571798 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 62067 60863 346 325 0 61003 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 248268

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24078
/proc/meminfo: memFree=27243328/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=257572 CPUtime=1122.09 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 68837 0 0 0 112185 24 0 0 20 0 1 0 344223939 263753728 63181 33554432000 134512640 135840783 4291949888 4291949184 134572033 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 64393 63181 346 325 0 63329 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 257572

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24078
/proc/meminfo: memFree=27223156/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=264472 CPUtime=1182.07 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 70587 0 0 0 118183 24 0 0 20 0 1 0 344223939 270819328 64929 33554432000 134512640 135840783 4291949888 4291949024 11713438 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 66118 64929 346 325 0 65054 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 264472

[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 24078
/proc/meminfo: memFree=27205508/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=268972 CPUtime=1242.06 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 71714 0 0 0 124181 25 0 0 20 0 1 0 344223939 275427328 66052 33554432000 134512640 135840783 4291949888 4291949248 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 67243 66052 346 325 0 66179 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 268972

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24078
/proc/meminfo: memFree=27183436/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=273884 CPUtime=1302.06 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 72941 0 0 0 130180 26 0 0 20 0 1 0 344223939 280457216 67279 33554432000 134512640 135840783 4291949888 4291949200 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 68471 67279 346 325 0 67407 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 273884

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24079
/proc/meminfo: memFree=27158636/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=283968 CPUtime=1362.04 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 75462 0 0 0 136177 27 0 0 20 0 1 0 344223939 290783232 69800 33554432000 134512640 135840783 4291949888 4291949024 11713438 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 70992 69800 346 325 0 69928 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 283968

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24079
/proc/meminfo: memFree=27138324/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=291408 CPUtime=1422.04 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 77317 0 0 0 142176 28 0 0 20 0 1 0 344223939 298401792 71655 33554432000 134512640 135840783 4291949888 4291948976 11713796 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 72852 71655 346 325 0 71788 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 291408

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24082
/proc/meminfo: memFree=27113700/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=296720 CPUtime=1482.02 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 78646 0 0 0 148173 29 0 0 20 0 1 0 344223939 303841280 72984 33554432000 134512640 135840783 4291949888 4291949024 11713796 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 74180 72984 346 325 0 73116 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 296720

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24104
/proc/meminfo: memFree=27086352/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=299232 CPUtime=1542.01 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 79263 0 0 0 154172 29 0 0 20 0 1 0 344223939 306413568 73601 33554432000 134512640 135840783 4291949888 4291944580 11702626 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 74808 73601 346 325 0 73744 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 299232

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24104
/proc/meminfo: memFree=27072100/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=301348 CPUtime=1602.01 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 79796 0 0 0 160171 30 0 0 20 0 1 0 344223939 308580352 74134 33554432000 134512640 135840783 4291949888 4291949024 11713438 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 75337 74134 346 325 0 74273 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 301348

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24105
/proc/meminfo: memFree=27055944/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=304912 CPUtime=1661.99 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 80704 0 0 0 166169 30 0 0 20 0 1 0 344223939 312229888 75032 33554432000 134512640 135840783 4291949888 4291949184 134572687 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 76228 75032 346 325 0 75164 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 304912

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 24105
/proc/meminfo: memFree=27039116/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=308088 CPUtime=1721.97 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 81505 0 0 0 172167 30 0 0 20 0 1 0 344223939 315482112 75833 33554432000 134512640 135840783 4291949888 4291949184 134571872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 77022 75833 346 325 0 75958 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 308088

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24105
/proc/meminfo: memFree=27025476/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=310332 CPUtime=1781.97 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 82063 0 0 0 178166 31 0 0 20 0 1 0 344223939 317779968 76391 33554432000 134512640 135840783 4291949888 4291944308 11702626 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 77583 76391 346 325 0 76519 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 310332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24105
/proc/meminfo: memFree=27021012/32873648 swapFree=6864/6864
[pid=24028] ppid=24026 vsize=311260 CPUtime=1800.07 cores=1,3,5,7
/proc/24028/stat : 24028 (bsolo3.0.17) R 24026 24028 20253 0 -1 4202496 82272 0 0 0 179976 31 0 0 20 0 1 0 344223939 318730240 76600 33554432000 134512640 135840783 4291949888 4291949248 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/24028/statm: 77815 76600 346 325 0 76751 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 311260

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

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

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.77
CPU system time (s): 0.318951
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 311260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.318951
maximum resident set size= 306400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82275
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= 85
involuntary context switches= 1970

runsolver used 3.19951 second user time and 9.94549 second system time

The end

Launcher Data 

Begin job on node113 at 2012-06-04 05:36:11
IDJOB=3743385
IDBENCH=91064
IDSOLVER=2318
FILE ID=node113/3743385-1338780970
RUNJOBID= node113-1338748314-20270
PBS_JOBID= 14636785
Free space on /tmp= 70920 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod2.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743385-1338780970/watcher-3743385-1338780970 -o /tmp/evaluation-result-3743385-1338780970/solver-3743385-1338780970 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3743385-1338780970.opb            

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

MD5SUM BENCH= 765f9ba042cd825181247f9fbcec5226
RANDOM SEED=793431165

node113.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.026
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.05
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.026
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.90
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.026
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	: 5438.54
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.026
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		: 2667.026
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.91
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.026
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		: 2667.026
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.92
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.026
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27638788 kB
Buffers:          540948 kB
Cached:          3562336 kB
SwapCached:         2028 kB
Active:          2033812 kB
Inactive:        2296924 kB
Active(anon):     226832 kB
Inactive(anon):     1912 kB
Active(file):    1806980 kB
Inactive(file):  2295012 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67099708 kB
Dirty:             34180 kB
Writeback:             0 kB
AnonPages:        233744 kB
Mapped:            12568 kB
Shmem:                 0 kB
Slab:             764524 kB
SReclaimable:     208644 kB
SUnreclaim:       555880 kB
KernelStack:        1480 kB
PageTables:         4304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     351376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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= 70912 MiB
End job on node113 at 2012-06-04 06:06:13