Trace number 4107325

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.3

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randb87834.cudf.paranoid.opb
MD5SUMc9d2aa349018f64c4f149f47f6a63818
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark11434
Best CPU time to get the best result obtained on this benchmark0.363943
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6389
Total number of constraints28635
Number of constraints which are clauses28320
Number of constraints which are cardinality constraints (but not clauses)315
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2375
Biggest coefficient in the objective function 1826
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 1007950
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1826
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 1007950
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= 6389 #constraint= 28635
111.68/111.80	c #Conflicts:       1000 | #Learnt:       1065 | 0.000
111.68/111.80	c total clause space: 78.2603MB
111.68/111.80	c total #watches: 1434726
363.43/363.50	c total #propagations: 1374855 / total #impl: 190046285 (eff. 0.007)
363.43/363.50	c #Conflicts:       2000 | #Learnt:       2093 | 0.000
363.43/363.50	c total clause space: 127.173MB
363.43/363.50	c total #watches: 2759179
752.98/753.15	c total #propagations: 2173943 / total #impl: 558787071 (eff. 0.004)
752.98/753.15	c GC COLLECT
752.98/753.15	c #Conflicts:       3000 | #Learnt:       2265 | 0.000
752.98/753.15	c total clause space: 127.173MB
752.98/753.15	c total #watches: 3052654
1000.14/1000.31	c total #propagations: 3066266 / total #impl: 1100158563 (eff. 0.003)
1000.14/1000.31	c #Conflicts:       4000 | #Learnt:       3283 | 0.001
1000.14/1000.31	c total clause space: 206.656MB
1000.14/1000.31	c total #watches: 4228853
1342.78/1343.02	c total #propagations: 3864129 / total #impl: 1529377340 (eff. 0.003)
1342.78/1343.02	c GC COLLECT
1342.78/1343.02	c #Conflicts:       5000 | #Learnt:       2795 | 0.090
1342.78/1343.02	c total clause space: 206.656MB
1342.78/1343.02	c total #watches: 3701536
1640.54/1640.85	c total #propagations: 4547748 / total #impl: 1814472408 (eff. 0.003)
1640.54/1640.85	c #Conflicts:       6000 | #Learnt:       3839 | 0.075
1640.54/1640.85	c total clause space: 206.656MB
1640.54/1640.85	c total #watches: 5142072

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

pid=6586
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.47 2.04 2.14 3/171 6589
/proc/meminfo: memFree=30142064/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 29671308 29810688 5268 33554432000 4194304 6201397 140735379638832 140736437411656 4211056 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 7278 5268 130 491 0 6777 0

[startup+0.100166 s]
/proc/loadavg: 1.47 2.04 2.14 3/171 6589
/proc/meminfo: memFree=30142064/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=34364 CPUtime=0.09 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 527 0 0 0 9 0 0 0 20 0 1 0 29671308 35188736 7554 33554432000 4194304 6201397 140735379638832 140736437411656 5141493 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 8591 7554 142 491 0 8090 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34364

[startup+0.200351 s]
/proc/loadavg: 1.47 2.04 2.14 3/171 6589
/proc/meminfo: memFree=30142064/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=37616 CPUtime=0.19 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 930 0 0 0 19 0 0 0 20 0 1 0 29671308 38518784 7848 33554432000 4194304 6201397 140735379638832 140736437411656 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 9404 7848 147 491 0 8903 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37616

[startup+0.300233 s]
/proc/loadavg: 1.47 2.04 2.14 3/171 6589
/proc/meminfo: memFree=30142064/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=37616 CPUtime=0.29 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 957 0 0 0 29 0 0 0 20 0 1 0 29671308 38518784 7873 33554432000 4194304 6201397 140735379638832 140736437411656 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 9404 7873 147 491 0 8903 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37616

[startup+0.700248 s]
/proc/loadavg: 1.47 2.04 2.14 3/171 6589
/proc/meminfo: memFree=30142064/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=37740 CPUtime=0.68 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 1011 0 0 0 68 0 0 0 20 0 1 0 29671308 38645760 7924 33554432000 4194304 6201397 140735379638832 140735379637528 4213365 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 9435 7924 147 491 0 8934 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 37740

[startup+1.50025 s]
/proc/loadavg: 1.47 2.04 2.14 3/177 6628
/proc/meminfo: memFree=30078808/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=38000 CPUtime=1.48 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 1094 0 0 0 148 0 0 0 20 0 1 0 29671308 38912000 7998 33554432000 4194304 6201397 140735379638832 140735379637528 4213367 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 9500 7998 147 491 0 8999 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 38000

