Trace number 3743731

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.1 1802.41

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null50mast_rapportOE1.0_TMAX60_K192_cod1.opb
MD5SUM00611863005b7eeed329d02777942736
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-79206
Best CPU time to get the best result obtained on this benchmark1804.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 272557
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 1957472477
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 1957472477
Number of bits of the biggest sum of numbers31
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-3743731-1338794547.opb
0.00/0.00	c File size is 31870341 bytes.
0.28/0.30	c Coefficients are big enough for not using lower bounding.
4.29/4.38	c Highest Coefficient sum: 1.95747e+09
4.29/4.38	c Parsing was ok!!
4.29/4.38	c Total parsing time: 4.378 s
4.58/4.60	c Var: 399113 Constr: 400980 399002/1977/1 Lit: 2333884 Watch. Lit: 1594160
4.58/4.60	c Obj. Vars: 272557 (68.2907 % of total variables)
183.54/183.69	c Pre-processing Time: 183.626 s
1800.08/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.40	c        0 398849   400716  2333356    5  1593632  500000      0      0 183.63
1800.08/1800.40	c      102 398849   400818  2915600    7  1593836  550001    102      0 192.72
1800.08/1800.40	c      252 398849   400968  2992479    7  1594178  605002    252      1 197.20
1800.08/1800.40	c      477 398849   401193  3109333    7  1594628  665503    477      2 215.93
1800.08/1800.40	c      815 398849   401531  3282265    8  1595304  732054    815      3 245.62
1800.08/1800.40	c     1323 398849   402039  3523438    8  1596320  805260   1323      4 290.53
1800.08/1800.40	c     2086 398849   402802  3792840    9  1597845  885787   2086      5 361.86
1800.08/1800.40	c     3232 398849   403948  4124048   10  1600138  974366   3232      6 469.05
1800.08/1800.40	c     4953 398849   405669  4450534   10  1603575  500000   4953      7 619.65
1800.08/1800.40	c     7537 398849   408253  4781122   11  1608743  550001   7537     10 719.42
1800.08/1800.40	c    11416 398849   412132  5565738   13  1616501  605002  11416     12 899.59
1800.08/1800.40	c    17238 398849   417954  5770881   13  1628144  665503  17238     12 1397.45
1800.08/1800.40	c Caught signal: 15
1800.08/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.40	c   11    21918  15794 42684277   422634  6182359  21918     12 1800.09
1800.08/1800.40	s UNKNOWN
1800.08/1800.40	c Total time: 1800.09 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-3743731-1338794547/watcher-3743731-1338794547 -o /tmp/evaluation-result-3743731-1338794547/solver-3743731-1338794547 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743731-1338794547.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 30632
/proc/meminfo: memFree=28391088/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 345583315 2723840 48 33554432000 134512640 135840783 4290151472 4290149508 7230404 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30632/statm: 665 48 37 325 0 32 0

