Trace number 4087456

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 binary search 2016-05-01? (TO) 1800.11 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb
MD5SUM8eed52e8cea562b1b1ee5bae07565266
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark312
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 478
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 500105
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 500105
Number of bits of the biggest sum of numbers19
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.69/0.73	c * #variable= 10000 #constraint= 656900
2.09/2.10	c * #variable= 10000 #constraint= 656900
5.29/5.35	c S1->S2
5.29/5.35	c S1->S2
5.29/5.35	c S1->S2
5.29/5.35	c S1->S2
5.29/5.35	c S1->S2
5.29/5.35	c #Conflicts:       1000 | #Learnt:       1004 | 0.019
5.29/5.35	c total clause space: 127.173MB
5.29/5.35	c total #watches: 1649907
22.39/22.42	c total #propagations: 237509 / total #impl: 16856834 (eff. 0.014)
22.39/22.42	c #Conflicts:       2000 | #Learnt:       2004 | 0.010
22.39/22.42	c total clause space: 206.656MB
22.39/22.42	c total #watches: 2613370
72.97/73.00	c total #propagations: 482068 / total #impl: 362809022 (eff. 0.001)
72.97/73.00	c GC COLLECT
72.97/73.00	c #Conflicts:       3000 | #Learnt:       2008 | 0.006
72.97/73.00	c total clause space: 335.816MB
72.97/73.00	c total #watches: 3717615
185.66/185.77	c total #propagations: 825851 / total #impl: 1337639672 (eff. 0.001)
185.66/185.77	c #Conflicts:       4000 | #Learnt:       3008 | 0.005
185.66/185.77	c total clause space: 335.816MB
185.66/185.77	c total #watches: 5055908
332.93/333.02	c total #propagations: 1228909 / total #impl: 2647825558 (eff. 0.000)
332.93/333.02	c GC COLLECT
332.93/333.02	c #Conflicts:       5000 | #Learnt:       2374 | 0.004
332.93/333.02	c total clause space: 545.701MB
332.93/333.02	c total #watches: 4945604
477.82/477.94	c total #propagations: 1611906 / total #impl: 4109288375 (eff. 0.000)
477.82/477.94	c #Conflicts:       6000 | #Learnt:       3374 | 0.004
477.82/477.94	c total clause space: 545.701MB
477.82/477.94	c total #watches: 6848165
660.99/661.16	c total #propagations: 1935377 / total #impl: 5720314733 (eff. 0.000)
660.99/661.16	c GC COLLECT
660.99/661.16	c #Conflicts:       7000 | #Learnt:       2246 | 0.003
660.99/661.16	c total clause space: 545.701MB
660.99/661.16	c total #watches: 5583536
790.16/790.34	c total #propagations: 2251277 / total #impl: 7966097135 (eff. 0.000)
790.16/790.34	c #Conflicts:       8000 | #Learnt:       3246 | 0.003
790.16/790.34	c total clause space: 545.701MB
790.16/790.34	c total #watches: 7056261
1135.50/1135.78	c total #propagations: 2548873 / total #impl: 10245735929 (eff. 0.000)
1135.50/1135.78	c #Conflicts:       9000 | #Learnt:       4246 | 0.002
1135.50/1135.78	c total clause space: 545.701MB
1135.50/1135.78	c total #watches: 8924455
1485.34/1485.60	c total #propagations: 3024454 / total #impl: 12727673306 (eff. 0.000)
1485.34/1485.60	c GC COLLECT
1485.34/1485.60	c #Conflicts:      10000 | #Learnt:       2737 | 0.002
1485.34/1485.60	c total clause space: 886.764MB
1485.34/1485.60	c total #watches: 6408730
1676.61/1676.95	c total #propagations: 3332731 / total #impl: 15202647047 (eff. 0.000)
1676.61/1676.95	c #Conflicts:      11000 | #Learnt:       3737 | 0.002
1676.61/1676.95	c total clause space: 886.764MB
1676.61/1676.95	c total #watches: 8353941

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-4087456-1465393111/watcher-4087456-1465393111 -o /tmp/evaluation-result-4087456-1465393111/solver-4087456-1465393111 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465387701-7081 --watchdog 1960 --input HOME/instance-4087456-1465393111.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=7585
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.24 2.18 3/176 7588
/proc/meminfo: memFree=29761068/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 121244406 57319424 7292 33554432000 4194304 6211289 140737193178896 140736652836056 4206544 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 13994 7292 98 493 0 13491 0

