Trace number 4099871

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 binary search 2016-05-01? (TO) 1800.15 1800.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3705.opb
MD5SUM1c8cf561f224f1f2f953c533d372407b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables155000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 77
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 658002
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 658002
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.18/0.25	c * #variable= 155000 #constraint= 5150
0.38/0.49	c * #variable= 155000 #constraint= 5150
20.48/20.56	c #Conflicts:       1000 | #Learnt:        999 | 31.619
20.48/20.56	c total clause space: 127.173MB
20.48/20.56	c total #watches: 1636701
92.57/92.66	c total #propagations: 1713879 / total #impl: 76966107 (eff. 0.022)
92.57/92.66	c #Conflicts:       2000 | #Learnt:       1999 | 32.330
92.57/92.66	c total clause space: 335.816MB
92.57/92.66	c total #watches: 3328769
168.46/168.55	c total #propagations: 2821861 / total #impl: 128704045 (eff. 0.022)
168.46/168.55	c GC COLLECT
168.46/168.55	c #Conflicts:       3000 | #Learnt:       2014 | 36.684
168.46/168.55	c total clause space: 545.701MB
168.46/168.55	c total #watches: 3892063
413.22/413.38	c total #propagations: 4349721 / total #impl: 168676439 (eff. 0.026)
413.22/413.38	c #Conflicts:       4000 | #Learnt:       3014 | 33.253
413.22/413.38	c total clause space: 886.764MB
413.22/413.38	c total #watches: 6008814
690.87/691.06	c total #propagations: 5630604 / total #impl: 239931693 (eff. 0.023)
690.87/691.06	c GC COLLECT
690.87/691.06	c #Conflicts:       5000 | #Learnt:       2374 | 35.234
690.87/691.06	c total clause space: 886.764MB
690.87/691.06	c total #watches: 5805308
1086.41/1086.60	c total #propagations: 6838348 / total #impl: 325773984 (eff. 0.021)
1086.41/1086.60	c #Conflicts:       6000 | #Learnt:       3374 | 39.738
1086.41/1086.60	c total clause space: 886.764MB
1086.41/1086.61	c total #watches: 8058574
1415.75/1416.00	c total #propagations: 8315123 / total #impl: 397018880 (eff. 0.021)
1415.75/1416.00	c GC COLLECT
1415.75/1416.00	c #Conflicts:       7000 | #Learnt:       2272 | 34.639
1415.75/1416.00	c total clause space: 886.764MB
1415.75/1416.00	c total #watches: 7397914
1599.62/1599.91	c total #propagations: 9531759 / total #impl: 485027642 (eff. 0.020)
1599.62/1599.91	c #Conflicts:       8000 | #Learnt:       3272 | 30.980
1599.62/1599.91	c total clause space: 1440.99MB
1599.62/1599.91	c total #watches: 8225382

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-4099871-1466227692/watcher-4099871-1466227692 -o /tmp/evaluation-result-4099871-1466227692/solver-4099871-1466227692 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466224089-20184 --watchdog 1960 --input HOME/instance-4099871-1466227692.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=20597
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.00 2.00 2.00 3/176 20600
/proc/meminfo: memFree=30476764/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 24819137 57319424 7804 33554432000 4194304 6211289 140736568062240 140734486278024 4206551 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20600/statm: 13994 7804 98 493 0 13491 0

