Trace number 4087264

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 NameAnswerCPU timeWall clock time
cdcl-cuttingplanes DEC 2016-05-01? (TO) 1800.03 1800.3

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K83.opb
MD5SUM87eecd69bf3cf4e36ad8fc8a9d8af53d
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5644
Total number of constraints5812
Number of constraints which are clauses5729
Number of constraints which are cardinality constraints (but not clauses)83
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint83
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 84
Number of bits of the biggest sum of numbers7
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 * #variable= 5644 #constraint= 5812
0.89/0.92	c #Conflicts:       1000 | #Learnt:        998 | 0.108
0.89/0.92	c total clause space: 11.2235MB
0.89/0.92	c total #watches: 93695
4.08/4.13	c total #propagations: 379996 / total #impl: 4873707 (eff. 0.078)
4.08/4.13	c #Conflicts:       2000 | #Learnt:       1998 | 0.055
4.08/4.13	c total clause space: 18.2382MB
4.08/4.13	c total #watches: 147705
6.19/6.21	c total #propagations: 704168 / total #impl: 13443945 (eff. 0.052)
6.19/6.21	c GARBAGE COLLECT
6.19/6.21	c #Conflicts:       3000 | #Learnt:       2027 | 0.046
6.19/6.21	c total clause space: 29.637MB
6.19/6.21	c total #watches: 153613
12.49/12.52	c total #propagations: 947297 / total #impl: 20842652 (eff. 0.045)
12.49/12.52	c #Conflicts:       4000 | #Learnt:       3027 | 0.035
12.49/12.52	c total clause space: 29.637MB
12.49/12.52	c total #watches: 223392
18.29/18.32	c total #propagations: 1301467 / total #impl: 37711239 (eff. 0.035)
18.29/18.32	c GARBAGE COLLECT
18.29/18.32	c #Conflicts:       5000 | #Learnt:       2383 | 0.028
18.29/18.32	c total clause space: 48.1602MB
18.29/18.32	c total #watches: 198122
24.89/24.95	c total #propagations: 1656764 / total #impl: 53277128 (eff. 0.031)
24.89/24.95	c #Conflicts:       6000 | #Learnt:       3383 | 0.024
24.89/24.95	c total clause space: 48.1602MB
24.89/24.95	c total #watches: 272290
33.68/33.71	c total #propagations: 2011131 / total #impl: 75027364 (eff. 0.027)
33.68/33.71	c GARBAGE COLLECT
33.68/33.71	c #Conflicts:       7000 | #Learnt:       2285 | 0.020
33.68/33.71	c total clause space: 48.1602MB
33.68/33.71	c total #watches: 199124
42.38/42.45	c total #propagations: 2397687 / total #impl: 113254244 (eff. 0.021)
42.38/42.45	c #Conflicts:       8000 | #Learnt:       3285 | 0.018
42.38/42.45	c total clause space: 48.1602MB
42.38/42.45	c total #watches: 292983
52.98/53.04	c total #propagations: 2806995 / total #impl: 153906612 (eff. 0.018)
52.98/53.04	c #Conflicts:       9000 | #Learnt:       4285 | 0.016
52.98/53.04	c total clause space: 48.1602MB
52.98/53.04	c total #watches: 376648
65.99/66.10	c total #propagations: 3158871 / total #impl: 187362243 (eff. 0.017)
65.99/66.10	c GARBAGE COLLECT
65.99/66.10	c #Conflicts:      10000 | #Learnt:       2787 | 0.014
65.99/66.10	c total clause space: 78.2603MB
65.99/66.10	c total #watches: 284048
77.68/77.72	c total #propagations: 3462367 / total #impl: 221713015 (eff. 0.016)
77.68/77.72	c #Conflicts:      11000 | #Learnt:       3787 | 0.014
77.68/77.72	c total clause space: 78.2603MB
77.68/77.72	c total #watches: 413727
106.08/106.12	c total #propagations: 3739524 / total #impl: 252501652 (eff. 0.015)
106.08/106.12	c #Conflicts:      12000 | #Learnt:       4787 | 0.013
106.08/106.12	c total clause space: 78.2603MB
106.08/106.12	c total #watches: 583074
141.37/141.49	c total #propagations: 4066710 / total #impl: 347954394 (eff. 0.012)
141.37/141.49	c #Conflicts:      13000 | #Learnt:       5787 | 0.012
141.37/141.49	c total clause space: 78.2603MB
141.37/141.49	c total #watches: 660838
162.17/162.20	c total #propagations: 4427782 / total #impl: 401319422 (eff. 0.011)
162.17/162.20	c GARBAGE COLLECT
162.17/162.20	c #Conflicts:      14000 | #Learnt:       3923 | 0.012
162.17/162.20	c total clause space: 78.2603MB
162.17/162.20	c total #watches: 473085
186.86/186.92	c total #propagations: 4722980 / total #impl: 505437550 (eff. 0.009)
186.86/186.92	c #Conflicts:      15000 | #Learnt:       4923 | 0.011
186.86/186.92	c total clause space: 78.2603MB
186.86/186.92	c total #watches: 568282
217.65/217.73	c total #propagations: 5010247 / total #impl: 591147691 (eff. 0.008)
217.65/217.73	c #Conflicts:      16000 | #Learnt:       5923 | 0.010
217.65/217.73	c total clause space: 78.2603MB
217.65/217.73	c total #watches: 678479
248.85/248.95	c total #propagations: 5342794 / total #impl: 650515309 (eff. 0.008)
248.85/248.95	c GARBAGE COLLECT
248.85/248.95	c #Conflicts:      17000 | #Learnt:       3752 | 0.010
248.85/248.95	c total clause space: 127.173MB
248.85/248.95	c total #watches: 479395
291.95/292.08	c total #propagations: 5642388 / total #impl: 703992267 (eff. 0.008)
291.95/292.08	c #Conflicts:      18000 | #Learnt:       4752 | 0.009
291.95/292.08	c total clause space: 127.173MB
291.95/292.08	c total #watches: 565894
335.84/335.96	c total #propagations: 5986836 / total #impl: 766682414 (eff. 0.008)
335.84/335.96	c #Conflicts:      19000 | #Learnt:       5752 | 0.009
335.84/335.96	c total clause space: 127.173MB
335.84/335.96	c total #watches: 669241
389.13/389.26	c total #propagations: 6317482 / total #impl: 820289620 (eff. 0.008)
389.13/389.26	c #Conflicts:      20000 | #Learnt:       6752 | 0.009
389.13/389.26	c total clause space: 127.173MB
389.13/389.26	c total #watches: 764655
418.43/418.59	c total #propagations: 6674268 / total #impl: 866704543 (eff. 0.008)
418.43/418.59	c GARBAGE COLLECT
418.43/418.59	c #Conflicts:      21000 | #Learnt:       4256 | 0.008
418.43/418.59	c total clause space: 127.173MB
418.43/418.59	c total #watches: 455739
448.42/448.55	c total #propagations: 7004383 / total #impl: 911472993 (eff. 0.008)
448.42/448.55	c #Conflicts:      22000 | #Learnt:       5256 | 0.009
448.42/448.55	c total clause space: 127.173MB
448.42/448.55	c total #watches: 538390
480.52/480.67	c total #propagations: 7397241 / total #impl: 957407103 (eff. 0.008)
480.52/480.67	c #Conflicts:      23000 | #Learnt:       6256 | 0.008
480.52/480.67	c total clause space: 127.173MB
480.52/480.67	c total #watches: 624502
516.81/516.98	c total #propagations: 7765489 / total #impl: 1006770609 (eff. 0.008)
516.81/516.98	c #Conflicts:      24000 | #Learnt:       7256 | 0.008
516.81/516.98	c total clause space: 127.173MB
516.81/516.98	c total #watches: 753610
551.11/551.29	c total #propagations: 8078774 / total #impl: 1071610386 (eff. 0.008)
551.11/551.29	c GARBAGE COLLECT
551.11/551.29	c #Conflicts:      25000 | #Learnt:       4459 | 0.008
551.11/551.29	c total clause space: 127.173MB
551.11/551.29	c total #watches: 475914
576.10/576.28	c total #propagations: 8440832 / total #impl: 1130825357 (eff. 0.007)
576.10/576.28	c #Conflicts:      26000 | #Learnt:       5459 | 0.007
576.10/576.28	c total clause space: 127.173MB
576.10/576.28	c total #watches: 590761
626.29/626.49	c total #propagations: 8783394 / total #impl: 1176548852 (eff. 0.007)
626.29/626.49	c #Conflicts:      27000 | #Learnt:       6459 | 0.007
626.29/626.49	c total clause space: 127.173MB
626.29/626.49	c total #watches: 680735
684.48/684.66	c total #propagations: 9284589 / total #impl: 1238828455 (eff. 0.007)
684.48/684.66	c #Conflicts:      28000 | #Learnt:       7459 | 0.007
684.48/684.66	c total clause space: 127.173MB
684.48/684.66	c total #watches: 777852
739.19/739.30	c total #propagations: 9737795 / total #impl: 1317974482 (eff. 0.007)
739.19/739.30	c GARBAGE COLLECT
739.19/739.30	c #Conflicts:      29000 | #Learnt:       4350 | 0.007
739.19/739.30	c total clause space: 127.173MB
739.19/739.30	c total #watches: 420465
767.58/767.75	c total #propagations: 10163532 / total #impl: 1384780523 (eff. 0.007)
767.58/767.75	c #Conflicts:      30000 | #Learnt:       5350 | 0.006
767.58/767.75	c total clause space: 127.173MB
767.58/767.75	c total #watches: 541442
803.87/804.08	c total #propagations: 10610311 / total #impl: 1446344809 (eff. 0.007)
803.87/804.08	c #Conflicts:      31000 | #Learnt:       6350 | 0.006
803.87/804.08	c total clause space: 127.173MB
803.87/804.08	c total #watches: 678783
854.06/854.23	c total #propagations: 11056335 / total #impl: 1530354608 (eff. 0.007)
854.06/854.23	c #Conflicts:      32000 | #Learnt:       7350 | 0.007
854.06/854.23	c total clause space: 127.173MB
854.06/854.23	c total #watches: 851720
936.35/936.51	c total #propagations: 11436735 / total #impl: 1607520700 (eff. 0.007)
936.35/936.51	c #Conflicts:      33000 | #Learnt:       8350 | 0.006
936.35/936.51	c total clause space: 127.173MB
936.35/936.51	c total #watches: 976248
1000.24/1000.43	c total #propagations: 11861030 / total #impl: 1688115235 (eff. 0.007)
1000.24/1000.43	c GARBAGE COLLECT
1000.24/1000.43	c #Conflicts:      34000 | #Learnt:       4963 | 0.006
1000.24/1000.43	c total clause space: 127.173MB
1000.24/1000.43	c total #watches: 641461
1073.73/1073.91	c total #propagations: 12202513 / total #impl: 1787718562 (eff. 0.007)
1073.73/1073.91	c #Conflicts:      35000 | #Learnt:       5963 | 0.006
1073.73/1073.91	c total clause space: 127.173MB
1073.73/1073.91	c total #watches: 918237
1163.02/1163.25	c total #propagations: 12590740 / total #impl: 1969362762 (eff. 0.006)
1163.02/1163.25	c #Conflicts:      36000 | #Learnt:       6963 | 0.006
1163.02/1163.25	c total clause space: 127.173MB
1163.02/1163.25	c total #watches: 1097836
1244.80/1245.06	c total #propagations: 12901136 / total #impl: 2137226255 (eff. 0.006)
1244.80/1245.06	c #Conflicts:      37000 | #Learnt:       7963 | 0.006
1244.80/1245.06	c total clause space: 127.173MB
1244.80/1245.06	c total #watches: 1246847
1376.78/1377.00	c total #propagations: 13174137 / total #impl: 2299560819 (eff. 0.006)
1376.78/1377.00	c #Conflicts:      38000 | #Learnt:       8963 | 0.006
1376.78/1377.00	c total clause space: 206.656MB
1376.78/1377.00	c total #watches: 1477312
1515.36/1515.65	c total #propagations: 13512294 / total #impl: 2563860736 (eff. 0.005)
1515.36/1515.65	c GARBAGE COLLECT
1515.36/1515.65	c #Conflicts:      39000 | #Learnt:       5321 | 0.005
1515.36/1515.65	c total clause space: 206.656MB
1515.36/1515.65	c total #watches: 779942
1647.94/1648.24	c total #propagations: 13833692 / total #impl: 2806171487 (eff. 0.005)
1647.94/1648.24	c #Conflicts:      40000 | #Learnt:       6321 | 0.005
1647.94/1648.24	c total clause space: 206.656MB
1647.94/1648.24	c total #watches: 965176
1760.32/1760.67	c total #propagations: 14176752 / total #impl: 2995969026 (eff. 0.005)
1760.32/1760.67	c #Conflicts:      41000 | #Learnt:       7321 | 0.005
1760.32/1760.67	c total clause space: 206.656MB
1760.32/1760.67	c total #watches: 1061885

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-4087264-1465427057/watcher-4087264-1465427057 -o /tmp/evaluation-result-4087264-1465427057/solver-4087264-1465427057 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465427057-32239 --watchdog 1960 --input HOME/instance-4087264-1465427057.opb ./cdcl-cuttingplanes-release 

