Trace number 4101816

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.1 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-air04.opb
MD5SUM642713e12b3477ef4c8327a12a399c0f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5967
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5953
Optimality of the best value was proved NO
Number of variables8904
Total number of constraints823
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)823
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint368
Number of terms in the objective function 8904
Biggest coefficient in the objective function 231
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 528751
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 231
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 528751
Number of bits of the biggest sum of numbers20
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= 8904 #constraint= 823
0.68/0.74	c #Conflicts:       1000 | #Learnt:        935 | 0.738
0.68/0.74	c total clause space: 11.2235MB
0.68/0.74	c total #watches: 209693
4.40/4.43	c total #propagations: 770922 / total #impl: 7952686 (eff. 0.097)
4.40/4.43	c #Conflicts:       2000 | #Learnt:       1918 | 0.702
4.40/4.43	c total clause space: 29.637MB
4.40/4.43	c total #watches: 415713
13.19/13.27	c total #propagations: 1301210 / total #impl: 22880918 (eff. 0.057)
13.19/13.27	c GC COLLECT
13.19/13.27	c #Conflicts:       3000 | #Learnt:       1997 | 0.572
13.19/13.27	c total clause space: 29.637MB
13.19/13.27	c total #watches: 514626
27.28/27.34	c total #propagations: 1798369 / total #impl: 36554686 (eff. 0.049)
27.28/27.34	c #Conflicts:       4000 | #Learnt:       2993 | 0.480
27.28/27.34	c total clause space: 48.1602MB
27.28/27.34	c total #watches: 766919
45.38/45.44	c total #propagations: 2206261 / total #impl: 53180570 (eff. 0.041)
45.38/45.44	c GC COLLECT
45.38/45.44	c #Conflicts:       5000 | #Learnt:       2392 | 0.426
45.38/45.44	c total clause space: 78.2603MB
45.38/45.44	c total #watches: 640845
62.69/62.76	c total #propagations: 2768845 / total #impl: 70706770 (eff. 0.039)
62.69/62.76	c #Conflicts:       6000 | #Learnt:       3389 | 0.409
62.69/62.76	c total clause space: 78.2603MB
62.69/62.76	c total #watches: 884297
84.18/84.20	c total #propagations: 3236671 / total #impl: 93830835 (eff. 0.034)
84.18/84.20	c GC COLLECT
84.18/84.20	c #Conflicts:       7000 | #Learnt:       2308 | 0.438
84.18/84.20	c total clause space: 78.2603MB
84.18/84.20	c total #watches: 685132
98.47/98.59	c total #propagations: 3580680 / total #impl: 120357607 (eff. 0.030)
98.47/98.59	c #Conflicts:       8000 | #Learnt:       3320 | 0.421
98.47/98.59	c total clause space: 78.2603MB
98.47/98.59	c total #watches: 1244893
145.77/145.87	c total #propagations: 3798098 / total #impl: 182474879 (eff. 0.021)
145.77/145.87	c #Conflicts:       9000 | #Learnt:       4328 | 0.392
145.77/145.87	c total clause space: 127.173MB
145.77/145.87	c total #watches: 1672218
213.35/213.48	c total #propagations: 4113181 / total #impl: 239245361 (eff. 0.017)
213.35/213.48	c GC COLLECT
213.35/213.48	c #Conflicts:      10000 | #Learnt:       2797 | 0.370
213.35/213.48	c total clause space: 127.173MB
213.35/213.48	c total #watches: 1170047
249.84/249.97	c total #propagations: 4596143 / total #impl: 259317646 (eff. 0.018)
249.84/249.97	c #Conflicts:      11000 | #Learnt:       3796 | 0.386
249.84/249.97	c total clause space: 127.173MB
249.84/249.97	c total #watches: 1456066
303.83/303.95	c total #propagations: 5052368 / total #impl: 283827956 (eff. 0.018)
303.83/303.95	c #Conflicts:      12000 | #Learnt:       4794 | 0.383
303.83/303.95	c total clause space: 127.173MB
303.83/303.95	c total #watches: 1811032
362.93/363.09	c total #propagations: 5464959 / total #impl: 320748017 (eff. 0.017)
362.93/363.09	c #Conflicts:      13000 | #Learnt:       5794 | 0.385
362.93/363.09	c total clause space: 127.173MB
362.93/363.09	c total #watches: 2291781
400.02/400.15	c total #propagations: 5807105 / total #impl: 351423947 (eff. 0.017)
400.02/400.15	c GC COLLECT
400.02/400.15	c #Conflicts:      14000 | #Learnt:       3964 | 0.369
400.02/400.15	c total clause space: 127.173MB
400.02/400.15	c total #watches: 1836592
435.91/436.01	c total #propagations: 6103376 / total #impl: 385048379 (eff. 0.016)
435.91/436.01	c #Conflicts:      15000 | #Learnt:       4964 | 0.356
435.91/436.01	c total clause space: 127.173MB
435.91/436.01	c total #watches: 2232631
526.20/526.32	c total #propagations: 6260178 / total #impl: 448064760 (eff. 0.014)
526.20/526.32	c #Conflicts:      16000 | #Learnt:       5959 | 0.349
526.20/526.32	c total clause space: 206.656MB
526.20/526.32	c total #watches: 2543421
558.99/559.15	c total #propagations: 6603157 / total #impl: 472953406 (eff. 0.014)
558.99/559.15	c GC COLLECT
558.99/559.15	c #Conflicts:      17000 | #Learnt:       3826 | 0.342
558.99/559.15	c total clause space: 206.656MB
558.99/559.15	c total #watches: 2331827
592.59/592.70	c total #propagations: 6708940 / total #impl: 593821148 (eff. 0.011)
592.59/592.70	c #Conflicts:      18000 | #Learnt:       4826 | 0.323
592.59/592.70	c total clause space: 206.656MB
592.59/592.70	c total #watches: 3395913
685.67/685.87	c total #propagations: 6764032 / total #impl: 828412465 (eff. 0.008)
685.67/685.87	c #Conflicts:      19000 | #Learnt:       5826 | 0.306
685.67/685.87	c total clause space: 335.816MB
685.67/685.87	c total #watches: 4543724
969.83/970.03	c total #propagations: 6839994 / total #impl: 1143064305 (eff. 0.006)
969.83/970.03	c #Conflicts:      20000 | #Learnt:       6824 | 0.297
969.83/970.03	c total clause space: 335.816MB
969.83/970.03	c total #watches: 5187713
1419.06/1419.39	c total #propagations: 7027006 / total #impl: 1377117179 (eff. 0.005)
1419.06/1419.39	c GC COLLECT
1419.06/1419.39	c #Conflicts:      21000 | #Learnt:       4386 | 0.297
1419.06/1419.39	c total clause space: 335.816MB
1419.06/1419.39	c total #watches: 3551484

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-4101816-1466255315/watcher-4101816-1466255315 -o /tmp/evaluation-result-4101816-1466255315/solver-4101816-1466255315 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466229594-24204 --watchdog 1960 --input HOME/instance-4101816-1466255315.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=27159
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.31 2.26 2.25 4/176 27162
/proc/meminfo: memFree=29992988/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 27579920 29810688 5268 33554432000 4194304 6201397 140734898489424 140733570323384 4210960 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 7278 5268 130 491 0 6777 0

