Trace number 4102000

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

Namenormalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb
MD5SUM8fd497081fcc2923cbeefd2c48cb5010
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark809
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 826
Optimality of the best value was proved NO
Number of variables3300
Total number of constraints1985
Number of constraints which are clauses1364
Number of constraints which are cardinality constraints (but not clauses)621
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint220
Number of terms in the objective function 2792
Biggest coefficient in the objective function 379
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 526163
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 379
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 526163
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= 3300 #constraint= 1985
39.98/40.04	c #Conflicts:       1000 | #Learnt:       1026 | 0.792
39.98/40.04	c total clause space: 78.2603MB
39.98/40.04	c total #watches: 1602324
154.77/154.81	c total #propagations: 65858 / total #impl: 192719086 (eff. 0.000)
154.77/154.81	c #Conflicts:       2000 | #Learnt:       2039 | 0.534
154.77/154.81	c total clause space: 206.656MB
154.77/154.81	c total #watches: 3903477
272.76/272.87	c total #propagations: 114540 / total #impl: 515585756 (eff. 0.000)
272.76/272.87	c GC COLLECT
272.76/272.87	c #Conflicts:       3000 | #Learnt:       2033 | 0.494
272.76/272.87	c total clause space: 206.656MB
272.76/272.87	c total #watches: 4645263
433.43/433.55	c total #propagations: 146219 / total #impl: 1167307782 (eff. 0.000)
433.43/433.55	c #Conflicts:       4000 | #Learnt:       3040 | 0.419
433.43/433.55	c total clause space: 335.816MB
433.43/433.55	c total #watches: 6554800
639.28/639.42	c total #propagations: 203984 / total #impl: 2138034663 (eff. 0.000)
639.28/639.42	c GC COLLECT
639.28/639.42	c #Conflicts:       5000 | #Learnt:       2402 | 0.468
639.28/639.42	c total clause space: 335.816MB
639.28/639.42	c total #watches: 5117288
883.65/883.83	c total #propagations: 245626 / total #impl: 2651732057 (eff. 0.000)
883.65/883.83	c #Conflicts:       6000 | #Learnt:       3414 | 0.451
883.65/883.83	c total clause space: 335.816MB
883.65/883.83	c total #watches: 7490095
1127.62/1127.88	c total #propagations: 290013 / total #impl: 3372498446 (eff. 0.000)
1127.62/1127.88	c #Conflicts:       7000 | #Learnt:       4424 | 0.466
1127.62/1127.88	c total clause space: 335.816MB
1127.62/1127.88	c total #watches: 9461910
1355.28/1355.52	c total #propagations: 357464 / total #impl: 4519382501 (eff. 0.000)
1355.28/1355.52	c GC COLLECT
1355.28/1355.52	c #Conflicts:       8000 | #Learnt:       3304 | 0.511
1355.28/1355.52	c total clause space: 335.816MB
1355.28/1355.52	c total #watches: 7478509
1685.43/1685.77	c total #propagations: 392362 / total #impl: 4897661257 (eff. 0.000)
1685.43/1685.77	c #Conflicts:       9000 | #Learnt:       4319 | 0.565
1685.43/1685.77	c total clause space: 335.816MB
1685.43/1685.77	c total #watches: 9875642

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

pid=5554
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.25 2.27 2.20 3/176 5557
/proc/meminfo: memFree=29380004/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 27835497 29810688 5268 33554432000 4194304 6201397 140734194391232 140735070562056 4211056 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 7278 5268 130 491 0 6777 0

[startup+0.100167 s]
/proc/loadavg: 2.25 2.27 2.20 3/176 5557
/proc/meminfo: memFree=29380004/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=37788 CPUtime=0.09 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 1575 0 0 0 9 0 0 0 20 0 1 0 27835497 38694912 7824 33554432000 4194304 6201397 140734194391232 140735070562056 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 9447 7824 147 491 0 8946 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37788