[startup+0.100168 s]
/proc/loadavg: 2.25 2.24 2.18 3/176 7588
/proc/meminfo: memFree=29761068/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=59556 CPUtime=0.08 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 1620 0 0 0 8 0 0 0 20 0 1 0 121244406 60985344 11536 33554432000 4194304 6211289 140737193178896 140736652836056 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 14889 11536 121 493 0 14386 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 59556

[startup+0.200343 s]
/proc/loadavg: 2.25 2.24 2.18 3/176 7588
/proc/meminfo: memFree=29761068/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=62624 CPUtime=0.18 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 2176 0 0 0 18 0 0 0 20 0 1 0 121244406 64126976 12347 33554432000 4194304 6211289 140737193178896 140736652836056 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 15656 12347 121 493 0 15153 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 62624

[startup+0.300338 s]
/proc/loadavg: 2.25 2.24 2.18 3/176 7588
/proc/meminfo: memFree=29761068/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=68760 CPUtime=0.29 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 2685 0 0 0 28 1 0 0 20 0 1 0 121244406 70410240 12855 33554432000 4194304 6211289 140737193178896 140736652836056 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 17190 12855 121 493 0 16687 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68760

[startup+0.700233 s]
/proc/loadavg: 2.25 2.24 2.18 3/176 7588
/proc/meminfo: memFree=29761068/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=81032 CPUtime=0.69 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 3195 0 0 0 68 1 0 0 20 0 1 0 121244406 82976768 15407 33554432000 4194304 6211289 140737193178896 140737193177736 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 20258 15407 121 493 0 19755 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81032

[startup+1.5003 s]
/proc/loadavg: 2.25 2.24 2.18 3/177 7589
/proc/meminfo: memFree=29622040/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=201592 CPUtime=1.49 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 6656 0 0 0 146 3 0 0 20 0 1 0 121244406 206430208 39819 33554432000 4194304 6211289 140737193178896 140737193177736 5151398 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 50398 39819 144 493 0 49895 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 201592

[startup+3.10031 s]
/proc/loadavg: 2.25 2.24 2.18 3/177 7589
/proc/meminfo: memFree=29535788/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=351452 CPUtime=3.09 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 11055 0 0 0 303 6 0 0 20 0 1 0 121244406 359886848 72714 33554432000 4194304 6211289 140737193178896 140737193176776 4259736 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 87863 72714 144 493 0 87360 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 351452

[startup+6.30028 s]
/proc/loadavg: 2.23 2.23 2.18 3/177 7589
/proc/meminfo: memFree=29246484/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=696576 CPUtime=6.29 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 12672 0 0 0 618 11 0 0 20 0 1 0 121244406 713293824 121133 33554432000 4194304 6211289 140737193178896 140737193177128 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 174144 121133 214 493 0 173641 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 696576

[startup+12.7003 s]
/proc/loadavg: 2.21 2.23 2.18 3/177 7589
/proc/meminfo: memFree=29200352/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=696576 CPUtime=12.69 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 12679 0 0 0 1258 11 0 0 20 0 1 0 121244406 713293824 124717 33554432000 4194304 6211289 140737193178896 140737193177128 4209512 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 174144 124717 214 493 0 173641 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 696576

[startup+25.5004 s]
/proc/loadavg: 2.32 2.25 2.19 3/177 7589
/proc/meminfo: memFree=29116804/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=696576 CPUtime=25.49 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 13540 0 0 0 2538 11 0 0 20 0 1 0 121244406 713293824 131970 33554432000 4194304 6211289 140737193178896 140737193177240 4240856 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 174144 131970 214 493 0 173641 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 696576