pid=32260
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: 0.01 0.35 0.96 2/173 32263
/proc/meminfo: memFree=29915236/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=29104 CPUtime=0 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 268 0 0 0 0 0 0 0 20 0 1 0 124640378 29802496 5260 33554432000 4194304 6199737 140735857114656 140734190638584 5193012 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 7276 5260 122 490 0 6777 0

[startup+0.100161 s]
/proc/loadavg: 0.01 0.35 0.96 2/173 32263
/proc/meminfo: memFree=29915236/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=34400 CPUtime=0.09 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 872 0 0 0 9 0 0 0 20 0 1 0 124640378 35225600 7262 33554432000 4194304 6199737 140735857114656 140734190638584 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 8600 7262 139 490 0 8101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34400

[startup+0.200333 s]
/proc/loadavg: 0.01 0.35 0.96 2/173 32263
/proc/meminfo: memFree=29915236/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=34528 CPUtime=0.19 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 1173 0 0 0 19 0 0 0 20 0 1 0 124640378 35356672 7455 33554432000 4194304 6199737 140735857114656 140734190638584 4213306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 8632 7455 139 490 0 8133 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34528

[startup+0.300266 s]
/proc/loadavg: 0.01 0.35 0.96 2/173 32263
/proc/meminfo: memFree=29915236/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=37492 CPUtime=0.29 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 1300 0 0 0 29 0 0 0 20 0 1 0 124640378 38391808 8066 33554432000 4194304 6199737 140735857114656 140734190638584 5149722 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 9373 8066 139 490 0 8874 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37492

