Trace number 4086592

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
Open-WBO PB16SAT (TO)201 1800.04 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
MD5SUMcdfa46b59876181d5d89fd18757b8cfb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint66
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4329
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c
0.00/0.00	c Open-WBO:	 a Modular MaxSAT Solver -- based on Glucose4.0 (core version)
0.00/0.00	c Version:	 Pseudo-Boolean Evaluation 2016
0.00/0.00	c Authors:	 Ruben Martins, Vasco Manquinho, Ines Lynce
0.00/0.00	c Contributors:	 Miguel Neves, Saurabh Joshi, Mikolas Janota
0.00/0.00	c Contact:	 open-wbo@sat.inesc-id.pt -- http://sat.inesc-id.pt/open-wbo/
0.00/0.00	c
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Instance file HOME/instance-4086592-1465258489.opb
0.00/0.00	c File size is 7798 bytes.
1800.02/1800.40	c Sum of soft weights:         3060
1800.02/1800.40	c |                                                                                                       |
1800.02/1800.40	c ========================================[ Problem Statistics ]===========================================
1800.02/1800.40	c |                                                                                                       |
1800.02/1800.40	c |  Problem Type:             Weighted                                                                   |
1800.02/1800.40	c |  Number of variables:           146                                                                   |
1800.02/1800.40	c |  Number of hard clauses:          0                                                                   |
1800.02/1800.40	c |  Number of soft clauses:         96                                                                   |
1800.02/1800.40	c |  Number of cardinality:           0                                                                   |
1800.02/1800.40	c |  Number of PB :                  12                                                                   |
1800.02/1800.40	c |  Parse time:                   0.00 s                                                                 |
1800.02/1800.40	c |                                                                                                       |
1800.02/1800.40	o 1571
1800.02/1800.40	o 869
1800.02/1800.40	o 366
1800.02/1800.40	o 201
1800.02/1800.40	s SATISFIABLE
1800.02/1800.40	v x1 -x2 x3 x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 x20 -x21 -x22 -x23 -x24 -x25 x26 x27 -x28 x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 x43 x44 x45 -x46 -x47 -x48 -x49 x50 x51 x52 x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 x66 x67 x68 x69 -x70 -x71 -x72 x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 x81 x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 x97 x98 -x99 -x100 x101 x102 -x103 x104 x105 -x106 x107 -x108 -x109 -x110 x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 x120 x121 x122 x123 x124 -x125 x126 x127 x128 -x129 x130 -x131 -x132 x133 -x134 x135 x136 -x137 -x138 x139 -x140 x141 x142 x143 -x144 -x145 -x146

Verifier Data 

OK	201

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4086592-1465258489/watcher-4086592-1465258489 -o /tmp/evaluation-result-4086592-1465258489/solver-4086592-1465258489 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1465251283-11459 --watchdog 1960 open-wbo HOME/instance-4086592-1465258489.opb 

pid=13225
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.23 2.16 2.10 3/176 13228
/proc/meminfo: memFree=30542324/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=7296 CPUtime=0 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 646 0 0 0 0 0 0 0 20 0 1 0 107781488 7471104 489 33554432000 4194304 6059633 140734057259456 140736611773992 4294824 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 1824 490 161 456 0 1360 0

[startup+0.100179 s]
/proc/loadavg: 2.23 2.16 2.10 3/176 13228
/proc/meminfo: memFree=30542324/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=24068 CPUtime=0.08 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 3903 0 0 0 8 0 0 0 20 0 1 0 107781488 24645632 5259 33554432000 4194304 6059633 140734057259456 140736611773992 5047405 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 6017 5260 161 456 0 5553 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24068

[startup+0.200394 s]
/proc/loadavg: 2.23 2.16 2.10 3/176 13228
/proc/meminfo: memFree=30542324/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=52240 CPUtime=0.19 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 6908 0 0 0 18 1 0 0 20 0 1 0 107781488 53493760 9797 33554432000 4194304 6059633 140734057259456 140736611773992 4294931 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 13060 9799 161 456 0 12596 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 52240

