Trace number 4087974

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.04 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-manna81.opb
MD5SUM6fc83a536fe9a582c06bbccccc09c709
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-11615
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 -12220
Optimality of the best value was proved NO
Number of variables10713
Total number of constraints9151
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints9151
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 10713
Biggest coefficient in the objective function 8
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 30411
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 30411
Number of bits of the biggest sum of numbers15
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= 10713 #constraint= 9151
56.68/56.76	c #Conflicts:       1000 | #Learnt:       1063 | 0.374
56.68/56.76	c total clause space: 545.701MB
56.68/56.76	c total #watches: 76567
189.66/189.73	c total #propagations: 10656 / total #impl: 413292 (eff. 0.026)
189.66/189.73	c #Conflicts:       2000 | #Learnt:       2073 | 0.226
189.66/189.73	c total clause space: 886.764MB
189.66/189.73	c total #watches: 101168
277.35/277.45	c total #propagations: 22848 / total #impl: 951082 (eff. 0.024)
277.35/277.45	c GC COLLECT
277.35/277.45	c #Conflicts:       3000 | #Learnt:       2112 | 0.183
277.35/277.45	c total clause space: 886.764MB
277.35/277.45	c total #watches: 108144
428.82/428.97	c total #propagations: 34708 / total #impl: 1630164 (eff. 0.021)
428.82/428.97	c #Conflicts:       4000 | #Learnt:       3125 | 0.210
428.82/428.97	c total clause space: 1440.99MB
428.82/428.97	c total #watches: 146292
540.11/540.29	c total #propagations: 47576 / total #impl: 2288403 (eff. 0.021)
540.11/540.29	c GC COLLECT
540.11/540.29	c #Conflicts:       5000 | #Learnt:       2504 | 0.220
540.11/540.29	c total clause space: 1440.99MB
540.11/540.29	c total #watches: 150806
643.40/643.56	c total #propagations: 59653 / total #impl: 2987506 (eff. 0.020)
643.40/643.56	c #Conflicts:       6000 | #Learnt:       3509 | 0.228
643.40/643.56	c total clause space: 1440.99MB
643.40/643.56	c total #watches: 188036
744.47/744.66	c total #propagations: 72143 / total #impl: 3826777 (eff. 0.019)
744.47/744.66	c GC COLLECT
744.47/744.66	c #Conflicts:       7000 | #Learnt:       2401 | 0.231
744.47/744.66	c total clause space: 1440.99MB
744.47/744.66	c total #watches: 140745
881.26/881.49	c total #propagations: 83090 / total #impl: 4430240 (eff. 0.019)
881.26/881.49	c #Conflicts:       8000 | #Learnt:       3428 | 0.275
881.26/881.49	c total clause space: 1440.99MB
881.26/881.49	c total #watches: 196626
1038.03/1038.28	c total #propagations: 98255 / total #impl: 5053360 (eff. 0.019)
1038.03/1038.28	c #Conflicts:       9000 | #Learnt:       4442 | 0.292
1038.03/1038.28	c total clause space: 2341.61MB
1038.03/1038.28	c total #watches: 238438
1217.20/1217.45	c total #propagations: 119311 / total #impl: 5884804 (eff. 0.020)
1217.20/1217.45	c GC COLLECT
1217.20/1217.45	c #Conflicts:      10000 | #Learnt:       2982 | 0.303
1217.20/1217.45	c total clause space: 2341.61MB
1217.20/1217.45	c total #watches: 213863
1374.89/1375.10	c total #propagations: 138051 / total #impl: 6864831 (eff. 0.020)
1374.89/1375.10	c #Conflicts:      11000 | #Learnt:       3987 | 0.304
1374.89/1375.10	c total clause space: 2341.61MB
1374.89/1375.10	c total #watches: 269265
1612.45/1612.77	c total #propagations: 152018 / total #impl: 8677663 (eff. 0.018)
1612.45/1612.77	c #Conflicts:      12000 | #Learnt:       5006 | 0.313
1612.45/1612.77	c total clause space: 2341.61MB
1612.45/1612.77	c total #watches: 339979

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

