Trace number 4118914

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT linear search 2016-05-01? (TO) 1800.02 1800.3

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-30.lin.opb
MD5SUMd12eb0204dff45ebdfbfd2b7f4b095c0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2848
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6412
Total number of constraints12764
Number of constraints which are clauses6382
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6382
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 6412
Biggest coefficient in the objective function 846
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 204620
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 846
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 204620
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 6412 #constraint= 12764
58.88/58.97	c #Conflicts:       1000 | #Learnt:       1026 | 0.000
58.88/58.97	c total clause space: 127.173MB
58.88/58.97	c total #watches: 260969
111.27/111.31	c total #propagations: 485423 / total #impl: 6283269 (eff. 0.077)
111.27/111.31	c #Conflicts:       2000 | #Learnt:       2026 | 0.000
111.27/111.31	c total clause space: 335.816MB
111.27/111.31	c total #watches: 315865
151.87/151.99	c total #propagations: 811152 / total #impl: 10205434 (eff. 0.079)
151.87/151.99	c GC COLLECT
151.87/151.99	c #Conflicts:       3000 | #Learnt:       2044 | 0.000
151.87/151.99	c total clause space: 335.816MB
151.87/151.99	c total #watches: 277847
216.76/216.85	c total #propagations: 1044363 / total #impl: 13900711 (eff. 0.075)
216.76/216.85	c #Conflicts:       4000 | #Learnt:       3044 | 0.000
216.76/216.85	c total clause space: 545.701MB
216.76/216.85	c total #watches: 312880
273.44/273.59	c total #propagations: 1413065 / total #impl: 18018007 (eff. 0.078)
273.44/273.59	c GC COLLECT
273.44/273.59	c #Conflicts:       5000 | #Learnt:       2400 | 0.000
273.44/273.59	c total clause space: 545.701MB
273.44/273.59	c total #watches: 250700
326.03/326.12	c total #propagations: 1865206 / total #impl: 21499304 (eff. 0.087)
326.03/326.12	c #Conflicts:       6000 | #Learnt:       3400 | 0.000
326.03/326.12	c total clause space: 545.701MB
326.03/326.12	c total #watches: 253524
373.83/373.92	c total #propagations: 2434830 / total #impl: 23900509 (eff. 0.102)
373.83/373.92	c GC COLLECT
373.83/373.92	c #Conflicts:       7000 | #Learnt:       2283 | 0.000
373.83/373.92	c total clause space: 545.701MB
373.83/373.92	c total #watches: 217965
404.33/404.40	c total #propagations: 2834006 / total #impl: 29280061 (eff. 0.097)
404.33/404.40	c #Conflicts:       8000 | #Learnt:       3283 | 0.000
404.33/404.40	c total clause space: 545.701MB
404.33/404.40	c total #watches: 220074
437.82/437.98	c total #propagations: 3175021 / total #impl: 31765688 (eff. 0.100)
437.82/437.98	c #Conflicts:       9000 | #Learnt:       4283 | 0.000
437.82/437.98	c total clause space: 545.701MB
437.82/437.98	c total #watches: 306213
496.31/496.44	c total #propagations: 3441453 / total #impl: 35829653 (eff. 0.096)
496.31/496.44	c GC COLLECT
496.31/496.44	c #Conflicts:      10000 | #Learnt:       2772 | 0.000
496.31/496.44	c total clause space: 545.701MB
496.31/496.44	c total #watches: 313979
556.40/556.55	c total #propagations: 3849129 / total #impl: 39913825 (eff. 0.096)
556.40/556.55	c #Conflicts:      11000 | #Learnt:       3772 | 0.000
556.40/556.55	c total clause space: 545.701MB
556.40/556.55	c total #watches: 316089
614.30/614.46	c total #propagations: 4231819 / total #impl: 43057587 (eff. 0.098)
614.30/614.46	c #Conflicts:      12000 | #Learnt:       4772 | 0.000
614.30/614.46	c total clause space: 545.701MB
614.30/614.46	c total #watches: 359674
690.08/690.29	c total #propagations: 4515931 / total #impl: 46508727 (eff. 0.097)
690.08/690.29	c #Conflicts:      13000 | #Learnt:       5772 | 0.000
690.08/690.29	c total clause space: 886.764MB
690.08/690.29	c total #watches: 367488
725.58/725.75	c total #propagations: 5037500 / total #impl: 49129523 (eff. 0.103)
725.58/725.75	c GC COLLECT
725.58/725.75	c #Conflicts:      14000 | #Learnt:       3910 | 0.000
725.58/725.75	c total clause space: 886.764MB
725.58/725.75	c total #watches: 297214
770.67/770.83	c total #propagations: 5237297 / total #impl: 51453531 (eff. 0.102)
770.67/770.83	c #Conflicts:      15000 | #Learnt:       4910 | 0.000
770.67/770.83	c total clause space: 886.764MB
770.67/770.83	c total #watches: 331820
813.36/813.54	c total #propagations: 5438156 / total #impl: 53980271 (eff. 0.101)
813.36/813.54	c #Conflicts:      16000 | #Learnt:       5910 | 0.000
813.36/813.54	c total clause space: 886.764MB
813.36/813.54	c total #watches: 349202
878.25/878.46	c total #propagations: 5591630 / total #impl: 56518983 (eff. 0.099)
878.25/878.46	c GC COLLECT
878.25/878.46	c #Conflicts:      17000 | #Learnt:       3734 | 0.000
878.25/878.46	c total clause space: 886.764MB
878.25/878.46	c total #watches: 323689
949.64/949.80	c total #propagations: 5845889 / total #impl: 58954290 (eff. 0.099)
949.64/949.80	c #Conflicts:      18000 | #Learnt:       4734 | 0.000
949.64/949.80	c total clause space: 886.764MB
949.64/949.80	c total #watches: 398046
1052.33/1052.53	c total #propagations: 6137183 / total #impl: 62508311 (eff. 0.098)
1052.33/1052.53	c #Conflicts:      19000 | #Learnt:       5734 | 0.000
1052.33/1052.53	c total clause space: 886.764MB
1052.33/1052.53	c total #watches: 466936
1162.11/1162.37	c total #propagations: 6463579 / total #impl: 66253984 (eff. 0.098)
1162.11/1162.37	c #Conflicts:      20000 | #Learnt:       6734 | 0.000
1162.11/1162.37	c total clause space: 886.764MB
1162.11/1162.37	c total #watches: 483898
1256.00/1256.26	c total #propagations: 6900932 / total #impl: 69266023 (eff. 0.100)
1256.00/1256.26	c GC COLLECT
1256.00/1256.26	c #Conflicts:      21000 | #Learnt:       4249 | 0.000
1256.00/1256.26	c total clause space: 886.764MB
1256.00/1256.26	c total #watches: 385601
1337.58/1337.80	c total #propagations: 7407795 / total #impl: 72199374 (eff. 0.103)
1337.58/1337.80	c #Conflicts:      22000 | #Learnt:       5249 | 0.000
1337.58/1337.80	c total clause space: 886.764MB
1337.58/1337.80	c total #watches: 393882
1427.77/1428.06	c total #propagations: 7907673 / total #impl: 74904624 (eff. 0.106)
1427.77/1428.06	c #Conflicts:      23000 | #Learnt:       6249 | 0.000
1427.77/1428.06	c total clause space: 886.764MB
1427.77/1428.06	c total #watches: 416713
1523.15/1523.46	c total #propagations: 8339879 / total #impl: 77571442 (eff. 0.108)
1523.15/1523.46	c #Conflicts:      24000 | #Learnt:       7249 | 0.000
1523.15/1523.46	c total clause space: 886.764MB
1523.15/1523.46	c total #watches: 453871
1583.44/1583.73	c total #propagations: 8870239 / total #impl: 80534783 (eff. 0.110)
1583.44/1583.73	c GC COLLECT
1583.44/1583.73	c #Conflicts:      25000 | #Learnt:       4460 | 0.000
1583.44/1583.73	c total clause space: 886.764MB
1583.44/1583.73	c total #watches: 302428
1616.44/1616.71	c total #propagations: 9123187 / total #impl: 82939606 (eff. 0.110)
1616.44/1616.71	c #Conflicts:      26000 | #Learnt:       5460 | 0.000
1616.44/1616.71	c total clause space: 886.764MB
1616.44/1616.71	c total #watches: 441231
1657.84/1658.18	c total #propagations: 9254533 / total #impl: 86177940 (eff. 0.107)
1657.84/1658.18	c #Conflicts:      27000 | #Learnt:       6460 | 0.000
1657.84/1658.18	c total clause space: 886.764MB
1657.84/1658.18	c total #watches: 670593

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-4118914-1467229430/watcher-4118914-1467229430 -o /tmp/evaluation-result-4118914-1467229430/solver-4118914-1467229430 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467210315-2001 --watchdog 1960 --input HOME/instance-4118914-1467229430.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=3893
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 3896
/proc/meminfo: memFree=31194284/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 253 0 0 0 0 0 0 0 20 0 1 0 1974339 29810688 5245 33554432000 4194304 6201397 140735145451936 140735370053560 5495519 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/3896/statm: 7278 5252 114 491 0 6777 0

