Trace number 4088421

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
cdcl-cuttingplanes OPT linear search 2016-05-01? (TO) 1800.03 1800.31

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb
MD5SUMff14e2095cd65c7713b130ededfcefb5
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6943
Best CPU time to get the best result obtained on this benchmark0.25796
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5980
Total number of constraints26929
Number of constraints which are clauses26628
Number of constraints which are cardinality constraints (but not clauses)301
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2214
Biggest coefficient in the objective function 1665
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 919078
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1665
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 919078
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 OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 5980 #constraint= 26929
329.74/329.84	c #Conflicts:       1000 | #Learnt:       1413 | 0.000
329.74/329.84	c total clause space: 78.2603MB
329.74/329.84	c total #watches: 1520433
721.88/722.03	c total #propagations: 3116686 / total #impl: 54554836 (eff. 0.057)
721.88/722.03	c #Conflicts:       2000 | #Learnt:       2613 | 0.000
721.88/722.03	c total clause space: 127.173MB
721.88/722.03	c total #watches: 3226908
945.45/945.68	c total #propagations: 4751765 / total #impl: 416549578 (eff. 0.011)
945.45/945.68	c GC COLLECT
945.45/945.68	c #Conflicts:       3000 | #Learnt:       2727 | 0.000
945.45/945.68	c total clause space: 127.173MB
945.45/945.68	c total #watches: 3677197
1163.41/1163.62	c total #propagations: 6061982 / total #impl: 551685520 (eff. 0.011)
1163.41/1163.62	c #Conflicts:       4000 | #Learnt:       3786 | 0.000
1163.41/1163.62	c total clause space: 206.656MB
1163.41/1163.62	c total #watches: 5033937
1433.37/1433.62	c total #propagations: 7122983 / total #impl: 807930027 (eff. 0.009)
1433.37/1433.62	c GC COLLECT
1433.37/1433.62	c #Conflicts:       5000 | #Learnt:       3503 | 0.000
1433.37/1433.62	c total clause space: 206.656MB
1433.37/1433.62	c total #watches: 4746886
1551.76/1552.06	c total #propagations: 8099768 / total #impl: 1696149001 (eff. 0.005)
1551.76/1552.06	c #Conflicts:       6000 | #Learnt:       4516 | 0.000
1551.76/1552.06	c total clause space: 206.656MB
1551.76/1552.06	c total #watches: 5775749
1696.73/1697.05	c total #propagations: 9003993 / total #impl: 3867333603 (eff. 0.002)
1696.73/1697.05	c GC COLLECT
1696.73/1697.05	c #Conflicts:       7000 | #Learnt:       3693 | 0.000
1696.73/1697.05	c total clause space: 335.816MB
1696.73/1697.05	c total #watches: 4451247

Verifier Data 

ERROR: no interpretation found !

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-4088421-1465436084/watcher-4088421-1465436084 -o /tmp/evaluation-result-4088421-1465436084/solver-4088421-1465436084 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465427036-7740 --watchdog 1960 --input HOME/instance-4088421-1465436084.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=9112
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.22 2.27 2.20 3/176 9115
/proc/meminfo: memFree=28477708/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 125541574 29810688 5268 33554432000 4194304 6201397 140736054533232 140735834904328 5194148 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 7278 5268 130 491 0 6777 0

[startup+0.1002 s]
/proc/loadavg: 2.22 2.27 2.20 3/176 9115
/proc/meminfo: memFree=28477708/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=34368 CPUtime=0.09 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 1390 0 0 0 9 0 0 0 20 0 1 0 125541574 35192832 7525 33554432000 4194304 6201397 140736054533232 140735834904328 4207438 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 8592 7525 142 491 0 8091 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34368

[startup+0.200355 s]
/proc/loadavg: 2.22 2.27 2.20 3/176 9115
/proc/meminfo: memFree=28477708/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=37592 CPUtime=0.19 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 1756 0 0 0 19 0 0 0 20 0 1 0 125541574 38494208 7797 33554432000 4194304 6201397 140736054533232 140735834904328 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 9398 7797 147 491 0 8897 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37592

