Trace number 4100032

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

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3704.opb
MD5SUM35541d810f352e1e9979b25003c9f904
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 76
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 654474
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 654474
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= 155000 #constraint= 5150
31.09/31.13	c #Conflicts:       1000 | #Learnt:        999 | 80.632
31.09/31.13	c total clause space: 206.656MB
31.09/31.13	c total #watches: 1828646
107.88/107.93	c total #propagations: 1478580 / total #impl: 43009966 (eff. 0.034)
107.88/107.93	c #Conflicts:       2000 | #Learnt:       1999 | 63.988
107.88/107.93	c total clause space: 335.816MB
107.88/107.94	c total #watches: 3486350
189.86/190.00	c total #propagations: 2667338 / total #impl: 133626892 (eff. 0.020)
189.86/190.00	c GC COLLECT
189.86/190.00	c #Conflicts:       3000 | #Learnt:       2023 | 46.329
189.86/190.00	c total clause space: 545.701MB
189.96/190.00	c total #watches: 3264971
422.21/422.32	c total #propagations: 3646820 / total #impl: 170113294 (eff. 0.021)
422.21/422.32	c #Conflicts:       4000 | #Learnt:       3023 | 36.895
422.21/422.32	c total clause space: 886.764MB
422.21/422.32	c total #watches: 5453198
883.15/883.40	c total #propagations: 4923934 / total #impl: 303306122 (eff. 0.016)
883.15/883.40	c GC COLLECT
883.15/883.40	c #Conflicts:       5000 | #Learnt:       2379 | 40.510
883.15/883.40	c total clause space: 886.764MB
883.15/883.40	c total #watches: 6089713
1347.58/1347.84	c total #propagations: 6474301 / total #impl: 443821539 (eff. 0.015)
1347.58/1347.84	c #Conflicts:       6000 | #Learnt:       3379 | 36.534
1347.58/1347.84	c total clause space: 886.764MB
1347.58/1347.84	c total #watches: 8087799
1635.13/1635.47	c total #propagations: 8436882 / total #impl: 545166360 (eff. 0.015)
1635.13/1635.47	c GC COLLECT
1635.13/1635.47	c #Conflicts:       7000 | #Learnt:       2251 | 33.469
1635.13/1635.47	c total clause space: 1440.99MB
1635.13/1635.47	c total #watches: 6200341

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

pid=17398
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: 1.40 2.01 2.08 3/172 17401
/proc/meminfo: memFree=30125528/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 25137385 29810688 5268 33554432000 4194304 6201397 140737446911376 140735422036968 4211136 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 7278 5268 130 491 0 6777 0

[startup+0.100257 s]
/proc/loadavg: 1.40 2.01 2.08 3/172 17401
/proc/meminfo: memFree=30125528/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=39288 CPUtime=0.09 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 2462 0 0 0 9 0 0 0 20 0 1 0 25137385 40230912 8142 33554432000 4194304 6201397 140737446911376 140735422036968 4227002 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 9822 8142 137 491 0 9321 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39288

[startup+0.200343 s]
/proc/loadavg: 1.40 2.01 2.08 3/172 17401
/proc/meminfo: memFree=30125528/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=43220 CPUtime=0.19 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 2802 0 0 0 19 0 0 0 20 0 1 0 25137385 44257280 10013 33554432000 4194304 6201397 140737446911376 140735422036968 4356723 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 10805 10013 143 491 0 10304 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 43220

[startup+0.300288 s]
/proc/loadavg: 1.40 2.01 2.08 3/172 17401
/proc/meminfo: memFree=30125528/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=54820 CPUtime=0.29 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 3176 0 0 0 28 1 0 0 20 0 1 0 25137385 56135680 10816 33554432000 4194304 6201397 140737446911376 140735422036968 4309760 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 13705 10816 143 491 0 13204 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54820

[startup+0.70027 s]
/proc/loadavg: 1.40 2.01 2.08 3/172 17401
/proc/meminfo: memFree=30125528/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=67560 CPUtime=0.69 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 4007 0 0 0 68 1 0 0 20 0 1 0 25137385 69181440 13786 33554432000 4194304 6201397 140737446911376 140735422036968 4219773 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 16890 13786 147 491 0 16389 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67560

[startup+1.50021 s]
/proc/loadavg: 1.40 2.01 2.08 4/179 17463
/proc/meminfo: memFree=30011892/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=68456 CPUtime=1.49 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 4244 0 0 0 148 1 0 0 20 0 1 0 25137385 70098944 15556 33554432000 4194304 6201397 140737446911376 140737446909992 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 17114 15556 147 491 0 16613 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68456

