Trace number 4119003

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.05 1800.33

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-26.lin.opb
MD5SUMcacbe882e03b05a3e4c22ea8e792d259
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-6641
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8347
Total number of constraints16624
Number of constraints which are clauses8312
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8312
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 8347
Biggest coefficient in the objective function 2182
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 499920
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 2182
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 499920
Number of bits of the biggest sum of numbers19
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.03	c * #variable= 8347 #constraint= 16624
0.00/0.09	c * #variable= 8347 #constraint= 16624
54.78/54.81	c S1->S2
54.78/54.81	c #Conflicts:       1000 | #Learnt:       1000 | 0.000
54.78/54.81	c total clause space: 206.656MB
54.78/54.81	c total #watches: 488098
195.06/195.16	c total #propagations: 314083 / total #impl: 6731247 (eff. 0.047)
195.06/195.16	c #Conflicts:       2000 | #Learnt:       2000 | 0.000
195.06/195.16	c total clause space: 335.816MB
195.06/195.16	c total #watches: 777213
357.03/357.11	c total #propagations: 748914 / total #impl: 13242291 (eff. 0.057)
357.03/357.11	c GC COLLECT
357.03/357.11	c #Conflicts:       3000 | #Learnt:       2005 | 0.000
357.03/357.11	c total clause space: 335.816MB
357.03/357.11	c total #watches: 853439
665.58/665.70	c total #propagations: 1232442 / total #impl: 18586848 (eff. 0.066)
665.58/665.70	c #Conflicts:       4000 | #Learnt:       3005 | 0.000
665.58/665.70	c total clause space: 545.701MB
665.58/665.70	c total #watches: 1172571
851.25/851.46	c total #propagations: 1804634 / total #impl: 24544986 (eff. 0.074)
851.25/851.46	c GC COLLECT
851.25/851.46	c #Conflicts:       5000 | #Learnt:       2357 | 0.000
851.25/851.46	c total clause space: 545.701MB
851.25/851.46	c total #watches: 742444
1019.52/1019.78	c total #propagations: 2236549 / total #impl: 29308088 (eff. 0.076)
1019.52/1019.78	c #Conflicts:       6000 | #Learnt:       3357 | 0.000
1019.52/1019.78	c total clause space: 545.701MB
1019.52/1019.78	c total #watches: 1254633
1322.27/1322.51	c total #propagations: 2594236 / total #impl: 33511704 (eff. 0.077)
1322.27/1322.51	c GC COLLECT
1322.27/1322.51	c #Conflicts:       7000 | #Learnt:       2230 | 0.000
1322.27/1322.51	c total clause space: 886.764MB
1322.27/1322.51	c total #watches: 1095491
1636.93/1637.23	c total #propagations: 2915998 / total #impl: 37482039 (eff. 0.078)
1636.93/1637.23	c #Conflicts:       8000 | #Learnt:       3230 | 0.000
1636.93/1637.23	c total clause space: 886.764MB
1636.93/1637.23	c total #watches: 1363687

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-4119003-1467231163/watcher-4119003-1467231163 -o /tmp/evaluation-result-4119003-1467231163/solver-4119003-1467231163 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1467209049-5527 --watchdog 1960 --input HOME/instance-4119003-1467231163.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=7797
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.29 2.25 2.26 3/176 7800
/proc/meminfo: memFree=25641836/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 4065914 57319424 7804 33554432000 4194304 6211289 140734667939296 140735936892280 4206544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 13994 7804 98 493 0 13491 0

[startup+0.100137 s]
/proc/loadavg: 2.29 2.25 2.26 3/176 7800
/proc/meminfo: memFree=25641836/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=63604 CPUtime=0.09 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 1914 0 0 0 8 1 0 0 20 0 1 0 4065914 65130496 13580 33554432000 4194304 6211289 140734667939296 140735936892280 4222313 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 15901 13580 144 493 0 15398 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 63604

