Trace number 4107237

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.newlist/normalized-rand085d8a.cudf.paranoid.opb
MD5SUM48a8fba9d7ba336cfae10ff26f122513
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10580
Best CPU time to get the best result obtained on this benchmark0.221966
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5387
Total number of constraints24035
Number of constraints which are clauses23775
Number of constraints which are cardinality constraints (but not clauses)260
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 2020
Biggest coefficient in the objective function 1471
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 811990
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1471
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 811990
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= 5387 #constraint= 24035
100.18/100.22	c #Conflicts:       1000 | #Learnt:       1133 | 0.000
100.18/100.22	c total clause space: 48.1602MB
100.18/100.22	c total #watches: 1231468
200.86/200.91	c total #propagations: 1574174 / total #impl: 228724246 (eff. 0.007)
200.86/200.91	c #Conflicts:       2000 | #Learnt:       2164 | 0.000
200.86/200.91	c total clause space: 127.173MB
200.86/200.91	c total #watches: 2265304
306.24/306.33	c total #propagations: 2413659 / total #impl: 407289246 (eff. 0.006)
306.24/306.33	c GC COLLECT
306.24/306.33	c #Conflicts:       3000 | #Learnt:       2345 | 0.000
306.24/306.33	c total clause space: 127.173MB
306.24/306.33	c total #watches: 2586375
626.19/626.30	c total #propagations: 3172494 / total #impl: 634916900 (eff. 0.005)
626.19/626.30	c #Conflicts:       4000 | #Learnt:       3476 | 0.000
626.19/626.30	c total clause space: 206.656MB
626.19/626.30	c total #watches: 3735748
795.37/795.53	c total #propagations: 4304129 / total #impl: 660419410 (eff. 0.007)
795.37/795.53	c GC COLLECT
795.37/795.53	c #Conflicts:       5000 | #Learnt:       2913 | 0.000
795.37/795.53	c total clause space: 206.656MB
795.37/795.53	c total #watches: 3312012
987.54/987.78	c total #propagations: 5313786 / total #impl: 871455269 (eff. 0.006)
987.54/987.78	c #Conflicts:       6000 | #Learnt:       3971 | 0.000
987.54/987.78	c total clause space: 206.656MB
987.54/987.78	c total #watches: 4377027
1215.51/1215.76	c total #propagations: 6273920 / total #impl: 958160530 (eff. 0.007)
1215.51/1215.76	c GC COLLECT
1215.51/1215.76	c #Conflicts:       7000 | #Learnt:       3036 | 0.000
1215.51/1215.76	c total clause space: 206.656MB
1215.51/1215.76	c total #watches: 3532815
1446.07/1446.31	c total #propagations: 7112761 / total #impl: 994514445 (eff. 0.007)
1446.07/1446.31	c #Conflicts:       8000 | #Learnt:       4120 | 0.000
1446.07/1446.31	c total clause space: 206.656MB
1446.07/1446.31	c total #watches: 4872514
1746.12/1746.40	c total #propagations: 7938090 / total #impl: 1075064327 (eff. 0.007)
1746.12/1746.40	c #Conflicts:       9000 | #Learnt:       5209 | 0.000
1746.12/1746.40	c total clause space: 335.816MB
1746.12/1746.40	c total #watches: 6236434

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

pid=7936
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.25 2.21 2.18 4/176 7939
/proc/meminfo: memFree=30418244/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 29309297 29810688 5268 33554432000 4194304 6201397 140736405555776 140736405555080 5194148 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 7278 5268 130 491 0 6777 0

[startup+0.100127 s]
/proc/loadavg: 2.25 2.21 2.18 4/176 7939
/proc/meminfo: memFree=30418244/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=34356 CPUtime=0.09 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 1361 0 0 0 9 0 0 0 20 0 1 0 29309297 35180544 7509 33554432000 4194304 6201397 140736405555776 140736405555080 5408672 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 8589 7509 142 491 0 8088 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34356

[startup+0.200362 s]
/proc/loadavg: 2.25 2.21 2.18 4/176 7939
/proc/meminfo: memFree=30418244/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=34760 CPUtime=0.19 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 1486 0 0 0 19 0 0 0 20 0 1 0 29309297 35594240 7628 33554432000 4194304 6201397 140736405555776 140736405555080 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 8690 7628 146 491 0 8189 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34760

[startup+0.300246 s]
/proc/loadavg: 2.25 2.21 2.18 4/176 7939
/proc/meminfo: memFree=30418244/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=37608 CPUtime=0.29 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 1542 0 0 0 29 0 0 0 20 0 1 0 29309297 38510592 7680 33554432000 4194304 6201397 140736405555776 140736405555080 4213365 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 9402 7680 147 491 0 8901 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37608

