Trace number 4109046

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-wnq-n100-mw99-14.opb
MD5SUM2e1ece70ffcdb5c744c137a2f475d27d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark398
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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 498884
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 498884
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.72	c * #variable= 10000 #constraint= 656900
2.09/2.19	c * #variable= 10000 #constraint= 656900
9.08/9.18	c S1->S2
9.08/9.18	c S1->S2
9.08/9.18	c S1->S2
9.08/9.18	c S1->S2
9.08/9.18	c S1->S2
9.08/9.18	c #Conflicts:       1000 | #Learnt:       1004 | 0.001
9.08/9.18	c total clause space: 206.656MB
9.08/9.18	c total #watches: 1918876
28.69/28.74	c total #propagations: 264438 / total #impl: 66347038 (eff. 0.004)
28.69/28.74	c #Conflicts:       2000 | #Learnt:       2004 | 0.001
28.69/28.74	c total clause space: 206.656MB
28.69/28.74	c total #watches: 2434825
50.08/50.12	c total #propagations: 626969 / total #impl: 238808672 (eff. 0.003)
50.08/50.12	c #Conflicts:       3000 | #Learnt:       2011 | 0.000
50.08/50.12	c total clause space: 335.816MB
50.08/50.12	c total #watches: 3407946
81.87/81.98	c total #propagations: 922456 / total #impl: 579405599 (eff. 0.002)
81.87/81.98	c #Conflicts:       4000 | #Learnt:       3011 | 0.000
81.87/81.98	c total clause space: 335.816MB
81.87/81.98	c total #watches: 4605203
151.66/151.74	c total #propagations: 1176067 / total #impl: 1115799722 (eff. 0.001)
151.66/151.74	c GC COLLECT
151.66/151.74	c #Conflicts:       5000 | #Learnt:       2369 | 0.000
151.66/151.74	c total clause space: 545.701MB
151.66/151.74	c total #watches: 4399347
213.56/213.68	c total #propagations: 1479255 / total #impl: 1979990057 (eff. 0.001)
213.56/213.68	c #Conflicts:       6000 | #Learnt:       3369 | 0.000
213.56/213.68	c total clause space: 545.701MB
213.56/213.68	c total #watches: 5318643
285.45/285.54	c total #propagations: 1699273 / total #impl: 2317810834 (eff. 0.001)
285.45/285.54	c GC COLLECT
285.45/285.54	c #Conflicts:       7000 | #Learnt:       2280 | 0.000
285.45/285.54	c total clause space: 545.701MB
285.45/285.54	c total #watches: 4332021
333.94/334.08	c total #propagations: 1973994 / total #impl: 2940713758 (eff. 0.001)
333.94/334.08	c #Conflicts:       8000 | #Learnt:       3280 | 0.000
333.94/334.08	c total clause space: 545.701MB
333.94/334.08	c total #watches: 5433575
390.73/390.83	c total #propagations: 2275840 / total #impl: 3641454551 (eff. 0.001)
390.73/390.83	c #Conflicts:       9000 | #Learnt:       4280 | 0.003
390.73/390.83	c total clause space: 545.701MB
390.73/390.83	c total #watches: 6266851
467.32/467.43	c total #propagations: 2522481 / total #impl: 4211948345 (eff. 0.001)
467.32/467.43	c GC COLLECT
467.32/467.43	c #Conflicts:      10000 | #Learnt:       2750 | 0.003
467.32/467.43	c total clause space: 545.701MB
467.32/467.43	c total #watches: 4673436
586.80/587.00	c total #propagations: 2727384 / total #impl: 4892483314 (eff. 0.001)
586.80/587.00	c #Conflicts:      11000 | #Learnt:       3750 | 0.002
586.80/587.00	c total clause space: 545.701MB
586.80/587.00	c total #watches: 5351301
706.68/706.85	c total #propagations: 3109243 / total #impl: 5318316690 (eff. 0.001)
706.68/706.85	c #Conflicts:      12000 | #Learnt:       4750 | 0.002
706.68/706.85	c total clause space: 545.701MB
706.68/706.85	c total #watches: 6484581
830.46/830.61	c total #propagations: 3462368 / total #impl: 5887857714 (eff. 0.001)
830.46/830.61	c #Conflicts:      13000 | #Learnt:       5750 | 0.002
830.46/830.61	c total clause space: 545.701MB
830.46/830.61	c total #watches: 7542920
892.65/892.81	c total #propagations: 3779335 / total #impl: 6290145982 (eff. 0.001)
892.65/892.81	c GC COLLECT
892.65/892.81	c #Conflicts:      14000 | #Learnt:       3879 | 0.006
892.65/892.81	c total clause space: 545.701MB
892.65/892.81	c total #watches: 6065224
939.75/939.94	c total #propagations: 4114947 / total #impl: 6686154448 (eff. 0.001)
939.75/939.94	c #Conflicts:      15000 | #Learnt:       4879 | 0.005
939.75/939.94	c total clause space: 545.701MB
939.75/939.94	c total #watches: 7188123
1012.64/1012.80	c total #propagations: 4356866 / total #impl: 7167463733 (eff. 0.001)
1012.64/1012.80	c #Conflicts:      16000 | #Learnt:       5879 | 0.005
1012.64/1012.80	c total clause space: 545.701MB
1012.64/1012.80	c total #watches: 7995147
1058.43/1058.62	c total #propagations: 4726176 / total #impl: 7892320801 (eff. 0.001)
1058.43/1058.62	c GC COLLECT
1058.43/1058.62	c #Conflicts:      17000 | #Learnt:       3698 | 0.005
1058.43/1058.62	c total clause space: 886.764MB
1058.43/1058.62	c total #watches: 6298083
1101.52/1101.71	c total #propagations: 4895804 / total #impl: 8556592139 (eff. 0.001)
1101.52/1101.71	c #Conflicts:      18000 | #Learnt:       4698 | 0.004
1101.52/1101.71	c total clause space: 886.764MB
1101.52/1101.71	c total #watches: 7621966
1152.91/1153.13	c total #propagations: 5133448 / total #impl: 9336368902 (eff. 0.001)
1152.91/1153.13	c #Conflicts:      19000 | #Learnt:       5698 | 0.004
1152.91/1153.13	c total clause space: 886.764MB
1152.91/1153.13	c total #watches: 9004275
1295.08/1295.36	c total #propagations: 5342795 / total #impl: 10182433921 (eff. 0.001)
1295.08/1295.36	c #Conflicts:      20000 | #Learnt:       6698 | 0.004
1295.08/1295.36	c total clause space: 886.764MB
1295.08/1295.36	c total #watches: 10079336
1422.66/1422.91	c total #propagations: 5670356 / total #impl: 11491519779 (eff. 0.000)
1422.66/1422.91	c GC COLLECT
1422.66/1422.91	c #Conflicts:      21000 | #Learnt:       4214 | 0.004
1422.66/1422.91	c total clause space: 886.764MB
1422.66/1422.91	c total #watches: 7334904
1543.34/1543.68	c total #propagations: 6000197 / total #impl: 12593348370 (eff. 0.000)
1543.34/1543.68	c #Conflicts:      22000 | #Learnt:       5214 | 0.004
1543.34/1543.68	c total clause space: 886.764MB
1543.34/1543.68	c total #watches: 8192131
1664.33/1664.64	c total #propagations: 6277906 / total #impl: 13319970166 (eff. 0.000)
1664.33/1664.64	c #Conflicts:      23000 | #Learnt:       6214 | 0.004
1664.33/1664.64	c total clause space: 886.764MB
1664.33/1664.64	c total #watches: 9078728

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-4109046-1466287075/watcher-4109046-1466287075 -o /tmp/evaluation-result-4109046-1466287075/solver-4109046-1466287075 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466277546-4296 --watchdog 1960 --input HOME/instance-4109046-1466287075.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=5947
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.00 2.00 2.00 3/176 5950
/proc/meminfo: memFree=29775600/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 30752410 57319424 7804 33554432000 4194304 6211289 140735563520320 140735274768120 4206551 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 13994 7804 98 493 0 13491 0