[startup+0.700234 s]
/proc/loadavg: 0.01 0.35 0.96 2/173 32263
/proc/meminfo: memFree=29915236/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=37864 CPUtime=0.69 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 1532 0 0 0 69 0 0 0 20 0 1 0 124640378 38772736 8237 33554432000 4194304 6199737 140735857114656 140734190638584 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 9466 8237 139 490 0 8967 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37864

[startup+1.50023 s]
/proc/loadavg: 0.17 0.38 0.96 3/177 32270
/proc/meminfo: memFree=29844132/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=42620 CPUtime=1.49 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 2108 0 0 0 149 0 0 0 20 0 1 0 124640378 43642880 9151 33554432000 4194304 6199737 140735857114656 140735857113672 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 10655 9151 155 490 0 10156 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42620

[startup+3.10023 s]
/proc/loadavg: 0.17 0.38 0.96 3/177 32270
/proc/meminfo: memFree=29838108/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=50176 CPUtime=3.09 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 2770 0 0 0 309 0 0 0 20 0 1 0 124640378 51380224 10103 33554432000 4194304 6199737 140735857114656 140735857113304 4213314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 12544 10103 155 490 0 12045 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50176

[startup+6.30028 s]
/proc/loadavg: 0.32 0.41 0.97 3/177 32270
/proc/meminfo: memFree=29826792/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=62764 CPUtime=6.29 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 3935 0 0 0 628 1 0 0 20 0 1 0 124640378 64270336 12000 33554432000 4194304 6199737 140735857114656 140735857113672 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 15691 12000 161 490 0 15192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62764