[startup+0.061442 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 30632
/proc/meminfo: memFree=28391088/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=47508 CPUtime=0.05 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 1761 0 0 0 5 0 0 0 20 0 1 0 345583315 48648192 1530 33554432000 134512640 135840783 4290151472 4290150176 7742759 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30632/statm: 11877 1530 501 325 0 3032 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 47508

[startup+0.100243 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 30632
/proc/meminfo: memFree=28391088/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=51180 CPUtime=0.08 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 2890 0 0 0 8 0 0 0 20 0 1 0 345583315 52408320 2502 33554432000 134512640 135840783 4290151472 4290150480 134538857 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30632/statm: 12795 2502 636 325 0 3950 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 51180

[startup+0.30022 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 30632
/proc/meminfo: memFree=28391088/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=62328 CPUtime=0.28 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 6889 0 0 0 27 1 0 0 20 0 1 0 345583315 63823872 5898 33554432000 134512640 135840783 4290151472 4290150608 134524170 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30632/statm: 15582 5899 1223 325 0 6737 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 62328

[startup+0.700214 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 30632
/proc/meminfo: memFree=28391088/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=72368 CPUtime=0.69 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 11919 0 0 0 67 2 0 0 20 0 1 0 345583315 74104832 10813 33554432000 134512640 135840783 4290151472 4290146528 7742759 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30632/statm: 18092 10813 2137 325 0 9247 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 72368

[startup+1.50023 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 30633
/proc/meminfo: memFree=28349280/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=87272 CPUtime=1.49 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 17550 0 0 0 146 3 0 0 20 0 1 0 345583315 89366528 16570 33554432000 134512640 135840783 4290151472 4290150620 8481552 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30632/statm: 21818 16571 3636 325 0 12973 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87272

[startup+3.10022 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 30633
/proc/meminfo: memFree=28327820/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=117300 CPUtime=3.08 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 27949 0 0 0 304 4 0 0 20 0 1 0 345583315 120115200 26969 33554432000 134512640 135840783 4290151472 4290150160 7742193 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30632/statm: 29325 26969 6532 325 0 20480 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 117300

[startup+6.30024 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30633
/proc/meminfo: memFree=28232384/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=165764 CPUtime=6.28 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 47620 0 0 0 621 7 0 0 20 0 1 0 345583315 169742336 39906 33554432000 134512640 135840783 4290151472 4285361104 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30632/statm: 41441 39906 342 325 0 40377 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 165764

[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30633
/proc/meminfo: memFree=28232028/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=165764 CPUtime=12.69 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 47622 0 0 0 1261 8 0 0 20 0 1 0 345583315 169742336 39908 33554432000 134512640 135840783 4290151472 4285360772 7729512 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30632/statm: 41441 39908 342 325 0 40377 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 165764

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30633
/proc/meminfo: memFree=28231656/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=165764 CPUtime=25.48 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 47622 0 0 0 2540 8 0 0 20 0 1 0 345583315 169742336 39908 33554432000 134512640 135840783 4290151472 4285361216 134551981 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30632/statm: 41441 39908 342 325 0 40377 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 165764

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30633
/proc/meminfo: memFree=28230292/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=165764 CPUtime=51.07 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 47622 0 0 0 5099 8 0 0 20 0 1 0 345583315 169742336 39908 33554432000 134512640 135840783 4290151472 4285361264 134567665 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 41441 39908 342 325 0 40377 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 165764

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30633
/proc/meminfo: memFree=28225688/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=165896 CPUtime=102.26 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 47641 0 0 0 10217 9 0 0 20 0 1 0 345583315 169877504 39927 33554432000 134512640 135840783 4290151472 4285361056 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30632/statm: 41474 39927 342 325 0 40410 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 165896

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30633
/proc/meminfo: memFree=28216684/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=165896 CPUtime=162.23 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 47652 0 0 0 16212 11 0 0 20 0 1 0 345583315 169877504 39928 33554432000 134512640 135840783 4290151472 4285361196 1950768 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 41474 39928 342 325 0 40410 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 165896

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30633
/proc/meminfo: memFree=28191272/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=180112 CPUtime=222.23 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 51487 0 0 0 22210 13 0 0 20 0 1 0 345583315 184434688 44268 33554432000 134512640 135840783 4290151472 4290150832 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 45028 44268 346 325 0 43964 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 180112

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30634
/proc/meminfo: memFree=28175152/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=183024 CPUtime=282.21 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 52224 0 0 0 28208 13 0 0 20 0 1 0 345583315 187416576 45005 33554432000 134512640 135840783 4290151472 4290150512 7740676 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 45756 45005 346 325 0 44692 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 183024

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30634
/proc/meminfo: memFree=28167552/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=186352 CPUtime=342.2 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 53046 0 0 0 34207 13 0 0 20 0 1 0 345583315 190824448 45827 33554432000 134512640 135840783 4290151472 4290150512 134574669 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 46588 45827 346 325 0 45524 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 186352

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30634
/proc/meminfo: memFree=28160980/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=188732 CPUtime=402.2 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 53621 0 0 0 40206 14 0 0 20 0 1 0 345583315 193261568 46402 33554432000 134512640 135840783 4290151472 4290150784 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 47183 46402 346 325 0 46119 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 188732

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30637
/proc/meminfo: memFree=28146876/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=191112 CPUtime=462.18 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 54246 0 0 0 46204 14 0 0 20 0 1 0 345583315 195698688 47025 33554432000 134512640 135840783 4290151472 4290150784 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 47778 47025 346 325 0 46714 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 191112

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30637
/proc/meminfo: memFree=28137212/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=192720 CPUtime=522.17 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 54762 0 0 0 52203 14 0 0 20 0 1 0 345583315 197345280 47411 33554432000 134512640 135840783 4290151472 4290150768 134572687 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 48180 47411 346 325 0 47116 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 192720

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30638
/proc/meminfo: memFree=28127324/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=194588 CPUtime=582.16 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 55240 0 0 0 58202 14 0 0 20 0 1 0 345583315 199258112 47889 33554432000 134512640 135840783 4290151472 4290150784 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 48647 47889 346 325 0 47583 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 194588

[startup+642.3 s]

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

/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 62170 0 0 0 100193 17 0 0 20 0 1 0 345583315 221298688 53263 33554432000 134512640 135840783 4290151472 4290150560 7740676 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 54028 53263 346 325 0 52964 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 216112

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30651
/proc/meminfo: memFree=28364060/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=219152 CPUtime=1062.09 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 62929 0 0 0 106192 17 0 0 20 0 1 0 345583315 224411648 54022 33554432000 134512640 135840783 4290151472 4290150832 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 54788 54022 346 325 0 53724 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 219152

[startup+1122.3 s]
/proc/loadavg: 2.18 2.06 2.02 3/177 30682
/proc/meminfo: memFree=28208620/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=219420 CPUtime=1122.08 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 62986 0 0 0 112190 18 0 0 20 0 1 0 345583315 224686080 54079 33554432000 134512640 135840783 4290151472 4290150768 134571844 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 54855 54079 346 325 0 53791 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 219420

[startup+1182.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 30683
/proc/meminfo: memFree=28208120/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=219816 CPUtime=1182.07 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 63069 0 0 0 118189 18 0 0 20 0 1 0 345583315 225091584 54181 33554432000 134512640 135840783 4290151472 4290150832 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 54954 54181 346 325 0 53890 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 219816

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.01 3/177 30683
/proc/meminfo: memFree=28207220/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=220348 CPUtime=1242.06 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 63210 0 0 0 124188 18 0 0 20 0 1 0 345583315 225636352 54322 33554432000 134512640 135840783 4290151472 4290150560 7740676 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 55087 54322 346 325 0 54023 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 220348

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 30683
/proc/meminfo: memFree=28191128/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=220352 CPUtime=1302.06 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 63211 0 0 0 130188 18 0 0 20 0 1 0 345583315 225640448 54323 33554432000 134512640 135840783 4290151472 4290150832 134551324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 55088 54323 346 325 0 54024 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 220352

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30683
/proc/meminfo: memFree=28188772/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=221012 CPUtime=1362.04 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 63374 0 0 0 136186 18 0 0 20 0 1 0 345583315 226316288 54486 33554432000 134512640 135840783 4290151472 4290150832 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 55253 54486 346 325 0 54189 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 221012

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30683
/proc/meminfo: memFree=28188212/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=221544 CPUtime=1422.04 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 63504 0 0 0 142186 18 0 0 20 0 1 0 345583315 226861056 54615 33554432000 134512640 135840783 4290151472 4290150832 134551063 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 55386 54615 346 325 0 54322 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 221544

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30684
/proc/meminfo: memFree=28187704/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=221548 CPUtime=1482.03 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 63505 0 0 0 148185 18 0 0 20 0 1 0 345583315 226865152 54616 33554432000 134512640 135840783 4290151472 4290150608 7740318 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 55387 54616 346 325 0 54323 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 221548

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30684
/proc/meminfo: memFree=28184480/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=221944 CPUtime=1542.02 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 63615 0 0 0 154184 18 0 0 20 0 1 0 345583315 227270656 54726 33554432000 134512640 135840783 4290151472 4290150768 134571798 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 55486 54726 346 325 0 54422 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 221944

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30684
/proc/meminfo: memFree=28184480/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=222080 CPUtime=1602.01 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 63647 0 0 0 160183 18 0 0 20 0 1 0 345583315 227409920 54758 33554432000 134512640 135840783 4290151472 4290150768 134572040 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 55520 54758 346 325 0 54456 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 222080

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30687
/proc/meminfo: memFree=28181960/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=223532 CPUtime=1662 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 63998 0 0 0 166182 18 0 0 20 0 1 0 345583315 228896768 55109 33554432000 134512640 135840783 4290151472 4290150608 7740318 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 55883 55109 346 325 0 54819 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 223532

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30687
/proc/meminfo: memFree=28178772/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=223536 CPUtime=1721.99 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 63999 0 0 0 172181 18 0 0 20 0 1 0 345583315 228900864 55110 33554432000 134512640 135840783 4290151472 4290150768 134571925 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 55884 55110 346 325 0 54820 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 223536

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30687
/proc/meminfo: memFree=28178532/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=223540 CPUtime=1781.98 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 64002 0 0 0 178180 18 0 0 20 0 1 0 345583315 228904960 55113 33554432000 134512640 135840783 4290151472 4290150768 134572687 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 55885 55113 346 325 0 54821 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 223540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30688
/proc/meminfo: memFree=28177284/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=223540 CPUtime=1800.08 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) R 30630 30632 30003 0 -1 4202496 64002 0 0 0 179990 18 0 0 20 0 1 0 345583315 228904960 55113 33554432000 134512640 135840783 4290151472 4290150832 134551671 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 55885 55113 346 325 0 54821 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 223540

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -30632

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 30689
/proc/meminfo: memFree=28177276/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=223540 CPUtime=1800.08 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) S 30630 30632 30003 0 -1 4202496 64003 0 0 0 179990 18 0 0 20 0 1 0 345583315 228904960 55114 33554432000 134512640 135840783 4290151472 4290149092 1950768 0 16384 4096 16384 18446744071579510697 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 55885 55114 347 325 0 54821 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 223540

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 30689
/proc/meminfo: memFree=28177276/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=223540 CPUtime=1800.08 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) S 30630 30632 30003 0 -1 4202496 64003 0 0 0 179990 18 0 0 20 0 1 0 345583315 228904960 55114 33554432000 134512640 135840783 4290151472 4290149092 1950768 0 16384 4096 16384 18446744071579510697 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 55885 55114 347 325 0 54821 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 223540

[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 30689
/proc/meminfo: memFree=28177276/32873844 swapFree=6872/6872
[pid=30632] ppid=30630 vsize=223540 CPUtime=1800.08 cores=0,2,4,6
/proc/30632/stat : 30632 (bsolo3.0.17) S 30630 30632 30003 0 -1 4202496 64003 0 0 0 179990 18 0 0 20 0 1 0 345583315 228904960 55114 33554432000 134512640 135840783 4290151472 4290149092 1950768 0 16384 4096 16384 18446744071579510697 0 0 17 2 0 0 0 0 0
/proc/30632/statm: 55885 55114 347 325 0 54821 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 223540

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.41
CPU time (s): 1800.1
CPU user time (s): 1799.91
CPU system time (s): 0.189971
CPU usage (%): 99.8718
Max. virtual memory (cumulated for all children) (KiB): 223540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.189971
maximum resident set size= 220456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64003
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= 40
involuntary context switches= 4564

runsolver used 7.17191 second user time and 13.04 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-04 09:22:28
IDJOB=3743731
IDBENCH=92244
IDSOLVER=2318
FILE ID=node106/3743731-1338794547
RUNJOBID= node106-1338784775-30019
PBS_JOBID= 14636852
Free space on /tmp= 70800 MiB

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

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

MD5SUM BENCH= 00611863005b7eeed329d02777942736
RANDOM SEED=81916193

node106.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.065
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.13
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.065
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		: 2667.065
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.91
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.065
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.92
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.065
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.065
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.065
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.91
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.065
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:       32873844 kB
MemFree:        28391064 kB
Buffers:          340888 kB
Cached:          3078960 kB
SwapCached:         2004 kB
Active:          1320952 kB
Inactive:        2300836 kB
Active(anon):     199620 kB
Inactive(anon):     4984 kB
Active(file):    1121332 kB
Inactive(file):  2295852 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:             37764 kB
Writeback:             0 kB
AnonPages:        208888 kB
Mapped:            10436 kB
Shmem:                 0 kB
Slab:             719824 kB
SReclaimable:     161920 kB
SUnreclaim:       557904 kB
KernelStack:        1456 kB
PageTables:         4268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     322012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    167936 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70792 MiB
End job on node106 at 2012-06-04 09:52:31