[startup+0.700231 s]
/proc/loadavg: 2.25 2.21 2.18 4/176 7939
/proc/meminfo: memFree=30418244/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=37608 CPUtime=0.69 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 1564 0 0 0 69 0 0 0 20 0 1 0 29309297 38510592 7698 33554432000 4194304 6201397 140736405555776 140736405555080 4213328 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 9402 7698 147 491 0 8901 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37608

[startup+1.50023 s]
/proc/loadavg: 2.23 2.21 2.18 4/177 7940
/proc/meminfo: memFree=30387372/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=37740 CPUtime=1.49 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 1674 0 0 0 149 0 0 0 20 0 1 0 29309297 38645760 7799 33554432000 4194304 6201397 140736405555776 140736405554472 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 9435 7799 147 491 0 8934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37740

[startup+3.10021 s]
/proc/loadavg: 2.23 2.21 2.18 4/177 7940
/proc/meminfo: memFree=30386504/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=38244 CPUtime=3.09 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 1859 0 0 0 309 0 0 0 20 0 1 0 29309297 39161856 7970 33554432000 4194304 6201397 140736405555776 140736405554344 4213367 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 9561 7970 147 491 0 9060 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38244

[startup+6.30023 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 7940
/proc/meminfo: memFree=30382968/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=38244 CPUtime=6.29 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 1921 0 0 0 629 0 0 0 20 0 1 0 29309297 39161856 8023 33554432000 4194304 6201397 140736405555776 140736405554728 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 9561 8023 147 491 0 9060 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38244

[startup+12.7002 s]
/proc/loadavg: 2.20 2.20 2.18 3/177 7940
/proc/meminfo: memFree=30377944/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=51908 CPUtime=12.68 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 2798 0 0 0 1268 0 0 0 20 0 1 0 29309297 53153792 9849 33554432000 4194304 6201397 140736405555776 140736405554472 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 12977 9849 147 491 0 12476 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 51908

[startup+25.5003 s]
/proc/loadavg: 2.25 2.21 2.18 3/177 7940
/proc/meminfo: memFree=30359520/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=66576 CPUtime=25.49 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 3774 0 0 0 2548 1 0 0 20 0 1 0 29309297 68173824 12315 33554432000 4194304 6201397 140736405555776 140736405554808 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 16644 12315 147 491 0 16143 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66576

[startup+51.1004 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 7940
/proc/meminfo: memFree=30326304/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=68512 CPUtime=51.09 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 4239 0 0 0 5108 1 0 0 20 0 1 0 29309297 70156288 14313 33554432000 4194304 6201397 140736405555776 140736405554344 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 17128 14313 147 491 0 16627 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 68512

[startup+102.3 s]
/proc/loadavg: 2.13 2.18 2.17 3/177 7941
/proc/meminfo: memFree=30289036/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=95040 CPUtime=102.28 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 6368 0 0 0 10227 1 0 0 20 0 1 0 29309297 97320960 21002 33554432000 4194304 6201397 140736405555776 140736405554904 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 23760 21002 160 491 0 23259 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 95040

[startup+162.3 s]
/proc/loadavg: 2.23 2.19 2.18 3/177 7942
/proc/meminfo: memFree=30223820/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=134020 CPUtime=162.26 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 8546 0 0 0 16225 1 0 0 20 0 1 0 29309297 137236480 31382 33554432000 4194304 6201397 140736405555776 140736405554488 4213168 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 33505 31382 160 491 0 33004 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 134020

[startup+222.308 s]
/proc/loadavg: 2.22 2.19 2.18 3/178 7947
/proc/meminfo: memFree=30205764/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=185100 CPUtime=222.26 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 9299 0 0 0 22224 2 0 0 20 0 1 0 29309297 189542400 34343 33554432000 4194304 6201397 140736405555776 140736405554440 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 46275 34343 166 491 0 45774 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 185100

[startup+282.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/178 7971
/proc/meminfo: memFree=30148204/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=206584 CPUtime=282.24 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 13069 0 0 0 28222 2 0 0 20 0 1 0 29309297 211542016 39645 33554432000 4194304 6201397 140736405555776 140736405554488 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 51646 39645 166 491 0 51145 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 206584

[startup+342.3 s]
/proc/loadavg: 2.30 2.22 2.19 3/177 7972
/proc/meminfo: memFree=30128724/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=206904 CPUtime=342.24 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 13321 0 0 0 34221 3 0 0 20 0 1 0 29309297 211869696 41941 33554432000 4194304 6201397 140736405555776 140736405554904 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 51726 41941 166 491 0 51225 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 206904

[startup+402.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 7973
/proc/meminfo: memFree=30104892/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=207224 CPUtime=402.23 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 13641 0 0 0 40220 3 0 0 20 0 1 0 29309297 212197376 43794 33554432000 4194304 6201397 140736405555776 140736405554488 4213206 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 51806 43794 166 491 0 51305 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 207224

[startup+462.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 7974
/proc/meminfo: memFree=30090984/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=207384 CPUtime=462.22 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 13864 0 0 0 46219 3 0 0 20 0 1 0 29309297 212361216 45550 33554432000 4194304 6201397 140736405555776 140736405554488 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 51846 45550 166 491 0 51345 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 207384

[startup+522.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 7976
/proc/meminfo: memFree=30063056/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=207544 CPUtime=522.2 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 14144 0 0 0 52217 3 0 0 20 0 1 0 29309297 212525056 48385 33554432000 4194304 6201397 140736405555776 140736405554488 4213178 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 51886 48385 166 491 0 51385 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 207544

[startup+582.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/177 7977
/proc/meminfo: memFree=30044620/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=289092 CPUtime=582.2 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 14649 0 0 0 58216 4 0 0 20 0 1 0 29309297 296030208 50364 33554432000 4194304 6201397 140736405555776 140736405554808 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 72273 50364 166 491 0 71772 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 289092


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


[startup+942.3 s]
/proc/loadavg: 2.17 2.24 2.19 3/177 7988
/proc/meminfo: memFree=29952228/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=290664 CPUtime=942.15 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 16023 0 0 0 94210 5 0 0 20 0 1 0 29309297 297639936 56018 33554432000 4194304 6201397 140736405555776 140736405554488 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 72666 56018 166 491 0 72165 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 290664

[startup+1002.3 s]
/proc/loadavg: 2.19 2.24 2.19 3/177 7989
/proc/meminfo: memFree=29940248/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=291624 CPUtime=1002.13 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 16403 0 0 0 100208 5 0 0 20 0 1 0 29309297 298622976 58953 33554432000 4194304 6201397 140736405555776 140736405554344 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 72906 58953 166 491 0 72405 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 291624

[startup+1062.3 s]
/proc/loadavg: 2.30 2.27 2.20 3/177 7990
/proc/meminfo: memFree=29901344/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=303436 CPUtime=1062.13 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 18376 0 0 0 106207 6 0 0 20 0 1 0 29309297 310718464 64503 33554432000 4194304 6201397 140736405555776 140736405554488 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 75859 64503 166 491 0 75358 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 303436

[startup+1122.3 s]
/proc/loadavg: 2.30 2.27 2.20 3/177 7992
/proc/meminfo: memFree=29893272/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=303916 CPUtime=1122.12 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 18567 0 0 0 112206 6 0 0 20 0 1 0 29309297 311209984 66227 33554432000 4194304 6201397 140736405555776 140736405554440 4213110 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 75979 66227 166 491 0 75478 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 303916

[startup+1182.3 s]
/proc/loadavg: 2.27 2.28 2.21 3/177 7993
/proc/meminfo: memFree=29862132/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=331988 CPUtime=1182.11 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 22838 0 0 0 118204 7 0 0 20 0 1 0 29309297 339955712 73053 33554432000 4194304 6201397 140736405555776 140736405554488 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 82997 73053 166 491 0 82496 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 331988

[startup+1242.3 s]
/proc/loadavg: 2.29 2.27 2.21 3/177 7994
/proc/meminfo: memFree=29841716/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=332564 CPUtime=1242.1 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 23113 0 0 0 124202 8 0 0 20 0 1 0 29309297 340545536 74334 33554432000 4194304 6201397 140736405555776 140736405554904 4213168 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 83141 74334 166 491 0 82640 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 332564

[startup+1302.3 s]
/proc/loadavg: 2.26 2.27 2.21 3/177 7995
/proc/meminfo: memFree=29830664/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=332564 CPUtime=1302.1 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 23137 0 0 0 130202 8 0 0 20 0 1 0 29309297 340545536 74358 33554432000 4194304 6201397 140736405555776 140736405554904 4213168 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 83141 74358 166 491 0 82640 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 332564

[startup+1362.3 s]
/proc/loadavg: 2.31 2.29 2.22 3/177 7996
/proc/meminfo: memFree=29805352/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=332564 CPUtime=1362.09 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 23137 0 0 0 136201 8 0 0 20 0 1 0 29309297 340545536 78121 33554432000 4194304 6201397 140736405555776 140736405554904 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 83141 78121 166 491 0 82640 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 332564

[startup+1422.3 s]
/proc/loadavg: 2.22 2.26 2.21 3/178 8001
/proc/meminfo: memFree=29805960/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=332564 CPUtime=1422.08 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 23137 0 0 0 142200 8 0 0 20 0 1 0 29309297 340545536 78121 33554432000 4194304 6201397 140736405555776 140736405554904 4213178 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 83141 78121 166 491 0 82640 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 332564

[startup+1482.3 s]
/proc/loadavg: 2.20 2.24 2.20 4/177 8002
/proc/meminfo: memFree=29806104/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=332564 CPUtime=1482.07 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 23137 0 0 0 148199 8 0 0 20 0 1 0 29309297 340545536 78121 33554432000 4194304 6201397 140736405555776 140736405554904 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 83141 78121 166 491 0 82640 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 332564

[startup+1542.31 s]
/proc/loadavg: 2.27 2.27 2.21 3/177 8003
/proc/meminfo: memFree=29805720/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=332564 CPUtime=1542.06 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 23137 0 0 0 154198 8 0 0 20 0 1 0 29309297 340545536 78121 33554432000 4194304 6201397 140736405555776 140736405554904 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 83141 78121 166 491 0 82640 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 332564

[startup+1602.3 s]
/proc/loadavg: 2.45 2.32 2.23 3/177 8004
/proc/meminfo: memFree=29805592/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=332564 CPUtime=1602.05 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 23137 0 0 0 160197 8 0 0 20 0 1 0 29309297 340545536 78121 33554432000 4194304 6201397 140736405555776 140736405554904 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 83141 78121 166 491 0 82640 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 332564

[startup+1662.3 s]
/proc/loadavg: 2.35 2.32 2.23 3/177 8051
/proc/meminfo: memFree=30149292/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=333332 CPUtime=1662.04 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 23247 0 0 0 166196 8 0 0 20 0 1 0 29309297 341331968 79253 33554432000 4194304 6201397 140736405555776 140736405554440 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 83333 79253 166 491 0 82832 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 333332

[startup+1722.3 s]
/proc/loadavg: 2.39 2.35 2.25 4/177 8053
/proc/meminfo: memFree=30119332/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=333908 CPUtime=1722.02 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 23343 0 0 0 172194 8 0 0 20 0 1 0 29309297 341921792 81904 33554432000 4194304 6201397 140736405555776 140736405554488 4213249 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 83477 81904 166 491 0 82976 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 333908

[startup+1782.3 s]
/proc/loadavg: 2.43 2.36 2.26 3/177 8054
/proc/meminfo: memFree=30092968/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=467512 CPUtime=1782.02 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 23762 0 0 0 178193 9 0 0 20 0 1 0 29309297 478732288 84318 33554432000 4194304 6201397 140736405555776 140736405554488 4213249 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 116878 84318 166 491 0 116377 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 467512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.41 2.36 2.26 3/177 8054
/proc/meminfo: memFree=30084652/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=467512 CPUtime=1800.02 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 23817 0 0 0 179993 9 0 0 20 0 1 0 29309297 478732288 85395 33554432000 4194304 6201397 140736405555776 140736405554488 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 116878 85395 166 491 0 116377 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 467512

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

[startup+1800.3 s]
/proc/loadavg: 2.41 2.36 2.26 3/177 8054
/proc/meminfo: memFree=30084652/32872528 swapFree=1200228/1314692
[pid=7939] ppid=7936 vsize=467512 CPUtime=1800.02 cores=1,3,5,7
/proc/7939/stat : 7939 (cdcl-cuttingpla) R 7936 7939 3918 0 -1 4202496 23817 0 0 0 179993 9 0 0 20 0 1 0 29309297 478732288 85395 33554432000 4194304 6201397 140736405555776 140736405554488 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7939/statm: 116878 85395 166 491 0 116377 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 467512

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.091986
maximum resident set size= 341580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23817
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= 1875

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47032 second user time and 6.98894 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 19:57:08
IDJOB=4107237
IDBENCH=72103
IDSOLVER=2550
FILE ID=node131/4107237-1466272628
RUNJOBID= node131-1466241681-3935
PBS_JOBID= 19918210
Free space on /tmp= 71704 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.newlist/normalized-rand085d8a.cudf.paranoid.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107237-1466272628/watcher-4107237-1466272628 -o /tmp/evaluation-result-4107237-1466272628/solver-4107237-1466272628 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466241681-3935 --watchdog 1960 --input HOME/instance-4107237-1466272628.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 48a8fba9d7ba336cfae10ff26f122513
RANDOM SEED=37043512

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:        30418516 kB
Buffers:          154468 kB
Cached:           158168 kB
SwapCached:         1460 kB
Active:           185748 kB
Inactive:         217756 kB
Active(anon):      90692 kB
Inactive(anon):     2920 kB
Active(file):      95056 kB
Inactive(file):   214836 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:              3152 kB
Writeback:             0 kB
AnonPages:       1405356 kB
Mapped:             7580 kB
Shmem:                 0 kB
Slab:             603372 kB
SReclaimable:      47328 kB
SUnreclaim:       556044 kB
KernelStack:        1448 kB
PageTables:         6892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1528700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 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 20:27:08