Trace number 3708403

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
bsolo 3.2? 1798.44 1798.75

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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3708403-1338250819.opb
0.00/0.00	c File size is 28227229 bytes.
3.39/3.48	c Highest Coefficient sum: 891819
3.39/3.48	c Parsing was ok!!
3.39/3.48	c Total parsing time: 3.478 s
3.68/3.70	c Var: 400896 Constr: 402763 400785/1977/1 Lit: 2338937 Watch. Lit: 1260323
3.68/3.70	c Obj. Vars: 892 (0.222502 % of total variables)
182.74/182.85	c Pre-processing Time: 182.804 s
182.74/182.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.74/182.87	c        0 399914   401620  2331827    5  1256894  500000      0      0 182.80
182.74/182.87	c Switching off lower bounding mode.
1798.38/1798.74	c      101 389037   401724  2456476    6  1257728  550001    104      0 200.92
1798.38/1798.74	c      251 389037   401890  2477002    6  1260319  605002    270      1 223.50
1798.38/1798.74	c      477 389037   402122  2504514    6  1261364  665503    502      1 240.05
1798.38/1798.74	c      816 389037   402518  2703435    6  1263549  732054    898      2 363.20
1798.38/1798.74	c     1324 389037   403075  2883956    7  1265210  805260   1455      3 414.34
1798.38/1798.74	c     2087 389037   403890  3227141    7  1267391  885787   2270      4 521.49
1798.38/1798.74	c     3236 389037   405136  3694983    9  1273553  974366   3516      4 673.49
1798.38/1798.74	c     4958 389037   407058  4288967   10  1277888  500000   5438      4 1019.20
1798.38/1798.74	c     7542 389037   409866  4742512   11  1290103  550001   8246      5 1421.07
1798.38/1798.74	c Resources Exceeded
1798.38/1798.74	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.38/1798.74	c    9    10386   6562  3165788   412796  4939857  11176      5 1798.44
1798.38/1798.74	s UNKNOWN
1798.38/1798.74	c Total time: 1798.44 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-3708403-1338250819/watcher-3708403-1338250819 -o /tmp/evaluation-result-3708403-1338250819/solver-3708403-1338250819 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708403-1338250819.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: 2.00 2.00 2.00 3/176 5541
/proc/meminfo: memFree=31098280/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=38648 CPUtime=0 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 291207403 39575552 317 33554432000 134512640 137138936 4287842624 4287840976 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 9662 319 182 642 0 2126 0