[startup+3.10021 s]
/proc/loadavg: 1.45 2.01 2.08 3/179 17463
/proc/meminfo: memFree=29960080/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=92580 CPUtime=3.09 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 5636 0 0 0 307 2 0 0 20 0 1 0 25137385 94801920 21523 33554432000 4194304 6201397 140737446911376 140737446909656 4222232 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 23145 21523 147 491 0 22644 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 92580

[startup+6.30025 s]
/proc/loadavg: 1.45 2.01 2.08 3/179 17463
/proc/meminfo: memFree=29881844/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=126324 CPUtime=6.29 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 6355 0 0 0 627 2 0 0 20 0 1 0 25137385 129355776 27863 33554432000 4194304 6201397 140737446911376 140737446910088 4213168 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 31581 27863 147 491 0 31080 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 126324

[startup+12.7003 s]
/proc/loadavg: 1.61 2.03 2.08 3/179 17463
/proc/meminfo: memFree=29833304/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=181020 CPUtime=12.69 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 7531 0 0 0 1267 2 0 0 20 0 1 0 25137385 185364480 33127 33554432000 4194304 6201397 140737446911376 140737446910088 4213178 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 45255 33127 147 491 0 44754 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 181020

[startup+25.5003 s]
/proc/loadavg: 1.67 2.02 2.08 3/179 17463
/proc/meminfo: memFree=29746028/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=271032 CPUtime=25.49 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 9857 0 0 0 2546 3 0 0 20 0 1 0 25137385 277536768 46688 33554432000 4194304 6201397 140737446911376 140737446910040 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 67758 46688 147 491 0 67257 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 271032

[startup+51.1003 s]
/proc/loadavg: 1.92 2.05 2.09 4/179 17463
/proc/meminfo: memFree=29528664/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=417544 CPUtime=51.08 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 13639 0 0 0 5103 5 0 0 20 0 1 0 25137385 427565056 70895 33554432000 4194304 6201397 140737446911376 140737446910040 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 104386 70895 160 491 0 103885 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 417544

[startup+102.3 s]
/proc/loadavg: 2.08 2.07 2.09 3/179 17464
/proc/meminfo: memFree=29380504/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=434404 CPUtime=102.28 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 17904 0 0 0 10221 7 0 0 20 0 1 0 25137385 444829696 96622 33554432000 4194304 6201397 140737446911376 140737446909656 4213168 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 108601 96622 160 491 0 108100 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 434404

[startup+162.3 s]
/proc/loadavg: 2.23 2.12 2.10 4/179 17465
/proc/meminfo: memFree=29195416/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=665012 CPUtime=162.26 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 23334 0 0 0 16218 8 0 0 20 0 1 0 25137385 680972288 120980 33554432000 4194304 6201397 140737446911376 140737446910088 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 166253 120980 166 491 0 165752 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 665012

[startup+222.307 s]
/proc/loadavg: 2.20 2.13 2.10 4/179 17467
/proc/meminfo: memFree=28997916/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=677748 CPUtime=222.27 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 26594 0 0 0 22216 11 0 0 20 0 1 0 25137385 694013952 156944 33554432000 4194304 6201397 140737446911376 140737446909992 4213249 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 169437 156944 166 491 0 168936 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 677748

[startup+282.3 s]
/proc/loadavg: 2.19 2.13 2.10 3/179 17468
/proc/meminfo: memFree=28964324/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=686192 CPUtime=282.24 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 28702 0 0 0 28213 11 0 0 20 0 1 0 25137385 702660608 164781 33554432000 4194304 6201397 140737446911376 140737446910040 4213168 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 171548 164781 166 491 0 171047 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 686192

[startup+342.3 s]
/proc/loadavg: 2.17 2.13 2.10 4/179 17469
/proc/meminfo: memFree=28838768/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1047776 CPUtime=342.24 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 31920 0 0 0 34211 13 0 0 20 0 1 0 25137385 1072922624 176831 33554432000 4194304 6201397 140737446911376 140737446909992 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 261944 176831 166 491 0 261443 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1047776

[startup+402.3 s]
/proc/loadavg: 2.22 2.15 2.10 4/179 17470
/proc/meminfo: memFree=28686760/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1060444 CPUtime=402.23 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 35115 0 0 0 40208 15 0 0 20 0 1 0 25137385 1085894656 190757 33554432000 4194304 6201397 140737446911376 140737446909656 4213168 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 265111 190757 166 491 0 264610 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1060444

[startup+462.3 s]
/proc/loadavg: 2.25 2.17 2.11 3/179 17471
/proc/meminfo: memFree=28567568/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1071192 CPUtime=462.21 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 37832 0 0 0 46205 16 0 0 20 0 1 0 25137385 1096900608 206759 33554432000 4194304 6201397 140737446911376 140737446910040 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 267798 206759 166 491 0 267297 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1071192