[startup+0.100125 s]
/proc/loadavg: 2.31 2.26 2.25 4/176 27162
/proc/meminfo: memFree=29992988/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=37716 CPUtime=0.09 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 1933 0 0 0 9 0 0 0 20 0 1 0 27579920 38621184 7916 33554432000 4194304 6201397 140734898489424 140733570323384 4213365 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 9429 7916 147 491 0 8928 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37716

[startup+0.200317 s]
/proc/loadavg: 2.31 2.26 2.25 4/176 27162
/proc/meminfo: memFree=29992988/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=38236 CPUtime=0.19 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 2549 0 0 0 19 0 0 0 20 0 1 0 27579920 39153664 8337 33554432000 4194304 6201397 140734898489424 140733570323384 4213686 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 9559 8337 147 491 0 9058 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38236

[startup+0.300273 s]
/proc/loadavg: 2.31 2.26 2.25 4/176 27162
/proc/meminfo: memFree=29992988/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=43040 CPUtime=0.29 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 2912 0 0 0 29 0 0 0 20 0 1 0 27579920 44072960 9113 33554432000 4194304 6201397 140734898489424 140733570323384 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 10760 9113 147 491 0 10259 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43040

[startup+0.700292 s]
/proc/loadavg: 2.31 2.26 2.25 4/176 27162
/proc/meminfo: memFree=29992988/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=44044 CPUtime=0.68 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 3401 0 0 0 68 0 0 0 20 0 1 0 27579920 45101056 9512 33554432000 4194304 6201397 140734898489424 140734898488056 4207716 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 11011 9512 147 491 0 10510 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 44044

