Trace number 4088333

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

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
MD5SUMd25f6086317f033c233c4700493f03d1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark20.007
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20
Optimality of the best value was proved NO
Number of variables6027
Total number of constraints21278
Number of constraints which are clauses21267
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint650
Number of terms in the objective function 650
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 650
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 681
Number of bits of the biggest sum of numbers10
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= 6027 #constraint= 21278
1.28/1.37	c #Conflicts:       1000 | #Learnt:       1001 | 0.000
1.28/1.37	c total clause space: 29.637MB
1.28/1.37	c total #watches: 194648
8.90/8.94	c total #propagations: 694204 / total #impl: 5625962 (eff. 0.123)
8.90/8.94	c #Conflicts:       2000 | #Learnt:       2001 | 0.000
8.90/8.94	c total clause space: 48.1602MB
8.90/8.94	c total #watches: 335135
14.19/14.23	c total #propagations: 2233636 / total #impl: 29177551 (eff. 0.077)
14.19/14.23	c GC COLLECT
14.19/14.23	c #Conflicts:       3000 | #Learnt:       1980 | 0.000
14.19/14.23	c total clause space: 48.1602MB
14.19/14.23	c total #watches: 360599
22.88/22.99	c total #propagations: 3407265 / total #impl: 52717703 (eff. 0.065)
22.88/22.99	c #Conflicts:       4000 | #Learnt:       2980 | 0.000
22.88/22.99	c total clause space: 48.1602MB
22.88/22.99	c total #watches: 451347
29.49/29.57	c total #propagations: 4519647 / total #impl: 153949642 (eff. 0.029)
29.49/29.57	c GC COLLECT
29.49/29.57	c #Conflicts:       5000 | #Learnt:       2325 | 0.000
29.49/29.57	c total clause space: 48.1602MB
29.49/29.57	c total #watches: 374668
38.29/38.32	c total #propagations: 5535273 / total #impl: 183405430 (eff. 0.030)
38.29/38.32	c #Conflicts:       6000 | #Learnt:       3325 | 0.000
38.29/38.32	c total clause space: 48.1602MB
38.29/38.32	c total #watches: 488798
57.68/57.79	c total #propagations: 6377875 / total #impl: 200755969 (eff. 0.032)
57.68/57.79	c GC COLLECT
57.68/57.79	c #Conflicts:       7000 | #Learnt:       2204 | 0.000
57.68/57.79	c total clause space: 78.2603MB
57.68/57.79	c total #watches: 397180
66.18/66.25	c total #propagations: 7497169 / total #impl: 259178678 (eff. 0.029)
66.18/66.25	c #Conflicts:       8000 | #Learnt:       3204 | 0.000
66.18/66.25	c total clause space: 78.2603MB
66.18/66.25	c total #watches: 533632
93.37/93.43	c total #propagations: 8299421 / total #impl: 300041050 (eff. 0.028)
93.37/93.43	c #Conflicts:       9000 | #Learnt:       4204 | 0.000
93.37/93.43	c total clause space: 78.2603MB
93.37/93.43	c total #watches: 618040
136.38/136.49	c total #propagations: 9060436 / total #impl: 406511772 (eff. 0.022)
136.38/136.49	c GC COLLECT
136.38/136.49	c #Conflicts:      10000 | #Learnt:       2686 | 0.000
136.38/136.49	c total clause space: 127.173MB
136.38/136.49	c total #watches: 441125
177.47/177.51	c total #propagations: 9971055 / total #impl: 594558949 (eff. 0.017)
177.47/177.51	c #Conflicts:      11000 | #Learnt:       3686 | 0.000
177.47/177.51	c total clause space: 127.173MB
177.47/177.51	c total #watches: 550194
250.75/250.88	c total #propagations: 10910245 / total #impl: 988799027 (eff. 0.011)
250.75/250.88	c #Conflicts:      12000 | #Learnt:       4686 | 0.000
250.75/250.88	c total clause space: 127.173MB
250.75/250.88	c total #watches: 638051
302.14/302.25	c total #propagations: 12004148 / total #impl: 1494177305 (eff. 0.008)
302.14/302.25	c #Conflicts:      13000 | #Learnt:       5686 | 0.000
302.14/302.25	c total clause space: 127.173MB
302.14/302.25	c total #watches: 743323
326.64/326.70	c total #propagations: 13086207 / total #impl: 1573775716 (eff. 0.008)
326.64/326.70	c GC COLLECT
326.64/326.70	c #Conflicts:      14000 | #Learnt:       3832 | 0.000
326.64/326.70	c total clause space: 127.173MB
326.64/326.70	c total #watches: 584903
336.23/336.37	c total #propagations: 13856878 / total #impl: 1656084422 (eff. 0.008)
336.23/336.37	c #Conflicts:      15000 | #Learnt:       4832 | 0.000
336.23/336.37	c total clause space: 127.173MB
336.23/336.37	c total #watches: 679743
355.34/355.44	c total #propagations: 14461591 / total #impl: 1677385138 (eff. 0.009)
355.34/355.44	c #Conflicts:      16000 | #Learnt:       5832 | 0.000
355.34/355.44	c total clause space: 206.656MB
355.34/355.44	c total #watches: 926730
446.21/446.39	c total #propagations: 15065308 / total #impl: 1790559174 (eff. 0.008)
446.21/446.39	c GC COLLECT
446.21/446.39	c #Conflicts:      17000 | #Learnt:       3651 | 0.000
446.21/446.39	c total clause space: 206.656MB
446.21/446.39	c total #watches: 816220
653.68/653.82	c total #propagations: 16095275 / total #impl: 1955943326 (eff. 0.008)
653.68/653.82	c #Conflicts:      18000 | #Learnt:       4651 | 0.000
653.68/653.82	c total clause space: 206.656MB
653.68/653.82	c total #watches: 910663
931.95/932.17	c total #propagations: 17378687 / total #impl: 2186764459 (eff. 0.008)
931.95/932.17	c #Conflicts:      19000 | #Learnt:       5651 | 0.000
931.95/932.17	c total clause space: 206.656MB
931.95/932.17	c total #watches: 1063853
1255.30/1255.57	c total #propagations: 18696488 / total #impl: 3151184978 (eff. 0.006)
1255.30/1255.57	c #Conflicts:      20000 | #Learnt:       6651 | 0.000
1255.30/1255.57	c total clause space: 206.656MB
1255.30/1255.57	c total #watches: 1111503
1387.47/1387.74	c total #propagations: 20194587 / total #impl: 4070948893 (eff. 0.005)
1387.47/1387.74	c GC COLLECT
1387.47/1387.74	c #Conflicts:      21000 | #Learnt:       4157 | 0.000
1387.47/1387.74	c total clause space: 206.656MB
1387.47/1387.74	c total #watches: 740892
1529.25/1529.52	c total #propagations: 21387622 / total #impl: 4148831041 (eff. 0.005)
1529.25/1529.52	c #Conflicts:      22000 | #Learnt:       5157 | 0.000
1529.25/1529.52	c total clause space: 206.656MB
1529.25/1529.52	c total #watches: 788975
1642.63/1642.95	c total #propagations: 22588371 / total #impl: 4316401202 (eff. 0.005)
1642.63/1642.95	c #Conflicts:      23000 | #Learnt:       6157 | 0.000
1642.63/1642.95	c total clause space: 206.656MB
1642.63/1642.95	c total #watches: 844992
1735.82/1736.16	c total #propagations: 23676578 / total #impl: 4461950337 (eff. 0.005)
1735.82/1736.16	c #Conflicts:      24000 | #Learnt:       7157 | 0.000
1735.82/1736.16	c total clause space: 206.656MB
1735.82/1736.16	c total #watches: 924931

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-4088333-1465432979/watcher-4088333-1465432979 -o /tmp/evaluation-result-4088333-1465432979/solver-4088333-1465432979 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465427047-23045 --watchdog 1960 --input HOME/instance-4088333-1465432979.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=23837
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.15 2.24 2.25 3/176 23840
/proc/meminfo: memFree=28773236/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 125231009 29810688 5268 33554432000 4194304 6201397 140734684641104 140733312013544 4211056 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 7278 5268 130 491 0 6777 0

