Trace number 4087872

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.07 1800.35

General information on the benchmark

Name/OPT-SMALLINT-LIN/kullmann/
normalized-mul_8_13_shg.opb
MD5SUMf53fdd20c3684d222e9e7b0e8ed09bf8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark155
Best CPU time to get the best result obtained on this benchmark1800.64
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15312
Total number of constraints65280
Number of constraints which are clauses65280
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 constraint64
Maximum length of a constraint92
Number of terms in the objective function 15312
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 15312
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15312
Number of bits of the biggest sum of numbers14
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
1.69/1.79	c * #variable= 15312 #constraint= 65280
3.69/3.71	c * #variable= 15312 #constraint= 65280
27.49/27.57	c S1->S2
27.49/27.57	c S1->S2
27.49/27.57	c S1->S2
27.49/27.57	c #Conflicts:       1000 | #Learnt:       1002 | 0.507
27.49/27.57	c total clause space: 545.701MB
27.49/27.57	c total #watches: 6131430
71.48/71.57	c total #propagations: 795415 / total #impl: 435753056 (eff. 0.002)
71.48/71.57	c #Conflicts:       2000 | #Learnt:       2002 | 0.254
71.48/71.57	c total clause space: 545.701MB
71.48/71.57	c total #watches: 8956355
97.07/97.13	c total #propagations: 4051027 / total #impl: 1313674485 (eff. 0.003)
97.07/97.13	c GC COLLECT
97.07/97.13	c #Conflicts:       3000 | #Learnt:       2007 | 0.169
97.07/97.13	c total clause space: 545.701MB
97.07/97.13	c total #watches: 10120503
148.77/148.89	c total #propagations: 4231207 / total #impl: 1887284840 (eff. 0.002)
148.77/148.89	c #Conflicts:       4000 | #Learnt:       3007 | 0.128
148.77/148.89	c total clause space: 886.764MB
148.77/148.89	c total #watches: 14841957
197.16/197.27	c total #propagations: 6448634 / total #impl: 2629825850 (eff. 0.002)
197.16/197.27	c GC COLLECT
197.16/197.27	c #Conflicts:       5000 | #Learnt:       2356 | 0.102
197.16/197.27	c total clause space: 886.764MB
197.16/197.27	c total #watches: 10555036
234.55/234.67	c total #propagations: 7926870 / total #impl: 3150243410 (eff. 0.003)
234.55/234.67	c #Conflicts:       6000 | #Learnt:       3356 | 0.094
234.55/234.67	c total clause space: 886.764MB
234.55/234.67	c total #watches: 13938022
288.74/288.87	c total #propagations: 8177381 / total #impl: 3388044441 (eff. 0.002)
288.74/288.87	c GC COLLECT
288.74/288.87	c #Conflicts:       7000 | #Learnt:       2234 | 0.081
288.74/288.87	c total clause space: 886.764MB
288.74/288.87	c total #watches: 10477755
339.13/339.24	c total #propagations: 10014796 / total #impl: 3779795384 (eff. 0.003)
339.13/339.24	c #Conflicts:       8000 | #Learnt:       3234 | 0.071
339.13/339.24	c total clause space: 886.764MB
339.13/339.24	c total #watches: 14430808
413.92/414.02	c total #propagations: 10150442 / total #impl: 4545012424 (eff. 0.002)
413.92/414.02	c #Conflicts:       9000 | #Learnt:       4234 | 0.063
413.92/414.02	c total clause space: 886.764MB
413.92/414.02	c total #watches: 17122195
510.01/510.18	c total #propagations: 11078707 / total #impl: 4886579251 (eff. 0.002)
510.01/510.18	c GC COLLECT
510.01/510.18	c #Conflicts:      10000 | #Learnt:       2723 | 0.057
510.01/510.18	c total clause space: 1440.99MB
510.01/510.18	c total #watches: 11031319
613.09/613.23	c total #propagations: 11733487 / total #impl: 5156084050 (eff. 0.002)
613.09/613.23	c #Conflicts:      11000 | #Learnt:       3723 | 0.051
613.09/613.23	c total clause space: 1440.99MB
613.09/613.23	c total #watches: 12387111
720.48/720.63	c total #propagations: 14303106 / total #impl: 5447441841 (eff. 0.003)
720.48/720.63	c #Conflicts:      12000 | #Learnt:       4723 | 0.047
720.48/720.63	c total clause space: 1440.99MB
720.48/720.63	c total #watches: 13210655
816.56/816.75	c total #propagations: 16351005 / total #impl: 5739696822 (eff. 0.003)
816.56/816.75	c #Conflicts:      13000 | #Learnt:       5723 | 0.043
816.56/816.75	c total clause space: 1440.99MB
816.56/816.75	c total #watches: 16086768
880.45/880.65	c total #propagations: 17738551 / total #impl: 6041280062 (eff. 0.003)
880.45/880.65	c GC COLLECT
880.45/880.65	c #Conflicts:      14000 | #Learnt:       3867 | 0.041
880.45/880.65	c total clause space: 1440.99MB
880.45/880.65	c total #watches: 8551088
946.95/947.10	c total #propagations: 19498732 / total #impl: 6410881150 (eff. 0.003)
946.95/947.10	c #Conflicts:      15000 | #Learnt:       4867 | 0.038
946.95/947.10	c total clause space: 1440.99MB
946.95/947.10	c total #watches: 9547264
995.93/996.13	c total #propagations: 20757418 / total #impl: 6740805923 (eff. 0.003)
995.93/996.13	c #Conflicts:      16000 | #Learnt:       5867 | 0.038
995.93/996.13	c total clause space: 1440.99MB
995.93/996.13	c total #watches: 13150578
1087.22/1087.48	c total #propagations: 21249827 / total #impl: 6995128707 (eff. 0.003)
1087.22/1087.48	c GC COLLECT
1087.22/1087.48	c #Conflicts:      17000 | #Learnt:       3857 | 0.036
1087.22/1087.48	c total clause space: 1440.99MB
1087.22/1087.48	c total #watches: 11611203
1149.82/1150.08	c total #propagations: 22704966 / total #impl: 7465106101 (eff. 0.003)
1149.82/1150.08	c #Conflicts:      18000 | #Learnt:       4857 | 0.034
1149.82/1150.08	c total clause space: 1440.99MB
1149.82/1150.08	c total #watches: 14053527
1208.21/1208.40	c total #propagations: 23426576 / total #impl: 8093445117 (eff. 0.003)
1208.21/1208.40	c #Conflicts:      19000 | #Learnt:       5857 | 0.032
1208.21/1208.40	c total clause space: 1440.99MB
1208.21/1208.40	c total #watches: 16796322
1365.28/1365.55	c total #propagations: 23930094 / total #impl: 8446570224 (eff. 0.003)
1365.28/1365.55	c #Conflicts:      20000 | #Learnt:       6857 | 0.036
1365.28/1365.55	c total clause space: 1440.99MB
1365.28/1365.55	c total #watches: 18466736
1454.96/1455.28	c total #propagations: 26119521 / total #impl: 9160514105 (eff. 0.003)
1454.96/1455.28	c GC COLLECT
1454.96/1455.28	c #Conflicts:      21000 | #Learnt:       4306 | 0.037
1454.96/1455.28	c total clause space: 1440.99MB
1454.96/1455.28	c total #watches: 13011710
1575.64/1575.98	c total #propagations: 26854245 / total #impl: 9569333016 (eff. 0.003)
1575.64/1575.98	c #Conflicts:      22000 | #Learnt:       5306 | 0.037
1575.64/1575.98	c total clause space: 1440.99MB
1575.64/1575.98	c total #watches: 13863116
1662.83/1663.10	c total #propagations: 30407341 / total #impl: 9791267529 (eff. 0.003)
1662.83/1663.10	c #Conflicts:      23000 | #Learnt:       6306 | 0.036
1662.83/1663.10	c total clause space: 1440.99MB
1662.83/1663.10	c total #watches: 15106540
1774.91/1775.28	c total #propagations: 31665092 / total #impl: 9958996585 (eff. 0.003)
1774.91/1775.28	c #Conflicts:      24000 | #Learnt:       7306 | 0.034
1774.91/1775.28	c total clause space: 1440.99MB
1774.91/1775.28	c total #watches: 16263123

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-4087872-1465440095/watcher-4087872-1465440095 -o /tmp/evaluation-result-4087872-1465440095/solver-4087872-1465440095 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465427050-4399 --watchdog 1960 --input HOME/instance-4087872-1465440095.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=7950
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.03 2.10 2.14 4/176 7953
/proc/meminfo: memFree=23025372/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 125943243 57319424 7804 33554432000 4194304 6211289 140735451898432 140734414620008 4206551 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 13994 7804 98 493 0 13491 0