[startup+1.5003 s]
/proc/loadavg: 2.29 2.25 2.25 3/177 27163
/proc/meminfo: memFree=29951952/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=52316 CPUtime=1.49 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 3978 0 0 0 148 1 0 0 20 0 1 0 27579920 53571584 11007 33554432000 4194304 6201397 140734898489424 140734898488376 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 13079 11007 160 491 0 12578 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52316

[startup+3.10027 s]
/proc/loadavg: 2.29 2.25 2.25 3/177 27163
/proc/meminfo: memFree=29945864/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=65504 CPUtime=3.09 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 4596 0 0 0 308 1 0 0 20 0 1 0 27579920 67076096 12594 33554432000 4194304 6201397 140734898489424 140734898488040 4213178 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 16376 12594 160 491 0 15875 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65504

[startup+6.30028 s]
/proc/loadavg: 2.29 2.25 2.25 4/177 27163
/proc/meminfo: memFree=29935768/32872528 swapFree=1534440/1655036
[pid=27162] ppid=27159 vsize=66416 CPUtime=6.29 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 5730 0 0 0 628 1 0 0 20 0 1 0 27579920 68009984 14321 33554432000 4194304 6201397 140734898489424 140734898488376 4218995 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 16604 14321 160 491 0 16103 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66416

[startup+12.7003 s]
/proc/loadavg: 2.47 2.29 2.26 4/177 27163
/proc/meminfo: memFree=29930788/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=68124 CPUtime=12.68 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 6239 0 0 0 1267 1 0 0 20 0 1 0 27579920 69758976 15835 33554432000 4194304 6201397 140734898489424 140734898488056 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 17031 15835 166 491 0 16530 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 68124

[startup+25.5003 s]
/proc/loadavg: 2.40 2.28 2.26 3/177 27163
/proc/meminfo: memFree=29911688/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=91000 CPUtime=25.49 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 7568 0 0 0 2547 2 0 0 20 0 1 0 27579920 93184000 19611 33554432000 4194304 6201397 140734898489424 140734898488136 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 22750 19611 166 491 0 22249 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 91000

[startup+51.1003 s]
/proc/loadavg: 2.32 2.27 2.26 4/177 27163
/proc/meminfo: memFree=29897948/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=124052 CPUtime=51.08 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 8844 0 0 0 5106 2 0 0 20 0 1 0 27579920 127029248 22136 33554432000 4194304 6201397 140734898489424 140734898488376 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 31013 22136 166 491 0 30512 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 124052

[startup+102.3 s]
/proc/loadavg: 2.34 2.29 2.26 3/178 27167
/proc/meminfo: memFree=29846996/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=133180 CPUtime=102.28 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 11861 0 0 0 10225 3 0 0 20 0 1 0 27579920 136376320 31471 33554432000 4194304 6201397 140734898489424 140734898487992 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 33295 31471 166 491 0 32794 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 133180