pid=24202
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.02 2.01 1.81 3/176 24205
/proc/meminfo: memFree=30947888/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 120852334 29810688 5268 33554432000 4194304 6201397 140736155928496 140735447692296 4211056 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 7278 5268 130 491 0 6777 0

[startup+0.100129 s]
/proc/loadavg: 2.02 2.01 1.81 3/176 24205
/proc/meminfo: memFree=30947888/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=37600 CPUtime=0.09 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 932 0 0 0 9 0 0 0 20 0 1 0 120852334 38502400 8248 33554432000 4194304 6201397 140736155928496 140735447692296 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 9400 8248 147 491 0 8899 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37600

[startup+0.200373 s]
/proc/loadavg: 2.02 2.01 1.81 3/176 24205
/proc/meminfo: memFree=30947888/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=37600 CPUtime=0.19 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 937 0 0 0 19 0 0 0 20 0 1 0 120852334 38502400 8253 33554432000 4194304 6201397 140736155928496 140735447692296 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 9400 8253 147 491 0 8899 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37600

[startup+0.300336 s]
/proc/loadavg: 2.02 2.01 1.81 3/176 24205
/proc/meminfo: memFree=30947888/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=37732 CPUtime=0.29 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 962 0 0 0 29 0 0 0 20 0 1 0 120852334 38637568 8278 33554432000 4194304 6201397 140736155928496 140735447692296 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 9433 8278 147 491 0 8932 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37732

[startup+0.700234 s]
/proc/loadavg: 2.02 2.01 1.81 3/176 24205
/proc/meminfo: memFree=30947888/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=42824 CPUtime=0.69 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 1322 0 0 0 69 0 0 0 20 0 1 0 120852334 43851776 8558 33554432000 4194304 6201397 140736155928496 140736155927160 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 10706 8558 147 491 0 10205 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42824

[startup+1.50023 s]
/proc/loadavg: 2.02 2.01 1.81 3/177 24206
/proc/meminfo: memFree=30911284/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=50004 CPUtime=1.49 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 1638 0 0 0 149 0 0 0 20 0 1 0 120852334 51204096 9241 33554432000 4194304 6201397 140736155928496 140736155927448 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 12501 9241 147 491 0 12000 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50004

[startup+3.10027 s]
/proc/loadavg: 2.02 2.01 1.81 3/177 24206
/proc/meminfo: memFree=30906200/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=61680 CPUtime=3.09 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 1810 0 0 0 309 0 0 0 20 0 1 0 120852334 63160320 11289 33554432000 4194304 6201397 140736155928496 140736155927336 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 15420 11289 147 491 0 14919 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61680

[startup+6.30023 s]
/proc/loadavg: 2.02 2.01 1.81 3/177 24206
/proc/meminfo: memFree=30893192/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=62432 CPUtime=6.28 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 2688 0 0 0 628 0 0 0 20 0 1 0 120852334 63930368 13564 33554432000 4194304 6201397 140736155928496 140736155927144 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 15608 13564 147 491 0 15107 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 62432