[startup+0.300276 s]
/proc/loadavg: 2.22 2.27 2.20 3/176 9115
/proc/meminfo: memFree=28477708/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=37720 CPUtime=0.29 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 1824 0 0 0 29 0 0 0 20 0 1 0 125541574 38625280 7860 33554432000 4194304 6201397 140736054533232 140735834904328 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 9430 7860 147 491 0 8929 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37720

[startup+0.700195 s]
/proc/loadavg: 2.22 2.27 2.20 3/176 9115
/proc/meminfo: memFree=28477708/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=37968 CPUtime=0.69 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 1996 0 0 0 69 0 0 0 20 0 1 0 125541574 38879232 8013 33554432000 4194304 6201397 140736054533232 140735834904328 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 9492 8013 147 491 0 8991 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37968

[startup+1.50019 s]
/proc/loadavg: 2.20 2.26 2.20 3/177 9116
/proc/meminfo: memFree=28445596/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=42764 CPUtime=1.49 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 2199 0 0 0 149 0 0 0 20 0 1 0 125541574 43790336 8194 33554432000 4194304 6201397 140736054533232 140736054532040 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 10691 8194 147 491 0 10190 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42764

[startup+3.10024 s]
/proc/loadavg: 2.20 2.26 2.20 3/177 9116
/proc/meminfo: memFree=28442068/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=43376 CPUtime=3.09 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 2388 0 0 0 309 0 0 0 20 0 1 0 125541574 44417024 8885 33554432000 4194304 6201397 140736054533232 140736054532184 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 10844 8885 147 491 0 10343 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43376

[startup+6.30023 s]
/proc/loadavg: 2.27 2.27 2.21 3/177 9116
/proc/meminfo: memFree=28439164/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=51864 CPUtime=6.29 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 2924 0 0 0 629 0 0 0 20 0 1 0 125541574 53108736 9895 33554432000 4194304 6201397 140736054533232 140736054531944 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 12966 9895 147 491 0 12465 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51864

[startup+12.7002 s]
/proc/loadavg: 2.24 2.27 2.21 4/177 9116
/proc/meminfo: memFree=28432660/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=52888 CPUtime=12.69 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 3170 0 0 0 1269 0 0 0 20 0 1 0 125541574 54157312 10652 33554432000 4194304 6201397 140736054533232 140736054532072 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 13222 10652 147 491 0 12721 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52888

[startup+25.5003 s]
/proc/loadavg: 2.21 2.26 2.20 4/177 9116
/proc/meminfo: memFree=28430124/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=65200 CPUtime=25.48 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 3431 0 0 0 2548 0 0 0 20 0 1 0 125541574 66764800 11409 33554432000 4194304 6201397 140736054533232 140736054532264 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 16300 11409 147 491 0 15799 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 65200

[startup+51.1003 s]
/proc/loadavg: 2.31 2.28 2.21 3/177 9116
/proc/meminfo: memFree=28419332/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=67568 CPUtime=51.08 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 4139 0 0 0 5108 0 0 0 20 0 1 0 125541574 69189632 12608 33554432000 4194304 6201397 140736054533232 140736054531928 4213251 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 16892 12608 147 491 0 16391 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 67568

[startup+102.3 s]
/proc/loadavg: 2.30 2.28 2.21 4/177 9163
/proc/meminfo: memFree=29210016/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=69548 CPUtime=102.28 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 4632 0 0 0 10227 1 0 0 20 0 1 0 125541574 71217152 14634 33554432000 4194304 6201397 140736054533232 140736054531928 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 17387 14634 147 491 0 16886 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 69548