[startup+162.3 s]
/proc/loadavg: 2.25 2.26 2.26 3/177 27168
/proc/meminfo: memFree=29811380/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=189580 CPUtime=162.25 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 13741 0 0 0 16221 4 0 0 20 0 1 0 27579920 194129920 39370 33554432000 4194304 6201397 140734898489424 140734898488216 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 47395 39370 166 491 0 46894 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 189580

[startup+222.307 s]
/proc/loadavg: 2.17 2.24 2.25 3/176 27169
/proc/meminfo: memFree=29803376/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=191932 CPUtime=222.25 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 14632 0 0 0 22221 4 0 0 20 0 1 0 27579920 196538368 41639 33554432000 4194304 6201397 140734898489424 140734898488552 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 47983 41639 166 491 0 47482 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 191932

[startup+282.3 s]
/proc/loadavg: 2.33 2.28 2.27 3/177 27172
/proc/meminfo: memFree=29796856/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=193136 CPUtime=282.23 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 15131 0 0 0 28219 4 0 0 20 0 1 0 27579920 197771264 42106 33554432000 4194304 6201397 140734898489424 140734898488376 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 48284 42106 166 491 0 47783 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 193136

[startup+342.3 s]
/proc/loadavg: 2.29 2.28 2.26 4/177 27173
/proc/meminfo: memFree=29785248/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=197712 CPUtime=342.23 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 16321 0 0 0 34218 5 0 0 20 0 1 0 27579920 202457088 44790 33554432000 4194304 6201397 140734898489424 140734898488056 4213178 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 49428 44790 166 491 0 48927 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 197712

[startup+402.3 s]
/proc/loadavg: 2.20 2.25 2.26 3/177 27174
/proc/meminfo: memFree=29775588/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=200368 CPUtime=402.22 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 17120 0 0 0 40217 5 0 0 20 0 1 0 27579920 205176832 47067 33554432000 4194304 6201397 140734898489424 140734898488552 4213178 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 50092 47067 166 491 0 49591 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 200368

[startup+462.3 s]
/proc/loadavg: 2.31 2.27 2.26 3/177 27175
/proc/meminfo: memFree=29761188/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=286204 CPUtime=462.21 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 18676 0 0 0 46215 6 0 0 20 0 1 0 27579920 293072896 50407 33554432000 4194304 6201397 140734898489424 140734898488088 4213178 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 71551 50407 166 491 0 71050 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 286204

[startup+522.3 s]
/proc/loadavg: 2.21 2.25 2.25 4/177 27176
/proc/meminfo: memFree=29735876/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=287704 CPUtime=522.2 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 19067 0 0 0 52214 6 0 0 20 0 1 0 27579920 294608896 53864 33554432000 4194304 6201397 140734898489424 140734898488056 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 71926 53864 166 491 0 71425 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 287704

[startup+582.3 s]
/proc/loadavg: 2.35 2.27 2.26 3/177 27178
/proc/meminfo: memFree=29686232/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=298300 CPUtime=582.19 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 22707 0 0 0 58211 8 0 0 20 0 1 0 27579920 305459200 65945 33554432000 4194304 6201397 140734898489424 140734898488056 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 74575 65945 166 491 0 74074 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 298300


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


[startup+882.307 s]
/proc/loadavg: 2.15 2.21 2.24 3/177 27187
/proc/meminfo: memFree=29489484/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=469304 CPUtime=882.15 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 33046 0 0 0 88202 13 0 0 20 0 1 0 27579920 480567296 109116 33554432000 4194304 6201397 140734898489424 140734898488216 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 117326 109116 166 491 0 116825 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 469304