[startup+0.100164 s]
/proc/loadavg: 2.15 2.24 2.25 3/176 23840
/proc/meminfo: memFree=28773236/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=34528 CPUtime=0.09 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 576 0 0 0 9 0 0 0 20 0 1 0 125231009 35356672 7598 33554432000 4194304 6201397 140734684641104 140733312013544 5150858 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 8632 7598 145 491 0 8131 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34528

[startup+0.200371 s]
/proc/loadavg: 2.15 2.24 2.25 3/176 23840
/proc/meminfo: memFree=28773236/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=42188 CPUtime=0.18 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 1392 0 0 0 18 0 0 0 20 0 1 0 125231009 43200512 8712 33554432000 4194304 6201397 140734684641104 140733312013544 4214954 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 10547 8712 146 491 0 10046 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 42188

[startup+0.30034 s]
/proc/loadavg: 2.15 2.24 2.25 3/176 23840
/proc/meminfo: memFree=28773236/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=49892 CPUtime=0.28 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 1826 0 0 0 28 0 0 0 20 0 1 0 125231009 51089408 9570 33554432000 4194304 6201397 140734684641104 140733312013544 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 12473 9570 146 491 0 11972 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 49892

[startup+0.700298 s]
/proc/loadavg: 2.15 2.24 2.25 3/176 23840
/proc/meminfo: memFree=28773236/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=50120 CPUtime=0.68 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 1889 0 0 0 68 0 0 0 20 0 1 0 125231009 51322880 10655 33554432000 4194304 6201397 140734684641104 140734684640056 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 12530 10655 146 491 0 12029 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 50120