[startup+0.200343 s]
/proc/loadavg: 2.25 2.27 2.20 3/176 5557
/proc/meminfo: memFree=29380004/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=37788 CPUtime=0.19 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 1575 0 0 0 19 0 0 0 20 0 1 0 27835497 38694912 7824 33554432000 4194304 6201397 140734194391232 140735070562056 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 9447 7824 147 491 0 8946 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37788

[startup+0.300251 s]
/proc/loadavg: 2.25 2.27 2.20 3/176 5557
/proc/meminfo: memFree=29380004/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=42316 CPUtime=0.29 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 1610 0 0 0 29 0 0 0 20 0 1 0 27835497 43331584 7856 33554432000 4194304 6201397 140734194391232 140735070562056 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 10579 7856 147 491 0 10078 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42316

[startup+0.700205 s]
/proc/loadavg: 2.25 2.27 2.20 3/176 5557
/proc/meminfo: memFree=29380004/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=50196 CPUtime=0.69 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 2037 0 0 0 69 0 0 0 20 0 1 0 27835497 51400704 10276 33554432000 4194304 6201397 140734194391232 140735070562056 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 12549 10276 147 491 0 12048 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50196

[startup+1.50023 s]
/proc/loadavg: 2.31 2.28 2.21 3/177 5558
/proc/meminfo: memFree=29338980/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=51456 CPUtime=1.49 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 2363 0 0 0 149 0 0 0 20 0 1 0 27835497 52690944 10599 33554432000 4194304 6201397 140734194391232 140734194389944 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 12864 10599 147 491 0 12363 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51456

[startup+3.10027 s]
/proc/loadavg: 2.31 2.28 2.21 3/177 5558
/proc/meminfo: memFree=29336636/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=63444 CPUtime=3.09 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 2622 0 0 0 309 0 0 0 20 0 1 0 27835497 64966656 11348 33554432000 4194304 6201397 140734194391232 140734194390184 4213365 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 15861 11348 147 491 0 15360 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63444

[startup+6.3002 s]
/proc/loadavg: 2.31 2.28 2.21 3/177 5558
/proc/meminfo: memFree=29328268/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=66228 CPUtime=6.28 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 3303 0 0 0 628 0 0 0 20 0 1 0 27835497 67817472 13562 33554432000 4194304 6201397 140734194391232 140734194389864 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 16557 13562 147 491 0 16056 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 66228

[startup+12.7002 s]
/proc/loadavg: 2.34 2.29 2.21 4/177 5558
/proc/meminfo: memFree=29316696/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=89696 CPUtime=12.68 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 4606 0 0 0 1268 0 0 0 20 0 1 0 27835497 91848704 15863 33554432000 4194304 6201397 140734194391232 140734194389800 4213244 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 22424 15863 147 491 0 21923 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 89696

[startup+25.5003 s]
/proc/loadavg: 2.29 2.28 2.21 3/177 5558
/proc/meminfo: memFree=29302812/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=91448 CPUtime=25.49 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 5117 0 0 0 2548 1 0 0 20 0 1 0 27835497 93642752 19939 33554432000 4194304 6201397 140734194391232 140734194390184 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 22862 19939 147 491 0 22361 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 91448

[startup+51.1004 s]
/proc/loadavg: 2.41 2.30 2.22 3/177 5558
/proc/meminfo: memFree=29259324/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=134348 CPUtime=51.08 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 8253 0 0 0 5106 2 0 0 20 0 1 0 27835497 137572352 30214 33554432000 4194304 6201397 140734194391232 140734194389896 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 33587 30214 160 491 0 33086 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 134348

[startup+102.3 s]
/proc/loadavg: 2.35 2.29 2.22 4/177 5559
/proc/meminfo: memFree=29202168/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=207332 CPUtime=102.28 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 13368 0 0 0 10224 4 0 0 20 0 1 0 27835497 212307968 44503 33554432000 4194304 6201397 140734194391232 140734194389944 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 51833 44503 160 491 0 51332 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 207332