[startup+12.7002 s]
/proc/loadavg: 0.45 0.43 0.97 3/177 32270
/proc/meminfo: memFree=29802932/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=63988 CPUtime=12.69 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 4228 0 0 0 1268 1 0 0 20 0 1 0 124640378 65523712 14337 33554432000 4194304 6199737 140735857114656 140735857113592 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 15997 14337 161 490 0 15498 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63988

[startup+25.5003 s]
/proc/loadavg: 0.69 0.48 0.99 3/177 32270
/proc/meminfo: memFree=29792588/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=83752 CPUtime=25.49 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 5376 0 0 0 2548 1 0 0 20 0 1 0 124640378 85762048 15549 33554432000 4194304 6199737 140735857114656 140735857113592 4213314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 20938 15549 161 490 0 20439 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83752

[startup+51.1003 s]
/proc/loadavg: 1.20 0.63 1.02 3/177 32270
/proc/meminfo: memFree=29772060/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=85172 CPUtime=51.08 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 6117 0 0 0 5107 1 0 0 20 0 1 0 124640378 87216128 17214 33554432000 4194304 6199737 140735857114656 140735857113480 4213385 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 21293 17214 161 490 0 20794 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85172

[startup+102.3 s]
/proc/loadavg: 1.71 0.85 1.07 3/177 32271
/proc/meminfo: memFree=29743240/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=118848 CPUtime=102.28 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 7602 0 0 0 10226 2 0 0 20 0 1 0 124640378 121700352 21470 33554432000 4194304 6199737 140735857114656 140735857113304 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 29712 21470 161 490 0 29213 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 118848