[startup+0.0954169 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5541
/proc/meminfo: memFree=31098280/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=43036 CPUtime=0.08 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 1752 0 0 0 8 0 0 0 20 0 1 0 291207403 44068864 1665 33554432000 134512640 137138936 4287842624 4287841016 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 10759 1666 445 642 0 3223 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 43036

[startup+0.100273 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5541
/proc/meminfo: memFree=31098280/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=43184 CPUtime=0.09 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 1821 0 0 0 9 0 0 0 20 0 1 0 291207403 44220416 1734 33554432000 134512640 137138936 4287842624 4287840904 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 10796 1734 458 642 0 3260 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43184

[startup+0.300216 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5541
/proc/meminfo: memFree=31098280/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=49872 CPUtime=0.29 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 4115 0 0 0 28 1 0 0 20 0 1 0 291207403 51068928 3900 33554432000 134512640 137138936 4287842624 4287841152 134517592 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 12468 3900 994 642 0 4932 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49872

[startup+0.700229 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5541
/proc/meminfo: memFree=31098280/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=63700 CPUtime=0.69 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 8825 0 0 0 67 2 0 0 20 0 1 0 291207403 65228800 8357 33554432000 134512640 137138936 4287842624 4287840968 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 15925 8357 2007 642 0 8389 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63700

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5542
/proc/meminfo: memFree=31061304/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=91316 CPUtime=1.49 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 17926 0 0 0 146 3 0 0 20 0 1 0 291207403 93507584 16951 33554432000 134512640 137138936 4287842624 4287840976 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 22829 16951 3733 642 0 15293 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91316

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5543
/proc/meminfo: memFree=31026752/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=122704 CPUtime=3.09 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 28386 0 0 0 305 4 0 0 20 0 1 0 291207403 125648896 27422 33554432000 134512640 137138936 4287842624 4287838616 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 30676 27422 6500 642 0 23140 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 122704

[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5543
/proc/meminfo: memFree=30937956/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=175396 CPUtime=6.29 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 45685 0 0 0 622 7 0 0 20 0 1 0 291207403 179605504 40270 33554432000 134512640 137138936 4287842624 4283030384 134541971 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 43849 40270 184 642 0 43205 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175396

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5543
/proc/meminfo: memFree=30937228/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=175396 CPUtime=12.68 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 45686 0 0 0 1261 7 0 0 20 0 1 0 291207403 179605504 40271 33554432000 134512640 137138936 4287842624 4283030168 136504500 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 43849 40271 184 642 0 43205 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 175396

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5543
/proc/meminfo: memFree=30937484/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=175396 CPUtime=25.49 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 45686 0 0 0 2541 8 0 0 20 0 1 0 291207403 179605504 40271 33554432000 134512640 137138936 4287842624 4283030384 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 43849 40271 184 642 0 43205 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 175396

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5543
/proc/meminfo: memFree=30937616/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=175528 CPUtime=51.08 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 45693 0 0 0 5100 8 0 0 20 0 1 0 291207403 179740672 40278 33554432000 134512640 137138936 4287842624 4283030084 136500260 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 43882 40278 184 642 0 43238 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 175528

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5543
/proc/meminfo: memFree=30937172/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=175528 CPUtime=102.28 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 45695 0 0 0 10219 9 0 0 20 0 1 0 291207403 179740672 40280 33554432000 134512640 137138936 4287842624 4283030384 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 43882 40280 184 642 0 43238 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 175528

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5543
/proc/meminfo: memFree=30937388/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=175528 CPUtime=162.25 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 45721 0 0 0 16215 10 0 0 20 0 1 0 291207403 179740672 40284 33554432000 134512640 137138936 4287842624 4283030384 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 43882 40284 184 642 0 43238 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 175528

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5543
/proc/meminfo: memFree=30926492/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=180684 CPUtime=222.23 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 230062 0 0 0 22086 137 0 0 20 0 1 0 291207403 185020416 42783 33554432000 134512640 137138936 4287842624 4287841376 134575855 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 45171 42783 192 642 0 44527 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 180684

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 5543
/proc/meminfo: memFree=30926744/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=180724 CPUtime=282.22 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 536695 0 0 0 28017 205 0 0 20 0 1 0 291207403 185061376 42793 33554432000 134512640 137138936 4287842624 4287841048 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 45181 42793 192 642 0 44537 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 180724

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5544
/proc/meminfo: memFree=30926672/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=180724 CPUtime=342.22 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 617521 0 0 0 33999 223 0 0 20 0 1 0 291207403 185061376 42793 33554432000 134512640 137138936 4287842624 4287841120 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 45181 42793 192 642 0 44537 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 180724

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 5545
/proc/meminfo: memFree=30920772/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=183876 CPUtime=402.21 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 1086310 0 0 0 39900 321 0 0 20 0 1 0 291207403 188289024 43581 33554432000 134512640 137138936 4287842624 4287841168 134607563 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 45969 43581 192 642 0 45325 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 183876

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5545
/proc/meminfo: memFree=30919484/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=185552 CPUtime=462.2 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 1497774 0 0 0 45812 408 0 0 20 0 1 0 291207403 190005248 44000 33554432000 134512640 137138936 4287842624 4287841048 134606691 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 46388 44000 192 642 0 45744 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 185552

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5545
/proc/meminfo: memFree=30917128/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=187576 CPUtime=522.19 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 1875925 0 0 0 51723 496 0 0 20 0 1 0 291207403 192077824 44506 33554432000 134512640 137138936 4287842624 4287841504 134583038 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 46894 44506 192 642 0 46250 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 187576

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5545
/proc/meminfo: memFree=30913212/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=192344 CPUtime=582.17 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 2290511 0 0 0 57634 583 0 0 20 0 1 0 291207403 196960256 45698 33554432000 134512640 137138936 4287842624 4287840904 136504212 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 48086 45698 192 642 0 47442 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 192344

[startup+642.3 s]

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

/proc/meminfo: memFree=30898472/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=204908 CPUtime=1062.1 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 4655447 0 0 0 105133 1077 0 0 20 0 1 0 291207403 209825792 48839 33554432000 134512640 137138936 4287842624 4287841048 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 51227 48839 192 642 0 50583 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 204908

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5550
/proc/meminfo: memFree=30895744/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=207964 CPUtime=1122.09 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 4951192 0 0 0 111071 1138 0 0 20 0 1 0 291207403 212955136 49571 33554432000 134512640 137138936 4287842624 4287841048 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 51991 49571 192 642 0 51347 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 207964

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 5553
/proc/meminfo: memFree=30894980/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=207288 CPUtime=1182.08 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 5157726 0 0 0 117027 1181 0 0 20 0 1 0 291207403 212262912 49434 33554432000 134512640 137138936 4287842624 4287841048 134606670 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 51822 49434 192 642 0 51178 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 207288

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5554
/proc/meminfo: memFree=30894616/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=208760 CPUtime=1242.07 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 5399463 0 0 0 122974 1233 0 0 20 0 1 0 291207403 213770240 49802 33554432000 134512640 137138936 4287842624 4287841376 134575200 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 52190 49802 192 642 0 51546 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 208760

[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 5554
/proc/meminfo: memFree=30890708/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=209436 CPUtime=1302.06 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 5578188 0 0 0 128931 1275 0 0 20 0 1 0 291207403 214462464 49971 33554432000 134512640 137138936 4287842624 4287841120 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 52359 49971 192 642 0 51715 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 209436

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 5554
/proc/meminfo: memFree=30890460/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=209436 CPUtime=1362.05 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 5706233 0 0 0 134899 1306 0 0 20 0 1 0 291207403 214462464 49971 33554432000 134512640 137138936 4287842624 4287841048 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 52359 49971 192 642 0 51715 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 209436

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 5592
/proc/meminfo: memFree=31030876/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=211164 CPUtime=1422.04 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 5962496 0 0 0 140843 1361 0 0 20 0 1 0 291207403 216231936 50371 33554432000 134512640 137138936 4287842624 4287841048 134607001 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 52791 50371 192 642 0 52147 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 211164

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5592
/proc/meminfo: memFree=31010860/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=208276 CPUtime=1482.03 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 6350109 0 0 0 146755 1448 0 0 20 0 1 0 291207403 213274624 49649 33554432000 134512640 137138936 4287842624 4287841336 136504212 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 52069 49649 192 642 0 51425 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 208276

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5593
/proc/meminfo: memFree=30967712/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=208016 CPUtime=1542.03 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 6736501 0 0 0 152676 1527 0 0 20 0 1 0 291207403 213008384 49615 33554432000 134512640 137138936 4287842624 4287841552 134543180 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 52004 49615 192 642 0 51360 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 208016

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5593
/proc/meminfo: memFree=30959528/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=211584 CPUtime=1602.01 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 7164163 0 0 0 158583 1618 0 0 20 0 1 0 291207403 216662016 50508 33554432000 134512640 137138936 4287842624 4287841048 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 52896 50508 192 642 0 52252 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 211584

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5593
/proc/meminfo: memFree=30954080/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=212452 CPUtime=1662 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 7576972 0 0 0 164496 1704 0 0 20 0 1 0 291207403 217550848 50725 33554432000 134512640 137138936 4287842624 4287841376 134575295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 53113 50725 192 642 0 52469 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 212452

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5593
/proc/meminfo: memFree=30928584/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=212772 CPUtime=1722 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 7986174 0 0 0 170406 1794 0 0 20 0 1 0 291207403 217878528 50805 33554432000 134512640 137138936 4287842624 4287841376 134575204 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 53193 50805 192 642 0 52549 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 212772

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5603
/proc/meminfo: memFree=31083896/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=210088 CPUtime=1781.99 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 8381475 0 0 0 176325 1874 0 0 20 0 1 0 291207403 215130112 50134 33554432000 134512640 137138936 4287842624 4287841288 136504658 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 52522 50134 192 642 0 51878 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 210088

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5634
/proc/meminfo: memFree=30998068/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=213300 CPUtime=1791.59 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 8452121 0 0 0 177271 1888 0 0 20 0 1 0 291207403 218419200 50937 33554432000 134512640 137138936 4287842624 4287841048 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 53325 50937 192 642 0 52681 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 213300

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5634
/proc/meminfo: memFree=30995000/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=213308 CPUtime=1794.79 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 8476188 0 0 0 177587 1892 0 0 20 0 1 0 291207403 218427392 50939 33554432000 134512640 137138936 4287842624 4287840852 136500294 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 53327 50939 192 642 0 52683 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 213308

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5634
/proc/meminfo: memFree=30995132/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=213324 CPUtime=1796.38 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 8483660 0 0 0 177745 1893 0 0 20 0 1 0 291207403 218443776 50943 33554432000 134512640 137138936 4287842624 4287841048 134606670 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 53331 50943 192 642 0 52687 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 213324

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5634
/proc/meminfo: memFree=30995380/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=210204 CPUtime=1797.19 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 8487688 0 0 0 177824 1895 0 0 20 0 1 0 291207403 215248896 50163 33554432000 134512640 137138936 4287842624 4287841552 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 52551 50163 192 642 0 51907 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 210204

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5634
/proc/meminfo: memFree=30995380/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=214760 CPUtime=1797.98 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 8493660 0 0 0 177903 1895 0 0 20 0 1 0 291207403 219914240 51226 33554432000 134512640 137138936 4287842624 4287148368 134603271 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 53690 51237 192 642 0 53046 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 214760

[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5634
/proc/meminfo: memFree=30995360/32873648 swapFree=7116/7116
[pid=5541] ppid=5539 vsize=213344 CPUtime=1798.38 cores=0,2,4,6
/proc/5541/stat : 5541 (bsolo) R 5539 5541 4099 0 -1 4202496 8494500 0 0 0 177943 1895 0 0 20 0 1 0 291207403 218464256 50948 33554432000 134512640 137138936 4287842624 4287841120 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5541/statm: 53336 50948 192 642 0 52692 0
Current children cumulated CPU time (s) 1798.38
Current children cumulated vsize (KiB) 213344

Child status: 0
Real time (s): 1798.75
CPU time (s): 1798.44
CPU user time (s): 1779.48
CPU system time (s): 18.9611
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 216168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.48
system time used= 18.9611
maximum resident set size= 206492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8495171
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= 45
involuntary context switches= 1989

runsolver used 3.37549 second user time and 8.48071 second system time

The end

Launcher Data 

Begin job on node123 at 2012-05-29 02:20:19
IDJOB=3708403
IDBENCH=91064
IDSOLVER=2286
FILE ID=node123/3708403-1338250819
RUNJOBID= node123-1338227645-4115
PBS_JOBID= 14624628
Free space on /tmp= 71624 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod2.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708403-1338250819/watcher-3708403-1338250819 -o /tmp/evaluation-result-3708403-1338250819/solver-3708403-1338250819 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708403-1338250819.opb

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

MD5SUM BENCH= 765f9ba042cd825181247f9fbcec5226
RANDOM SEED=885119009

node123.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.217
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.43
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.217
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.217
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		: 2667.217
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.217
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.217
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.217
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.217
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:        31098544 kB
Buffers:          374628 kB
Cached:           371968 kB
SwapCached:          972 kB
Active:           584332 kB
Inactive:         349844 kB
Active(anon):     178188 kB
Inactive(anon):     9600 kB
Active(file):     406144 kB
Inactive(file):   340244 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67102960 kB
Dirty:             31352 kB
Writeback:            24 kB
AnonPages:        192256 kB
Mapped:            11092 kB
Shmem:                 0 kB
Slab:             703824 kB
SReclaimable:     147632 kB
SUnreclaim:       556192 kB
KernelStack:        1456 kB
PageTables:         4248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     311732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    159744 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= 71636 MiB
End job on node123 at 2012-05-29 02:50:18