[startup+1.50015 s]
/proc/loadavg: 2.14 2.24 2.25 3/177 23841
/proc/meminfo: memFree=28727116/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=62692 CPUtime=1.48 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 2496 0 0 0 148 0 0 0 20 0 1 0 125231009 64196608 12163 33554432000 4194304 6201397 140734684641104 140734684640056 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 15673 12163 159 491 0 15172 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 62692

[startup+3.10024 s]
/proc/loadavg: 2.14 2.24 2.25 4/177 23841
/proc/meminfo: memFree=28722400/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=62924 CPUtime=3.08 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 2566 0 0 0 308 0 0 0 20 0 1 0 125231009 64434176 13255 33554432000 4194304 6201397 140734684641104 140734684639816 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 15731 13255 159 491 0 15230 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 62924

[startup+6.30024 s]
/proc/loadavg: 2.13 2.23 2.25 4/177 23841
/proc/meminfo: memFree=28716756/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=82524 CPUtime=6.29 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 3073 0 0 0 628 1 0 0 20 0 1 0 125231009 84504576 14157 33554432000 4194304 6201397 140734684641104 140734684639560 4213168 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 20631 14157 159 491 0 20130 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82524

[startup+12.7002 s]
/proc/loadavg: 2.12 2.23 2.25 3/177 23841
/proc/meminfo: memFree=28706892/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=84124 CPUtime=12.69 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 5062 0 0 0 1268 1 0 0 20 0 1 0 125231009 86142976 16618 33554432000 4194304 6201397 140734684641104 140734684639816 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 21031 16618 165 491 0 20530 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84124

[startup+25.5002 s]
/proc/loadavg: 2.10 2.22 2.25 3/177 23841
/proc/meminfo: memFree=28698956/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=85504 CPUtime=25.48 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 5561 0 0 0 2547 1 0 0 20 0 1 0 125231009 87556096 18119 33554432000 4194304 6201397 140734684641104 140734684640056 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 21376 18119 165 491 0 20875 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85504