[startup+162.3 s]
/proc/loadavg: 2.05 1.10 1.14 3/177 32272
/proc/meminfo: memFree=29724192/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=120216 CPUtime=162.27 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 8045 0 0 0 16225 2 0 0 20 0 1 0 124640378 123101184 24424 33554432000 4194304 6199737 140735857114656 140735857113592 4213385 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 30054 24424 161 490 0 29555 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 120216

[startup+222.307 s]
/proc/loadavg: 2.02 1.26 1.19 4/177 32273
/proc/meminfo: memFree=29680940/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=171580 CPUtime=222.26 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 8688 0 0 0 22224 2 0 0 20 0 1 0 124640378 175697920 29593 33554432000 4194304 6199737 140735857114656 140735857113304 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 42895 29593 161 490 0 42396 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 171580

[startup+282.3 s]
/proc/loadavg: 2.06 1.41 1.25 3/177 32274
/proc/meminfo: memFree=29663136/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=172652 CPUtime=282.25 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 9214 0 0 0 28222 3 0 0 20 0 1 0 124640378 176795648 31945 33554432000 4194304 6199737 140735857114656 140735857113592 4213314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 43163 31945 161 490 0 42664 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 172652

[startup+342.3 s]
/proc/loadavg: 2.13 1.55 1.30 3/177 32276
/proc/meminfo: memFree=29655124/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=173088 CPUtime=342.24 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 9486 0 0 0 34221 3 0 0 20 0 1 0 124640378 177242112 32705 33554432000 4194304 6199737 140735857114656 140735857113768 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 43272 32705 161 490 0 42773 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 173088

[startup+402.3 s]
/proc/loadavg: 2.05 1.63 1.34 3/178 32280
/proc/meminfo: memFree=29640080/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=174036 CPUtime=402.23 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 9728 0 0 0 40220 3 0 0 20 0 1 0 124640378 178212864 36013 33554432000 4194304 6199737 140735857114656 140735857113768 4213320 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 43509 36013 161 490 0 43010 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 174036

[startup+462.3 s]
/proc/loadavg: 2.02 1.69 1.38 3/177 32281
/proc/meminfo: memFree=29634048/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=174144 CPUtime=462.22 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 9809 0 0 0 46219 3 0 0 20 0 1 0 124640378 178323456 36052 33554432000 4194304 6199737 140735857114656 140735857113768 4213396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 43536 36052 161 490 0 43037 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 174144

[startup+522.3 s]
/proc/loadavg: 2.04 1.76 1.42 3/177 32282
/proc/meminfo: memFree=29630760/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=174696 CPUtime=522.21 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 10038 0 0 0 52218 3 0 0 20 0 1 0 124640378 178888704 36280 33554432000 4194304 6199737 140735857114656 140735857113768 4213396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 43674 36280 161 490 0 43175 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 174696

[startup+582.3 s]
/proc/loadavg: 2.16 1.85 1.47 3/177 32283
/proc/meminfo: memFree=29629532/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=175084 CPUtime=582.2 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 10143 0 0 0 58217 3 0 0 20 0 1 0 124640378 179286016 36383 33554432000 4194304 6199737 140735857114656 140735857113592 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 43771 36383 161 490 0 43272 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 175084


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


[startup+942.3 s]
/proc/loadavg: 2.10 2.05 1.67 3/177 32291
/proc/meminfo: memFree=29602600/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=177672 CPUtime=942.15 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 10860 0 0 0 94211 4 0 0 20 0 1 0 124640378 181936128 37098 33554432000 4194304 6199737 140735857114656 140735857113768 4213314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 44418 37098 161 490 0 43919 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 177672

