Trace number 4087647

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.01 1800.3

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir07_area_delay.opb
MD5SUM654b3ba852cf335035821a9e288b621f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark1.19382
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16
Optimality of the best value was proved YES
Number of variables12615
Total number of constraints51713
Number of constraints which are clauses51713
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 constraint1
Maximum length of a constraint255
Number of terms in the objective function 6096
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6096
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6096
Number of bits of the biggest sum of numbers13
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.07	c * #variable= 12615 #constraint= 51713
0.19/0.21	c * #variable= 12615 #constraint= 51713
4.59/4.69	c S1->S2
4.59/4.69	c S1->S2
4.59/4.69	c S1->S2
4.59/4.69	c S1->S2
4.59/4.69	c S1->S2
4.59/4.69	c S1->S2
4.59/4.69	c #Conflicts:       1000 | #Learnt:       1005 | 0.003
4.59/4.69	c total clause space: 127.173MB
4.59/4.69	c total #watches: 3485906
10.89/11.00	c total #propagations: 1197840 / total #impl: 23402011 (eff. 0.051)
10.89/11.00	c #Conflicts:       2000 | #Learnt:       2005 | 0.002
10.89/11.00	c total clause space: 335.816MB
10.89/11.00	c total #watches: 6231344
25.19/25.24	c total #propagations: 3594585 / total #impl: 45512705 (eff. 0.079)
25.19/25.24	c GC COLLECT
25.19/25.24	c #Conflicts:       3000 | #Learnt:       2010 | 0.001
25.19/25.24	c total clause space: 335.816MB
25.19/25.24	c total #watches: 7393811
37.58/37.68	c total #propagations: 3982774 / total #impl: 132338921 (eff. 0.030)
37.58/37.68	c #Conflicts:       4000 | #Learnt:       3010 | 0.001
37.58/37.68	c total clause space: 545.701MB
37.58/37.68	c total #watches: 11750786
55.99/56.08	c total #propagations: 5006570 / total #impl: 315479331 (eff. 0.016)
55.99/56.08	c GC COLLECT
55.99/56.08	c #Conflicts:       5000 | #Learnt:       2362 | 0.001
55.99/56.08	c total clause space: 545.701MB
55.99/56.08	c total #watches: 10269269
96.08/96.15	c total #propagations: 5270666 / total #impl: 396658144 (eff. 0.013)
96.08/96.15	c #Conflicts:       6000 | #Learnt:       3362 | 0.001
96.08/96.15	c total clause space: 545.701MB
96.08/96.15	c total #watches: 13025895
168.37/168.46	c total #propagations: 5746300 / total #impl: 548828603 (eff. 0.010)
168.37/168.46	c GC COLLECT
168.37/168.46	c #Conflicts:       7000 | #Learnt:       2231 | 0.001
168.37/168.46	c total clause space: 886.764MB
168.37/168.46	c total #watches: 8479723
208.46/208.56	c total #propagations: 6598109 / total #impl: 794541236 (eff. 0.008)
208.46/208.56	c #Conflicts:       8000 | #Learnt:       3231 | 0.001
208.46/208.56	c total clause space: 886.764MB
208.46/208.56	c total #watches: 10729213
317.24/317.36	c total #propagations: 6845696 / total #impl: 1261358603 (eff. 0.005)
317.24/317.36	c #Conflicts:       9000 | #Learnt:       4231 | 0.000
317.24/317.36	c total clause space: 886.764MB
317.24/317.36	c total #watches: 12709435
460.22/460.39	c total #propagations: 7292222 / total #impl: 2303404981 (eff. 0.003)
460.22/460.39	c GC COLLECT
460.22/460.39	c #Conflicts:      10000 | #Learnt:       2725 | 0.000
460.22/460.39	c total clause space: 886.764MB
460.22/460.39	c total #watches: 6455825
837.76/837.95	c total #propagations: 7664574 / total #impl: 3372519252 (eff. 0.002)
837.76/837.95	c #Conflicts:      11000 | #Learnt:       3724 | 0.000
837.76/837.95	c total clause space: 886.764MB
837.76/837.95	c total #watches: 8250678
965.83/966.04	c total #propagations: 8990285 / total #impl: 4730056970 (eff. 0.002)
965.83/966.04	c #Conflicts:      12000 | #Learnt:       4724 | 0.000
965.83/966.04	c total clause space: 886.764MB
965.83/966.04	c total #watches: 10176333
1285.28/1285.52	c total #propagations: 9627102 / total #impl: 5496810388 (eff. 0.002)
1285.28/1285.52	c #Conflicts:      13000 | #Learnt:       5724 | 0.000
1285.28/1285.52	c total clause space: 886.764MB
1285.28/1285.52	c total #watches: 12660180
1538.14/1538.45	c total #propagations: 10376919 / total #impl: 6275899739 (eff. 0.002)
1538.14/1538.45	c GC COLLECT
1538.14/1538.45	c #Conflicts:      14000 | #Learnt:       3860 | 0.000
1538.14/1538.45	c total clause space: 886.764MB
1538.14/1538.45	c total #watches: 9717863

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-4087647-1465432477/watcher-4087647-1465432477 -o /tmp/evaluation-result-4087647-1465432477/solver-4087647-1465432477 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465427040-1776 --watchdog 1960 --input HOME/instance-4087647-1465432477.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=2608
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.24 2.23 2.18 3/174 2611
/proc/meminfo: memFree=28987064/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 125180707 57319424 7292 33554432000 4194304 6211289 140735237640592 140733237439960 4206563 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 13994 7292 98 493 0 13491 0