[startup+0.10012 s]
/proc/loadavg: 2.03 2.10 2.14 4/176 7953
/proc/meminfo: memFree=23025372/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=61168 CPUtime=0.09 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 1929 0 0 0 8 1 0 0 20 0 1 0 125943243 62636032 11982 33554432000 4194304 6211289 140735451898432 140734414620008 5418912 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 15292 11982 121 493 0 14789 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 61168

[startup+0.200322 s]
/proc/loadavg: 2.03 2.10 2.14 4/176 7953
/proc/meminfo: memFree=23025372/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=65612 CPUtime=0.19 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 2194 0 0 0 18 1 0 0 20 0 1 0 125943243 67186688 12669 33554432000 4194304 6211289 140735451898432 140734414620008 5418912 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 16403 12669 121 493 0 15900 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 65612

[startup+0.300321 s]
/proc/loadavg: 2.03 2.10 2.14 4/176 7953
/proc/meminfo: memFree=23025372/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=65612 CPUtime=0.29 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 2195 0 0 0 28 1 0 0 20 0 1 0 125943243 67186688 13181 33554432000 4194304 6211289 140735451898432 140735451897272 5418912 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 16403 13181 121 493 0 15900 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65612

[startup+0.700262 s]
/proc/loadavg: 2.03 2.10 2.14 4/176 7953
/proc/meminfo: memFree=23025372/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=92280 CPUtime=0.69 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 3270 0 0 0 68 1 0 0 20 0 1 0 125943243 94494720 15764 33554432000 4194304 6211289 140735451898432 140735451897272 5418912 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 23070 15764 121 493 0 22567 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92280

