Trace number 3708377

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.3 1798.62

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX15_K192_cod2.opb
MD5SUMa1c8f87e33a217e9c288dbd99c4ff21b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-4
Best CPU time to get the best result obtained on this benchmark1801.44
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 1605
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 188920
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 188920
Number of bits of the biggest sum of numbers18
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-3708377-1338248106.opb
0.00/0.00	c File size is 28233021 bytes.
3.39/3.48	c Highest Coefficient sum: 188920
3.39/3.48	c Parsing was ok!!
3.79/3.89	c Total parsing time: 3.483 s
3.79/3.89	c Var: 400896 Constr: 402763 400785/1977/1 Lit: 2338937 Watch. Lit: 1260488
3.79/3.89	c Obj. Vars: 1605 (0.400353 % of total variables)
182.72/182.88	c Pre-processing Time: 182.818 s
182.82/182.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.82/182.90	c        0 399914   401620  2331827    5  1257059  500000      0      0 182.82
182.82/182.90	c Switching off lower bounding mode.
1798.27/1798.61	c      100 397557   401726  2343430    5  1257521  550001    106      0 189.40
1798.27/1798.61	c      250 397557   401878  2346438    5  1257826  605002    258      1 208.69
1798.27/1798.61	c      476 389037   402120  2379151    5  1258877  665503    500      1 322.55
1798.27/1798.61	c      814 389037   402471  2403053    5  1259851  732054    851      2 353.08
1798.27/1798.61	c     1323 389037   403007  2414629    5  1260923  805260   1387      3 429.40
1798.27/1798.61	c     2087 389037   403790  2451319    6  1263848  885787   2170      3 590.13
1798.27/1798.61	c     3234 389037   405001  2669331    6  1268349  974366   3381      3 930.15
1798.27/1798.61	c     4955 389037   406775  2787328    6  1275592  500000   5155      3 1247.77
1798.27/1798.61	c Resources Exceeded
1798.27/1798.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.27/1798.61	c    8     7469   4713 10696673   409401  3197325   7781      4 1798.29
1798.27/1798.61	s UNKNOWN
1798.27/1798.61	c Total time: 1798.29 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-3708377-1338248106/watcher-3708377-1338248106 -o /tmp/evaluation-result-3708377-1338248106/solver-3708377-1338248106 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708377-1338248106.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 8607
/proc/meminfo: memFree=27509276/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=38516 CPUtime=0 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 341 0 0 0 0 0 0 0 20 0 1 0 290936163 39440384 294 33554432000 134512640 137138936 4287757776 4287755992 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 9629 295 178 642 0 2092 0