[startup+51.1004 s]
/proc/loadavg: 2.20 2.23 2.25 4/177 23841
/proc/meminfo: memFree=28686860/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=86912 CPUtime=51.08 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 6126 0 0 0 5106 2 0 0 20 0 1 0 125231009 88997888 20672 33554432000 4194304 6201397 140734684641104 140734684639816 4213178 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 21728 20672 165 491 0 21227 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86912

[startup+102.3 s]
/proc/loadavg: 2.14 2.21 2.24 3/176 23843
/proc/meminfo: memFree=28647420/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=121744 CPUtime=102.28 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 7851 0 0 0 10225 3 0 0 20 0 1 0 125231009 124665856 28189 33554432000 4194304 6201397 140734684641104 140734684639736 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 30436 28189 165 491 0 29935 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 121744

[startup+162.3 s]
/proc/loadavg: 2.12 2.20 2.23 3/177 23845
/proc/meminfo: memFree=28608952/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=174700 CPUtime=162.27 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 9173 0 0 0 16223 4 0 0 20 0 1 0 125231009 178892800 32294 33554432000 4194304 6201397 140734684641104 140734684639768 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 43675 32294 165 491 0 43174 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 174700

[startup+222.307 s]
/proc/loadavg: 2.27 2.22 2.24 3/177 23846
/proc/meminfo: memFree=28599816/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=175224 CPUtime=222.26 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 9462 0 0 0 22222 4 0 0 20 0 1 0 125231009 179429376 32671 33554432000 4194304 6201397 140734684641104 140734684639768 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 43806 32671 165 491 0 43305 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 175224

[startup+282.3 s]
/proc/loadavg: 2.15 2.19 2.22 3/177 23847
/proc/meminfo: memFree=28583892/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=175924 CPUtime=282.24 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 9635 0 0 0 28220 4 0 0 20 0 1 0 125231009 180146176 35910 33554432000 4194304 6201397 140734684641104 140734684639816 4213178 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 43981 35910 165 491 0 43480 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 175924

[startup+342.3 s]
/proc/loadavg: 2.22 2.20 2.22 4/177 23848
/proc/meminfo: memFree=28557816/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=176952 CPUtime=342.24 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 10007 0 0 0 34219 5 0 0 20 0 1 0 125231009 181198848 41331 33554432000 4194304 6201397 140734684641104 140734684640056 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 44238 41331 165 491 0 43737 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 176952

[startup+402.3 s]
/proc/loadavg: 2.15 2.19 2.22 3/177 23850
/proc/meminfo: memFree=28503020/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=260436 CPUtime=402.22 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11108 0 0 0 40217 5 0 0 20 0 1 0 125231009 266686464 53871 33554432000 4194304 6201397 140734684641104 140734684639944 4213178 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65109 53871 165 491 0 64608 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 260436

[startup+462.3 s]
/proc/loadavg: 2.10 2.17 2.20 3/178 23854
/proc/meminfo: memFree=28493868/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=260656 CPUtime=462.21 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11155 0 0 0 46216 5 0 0 20 0 1 0 125231009 266911744 53918 33554432000 4194304 6201397 140734684641104 140734684640056 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65164 53918 165 491 0 64663 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 260656

[startup+522.3 s]
/proc/loadavg: 2.13 2.16 2.20 4/177 23855
/proc/meminfo: memFree=28491116/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=260756 CPUtime=522.2 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11198 0 0 0 52215 5 0 0 20 0 1 0 125231009 267014144 53961 33554432000 4194304 6201397 140734684641104 140734684640056 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65189 53961 165 491 0 64688 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 260756

[startup+582.3 s]
/proc/loadavg: 2.18 2.18 2.19 3/177 23856
/proc/meminfo: memFree=28482144/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=260860 CPUtime=582.19 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11215 0 0 0 58214 5 0 0 20 0 1 0 125231009 267120640 53978 33554432000 4194304 6201397 140734684641104 140734684640056 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65215 53978 165 491 0 64714 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 260860


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