[startup+1.50029 s]
/proc/loadavg: 2.03 2.10 2.14 3/177 7954
/proc/meminfo: memFree=22950148/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=127836 CPUtime=1.49 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 3853 0 0 0 147 2 0 0 20 0 1 0 125943243 130904064 21255 33554432000 4194304 6211289 140735451898432 140735451897272 5418912 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 31959 21255 121 493 0 31456 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127836

[startup+3.1003 s]
/proc/loadavg: 2.03 2.10 2.14 3/173 7989
/proc/meminfo: memFree=28955316/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=328936 CPUtime=3.09 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 7021 0 0 0 303 6 0 0 20 0 1 0 125943243 336830464 71911 33554432000 4194304 6211289 140735451898432 140735451896312 5158411 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 82234 71911 144 493 0 81731 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 328936

[startup+6.30028 s]
/proc/loadavg: 2.19 2.13 2.15 3/177 8000
/proc/meminfo: memFree=28397184/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=590132 CPUtime=6.29 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 13957 0 0 0 616 13 0 0 20 0 1 0 125943243 604295168 120758 33554432000 4194304 6211289 140735451898432 140735451896296 4210065 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 147533 120758 149 493 0 147030 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 590132

[startup+12.7003 s]
/proc/loadavg: 2.17 2.13 2.15 3/177 8000
/proc/meminfo: memFree=27881312/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=780660 CPUtime=12.69 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 28806 0 0 0 1252 17 0 0 20 0 1 0 125943243 799395840 168304 33554432000 4194304 6211289 140735451898432 140735451896344 4209392 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 195165 168304 204 493 0 194662 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 780660

[startup+25.5004 s]
/proc/loadavg: 2.21 2.14 2.15 4/177 8000
/proc/meminfo: memFree=27629184/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=999300 CPUtime=25.48 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 29957 0 0 0 2528 20 0 0 20 0 1 0 125943243 1023283200 190379 33554432000 4194304 6211289 140735451898432 140735451896424 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 249825 190379 204 493 0 249322 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 999300