[startup+51.1004 s]
/proc/loadavg: 2.21 2.23 2.18 3/177 7589
/proc/meminfo: memFree=28981864/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=706112 CPUtime=51.08 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 15897 0 0 0 5096 12 0 0 20 0 1 0 121244406 723058688 137904 33554432000 4194304 6211289 140737193178896 140737193176888 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 176528 137904 219 493 0 176025 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 706112

[startup+102.3 s]
/proc/loadavg: 2.13 2.20 2.18 3/178 7594
/proc/meminfo: memFree=28848212/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=845216 CPUtime=102.28 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 17802 0 0 0 10214 14 0 0 20 0 1 0 121244406 865501184 157163 33554432000 4194304 6211289 140737193178896 140737193176888 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 211304 157163 219 493 0 210801 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 845216

[startup+162.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/177 7595
/proc/meminfo: memFree=28804836/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=849780 CPUtime=162.26 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 18951 0 0 0 16211 15 0 0 20 0 1 0 121244406 870174720 167510 33554432000 4194304 6211289 140737193178896 140737193176808 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 212445 167510 219 493 0 211942 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 849780

[startup+222.308 s]
/proc/loadavg: 2.12 2.18 2.17 3/177 7596
/proc/meminfo: memFree=28680392/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1071788 CPUtime=222.26 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 20894 0 0 0 22208 18 0 0 20 0 1 0 121244406 1097510912 180675 33554432000 4194304 6211289 140737193178896 140737193176888 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 267947 180675 219 493 0 267444 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1071788

[startup+282.3 s]
/proc/loadavg: 2.09 2.16 2.17 3/177 7597
/proc/meminfo: memFree=28656832/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1072772 CPUtime=282.24 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 21925 0 0 0 28206 18 0 0 20 0 1 0 121244406 1098518528 183299 33554432000 4194304 6211289 140737193178896 140737193176808 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 268193 183299 219 493 0 267690 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1072772

[startup+342.3 s]
/proc/loadavg: 2.14 2.16 2.17 3/177 7598
/proc/meminfo: memFree=28553152/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1072912 CPUtime=342.23 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 21974 0 0 0 34205 18 0 0 20 0 1 0 121244406 1098661888 183348 33554432000 4194304 6211289 140737193178896 140737193177240 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 268228 183348 219 493 0 267725 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1072912

[startup+402.3 s]
/proc/loadavg: 2.29 2.19 2.18 3/177 7600
/proc/meminfo: memFree=28439624/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1105012 CPUtime=402.22 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 30078 0 0 0 40202 20 0 0 20 0 1 0 121244406 1131532288 202691 33554432000 4194304 6211289 140737193178896 140737193176888 4209501 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 276253 202691 219 493 0 275750 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1105012

[startup+462.3 s]
/proc/loadavg: 2.40 2.23 2.19 3/177 7601
/proc/meminfo: memFree=28416388/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1106736 CPUtime=462.22 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 30526 0 0 0 46201 21 0 0 20 0 1 0 121244406 1133297664 207738 33554432000 4194304 6211289 140737193178896 140737193176888 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 276684 207738 219 493 0 276181 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1106736

[startup+522.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/177 7602
/proc/meminfo: memFree=28378268/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1110204 CPUtime=522.21 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 31409 0 0 0 52199 22 0 0 20 0 1 0 121244406 1136848896 217308 33554432000 4194304 6211289 140737193178896 140737193176808 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 277551 217308 219 493 0 277048 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1110204

[startup+582.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/177 7603
/proc/meminfo: memFree=28330676/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1113500 CPUtime=582.2 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 32241 0 0 0 58198 22 0 0 20 0 1 0 121244406 1140224000 223761 33554432000 4194304 6211289 140737193178896 140737193176888 4202003 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 278375 223761 219 493 0 277872 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1113500


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


[startup+882.307 s]
/proc/loadavg: 2.21 2.19 2.18 3/177 7612
/proc/meminfo: memFree=28219584/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1118652 CPUtime=882.14 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 33682 0 0 0 88191 23 0 0 20 0 1 0 121244406 1145499648 236911 33554432000 4194304 6211289 140737193178896 140737193176808 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 279663 236911 219 493 0 279160 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 1118652

[startup+942.3 s]
/proc/loadavg: 2.34 2.23 2.19 3/177 7613
/proc/meminfo: memFree=28138108/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1118860 CPUtime=942.12 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 33754 0 0 0 94189 23 0 0 20 0 1 0 121244406 1145712640 236971 33554432000 4194304 6211289 140737193178896 140737193176808 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 279715 236971 219 493 0 279212 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 1118860

[startup+1002.3 s]
/proc/loadavg: 2.35 2.26 2.20 3/177 7615
/proc/meminfo: memFree=28137976/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1119636 CPUtime=1002.12 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 33940 0 0 0 100188 24 0 0 20 0 1 0 121244406 1146507264 237157 33554432000 4194304 6211289 140737193178896 140737193176888 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 279909 237157 219 493 0 279406 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 1119636

[startup+1062.3 s]
/proc/loadavg: 2.27 2.26 2.20 3/177 7616
/proc/meminfo: memFree=28135856/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1120964 CPUtime=1062.11 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 34262 0 0 0 106187 24 0 0 20 0 1 0 121244406 1147867136 237479 33554432000 4194304 6211289 140737193178896 140737193176888 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 280241 237479 219 493 0 279738 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1120964

[startup+1122.3 s]
/proc/loadavg: 2.10 2.21 2.18 3/177 7617
/proc/meminfo: memFree=28133028/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1123308 CPUtime=1122.1 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 34848 0 0 0 112186 24 0 0 20 0 1 0 121244406 1150267392 238065 33554432000 4194304 6211289 140737193178896 140737193176808 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 280827 238065 219 493 0 280324 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1123308

[startup+1182.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/177 7618
/proc/meminfo: memFree=28128796/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1124764 CPUtime=1182.09 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 35222 0 0 0 118185 24 0 0 20 0 1 0 121244406 1151758336 239166 33554432000 4194304 6211289 140737193178896 140737193176888 4216299 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 281191 239166 219 493 0 280688 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1124764

[startup+1242.3 s]
/proc/loadavg: 2.26 2.22 2.19 3/177 7619
/proc/meminfo: memFree=28119800/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1125948 CPUtime=1242.08 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 35535 0 0 0 124184 24 0 0 20 0 1 0 121244406 1152970752 241012 33554432000 4194304 6211289 140737193178896 140737193176888 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 281487 241012 219 493 0 280984 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1125948

[startup+1302.3 s]
/proc/loadavg: 2.34 2.25 2.19 3/177 7623
/proc/meminfo: memFree=28096436/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1127364 CPUtime=1302.08 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 35852 0 0 0 130183 25 0 0 20 0 1 0 121244406 1154420736 242351 33554432000 4194304 6211289 140737193178896 140737193176888 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 281841 242351 219 493 0 281338 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1127364

[startup+1362.3 s]
/proc/loadavg: 2.34 2.27 2.20 3/178 7648
/proc/meminfo: memFree=28080628/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1128204 CPUtime=1362.06 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 36083 0 0 0 136181 25 0 0 20 0 1 0 121244406 1155280896 244626 33554432000 4194304 6211289 140737193178896 140737193176808 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 282051 244626 219 493 0 281548 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1128204

[startup+1422.3 s]
/proc/loadavg: 2.43 2.31 2.22 3/177 7649
/proc/meminfo: memFree=28045480/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1479940 CPUtime=1422.06 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 36851 0 0 0 142181 25 0 0 20 0 1 0 121244406 1515458560 249971 33554432000 4194304 6211289 140737193178896 140737193176808 4240074 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 369985 249971 219 493 0 369482 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1479940

[startup+1482.3 s]
/proc/loadavg: 2.25 2.28 2.21 3/177 7650
/proc/meminfo: memFree=28023940/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1481532 CPUtime=1482.04 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 37553 0 0 0 148179 25 0 0 20 0 1 0 121244406 1517088768 251371 33554432000 4194304 6211289 140737193178896 140737193176808 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 370383 251371 219 493 0 369880 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1481532

[startup+1542.31 s]
/proc/loadavg: 2.20 2.26 2.20 3/177 7651
/proc/meminfo: memFree=28015140/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1481532 CPUtime=1542.04 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 37598 0 0 0 154179 25 0 0 20 0 1 0 121244406 1517088768 251416 33554432000 4194304 6211289 140737193178896 140737193177240 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 370383 251416 219 493 0 369880 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1481532

[startup+1602.3 s]
/proc/loadavg: 2.23 2.25 2.20 3/177 7652
/proc/meminfo: memFree=28004528/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1481532 CPUtime=1602.02 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 37604 0 0 0 160177 25 0 0 20 0 1 0 121244406 1517088768 251422 33554432000 4194304 6211289 140737193178896 140737193177240 4240600 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 370383 251422 219 493 0 369880 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1481532

[startup+1662.3 s]
/proc/loadavg: 2.26 2.26 2.21 3/177 7654
/proc/meminfo: memFree=27988024/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1481532 CPUtime=1662.01 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 37614 0 0 0 166176 25 0 0 20 0 1 0 121244406 1517088768 251432 33554432000 4194304 6211289 140737193178896 140737193177240 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 370383 251432 219 493 0 369880 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1481532

[startup+1722.3 s]
/proc/loadavg: 2.24 2.26 2.21 3/177 7655
/proc/meminfo: memFree=27988024/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1481532 CPUtime=1722 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 37628 0 0 0 172175 25 0 0 20 0 1 0 121244406 1517088768 251446 33554432000 4194304 6211289 140737193178896 140737193177240 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 370383 251446 219 493 0 369880 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1481532

[startup+1782.3 s]
/proc/loadavg: 2.20 2.24 2.20 3/177 7656
/proc/meminfo: memFree=27987156/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1481532 CPUtime=1781.99 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 37635 0 0 0 178174 25 0 0 20 0 1 0 121244406 1517088768 251453 33554432000 4194304 6211289 140737193178896 140737193177240 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 370383 251453 219 493 0 369880 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1481532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.23 2.24 2.20 3/177 7702
/proc/meminfo: memFree=28753828/32872528 swapFree=15784/1434320
[pid=7588] ppid=7585 vsize=1481532 CPUtime=1800.09 cores=1,3,5,7
/proc/7588/stat : 7588 (cdcl-cuttingpla) R 7585 7588 7064 0 -1 4202496 37635 0 0 0 179984 25 0 0 20 0 1 0 121244406 1517088768 251453 33554432000 4194304 6211289 140737193178896 140737193177240 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7588/statm: 370383 251453 219 493 0 369880 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1481532

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.4
CPU time (s): 1800.11
CPU user time (s): 1799.85
CPU system time (s): 0.26296
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 1481532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.26296
maximum resident set size= 1005812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37635
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= 42
involuntary context switches= 1850

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.40218 second user time and 8.14876 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-08 15:38:32
IDJOB=4087456
IDBENCH=1967
IDSOLVER=2549
FILE ID=node130/4087456-1465393111
RUNJOBID= node130-1465387701-7081
PBS_JOBID= 19853865
Free space on /tmp= 71712 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087456-1465393111/watcher-4087456-1465393111 -o /tmp/evaluation-result-4087456-1465393111/solver-4087456-1465393111 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465387701-7081 --watchdog 1960 --input HOME/instance-4087456-1465393111.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 8eed52e8cea562b1b1ee5bae07565266
RANDOM SEED=621846609

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.261
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.261
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:        29761076 kB
Buffers:           70940 kB
Cached:           403856 kB
SwapCached:         1636 kB
Active:           671748 kB
Inactive:         260992 kB
Active(anon):     455496 kB
Inactive(anon):     4728 kB
Active(file):     216252 kB
Inactive(file):   256264 kB
Unevictable:     1434320 kB
Mlocked:           15784 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             38712 kB
Writeback:             0 kB
AnonPages:       1971888 kB
Mapped:             8048 kB
Shmem:                 0 kB
Slab:             608624 kB
SReclaimable:      51512 kB
SUnreclaim:       557112 kB
KernelStack:        1432 kB
PageTables:         7652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2117212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1681408 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= 71712 MiB
End job on node130 at 2016-06-08 16:08:32