[startup+0.10015 s]
/proc/loadavg: 2.24 2.23 2.18 3/174 2611
/proc/meminfo: memFree=28987064/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=64044 CPUtime=0.09 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 1965 0 0 0 8 1 0 0 20 0 1 0 125180707 65581056 13725 33554432000 4194304 6211289 140735237640592 140733237439960 4636837 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 16011 13725 144 493 0 15508 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 64044

[startup+0.200355 s]
/proc/loadavg: 2.24 2.23 2.18 3/174 2611
/proc/meminfo: memFree=28987064/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=72560 CPUtime=0.19 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 3312 0 0 0 18 1 0 0 20 0 1 0 125180707 74301440 15072 33554432000 4194304 6211289 140735237640592 140733237439960 4228135 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 18140 15072 144 493 0 17637 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 72560

[startup+0.300319 s]
/proc/loadavg: 2.24 2.23 2.18 3/174 2611
/proc/meminfo: memFree=28987064/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=80824 CPUtime=0.29 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 4664 0 0 0 28 1 0 0 20 0 1 0 125180707 82763776 18062 33554432000 4194304 6211289 140735237640592 140733237439960 5161098 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 20206 18062 144 493 0 19703 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 80824

[startup+0.700306 s]
/proc/loadavg: 2.24 2.23 2.18 3/174 2611
/proc/meminfo: memFree=28987064/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=135708 CPUtime=0.69 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 8840 0 0 0 66 3 0 0 20 0 1 0 125180707 138964992 28321 33554432000 4194304 6211289 140735237640592 140735237638584 4202024 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 33927 28321 204 493 0 33424 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135708

[startup+1.50035 s]
/proc/loadavg: 2.24 2.23 2.18 3/175 2612
/proc/meminfo: memFree=28856000/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=178692 CPUtime=1.49 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 12085 0 0 0 145 4 0 0 20 0 1 0 125180707 182980608 37674 33554432000 4194304 6211289 140735237640592 140735237638584 4242538 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 44673 37674 204 493 0 44170 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 178692

[startup+3.10029 s]
/proc/loadavg: 2.24 2.23 2.18 3/175 2612
/proc/meminfo: memFree=28808536/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=229616 CPUtime=3.09 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 12453 0 0 0 305 4 0 0 20 0 1 0 125180707 235126784 46718 33554432000 4194304 6211289 140735237640592 140735237638504 4248102 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 57404 46718 204 493 0 56901 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 229616

[startup+6.30031 s]
/proc/loadavg: 2.22 2.23 2.18 3/175 2612
/proc/meminfo: memFree=28742796/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=334232 CPUtime=6.29 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 18552 0 0 0 622 7 0 0 20 0 1 0 125180707 342253568 61971 33554432000 4194304 6211289 140735237640592 140735237638504 4242346 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 83558 61971 214 493 0 83055 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 334232