[startup+0.100166 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5950
/proc/meminfo: memFree=29775600/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=59556 CPUtime=0.09 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 1113 0 0 0 9 0 0 0 20 0 1 0 30752410 60985344 11541 33554432000 4194304 6211289 140735563520320 140735274768120 5252361 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 14889 11542 121 493 0 14386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59556

[startup+0.20035 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5950
/proc/meminfo: memFree=29775600/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=62624 CPUtime=0.18 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 1448 0 0 0 18 0 0 0 20 0 1 0 30752410 64126976 12131 33554432000 4194304 6211289 140735563520320 140735274768120 5418912 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 15656 12132 121 493 0 15153 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 62624

[startup+0.300326 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5950
/proc/meminfo: memFree=29775600/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=68756 CPUtime=0.29 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 1872 0 0 0 28 1 0 0 20 0 1 0 30752410 70406144 13065 33554432000 4194304 6211289 140735563520320 140735274768120 5418912 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 17189 13065 121 493 0 16686 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68756

[startup+0.700289 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5950
/proc/meminfo: memFree=29775600/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=81020 CPUtime=0.69 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 2377 0 0 0 68 1 0 0 20 0 1 0 30752410 82964480 15102 33554432000 4194304 6211289 140735563520320 140735563519160 5418912 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 20255 15102 121 493 0 19752 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81020

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5951
/proc/meminfo: memFree=29644444/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=170760 CPUtime=1.48 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 5465 0 0 0 145 3 0 0 20 0 1 0 30752410 174858240 39141 33554432000 4194304 6211289 140735563520320 140735563519160 5166400 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 42690 39141 144 493 0 42187 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 170760

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5951
/proc/meminfo: memFree=29574688/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=351424 CPUtime=3.09 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 10642 0 0 0 302 7 0 0 20 0 1 0 30752410 359858176 70259 33554432000 4194304 6211289 140735563520320 140735563517736 4227097 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 87856 70259 144 493 0 87353 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 351424

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5951
/proc/meminfo: memFree=29357252/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=482900 CPUtime=6.28 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 11757 0 0 0 619 9 0 0 20 0 1 0 30752410 494489600 105457 33554432000 4194304 6211289 140735563520320 140735563519016 4241570 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 120725 105457 204 493 0 120222 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 482900

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5951
/proc/meminfo: memFree=29324176/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=564288 CPUtime=12.69 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 11956 0 0 0 1258 11 0 0 20 0 1 0 30752410 577830912 112769 33554432000 4194304 6211289 140735563520320 140735563518664 4202153 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 141072 112769 214 493 0 140569 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 564288

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5951
/proc/meminfo: memFree=29300040/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=564288 CPUtime=25.49 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 11966 0 0 0 2538 11 0 0 20 0 1 0 30752410 577830912 117889 33554432000 4194304 6211289 140735563520320 140735563518664 4241730 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 141072 117889 214 493 0 140569 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 564288

[startup+51.1004 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 5951
/proc/meminfo: memFree=29226976/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=705932 CPUtime=51.08 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 14468 0 0 0 5095 13 0 0 20 0 1 0 30752410 722874368 135190 33554432000 4194304 6211289 140735563520320 140735563518664 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 176483 135190 219 493 0 175980 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 705932

[startup+102.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 5953
/proc/meminfo: memFree=29081636/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=946604 CPUtime=102.28 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 21101 0 0 0 10211 17 0 0 20 0 1 0 30752410 969322496 169392 33554432000 4194304 6211289 140735563520320 140735563518552 4209501 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 236651 169392 219 493 0 236148 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 946604

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 5957
/proc/meminfo: memFree=29074876/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=946796 CPUtime=162.26 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 22051 0 0 0 16209 17 0 0 20 0 1 0 30752410 969519104 170016 33554432000 4194304 6211289 140735563520320 140735563518664 4209380 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 236699 170016 219 493 0 236196 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 946796

[startup+222.308 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5981
/proc/meminfo: memFree=28017680/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=957500 CPUtime=222.26 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 24811 0 0 0 22208 18 0 0 20 0 1 0 30752410 980480000 177882 33554432000 4194304 6211289 140735563520320 140735563518312 4209306 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 239375 177882 219 493 0 238872 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 957500

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5982
/proc/meminfo: memFree=27935756/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=962124 CPUtime=282.25 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 26084 0 0 0 28205 20 0 0 20 0 1 0 30752410 985214976 196970 33554432000 4194304 6211289 140735563520320 140735563518232 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 240531 196970 219 493 0 240028 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 962124

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5983
/proc/meminfo: memFree=27918032/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=962688 CPUtime=342.24 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 26289 0 0 0 34204 20 0 0 20 0 1 0 30752410 985792512 197174 33554432000 4194304 6211289 140735563520320 140735563518232 4241789 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 240672 197174 219 493 0 240169 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 962688

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5985
/proc/meminfo: memFree=27894632/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=964076 CPUtime=402.23 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 26643 0 0 0 40203 20 0 0 20 0 1 0 30752410 987213824 197528 33554432000 4194304 6211289 140735563520320 140735563518184 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 241019 197528 219 493 0 240516 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 964076

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5986
/proc/meminfo: memFree=27801148/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=966424 CPUtime=462.22 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 27253 0 0 0 46201 21 0 0 20 0 1 0 30752410 989618176 213466 33554432000 4194304 6211289 140735563520320 140735563518312 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 241606 213466 219 493 0 241103 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 966424

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5987
/proc/meminfo: memFree=27795120/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=966600 CPUtime=522.21 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 27282 0 0 0 52200 21 0 0 20 0 1 0 30752410 989798400 213495 33554432000 4194304 6211289 140735563520320 140735563518664 4209392 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 241650 213495 219 493 0 241147 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 966600

[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 5988
/proc/meminfo: memFree=27782256/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=966600 CPUtime=582.2 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 27321 0 0 0 58199 21 0 0 20 0 1 0 30752410 989798400 213534 33554432000 4194304 6211289 140735563520320 140735563518664 4209304 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 241650 213534 219 493 0 241147 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 966600


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


[startup+942.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 5998
/proc/meminfo: memFree=27645668/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=975040 CPUtime=942.15 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 29312 0 0 0 94193 22 0 0 20 0 1 0 30752410 998440960 220124 33554432000 4194304 6211289 140735563520320 140735563518312 4209468 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 243760 220124 219 493 0 243257 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 975040

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6000
/proc/meminfo: memFree=27035252/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=990604 CPUtime=1002.14 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 32827 0 0 0 100191 23 0 0 20 0 1 0 30752410 1014378496 225683 33554432000 4194304 6211289 140735563520320 140735563518312 4202003 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 247651 225683 219 493 0 247148 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 990604

[startup+1062.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 6001
/proc/meminfo: memFree=21168180/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=1358972 CPUtime=1062.13 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 37886 0 0 0 106189 24 0 0 20 0 1 0 30752410 1391587328 245231 33554432000 4194304 6211289 140735563520320 140735563518664 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 339743 245231 219 493 0 339240 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1358972

[startup+1122.3 s]
/proc/loadavg: 2.87 2.22 2.06 2/178 6003
/proc/meminfo: memFree=13253064/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=1359324 CPUtime=1122.12 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 38084 0 0 0 112188 24 0 0 20 0 1 0 30752410 1391947776 245427 33554432000 4194304 6211289 140735563520320 140735563518312 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 339831 245427 219 493 0 339328 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1359324

[startup+1182.3 s]
/proc/loadavg: 4.22 2.72 2.25 3/178 6004
/proc/meminfo: memFree=9253888/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=1369080 CPUtime=1182.1 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 40484 0 0 0 118184 26 0 0 20 0 1 0 30752410 1401937920 271902 33554432000 4194304 6211289 140735563520320 140735563518184 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 342270 271902 219 493 0 341767 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1369080

[startup+1242.3 s]
/proc/loadavg: 4.74 3.15 2.42 2/178 6005
/proc/meminfo: memFree=9294388/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=1377552 CPUtime=1242.1 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 42403 0 0 0 124182 28 0 0 20 0 1 0 30752410 1410613248 285033 33554432000 4194304 6211289 140735563520320 140735563518312 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 344388 285033 219 493 0 343885 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1377552

[startup+1302.3 s]
/proc/loadavg: 4.35 3.37 2.54 2/171 6039
/proc/meminfo: memFree=30625492/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=1379740 CPUtime=1302.08 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 42914 0 0 0 130180 28 0 0 20 0 1 0 30752410 1412853760 293206 33554432000 4194304 6211289 140735563520320 140735563518232 4209497 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 344935 293206 219 493 0 344432 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1379740

[startup+1362.3 s]
/proc/loadavg: 2.23 2.93 2.44 2/171 6042
/proc/meminfo: memFree=30601980/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=1381688 CPUtime=1362.07 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 43433 0 0 0 136178 29 0 0 20 0 1 0 30752410 1414848512 300328 33554432000 4194304 6211289 140735563520320 140735563518312 4209403 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 345422 300328 219 493 0 344919 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1381688

[startup+1422.3 s]
/proc/loadavg: 1.52 2.60 2.35 2/170 6043
/proc/meminfo: memFree=30601928/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=1381820 CPUtime=1422.06 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 43485 0 0 0 142177 29 0 0 20 0 1 0 30752410 1414983680 300369 33554432000 4194304 6211289 140735563520320 140735563518232 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 345455 300369 219 493 0 344952 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1381820

[startup+1482.3 s]
/proc/loadavg: 1.19 2.30 2.27 2/170 6044
/proc/meminfo: memFree=30602132/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=1381820 CPUtime=1482.05 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 43554 0 0 0 148176 29 0 0 20 0 1 0 30752410 1414983680 300438 33554432000 4194304 6211289 140735563520320 140735563518664 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 345455 300438 219 493 0 344952 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1381820

[startup+1542.3 s]
/proc/loadavg: 1.13 2.08 2.19 2/170 6045
/proc/meminfo: memFree=30602116/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=1381820 CPUtime=1542.04 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 43556 0 0 0 154175 29 0 0 20 0 1 0 30752410 1414983680 300440 33554432000 4194304 6211289 140735563520320 140735563518664 4209328 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 345455 300440 219 493 0 344952 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1381820

[startup+1602.3 s]
/proc/loadavg: 1.05 1.88 2.11 2/169 6046
/proc/meminfo: memFree=30602220/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=1381820 CPUtime=1602.03 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 43572 0 0 0 160174 29 0 0 20 0 1 0 30752410 1414983680 300456 33554432000 4194304 6211289 140735563520320 140735563518664 4209403 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 345455 300456 219 493 0 344952 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1381820

[startup+1662.3 s]
/proc/loadavg: 1.02 1.72 2.04 2/170 6048
/proc/meminfo: memFree=30601984/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=1382040 CPUtime=1662.02 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 43612 0 0 0 166173 29 0 0 20 0 1 0 30752410 1415208960 300496 33554432000 4194304 6211289 140735563520320 140735563518232 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 345510 300496 219 493 0 345007 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1382040

[startup+1722.3 s]
/proc/loadavg: 1.00 1.58 1.97 2/170 6049
/proc/meminfo: memFree=30601284/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=1382864 CPUtime=1722.01 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 43775 0 0 0 172172 29 0 0 20 0 1 0 30752410 1416052736 300659 33554432000 4194304 6211289 140735563520320 140735563518232 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 345716 300659 219 493 0 345213 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1382864

[startup+1782.3 s]
/proc/loadavg: 1.00 1.47 1.91 2/170 6050
/proc/meminfo: memFree=30600308/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=1383352 CPUtime=1782.01 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 43901 0 0 0 178172 29 0 0 20 0 1 0 30752410 1416552448 300785 33554432000 4194304 6211289 140735563520320 140735563518232 4209304 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 345838 300785 219 493 0 345335 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1383352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.00 1.44 1.89 2/170 6050
/proc/meminfo: memFree=30599904/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=1383608 CPUtime=1800 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 43992 0 0 0 179971 29 0 0 20 0 1 0 30752410 1416814592 300876 33554432000 4194304 6211289 140735563520320 140735563518312 4209314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 345902 300876 219 493 0 345399 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1383608

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

[startup+1800.3 s]
/proc/loadavg: 1.00 1.44 1.89 2/170 6050
/proc/meminfo: memFree=30599904/32872528 swapFree=7780/7780
[pid=5950] ppid=5947 vsize=1383608 CPUtime=1800 cores=1,3,5,7
/proc/5950/stat : 5950 (cdcl-cuttingpla) R 5947 5950 4279 0 -1 4202496 43992 0 0 0 179971 29 0 0 20 0 1 0 30752410 1416814592 300876 33554432000 4194304 6211289 140735563520320 140735563518312 4209314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/5950/statm: 345902 300876 219 493 0 345399 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1383608

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.71
CPU system time (s): 0.302953
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 1383608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.302953
maximum resident set size= 1203504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43992
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= 33
involuntary context switches= 1849

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46032 second user time and 7.71183 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 23:57:56
IDJOB=4109046
IDBENCH=89833
IDSOLVER=2549
FILE ID=node151/4109046-1466287075
RUNJOBID= node151-1466277546-4296
PBS_JOBID= 19918274
Free space on /tmp= 71716 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-wnq-n100-mw99-14.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109046-1466287075/watcher-4109046-1466287075 -o /tmp/evaluation-result-4109046-1466287075/solver-4109046-1466287075 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466277546-4296 --watchdog 1960 --input HOME/instance-4109046-1466287075.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 2e1ece70ffcdb5c744c137a2f475d27d
RANDOM SEED=1117079929

node151.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.103
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.20
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.103
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.103
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		: 2667.103
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.103
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		: 2667.103
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		: 2667.103
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.56
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.103
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:        29775980 kB
Buffers:           97788 kB
Cached:           331800 kB
SwapCached:         1932 kB
Active:          1982088 kB
Inactive:         359940 kB
Active(anon):    1881328 kB
Inactive(anon):    33164 kB
Active(file):     100760 kB
Inactive(file):   326776 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             19212 kB
Writeback:             0 kB
AnonPages:       1923364 kB
Mapped:             9080 kB
Shmem:                 0 kB
Slab:             609644 kB
SReclaimable:      52812 kB
SUnreclaim:       556832 kB
KernelStack:        1456 kB
PageTables:         7872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3045480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    757760 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= 71724 MiB
End job on node151 at 2016-06-19 00:27:56