[startup+0.300324 s]
/proc/loadavg: 2.23 2.16 2.10 3/176 13228
/proc/meminfo: memFree=30542324/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=62852 CPUtime=0.29 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 9939 0 0 0 27 2 0 0 20 0 1 0 107781488 64360448 14872 33554432000 4194304 6059633 140734057259456 140736611773992 5047405 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 15713 14874 161 456 0 15249 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62852

[startup+0.70032 s]
/proc/loadavg: 2.23 2.16 2.10 3/176 13228
/proc/meminfo: memFree=30542324/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=153304 CPUtime=0.69 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 19955 0 0 0 65 4 0 0 20 0 1 0 107781488 156983296 34915 33554432000 4194304 6059633 140734057259456 140736611773992 5131227 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 38326 34915 162 456 0 37862 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 153304

[startup+1.50032 s]
/proc/loadavg: 2.21 2.16 2.10 3/177 13229
/proc/meminfo: memFree=30324340/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=365608 CPUtime=1.49 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 38056 0 0 0 142 7 0 0 20 0 1 0 107781488 374382592 73967 33554432000 4194304 6059633 140734057259456 140734057257176 5131227 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 91402 73983 162 456 0 90938 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 365608

[startup+3.10032 s]
/proc/loadavg: 2.21 2.16 2.10 3/177 13229
/proc/meminfo: memFree=30109644/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=670032 CPUtime=3.08 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 73462 0 0 0 292 16 0 0 20 0 1 0 107781488 686112768 151762 33554432000 4194304 6059633 140734057259456 140734057256904 5043379 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 167508 151763 162 456 0 167044 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 670032

[startup+6.30032 s]
/proc/loadavg: 2.21 2.16 2.10 3/177 13229
/proc/meminfo: memFree=29527148/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1165488 CPUtime=6.28 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 136148 0 0 0 596 32 0 0 20 0 1 0 107781488 1193459712 262908 33554432000 4194304 6059633 140734057259456 140734057257496 5043379 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 291372 262908 182 456 0 290908 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1165488

[startup+12.7003 s]
/proc/loadavg: 2.18 2.15 2.10 3/177 13229
/proc/meminfo: memFree=29428844/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1218744 CPUtime=12.68 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 149518 0 0 0 1233 35 0 0 20 0 1 0 107781488 1247993856 276278 33554432000 4194304 6059633 140734057259456 140734057257496 5043379 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 304686 276278 185 456 0 304222 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1218744

[startup+25.5004 s]
/proc/loadavg: 2.15 2.15 2.10 3/177 13229
/proc/meminfo: memFree=29505304/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1223028 CPUtime=25.49 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 150602 0 0 0 2513 36 0 0 20 0 1 0 107781488 1252380672 277873 33554432000 4194304 6059633 140734057259456 140734057257496 4277864 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 305757 277873 185 456 0 305293 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1223028

[startup+51.1004 s]
/proc/loadavg: 2.16 2.15 2.10 4/177 13229
/proc/meminfo: memFree=29460808/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1224496 CPUtime=51.08 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 150973 0 0 0 5072 36 0 0 20 0 1 0 107781488 1253883904 278244 33554432000 4194304 6059633 140734057259456 140734057258216 4277900 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 306124 278244 185 456 0 305660 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1224496

[startup+102.3 s]
/proc/loadavg: 2.19 2.15 2.10 3/177 13230
/proc/meminfo: memFree=29424016/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1225432 CPUtime=102.28 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 151198 0 0 0 10192 36 0 0 20 0 1 0 107781488 1254842368 278980 33554432000 4194304 6059633 140734057259456 140734057257496 4277832 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 306358 278980 185 456 0 305894 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1225432

[startup+162.3 s]
/proc/loadavg: 2.19 2.17 2.10 3/177 13276
/proc/meminfo: memFree=29493476/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1225752 CPUtime=162.25 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 151275 0 0 0 16189 36 0 0 20 0 1 0 107781488 1255170048 279881 33554432000 4194304 6059633 140734057259456 140734057257608 4277874 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 306438 279881 185 456 0 305974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1225752