[startup+162.3 s]
/proc/loadavg: 2.32 2.29 2.22 4/177 9164
/proc/meminfo: memFree=29188700/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=88516 CPUtime=162.27 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 4648 0 0 0 16226 1 0 0 20 0 1 0 125541574 90640384 16183 33554432000 4194304 6201397 140736054533232 140736054532120 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 22129 16183 147 491 0 21628 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 88516

[startup+222.307 s]
/proc/loadavg: 2.28 2.28 2.21 3/177 9165
/proc/meminfo: memFree=29168780/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=93540 CPUtime=222.26 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 5887 0 0 0 22225 1 0 0 20 0 1 0 125541574 95784960 18955 33554432000 4194304 6201397 140736054533232 140736054531928 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 23385 18955 147 491 0 22884 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 93540

[startup+282.3 s]
/proc/loadavg: 2.26 2.27 2.21 3/177 9167
/proc/meminfo: memFree=29145628/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=97356 CPUtime=282.25 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 6899 0 0 0 28223 2 0 0 20 0 1 0 125541574 99692544 22000 33554432000 4194304 6201397 140736054533232 140736054532184 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 24339 22000 147 491 0 23838 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 97356

[startup+342.3 s]
/proc/loadavg: 2.18 2.25 2.21 4/178 9171
/proc/meminfo: memFree=29114080/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=136964 CPUtime=342.24 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 8919 0 0 0 34222 2 0 0 20 0 1 0 125541574 140251136 27557 33554432000 4194304 6201397 140736054533232 140736054531896 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 34241 27557 160 491 0 33740 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 136964

[startup+402.3 s]
/proc/loadavg: 2.32 2.28 2.21 3/177 9172
/proc/meminfo: memFree=29106444/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=137380 CPUtime=402.23 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 9059 0 0 0 40221 2 0 0 20 0 1 0 125541574 140677120 28719 33554432000 4194304 6201397 140736054533232 140736054531896 4213249 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 34345 28719 160 491 0 33844 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 137380

[startup+462.3 s]
/proc/loadavg: 2.24 2.25 2.21 3/177 9173
/proc/meminfo: memFree=29094784/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=137508 CPUtime=462.22 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 9138 0 0 0 46220 2 0 0 20 0 1 0 125541574 140808192 29820 33554432000 4194304 6201397 140736054533232 140736054531928 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 34377 29820 160 491 0 33876 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 137508

[startup+522.3 s]
/proc/loadavg: 2.26 2.25 2.21 4/177 9174
/proc/meminfo: memFree=29075176/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=137652 CPUtime=522.22 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 9278 0 0 0 52219 3 0 0 20 0 1 0 125541574 140955648 31491 33554432000 4194304 6201397 140736054533232 140736054531944 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 34413 31491 160 491 0 33912 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 137652

[startup+582.3 s]
/proc/loadavg: 2.24 2.25 2.20 4/176 9175
/proc/meminfo: memFree=29050732/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=188892 CPUtime=582.2 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 9868 0 0 0 58217 3 0 0 20 0 1 0 125541574 193425408 34599 33554432000 4194304 6201397 140736054533232 140736054531944 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 47223 34599 160 491 0 46722 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 188892


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


[startup+942.3 s]
/proc/loadavg: 2.38 2.25 2.20 3/178 9186
/proc/meminfo: memFree=28942608/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=211436 CPUtime=942.15 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 14227 0 0 0 94210 5 0 0 20 0 1 0 125541574 216510464 50262 33554432000 4194304 6201397 140736054533232 140736054531896 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 52859 50262 166 491 0 52358 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 211436

[startup+1002.3 s]
/proc/loadavg: 2.42 2.28 2.21 3/177 9187
/proc/meminfo: memFree=28920676/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=294744 CPUtime=1002.14 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 15008 0 0 0 100208 6 0 0 20 0 1 0 125541574 301817856 53543 33554432000 4194304 6201397 140736054533232 140736054531896 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 73686 53543 166 491 0 73185 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 294744