[startup+12.7003 s]
/proc/loadavg: 2.20 2.22 2.18 3/175 2612
/proc/meminfo: memFree=28610692/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=510988 CPUtime=12.69 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 30712 0 0 0 1260 9 0 0 20 0 1 0 125180707 523251712 94111 33554432000 4194304 6211289 140735237640592 140735237638584 5158936 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 127747 94111 214 493 0 127244 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 510988

[startup+25.5003 s]
/proc/loadavg: 2.16 2.21 2.18 3/175 2612
/proc/meminfo: memFree=28558044/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=515932 CPUtime=25.49 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 33026 0 0 0 2539 10 0 0 20 0 1 0 125180707 528314368 107156 33554432000 4194304 6211289 140735237640592 140735237638584 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 128983 107156 219 493 0 128480 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 515932

[startup+51.1003 s]
/proc/loadavg: 2.23 2.22 2.18 3/175 2612
/proc/meminfo: memFree=28259908/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=810904 CPUtime=51.09 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 49980 0 0 0 5091 18 0 0 20 0 1 0 125180707 830365696 181529 33554432000 4194304 6211289 140735237640592 140735237638584 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 202726 181529 219 493 0 202223 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 810904

[startup+102.3 s]
/proc/loadavg: 2.35 2.25 2.19 3/175 2613
/proc/meminfo: memFree=28223044/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=812984 CPUtime=102.28 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 50951 0 0 0 10210 18 0 0 20 0 1 0 125180707 832495616 190676 33554432000 4194304 6211289 140735237640592 140735237638584 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 203246 190676 219 493 0 202743 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 812984