[startup+3.10032 s]
/proc/loadavg: 1.52 2.04 2.14 3/177 6628
/proc/meminfo: memFree=30075148/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=38112 CPUtime=3.08 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 1211 0 0 0 308 0 0 0 20 0 1 0 29671308 39026688 8102 33554432000 4194304 6201397 140735379638832 140735379637528 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 9528 8102 147 491 0 9027 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 38112

[startup+6.30025 s]
/proc/loadavg: 1.52 2.04 2.14 3/177 6628
/proc/meminfo: memFree=30071404/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=43052 CPUtime=6.28 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 1424 0 0 0 628 0 0 0 20 0 1 0 29671308 44085248 8300 33554432000 4194304 6201397 140735379638832 140735379637720 4213328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 10763 8300 147 491 0 10262 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 43052

[startup+12.7002 s]
/proc/loadavg: 1.66 2.06 2.15 3/177 6628
/proc/meminfo: memFree=30061088/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=44156 CPUtime=12.69 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 1788 0 0 0 1268 1 0 0 20 0 1 0 29671308 45215744 9160 33554432000 4194304 6201397 140735379638832 140735379637672 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 11039 9160 147 491 0 10538 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44156

[startup+25.5003 s]
/proc/loadavg: 1.71 2.06 2.14 3/177 6628
/proc/meminfo: memFree=30044260/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=53556 CPUtime=25.49 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 2547 0 0 0 2548 1 0 0 20 0 1 0 29671308 54841344 11418 33554432000 4194304 6201397 140735379638832 140735379637784 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 13389 11418 147 491 0 12888 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53556

[startup+51.1004 s]
/proc/loadavg: 1.94 2.08 2.15 3/177 6628
/proc/meminfo: memFree=30024888/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=69796 CPUtime=51.08 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 3897 0 0 0 5107 1 0 0 20 0 1 0 29671308 71471104 14777 33554432000 4194304 6201397 140735379638832 140735379637544 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 17449 14777 147 491 0 16948 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69796

[startup+102.3 s]
/proc/loadavg: 2.11 2.10 2.15 3/177 6629
/proc/meminfo: memFree=29969552/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=128696 CPUtime=102.28 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 6568 0 0 0 10226 2 0 0 20 0 1 0 29671308 131784704 22477 33554432000 4194304 6201397 140735379638832 140735379637864 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 32174 22477 147 491 0 31673 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 128696

[startup+162.3 s]
/proc/loadavg: 2.13 2.11 2.15 3/178 6633
/proc/meminfo: memFree=29924256/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=138864 CPUtime=162.26 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 8687 0 0 0 16224 2 0 0 20 0 1 0 29671308 142196736 29706 33554432000 4194304 6201397 140735379638832 140735379637784 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 34716 29706 160 491 0 34215 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 138864

[startup+222.307 s]
/proc/loadavg: 2.25 2.14 2.16 4/178 6656
/proc/meminfo: memFree=29884676/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=189384 CPUtime=222.26 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 9379 0 0 0 22224 2 0 0 20 0 1 0 29671308 193929216 32913 33554432000 4194304 6201397 140735379638832 140735379637864 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 47346 32913 160 491 0 46845 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 189384

[startup+282.3 s]
/proc/loadavg: 2.30 2.18 2.17 3/177 6658
/proc/meminfo: memFree=29827612/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=189720 CPUtime=282.25 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 9523 0 0 0 28222 3 0 0 20 0 1 0 29671308 194273280 36123 33554432000 4194304 6201397 140735379638832 140735379637464 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 47430 36123 160 491 0 46929 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 189720

[startup+342.3 s]
/proc/loadavg: 2.20 2.17 2.17 3/177 6659
/proc/meminfo: memFree=29822260/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=190296 CPUtime=342.24 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 9629 0 0 0 34221 3 0 0 20 0 1 0 29671308 194863104 37260 33554432000 4194304 6201397 140735379638832 140735379637544 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 47574 37260 160 491 0 47073 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 190296

[startup+402.3 s]
/proc/loadavg: 2.28 2.20 2.18 3/177 6660
/proc/meminfo: memFree=29797744/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=196576 CPUtime=402.22 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 12467 0 0 0 40219 3 0 0 20 0 1 0 29671308 201293824 41002 33554432000 4194304 6201397 140735379638832 140735379637960 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 49144 41002 160 491 0 48643 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 196576