[startup+942.3 s]
/proc/loadavg: 2.22 2.21 2.24 3/177 27188
/proc/meminfo: memFree=29488000/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=469688 CPUtime=942.13 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 33138 0 0 0 94200 13 0 0 20 0 1 0 27579920 480960512 109208 33554432000 4194304 6201397 140734898489424 140734898487880 4213206 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 117422 109208 166 491 0 116921 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 469688

[startup+1002.3 s]
/proc/loadavg: 2.30 2.23 2.24 4/177 27189
/proc/meminfo: memFree=29483400/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=470232 CPUtime=1002.13 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 33257 0 0 0 100200 13 0 0 20 0 1 0 27579920 481517568 110349 33554432000 4194304 6201397 140734898489424 140734898488088 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 117558 110349 166 491 0 117057 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 470232

[startup+1062.3 s]
/proc/loadavg: 2.28 2.24 2.24 3/177 27190
/proc/meminfo: memFree=29479948/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=471080 CPUtime=1062.11 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 33458 0 0 0 106198 13 0 0 20 0 1 0 27579920 482385920 111061 33554432000 4194304 6201397 140734898489424 140734898488136 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 117770 111061 166 491 0 117269 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 471080

[startup+1122.3 s]
/proc/loadavg: 2.30 2.24 2.24 3/177 27191
/proc/meminfo: memFree=29471692/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=471688 CPUtime=1122.11 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 34123 0 0 0 112198 13 0 0 20 0 1 0 27579920 483008512 112935 33554432000 4194304 6201397 140734898489424 140734898488136 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 117922 112935 166 491 0 117421 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 471688

[startup+1182.3 s]
/proc/loadavg: 2.29 2.24 2.24 4/177 27193
/proc/meminfo: memFree=29471200/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=471688 CPUtime=1182.1 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 34124 0 0 0 118197 13 0 0 20 0 1 0 27579920 483008512 112936 33554432000 4194304 6201397 140734898489424 140734898488136 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 117922 112936 166 491 0 117421 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 471688

[startup+1242.3 s]
/proc/loadavg: 2.17 2.21 2.23 3/177 27194
/proc/meminfo: memFree=29468656/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=471688 CPUtime=1242.09 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 34124 0 0 0 124196 13 0 0 20 0 1 0 27579920 483008512 112936 33554432000 4194304 6201397 140734898489424 140734898488136 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 117922 112936 166 491 0 117421 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 471688

[startup+1302.3 s]
/proc/loadavg: 2.27 2.23 2.23 3/178 27198
/proc/meminfo: memFree=29467832/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=471688 CPUtime=1302.08 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 34124 0 0 0 130195 13 0 0 20 0 1 0 27579920 483008512 112936 33554432000 4194304 6201397 140734898489424 140734898488136 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 117922 112936 166 491 0 117421 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 471688

[startup+1362.3 s]
/proc/loadavg: 2.21 2.21 2.22 4/177 27199
/proc/meminfo: memFree=29464348/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=471688 CPUtime=1362.07 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 34124 0 0 0 136194 13 0 0 20 0 1 0 27579920 483008512 112936 33554432000 4194304 6201397 140734898489424 140734898488136 4213170 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 117922 112936 166 491 0 117421 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 471688

[startup+1422.3 s]
/proc/loadavg: 2.19 2.20 2.22 3/177 27200
/proc/meminfo: memFree=29454612/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=471688 CPUtime=1422.06 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 34124 0 0 0 142193 13 0 0 20 0 1 0 27579920 483008512 112936 33554432000 4194304 6201397 140734898489424 140734898488552 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 117922 112936 166 491 0 117421 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 471688

[startup+1482.3 s]
/proc/loadavg: 2.12 2.18 2.20 3/177 27202
/proc/meminfo: memFree=29447512/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=471688 CPUtime=1482.04 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 34129 0 0 0 148191 13 0 0 20 0 1 0 27579920 483008512 112987 33554432000 4194304 6201397 140734898489424 140734898488552 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 117922 112987 166 491 0 117421 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 471688