[startup+162.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/175 2614
/proc/meminfo: memFree=28138340/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1175520 CPUtime=162.26 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 55108 0 0 0 16206 20 0 0 20 0 1 0 125180707 1203732480 211685 33554432000 4194304 6211289 140735237640592 140735237638504 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 293880 211685 219 493 0 293377 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1175520

[startup+222.307 s]
/proc/loadavg: 2.40 2.29 2.20 3/175 2616
/proc/meminfo: memFree=28123328/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1176736 CPUtime=222.27 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 56134 0 0 0 22206 21 0 0 20 0 1 0 125180707 1204977664 215405 33554432000 4194304 6211289 140735237640592 140735237638936 4209497 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 294184 215405 219 493 0 293681 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 1176736

[startup+282.3 s]
/proc/loadavg: 2.35 2.29 2.21 3/175 2617
/proc/meminfo: memFree=28118492/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1183072 CPUtime=282.25 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 57265 0 0 0 28204 21 0 0 20 0 1 0 125180707 1211465728 216536 33554432000 4194304 6211289 140735237640592 140735237638504 4209523 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 295768 216536 219 493 0 295265 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1183072

[startup+342.3 s]
/proc/loadavg: 2.21 2.27 2.20 3/176 2621
/proc/meminfo: memFree=28116540/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1183684 CPUtime=342.24 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 57519 0 0 0 34203 21 0 0 20 0 1 0 125180707 1212092416 216790 33554432000 4194304 6211289 140735237640592 140735237638936 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 295921 216790 219 493 0 295418 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1183684

[startup+402.3 s]
/proc/loadavg: 2.34 2.29 2.21 3/175 2622
/proc/meminfo: memFree=28114072/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1184996 CPUtime=402.23 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 57972 0 0 0 40201 22 0 0 20 0 1 0 125180707 1213435904 217243 33554432000 4194304 6211289 140735237640592 140735237638504 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296249 217243 219 493 0 295746 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1184996

[startup+462.3 s]
/proc/loadavg: 2.38 2.30 2.22 3/175 2623
/proc/meminfo: memFree=28112612/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=462.22 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58109 0 0 0 46200 22 0 0 20 0 1 0 125180707 1213763584 217380 33554432000 4194304 6211289 140735237640592 140735237638936 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 217380 219 493 0 295826 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1185316

[startup+522.3 s]
/proc/loadavg: 2.22 2.27 2.21 3/175 2625
/proc/meminfo: memFree=28100844/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=522.21 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58142 0 0 0 52199 22 0 0 20 0 1 0 125180707 1213763584 217413 33554432000 4194304 6211289 140735237640592 140735237638936 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 217413 219 493 0 295826 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1185316

[startup+582.3 s]
/proc/loadavg: 2.25 2.28 2.21 3/175 2626
/proc/meminfo: memFree=28090196/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=582.2 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58142 0 0 0 58198 22 0 0 20 0 1 0 125180707 1213763584 217413 33554432000 4194304 6211289 140735237640592 140735237638936 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 217413 219 493 0 295826 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1185316


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


[startup+942.3 s]
/proc/loadavg: 2.31 2.28 2.21 3/176 2636
/proc/meminfo: memFree=27961080/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=942.15 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58158 0 0 0 94193 22 0 0 20 0 1 0 125180707 1213763584 222044 33554432000 4194304 6211289 140735237640592 140735237638936 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 222044 219 493 0 295826 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 1185316

[startup+1002.3 s]
/proc/loadavg: 2.22 2.26 2.21 3/175 2637
/proc/meminfo: memFree=27956992/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=1002.13 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58173 0 0 0 100191 22 0 0 20 0 1 0 125180707 1213763584 222044 33554432000 4194304 6211289 140735237640592 140735237638936 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 222044 219 493 0 295826 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1185316

[startup+1062.3 s]
/proc/loadavg: 2.23 2.25 2.21 3/175 2638
/proc/meminfo: memFree=27945648/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=1062.12 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58251 0 0 0 106190 22 0 0 20 0 1 0 125180707 1213763584 222114 33554432000 4194304 6211289 140735237640592 140735237638936 4209380 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 222114 219 493 0 295826 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1185316

[startup+1122.3 s]
/proc/loadavg: 2.33 2.28 2.22 3/175 2640
/proc/meminfo: memFree=27943632/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=1122.1 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58259 0 0 0 112188 22 0 0 20 0 1 0 125180707 1213763584 222114 33554432000 4194304 6211289 140735237640592 140735237638936 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 222114 219 493 0 295826 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1185316

[startup+1182.3 s]
/proc/loadavg: 2.21 2.25 2.21 3/175 2641
/proc/meminfo: memFree=27926304/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=1182.09 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58259 0 0 0 118187 22 0 0 20 0 1 0 125180707 1213763584 222114 33554432000 4194304 6211289 140735237640592 140735237638936 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 222114 219 493 0 295826 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1185316

[startup+1242.3 s]
/proc/loadavg: 2.12 2.22 2.20 3/175 2642
/proc/meminfo: memFree=27919408/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=1242.08 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58259 0 0 0 124186 22 0 0 20 0 1 0 125180707 1213763584 222114 33554432000 4194304 6211289 140735237640592 140735237638936 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 222114 219 493 0 295826 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1185316

[startup+1302.3 s]
/proc/loadavg: 2.29 2.25 2.21 3/175 2643
/proc/meminfo: memFree=27906124/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=1302.07 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58360 0 0 0 130185 22 0 0 20 0 1 0 125180707 1213763584 225281 33554432000 4194304 6211289 140735237640592 140735237638936 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 225281 219 493 0 295826 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1185316

[startup+1362.3 s]
/proc/loadavg: 2.22 2.25 2.20 3/175 2644
/proc/meminfo: memFree=27904068/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=1362.06 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58360 0 0 0 136184 22 0 0 20 0 1 0 125180707 1213763584 225281 33554432000 4194304 6211289 140735237640592 140735237638936 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 225281 219 493 0 295826 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1185316

[startup+1422.3 s]
/proc/loadavg: 2.12 2.21 2.19 4/174 2645
/proc/meminfo: memFree=27902096/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=1422.06 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58360 0 0 0 142184 22 0 0 20 0 1 0 125180707 1213763584 225281 33554432000 4194304 6211289 140735237640592 140735237638936 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 225281 219 493 0 295826 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1185316

[startup+1482.3 s]
/proc/loadavg: 2.25 2.23 2.20 3/175 2647
/proc/meminfo: memFree=27899028/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=1482.05 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58380 0 0 0 148183 22 0 0 20 0 1 0 125180707 1213763584 225405 33554432000 4194304 6211289 140735237640592 140735237638936 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 225405 219 493 0 295826 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1185316

[startup+1542.31 s]
/proc/loadavg: 2.24 2.23 2.19 3/176 2651
/proc/meminfo: memFree=27899152/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=1542.04 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58380 0 0 0 154182 22 0 0 20 0 1 0 125180707 1213763584 225405 33554432000 4194304 6211289 140735237640592 140735237638936 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 225405 219 493 0 295826 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1185316

[startup+1602.3 s]
/proc/loadavg: 2.24 2.23 2.19 3/177 2675
/proc/meminfo: memFree=27893892/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=1602.03 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58380 0 0 0 160181 22 0 0 20 0 1 0 125180707 1213763584 225405 33554432000 4194304 6211289 140735237640592 140735237638936 4209380 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 225405 219 493 0 295826 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1185316

[startup+1662.3 s]
/proc/loadavg: 2.33 2.25 2.20 3/176 2676
/proc/meminfo: memFree=27888084/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=1662.02 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58380 0 0 0 166180 22 0 0 20 0 1 0 125180707 1213763584 225405 33554432000 4194304 6211289 140735237640592 140735237638936 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 225405 219 493 0 295826 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1185316

[startup+1722.3 s]
/proc/loadavg: 2.33 2.26 2.20 3/176 2677
/proc/meminfo: memFree=27888088/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=1722.01 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58380 0 0 0 172179 22 0 0 20 0 1 0 125180707 1213763584 225405 33554432000 4194304 6211289 140735237640592 140735237638936 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 225405 219 493 0 295826 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1185316

[startup+1782.3 s]
/proc/loadavg: 2.21 2.24 2.19 3/176 2679
/proc/meminfo: memFree=27884540/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=1782 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58380 0 0 0 178178 22 0 0 20 0 1 0 125180707 1213763584 225405 33554432000 4194304 6211289 140735237640592 140735237638936 4209380 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 225405 219 493 0 295826 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1185316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.29 2.26 2.20 3/176 2725
/proc/meminfo: memFree=28656328/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=1800 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58380 0 0 0 179978 22 0 0 20 0 1 0 125180707 1213763584 225405 33554432000 4194304 6211289 140735237640592 140735237638936 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 225405 219 493 0 295826 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1185316

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

[startup+1800.3 s]
/proc/loadavg: 2.29 2.26 2.20 3/176 2725
/proc/meminfo: memFree=28656328/32872528 swapFree=17536/1464688
[pid=2611] ppid=2608 vsize=1185316 CPUtime=1800 cores=1,3,5,7
/proc/2611/stat : 2611 (cdcl-cuttingpla) R 2608 2611 1759 0 -1 4202496 58380 0 0 0 179978 22 0 0 20 0 1 0 125180707 1213763584 225405 33554432000 4194304 6211289 140735237640592 140735237638936 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/2611/statm: 296329 225405 219 493 0 295826 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1185316

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.78
CPU system time (s): 0.228965
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 1185316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.228965
maximum resident set size= 901620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58380
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= 41
involuntary context switches= 1915

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.39533 second user time and 5.99609 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-09 02:34:37
IDJOB=4087647
IDBENCH=25008
IDSOLVER=2549
FILE ID=node121/4087647-1465432477
RUNJOBID= node121-1465427040-1776
PBS_JOBID= 19859788
Free space on /tmp= 71724 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir07_area_delay.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087647-1465432477/watcher-4087647-1465432477 -o /tmp/evaluation-result-4087647-1465432477/solver-4087647-1465432477 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465427040-1776 --watchdog 1960 --input HOME/instance-4087647-1465432477.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 654b3ba852cf335035821a9e288b621f
RANDOM SEED=952112640

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.050
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:        28986956 kB
Buffers:          110316 kB
Cached:           822152 kB
SwapCached:         1564 kB
Active:          1147356 kB
Inactive:         530428 kB
Active(anon):     745528 kB
Inactive(anon):     2256 kB
Active(file):     401828 kB
Inactive(file):   528172 kB
Unevictable:     1464688 kB
Mlocked:           17536 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             10772 kB
Writeback:             0 kB
AnonPages:       2209248 kB
Mapped:             7944 kB
Shmem:                 0 kB
Slab:             609948 kB
SReclaimable:      53424 kB
SUnreclaim:       556524 kB
KernelStack:        1440 kB
PageTables:         8048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2363904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1695744 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= 71720 MiB
End job on node121 at 2016-06-09 03:04:37