[startup+1062.3 s]
/proc/loadavg: 2.32 2.27 2.20 3/177 9188
/proc/meminfo: memFree=28887076/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=295704 CPUtime=1062.13 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 15548 0 0 0 106207 6 0 0 20 0 1 0 125541574 302800896 57149 33554432000 4194304 6201397 140736054533232 140736054531896 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 73926 57149 166 491 0 73425 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 295704

[startup+1122.3 s]
/proc/loadavg: 2.33 2.28 2.21 3/177 9189
/proc/meminfo: memFree=28862264/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=298876 CPUtime=1122.12 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 16282 0 0 0 112205 7 0 0 20 0 1 0 125541574 306049024 60438 33554432000 4194304 6201397 140736054533232 140736054531896 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 74719 60438 166 491 0 74218 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 298876

[startup+1182.3 s]
/proc/loadavg: 2.22 2.26 2.20 3/177 9190
/proc/meminfo: memFree=28827044/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=311840 CPUtime=1182.11 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 18681 0 0 0 118203 8 0 0 20 0 1 0 125541574 319324160 65903 33554432000 4194304 6201397 140736054533232 140736054531944 4213738 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 77960 65903 166 491 0 77459 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 311840

[startup+1242.3 s]
/proc/loadavg: 2.21 2.25 2.20 3/177 9192
/proc/meminfo: memFree=28820164/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=312000 CPUtime=1242.1 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 18855 0 0 0 124202 8 0 0 20 0 1 0 125541574 319488000 67610 33554432000 4194304 6201397 140736054533232 140736054531896 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 78000 67610 166 491 0 77499 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 312000

[startup+1302.3 s]
/proc/loadavg: 2.27 2.26 2.20 3/177 9193
/proc/meminfo: memFree=28805176/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=312000 CPUtime=1302.09 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 19607 0 0 0 130201 8 0 0 20 0 1 0 125541574 319488000 70110 33554432000 4194304 6201397 140736054533232 140736054531896 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 78000 70110 166 491 0 77499 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 312000

[startup+1362.3 s]
/proc/loadavg: 2.34 2.27 2.21 3/177 9194
/proc/meminfo: memFree=28798488/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=312000 CPUtime=1362.08 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 19607 0 0 0 136200 8 0 0 20 0 1 0 125541574 319488000 70110 33554432000 4194304 6201397 140736054533232 140736054531896 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 78000 70110 166 491 0 77499 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 312000

[startup+1422.3 s]
/proc/loadavg: 2.31 2.27 2.21 4/177 9195
/proc/meminfo: memFree=28792688/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=312000 CPUtime=1422.07 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 19607 0 0 0 142199 8 0 0 20 0 1 0 125541574 319488000 70110 33554432000 4194304 6201397 140736054533232 140736054531896 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 78000 70110 166 491 0 77499 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 312000

[startup+1482.3 s]
/proc/loadavg: 2.24 2.26 2.21 3/177 9196
/proc/meminfo: memFree=28781528/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=312000 CPUtime=1482.06 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 19610 0 0 0 148198 8 0 0 20 0 1 0 125541574 319488000 70113 33554432000 4194304 6201397 140736054533232 140736054532360 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 78000 70113 166 491 0 77499 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 312000

[startup+1542.31 s]
/proc/loadavg: 2.28 2.26 2.20 3/178 9201
/proc/meminfo: memFree=28774388/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=312000 CPUtime=1542.06 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 19696 0 0 0 154197 9 0 0 20 0 1 0 125541574 319488000 70710 33554432000 4194304 6201397 140736054533232 140736054532360 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 78000 70710 166 491 0 77499 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 312000

[startup+1602.3 s]
/proc/loadavg: 2.27 2.26 2.20 3/178 9225
/proc/meminfo: memFree=28738652/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=338632 CPUtime=1602.05 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 23679 0 0 0 160195 10 0 0 20 0 1 0 125541574 346759168 77759 33554432000 4194304 6201397 140736054533232 140736054531896 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 84658 77759 166 491 0 84157 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 338632