[startup+522.3 s]
/proc/loadavg: 2.19 2.17 2.11 3/180 17476
/proc/meminfo: memFree=28481188/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1073408 CPUtime=522.2 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 38371 0 0 0 52203 17 0 0 20 0 1 0 25137385 1099169792 219051 33554432000 4194304 6201397 140737446911376 140737446910088 4216025 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 268352 219051 166 491 0 267851 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1073408

[startup+582.3 s]
/proc/loadavg: 2.18 2.16 2.11 4/179 17477
/proc/meminfo: memFree=28430136/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1076260 CPUtime=582.19 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 40446 0 0 0 58202 17 0 0 20 0 1 0 25137385 1102090240 221428 33554432000 4194304 6201397 140737446911376 140737446910088 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 269065 221428 166 491 0 268564 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1076260


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


[startup+942.3 s]
/proc/loadavg: 2.10 2.15 2.11 4/179 17484
/proc/meminfo: memFree=28296460/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1100604 CPUtime=942.13 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 46669 0 0 0 94194 19 0 0 20 0 1 0 25137385 1127018496 227651 33554432000 4194304 6201397 140737446911376 140737446910040 4213168 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 275151 227651 166 491 0 274650 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 1100604

[startup+1002.3 s]
/proc/loadavg: 2.19 2.18 2.12 3/179 17485
/proc/meminfo: memFree=28288296/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1104896 CPUtime=1002.13 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 47721 0 0 0 100194 19 0 0 20 0 1 0 25137385 1131413504 228703 33554432000 4194304 6201397 140737446911376 140737446910088 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 276224 228703 166 491 0 275723 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1104896

[startup+1062.3 s]
/proc/loadavg: 2.23 2.19 2.12 3/179 17486
/proc/meminfo: memFree=28278764/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1107880 CPUtime=1062.12 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 48445 0 0 0 106193 19 0 0 20 0 1 0 25137385 1134469120 229427 33554432000 4194304 6201397 140737446911376 140737446909656 4214911 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 276970 229427 166 491 0 276469 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1107880

[startup+1122.3 s]
/proc/loadavg: 2.26 2.20 2.12 4/180 17491
/proc/meminfo: memFree=28273204/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1107880 CPUtime=1122.11 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 48445 0 0 0 112192 19 0 0 20 0 1 0 25137385 1134469120 229427 33554432000 4194304 6201397 140737446911376 140737446909656 4233535 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 276970 229427 166 491 0 276469 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1107880

[startup+1182.3 s]
/proc/loadavg: 2.27 2.21 2.13 3/179 17492
/proc/meminfo: memFree=28259248/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1114316 CPUtime=1182.1 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 50085 0 0 0 118190 20 0 0 20 0 1 0 25137385 1141059584 231067 33554432000 4194304 6201397 140737446911376 140737446910088 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 278579 231067 166 491 0 278078 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1114316

[startup+1242.3 s]
/proc/loadavg: 2.23 2.21 2.13 4/179 17493
/proc/meminfo: memFree=28133240/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1117944 CPUtime=1242.09 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 50994 0 0 0 124189 20 0 0 20 0 1 0 25137385 1144774656 231976 33554432000 4194304 6201397 140737446911376 140737446910040 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 279486 231976 166 491 0 278985 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1117944

[startup+1302.3 s]
/proc/loadavg: 2.18 2.20 2.13 4/179 17494
/proc/meminfo: memFree=27964388/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1121544 CPUtime=1302.09 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 51885 0 0 0 130188 21 0 0 20 0 1 0 25137385 1148461056 242065 33554432000 4194304 6201397 140737446911376 140737446909656 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 280386 242065 166 491 0 279885 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1121544

[startup+1362.3 s]
/proc/loadavg: 2.19 2.20 2.14 3/179 17495
/proc/meminfo: memFree=27841472/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1124200 CPUtime=1362.08 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 52586 0 0 0 136186 22 0 0 20 0 1 0 25137385 1151180800 255541 33554432000 4194304 6201397 140737446911376 140737446909656 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 281050 255541 166 491 0 280549 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1124200

[startup+1422.3 s]
/proc/loadavg: 2.12 2.18 2.13 3/179 17497
/proc/meminfo: memFree=27726460/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1128552 CPUtime=1422.07 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 53714 0 0 0 142184 23 0 0 20 0 1 0 25137385 1155637248 274043 33554432000 4194304 6201397 140737446911376 140737446909976 4213348 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 282138 274043 166 491 0 281637 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1128552

[startup+1482.3 s]
/proc/loadavg: 2.12 2.17 2.13 4/179 17498
/proc/meminfo: memFree=27631412/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1699780 CPUtime=1482.05 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 54799 0 0 0 148181 24 0 0 20 0 1 0 25137385 1740574720 288408 33554432000 4194304 6201397 140737446911376 140737446910040 4213168 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 424945 288408 166 491 0 424444 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1699780