[startup+462.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 6661
/proc/meminfo: memFree=29777456/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=196576 CPUtime=462.21 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 12467 0 0 0 46218 3 0 0 20 0 1 0 29671308 201293824 41002 33554432000 4194304 6201397 140735379638832 140735379637960 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 49144 41002 160 491 0 48643 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 196576

[startup+522.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/177 6707
/proc/meminfo: memFree=29916876/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=196576 CPUtime=522.2 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 12467 0 0 0 52217 3 0 0 20 0 1 0 29671308 201293824 41002 33554432000 4194304 6201397 140735379638832 140735379637960 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 49144 41002 160 491 0 48643 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 196576

[startup+582.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/176 6708
/proc/meminfo: memFree=29898456/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=196576 CPUtime=582.19 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 12606 0 0 0 58216 3 0 0 20 0 1 0 29671308 201293824 41138 33554432000 4194304 6201397 140735379638832 140735379637960 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 49144 41138 160 491 0 48643 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 196576


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


[startup+942.3 s]
/proc/loadavg: 2.27 2.22 2.19 3/177 6719
/proc/meminfo: memFree=29766156/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=298584 CPUtime=942.15 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 17350 0 0 0 94209 6 0 0 20 0 1 0 29671308 305750016 57078 33554432000 4194304 6201397 140735379638832 140735379637544 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 74646 57078 166 491 0 74145 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 298584

[startup+1002.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/177 6720
/proc/meminfo: memFree=29745420/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=298744 CPUtime=1002.14 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 17598 0 0 0 100208 6 0 0 20 0 1 0 29671308 305913856 58859 33554432000 4194304 6201397 140735379638832 140735379637960 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 74686 58859 166 491 0 74185 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 298744

[startup+1062.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 6721
/proc/meminfo: memFree=29734336/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=298904 CPUtime=1062.13 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 17681 0 0 0 106207 6 0 0 20 0 1 0 29671308 306077696 59964 33554432000 4194304 6201397 140735379638832 140735379637400 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 74726 59964 166 491 0 74225 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 298904

[startup+1122.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/177 6722
/proc/meminfo: memFree=29717544/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=299704 CPUtime=1122.12 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 17903 0 0 0 112206 6 0 0 20 0 1 0 29671308 306896896 61208 33554432000 4194304 6201397 140735379638832 140735379637496 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 74926 61208 166 491 0 74425 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 299704

[startup+1182.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/177 6723
/proc/meminfo: memFree=29710088/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=299704 CPUtime=1182.11 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 18085 0 0 0 118205 6 0 0 20 0 1 0 29671308 306896896 62923 33554432000 4194304 6201397 140735379638832 140735379637496 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 74926 62923 166 491 0 74425 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 299704

[startup+1242.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/177 6725
/proc/meminfo: memFree=29707180/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=299704 CPUtime=1242.1 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 18649 0 0 0 124204 6 0 0 20 0 1 0 29671308 306896896 63660 33554432000 4194304 6201397 140735379638832 140735379637496 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 74926 63660 166 491 0 74425 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 299704

[startup+1302.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/177 6726
/proc/meminfo: memFree=29706888/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=299704 CPUtime=1302.09 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 18649 0 0 0 130203 6 0 0 20 0 1 0 29671308 306896896 63660 33554432000 4194304 6201397 140735379638832 140735379637496 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 74926 63660 166 491 0 74425 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 299704

[startup+1362.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/178 6730
/proc/meminfo: memFree=29706556/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=299704 CPUtime=1362.08 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 18786 0 0 0 136202 6 0 0 20 0 1 0 29671308 306896896 63795 33554432000 4194304 6201397 140735379638832 140735379637960 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 74926 63795 166 491 0 74425 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 299704

[startup+1422.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/177 6731
/proc/meminfo: memFree=29675928/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=299864 CPUtime=1422.08 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 18818 0 0 0 142202 6 0 0 20 0 1 0 29671308 307060736 63827 33554432000 4194304 6201397 140735379638832 140735379637544 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 74966 63827 166 491 0 74465 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 299864

[startup+1482.3 s]
/proc/loadavg: 2.15 2.19 2.17 3/177 6732
/proc/meminfo: memFree=29652800/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=299864 CPUtime=1482.06 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 18846 0 0 0 148200 6 0 0 20 0 1 0 29671308 307060736 63855 33554432000 4194304 6201397 140735379638832 140735379637544 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 74966 63855 166 491 0 74465 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 299864

[startup+1542.31 s]
/proc/loadavg: 2.15 2.18 2.17 3/177 6734
/proc/meminfo: memFree=29641108/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=300024 CPUtime=1542.06 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 18903 0 0 0 154200 6 0 0 20 0 1 0 29671308 307224576 64250 33554432000 4194304 6201397 140735379638832 140735379637544 4213170 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 75006 64250 166 491 0 74505 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 300024

[startup+1602.3 s]
/proc/loadavg: 2.27 2.20 2.18 3/177 6735
/proc/meminfo: memFree=29615976/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=300024 CPUtime=1602.04 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 19006 0 0 0 160198 6 0 0 20 0 1 0 29671308 307224576 66397 33554432000 4194304 6201397 140735379638832 140735379637544 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 75006 66397 166 491 0 74505 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 300024

[startup+1662.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/177 6736
/proc/meminfo: memFree=29593724/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=312988 CPUtime=1662.04 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 21042 0 0 0 166197 7 0 0 20 0 1 0 29671308 320499712 70477 33554432000 4194304 6201397 140735379638832 140735379637544 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 78247 70477 166 491 0 77746 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 312988

[startup+1722.3 s]
/proc/loadavg: 2.28 2.22 2.19 3/177 6737
/proc/meminfo: memFree=29580760/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=313148 CPUtime=1722.02 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 21180 0 0 0 172195 7 0 0 20 0 1 0 29671308 320663552 73170 33554432000 4194304 6201397 140735379638832 140735379637400 4213244 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 78287 73170 166 491 0 77786 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 313148

[startup+1782.3 s]
/proc/loadavg: 2.38 2.26 2.20 3/177 6738
/proc/meminfo: memFree=29574968/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=313308 CPUtime=1782.01 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 21273 0 0 0 178194 7 0 0 20 0 1 0 29671308 320827392 74285 33554432000 4194304 6201397 140735379638832 140735379637544 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 78327 74285 166 491 0 77826 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 313308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.44 2.28 2.20 3/176 6739
/proc/meminfo: memFree=29573684/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=313308 CPUtime=1800.01 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 21283 0 0 0 179994 7 0 0 20 0 1 0 29671308 320827392 74806 33554432000 4194304 6201397 140735379638832 140735379637544 4213244 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 78327 74806 166 491 0 77826 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 313308

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

[startup+1800.3 s]
/proc/loadavg: 2.44 2.28 2.20 3/176 6739
/proc/meminfo: memFree=29573684/32872528 swapFree=1400172/1569824
[pid=6589] ppid=6586 vsize=313308 CPUtime=1800.01 cores=0,2,4,6
/proc/6589/stat : 6589 (cdcl-cuttingpla) R 6586 6589 6489 0 -1 4202496 21283 0 0 0 179994 7 0 0 20 0 1 0 29671308 320827392 74806 33554432000 4194304 6201397 140735379638832 140735379637544 4213244 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/6589/statm: 78327 74806 166 491 0 77826 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 313308

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.95
CPU system time (s): 0.080987
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 313308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.080987
maximum resident set size= 299224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21283
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.895 second user time and 9.96248 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-18 20:57:41
IDJOB=4107325
IDBENCH=72127
IDSOLVER=2550
FILE ID=node140/4107325-1466276261
RUNJOBID= node140-1466276260-6505
PBS_JOBID= 19918255
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= c9d2aa349018f64c4f149f47f6a63818
RANDOM SEED=1270167970

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.714
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.42
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.714
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.714
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.714
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.714
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.714
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.714
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
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:        30142848 kB
Buffers:          140672 kB
Cached:           269764 kB
SwapCached:         2736 kB
Active:           103724 kB
Inactive:         311272 kB
Active(anon):       3928 kB
Inactive(anon):     2860 kB
Active(file):      99796 kB
Inactive(file):   308412 kB
Unevictable:     1569824 kB
Mlocked:         1400172 kB
SwapTotal:      67108856 kB
SwapFree:       67097144 kB
Dirty:              6396 kB
Writeback:             4 kB
AnonPages:       1600796 kB
Mapped:             8288 kB
Shmem:                 0 kB
Slab:             610000 kB
SReclaimable:      53524 kB
SUnreclaim:       556476 kB
KernelStack:        1432 kB
PageTables:         7560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1666784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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= 71724 MiB
End job on node140 at 2016-06-18 21:27:41