[startup+222.308 s]
/proc/loadavg: 2.25 2.18 2.11 3/177 13277
/proc/meminfo: memFree=29482336/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1226076 CPUtime=222.24 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 151385 0 0 0 22187 37 0 0 20 0 1 0 107781488 1255501824 280685 33554432000 4194304 6059633 140734057259456 140734057257608 4277900 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 306519 280685 185 456 0 306055 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1226076

[startup+282.3 s]
/proc/loadavg: 2.16 2.16 2.10 3/177 13278
/proc/meminfo: memFree=29483556/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1226208 CPUtime=282.22 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 151445 0 0 0 28185 37 0 0 20 0 1 0 107781488 1255636992 281712 33554432000 4194304 6059633 140734057259456 140734057257496 4277847 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 306552 281712 185 456 0 306088 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1226208

[startup+342.3 s]
/proc/loadavg: 2.10 2.14 2.10 4/178 13283
/proc/meminfo: memFree=29472840/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1227028 CPUtime=342.2 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 151649 0 0 0 34183 37 0 0 20 0 1 0 107781488 1256476672 282534 33554432000 4194304 6059633 140734057259456 140734057257608 4277832 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 306757 282534 185 456 0 306293 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1227028

[startup+402.3 s]
/proc/loadavg: 2.13 2.14 2.10 3/177 13284
/proc/meminfo: memFree=29476232/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1227168 CPUtime=402.17 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 151730 0 0 0 40180 37 0 0 20 0 1 0 107781488 1256620032 283128 33554432000 4194304 6059633 140734057259456 140734057257496 4277866 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 306792 283128 185 456 0 306328 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1227168