[startup+1542.31 s]
/proc/loadavg: 2.27 2.21 2.21 4/177 27249
/proc/meminfo: memFree=29571456/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=471688 CPUtime=1542.04 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 34141 0 0 0 154190 14 0 0 20 0 1 0 27579920 483008512 113362 33554432000 4194304 6201397 140734898489424 140734898488552 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 117922 113362 166 491 0 117421 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 471688

[startup+1602.3 s]
/proc/loadavg: 2.24 2.20 2.20 3/177 27250
/proc/meminfo: memFree=29506196/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=471688 CPUtime=1602.03 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 34308 0 0 0 160189 14 0 0 20 0 1 0 27579920 483008512 113515 33554432000 4194304 6201397 140734898489424 140734898488552 4213244 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 117922 113515 166 491 0 117421 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 471688

[startup+1662.3 s]
/proc/loadavg: 2.23 2.20 2.20 3/177 27251
/proc/meminfo: memFree=29473228/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=471688 CPUtime=1662.02 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 34335 0 0 0 166188 14 0 0 20 0 1 0 27579920 483008512 113540 33554432000 4194304 6201397 140734898489424 140734898488552 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 117922 113540 166 491 0 117421 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 471688

[startup+1722.3 s]
/proc/loadavg: 2.28 2.22 2.20 4/177 27252
/proc/meminfo: memFree=29442392/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=471688 CPUtime=1722.01 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 34335 0 0 0 172187 14 0 0 20 0 1 0 27579920 483008512 113540 33554432000 4194304 6201397 140734898489424 140734898488552 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 117922 113540 166 491 0 117421 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 471688

[startup+1782.3 s]
/proc/loadavg: 2.28 2.23 2.20 3/177 27254
/proc/meminfo: memFree=29436716/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=471688 CPUtime=1782 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 34335 0 0 0 178186 14 0 0 20 0 1 0 27579920 483008512 113540 33554432000 4194304 6201397 140734898489424 140734898488552 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 117922 113540 166 491 0 117421 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 471688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.22 2.21 2.20 3/177 27254
/proc/meminfo: memFree=29436404/32872528 swapFree=1534436/1655032
[pid=27162] ppid=27159 vsize=471688 CPUtime=1800.09 cores=0,2,4,6
/proc/27162/stat : 27162 (cdcl-cuttingpla) R 27159 27162 24188 0 -1 4202496 34335 0 0 0 179995 14 0 0 20 0 1 0 27579920 483008512 113540 33554432000 4194304 6201397 140734898489424 140734898488552 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/27162/statm: 117922 113540 166 491 0 117421 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 471688

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.4
CPU time (s): 1800.1
CPU user time (s): 1799.96
CPU system time (s): 0.144977
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 471688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.144977
maximum resident set size= 454160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34335
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= 31
involuntary context switches= 1971

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.86326 second user time and 6.74697 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-18 15:08:35
IDJOB=4101816
IDBENCH=1797
IDSOLVER=2550
FILE ID=node122/4101816-1466255315
RUNJOBID= node122-1466229594-24204
PBS_JOBID= 19918176
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= 642713e12b3477ef4c8327a12a399c0f
RANDOM SEED=1504365274

node122.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.769
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	: 5333.53
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.769
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.769
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.769
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.769
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.53
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.769
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.769
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.769
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29992880 kB
Buffers:          130744 kB
Cached:           210596 kB
SwapCached:            0 kB
Active:           233740 kB
Inactive:         249104 kB
Active(anon):     134036 kB
Inactive(anon):     9916 kB
Active(file):      99704 kB
Inactive(file):   239188 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3116 kB
Writeback:             0 kB
AnonPages:       1736764 kB
Mapped:            13388 kB
Shmem:               204 kB
Slab:             608756 kB
SReclaimable:      52868 kB
SUnreclaim:       555888 kB
KernelStack:        1472 kB
PageTables:         7640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1908556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71736 MiB
End job on node122 at 2016-06-18 15:38:35