[startup+1002.3 s]
/proc/loadavg: 2.07 2.05 1.70 3/178 32295
/proc/meminfo: memFree=29592032/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=178152 CPUtime=1002.14 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 10988 0 0 0 100210 4 0 0 20 0 1 0 124640378 182427648 39781 33554432000 4194304 6199737 140735857114656 140735857113768 4213396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 44538 39781 161 490 0 44039 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 178152

[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 1.71 3/177 32296
/proc/meminfo: memFree=29591300/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=178192 CPUtime=1062.13 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 10994 0 0 0 106209 4 0 0 20 0 1 0 124640378 182468608 39787 33554432000 4194304 6199737 140735857114656 140735857113592 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 44548 39787 161 490 0 44049 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 178192

[startup+1122.3 s]
/proc/loadavg: 2.05 2.04 1.73 3/177 32297
/proc/meminfo: memFree=29577644/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=178720 CPUtime=1122.12 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 11130 0 0 0 112208 4 0 0 20 0 1 0 124640378 183009280 39923 33554432000 4194304 6199737 140735857114656 140735857113592 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 44680 39923 161 490 0 44181 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 178720

[startup+1182.3 s]
/proc/loadavg: 2.08 2.05 1.75 3/176 32298
/proc/meminfo: memFree=29558428/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=178944 CPUtime=1182.11 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 11193 0 0 0 118207 4 0 0 20 0 1 0 124640378 183238656 39986 33554432000 4194304 6199737 140735857114656 140735857113480 4213296 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 44736 39986 161 490 0 44237 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 178944

[startup+1242.3 s]
/proc/loadavg: 2.03 2.04 1.76 3/177 32301
/proc/meminfo: memFree=29548304/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=179412 CPUtime=1242.1 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 11292 0 0 0 124206 4 0 0 20 0 1 0 124640378 183717888 41620 33554432000 4194304 6199737 140735857114656 140735857113480 4213396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 44853 41620 161 490 0 44354 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 179412

[startup+1302.3 s]
/proc/loadavg: 2.04 2.04 1.78 3/177 32302
/proc/meminfo: memFree=29526636/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=261308 CPUtime=1302.09 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 11646 0 0 0 130205 4 0 0 20 0 1 0 124640378 267579392 47044 33554432000 4194304 6199737 140735857114656 140735857113480 4213314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 65327 47044 161 490 0 64828 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 261308

[startup+1362.3 s]
/proc/loadavg: 2.13 2.06 1.80 3/177 32303
/proc/meminfo: memFree=29503984/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=262544 CPUtime=1362.08 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 11965 0 0 0 136204 4 0 0 20 0 1 0 124640378 268845056 52303 33554432000 4194304 6199737 140735857114656 140735857113352 4213320 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 65636 52303 161 490 0 65137 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 262544

[startup+1422.3 s]
/proc/loadavg: 2.09 2.06 1.82 3/177 32304
/proc/meminfo: memFree=29482060/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=262948 CPUtime=1422.08 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 12091 0 0 0 142203 5 0 0 20 0 1 0 124640378 269258752 57539 33554432000 4194304 6199737 140735857114656 140735857113352 4213385 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 65737 57539 161 490 0 65238 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 262948

[startup+1482.3 s]
/proc/loadavg: 2.07 2.06 1.83 3/177 32305
/proc/meminfo: memFree=29456180/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=263424 CPUtime=1482.06 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 12235 0 0 0 148201 5 0 0 20 0 1 0 124640378 269746176 61260 33554432000 4194304 6199737 140735857114656 140735857113592 4213389 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 65856 61260 161 490 0 65357 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 263424

[startup+1542.31 s]
/proc/loadavg: 2.15 2.08 1.85 3/177 32307
/proc/meminfo: memFree=29436384/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=263464 CPUtime=1542.06 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 12249 0 0 0 154201 5 0 0 20 0 1 0 124640378 269787136 61274 33554432000 4194304 6199737 140735857114656 140735857113592 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 65866 61274 161 490 0 65367 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 263464

[startup+1602.3 s]
/proc/loadavg: 2.10 2.08 1.86 3/178 32311
/proc/meminfo: memFree=29414688/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=263504 CPUtime=1602.04 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 12256 0 0 0 160199 5 0 0 20 0 1 0 124640378 269828096 61281 33554432000 4194304 6199737 140735857114656 140735857113592 4213493 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 65876 61281 161 490 0 65377 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 263504

[startup+1662.3 s]
/proc/loadavg: 2.07 2.08 1.87 4/177 32312
/proc/meminfo: memFree=29390804/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=263620 CPUtime=1662.03 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 12284 0 0 0 166198 5 0 0 20 0 1 0 124640378 269946880 61309 33554432000 4194304 6199737 140735857114656 140735857113768 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 65905 61309 161 490 0 65406 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 263620

[startup+1722.3 s]
/proc/loadavg: 2.17 2.09 1.89 3/177 32313
/proc/meminfo: memFree=29389436/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=263620 CPUtime=1722.03 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 12285 0 0 0 172198 5 0 0 20 0 1 0 124640378 269946880 61310 33554432000 4194304 6199737 140735857114656 140735857113768 4213238 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 65905 61310 161 490 0 65406 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 263620

[startup+1782.3 s]
/proc/loadavg: 2.14 2.10 1.90 3/177 32314
/proc/meminfo: memFree=29387944/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=263812 CPUtime=1782.02 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 12324 0 0 0 178197 5 0 0 20 0 1 0 124640378 270143488 61349 33554432000 4194304 6199737 140735857114656 140735857113592 4213381 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 65953 61349 161 490 0 65454 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 263812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.11 2.10 1.90 4/177 32314
/proc/meminfo: memFree=29387944/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=263812 CPUtime=1800.01 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 12328 0 0 0 179996 5 0 0 20 0 1 0 124640378 270143488 61353 33554432000 4194304 6199737 140735857114656 140735857113592 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 65953 61353 161 490 0 65454 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 263812

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

[startup+1800.3 s]
/proc/loadavg: 2.11 2.10 1.90 4/177 32314
/proc/meminfo: memFree=29387944/32872528 swapFree=13072/1184284
[pid=32263] ppid=32260 vsize=263812 CPUtime=1800.01 cores=0,2,4,6
/proc/32263/stat : 32263 (cdcl-cuttingpla) R 32260 32263 32223 0 -1 4202496 12328 0 0 0 179996 5 0 0 20 0 1 0 124640378 270143488 61353 33554432000 4194304 6199737 140735857114656 140735857113592 4213368 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/32263/statm: 65953 61353 161 490 0 65454 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 263812

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.97
CPU system time (s): 0.057991
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 263812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.057991
maximum resident set size= 245412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12328
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= 12
involuntary context switches= 1894

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.79627 second user time and 6.66399 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-09 01:04:17
IDJOB=4087264
IDBENCH=90136
IDSOLVER=2548
FILE ID=node115/4087264-1465427057
RUNJOBID= node115-1465427057-32239
PBS_JOBID= 19859792
Free space on /tmp= 71740 MiB

SOLVER NAME= cdcl-cuttingplanes DEC 2016-05-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K83.opb
COMMAND LINE= ./cdcl-cuttingplanes-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087264-1465427057/watcher-4087264-1465427057 -o /tmp/evaluation-result-4087264-1465427057/solver-4087264-1465427057 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465427057-32239 --watchdog 1960 --input HOME/instance-4087264-1465427057.opb ./cdcl-cuttingplanes-release

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

MD5SUM BENCH= 87eecd69bf3cf4e36ad8fc8a9d8af53d
RANDOM SEED=1034953753

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.174
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.57
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.174
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.57
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.174
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:        29915656 kB
Buffers:           96896 kB
Cached:           915988 kB
SwapCached:         1732 kB
Active:           592484 kB
Inactive:         423924 kB
Active(anon):       2780 kB
Inactive(anon):     3304 kB
Active(file):     589704 kB
Inactive(file):   420620 kB
Unevictable:     1184284 kB
Mlocked:           13072 kB
SwapTotal:      67108856 kB
SwapFree:       67098844 kB
Dirty:              5456 kB
Writeback:             0 kB
AnonPages:       1189436 kB
Mapped:             7820 kB
Shmem:                 0 kB
Slab:             622308 kB
SReclaimable:      66580 kB
SUnreclaim:       555728 kB
KernelStack:        1336 kB
PageTables:         6504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1282668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1175552 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 node115 at 2016-06-09 01:34:17