[startup+0.200368 s]
/proc/loadavg: 2.29 2.25 2.26 3/176 7800
/proc/meminfo: memFree=25641836/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=69032 CPUtime=0.19 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 2673 0 0 0 18 1 0 0 20 0 1 0 4065914 70688768 15361 33554432000 4194304 6211289 140734667939296 140735936892280 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 17258 15361 203 493 0 16755 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 69032

[startup+0.300293 s]
/proc/loadavg: 2.29 2.25 2.26 3/176 7800
/proc/meminfo: memFree=25641836/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=76172 CPUtime=0.29 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 2852 0 0 0 28 1 0 0 20 0 1 0 4065914 78000128 16547 33554432000 4194304 6211289 140734667939296 140735936892280 4241988 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 19043 16547 204 493 0 18540 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 76172

[startup+0.700233 s]
/proc/loadavg: 2.29 2.25 2.26 3/176 7800
/proc/meminfo: memFree=25641836/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=95360 CPUtime=0.68 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 3225 0 0 0 67 1 0 0 20 0 1 0 4065914 97648640 18432 33554432000 4194304 6211289 140734667939296 140734667937528 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 23840 18432 204 493 0 23337 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 95360

[startup+1.50019 s]
/proc/loadavg: 2.29 2.25 2.26 3/177 7801
/proc/meminfo: memFree=25561896/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=115152 CPUtime=1.49 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 3609 0 0 0 147 2 0 0 20 0 1 0 4065914 117915648 20844 33554432000 4194304 6211289 140734667939296 140734667937528 4209380 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 28788 20844 204 493 0 28285 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 115152

[startup+3.10019 s]
/proc/loadavg: 2.29 2.25 2.26 3/177 7801
/proc/meminfo: memFree=25543776/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=115988 CPUtime=3.09 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 3858 0 0 0 307 2 0 0 20 0 1 0 4065914 118771712 23133 33554432000 4194304 6211289 140734667939296 140734667937160 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 28997 23133 204 493 0 28494 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 115988

[startup+6.30019 s]
/proc/loadavg: 2.26 2.25 2.26 3/177 7801
/proc/meminfo: memFree=25511872/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=147648 CPUtime=6.29 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 4227 0 0 0 627 2 0 0 20 0 1 0 4065914 151191552 29110 33554432000 4194304 6211289 140734667939296 140734667937208 4209464 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 36912 29110 204 493 0 36409 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 147648

[startup+12.7002 s]
/proc/loadavg: 2.24 2.25 2.26 3/177 7801
/proc/meminfo: memFree=25488740/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=199664 CPUtime=12.68 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 4960 0 0 0 1266 2 0 0 20 0 1 0 4065914 204455936 33398 33554432000 4194304 6211289 140734667939296 140734667937528 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 49916 33398 204 493 0 49413 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 199664

[startup+25.5003 s]
/proc/loadavg: 2.19 2.23 2.25 4/177 7801
/proc/meminfo: memFree=25456872/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=200836 CPUtime=25.48 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 5284 0 0 0 2545 3 0 0 20 0 1 0 4065914 205656064 41387 33554432000 4194304 6211289 140734667939296 140734667937208 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 50209 41387 204 493 0 49706 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 200836

[startup+51.1003 s]
/proc/loadavg: 2.25 2.24 2.26 3/177 7801
/proc/meminfo: memFree=25415784/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=285292 CPUtime=51.08 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 6229 0 0 0 5104 4 0 0 20 0 1 0 4065914 292139008 51516 33554432000 4194304 6211289 140734667939296 140734667937528 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 71323 51516 204 493 0 70820 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 285292

[startup+102.3 s]
/proc/loadavg: 2.21 2.23 2.25 3/177 7802
/proc/meminfo: memFree=25338784/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=287108 CPUtime=102.28 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 6692 0 0 0 10223 5 0 0 20 0 1 0 4065914 293998592 65776 33554432000 4194304 6211289 140734667939296 140734667937208 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 71777 65776 214 493 0 71274 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 287108