[startup+0.032289 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8607
/proc/meminfo: memFree=27509276/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=40200 CPUtime=0.02 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 833 0 0 0 2 0 0 0 20 0 1 0 290936163 41164800 786 33554432000 134512640 137138936 4287757776 4287756168 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 10050 787 263 642 0 2513 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 40200

[startup+0.100217 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8607
/proc/meminfo: memFree=27509276/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=43184 CPUtime=0.09 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 1807 0 0 0 9 0 0 0 20 0 1 0 290936163 44220416 1720 33554432000 134512640 137138936 4287757776 4287756024 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 10796 1720 454 642 0 3259 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43184

[startup+0.300263 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8607
/proc/meminfo: memFree=27509276/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=49876 CPUtime=0.29 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 4134 0 0 0 29 0 0 0 20 0 1 0 290936163 51073024 3919 33554432000 134512640 137138936 4287757776 4287752392 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 12469 3919 989 642 0 4932 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49876

[startup+0.700229 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8607
/proc/meminfo: memFree=27509276/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=63564 CPUtime=0.69 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 8790 0 0 0 68 1 0 0 20 0 1 0 290936163 65089536 8321 33554432000 134512640 137138936 4287757776 4287756024 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 15892 8321 1998 642 0 8355 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63564

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8608
/proc/meminfo: memFree=27471812/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=91048 CPUtime=1.48 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 17869 0 0 0 146 2 0 0 20 0 1 0 290936163 93233152 16894 33554432000 134512640 137138936 4287757776 4287756128 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 22762 16895 3720 642 0 15225 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 91048

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8608
/proc/meminfo: memFree=27437772/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=122708 CPUtime=3.09 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 28269 0 0 0 305 4 0 0 20 0 1 0 290936163 125652992 27305 33554432000 134512640 137138936 4287757776 4287753768 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 30677 27305 6492 642 0 23140 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 122708

[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8608
/proc/meminfo: memFree=27347608/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=175404 CPUtime=6.29 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 44584 0 0 0 622 7 0 0 20 0 1 0 290936163 179613696 40190 33554432000 134512640 137138936 4287757776 4282945236 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 43851 40190 184 642 0 43207 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175404

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8608
/proc/meminfo: memFree=27348144/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=175404 CPUtime=12.69 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 44585 0 0 0 1262 7 0 0 20 0 1 0 290936163 179613696 40191 33554432000 134512640 137138936 4287757776 4282945536 134541971 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 43851 40191 184 642 0 43207 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 175404

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8608
/proc/meminfo: memFree=27348036/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=175404 CPUtime=25.49 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 44585 0 0 0 2542 7 0 0 20 0 1 0 290936163 179613696 40191 33554432000 134512640 137138936 4287757776 4282945760 134566253 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 43851 40191 184 642 0 43207 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 175404

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8608
/proc/meminfo: memFree=27344120/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=175404 CPUtime=51.08 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 44591 0 0 0 5101 7 0 0 20 0 1 0 290936163 179613696 40197 33554432000 134512640 137138936 4287757776 4282945760 134566692 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 43851 40197 184 642 0 43207 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 175404

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8608
/proc/meminfo: memFree=27343488/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=175536 CPUtime=102.26 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 44611 0 0 0 10219 7 0 0 20 0 1 0 290936163 179748864 40200 33554432000 134512640 137138936 4287757776 4282945760 134566253 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 43884 40200 184 642 0 43240 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 175536

[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8608
/proc/meminfo: memFree=27339896/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=175536 CPUtime=162.22 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 44645 0 0 0 16213 9 0 0 20 0 1 0 290936163 179748864 40985 33554432000 134512640 137138936 4287757776 4282945320 136504449 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 43884 40985 184 642 0 43240 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 175536

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8608
/proc/meminfo: memFree=27331272/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=179420 CPUtime=222.21 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 446957 0 0 0 21802 419 0 0 20 0 1 0 290936163 183726080 42410 33554432000 134512640 137138936 4287757776 4287756272 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 44855 42410 192 642 0 44211 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 179420

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8609
/proc/meminfo: memFree=27327480/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=179420 CPUtime=282.2 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 590024 0 0 0 27772 448 0 0 20 0 1 0 290936163 183726080 42410 33554432000 134512640 137138936 4287757776 4287756200 134606970 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 44855 42410 192 642 0 44211 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 179420

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8612
/proc/meminfo: memFree=27325476/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=181292 CPUtime=342.2 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 847465 0 0 0 33724 496 0 0 20 0 1 0 290936163 185643008 42878 33554432000 134512640 137138936 4287757776 4287756528 134573444 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 45323 42878 192 642 0 44679 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 181292

[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 8612
/proc/meminfo: memFree=27322072/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=180072 CPUtime=402.18 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 1592993 0 0 0 39589 629 0 0 20 0 1 0 290936163 184393728 42541 33554432000 134512640 137138936 4287757776 4287756704 134542840 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 45018 42541 192 642 0 44374 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 180072

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8612
/proc/meminfo: memFree=27315372/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=183876 CPUtime=462.18 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 1937472 0 0 0 45527 691 0 0 20 0 1 0 290936163 188289024 43524 33554432000 134512640 137138936 4287757776 4287756200 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 45969 43524 192 642 0 45325 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 183876

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8612
/proc/meminfo: memFree=27313140/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=184612 CPUtime=522.16 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 2107957 0 0 0 51498 718 0 0 20 0 1 0 290936163 189042688 43676 33554432000 134512640 137138936 4287757776 4287756200 134606630 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 46153 43676 192 642 0 45509 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 184612

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8613
/proc/meminfo: memFree=27311280/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=182608 CPUtime=582.15 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 2464207 0 0 0 57436 779 0 0 20 0 1 0 290936163 186990592 43175 33554432000 134512640 137138936 4287757776 4287756440 136504449 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 45652 43175 192 642 0 45008 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 182608

[startup+642.3 s]

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

/proc/meminfo: memFree=27354420/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=186740 CPUtime=1122.07 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 4476639 0 0 0 111085 1122 0 0 20 0 1 0 290936163 191221760 44208 33554432000 134512640 137138936 4287757776 4287756704 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 46685 44208 192 642 0 46041 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 186740

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8657
/proc/meminfo: memFree=27350576/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=186740 CPUtime=1182.06 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 4872142 0 0 0 117019 1187 0 0 20 0 1 0 290936163 191221760 44208 33554432000 134512640 137138936 4287757776 4287756704 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 46685 44208 192 642 0 46041 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 186740

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8657
/proc/meminfo: memFree=27349052/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=189888 CPUtime=1242.05 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 5131957 0 0 0 122976 1229 0 0 20 0 1 0 290936163 194445312 44995 33554432000 134512640 137138936 4287757776 4287756200 134606987 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 47472 44995 192 642 0 46828 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 189888

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8657
/proc/meminfo: memFree=27345000/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=189888 CPUtime=1302.05 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 5457152 0 0 0 128920 1285 0 0 20 0 1 0 290936163 194445312 44995 33554432000 134512640 137138936 4287757776 4287756200 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 47472 44995 192 642 0 46828 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 189888

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8657
/proc/meminfo: memFree=27341836/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=189888 CPUtime=1362.03 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 5732302 0 0 0 134869 1334 0 0 20 0 1 0 290936163 194445312 44995 33554432000 134512640 137138936 4287757776 4287756528 134575368 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 47472 44995 192 642 0 46828 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 189888

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8657
/proc/meminfo: memFree=27340472/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=189892 CPUtime=1422.03 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 6096620 0 0 0 140805 1398 0 0 20 0 1 0 290936163 194449408 44996 33554432000 134512640 137138936 4287757776 4287756528 134575374 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 47473 44996 192 642 0 46829 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 189892

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8658
/proc/meminfo: memFree=27334876/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=187432 CPUtime=1482.02 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 6345635 0 0 0 146757 1445 0 0 20 0 1 0 290936163 191930368 44381 33554432000 134512640 137138936 4287757776 4287756704 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 46858 44381 192 642 0 46214 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 187432

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8661
/proc/meminfo: memFree=27328556/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=188336 CPUtime=1542.01 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 6610153 0 0 0 152708 1493 0 0 20 0 1 0 290936163 192856064 44639 33554432000 134512640 137138936 4287757776 4287756440 136504355 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 47084 44639 192 642 0 46440 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 188336

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8684
/proc/meminfo: memFree=27326144/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=189464 CPUtime=1602 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 6792600 0 0 0 158672 1528 0 0 20 0 1 0 290936163 194011136 44888 33554432000 134512640 137138936 4287757776 4287756704 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 47366 44888 192 642 0 46722 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 189464

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8684
/proc/meminfo: memFree=27318588/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=192392 CPUtime=1661.99 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 6966591 0 0 0 164640 1559 0 0 20 0 1 0 290936163 197009408 45621 33554432000 134512640 137138936 4287757776 4287756200 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 48098 45621 192 642 0 47454 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 192392

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8684
/proc/meminfo: memFree=27316152/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=192392 CPUtime=1721.98 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 7222822 0 0 0 170593 1605 0 0 20 0 1 0 290936163 197009408 45621 33554432000 134512640 137138936 4287757776 4287756200 134606670 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 48098 45621 192 642 0 47454 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 192392

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8685
/proc/meminfo: memFree=27305324/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=193384 CPUtime=1781.96 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 7551528 0 0 0 176536 1660 0 0 20 0 1 0 290936163 198025216 45869 33554432000 134512640 137138936 4287757776 4287756200 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 48346 45869 192 642 0 47702 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 193384

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8685
/proc/meminfo: memFree=27303464/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=189800 CPUtime=1791.57 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 7594723 0 0 0 177489 1668 0 0 20 0 1 0 290936163 194355200 45005 33554432000 134512640 137138936 4287757776 4287756704 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 47450 45005 192 642 0 46806 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 189800

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8685
/proc/meminfo: memFree=27304332/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=193384 CPUtime=1794.77 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 7627633 0 0 0 177804 1673 0 0 20 0 1 0 290936163 198025216 45869 33554432000 134512640 137138936 4287757776 4287756200 134606686 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 48346 45869 192 642 0 47702 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 193384

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8685
/proc/meminfo: memFree=27303960/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=193384 CPUtime=1796.36 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 7636440 0 0 0 177961 1675 0 0 20 0 1 0 290936163 198025216 45869 33554432000 134512640 137138936 4287757776 4287756272 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 48346 45869 192 642 0 47702 0
Current children cumulated CPU time (s) 1796.36
Current children cumulated vsize (KiB) 193384

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8685
/proc/meminfo: memFree=27306752/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=193384 CPUtime=1797.16 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 7636440 0 0 0 178041 1675 0 0 20 0 1 0 290936163 198025216 45869 33554432000 134512640 137138936 4287757776 4287756200 134606670 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 48346 45869 192 642 0 47702 0
Current children cumulated CPU time (s) 1797.16
Current children cumulated vsize (KiB) 193384

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8685
/proc/meminfo: memFree=27306752/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=193612 CPUtime=1797.97 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 7641541 0 0 0 178121 1676 0 0 20 0 1 0 290936163 198258688 45926 33554432000 134512640 137138936 4287757776 4287756528 134575204 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 48403 45926 192 642 0 47759 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 193612

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8685
/proc/meminfo: memFree=27305820/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=193612 CPUtime=1798.17 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 7642495 0 0 0 178141 1676 0 0 20 0 1 0 290936163 198258688 45926 33554432000 134512640 137138936 4287757776 4287756272 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 48403 45926 192 642 0 47759 0
Current children cumulated CPU time (s) 1798.17
Current children cumulated vsize (KiB) 193612

[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8685
/proc/meminfo: memFree=27305820/32873648 swapFree=7104/7104
[pid=8607] ppid=8605 vsize=190248 CPUtime=1798.27 cores=0,2,4,6
/proc/8607/stat : 8607 (bsolo) R 8605 8607 7472 0 -1 4202496 7642914 0 0 0 178151 1676 0 0 20 0 1 0 290936163 194813952 45085 33554432000 134512640 137138936 4287757776 4287756704 134542022 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8607/statm: 47562 45085 192 642 0 46918 0
Current children cumulated CPU time (s) 1798.27
Current children cumulated vsize (KiB) 190248

Child status: 0
Real time (s): 1798.62
CPU time (s): 1798.3
CPU user time (s): 1781.53
CPU system time (s): 16.7674
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 194972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.53
system time used= 16.7675
maximum resident set size= 185836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7642914
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= 58
involuntary context switches= 1886

runsolver used 2.85157 second user time and 7.84281 second system time

The end

Launcher Data 

Begin job on node127 at 2012-05-29 01:35:07
IDJOB=3708377
IDBENCH=90912
IDSOLVER=2286
FILE ID=node127/3708377-1338248106
RUNJOBID= node127-1338228900-7488
PBS_JOBID= 14624640
Free space on /tmp= 71052 MiB

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

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

MD5SUM BENCH= a1c8f87e33a217e9c288dbd99c4ff21b
RANDOM SEED=1017115098

node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
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		: 2666.348
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.348
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		: 2666.348
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:        27509440 kB
Buffers:          501452 kB
Cached:          3767040 kB
SwapCached:            0 kB
Active:          1599180 kB
Inactive:        2880652 kB
Active(anon):     213028 kB
Inactive(anon):        0 kB
Active(file):    1386152 kB
Inactive(file):  2880652 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             31404 kB
Writeback:             0 kB
AnonPages:        217280 kB
Mapped:            15144 kB
Shmem:               200 kB
Slab:             746764 kB
SReclaimable:     190988 kB
SUnreclaim:       555776 kB
KernelStack:        1456 kB
PageTables:         4116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     329728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 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= 71048 MiB
End job on node127 at 2012-05-29 02:05:06