[startup+51.1004 s]
/proc/loadavg: 2.14 2.13 2.14 3/177 8000
/proc/meminfo: memFree=27398480/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=1049860 CPUtime=51.08 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 42655 0 0 0 5085 23 0 0 20 0 1 0 125943243 1075056640 224028 33554432000 4194304 6211289 140735451898432 140735451896344 4209304 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 262465 224028 214 493 0 261962 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1049860

[startup+102.3 s]
/proc/loadavg: 2.10 2.12 2.14 3/177 8001
/proc/meminfo: memFree=27122320/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=1405032 CPUtime=102.28 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 45569 0 0 0 10200 28 0 0 20 0 1 0 125943243 1438752768 252979 33554432000 4194304 6211289 140735451898432 140735451896344 4215252 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 351258 252979 219 493 0 350755 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1405032

[startup+162.3 s]
/proc/loadavg: 2.14 2.12 2.14 3/177 8002
/proc/meminfo: memFree=26856472/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=1509548 CPUtime=162.27 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 67550 0 0 0 16191 36 0 0 20 0 1 0 125943243 1545777152 319417 33554432000 4194304 6211289 140735451898432 140735451896424 4241570 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 377387 319417 219 493 0 376884 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1509548

[startup+222.308 s]
/proc/loadavg: 2.11 2.11 2.13 3/177 8004
/proc/meminfo: memFree=26850124/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=1509868 CPUtime=222.26 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 67800 0 0 0 22190 36 0 0 20 0 1 0 125943243 1546104832 320623 33554432000 4194304 6211289 140735451898432 140735451896776 4215240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 377467 320623 219 493 0 376964 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1509868

[startup+282.3 s]
/proc/loadavg: 2.21 2.14 2.14 3/177 8005
/proc/meminfo: memFree=26584172/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=1513972 CPUtime=282.24 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 70125 0 0 0 28187 37 0 0 20 0 1 0 125943243 1550307328 341344 33554432000 4194304 6211289 140735451898432 140735451896344 4209403 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 378493 341344 219 493 0 377990 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1513972

[startup+342.3 s]
/proc/loadavg: 2.18 2.14 2.14 3/177 8006
/proc/meminfo: memFree=26411412/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=1514156 CPUtime=342.23 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 70356 0 0 0 34186 37 0 0 20 0 1 0 125943243 1550495744 345280 33554432000 4194304 6211289 140735451898432 140735451896776 4215299 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 378539 345280 219 493 0 378036 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1514156

[startup+402.3 s]
/proc/loadavg: 2.24 2.16 2.14 3/177 8007
/proc/meminfo: memFree=26403260/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=1514476 CPUtime=402.22 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 70445 0 0 0 40185 37 0 0 20 0 1 0 125943243 1550823424 345935 33554432000 4194304 6211289 140735451898432 140735451896344 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 378619 345935 219 493 0 378116 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1514476

[startup+462.3 s]
/proc/loadavg: 2.26 2.19 2.15 3/177 8008
/proc/meminfo: memFree=26211468/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=1514668 CPUtime=462.21 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 70548 0 0 0 46183 38 0 0 20 0 1 0 125943243 1551020032 360856 33554432000 4194304 6211289 140735451898432 140735451896344 4244953 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 378667 360856 219 493 0 378164 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1514668

[startup+522.3 s]
/proc/loadavg: 2.28 2.21 2.16 3/178 8013
/proc/meminfo: memFree=25908440/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2082196 CPUtime=522.21 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 71375 0 0 0 52178 43 0 0 20 0 1 0 125943243 2132168704 366262 33554432000 4194304 6211289 140735451898432 140735451896776 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 520549 366262 219 493 0 520046 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2082196

[startup+582.3 s]
/proc/loadavg: 2.16 2.18 2.15 3/177 8014
/proc/meminfo: memFree=25908104/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2082196 CPUtime=582.2 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 71375 0 0 0 58177 43 0 0 20 0 1 0 125943243 2132168704 366262 33554432000 4194304 6211289 140735451898432 140735451896776 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 520549 366262 219 493 0 520046 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2082196


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


[startup+942.3 s]
/proc/loadavg: 2.17 2.18 2.16 3/177 8022
/proc/meminfo: memFree=25722724/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2082332 CPUtime=942.14 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 71395 0 0 0 94171 43 0 0 20 0 1 0 125943243 2132307968 366282 33554432000 4194304 6211289 140735451898432 140735451896776 4209380 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 520583 366282 219 493 0 520080 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 2082332