[startup+162.3 s]
/proc/loadavg: 2.20 2.23 2.25 4/177 7803
/proc/meminfo: memFree=25271260/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=421208 CPUtime=162.27 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 7338 0 0 0 16220 7 0 0 20 0 1 0 4065914 431316992 82250 33554432000 4194304 6211289 140734667939296 140734667937208 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 105302 82250 214 493 0 104799 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 421208

[startup+222.307 s]
/proc/loadavg: 2.34 2.26 2.26 3/177 7804
/proc/meminfo: memFree=25232204/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=423488 CPUtime=222.26 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 11252 0 0 0 22218 8 0 0 20 0 1 0 4065914 433651712 91895 33554432000 4194304 6211289 140734667939296 140734667937640 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 105872 91895 214 493 0 105369 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 423488

[startup+282.3 s]
/proc/loadavg: 2.28 2.26 2.26 3/177 7806
/proc/meminfo: memFree=25222892/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=424904 CPUtime=282.25 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 11691 0 0 0 28217 8 0 0 20 0 1 0 4065914 435101696 92332 33554432000 4194304 6211289 140734667939296 140734667937288 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 106226 92332 219 493 0 105723 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 424904

[startup+342.3 s]
/proc/loadavg: 2.21 2.24 2.25 4/177 7807
/proc/meminfo: memFree=25193112/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=425640 CPUtime=342.24 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 11890 0 0 0 34216 8 0 0 20 0 1 0 4065914 435855360 92531 33554432000 4194304 6211289 140734667939296 140734667937208 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 106410 92531 219 493 0 105907 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 425640

[startup+402.3 s]
/proc/loadavg: 2.30 2.25 2.26 3/177 7808
/proc/meminfo: memFree=25174616/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=426812 CPUtime=402.22 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 12175 0 0 0 40214 8 0 0 20 0 1 0 4065914 437055488 97415 33554432000 4194304 6211289 140734667939296 140734667937208 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 106703 97415 219 493 0 106200 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 426812

[startup+462.3 s]
/proc/loadavg: 2.33 2.27 2.26 4/178 7812
/proc/meminfo: memFree=25092468/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=429368 CPUtime=462.22 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 12823 0 0 0 46213 9 0 0 20 0 1 0 4065914 439672832 104770 33554432000 4194304 6211289 140734667939296 140734667937208 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 107342 104770 219 493 0 106839 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 429368

[startup+522.3 s]
/proc/loadavg: 2.20 2.24 2.25 3/177 7813
/proc/meminfo: memFree=25044484/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=644728 CPUtime=522.2 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 13117 0 0 0 52211 9 0 0 20 0 1 0 4065914 660201472 110661 33554432000 4194304 6211289 140734667939296 140734667937528 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 161182 110661 219 493 0 160679 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 644728

[startup+582.3 s]
/proc/loadavg: 2.33 2.27 2.26 3/177 7815
/proc/meminfo: memFree=24999232/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=646916 CPUtime=582.19 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 13670 0 0 0 58209 10 0 0 20 0 1 0 4065914 662441984 115289 33554432000 4194304 6211289 140734667939296 140734667937288 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 161729 115289 219 493 0 161226 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 646916


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


[startup+942.3 s]
/proc/loadavg: 2.24 2.22 2.24 4/177 7822
/proc/meminfo: memFree=24918252/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=648360 CPUtime=942.13 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 14340 0 0 0 94203 10 0 0 20 0 1 0 4065914 663920640 135236 33554432000 4194304 6211289 140734667939296 140734667937208 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 162090 135236 219 493 0 161587 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 648360

[startup+1002.3 s]
/proc/loadavg: 2.14 2.19 2.22 3/177 7823
/proc/meminfo: memFree=24908020/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=648500 CPUtime=1002.12 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 14354 0 0 0 100202 10 0 0 20 0 1 0 4065914 664064000 135250 33554432000 4194304 6211289 140734667939296 140734667937208 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 162125 135250 219 493 0 161622 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 648500