[startup+462.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/177 13285
/proc/meminfo: memFree=29464280/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1227696 CPUtime=462.15 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 151877 0 0 0 46178 37 0 0 20 0 1 0 107781488 1257160704 284280 33554432000 4194304 6059633 140734057259456 140734057257496 4277570 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 306924 284280 185 456 0 306460 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1227696

[startup+522.3 s]
/proc/loadavg: 2.09 2.13 2.09 3/177 13286
/proc/meminfo: memFree=29470952/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1227836 CPUtime=522.13 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 151958 0 0 0 52176 37 0 0 20 0 1 0 107781488 1257304064 284861 33554432000 4194304 6059633 140734057259456 140734057257496 4277855 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 306959 284861 185 456 0 306495 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1227836

[startup+582.3 s]
/proc/loadavg: 2.13 2.13 2.09 3/176 13287
/proc/meminfo: memFree=29460808/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1228552 CPUtime=582.12 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 152096 0 0 0 58175 37 0 0 20 0 1 0 107781488 1258037248 285501 33554432000 4194304 6059633 140734057259456 140734057257608 4277900 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 307138 285501 185 456 0 306674 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1228552


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


[startup+882.307 s]
/proc/loadavg: 2.12 2.15 2.09 3/177 13294
/proc/meminfo: memFree=29438544/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1230048 CPUtime=882.08 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 152507 0 0 0 88170 38 0 0 20 0 1 0 107781488 1259569152 289470 33554432000 4194304 6059633 140734057259456 140734057257496 4277549 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 307512 289470 185 456 0 307048 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 1230048

[startup+942.3 s]
/proc/loadavg: 2.39 2.22 2.12 3/178 13299
/proc/meminfo: memFree=29424952/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1230460 CPUtime=942.06 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 152622 0 0 0 94168 38 0 0 20 0 1 0 107781488 1259991040 291118 33554432000 4194304 6059633 140734057259456 140734057257496 4277855 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 307615 291118 185 456 0 307151 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 1230460

[startup+1002.3 s]
/proc/loadavg: 2.39 2.26 2.14 3/177 13300
/proc/meminfo: memFree=29431308/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1231252 CPUtime=1002.04 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 152771 0 0 0 100166 38 0 0 20 0 1 0 107781488 1260802048 292289 33554432000 4194304 6059633 140734057259456 140734057257608 4277864 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 307813 292289 185 456 0 307349 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1231252

[startup+1062.3 s]
/proc/loadavg: 2.35 2.27 2.15 3/177 13301
/proc/meminfo: memFree=29423136/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1231252 CPUtime=1062.04 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 152788 0 0 0 106166 38 0 0 20 0 1 0 107781488 1260802048 292817 33554432000 4194304 6059633 140734057259456 140734057257608 4277900 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 307813 292817 185 456 0 307349 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 1231252

[startup+1122.3 s]
/proc/loadavg: 2.31 2.27 2.16 3/177 13348
/proc/meminfo: memFree=28358732/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1233124 CPUtime=1122.03 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 153223 0 0 0 112164 39 0 0 20 0 1 0 107781488 1262718976 294274 33554432000 4194304 6059633 140734057259456 140734057257496 4277855 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 308281 294274 185 456 0 307817 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 1233124

[startup+1182.3 s]
/proc/loadavg: 2.23 2.25 2.15 3/177 13349
/proc/meminfo: memFree=28349356/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1233428 CPUtime=1182.02 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 153310 0 0 0 118163 39 0 0 20 0 1 0 107781488 1263030272 295383 33554432000 4194304 6059633 140734057259456 140734057257496 4278447 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 308357 295383 185 456 0 307893 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 1233428

[startup+1242.3 s]
/proc/loadavg: 2.27 2.25 2.16 3/177 13351
/proc/meminfo: memFree=28343644/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1233428 CPUtime=1242.01 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 153331 0 0 0 124162 39 0 0 20 0 1 0 107781488 1263030272 296426 33554432000 4194304 6059633 140734057259456 140734057257496 4277874 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 308357 296426 185 456 0 307893 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1233428

[startup+1302.3 s]
/proc/loadavg: 2.31 2.26 2.17 4/177 13352
/proc/meminfo: memFree=28338424/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1234024 CPUtime=1302 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 153451 0 0 0 130161 39 0 0 20 0 1 0 107781488 1263640576 297057 33554432000 4194304 6059633 140734057259456 140734057257496 4277864 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 308506 297057 185 456 0 308042 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1234024

[startup+1362.3 s]
/proc/loadavg: 2.18 2.23 2.16 3/177 13353
/proc/meminfo: memFree=28333820/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1234024 CPUtime=1361.99 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 153467 0 0 0 136160 39 0 0 20 0 1 0 107781488 1263640576 297584 33554432000 4194304 6059633 140734057259456 140734057257496 4277855 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 308506 297584 185 456 0 308042 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1234024

[startup+1422.3 s]
/proc/loadavg: 2.13 2.20 2.16 4/177 13354
/proc/meminfo: memFree=28328976/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1234176 CPUtime=1421.99 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 153485 0 0 0 142160 39 0 0 20 0 1 0 107781488 1263796224 298113 33554432000 4194304 6059633 140734057259456 140734057257496 4277900 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 308544 298113 185 456 0 308080 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1234176

[startup+1482.3 s]
/proc/loadavg: 2.19 2.19 2.15 3/177 13355
/proc/meminfo: memFree=28326796/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1234176 CPUtime=1481.98 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 153490 0 0 0 148158 40 0 0 20 0 1 0 107781488 1263796224 298629 33554432000 4194304 6059633 140734057259456 140734057257496 4277847 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 308544 298629 185 456 0 308080 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 1234176

[startup+1542.31 s]
/proc/loadavg: 2.24 2.20 2.16 3/178 13360
/proc/meminfo: memFree=28319828/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1234444 CPUtime=1541.98 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 153575 0 0 0 154158 40 0 0 20 0 1 0 107781488 1264070656 299736 33554432000 4194304 6059633 140734057259456 140734057257496 4277855 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 308611 299736 185 456 0 308147 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1234444

[startup+1602.3 s]
/proc/loadavg: 2.21 2.19 2.16 3/177 13361
/proc/meminfo: memFree=28317412/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1234444 CPUtime=1601.96 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 153589 0 0 0 160156 40 0 0 20 0 1 0 107781488 1264070656 300261 33554432000 4194304 6059633 140734057259456 140734057257496 4277570 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 308611 300261 185 456 0 308147 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1234444

[startup+1662.3 s]
/proc/loadavg: 2.21 2.20 2.16 3/177 13362
/proc/meminfo: memFree=28310520/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1234716 CPUtime=1661.95 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 153640 0 0 0 166155 40 0 0 20 0 1 0 107781488 1264349184 300823 33554432000 4194304 6059633 140734057259456 140734057257496 4246362 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 308679 300823 185 456 0 308215 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1234716

[startup+1722.3 s]
/proc/loadavg: 2.28 2.22 2.17 3/177 13363
/proc/meminfo: memFree=28300964/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1235344 CPUtime=1721.94 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 153781 0 0 0 172154 40 0 0 20 0 1 0 107781488 1264992256 301986 33554432000 4194304 6059633 140734057259456 140734057257464 4277549 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 308836 301986 185 456 0 308372 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1235344

[startup+1782.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 13364
/proc/meminfo: memFree=28296108/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1235644 CPUtime=1781.93 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 153854 0 0 0 178153 40 0 0 20 0 1 0 107781488 1265299456 302570 33554432000 4194304 6059633 140734057259456 140734057257496 4277868 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 308911 302570 185 456 0 308447 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1235644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.26 2.23 2.18 3/177 13364
/proc/meminfo: memFree=28293936/32872528 swapFree=16740/1306504
[pid=13228] ppid=13225 vsize=1235796 CPUtime=1800.02 cores=1,3,5,7
/proc/13228/stat : 13228 (open-wbo) R 13225 13228 11442 0 -1 4202496 153894 0 0 0 179962 40 0 0 20 0 1 0 107781488 1265455104 303121 33554432000 4194304 6059633 140734057259456 140734057257496 4277864 0 0 4096 8404992 0 0 0 17 1 0 0 0 0 0
/proc/13228/statm: 308949 303121 185 456 0 308485 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1235796

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13228 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 40
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1799.63
CPU system time (s): 0.412937
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 1235796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.412937
maximum resident set size= 1212496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153897
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= 181
involuntary context switches= 2423

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51631 second user time and 7.08592 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-07 02:14:49
IDJOB=4086592
IDBENCH=2902
IDSOLVER=2547
FILE ID=node127/4086592-1465258489
RUNJOBID= node127-1465251283-11459
PBS_JOBID= 19843254
Free space on /tmp= 71732 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4086592-1465258489/watcher-4086592-1465258489 -o /tmp/evaluation-result-4086592-1465258489/solver-4086592-1465258489 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1465251283-11459 --watchdog 1960  open-wbo HOME/instance-4086592-1465258489.opb

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

MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb
RANDOM SEED=972738067

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.227
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.45
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.227
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	: 5332.55
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.227
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	: 5332.56
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.227
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	: 5332.55
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.227
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	: 5332.55
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.227
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	: 5332.54
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.227
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	: 5332.54
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.227
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30542852 kB
Buffers:           45428 kB
Cached:            82400 kB
SwapCached:         1740 kB
Active:           200068 kB
Inactive:         101136 kB
Active(anon):     156176 kB
Inactive(anon):    19300 kB
Active(file):      43892 kB
Inactive(file):    81836 kB
Unevictable:     1306504 kB
Mlocked:           16740 kB
SwapTotal:      67108856 kB
SwapFree:       67098500 kB
Dirty:              4724 kB
Writeback:             4 kB
AnonPages:       1499320 kB
Mapped:             7876 kB
Shmem:                 0 kB
Slab:             567712 kB
SReclaimable:      11684 kB
SUnreclaim:       556028 kB
KernelStack:        1472 kB
PageTables:         6552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1619672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1427456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node127 at 2016-06-07 02:44:50