[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 1.81 3/177 24206
/proc/meminfo: memFree=30871292/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=112220 CPUtime=12.69 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 3896 0 0 0 1268 1 0 0 20 0 1 0 120852334 114913280 19932 33554432000 4194304 6201397 140736155928496 140736155927192 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 28055 19932 147 491 0 27554 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112220

[startup+25.5003 s]
/proc/loadavg: 1.94 1.99 1.81 3/177 24252
/proc/meminfo: memFree=30751680/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=162416 CPUtime=25.49 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 4940 0 0 0 2547 2 0 0 20 0 1 0 120852334 166313984 30711 33554432000 4194304 6201397 140736155928496 140736155927336 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 40604 30711 147 491 0 40103 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 162416

[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 1.82 3/177 24252
/proc/meminfo: memFree=30521052/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=382288 CPUtime=51.08 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 8871 0 0 0 5103 5 0 0 20 0 1 0 120852334 391462912 78089 33554432000 4194304 6201397 140736155928496 140736155927192 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 95572 78089 147 491 0 95071 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 382288

[startup+102.3 s]
/proc/loadavg: 2.01 2.00 1.82 3/177 24253
/proc/meminfo: memFree=30278068/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=611728 CPUtime=102.28 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 15569 0 0 0 10219 9 0 0 20 0 1 0 120852334 626409472 127702 33554432000 4194304 6201397 140736155928496 140736155927336 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 152932 127702 160 491 0 152431 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 611728

[startup+162.3 s]
/proc/loadavg: 2.13 2.03 1.84 3/177 24254
/proc/meminfo: memFree=30052756/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=969592 CPUtime=162.26 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 25540 0 0 0 16213 13 0 0 20 0 1 0 120852334 992862208 164033 33554432000 4194304 6201397 140736155928496 140736155927192 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 242398 164033 160 491 0 241897 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 969592

[startup+222.307 s]
/proc/loadavg: 2.08 2.04 1.85 3/177 24255
/proc/meminfo: memFree=29953724/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=969960 CPUtime=222.26 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 66169 0 0 0 22204 22 0 0 20 0 1 0 120852334 993239040 188308 33554432000 4194304 6201397 140736155928496 140736155927304 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 242490 188308 166 491 0 241989 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 969960

[startup+282.3 s]
/proc/loadavg: 2.10 2.04 1.86 3/177 24257
/proc/meminfo: memFree=29899476/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=970216 CPUtime=282.24 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 94429 0 0 0 28197 27 0 0 20 0 1 0 120852334 993501184 195160 33554432000 4194304 6201397 140736155928496 140736155927192 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 242554 195160 166 491 0 242053 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 970216

[startup+342.3 s]
/proc/loadavg: 2.07 2.05 1.87 3/177 24258
/proc/meminfo: memFree=29717716/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=977164 CPUtime=342.24 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 125187 0 0 0 34190 34 0 0 20 0 1 0 120852334 1000615936 233249 33554432000 4194304 6201397 140736155928496 140736155927448 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 244291 233249 166 491 0 243790 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 977164

[startup+402.3 s]
/proc/loadavg: 2.02 2.04 1.88 3/177 24259
/proc/meminfo: memFree=29581440/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=1547128 CPUtime=402.22 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 132542 0 0 0 40186 36 0 0 20 0 1 0 120852334 1584259072 262144 33554432000 4194304 6201397 140736155928496 140736155927208 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 386782 262144 166 491 0 386281 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1547128

[startup+462.3 s]
/proc/loadavg: 2.12 2.06 1.90 3/178 24263
/proc/meminfo: memFree=29385804/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=1548384 CPUtime=462.22 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 154959 0 0 0 46180 42 0 0 20 0 1 0 120852334 1585545216 303631 33554432000 4194304 6201397 140736155928496 140736155927208 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 387096 303631 166 491 0 386595 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1548384

[startup+522.3 s]
/proc/loadavg: 2.04 2.05 1.90 3/177 24264
/proc/meminfo: memFree=29361440/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=1556472 CPUtime=522.21 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 183562 0 0 0 52174 47 0 0 20 0 1 0 120852334 1593827328 305683 33554432000 4194304 6201397 140736155928496 140736155927304 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 389118 305683 166 491 0 388617 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1556472

[startup+582.3 s]
/proc/loadavg: 2.01 2.03 1.91 3/177 24266
/proc/meminfo: memFree=29325908/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=1557152 CPUtime=582.2 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 216149 0 0 0 58167 53 0 0 20 0 1 0 120852334 1594523648 305949 33554432000 4194304 6201397 140736155928496 140736155927192 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 389288 305949 166 491 0 388787 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1557152


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


[startup+942.3 s]
/proc/loadavg: 2.11 2.04 1.93 3/177 24273
/proc/meminfo: memFree=28851204/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=1575180 CPUtime=942.15 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 379682 0 0 0 94123 92 0 0 20 0 1 0 120852334 1612984320 392465 33554432000 4194304 6201397 140736155928496 140736155927448 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 393795 392465 166 491 0 393294 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 1575180

[startup+1002.3 s]
/proc/loadavg: 2.04 2.03 1.93 3/177 24274
/proc/meminfo: memFree=28828496/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=1575360 CPUtime=1002.13 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 401377 0 0 0 100117 96 0 0 20 0 1 0 120852334 1613168640 392510 33554432000 4194304 6201397 140736155928496 140736155927448 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 393840 392510 166 491 0 393339 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1575360

[startup+1062.3 s]
/proc/loadavg: 2.11 2.05 1.94 3/178 24278
/proc/meminfo: memFree=28737040/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=2499360 CPUtime=1062.13 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 419994 0 0 0 106112 101 0 0 20 0 1 0 120852334 2559344640 414062 33554432000 4194304 6201397 140736155928496 140736155927304 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 624840 414062 166 491 0 624339 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 2499360

[startup+1122.3 s]
/proc/loadavg: 2.04 2.04 1.94 3/178 24280
/proc/meminfo: memFree=28665532/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=2499912 CPUtime=1122.12 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 423989 0 0 0 112109 103 0 0 20 0 1 0 120852334 2559909888 430068 33554432000 4194304 6201397 140736155928496 140736155927304 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 624978 430068 166 491 0 624477 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2499912

[startup+1182.3 s]
/proc/loadavg: 2.06 2.05 1.94 3/177 24282
/proc/meminfo: memFree=28555452/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=2500180 CPUtime=1182.11 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 441764 0 0 0 118103 108 0 0 20 0 1 0 120852334 2560184320 457273 33554432000 4194304 6201397 140736155928496 140736155927448 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 625045 457273 166 491 0 624544 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 2500180

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 1.94 3/177 24283
/proc/meminfo: memFree=28528540/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=2502344 CPUtime=1242.1 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 466008 0 0 0 124097 113 0 0 20 0 1 0 120852334 2562400256 463598 33554432000 4194304 6201397 140736155928496 140736155927448 4213170 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 625586 463598 166 491 0 625085 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 2502344

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 1.94 4/177 24284
/proc/meminfo: memFree=28458464/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=2504856 CPUtime=1302.09 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 493777 0 0 0 130092 117 0 0 20 0 1 0 120852334 2564972544 464215 33554432000 4194304 6201397 140736155928496 140736155927192 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 626214 464215 166 491 0 625713 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2504856

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/177 24285
/proc/meminfo: memFree=28444204/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=2506684 CPUtime=1362.08 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 526243 0 0 0 136085 123 0 0 20 0 1 0 120852334 2566844416 464634 33554432000 4194304 6201397 140736155928496 140736155927448 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 626671 464634 166 491 0 626170 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2506684

[startup+1422.3 s]
/proc/loadavg: 2.12 2.05 1.95 3/177 24286
/proc/meminfo: memFree=28443336/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=2506840 CPUtime=1422.08 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 549588 0 0 0 142081 127 0 0 20 0 1 0 120852334 2567004160 464674 33554432000 4194304 6201397 140736155928496 140736155927448 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 626710 464674 166 491 0 626209 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 2506840

[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 1.95 3/177 24288
/proc/meminfo: memFree=28436160/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=2513036 CPUtime=1482.06 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 560471 0 0 0 148077 129 0 0 20 0 1 0 120852334 2573348864 466092 33554432000 4194304 6201397 140736155928496 140736155927448 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 628259 466092 166 491 0 627758 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2513036

[startup+1542.31 s]
/proc/loadavg: 2.06 2.04 1.96 3/177 24289
/proc/meminfo: memFree=28388884/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=2520624 CPUtime=1542.06 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 576891 0 0 0 154074 132 0 0 20 0 1 0 120852334 2581118976 467783 33554432000 4194304 6201397 140736155928496 140736155927160 4213170 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 630156 467783 166 491 0 629655 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 2520624

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/177 24290
/proc/meminfo: memFree=28380580/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=2528424 CPUtime=1602.04 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 593571 0 0 0 160069 135 0 0 20 0 1 0 120852334 2589106176 469473 33554432000 4194304 6201397 140736155928496 140736155927448 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 632106 469473 166 491 0 631605 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2528424

[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/178 24294
/proc/meminfo: memFree=28320084/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=2529064 CPUtime=1662.03 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 610573 0 0 0 166064 139 0 0 20 0 1 0 120852334 2589761536 484449 33554432000 4194304 6201397 140736155928496 140736155927208 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 632266 484449 166 491 0 631765 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2529064

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.96 3/178 24317
/proc/meminfo: memFree=28248760/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=2534316 CPUtime=1722.02 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 618673 0 0 0 172060 142 0 0 20 0 1 0 120852334 2595139584 500955 33554432000 4194304 6201397 140736155928496 140736155927208 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 633579 500955 166 491 0 633078 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 2534316

[startup+1782.3 s]
/proc/loadavg: 2.14 2.05 1.97 3/177 24318
/proc/meminfo: memFree=28154316/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=2538984 CPUtime=1782.02 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 628502 0 0 0 178057 145 0 0 20 0 1 0 120852334 2599919616 516386 33554432000 4194304 6201397 140736155928496 140736155927448 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 634746 516386 166 491 0 634245 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 2538984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.10 2.05 1.97 3/177 24319
/proc/meminfo: memFree=28135888/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=2539108 CPUtime=1800.02 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 631204 0 0 0 179856 146 0 0 20 0 1 0 120852334 2600046592 521026 33554432000 4194304 6201397 140736155928496 140736155927192 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 634777 521026 166 491 0 634276 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2539108

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

[startup+1800.3 s]
/proc/loadavg: 2.10 2.05 1.97 3/177 24319
/proc/meminfo: memFree=28135888/32872528 swapFree=11320/319964
[pid=24205] ppid=24202 vsize=2539108 CPUtime=1800.02 cores=0,2,4,6
/proc/24205/stat : 24205 (cdcl-cuttingpla) R 24202 24205 23579 0 -1 4202496 631204 0 0 0 179856 146 0 0 20 0 1 0 120852334 2600046592 521026 33554432000 4194304 6201397 140736155928496 140736155927192 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/24205/statm: 634777 521026 166 491 0 634276 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2539108

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.04
CPU user time (s): 1798.56
CPU system time (s): 1.47478
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 2539292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.56
system time used= 1.47477
maximum resident set size= 2084220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 631204
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= 3
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.91025 second user time and 6.552 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-08 14:33:11
IDJOB=4087974
IDBENCH=1869
IDSOLVER=2550
FILE ID=node128/4087974-1465389190
RUNJOBID= node128-1465387152-23595
PBS_JOBID= 19853857
Free space on /tmp= 71744 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087974-1465389190/watcher-4087974-1465389190 -o /tmp/evaluation-result-4087974-1465389190/solver-4087974-1465389190 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465387152-23595 --watchdog 1960 --input HOME/instance-4087974-1465389190.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 6fc83a536fe9a582c06bbccccc09c709
RANDOM SEED=28528396

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30948252 kB
Buffers:          145968 kB
Cached:           624724 kB
SwapCached:         1660 kB
Active:           256904 kB
Inactive:         592520 kB
Active(anon):      79100 kB
Inactive(anon):     2136 kB
Active(file):     177804 kB
Inactive(file):   590384 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098544 kB
Dirty:              3168 kB
Writeback:             0 kB
AnonPages:        464008 kB
Mapped:             7660 kB
Shmem:                 0 kB
Slab:             624320 kB
SReclaimable:      67712 kB
SUnreclaim:       556608 kB
KernelStack:        1472 kB
PageTables:         4756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     525276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    440320 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= 71744 MiB
End job on node128 at 2016-06-08 15:03:11