[startup+1002.3 s]
/proc/loadavg: 2.16 2.17 2.16 3/177 8023
/proc/meminfo: memFree=25687796/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2082332 CPUtime=1002.13 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 71403 0 0 0 100170 43 0 0 20 0 1 0 125943243 2132307968 366290 33554432000 4194304 6211289 140735451898432 140735451896776 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 520583 366290 219 493 0 520080 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 2082332

[startup+1062.3 s]
/proc/loadavg: 2.16 2.17 2.16 3/177 8024
/proc/meminfo: memFree=25672624/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2082332 CPUtime=1062.12 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 71403 0 0 0 106169 43 0 0 20 0 1 0 125943243 2132307968 366290 33554432000 4194304 6211289 140735451898432 140735451896776 4209403 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 520583 366290 219 493 0 520080 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 2082332

[startup+1122.3 s]
/proc/loadavg: 2.18 2.18 2.16 3/178 8029
/proc/meminfo: memFree=25652252/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2082332 CPUtime=1122.11 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 71403 0 0 0 112168 43 0 0 20 0 1 0 125943243 2132307968 366290 33554432000 4194304 6211289 140735451898432 140735451896776 4202014 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 520583 366290 219 493 0 520080 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 2082332

[startup+1182.3 s]
/proc/loadavg: 2.11 2.16 2.15 3/178 8053
/proc/meminfo: memFree=25611240/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2086656 CPUtime=1182.11 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 72397 0 0 0 118167 44 0 0 20 0 1 0 125943243 2136735744 367284 33554432000 4194304 6211289 140735451898432 140735451896344 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 521664 367284 219 493 0 521161 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 2086656

[startup+1242.3 s]
/proc/loadavg: 2.15 2.16 2.15 3/177 8054
/proc/meminfo: memFree=25580180/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2086656 CPUtime=1242.1 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 72585 0 0 0 124166 44 0 0 20 0 1 0 125943243 2136735744 369514 33554432000 4194304 6211289 140735451898432 140735451896776 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 521664 369514 219 493 0 521161 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 2086656

[startup+1302.3 s]
/proc/loadavg: 2.24 2.17 2.16 3/177 8055
/proc/meminfo: memFree=25550304/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2086656 CPUtime=1302.09 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 72596 0 0 0 130165 44 0 0 20 0 1 0 125943243 2136735744 373102 33554432000 4194304 6211289 140735451898432 140735451896776 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 521664 373102 219 493 0 521161 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2086656

[startup+1362.3 s]
/proc/loadavg: 2.28 2.20 2.17 3/177 8056
/proc/meminfo: memFree=25515996/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2086656 CPUtime=1362.08 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 72615 0 0 0 136163 45 0 0 20 0 1 0 125943243 2136735744 381808 33554432000 4194304 6211289 140735451898432 140735451896776 4209376 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 521664 381808 219 493 0 521161 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2086656

[startup+1422.3 s]
/proc/loadavg: 2.21 2.19 2.17 3/176 8057
/proc/meminfo: memFree=25485176/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2086656 CPUtime=1422.07 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 72634 0 0 0 142162 45 0 0 20 0 1 0 125943243 2136735744 389491 33554432000 4194304 6211289 140735451898432 140735451896776 4209384 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 521664 389491 219 493 0 521161 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 2086656

[startup+1482.3 s]
/proc/loadavg: 2.25 2.20 2.17 3/177 8059
/proc/meminfo: memFree=25485340/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2086656 CPUtime=1482.06 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 72634 0 0 0 148161 45 0 0 20 0 1 0 125943243 2136735744 389491 33554432000 4194304 6211289 140735451898432 140735451896776 4209380 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 521664 389491 219 493 0 521161 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2086656

[startup+1542.31 s]
/proc/loadavg: 2.24 2.20 2.18 3/177 8060
/proc/meminfo: memFree=25485908/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2086656 CPUtime=1542.06 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 72634 0 0 0 154161 45 0 0 20 0 1 0 125943243 2136735744 389491 33554432000 4194304 6211289 140735451898432 140735451896776 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 521664 389491 219 493 0 521161 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 2086656