[startup+0.100172 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20600
/proc/meminfo: memFree=30476764/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=62796 CPUtime=0.09 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 2253 0 0 0 9 0 0 0 20 0 1 0 24819137 64303104 12488 33554432000 4194304 6211289 140736568062240 140736568061080 5418912 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/20600/statm: 15699 12488 121 493 0 15196 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 62796

[startup+0.200372 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20600
/proc/meminfo: memFree=30476764/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=69084 CPUtime=0.18 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 2573 0 0 0 18 0 0 0 20 0 1 0 24819137 70742016 13830 33554432000 4194304 6211289 140736568062240 140736568061080 5418912 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/20600/statm: 17271 13830 121 493 0 16768 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 69084

[startup+0.300358 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20600
/proc/meminfo: memFree=30476764/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=86492 CPUtime=0.29 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 5465 0 0 0 28 1 0 0 20 0 1 0 24819137 88567808 18845 33554432000 4194304 6211289 140736568062240 140736568061080 4230398 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/20600/statm: 21623 18845 144 493 0 21120 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86492

[startup+0.700306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20600
/proc/meminfo: memFree=30476764/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=131396 CPUtime=0.68 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 8615 0 0 0 66 2 0 0 20 0 1 0 24819137 134549504 29145 33554432000 4194304 6211289 140736568062240 140736568059656 4325727 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 32849 29145 144 493 0 32346 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 131396

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20601
/proc/meminfo: memFree=30351184/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=143072 CPUtime=1.49 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 9021 0 0 0 146 3 0 0 20 0 1 0 24819137 146505728 31572 33554432000 4194304 6211289 140736568062240 140736568060472 4241730 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 35768 31572 150 493 0 35265 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 143072

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20647
/proc/meminfo: memFree=31543012/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=162040 CPUtime=3.09 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 9298 0 0 0 306 3 0 0 20 0 1 0 24819137 165928960 35406 33554432000 4194304 6211289 140736568062240 140736568060472 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 40510 35406 150 493 0 40007 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 162040

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20647
/proc/meminfo: memFree=31436740/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=192860 CPUtime=6.28 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 9488 0 0 0 625 3 0 0 20 0 1 0 24819137 197488640 39656 33554432000 4194304 6211289 140736568062240 140736568060472 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 48215 39656 150 493 0 47712 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 192860

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20647
/proc/meminfo: memFree=31356992/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=247388 CPUtime=12.69 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 10714 0 0 0 1265 4 0 0 20 0 1 0 24819137 253325312 47004 33554432000 4194304 6211289 140736568062240 140736568060152 4241789 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 61847 47004 150 493 0 61344 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 247388

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20647
/proc/meminfo: memFree=31257824/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=339032 CPUtime=25.48 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 13476 0 0 0 2543 5 0 0 20 0 1 0 24819137 347168768 68148 33554432000 4194304 6211289 140736568062240 140736568060152 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 84758 68148 160 493 0 84255 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 339032

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20648
/proc/meminfo: memFree=31053924/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=486552 CPUtime=51.08 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 17459 0 0 0 5100 8 0 0 20 0 1 0 24819137 498229248 87444 33554432000 4194304 6211289 140736568062240 140736568060232 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 121638 87444 160 493 0 121135 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 486552

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20649
/proc/meminfo: memFree=30917424/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=502504 CPUtime=102.27 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 23997 0 0 0 10216 11 0 0 20 0 1 0 24819137 514564096 108551 33554432000 4194304 6211289 140736568062240 140736568060152 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 125626 108551 160 493 0 125123 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 502504

[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 20653
/proc/meminfo: memFree=30803204/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=517156 CPUtime=162.26 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 27764 0 0 0 16214 12 0 0 20 0 1 0 24819137 529567744 117927 33554432000 4194304 6211289 140736568062240 140736568060152 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 129289 117927 165 493 0 128786 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 517156

[startup+222.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20654
/proc/meminfo: memFree=30571612/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=748924 CPUtime=222.25 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 32207 0 0 0 22210 15 0 0 20 0 1 0 24819137 766898176 154039 33554432000 4194304 6211289 140736568062240 140736568060104 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 187231 154039 165 493 0 186728 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 748924

[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 20655
/proc/meminfo: memFree=30516328/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=759832 CPUtime=282.23 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 34943 0 0 0 28207 16 0 0 20 0 1 0 24819137 778067968 166484 33554432000 4194304 6211289 140736568062240 140736568060152 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 189958 166484 165 493 0 189455 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 759832

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 20657
/proc/meminfo: memFree=30428648/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=765864 CPUtime=342.23 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 36508 0 0 0 34205 18 0 0 20 0 1 0 24819137 784244736 185803 33554432000 4194304 6211289 140736568062240 140736568060152 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 191466 185803 165 493 0 190963 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 765864

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 20658
/proc/meminfo: memFree=30352508/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=771276 CPUtime=402.21 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 37858 0 0 0 40203 18 0 0 20 0 1 0 24819137 789786624 189708 33554432000 4194304 6211289 140736568062240 140736568060104 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 192819 189708 165 493 0 192316 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 771276

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20659
/proc/meminfo: memFree=30240884/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1130808 CPUtime=462.21 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 40479 0 0 0 46197 24 0 0 20 0 1 0 24819137 1157947392 202693 33554432000 4194304 6211289 140736568062240 140736568060232 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 282702 202693 165 493 0 282199 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1130808

[startup+522.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/177 20660
/proc/meminfo: memFree=30175848/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1136092 CPUtime=522.2 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 41833 0 0 0 52196 24 0 0 20 0 1 0 24819137 1163358208 211712 33554432000 4194304 6211289 140736568062240 140736568060232 4209306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 284023 211712 165 493 0 283520 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1136092

[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 20661
/proc/meminfo: memFree=30114264/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1142076 CPUtime=582.18 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 43700 0 0 0 58194 24 0 0 20 0 1 0 24819137 1169485824 215993 33554432000 4194304 6211289 140736568062240 140736568060152 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 285519 215993 165 493 0 285016 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 1142076


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


[startup+882.307 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 20670
/proc/meminfo: memFree=29957784/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1173256 CPUtime=882.15 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 51573 0 0 0 88189 26 0 0 20 0 1 0 24819137 1201414144 223866 33554432000 4194304 6211289 140736568062240 140736568060104 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 293314 223866 165 493 0 292811 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 1173256

[startup+942.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/176 20671
/proc/meminfo: memFree=29932532/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1176168 CPUtime=942.13 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 52287 0 0 0 94187 26 0 0 20 0 1 0 24819137 1204396032 224579 33554432000 4194304 6211289 140736568062240 140736568060232 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 294042 224579 165 493 0 293539 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 1176168

[startup+1002.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 20673
/proc/meminfo: memFree=29900844/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1178704 CPUtime=1002.12 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 52916 0 0 0 100185 27 0 0 20 0 1 0 24819137 1206992896 228782 33554432000 4194304 6211289 140736568062240 140736568060152 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 294676 228782 165 493 0 294173 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 1178704

[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 20674
/proc/meminfo: memFree=29888580/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1180432 CPUtime=1062.1 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 53392 0 0 0 106183 27 0 0 20 0 1 0 24819137 1208762368 231292 33554432000 4194304 6211289 140736568062240 140736568060232 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 295108 231292 165 493 0 294605 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1180432

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 20675
/proc/meminfo: memFree=29819468/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1183252 CPUtime=1122.09 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 54123 0 0 0 112181 28 0 0 20 0 1 0 24819137 1211650048 248373 33554432000 4194304 6211289 140736568062240 140736568060152 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 295813 248373 165 493 0 295310 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1183252

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 20676
/proc/meminfo: memFree=29764016/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1187872 CPUtime=1182.09 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 55286 0 0 0 118180 29 0 0 20 0 1 0 24819137 1216380928 261800 33554432000 4194304 6211289 140736568062240 140736568060232 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 296968 261800 165 493 0 296465 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1187872

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20677
/proc/meminfo: memFree=29736428/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1193168 CPUtime=1242.08 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 56642 0 0 0 124178 30 0 0 20 0 1 0 24819137 1221804032 267754 33554432000 4194304 6211289 140736568062240 140736568060104 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 298292 267754 165 493 0 297789 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1193168

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20679
/proc/meminfo: memFree=29697984/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1200720 CPUtime=1302.07 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 58500 0 0 0 130176 31 0 0 20 0 1 0 24819137 1229537280 276764 33554432000 4194304 6211289 140736568062240 140736568060232 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 300180 276764 165 493 0 299677 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1200720

[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 20683
/proc/meminfo: memFree=29647708/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1202364 CPUtime=1362.05 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 58943 0 0 0 136174 31 0 0 20 0 1 0 24819137 1231220736 285383 33554432000 4194304 6211289 140736568062240 140736568060232 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 300591 285383 165 493 0 300088 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1202364

[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20684
/proc/meminfo: memFree=29607440/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1207136 CPUtime=1422.05 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 60214 0 0 0 142173 32 0 0 20 0 1 0 24819137 1236107264 295290 33554432000 4194304 6211289 140736568062240 140736568060152 4201573 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 301784 295290 165 493 0 301281 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1207136

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20685
/proc/meminfo: memFree=29603968/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1209236 CPUtime=1482.04 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 60750 0 0 0 148172 32 0 0 20 0 1 0 24819137 1238257664 295826 33554432000 4194304 6211289 140736568062240 140736568060152 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 302309 295826 165 493 0 301806 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1209236

[startup+1542.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 20686
/proc/meminfo: memFree=29601608/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1210124 CPUtime=1542.03 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 60954 0 0 0 154171 32 0 0 20 0 1 0 24819137 1239166976 296030 33554432000 4194304 6211289 140736568062240 140736568060152 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 302531 296030 165 493 0 302028 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1210124

[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 20688
/proc/meminfo: memFree=29514596/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1780716 CPUtime=1602.02 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 61804 0 0 0 160163 39 0 0 20 0 1 0 24819137 1823453184 306076 33554432000 4194304 6211289 140736568062240 140736568060584 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 445179 306076 165 493 0 444676 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1780716

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 20689
/proc/meminfo: memFree=29461776/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1781712 CPUtime=1662.02 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 62055 0 0 0 166162 40 0 0 20 0 1 0 24819137 1824473088 309393 33554432000 4194304 6211289 140736568062240 140736568060232 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 445428 309393 165 493 0 444925 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1781712

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20690
/proc/meminfo: memFree=29419428/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1782676 CPUtime=1722.01 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 62306 0 0 0 172161 40 0 0 20 0 1 0 24819137 1825460224 311688 33554432000 4194304 6211289 140736568062240 140736568060232 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 445669 311688 165 493 0 445166 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1782676

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20691
/proc/meminfo: memFree=29381724/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1791904 CPUtime=1782 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 64629 0 0 0 178159 41 0 0 20 0 1 0 24819137 1834909696 316566 33554432000 4194304 6211289 140736568062240 140736568060152 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 447976 316566 165 493 0 447473 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1791904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 20691
/proc/meminfo: memFree=29366736/32872528 swapFree=163656/177964
[pid=20600] ppid=20597 vsize=1792632 CPUtime=1800.09 cores=1,3,5,7
/proc/20600/stat : 20600 (cdcl-cuttingpla) R 20597 20600 13538 0 -1 4202496 64746 0 0 0 179968 41 0 0 20 0 1 0 24819137 1835655168 317194 33554432000 4194304 6211289 140736568062240 140736568060152 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/20600/statm: 448158 317194 165 493 0 447655 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1792632

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.45
CPU time (s): 1800.15
CPU user time (s): 1799.69
CPU system time (s): 0.467928
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 1792632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.467928
maximum resident set size= 1268776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64746
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= 47
involuntary context switches= 1848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.74628 second user time and 6.86996 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 07:28:12
IDJOB=4099871
IDBENCH=1544
IDSOLVER=2549
FILE ID=node105/4099871-1466227692
RUNJOBID= node105-1466224089-20184
PBS_JOBID= 19918167
Free space on /tmp= 71732 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3705.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099871-1466227692/watcher-4099871-1466227692 -o /tmp/evaluation-result-4099871-1466227692/solver-4099871-1466227692 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466224089-20184 --watchdog 1960 --input HOME/instance-4099871-1466227692.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 1c8cf561f224f1f2f953c533d372407b
RANDOM SEED=1579564151

node105.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.561
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	: 5333.12
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.561
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.561
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.55
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.561
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.561
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.54
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.561
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.55
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.561
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		: 2666.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30477688 kB
Buffers:           96384 kB
Cached:           135120 kB
SwapCached:         1764 kB
Active:          1327988 kB
Inactive:         154524 kB
Active(anon):    1252052 kB
Inactive(anon):     1440 kB
Active(file):      75936 kB
Inactive(file):   153084 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:              8940 kB
Writeback:             0 kB
AnonPages:       1397776 kB
Mapped:             7668 kB
Shmem:                 0 kB
Slab:             601640 kB
SReclaimable:      45508 kB
SUnreclaim:       556132 kB
KernelStack:        1472 kB
PageTables:         7008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1563596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1204224 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 node105 at 2016-06-18 07:58:13