[startup+162.3 s]
/proc/loadavg: 2.26 2.27 2.21 3/177 5560
/proc/meminfo: memFree=29154204/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=289392 CPUtime=162.26 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 18004 0 0 0 16222 4 0 0 20 0 1 0 27835497 296337408 55692 33554432000 4194304 6201397 140734194391232 140734194390184 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 72348 55692 160 491 0 71847 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 289392

[startup+222.307 s]
/proc/loadavg: 2.21 2.26 2.21 3/177 5561
/proc/meminfo: memFree=29151480/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=289760 CPUtime=222.26 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 18099 0 0 0 22222 4 0 0 20 0 1 0 27835497 296714240 55787 33554432000 4194304 6201397 140734194391232 140734194389864 4213249 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 72440 55787 160 491 0 71939 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 289760

[startup+282.3 s]
/proc/loadavg: 2.29 2.27 2.21 4/177 5563
/proc/meminfo: memFree=29057344/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=310572 CPUtime=282.24 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 21805 0 0 0 28219 5 0 0 20 0 1 0 27835497 318025728 64603 33554432000 4194304 6201397 140734194391232 140734194389896 4213249 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 77643 64603 166 491 0 77142 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 310572

[startup+342.3 s]
/proc/loadavg: 2.30 2.28 2.22 3/177 5610
/proc/meminfo: memFree=30168224/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=333268 CPUtime=342.24 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 26140 0 0 0 34218 6 0 0 20 0 1 0 27835497 341266432 77114 33554432000 4194304 6201397 140734194391232 140734194389944 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 83317 77114 166 491 0 82816 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 333268

[startup+402.3 s]
/proc/loadavg: 2.16 2.24 2.20 3/177 5611
/proc/meminfo: memFree=30124848/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=465848 CPUtime=402.23 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 26908 0 0 0 40216 7 0 0 20 0 1 0 27835497 477028352 82507 33554432000 4194304 6201397 140734194391232 140734194390264 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 116462 82507 166 491 0 115961 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 465848

[startup+462.3 s]
/proc/loadavg: 2.09 2.21 2.19 4/177 5612
/proc/meminfo: memFree=30083980/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=466300 CPUtime=462.21 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 27061 0 0 0 46214 7 0 0 20 0 1 0 27835497 477491200 88908 33554432000 4194304 6201397 140734194391232 140734194389944 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 116575 88908 166 491 0 116074 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 466300

[startup+522.3 s]
/proc/loadavg: 2.19 2.21 2.19 3/178 5616
/proc/meminfo: memFree=30061200/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=466460 CPUtime=522.2 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 27167 0 0 0 52213 7 0 0 20 0 1 0 27835497 477655040 92590 33554432000 4194304 6201397 140734194391232 140734194389944 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 116615 92590 166 491 0 116114 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 466460

[startup+582.3 s]
/proc/loadavg: 2.12 2.19 2.18 3/178 5641
/proc/meminfo: memFree=30041316/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=466460 CPUtime=582.19 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 27670 0 0 0 58212 7 0 0 20 0 1 0 27835497 477655040 93793 33554432000 4194304 6201397 140734194391232 140734194389944 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 116615 93793 166 491 0 116114 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 466460


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