[startup+942.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/177 23863
/proc/meminfo: memFree=28444304/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=262196 CPUtime=942.15 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11714 0 0 0 94209 6 0 0 20 0 1 0 125231009 268488704 54457 33554432000 4194304 6201397 140734684641104 140734684640232 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65549 54457 165 491 0 65048 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 262196

[startup+1002.3 s]
/proc/loadavg: 2.12 2.16 2.17 3/177 23865
/proc/meminfo: memFree=28433832/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=262316 CPUtime=1002.14 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11739 0 0 0 100208 6 0 0 20 0 1 0 125231009 268611584 54482 33554432000 4194304 6201397 140734684641104 140734684639736 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65579 54482 165 491 0 65078 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 262316

[startup+1062.3 s]
/proc/loadavg: 2.16 2.16 2.17 3/178 23869
/proc/meminfo: memFree=28431572/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=262316 CPUtime=1062.13 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11753 0 0 0 106207 6 0 0 20 0 1 0 125231009 268611584 54496 33554432000 4194304 6201397 140734684641104 140734684639736 4213192 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65579 54496 165 491 0 65078 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 262316

[startup+1122.3 s]
/proc/loadavg: 2.23 2.18 2.18 3/179 23893
/proc/meminfo: memFree=28381268/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=262412 CPUtime=1122.12 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11771 0 0 0 112206 6 0 0 20 0 1 0 125231009 268709888 54514 33554432000 4194304 6201397 140734684641104 140734684640056 4213170 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65603 54514 165 491 0 65102 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 262412

[startup+1182.3 s]
/proc/loadavg: 2.17 2.17 2.18 3/178 23894
/proc/meminfo: memFree=28380924/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=262544 CPUtime=1182.11 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11789 0 0 0 118205 6 0 0 20 0 1 0 125231009 268845056 54532 33554432000 4194304 6201397 140734684641104 140734684639768 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65636 54532 165 491 0 65135 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 262544

[startup+1242.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/178 23895
/proc/meminfo: memFree=28368836/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=262544 CPUtime=1242.1 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11802 0 0 0 124204 6 0 0 20 0 1 0 125231009 268845056 55056 33554432000 4194304 6201397 140734684641104 140734684639768 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65636 55056 165 491 0 65135 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 262544

[startup+1302.3 s]
/proc/loadavg: 2.08 2.15 2.17 4/178 23942
/proc/meminfo: memFree=28841540/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=262664 CPUtime=1302.09 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11846 0 0 0 130203 6 0 0 20 0 1 0 125231009 268967936 56633 33554432000 4194304 6201397 140734684641104 140734684639896 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65666 56633 165 491 0 65165 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 262664

[startup+1362.3 s]
/proc/loadavg: 2.31 2.19 2.18 3/178 23944
/proc/meminfo: memFree=28812568/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=262788 CPUtime=1362.08 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11891 0 0 0 136202 6 0 0 20 0 1 0 125231009 269094912 56703 33554432000 4194304 6201397 140734684641104 140734684640056 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65697 56703 165 491 0 65196 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 262788

[startup+1422.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/178 23945
/proc/meminfo: memFree=28806568/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=262788 CPUtime=1422.07 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11896 0 0 0 142201 6 0 0 20 0 1 0 125231009 269094912 56708 33554432000 4194304 6201397 140734684641104 140734684640232 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65697 56708 165 491 0 65196 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 262788

[startup+1482.3 s]
/proc/loadavg: 2.33 2.23 2.19 3/178 23946
/proc/meminfo: memFree=28795404/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=262788 CPUtime=1482.06 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11896 0 0 0 148200 6 0 0 20 0 1 0 125231009 269094912 56708 33554432000 4194304 6201397 140734684641104 140734684640232 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65697 56708 165 491 0 65196 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 262788

[startup+1542.31 s]
/proc/loadavg: 2.37 2.26 2.20 3/178 23947
/proc/meminfo: memFree=28783416/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=262788 CPUtime=1542.06 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11897 0 0 0 154200 6 0 0 20 0 1 0 125231009 269094912 56709 33554432000 4194304 6201397 140734684641104 140734684640232 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65697 56709 165 491 0 65196 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 262788

[startup+1602.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/178 23948
/proc/meminfo: memFree=28772048/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=262788 CPUtime=1602.04 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11899 0 0 0 160198 6 0 0 20 0 1 0 125231009 269094912 56711 33554432000 4194304 6201397 140734684641104 140734684640232 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65697 56711 165 491 0 65196 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 262788

[startup+1662.3 s]
/proc/loadavg: 2.19 2.23 2.19 4/179 23953
/proc/meminfo: memFree=28752484/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=262932 CPUtime=1662.03 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11914 0 0 0 166197 6 0 0 20 0 1 0 125231009 269242368 56726 33554432000 4194304 6201397 140734684641104 140734684640232 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65733 56726 165 491 0 65232 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 262932

[startup+1722.3 s]
/proc/loadavg: 2.12 2.20 2.18 3/178 23954
/proc/meminfo: memFree=28751780/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=263220 CPUtime=1722.02 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 11977 0 0 0 172196 6 0 0 20 0 1 0 125231009 269537280 56789 33554432000 4194304 6201397 140734684641104 140734684639768 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65805 56789 165 491 0 65304 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 263220

[startup+1782.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/178 23955
/proc/meminfo: memFree=28733380/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=263700 CPUtime=1782.01 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 12055 0 0 0 178195 6 0 0 20 0 1 0 125231009 270028800 56867 33554432000 4194304 6201397 140734684641104 140734684639816 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65925 56867 165 491 0 65424 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 263700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.28 2.23 2.19 4/178 23955
/proc/meminfo: memFree=28731208/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=263700 CPUtime=1800.01 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 12055 0 0 0 179995 6 0 0 20 0 1 0 125231009 270028800 56867 33554432000 4194304 6201397 140734684641104 140734684639816 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65925 56867 165 491 0 65424 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 263700

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

[startup+1800.3 s]
/proc/loadavg: 2.28 2.23 2.19 4/178 23955
/proc/meminfo: memFree=28731208/32872528 swapFree=17892/1720544
[pid=23840] ppid=23837 vsize=263700 CPUtime=1800.01 cores=1,3,5,7
/proc/23840/stat : 23840 (cdcl-cuttingpla) R 23837 23840 23028 0 -1 4202496 12055 0 0 0 179995 6 0 0 20 0 1 0 125231009 270028800 56867 33554432000 4194304 6201397 140734684641104 140734684639816 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/23840/statm: 65925 56867 165 491 0 65424 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 263700

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.068989
maximum resident set size= 227468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12055
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= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65229 second user time and 6.80996 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-09 02:42:59
IDJOB=4088333
IDBENCH=25015
IDSOLVER=2550
FILE ID=node117/4088333-1465432979
RUNJOBID= node117-1465427047-23045
PBS_JOBID= 19859790
Free space on /tmp= 71704 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088333-1465432979/watcher-4088333-1465432979 -o /tmp/evaluation-result-4088333-1465432979/solver-4088333-1465432979 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465427047-23045 --watchdog 1960 --input HOME/instance-4088333-1465432979.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= d25f6086317f033c233c4700493f03d1
RANDOM SEED=1097285921

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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.088
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.53
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.088
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:        28773700 kB
Buffers:          189848 kB
Cached:          1037104 kB
SwapCached:        29272 kB
Active:           887276 kB
Inactive:         746180 kB
Active(anon):     378340 kB
Inactive(anon):    30596 kB
Active(file):     508936 kB
Inactive(file):   715584 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67071228 kB
Dirty:              2740 kB
Writeback:             4 kB
AnonPages:       2098744 kB
Mapped:             7784 kB
Shmem:                 0 kB
Slab:             610016 kB
SReclaimable:      54324 kB
SUnreclaim:       555692 kB
KernelStack:        1464 kB
PageTables:         8440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2269516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2074624 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= 71704 MiB
End job on node117 at 2016-06-09 03:12:59