[startup+1662.3 s]
/proc/loadavg: 2.24 2.25 2.20 4/177 9226
/proc/meminfo: memFree=28718072/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=472812 CPUtime=1662.04 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 24576 0 0 0 166194 10 0 0 20 0 1 0 125541574 484159488 81656 33554432000 4194304 6201397 140736054533232 140736054531896 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 118203 81656 166 491 0 117702 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 472812

[startup+1722.3 s]
/proc/loadavg: 2.28 2.25 2.20 3/177 9227
/proc/meminfo: memFree=28692140/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=473004 CPUtime=1722.03 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 25260 0 0 0 172193 10 0 0 20 0 1 0 125541574 484356096 83575 33554432000 4194304 6201397 140736054533232 140736054532360 4213170 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 118251 83575 166 491 0 117750 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 473004

[startup+1782.3 s]
/proc/loadavg: 2.31 2.26 2.20 3/177 9228
/proc/meminfo: memFree=28691584/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=473004 CPUtime=1782.02 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 25260 0 0 0 178192 10 0 0 20 0 1 0 125541574 484356096 83575 33554432000 4194304 6201397 140736054533232 140736054532360 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 118251 83575 166 491 0 117750 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 473004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.38 2.28 2.21 3/177 9228
/proc/meminfo: memFree=28678816/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=473004 CPUtime=1800.01 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 25260 0 0 0 179991 10 0 0 20 0 1 0 125541574 484356096 83575 33554432000 4194304 6201397 140736054533232 140736054532360 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 118251 83575 166 491 0 117750 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 473004

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 9115 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.38 2.28 2.21 3/177 9228
/proc/meminfo: memFree=28678816/32872528 swapFree=16360/1798728
[pid=9115] ppid=9112 vsize=473004 CPUtime=1800.01 cores=0,2,4,6
/proc/9115/stat : 9115 (cdcl-cuttingpla) R 9112 9115 7724 0 -1 4202496 25260 0 0 0 179991 10 0 0 20 0 1 0 125541574 484356096 83575 33554432000 4194304 6201397 140736054533232 140736054532360 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9115/statm: 118251 83575 166 491 0 117750 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 473004

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1799.92
CPU system time (s): 0.111982
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 473004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.111982
maximum resident set size= 334300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25260
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= 6
involuntary context switches= 1903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55531 second user time and 6.97594 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-09 03:34:44
IDJOB=4088421
IDBENCH=72096
IDSOLVER=2550
FILE ID=node123/4088421-1465436084
RUNJOBID= node123-1465427036-7740
PBS_JOBID= 19859787
Free space on /tmp= 71632 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088421-1465436084/watcher-4088421-1465436084 -o /tmp/evaluation-result-4088421-1465436084/solver-4088421-1465436084 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465427036-7740 --watchdog 1960 --input HOME/instance-4088421-1465436084.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= ff14e2095cd65c7713b130ededfcefb5
RANDOM SEED=1029424728

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.117
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.23
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.117
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		: 2667.117
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		: 2667.117
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		: 2667.117
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		: 2667.117
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.57
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.117
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.55
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.117
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:        28477980 kB
Buffers:          193236 kB
Cached:           821096 kB
SwapCached:         1760 kB
Active:          1151268 kB
Inactive:         693860 kB
Active(anon):     830492 kB
Inactive(anon):     2680 kB
Active(file):     320776 kB
Inactive(file):   691180 kB
Unevictable:     1798728 kB
Mlocked:           16360 kB
SwapTotal:      67108856 kB
SwapFree:       67098844 kB
Dirty:              3116 kB
Writeback:             0 kB
AnonPages:       2630920 kB
Mapped:             7852 kB
Shmem:                 0 kB
Slab:             615208 kB
SReclaimable:      59108 kB
SUnreclaim:       556100 kB
KernelStack:        1448 kB
PageTables:         9288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3039672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2596864 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= 71628 MiB
End job on node123 at 2016-06-09 04:04:45