[startup+1062.3 s]
/proc/loadavg: 2.26 2.22 2.23 3/178 7827
/proc/meminfo: memFree=24861144/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=649628 CPUtime=1062.11 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 14686 0 0 0 106200 11 0 0 20 0 1 0 4065914 665219072 146824 33554432000 4194304 6211289 140734667939296 140734667937208 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 162407 146824 219 493 0 161904 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 649628

[startup+1122.3 s]
/proc/loadavg: 2.27 2.22 2.23 3/177 7828
/proc/meminfo: memFree=24705576/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=655576 CPUtime=1122.11 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 16161 0 0 0 112199 12 0 0 20 0 1 0 4065914 671309824 158008 33554432000 4194304 6211289 140734667939296 140734667937208 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 163894 158008 219 493 0 163391 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 655576

[startup+1182.3 s]
/proc/loadavg: 2.24 2.22 2.23 3/177 7830
/proc/meminfo: memFree=24680944/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=1005744 CPUtime=1182.09 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 16455 0 0 0 118193 16 0 0 20 0 1 0 4065914 1029881856 163918 33554432000 4194304 6211289 140734667939296 140734667937208 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 251436 163918 219 493 0 250933 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1005744

[startup+1242.3 s]
/proc/loadavg: 2.24 2.23 2.22 3/177 7831
/proc/meminfo: memFree=24651824/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=1006160 CPUtime=1242.09 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 16595 0 0 0 124192 17 0 0 20 0 1 0 4065914 1030307840 169168 33554432000 4194304 6211289 140734667939296 140734667937208 4209384 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 251540 169168 219 493 0 251037 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1006160

[startup+1302.3 s]
/proc/loadavg: 2.24 2.23 2.22 3/177 7832
/proc/meminfo: memFree=24615764/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=1006880 CPUtime=1302.08 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 16940 0 0 0 130191 17 0 0 20 0 1 0 4065914 1031045120 173966 33554432000 4194304 6211289 140734667939296 140734667937208 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 251720 173966 219 493 0 251217 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1006880

[startup+1362.3 s]
/proc/loadavg: 2.14 2.20 2.21 3/176 7879
/proc/meminfo: memFree=25414480/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=1007032 CPUtime=1362.07 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 16948 0 0 0 136190 17 0 0 20 0 1 0 4065914 1031200768 173974 33554432000 4194304 6211289 140734667939296 140734667937640 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 251758 173974 219 493 0 251255 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1007032

[startup+1422.3 s]
/proc/loadavg: 2.37 2.25 2.23 3/177 7881
/proc/meminfo: memFree=25394500/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=1007032 CPUtime=1422.07 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 16948 0 0 0 142190 17 0 0 20 0 1 0 4065914 1031200768 173974 33554432000 4194304 6211289 140734667939296 140734667937640 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 251758 173974 219 493 0 251255 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1007032

[startup+1482.3 s]
/proc/loadavg: 2.24 2.23 2.22 3/177 7883
/proc/meminfo: memFree=25388008/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=1007032 CPUtime=1482.05 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 16948 0 0 0 148188 17 0 0 20 0 1 0 4065914 1031200768 173974 33554432000 4194304 6211289 140734667939296 140734667937640 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 251758 173974 219 493 0 251255 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1007032

[startup+1542.31 s]
/proc/loadavg: 2.18 2.22 2.21 3/177 7884
/proc/meminfo: memFree=25380028/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=1007032 CPUtime=1542.05 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 16948 0 0 0 154188 17 0 0 20 0 1 0 4065914 1031200768 173974 33554432000 4194304 6211289 140734667939296 140734667937640 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 251758 173974 219 493 0 251255 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1007032

[startup+1602.3 s]
/proc/loadavg: 2.21 2.22 2.21 3/177 7885
/proc/meminfo: memFree=25374600/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=1007032 CPUtime=1602.03 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 16948 0 0 0 160186 17 0 0 20 0 1 0 4065914 1031200768 173974 33554432000 4194304 6211289 140734667939296 140734667937640 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 251758 173974 219 493 0 251255 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1007032