[startup+1542.31 s]
/proc/loadavg: 2.32 2.21 2.14 3/179 17499
/proc/meminfo: memFree=27614700/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1707664 CPUtime=1542.06 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 56705 0 0 0 154180 26 0 0 20 0 1 0 25137385 1748647936 290825 33554432000 4194304 6201397 140737446911376 140737446909992 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 426916 290825 166 491 0 426415 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1707664

[startup+1602.3 s]
/proc/loadavg: 2.24 2.20 2.14 3/179 17500
/proc/meminfo: memFree=27536196/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1711696 CPUtime=1602.03 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 57702 0 0 0 160177 26 0 0 20 0 1 0 25137385 1752776704 306130 33554432000 4194304 6201397 140737446911376 140737446909656 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 427924 306130 166 491 0 427423 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1711696

[startup+1662.3 s]
/proc/loadavg: 2.28 2.22 2.15 4/179 17501
/proc/meminfo: memFree=27493760/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1714816 CPUtime=1662.03 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 58602 0 0 0 166176 27 0 0 20 0 1 0 25137385 1755971584 313673 33554432000 4194304 6201397 140737446911376 140737446910088 4213170 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 428704 313673 166 491 0 428203 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1714816

[startup+1722.3 s]
/proc/loadavg: 2.21 2.21 2.15 3/180 17506
/proc/meminfo: memFree=27483244/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1719088 CPUtime=1722.02 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 59682 0 0 0 172175 27 0 0 20 0 1 0 25137385 1760346112 314753 33554432000 4194304 6201397 140737446911376 140737446909656 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 429772 314753 166 491 0 429271 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1719088

[startup+1782.3 s]
/proc/loadavg: 2.25 2.22 2.16 3/179 17507
/proc/meminfo: memFree=27473880/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1721500 CPUtime=1782.01 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 60255 0 0 0 178174 27 0 0 20 0 1 0 25137385 1762816000 315326 33554432000 4194304 6201397 140737446911376 140737446910088 4216049 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 430375 315326 166 491 0 429874 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1721500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.27 2.22 2.16 4/179 17507
/proc/meminfo: memFree=27471212/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1722724 CPUtime=1800.01 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 60541 0 0 0 179974 27 0 0 20 0 1 0 25137385 1764069376 315612 33554432000 4194304 6201397 140737446911376 140737446909656 4214961 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 430681 315612 166 491 0 430180 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1722724

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

[startup+1800.3 s]
/proc/loadavg: 2.27 2.22 2.16 4/179 17507
/proc/meminfo: memFree=27471212/32872528 swapFree=1505436/1685308
[pid=17401] ppid=17398 vsize=1722724 CPUtime=1800.01 cores=0,2,4,6
/proc/17401/stat : 17401 (cdcl-cuttingpla) R 17398 17401 17324 0 -1 4202496 60541 0 0 0 179974 27 0 0 20 0 1 0 25137385 1764069376 315612 33554432000 4194304 6201397 140737446911376 140737446909656 4214961 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/17401/statm: 430681 315612 166 491 0 430180 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1722724

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1799.74
CPU system time (s): 0.288956
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 1722724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.288956
maximum resident set size= 1262448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60541
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= 19
involuntary context switches= 1857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6303 second user time and 6.81996 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-18 08:21:55
IDJOB=4100032
IDBENCH=1564
IDSOLVER=2550
FILE ID=node135/4100032-1466230914
RUNJOBID= node135-1466230914-17340
PBS_JOBID= 19918183
Free space on /tmp= 71696 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear 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-n3704.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100032-1466230914/watcher-4100032-1466230914 -o /tmp/evaluation-result-4100032-1466230914/solver-4100032-1466230914 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466230914-17340 --watchdog 1960 --input HOME/instance-4100032-1466230914.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 35541d810f352e1e9979b25003c9f904
RANDOM SEED=1128573102

node135.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.004
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.00
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.004
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.004
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.57
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.004
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.004
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.004
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		: 2667.004
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.004
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:        30123212 kB
Buffers:          114768 kB
Cached:           211392 kB
SwapCached:          716 kB
Active:            86992 kB
Inactive:         242264 kB
Active(anon):       4496 kB
Inactive(anon):     1360 kB
Active(file):      82496 kB
Inactive(file):   240904 kB
Unevictable:     1685308 kB
Mlocked:         1505436 kB
SwapTotal:      67108856 kB
SwapFree:       67100444 kB
Dirty:             11736 kB
Writeback:             0 kB
AnonPages:       1687936 kB
Mapped:             6780 kB
Shmem:                 0 kB
Slab:             601096 kB
SReclaimable:      45404 kB
SUnreclaim:       555692 kB
KernelStack:        1384 kB
PageTables:         7304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1780740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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= 71684 MiB
End job on node135 at 2016-06-18 08:51:55