0.00/0.02 c SCIP version 1.1.0.7
0.00/0.02 c LP-Solver SoPlex 1.4.1
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c read problem <HOME/instance-3737147-1338733969.opb>
0.00/0.02 c original problem has 3658 variables (3658 bin, 0 int, 0 impl, 0 cont) and 3658 constraints
0.00/0.03 c start presolving problem
0.00/0.03 c presolving:
0.02/0.09 c (round 1) 3158 del vars, 500 del conss, 3158 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12632 impls, 0 clqs
0.08/0.16 c (0.1s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.08/0.16 c presolving (2 rounds):
0.08/0.16 c 3158 deleted vars, 500 deleted constraints, 3158 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.08/0.16 c 18948 implications, 0 cliques
0.08/0.16 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 3158 constraints
0.08/0.16 c 3158 constraints of type <and>
0.08/0.16 c transformed objective value is always integral (scale: 1)
0.08/0.16 c Presolving Time: 0.07
0.08/0.16 c OPT-NLC
0.08/0.16 c -----------------------------------------------------------------------------------------------
0.08/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.16 c limits/memory = c 13950
0.08/0.16 c # maximal time in seconds to run
0.08/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.16 c limits/time = c 1791
0.08/0.16 c # frequency for displaying node information lines
0.08/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.16 c display/freq = c 10000
0.08/0.16 c -----------------------------------------------------------------------------------------------
0.08/0.16 c start solving problem
0.08/0.16 c
0.08/0.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.08/0.19 c 0.1s| 1 | 0 | 546 | 12M| 0 | 500 | 500 |3158 |3158 | 500 |3158 | 0 | 0 | 0 |-2.500000e+02 | -- | Inf
0.08/0.19 o -80
0.08/0.19 c R 0.1s| 1 | 0 | 546 | 12M| 0 | 500 | 500 |3158 |3158 | 500 |3158 | 0 | 0 | 0 |-2.500000e+02 |-8.000000e+01 | 68.00%
0.19/0.27 c 0.2s| 1 | 0 | 657 | 12M| 0 | 489 | 500 |3158 |3158 | 500 |3170 | 12 | 0 | 0 |-2.445000e+02 |-8.000000e+01 | 67.28%
0.19/0.27 o -81
0.19/0.27 c R 0.2s| 1 | 0 | 657 | 12M| 0 | 489 | 500 |3158 |3158 | 500 |3170 | 12 | 0 | 0 |-2.445000e+02 |-8.100000e+01 | 66.87%
0.29/0.34 c 0.2s| 1 | 0 | 752 | 12M| 0 | 483 | 500 |3158 |3158 | 500 |3177 | 19 | 0 | 0 |-2.415000e+02 |-8.100000e+01 | 66.46%
0.38/0.43 c 0.3s| 1 | 0 | 890 | 12M| 0 | 477 | 500 |3158 |3158 | 500 |3184 | 26 | 0 | 0 |-2.385000e+02 |-8.100000e+01 | 66.04%
0.49/0.52 c 0.4s| 1 | 0 | 1064 | 12M| 0 | 470 | 500 |3158 |3158 | 500 |3193 | 35 | 0 | 0 |-2.350000e+02 |-8.100000e+01 | 65.53%
0.59/0.61 c 0.5s| 1 | 0 | 1218 | 12M| 0 | 464 | 500 |3158 |3158 | 500 |3201 | 43 | 0 | 0 |-2.320000e+02 |-8.100000e+01 | 65.09%
0.69/0.73 c 0.6s| 1 | 0 | 1424 | 12M| 0 | 460 | 500 |3158 |3158 | 500 |3208 | 50 | 0 | 0 |-2.300000e+02 |-8.100000e+01 | 64.78%
0.79/0.83 c 0.7s| 1 | 0 | 1605 | 12M| 0 | 457 | 500 |3158 |3158 | 500 |3216 | 58 | 0 | 0 |-2.285000e+02 |-8.100000e+01 | 64.55%
0.88/0.93 c 0.8s| 1 | 0 | 1776 | 12M| 0 | 454 | 500 |3158 |3158 | 500 |3224 | 66 | 0 | 0 |-2.270000e+02 |-8.100000e+01 | 64.32%
0.99/1.01 c 0.9s| 1 | 0 | 1890 | 12M| 0 | 450 | 500 |3158 |3158 | 500 |3230 | 72 | 0 | 0 |-2.250000e+02 |-8.100000e+01 | 64.00%
1.09/1.10 c 1.0s| 1 | 0 | 2030 | 12M| 0 | 449 | 500 |3158 |3158 | 500 |3237 | 79 | 0 | 0 |-2.245000e+02 |-8.100000e+01 | 63.92%
1.09/1.19 c 1.1s| 1 | 0 | 2151 | 12M| 0 | 448 | 500 |3158 |3158 | 500 | 752 | 86 | 0 | 0 |-2.240000e+02 |-8.100000e+01 | 63.84%
1.19/1.26 c 1.1s| 1 | 0 | 2295 | 12M| 0 | 432 | 500 |3158 |3158 | 500 | 759 | 93 | 0 | 0 |-2.240000e+02 |-8.100000e+01 | 63.84%
1.28/1.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.28/1.33 c 1.2s| 1 | 0 | 2567 | 12M| 0 | 423 | 500 |3158 |3158 | 500 | 829 | 163 | 0 | 0 |-2.215000e+02 |-8.100000e+01 | 63.43%
1.38/1.42 c 1.3s| 1 | 0 | 2848 | 12M| 0 | 424 | 500 |3158 |3158 | 500 | 914 | 248 | 0 | 0 |-2.200000e+02 |-8.100000e+01 | 63.18%
1.49/1.51 c 1.4s| 1 | 0 | 3092 | 13M| 0 | 439 | 500 |3158 |3158 | 500 | 984 | 318 | 0 | 0 |-2.190000e+02 |-8.100000e+01 | 63.01%
1.49/1.59 c 1.5s| 1 | 0 | 3300 | 13M| 0 | 433 | 500 |3158 |3158 | 500 |1015 | 349 | 0 | 0 |-2.180000e+02 |-8.100000e+01 | 62.84%
1.68/1.70 c 1.6s| 1 | 0 | 3767 | 13M| 0 | 433 | 500 |3158 |3158 | 500 | 816 | 378 | 0 | 0 |-2.155000e+02 |-8.100000e+01 | 62.41%
1.68/1.77 c 1.6s| 1 | 0 | 3995 | 13M| 0 | 433 | 500 |3158 |3158 | 500 | 830 | 392 | 0 | 0 |-2.150000e+02 |-8.100000e+01 | 62.33%
1.78/1.86 c 1.7s| 1 | 0 | 4397 | 13M| 0 | 423 | 500 |3158 |3158 | 500 | 902 | 464 | 0 | 0 |-2.145000e+02 |-8.100000e+01 | 62.24%
1.89/1.93 c 1.8s| 1 | 0 | 4706 | 13M| 0 | 413 | 500 |3158 |3158 | 500 | 927 | 489 | 0 | 0 |-2.135000e+02 |-8.100000e+01 | 62.06%
1.89/1.98 c 1.9s| 1 | 0 | 4920 | 13M| 0 | 429 | 500 |3158 |3158 | 500 | 993 | 555 | 0 | 0 |-2.130000e+02 |-8.100000e+01 | 61.97%
1.99/2.07 c 1.9s| 1 | 0 | 5328 | 13M| 0 | 420 | 500 |3158 |3158 | 500 |1019 | 581 | 0 | 0 |-2.122500e+02 |-8.100000e+01 | 61.84%
2.09/2.15 c 2.0s| 1 | 0 | 5676 | 13M| 0 | 415 | 500 |3158 |3158 | 500 | 872 | 607 | 0 | 0 |-2.105000e+02 |-8.100000e+01 | 61.52%
2.19/2.21 c 2.1s| 1 | 0 | 5876 | 13M| 0 | 413 | 500 |3158 |3158 | 500 | 903 | 638 | 0 | 0 |-2.095000e+02 |-8.100000e+01 | 61.34%
2.19/2.29 c 2.2s| 1 | 0 | 6255 | 13M| 0 | 396 | 500 |3158 |3158 | 500 | 929 | 664 | 0 | 0 |-2.090000e+02 |-8.100000e+01 | 61.24%
2.28/2.38 c 2.2s| 1 | 0 | 6613 | 13M| 0 | 431 | 500 |3158 |3158 | 500 |1021 | 756 | 0 | 0 |-2.087500e+02 |-8.100000e+01 | 61.20%
2.38/2.45 c 2.3s| 1 | 0 | 6887 | 13M| 0 | 424 | 500 |3158 |3158 | 500 |1096 | 831 | 0 | 0 |-2.080000e+02 |-8.100000e+01 | 61.06%
2.59/2.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.59/2.61 c 2.5s| 1 | 0 | 7498 | 13M| 0 | 451 | 500 |3158 |3158 | 500 |1140 | 875 | 0 | 0 |-2.075238e+02 |-8.100000e+01 | 60.97%
2.79/2.85 c 2.7s| 1 | 0 | 8303 | 14M| 0 | 410 | 500 |3158 |3158 | 500 |1137 |1178 | 0 | 0 |-2.060000e+02 |-8.100000e+01 | 60.68%
2.89/2.94 c 2.8s| 1 | 0 | 8654 | 14M| 0 | 412 | 500 |3158 |3158 | 500 |1149 |1190 | 0 | 0 |-2.055000e+02 |-8.100000e+01 | 60.58%
2.99/3.03 c 2.9s| 1 | 0 | 8996 | 14M| 0 | 406 | 500 |3158 |3158 | 500 |1184 |1225 | 0 | 0 |-2.045000e+02 |-8.100000e+01 | 60.39%
3.09/3.15 c 3.0s| 1 | 0 | 9426 | 14M| 0 | 445 | 500 |3158 |3158 | 500 |1206 |1247 | 0 | 0 |-2.038800e+02 |-8.100000e+01 | 60.27%
3.29/3.32 c 3.2s| 1 | 0 | 10065 | 14M| 0 | 413 | 500 |3158 |3158 | 500 |1292 |1333 | 0 | 0 |-2.025000e+02 |-8.100000e+01 | 60.00%
3.38/3.47 c 3.3s| 1 | 0 | 10632 | 14M| 0 | 421 | 500 |3158 |3158 | 500 |1308 |1349 | 0 | 0 |-2.017500e+02 |-8.100000e+01 | 59.85%
3.59/3.64 c 3.5s| 1 | 0 | 11262 | 14M| 0 | 400 | 500 |3158 |3158 | 500 |1135 |1359 | 0 | 0 |-2.010000e+02 |-8.100000e+01 | 59.70%
3.69/3.73 c 3.6s| 1 | 0 | 11715 | 14M| 0 | 396 | 500 |3158 |3158 | 500 |1147 |1371 | 0 | 0 |-2.000000e+02 |-8.100000e+01 | 59.50%
3.79/3.83 c 3.7s| 1 | 0 | 12096 | 14M| 0 | 426 | 500 |3158 |3158 | 500 |1165 |1389 | 0 | 0 |-2.000000e+02 |-8.100000e+01 | 59.50%
3.88/3.98 c 3.8s| 1 | 0 | 12711 | 14M| 0 | 436 | 500 |3158 |3158 | 500 |1183 |1407 | 0 | 0 |-1.992692e+02 |-8.100000e+01 | 59.35%
4.09/4.11 c 4.0s| 1 | 0 | 13217 | 14M| 0 | 443 | 500 |3158 |3158 | 500 |1212 |1436 | 0 | 0 |-1.989298e+02 |-8.100000e+01 | 59.28%
4.19/4.28 c 4.1s| 1 | 0 | 13777 | 15M| 0 | 394 | 500 |3158 |3158 | 500 |1257 |1481 | 0 | 0 |-1.980000e+02 |-8.100000e+01 | 59.09%
4.39/4.44 c 4.3s| 1 | 0 | 14353 | 15M| 0 | 452 | 500 |3158 |3158 | 500 | 899 |1492 | 0 | 0 |-1.974231e+02 |-8.100000e+01 | 58.97%
4.48/4.54 c 4.4s| 1 | 0 | 14704 | 15M| 0 | 443 | 500 |3158 |3158 | 500 | 927 |1520 | 0 | 0 |-1.968929e+02 |-8.100000e+01 | 58.86%
4.68/4.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.68/4.71 c 4.5s| 1 | 0 | 15431 | 15M| 0 | 466 | 500 |3158 |3158 | 500 | 977 |1570 | 0 | 0 |-1.961385e+02 |-8.100000e+01 | 58.70%
4.78/4.82 c 4.7s| 1 | 0 | 15762 | 16M| 0 | 431 | 500 |3158 |3158 | 500 |1109 |1702 | 0 | 0 |-1.956250e+02 |-8.100000e+01 | 58.59%
4.89/4.94 c 4.8s| 1 | 0 | 16116 | 16M| 0 | 441 | 500 |3158 |3158 | 500 |1130 |1723 | 0 | 0 |-1.954286e+02 |-8.100000e+01 | 58.55%
5.09/5.14 c 5.0s| 1 | 0 | 16856 | 17M| 0 | 442 | 500 |3158 |3158 | 500 |1152 |1745 | 0 | 0 |-1.950000e+02 |-8.100000e+01 | 58.46%
5.19/5.26 c 5.1s| 1 | 0 | 17238 | 17M| 0 | 480 | 500 |3158 |3158 | 500 | 953 |1751 | 0 | 0 |-1.950000e+02 |-8.100000e+01 | 58.46%
5.39/5.48 c 5.3s| 1 | 0 | 17845 | 18M| 0 | 444 | 500 |3158 |3158 | 500 |1002 |1800 | 0 | 0 |-1.950000e+02 |-8.100000e+01 | 58.46%
5.58/5.64 c 5.5s| 1 | 0 | 18520 | 19M| 0 | 489 | 500 |3158 |3158 | 500 |1013 |1811 | 0 | 0 |-1.948849e+02 |-8.100000e+01 | 58.44%
5.78/5.85 c 5.7s| 1 | 0 | 19204 | 20M| 0 | 451 | 500 |3158 |3158 | 500 |1090 |1888 | 0 | 0 |-1.945000e+02 |-8.100000e+01 | 58.35%
5.99/6.02 c 5.8s| 1 | 0 | 19815 | 20M| 0 | 445 | 500 |3158 |3158 | 500 |1113 |1911 | 0 | 0 |-1.942500e+02 |-8.100000e+01 | 58.30%
6.28/6.30 c 6.1s| 1 | 0 | 20914 | 21M| 0 | 489 | 500 |3158 |3158 | 500 |1121 |1919 | 0 | 0 |-1.940278e+02 |-8.100000e+01 | 58.25%
6.59/6.62 c 6.4s| 1 | 0 | 21997 | 22M| 0 | 454 | 500 |3158 |3158 | 500 | 991 |1976 | 0 | 0 |-1.938063e+02 |-8.100000e+01 | 58.21%
6.89/6.93 c 6.7s| 1 | 0 | 23174 | 23M| 0 | 474 | 500 |3158 |3158 | 500 |1004 |1989 | 0 | 0 |-1.936584e+02 |-8.100000e+01 | 58.17%
7.09/7.10 c 6.9s| 1 | 0 | 23909 | 23M| 0 | 407 | 500 |3158 |3158 | 500 |1107 |2092 | 0 | 0 |-1.935000e+02 |-8.100000e+01 | 58.14%
7.29/7.32 c 7.1s| 1 | 0 | 24843 | 23M| 0 | 482 | 500 |3158 |3158 | 500 |1129 |2114 | 0 | 0 |-1.933166e+02 |-8.100000e+01 | 58.10%
7.38/7.44 c 7.2s| 1 | 0 | 25031 | 23M| 0 | 491 | 500 |3158 |3158 | 500 |1215 |2200 | 0 | 0 |-1.933070e+02 |-8.100000e+01 | 58.10%
7.48/7.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.48/7.58 c 7.4s| 1 | 0 | 25164 | 23M| 0 | 492 | 500 |3158 |3158 | 500 |1230 |2215 | 0 | 0 |-1.933052e+02 |-8.100000e+01 | 58.10%
7.59/7.70 c 7.5s| 1 | 0 | 25172 | 23M| 0 | 492 | 500 |3158 |3158 | 500 |1063 |2222 | 0 | 0 |-1.933052e+02 |-8.100000e+01 | 58.10%
7.79/7.80 c 7.6s| 1 | 0 | 25173 | 23M| 0 | 492 | 500 |3158 |3158 | 500 |1064 |2223 | 0 | 0 |-1.933052e+02 |-8.100000e+01 | 58.10%
10.09/10.13 c 9.9s| 1 | 2 | 25173 | 23M| 0 | 492 | 500 |3158 |3158 | 500 |1064 |2223 | 0 | 18 |-1.933052e+02 |-8.100000e+01 | 58.10%
78.08/78.15 o -101
78.08/78.15 c R77.3s| 602 | 601 |349580 | 24M| 63 | 41 | 500 |3158 | 182 | 500 |1110 | 31k| 0 | 737 |-1.910714e+02 |-1.010000e+02 | 47.14%
78.08/78.15 o -105
78.08/78.15 c *77.3s| 603 | 601 |349590 | 24M| 64 | - | 500 |3158 | 165 | 500 |1112 | 31k| 0 | 737 |-1.910714e+02 |-1.050000e+02 | 45.05%
78.08/78.16 o -106
78.08/78.16 c *77.3s| 608 | 600 |349603 | 24M| 67 | - | 500 |3158 | 136 | 500 |1109 | 31k| 0 | 737 |-1.910714e+02 |-1.060000e+02 | 44.52%
78.08/78.16 o -107
78.08/78.16 c *77.3s| 610 | 599 |349616 | 24M| 67 | - | 500 |3158 | 190 | 500 |1111 | 31k| 0 | 737 |-1.910714e+02 |-1.070000e+02 | 44.00%
79.19/79.28 o -108
79.19/79.28 c *78.4s| 625 | 605 |356146 | 24M| 67 | - | 500 |3158 | 190 | 500 |1107 | 32k| 0 | 745 |-1.909474e+02 |-1.080000e+02 | 43.44%
84.07/84.17 o -109
84.07/84.17 c *83.3s| 870 | 640 |383028 | 25M| 68 | - | 500 |3158 | 232 | 500 |1107 | 35k| 0 | 810 |-1.907500e+02 |-1.090000e+02 | 42.86%
220.14/220.22 c 218s| 10000 | 1998 | 1296k| 28M| 76 | - | 500 |3158 | 275 | 500 |1093 | 125k| 0 |1687 |-1.882500e+02 |-1.090000e+02 | 42.10%
247.34/247.48 o -110
247.34/247.48 c * 244s| 12047 | 2311 | 1483k| 29M| 76 | - | 500 |3158 | 232 | 500 |1105 | 144k| 0 |1945 |-1.880000e+02 |-1.100000e+02 | 41.49%
357.82/357.99 c 353s| 20000 | 3992 | 2308k| 33M| 76 | - | 500 |3158 | 264 | 500 |1097 | 240k| 0 |2494 |-1.872500e+02 |-1.100000e+02 | 41.26%
467.51/467.68 c 462s| 30000 | 5390 | 3133k| 36M| 76 | 139 | 500 |3158 | 421 | 500 |1101 | 329k| 0 |2953 |-1.865000e+02 |-1.100000e+02 | 41.02%
556.99/557.18 o -111
556.99/557.18 c * 550s| 38495 | 6389 | 3798k| 38M| 76 | - | 500 |3158 | 273 | 500 |1118 | 401k| 0 |3434 |-1.861667e+02 |-1.110000e+02 | 40.38%
571.29/571.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.29/571.41 c 564s| 40000 | 6538 | 3907k| 39M| 76 | - | 500 |3158 | 341 | 500 |1089 | 412k| 0 |3451 |-1.860000e+02 |-1.110000e+02 | 40.32%
672.67/672.87 c 665s| 50000 | 7906 | 4686k| 42M| 76 | 141 | 500 |3158 | 375 | 500 |1113 | 501k| 0 |4038 |-1.857500e+02 |-1.110000e+02 | 40.24%
776.95/777.18 c 768s| 60000 | 9208 | 5480k| 45M| 76 | 144 | 500 |3158 | 360 | 500 |1105 | 584k| 0 |4450 |-1.855000e+02 |-1.110000e+02 | 40.16%
842.85/843.01 o -113
842.85/843.01 c * 833s| 65767 | 9934 | 5983k| 47M| 76 | - | 500 |3158 | 281 | 500 |1112 | 638k| 0 |4736 |-1.852500e+02 |-1.130000e+02 | 39.00%
842.85/843.04 o -114
842.85/843.04 c * 833s| 65780 | 9858 | 5983k| 47M| 76 | - | 500 |3158 | 328 | 500 |1108 | 638k| 0 |4736 |-1.852500e+02 |-1.140000e+02 | 38.46%
904.53/904.70 c 894s| 70000 | 10714 | 6464k| 49M| 76 | - | 500 |3158 | 334 | 500 |1091 | 688k| 0 |4973 |-1.851250e+02 |-1.140000e+02 | 38.42%
1023.01/1023.28 c 1012s| 80000 | 12608 | 7403k| 54M| 76 | 157 | 500 |3158 | 422 | 500 |1093 | 792k| 0 |5390 |-1.850000e+02 |-1.140000e+02 | 38.38%
1128.70/1128.98 c 1116s| 90000 | 14104 | 8231k| 57M| 76 | - | 500 |3158 | 391 | 500 |1106 | 885k| 0 |5739 |-1.847500e+02 |-1.140000e+02 | 38.29%
1240.88/1241.11 c 1227s|100000 | 15832 | 9117k| 61M| 76 | - | 500 |3158 | 417 | 500 |1077 | 978k| 0 |6186 |-1.845000e+02 |-1.140000e+02 | 38.21%
1343.97/1344.24 c 1329s|110000 | 17474 | 9949k| 65M| 76 | 171 | 500 |3158 | 512 | 500 |1101 |1066k| 0 |6489 |-1.845000e+02 |-1.140000e+02 | 38.21%
1449.35/1449.65 c 1434s|120000 | 19056 | 10791k| 69M| 76 | 162 | 500 |3158 | 496 | 500 |1071 |1154k| 0 |6838 |-1.842500e+02 |-1.140000e+02 | 38.13%
1547.43/1547.78 c 1531s|130000 | 20468 | 11580k| 72M| 76 | 155 | 500 |3158 | 481 | 500 |1141 |1239k| 0 |7083 |-1.840000e+02 |-1.140000e+02 | 38.04%
1645.12/1645.43 c 1628s|140000 | 21846 | 12355k| 75M| 76 | - | 500 |3158 | 386 | 500 |1122 |1316k| 0 |7475 |-1.840000e+02 |-1.140000e+02 | 38.04%
1741.20/1741.56 c 1723s|150000 | 23216 | 13127k| 79M| 76 | - | 500 |3158 | 386 | 500 |1102 |1398k| 0 |7690 |-1.837500e+02 |-1.140000e+02 | 37.96%
1800.10/1800.40 c
1800.10/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.40 c Solving Time (sec) : 1780.82
1800.10/1800.40 c Solving Nodes : 155238
1800.10/1800.40 c Primal Bound : -1.14000000000000e+02 (14 solutions)
1800.10/1800.40 c Dual Bound : -1.83750000000000e+02
1800.10/1800.40 c Gap : 37.96 %
1800.10/1800.41 c NODE 155238
1800.10/1800.41 c DUAL BOUND -183.75
1800.10/1800.41 c PRIMAL BOUND -114
1800.10/1800.41 c GAP 0.379592
1800.10/1800.41 s SATISFIABLE
1800.10/1800.41 v -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 x491 -x490 -x489 -x488 x487 x486 -x485 x484 x483 x482 -x481 -x480 -x479 -x478
1800.10/1800.41 v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 x468 -x467 x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 x458 x457
1800.10/1800.41 v -x456 -x455 -x454 x453 -x452 x451 -x450 x449 -x448 -x447 -x446 x445 -x444 -x443 x442 x441 -x440 -x439 -x438 -x437 -x436 -x435
1800.10/1800.41 v x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 x426 -x425 x424 x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 x413
1800.10/1800.41 v x412 -x411 x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 x391
1800.10/1800.41 v -x390 x389 x388 -x387 -x386 -x385 -x384 x383 -x382 -x381 -x380 -x379 x378 x377 x376 x375 x374 -x373 x372 -x371 -x370 -x369
1800.10/1800.41 v x368 -x367 x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 x348 -x347
1800.10/1800.41 v -x346 -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326
1800.10/1800.41 v x325 -x324 -x323 -x322 -x321 x320 -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304
1800.10/1800.41 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 x283
1800.10/1800.41 v -x282 x281 -x280 x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 x270 x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 -x261
1800.10/1800.41 v x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 x247 -x246 x245 -x244 -x243 -x242 -x241 -x240
1800.10/1800.41 v -x239 x238 -x237 -x236 x235 x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 x225 -x224 -x223 x222 -x221 -x220 x219 -x218
1800.10/1800.41 v -x217 -x216 x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196
1800.10/1800.41 v x195 -x194 -x193 x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175
1800.10/1800.41 v -x174 -x173 x172 -x171 -x170 x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 x160 x159 -x158 -x157 -x156 -x155 -x154 -x153
1800.10/1800.41 v -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 x139 -x138 x137 -x136 -x135 x134 -x133 -x132 -x131
1800.10/1800.41 v -x130 -x129 -x128 -x127 -x126 -x125 x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 x110
1800.10/1800.41 v -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87
1800.10/1800.41 v -x86 x85 -x84 x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60
1800.10/1800.41 v -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 x48 x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 x34
1800.10/1800.41 v -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 x11 -x10 x9 -x8
1800.10/1800.41 v -x7 x6 -x5 -x4 x3 x2 -x1
1800.10/1800.41 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.41 c Solving Time : 1780.82
1800.10/1800.41 c Original Problem :
1800.10/1800.41 c Problem name : HOME/instance-3737147-1338733969.opb
1800.10/1800.41 c Variables : 3658 (3658 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.41 c Constraints : 3658 initial, 3658 maximal
1800.10/1800.41 c Presolved Problem :
1800.10/1800.41 c Problem name : t_HOME/instance-3737147-1338733969.opb
1800.10/1800.41 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.41 c Constraints : 3158 initial, 3158 maximal
1800.10/1800.41 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.41 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.41 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.41 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.41 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.41 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.41 c probing : 0.02 0 0 0 0 0 0 0 0
1800.10/1800.41 c and : 0.04 0 0 0 0 0 0 0 0
1800.10/1800.41 c linear : 0.01 3158 0 0 3158 0 500 0 0
1800.10/1800.41 c root node : - 0 - - 0 - - - -
1800.10/1800.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.41 c integral : 0 0 0 89869 0 31 140 0 0 179572
1800.10/1800.41 c and : 3158 179378 406251 9 0 0 694274 1655518 0 0
1800.10/1800.41 c countsols : 0 0 0 9 0 0 0 0 0 0
1800.10/1800.41 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.41 c integral : 113.58 0.00 0.00 113.58 0.00
1800.10/1800.41 c and : 26.73 20.06 6.67 0.00 0.00
1800.10/1800.41 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.41 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.41 c rootredcost : 0.06 10 0 0
1800.10/1800.41 c pseudoobj : 3.87 406368 0 0
1800.10/1800.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.41 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.41 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.41 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.41 c applied globally : - - - 0 0.0 - - -
1800.10/1800.41 c applied locally : - - - 0 0.0 - - -
1800.10/1800.41 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.41 c cut pool : 0.02 60 - - 375 - (maximal pool size: 3135)
1800.10/1800.41 c redcost : 1.67 180851 0 13683 0 0
1800.10/1800.41 c impliedbounds : 0.00 61 0 0 2972 0
1800.10/1800.41 c intobj : 0.00 0 0 0 0 0
1800.10/1800.41 c gomory : 2.03 61 0 0 27732 0
1800.10/1800.41 c strongcg : 0.29 20 0 0 10000 0
1800.10/1800.41 c cmir : 0.10 10 0 0 0 0
1800.10/1800.41 c flowcover : 0.05 10 0 0 0 0
1800.10/1800.41 c clique : 0.22 61 0 0 402 0
1800.10/1800.41 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.41 c mcf : 0.00 1 0 0 0 0
1800.10/1800.41 c Pricers : Time Calls Vars
1800.10/1800.41 c problem variables: 0.00 0 0
1800.10/1800.41 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.41 c relpscost : 113.53 89860 31 140 0 0 179572
1800.10/1800.41 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.41 c inference : 0.00 0 0 0 0 0 0
1800.10/1800.41 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.41 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.41 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.41 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.41 c random : 0.00 0 0 0 0 0 0
1800.10/1800.41 c Primal Heuristics : Time Calls Found
1800.10/1800.41 c LP solutions : 0.00 - 9
1800.10/1800.41 c pseudo solutions : 0.00 - 0
1800.10/1800.41 c oneopt : 0.06 11 0
1800.10/1800.41 c crossover : 0.26 18 0
1800.10/1800.41 c coefdiving : 59.50 388 0
1800.10/1800.41 c rootsoldiving : 11.31 251 0
1800.10/1800.41 c linesearchdiving : 44.93 502 0
1800.10/1800.41 c guideddiving : 57.06 502 0
1800.10/1800.41 c fracdiving : 42.45 502 0
1800.10/1800.41 c simplerounding : 0.06 0 0
1800.10/1800.41 c rounding : 22.26 32632 3
1800.10/1800.41 c shifting : 2.46 3010 2
1800.10/1800.41 c intshifting : 0.00 0 0
1800.10/1800.41 c fixandinfer : 0.00 0 0
1800.10/1800.41 c feaspump : 0.00 0 0
1800.10/1800.41 c pscostdiving : 61.82 340 0
1800.10/1800.41 c veclendiving : 60.42 347 0
1800.10/1800.41 c intdiving : 0.00 0 0
1800.10/1800.41 c actconsdiving : 0.00 0 0
1800.10/1800.41 c objpscostdiving : 20.85 59 0
1800.10/1800.41 c octane : 0.00 0 0
1800.10/1800.41 c rens : 0.00 0 0
1800.10/1800.41 c rins : 0.00 0 0
1800.10/1800.41 c localbranching : 0.00 0 0
1800.10/1800.41 c mutation : 0.00 0 0
1800.10/1800.41 c dins : 0.00 0 0
1800.10/1800.41 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.41 c primal LP : 18.58 0 0 0.00 0.00
1800.10/1800.41 c dual LP : 1186.61 242184 10417727 43.02 8779.40
1800.10/1800.41 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.41 c diving/probing LP: 332.87 130707 3178899 24.32 9549.97
1800.10/1800.41 c strong branching : 109.38 7854 985892 125.53 9013.46
1800.10/1800.41 c (at root node) : - 18 14696 816.44 -
1800.10/1800.41 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.41 c B&B Tree :
1800.10/1800.41 c number of runs : 1
1800.10/1800.41 c nodes : 155238
1800.10/1800.41 c nodes (total) : 155238
1800.10/1800.41 c nodes left : 24102
1800.10/1800.41 c max depth : 76
1800.10/1800.41 c max depth (total): 76
1800.10/1800.41 c backtracks : 21567 (13.9%)
1800.10/1800.41 c delayed cutoffs : 0
1800.10/1800.41 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.10/1800.41 c avg switch length: 4.90
1800.10/1800.41 c switching time : 26.41
1800.10/1800.41 c Solution :
1800.10/1800.41 c Solutions found : 14 (12 improvements)
1800.10/1800.41 c Primal Bound : -1.14000000000000e+02 (in run 1, after 65780 nodes, 833.39 seconds, depth 52, found by <relaxation>)
1800.10/1800.41 c Dual Bound : -1.83750000000000e+02
1800.10/1800.41 c Gap : 37.96 %
1800.10/1800.41 c Root Dual Bound : -1.93305168119263e+02
1800.10/1800.48 c Time complete: 1800.19.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3737147-1338733969/watcher-3737147-1338733969 -o /tmp/evaluation-result-3737147-1338733969/solver-3737147-1338733969 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3737147-1338733969.opb
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.00 2.03 2.00 3/176 28885
/proc/meminfo: memFree=26545736/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=6120 CPUtime=0 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 625 0 0 0 0 0 0 0 20 0 1 0 339523710 6266880 578 33554432000 4194304 7823515 140736977381680 140735326998808 4402248 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 1530 589 325 887 0 640 0
[startup+0.0390361 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 28885
/proc/meminfo: memFree=26545736/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=22560 CPUtime=0.02 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 5057 0 0 0 2 0 0 0 20 0 1 0 339523710 23101440 4655 33554432000 4194304 7823515 140736977381680 140736977313784 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 5640 4655 404 887 0 4750 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22560
[startup+0.100311 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 28885
/proc/meminfo: memFree=26545736/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=24336 CPUtime=0.08 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 5529 0 0 0 5 3 0 0 20 0 1 0 339523710 24920064 5127 33554432000 4194304 7823515 140736977381680 140736977313784 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 6084 5127 425 887 0 5194 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24336
[startup+0.300277 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 28885
/proc/meminfo: memFree=26545736/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=33868 CPUtime=0.29 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 8096 0 0 0 22 7 0 0 20 0 1 0 339523710 34680832 7602 33554432000 4194304 7823515 140736977381680 140736977313784 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 8467 7602 543 887 0 7577 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33868
[startup+0.700272 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 28885
/proc/meminfo: memFree=26545736/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=34608 CPUtime=0.69 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 8348 0 0 0 61 8 0 0 20 0 1 0 339523710 35438592 7854 33554432000 4194304 7823515 140736977381680 140736977377480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 8652 7854 544 887 0 7762 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34608
[startup+1.50027 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 28886
/proc/meminfo: memFree=26516364/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=42964 CPUtime=1.49 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 10527 0 0 0 139 10 0 0 20 0 1 0 339523710 43995136 9986 33554432000 4194304 7823515 140736977381680 140736977377480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 10741 9986 546 887 0 9851 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42964
[startup+3.10028 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 28886
/proc/meminfo: memFree=26503716/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=55548 CPUtime=3.09 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 13619 0 0 0 297 12 0 0 20 0 1 0 339523710 56881152 13040 33554432000 4194304 7823515 140736977381680 140736977376344 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 13887 13040 546 887 0 12997 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55548
[startup+6.30024 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 28886
/proc/meminfo: memFree=26488012/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=64216 CPUtime=6.28 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 15896 0 0 0 612 16 0 0 20 0 1 0 339523710 65757184 15268 33554432000 4194304 7823515 140736977381680 140736977377016 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 16054 15268 547 887 0 15164 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 64216
[startup+12.7002 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 28887
/proc/meminfo: memFree=26479448/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=69276 CPUtime=12.69 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 17194 0 0 0 1246 23 0 0 20 0 1 0 339523710 70938624 16533 33554432000 4194304 7823515 140736977381680 140736977376376 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 17319 16533 554 887 0 16429 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69276
[startup+25.5002 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 28887
/proc/meminfo: memFree=26479284/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=69276 CPUtime=25.49 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 17195 0 0 0 2513 36 0 0 20 0 1 0 339523710 70938624 16534 33554432000 4194304 7823515 140736977381680 140736977376376 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 17319 16534 555 887 0 16429 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69276
[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 28887
/proc/meminfo: memFree=26474696/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=67424 CPUtime=51.08 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 18151 0 0 0 5048 60 0 0 20 0 1 0 339523710 69042176 16133 33554432000 4194304 7823515 140736977381680 140736977377640 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 16856 16133 566 887 0 15966 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 67424
[startup+102.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28929
/proc/meminfo: memFree=26854956/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=67424 CPUtime=102.28 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 21311 0 0 0 10126 102 0 0 20 0 1 0 339523710 69042176 16140 33554432000 4194304 7823515 140736977381680 140736977377016 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 16856 16140 569 887 0 15966 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 67424
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28929
/proc/meminfo: memFree=26820836/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=69472 CPUtime=162.25 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 25047 0 0 0 16042 183 0 0 20 0 1 0 339523710 71139328 16977 33554432000 4194304 7823515 140736977381680 140736977377432 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 17368 16977 569 887 0 16478 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 69472
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28929
/proc/meminfo: memFree=26818896/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=70564 CPUtime=222.24 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 25292 0 0 0 21959 265 0 0 20 0 1 0 339523710 72257536 17222 33554432000 4194304 7823515 140736977381680 140736977377016 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 17641 17222 569 887 0 16751 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 70564
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28929
/proc/meminfo: memFree=26815860/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=72252 CPUtime=282.24 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 28090 0 0 0 27874 350 0 0 20 0 1 0 339523710 73986048 17712 33554432000 4194304 7823515 140736977381680 140736977377016 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 18063 17712 569 887 0 17173 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 72252
[startup+342.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 28929
/proc/meminfo: memFree=26814680/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=73920 CPUtime=342.22 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 30342 0 0 0 33792 430 0 0 20 0 1 0 339523710 75694080 18101 33554432000 4194304 7823515 140736977381680 140736977377592 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 18480 18101 569 887 0 17590 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 73920
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 28930
/proc/meminfo: memFree=26807176/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=74644 CPUtime=402.22 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 30545 0 0 0 39712 510 0 0 20 0 1 0 339523710 76435456 18302 33554432000 4194304 7823515 140736977381680 140736977378024 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 18661 18302 569 887 0 17771 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 74644
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 28933
/proc/meminfo: memFree=26795072/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=75772 CPUtime=462.2 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 32717 0 0 0 45645 575 0 0 20 0 1 0 339523710 77590528 18590 33554432000 4194304 7823515 140736977381680 140736977377016 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 18943 18590 569 887 0 18053 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 75772
[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 28933
/proc/meminfo: memFree=26784156/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=77668 CPUtime=522.2 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 33193 0 0 0 51588 632 0 0 20 0 1 0 339523710 79532032 19066 33554432000 4194304 7823515 140736977381680 140736977377480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 19417 19066 569 887 0 18527 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 77668
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28933
/proc/meminfo: memFree=26769520/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=79624 CPUtime=582.19 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 33654 0 0 0 57521 698 0 0 20 0 1 0 339523710 81534976 19526 33554432000 4194304 7823515 140736977381680 140736977377016 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 19906 19526 569 887 0 19016 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 79624
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 28934
/proc/meminfo: memFree=26707888/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=88584 CPUtime=822.15 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 39640 0 0 0 81287 928 0 0 20 0 1 0 339523710 90710016 21769 33554432000 4194304 7823515 140736977381680 140736977378168 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 22146 21769 578 887 0 21256 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 88584
[startup+882.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 28934
/proc/meminfo: memFree=26690376/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=93420 CPUtime=882.14 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 46509 0 0 0 87229 985 0 0 20 0 1 0 339523710 95662080 22983 33554432000 4194304 7823515 140736977381680 140736977377016 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 23355 22983 578 887 0 22465 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 93420
[startup+942.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 28934
/proc/meminfo: memFree=26678960/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=93148 CPUtime=942.13 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 48326 0 0 0 93171 1042 0 0 20 0 1 0 339523710 95383552 22915 33554432000 4194304 7823515 140736977381680 140736977377480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 23287 22915 578 887 0 22397 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 93148
[startup+1002.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 28935
/proc/meminfo: memFree=26662096/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=95184 CPUtime=1002.12 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 48863 0 0 0 99111 1101 0 0 20 0 1 0 339523710 97468416 23451 33554432000 4194304 7823515 140736977381680 140736977377432 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 23796 23451 578 887 0 22906 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 95184
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 28938
/proc/meminfo: memFree=26642136/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=95832 CPUtime=1062.11 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 50863 0 0 0 105047 1164 0 0 20 0 1 0 339523710 98131968 23585 33554432000 4194304 7823515 140736977381680 140736977377480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 23958 23585 578 887 0 23068 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 95832
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28938
/proc/meminfo: memFree=26628060/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=97668 CPUtime=1122.1 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 51275 0 0 0 110984 1226 0 0 20 0 1 0 339523710 100012032 23997 33554432000 4194304 7823515 140736977381680 140736977377016 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 24417 23997 578 887 0 23527 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 97668
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28938
/proc/meminfo: memFree=26611376/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=99792 CPUtime=1182.09 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 53645 0 0 0 116920 1289 0 0 20 0 1 0 339523710 102187008 24573 33554432000 4194304 7823515 140736977381680 140736977377016 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 24948 24573 578 887 0 24058 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 99792
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28938
/proc/meminfo: memFree=26599972/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=101380 CPUtime=1242.08 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 53999 0 0 0 122861 1347 0 0 20 0 1 0 339523710 103813120 24927 33554432000 4194304 7823515 140736977381680 140736977377016 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 25345 24927 578 887 0 24455 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 101380
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28939
/proc/meminfo: memFree=26580440/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=104880 CPUtime=1302.07 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 54899 0 0 0 128802 1405 0 0 20 0 1 0 339523710 107397120 25827 33554432000 4194304 7823515 140736977381680 140736977377480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 26220 25827 578 887 0 25330 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 104880
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28939
/proc/meminfo: memFree=26564160/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=107140 CPUtime=1362.06 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 55491 0 0 0 134734 1472 0 0 20 0 1 0 339523710 109711360 26419 33554432000 4194304 7823515 140736977381680 140736977377016 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 26785 26419 578 887 0 25895 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 107140
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28939
/proc/meminfo: memFree=26540276/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=112088 CPUtime=1422.06 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 56752 0 0 0 140677 1529 0 0 20 0 1 0 339523710 114778112 27678 33554432000 4194304 7823515 140736977381680 140736977377016 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 28022 27678 578 887 0 27132 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 112088
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28939
/proc/meminfo: memFree=26523100/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=114076 CPUtime=1482.05 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 58449 0 0 0 146611 1594 0 0 20 0 1 0 339523710 116813824 28147 33554432000 4194304 7823515 140736977381680 140736977377432 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 28519 28147 578 887 0 27629 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 114076
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28939
/proc/meminfo: memFree=26509216/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=115172 CPUtime=1542.03 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 58687 0 0 0 152552 1651 0 0 20 0 1 0 339523710 117936128 28385 33554432000 4194304 7823515 140736977381680 140736977377016 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 28793 28385 578 887 0 27903 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 115172
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28939
/proc/meminfo: memFree=26490864/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=117748 CPUtime=1602.02 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 59364 0 0 0 158483 1719 0 0 20 0 1 0 339523710 120573952 29062 33554432000 4194304 7823515 140736977381680 140736977378296 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 29437 29062 578 887 0 28547 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 117748
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28943
/proc/meminfo: memFree=26472376/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=118108 CPUtime=1662.01 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 59476 0 0 0 164420 1781 0 0 20 0 1 0 339523710 120942592 29174 33554432000 4194304 7823515 140736977381680 140736977378024 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 29527 29174 578 887 0 28637 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 118108
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28966
/proc/meminfo: memFree=26460608/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=119848 CPUtime=1722 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 59872 0 0 0 170356 1844 0 0 20 0 1 0 339523710 122724352 29570 33554432000 4194304 7823515 140736977381680 140736977377016 6099692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 29962 29570 578 887 0 29072 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 119848
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28966
/proc/meminfo: memFree=26443376/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=122800 CPUtime=1782 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 60644 0 0 0 176292 1908 0 0 20 0 1 0 339523710 125747200 30342 33554432000 4194304 7823515 140736977381680 140736977377480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 30700 30342 578 887 0 29810 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 122800
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28966
/proc/meminfo: memFree=26438540/32873648 swapFree=6852/6852
[pid=28885] ppid=28883 vsize=123468 CPUtime=1800.1 cores=1,3,5,7
/proc/28885/stat : 28885 (pbscip.linux.x8) R 28883 28885 27068 0 -1 4202496 60785 0 0 0 178082 1928 0 0 20 0 1 0 339523710 126431232 30483 33554432000 4194304 7823515 140736977381680 140736977377368 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28885/statm: 30867 30483 578 887 0 29977 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 123468
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.49
CPU time (s): 1800.19
CPU user time (s): 1780.91
CPU system time (s): 19.2821
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 123468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.91
system time used= 19.2821
maximum resident set size= 121940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60790
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= 33
involuntary context switches= 1851
runsolver used 2.6126 second user time and 9.25159 second system time
The end