[startup+1662.3 s]
/proc/loadavg: 2.25 2.23 2.21 3/178 7889
/proc/meminfo: memFree=25368488/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=1008036 CPUtime=1662.02 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 17208 0 0 0 166185 17 0 0 20 0 1 0 4065914 1032228864 174234 33554432000 4194304 6211289 140734667939296 140734667937288 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 252009 174234 219 493 0 251506 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1008036

[startup+1722.3 s]
/proc/loadavg: 2.28 2.23 2.21 3/177 7890
/proc/meminfo: memFree=25359188/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=1012580 CPUtime=1722.02 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 18357 0 0 0 172184 18 0 0 20 0 1 0 4065914 1036881920 175383 33554432000 4194304 6211289 140734667939296 140734667937288 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 253145 175383 219 493 0 252642 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1012580

[startup+1782.3 s]
/proc/loadavg: 2.25 2.23 2.21 3/177 7892
/proc/meminfo: memFree=25356460/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=1014192 CPUtime=1782.01 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 18732 0 0 0 178183 18 0 0 20 0 1 0 4065914 1038532608 175758 33554432000 4194304 6211289 140734667939296 140734667937208 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 253548 175758 219 493 0 253045 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1014192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.25 2.23 2.21 4/177 7892
/proc/meminfo: memFree=25354904/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=1015024 CPUtime=1800.01 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 18950 0 0 0 179983 18 0 0 20 0 1 0 4065914 1039384576 175975 33554432000 4194304 6211289 140734667939296 140734667937288 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 253756 175975 219 493 0 253253 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1015024

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

[startup+1800.3 s]
/proc/loadavg: 2.25 2.23 2.21 4/177 7892
/proc/meminfo: memFree=25354904/32872528 swapFree=1390956/1568784
[pid=7800] ppid=7797 vsize=1015024 CPUtime=1800.01 cores=0,2,4,6
/proc/7800/stat : 7800 (cdcl-cuttingpla) R 7797 7800 5511 0 -1 4202496 18950 0 0 0 179983 18 0 0 20 0 1 0 4065914 1039384576 175975 33554432000 4194304 6211289 140734667939296 140734667937288 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/7800/statm: 253756 175975 219 493 0 253253 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1015024

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.33
CPU time (s): 1800.05
CPU user time (s): 1799.83
CPU system time (s): 0.212967
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 1015024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.212967
maximum resident set size= 703900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18950
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= 30
involuntary context switches= 1872

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.94425 second user time and 7.9238 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-29 22:12:43
IDJOB=4119003
IDBENCH=111556
IDSOLVER=2549
FILE ID=node140/4119003-1467231163
RUNJOBID= node140-1467209049-5527
PBS_JOBID= 19997571
Free space on /tmp= 71660 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-26.lin.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119003-1467231163/watcher-4119003-1467231163 -o /tmp/evaluation-result-4119003-1467231163/solver-4119003-1467231163 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1467209049-5527 --watchdog 1960 --input HOME/instance-4119003-1467231163.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= cacbe882e03b05a3e4c22ea8e792d259
RANDOM SEED=500690719

node140.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.708
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.41
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.708
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.708
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.708
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.56
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.708
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.708
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.708
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.708
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.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        25642256 kB
Buffers:          109320 kB
Cached:          4241648 kB
SwapCached:            0 kB
Active:           649156 kB
Inactive:        4260792 kB
Active(anon):     557312 kB
Inactive(anon):     4088 kB
Active(file):      91844 kB
Inactive(file):  4256704 kB
Unevictable:     1568784 kB
Mlocked:         1390956 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3152 kB
Writeback:             0 kB
AnonPages:       2127140 kB
Mapped:            14816 kB
Shmem:               204 kB
Slab:             615772 kB
SReclaimable:      59912 kB
SUnreclaim:       555860 kB
KernelStack:        1464 kB
PageTables:         8016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2324620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    489472 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= 71656 MiB
End job on node140 at 2016-06-29 22:42:44