[startup+0.100117 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 3896
/proc/meminfo: memFree=31194284/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=34504 CPUtime=0.09 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 1169 0 0 0 9 0 0 0 20 0 1 0 1974339 35332096 7417 33554432000 4194304 6201397 140735145451936 140735370053560 4213257 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/3896/statm: 8626 7417 146 491 0 8125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34504

[startup+0.20031 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 3896
/proc/meminfo: memFree=31194284/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=34780 CPUtime=0.19 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 1236 0 0 0 19 0 0 0 20 0 1 0 1974339 35614720 7484 33554432000 4194304 6201397 140735145451936 140735370053560 4213253 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/3896/statm: 8695 7484 146 491 0 8194 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34780

[startup+0.300218 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 3896
/proc/meminfo: memFree=31194284/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=34940 CPUtime=0.29 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 1292 0 0 0 29 0 0 0 20 0 1 0 1974339 35778560 7539 33554432000 4194304 6201397 140735145451936 140735370053560 4213253 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/3896/statm: 8735 7539 146 491 0 8234 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34940

[startup+0.700189 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 3896
/proc/meminfo: memFree=31194284/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=35260 CPUtime=0.69 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 1403 0 0 0 69 0 0 0 20 0 1 0 1974339 36106240 7646 33554432000 4194304 6201397 140735145451936 140735145450504 4213268 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/3896/statm: 8815 7646 146 491 0 8314 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35260

[startup+1.50018 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 3897
/proc/meminfo: memFree=31164172/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=38252 CPUtime=1.49 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 1559 0 0 0 149 0 0 0 20 0 1 0 1974339 39170048 7796 33554432000 4194304 6201397 140735145451936 140735145450504 4213253 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/3896/statm: 9563 7796 147 491 0 9062 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38252

[startup+3.10018 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 3897
/proc/meminfo: memFree=31163428/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=42968 CPUtime=3.09 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 1797 0 0 0 309 0 0 0 20 0 1 0 1974339 43999232 8018 33554432000 4194304 6201397 140735145451936 140735145450504 4213257 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/3896/statm: 10742 8018 147 491 0 10241 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42968

[startup+6.30018 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 3897
/proc/meminfo: memFree=31159432/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=43724 CPUtime=6.29 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 1999 0 0 0 629 0 0 0 20 0 1 0 1974339 44773376 8718 33554432000 4194304 6201397 140735145451936 140735145450504 4213168 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/3896/statm: 10931 8718 147 491 0 10430 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43724

[startup+12.7002 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 3897
/proc/meminfo: memFree=31151716/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=62992 CPUtime=12.69 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 2432 0 0 0 1269 0 0 0 20 0 1 0 1974339 64503808 10641 33554432000 4194304 6201397 140735145451936 140735145450968 4213253 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/3896/statm: 15748 10641 147 491 0 15247 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62992

[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 3897
/proc/meminfo: memFree=31128104/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=83044 CPUtime=25.48 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 2924 0 0 0 2548 0 0 0 20 0 1 0 1974339 85037056 17218 33554432000 4194304 6201397 140735145451936 140735145450888 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 20761 17218 147 491 0 20260 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83044

[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3897
/proc/meminfo: memFree=31069244/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=164540 CPUtime=51.08 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 3409 0 0 0 5107 1 0 0 20 0 1 0 1974339 168488960 30442 33554432000 4194304 6201397 140735145451936 140735145450776 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 41135 30442 147 491 0 40634 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 164540

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3898
/proc/meminfo: memFree=30946804/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=379352 CPUtime=102.28 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 4067 0 0 0 10225 3 0 0 20 0 1 0 1974339 388456448 57638 33554432000 4194304 6201397 140735145451936 140735145450600 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 94838 57638 160 491 0 94337 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 379352

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3899
/proc/meminfo: memFree=30882964/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=380172 CPUtime=162.27 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 8202 0 0 0 16223 4 0 0 20 0 1 0 1974339 389296128 73486 33554432000 4194304 6201397 140735145451936 140735145450888 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 95043 73486 166 491 0 94542 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 380172

[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3901
/proc/meminfo: memFree=30778992/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=597136 CPUtime=222.26 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 8926 0 0 0 22220 6 0 0 20 0 1 0 1974339 611467264 97696 33554432000 4194304 6201397 140735145451936 140735145450888 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 149284 97696 166 491 0 148783 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 597136

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3902
/proc/meminfo: memFree=30745284/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=597252 CPUtime=282.24 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 9681 0 0 0 28218 6 0 0 20 0 1 0 1974339 611586048 104200 33554432000 4194304 6201397 140735145451936 140735145451064 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 149313 104200 166 491 0 148812 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 597252

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3903
/proc/meminfo: memFree=30723684/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=597252 CPUtime=342.23 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 9833 0 0 0 34217 6 0 0 20 0 1 0 1974339 611586048 107928 33554432000 4194304 6201397 140735145451936 140735145451064 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 149313 107928 166 491 0 148812 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 597252

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3907
/proc/meminfo: memFree=30652504/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=597300 CPUtime=402.23 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 10115 0 0 0 40216 7 0 0 20 0 1 0 1974339 611635200 123993 33554432000 4194304 6201397 140735145451936 140735145451064 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 149325 123993 166 491 0 148824 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 597300

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3908
/proc/meminfo: memFree=30591736/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=597624 CPUtime=462.21 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 10275 0 0 0 46213 8 0 0 20 0 1 0 1974339 611966976 138451 33554432000 4194304 6201397 140735145451936 140735145450888 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 149406 138451 166 491 0 148905 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 597624

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3910
/proc/meminfo: memFree=30552660/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=597792 CPUtime=522.2 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 10375 0 0 0 52212 8 0 0 20 0 1 0 1974339 612139008 147238 33554432000 4194304 6201397 140735145451936 140735145450888 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 149448 147238 166 491 0 148947 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 597792

[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3911
/proc/meminfo: memFree=30543912/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=598020 CPUtime=582.19 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 10433 0 0 0 58211 8 0 0 20 0 1 0 1974339 612372480 147295 33554432000 4194304 6201397 140735145451936 140735145450888 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 149505 147295 166 491 0 149004 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 598020


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


[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3964
/proc/meminfo: memFree=30454808/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=948988 CPUtime=942.14 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 11729 0 0 0 94202 12 0 0 20 0 1 0 1974339 971763712 193687 33554432000 4194304 6201397 140735145451936 140735145450888 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 237247 193687 166 491 0 236746 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 948988

[startup+1002.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 3968
/proc/meminfo: memFree=30448240/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=950088 CPUtime=1002.13 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 12063 0 0 0 100201 12 0 0 20 0 1 0 1974339 972890112 194021 33554432000 4194304 6201397 140735145451936 140735145450888 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 237522 194021 166 491 0 237021 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 950088

[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 3992
/proc/meminfo: memFree=30444280/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=950952 CPUtime=1062.13 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 12281 0 0 0 106200 13 0 0 20 0 1 0 1974339 973774848 194239 33554432000 4194304 6201397 140735145451936 140735145450888 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 237738 194239 166 491 0 237237 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 950952

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3994
/proc/meminfo: memFree=30395504/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=954352 CPUtime=1122.12 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 13129 0 0 0 112199 13 0 0 20 0 1 0 1974339 977256448 195087 33554432000 4194304 6201397 140735145451936 140735145450888 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 238588 195087 166 491 0 238087 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 954352

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3995
/proc/meminfo: memFree=30309916/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=956024 CPUtime=1182.1 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 13576 0 0 0 118197 13 0 0 20 0 1 0 1974339 978968576 210353 33554432000 4194304 6201397 140735145451936 140735145450888 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 239006 210353 166 491 0 238505 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 956024

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3996
/proc/meminfo: memFree=30258956/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=956192 CPUtime=1242.1 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 13622 0 0 0 124196 14 0 0 20 0 1 0 1974339 979140608 212954 33554432000 4194304 6201397 140735145451936 140735145450888 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 239048 212954 166 491 0 238547 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 956192

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3997
/proc/meminfo: memFree=30221404/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=956192 CPUtime=1302.09 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 13624 0 0 0 130195 14 0 0 20 0 1 0 1974339 979140608 212956 33554432000 4194304 6201397 140735145451936 140735145451064 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 239048 212956 166 491 0 238547 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 956192

[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 3998
/proc/meminfo: memFree=30190316/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=956192 CPUtime=1362.08 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 13695 0 0 0 136194 14 0 0 20 0 1 0 1974339 979140608 213027 33554432000 4194304 6201397 140735145451936 140735145451064 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 239048 213027 166 491 0 238547 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 956192

[startup+1422.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 3999
/proc/meminfo: memFree=30148980/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=956192 CPUtime=1422.08 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 13695 0 0 0 142194 14 0 0 20 0 1 0 1974339 979140608 213027 33554432000 4194304 6201397 140735145451936 140735145451064 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 239048 213027 166 491 0 238547 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 956192

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4001
/proc/meminfo: memFree=30148836/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=956192 CPUtime=1482.06 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 13695 0 0 0 148192 14 0 0 20 0 1 0 1974339 979140608 213027 33554432000 4194304 6201397 140735145451936 140735145451064 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 239048 213027 166 491 0 238547 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 956192

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4002
/proc/meminfo: memFree=30148712/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=956192 CPUtime=1542.06 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 13695 0 0 0 154192 14 0 0 20 0 1 0 1974339 979140608 213027 33554432000 4194304 6201397 140735145451936 140735145451064 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 239048 213027 166 491 0 238547 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 956192

[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 4006
/proc/meminfo: memFree=30134400/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=956200 CPUtime=1602.04 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 13811 0 0 0 160190 14 0 0 20 0 1 0 1974339 979148800 216613 33554432000 4194304 6201397 140735145451936 140735145450888 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 239050 216613 166 491 0 238549 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 956200

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4007
/proc/meminfo: memFree=30133788/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=956748 CPUtime=1662.04 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 14321 0 0 0 166189 15 0 0 20 0 1 0 1974339 979709952 216787 33554432000 4194304 6201397 140735145451936 140735145451064 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 239187 216787 166 491 0 238686 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 956748

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4008
/proc/meminfo: memFree=30088052/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=958336 CPUtime=1722.03 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 14767 0 0 0 172188 15 0 0 20 0 1 0 1974339 981336064 217178 33554432000 4194304 6201397 140735145451936 140735145450888 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 239584 217178 166 491 0 239083 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 958336

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4010
/proc/meminfo: memFree=30060056/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=958672 CPUtime=1782.02 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 14852 0 0 0 178187 15 0 0 20 0 1 0 1974339 981680128 217263 33554432000 4194304 6201397 140735145451936 140735145450888 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 239668 217263 166 491 0 239167 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 958672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4010
/proc/meminfo: memFree=30050068/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=958864 CPUtime=1800.01 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 14904 0 0 0 179986 15 0 0 20 0 1 0 1974339 981876736 219359 33554432000 4194304 6201397 140735145451936 140735145450888 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 239716 219359 166 491 0 239215 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 958864

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4010
/proc/meminfo: memFree=30050068/32872528 swapFree=170020/176152
[pid=3896] ppid=3893 vsize=958864 CPUtime=1800.01 cores=0,2,4,6
/proc/3896/stat : 3896 (cdcl-cuttingpla) R 3893 3896 1985 0 -1 4202496 14904 0 0 0 179986 15 0 0 20 0 1 0 1974339 981876736 219359 33554432000 4194304 6201397 140735145451936 140735145450888 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/3896/statm: 239716 219359 166 491 0 239215 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 958864

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.87
CPU system time (s): 0.156976
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 958864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.156976
maximum resident set size= 877436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14904
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= 9
involuntary context switches= 2032

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.65799 second user time and 10.1565 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-29 21:43:50
IDJOB=4118914
IDBENCH=111546
IDSOLVER=2550
FILE ID=node105/4118914-1467229430
RUNJOBID= node105-1467210315-2001
PBS_JOBID= 19997600
Free space on /tmp= 71736 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-30.lin.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118914-1467229430/watcher-4118914-1467229430 -o /tmp/evaluation-result-4118914-1467229430/solver-4118914-1467229430 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467210315-2001 --watchdog 1960 --input HOME/instance-4118914-1467229430.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= d12eb0204dff45ebdfbfd2b7f4b095c0
RANDOM SEED=235989307

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31194820 kB
Buffers:           64128 kB
Cached:           286040 kB
SwapCached:            0 kB
Active:           516056 kB
Inactive:         277728 kB
Active(anon):     446572 kB
Inactive(anon):        4 kB
Active(file):      69484 kB
Inactive(file):   277724 kB
Unevictable:      176152 kB
Mlocked:          170020 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2748 kB
Writeback:             0 kB
AnonPages:        738592 kB
Mapped:            14464 kB
Shmem:               204 kB
Slab:             577200 kB
SReclaimable:      21536 kB
SUnreclaim:       555664 kB
KernelStack:        1472 kB
PageTables:         5304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     926668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    542720 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= 71732 MiB
End job on node105 at 2016-06-29 22:13:51