[startup+942.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/177 5648
/proc/meminfo: memFree=29972416/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=466940 CPUtime=942.15 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 27939 0 0 0 94207 8 0 0 20 0 1 0 27835497 478146560 98660 33554432000 4194304 6201397 140734194391232 140734194389944 4241159 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 116735 98660 166 491 0 116234 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 466940

[startup+1002.3 s]
/proc/loadavg: 2.10 2.17 2.17 3/177 5649
/proc/meminfo: memFree=29947892/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=466940 CPUtime=1002.13 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 27961 0 0 0 100205 8 0 0 20 0 1 0 27835497 478146560 102770 33554432000 4194304 6201397 140734194391232 140734194389944 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 116735 102770 166 491 0 116234 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 466940

[startup+1062.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/177 5650
/proc/meminfo: memFree=29927084/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=466940 CPUtime=1062.12 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 28111 0 0 0 106204 8 0 0 20 0 1 0 27835497 478146560 108541 33554432000 4194304 6201397 140734194391232 140734194389944 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 116735 108541 166 491 0 116234 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 466940

[startup+1122.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/178 5654
/proc/meminfo: memFree=29884908/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=497280 CPUtime=1122.12 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 32448 0 0 0 112203 9 0 0 20 0 1 0 27835497 509214720 115944 33554432000 4194304 6201397 140734194391232 140734194389896 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 124320 115944 166 491 0 123819 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 497280

[startup+1182.3 s]
/proc/loadavg: 2.11 2.17 2.17 3/177 5655
/proc/meminfo: memFree=29874516/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=498756 CPUtime=1182.11 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 32879 0 0 0 118202 9 0 0 20 0 1 0 27835497 510726144 117386 33554432000 4194304 6201397 140734194391232 140734194389944 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 124689 117386 166 491 0 124188 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 498756

[startup+1242.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/177 5657
/proc/meminfo: memFree=29867996/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=498756 CPUtime=1242.1 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 32973 0 0 0 124201 9 0 0 20 0 1 0 27835497 510726144 117480 33554432000 4194304 6201397 140734194391232 140734194389944 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 124689 117480 166 491 0 124188 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 498756

[startup+1302.3 s]
/proc/loadavg: 2.16 2.17 2.18 3/177 5658
/proc/meminfo: memFree=29865320/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=498756 CPUtime=1302.09 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 32973 0 0 0 130200 9 0 0 20 0 1 0 27835497 510726144 117480 33554432000 4194304 6201397 140734194391232 140734194389944 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 124689 117480 166 491 0 124188 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 498756

[startup+1362.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/177 5659
/proc/meminfo: memFree=29847248/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=498756 CPUtime=1362.08 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 32973 0 0 0 136199 9 0 0 20 0 1 0 27835497 510726144 117480 33554432000 4194304 6201397 140734194391232 140734194390360 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 124689 117480 166 491 0 124188 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 498756

[startup+1422.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/177 5660
/proc/meminfo: memFree=29846876/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=498756 CPUtime=1422.08 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 32975 0 0 0 142199 9 0 0 20 0 1 0 27835497 510726144 117482 33554432000 4194304 6201397 140734194391232 140734194390360 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 124689 117482 166 491 0 124188 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 498756

[startup+1482.3 s]
/proc/loadavg: 2.18 2.19 2.18 4/177 5661
/proc/meminfo: memFree=29846376/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=498756 CPUtime=1482.06 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 32992 0 0 0 148197 9 0 0 20 0 1 0 27835497 510726144 117499 33554432000 4194304 6201397 140734194391232 140734194390360 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 124689 117499 166 491 0 124188 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 498756

[startup+1542.31 s]
/proc/loadavg: 2.27 2.22 2.18 3/177 5663
/proc/meminfo: memFree=29844076/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=498756 CPUtime=1542.06 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 33001 0 0 0 154197 9 0 0 20 0 1 0 27835497 510726144 117508 33554432000 4194304 6201397 140734194391232 140734194390360 4213170 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 124689 117508 166 491 0 124188 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 498756

[startup+1602.3 s]
/proc/loadavg: 2.33 2.25 2.19 3/177 5664
/proc/meminfo: memFree=29843444/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=498756 CPUtime=1602.04 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 33011 0 0 0 160195 9 0 0 20 0 1 0 27835497 510726144 117518 33554432000 4194304 6201397 140734194391232 140734194390360 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 124689 117518 166 491 0 124188 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 498756

[startup+1662.3 s]
/proc/loadavg: 2.32 2.25 2.19 3/177 5665
/proc/meminfo: memFree=29821656/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=501828 CPUtime=1662.03 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 33448 0 0 0 166194 9 0 0 20 0 1 0 27835497 513871872 122730 33554432000 4194304 6201397 140734194391232 140734194389896 4213249 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 125457 122730 166 491 0 124956 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 501828

[startup+1722.3 s]
/proc/loadavg: 2.40 2.28 2.20 3/178 5669
/proc/meminfo: memFree=29771300/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=755864 CPUtime=1722.02 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 39173 0 0 0 172192 10 0 0 20 0 1 0 27835497 774004736 132008 33554432000 4194304 6201397 140734194391232 140734194389896 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 188966 132008 166 491 0 188465 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 755864

[startup+1782.3 s]
/proc/loadavg: 2.25 2.25 2.20 3/177 5670
/proc/meminfo: memFree=29745196/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=760664 CPUtime=1782.01 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 40023 0 0 0 178191 10 0 0 20 0 1 0 27835497 778919936 135924 33554432000 4194304 6201397 140734194391232 140734194389944 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 190166 135924 166 491 0 189665 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 760664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.19 2.24 2.19 3/177 5671
/proc/meminfo: memFree=29744948/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=761048 CPUtime=1800.01 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 40209 0 0 0 179991 10 0 0 20 0 1 0 27835497 779313152 137132 33554432000 4194304 6201397 140734194391232 140734194389944 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 190262 137132 166 491 0 189761 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 761048

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

[startup+1800.3 s]
/proc/loadavg: 2.19 2.24 2.19 3/177 5671
/proc/meminfo: memFree=29744948/32872528 swapFree=1200228/1314692
[pid=5557] ppid=5554 vsize=761048 CPUtime=1800.01 cores=0,2,4,6
/proc/5557/stat : 5557 (cdcl-cuttingpla) R 5554 5557 3918 0 -1 4202496 40209 0 0 0 179991 10 0 0 20 0 1 0 27835497 779313152 137132 33554432000 4194304 6201397 140734194391232 140734194389944 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/5557/statm: 190262 137132 166 491 0 189761 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 761048

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.91
CPU system time (s): 0.111982
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 761048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.111982
maximum resident set size= 548528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40209
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= 11
involuntary context switches= 1964

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64329 second user time and 6.81596 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 15:51:30
IDJOB=4102000
IDBENCH=1843
IDSOLVER=2550
FILE ID=node131/4102000-1466257890
RUNJOBID= node131-1466241681-3934
PBS_JOBID= 19918210
Free space on /tmp= 71704 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4102000-1466257890/watcher-4102000-1466257890 -o /tmp/evaluation-result-4102000-1466257890/solver-4102000-1466257890 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466241681-3934 --watchdog 1960 --input HOME/instance-4102000-1466257890.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 8fd497081fcc2923cbeefd2c48cb5010
RANDOM SEED=1981451730

node131.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.752
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.50
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.752
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.752
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		: 2666.752
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.752
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.752
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.56
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.752
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.57
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.752
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:        29380540 kB
Buffers:          138308 kB
Cached:           149252 kB
SwapCached:         1460 kB
Active:          1236420 kB
Inactive:         203640 kB
Active(anon):    1151832 kB
Inactive(anon):     2920 kB
Active(file):      84588 kB
Inactive(file):   200720 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:              2412 kB
Writeback:             0 kB
AnonPages:       2466100 kB
Mapped:             7872 kB
Shmem:                 0 kB
Slab:             602648 kB
SReclaimable:      46620 kB
SUnreclaim:       556028 kB
KernelStack:        1448 kB
PageTables:         8548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2973140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1239040 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= 71700 MiB
End job on node131 at 2016-06-18 16:21:30