[startup+1602.3 s]
/proc/loadavg: 2.19 2.20 2.17 3/177 8061
/proc/meminfo: memFree=25485900/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2086656 CPUtime=1602.04 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 72634 0 0 0 160159 45 0 0 20 0 1 0 125943243 2136735744 389491 33554432000 4194304 6211289 140735451898432 140735451896776 4201956 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 521664 389491 219 493 0 521161 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2086656

[startup+1662.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/177 8062
/proc/meminfo: memFree=25486028/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2086656 CPUtime=1662.03 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 72634 0 0 0 166158 45 0 0 20 0 1 0 125943243 2136735744 389491 33554432000 4194304 6211289 140735451898432 140735451896776 4202024 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 521664 389491 219 493 0 521161 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2086656

[startup+1722.3 s]
/proc/loadavg: 2.09 2.15 2.16 3/178 8066
/proc/meminfo: memFree=25485324/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2086808 CPUtime=1722.02 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 72650 0 0 0 172157 45 0 0 20 0 1 0 125943243 2136891392 389507 33554432000 4194304 6211289 140735451898432 140735451896344 4215318 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 521702 389507 219 493 0 521199 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 2086808

[startup+1782.3 s]
/proc/loadavg: 2.26 2.19 2.17 4/177 8068
/proc/meminfo: memFree=25484332/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2086808 CPUtime=1782.01 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 72754 0 0 0 178156 45 0 0 20 0 1 0 125943243 2136891392 389611 33554432000 4194304 6211289 140735451898432 140735451896776 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 521702 389611 219 493 0 521199 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 2086808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.21 2.18 2.17 3/177 8068
/proc/meminfo: memFree=25484708/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2086808 CPUtime=1800.01 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 72754 0 0 0 179956 45 0 0 20 0 1 0 125943243 2136891392 389611 33554432000 4194304 6211289 140735451898432 140735451896776 4209403 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 521702 389611 219 493 0 521199 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2086808

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

[startup+1800.3 s]
/proc/loadavg: 2.21 2.18 2.17 3/177 8068
/proc/meminfo: memFree=25484708/32872528 swapFree=14448/1543360
[pid=7953] ppid=7950 vsize=2086808 CPUtime=1800.01 cores=1,3,5,7
/proc/7953/stat : 7953 (cdcl-cuttingpla) R 7950 7953 4382 0 -1 4202496 72754 0 0 0 179956 45 0 0 20 0 1 0 125943243 2136891392 389611 33554432000 4194304 6211289 140735451898432 140735451896776 4209403 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/7953/statm: 521702 389611 219 493 0 521199 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2086808

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.35
CPU time (s): 1800.07
CPU user time (s): 1799.57
CPU system time (s): 0.508922
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 2086808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.508922
maximum resident set size= 1558444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72754
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= 10
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.26935 second user time and 7.60184 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-09 04:41:36
IDJOB=4087872
IDBENCH=89908
IDSOLVER=2549
FILE ID=node116/4087872-1465440095
RUNJOBID= node116-1465427050-4399
PBS_JOBID= 19859791
Free space on /tmp= 71592 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-mul_8_13_shg.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087872-1465440095/watcher-4087872-1465440095 -o /tmp/evaluation-result-4087872-1465440095/solver-4087872-1465440095 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465427050-4399 --watchdog 1960 --input HOME/instance-4087872-1465440095.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= f53fdd20c3684d222e9e7b0e8ed09bf8
RANDOM SEED=1270226305

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.134
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.134
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		: 2667.134
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:        23025908 kB
Buffers:          219500 kB
Cached:          1173684 kB
SwapCached:         1856 kB
Active:          6562556 kB
Inactive:         963340 kB
Active(anon):    6131728 kB
Inactive(anon):     2940 kB
Active(file):     430828 kB
Inactive(file):   960400 kB
Unevictable:     1543360 kB
Mlocked:           14448 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:             50448 kB
Writeback:             0 kB
AnonPages:       7676880 kB
Mapped:             9100 kB
Shmem:                 0 kB
Slab:             631684 kB
SReclaimable:      75452 kB
SUnreclaim:       556232 kB
KernelStack:        1440 kB
PageTables:        19204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    9081332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3135488 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= 71548 MiB
End job on node116 at 2016-06-09 05:11:37