0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1868728-1245135426.opb>
0.00/0.01 c original problem has 787 variables (787 bin, 0 int, 0 impl, 0 cont) and 65 constraints
0.00/0.02 c start presolving problem
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 11 del vars, 0 del conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 48 clqs
0.00/0.02 c (round 2) 11 del vars, 1 del conss, 2 chg bounds, 11 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 48 clqs
0.00/0.03 c (round 3) 12 del vars, 1 del conss, 2 chg bounds, 11 chg sides, 2 chg coeffs, 55 upgd conss, 0 impls, 48 clqs
0.00/0.03 c (round 4) 12 del vars, 1 del conss, 2 chg bounds, 11 chg sides, 2 chg coeffs, 64 upgd conss, 0 impls, 48 clqs
0.00/0.04 c (0.0s) probing: 101/775 (13.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (5 rounds):
0.00/0.04 c 12 deleted vars, 1 deleted constraints, 2 tightened bounds, 0 added holes, 11 changed sides, 2 changed coefficients
0.00/0.04 c 0 implications, 48 cliques
0.00/0.04 c presolved problem has 775 variables (775 bin, 0 int, 0 impl, 0 cont) and 64 constraints
0.00/0.04 c 16 constraints of type <knapsack>
0.00/0.04 c 48 constraints of type <setppc>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c OPT-LIN
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = c 1620
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = c 1791
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = c 10000
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving problem
0.00/0.04 c
0.00/0.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.08 c 0.1s| 1 | 0 | 1118 |2597k| 0 | 28 | 775 | 64 | 64 | 775 | 64 | 0 | 0 | 0 |-2.050190e+04 | -- | Inf
0.00/0.08 o -8191
0.00/0.08 c R 0.1s| 1 | 0 | 1118 |2612k| 0 | 28 | 775 | 64 | 64 | 775 | 64 | 0 | 0 | 0 |-2.050190e+04 |-8.191000e+03 | 60.05%
0.00/0.08 c 0.1s| 1 | 0 | 1118 |2616k| 0 | 28 | 775 | 64 | 64 | 775 | 64 | 0 | 0 | 0 |-2.050190e+04 |-8.191000e+03 | 60.05%
0.09/0.12 c 0.1s| 1 | 0 | 1136 |2716k| 0 | 40 | 775 | 64 | 64 | 775 | 80 | 16 | 0 | 0 |-2.050190e+04 |-8.191000e+03 | 60.05%
0.09/0.17 c 0.2s| 1 | 0 | 1161 |2859k| 0 | 36 | 775 | 64 | 64 | 775 | 94 | 30 | 0 | 0 |-2.050190e+04 |-8.191000e+03 | 60.05%
0.20/0.25 c 0.2s| 1 | 0 | 1175 |2961k| 0 | 33 | 775 | 64 | 64 | 775 | 106 | 42 | 0 | 0 |-2.050190e+04 |-8.191000e+03 | 60.05%
0.29/0.35 c 0.3s| 1 | 0 | 1210 |3157k| 0 | 44 | 775 | 64 | 64 | 775 | 120 | 56 | 0 | 0 |-2.050190e+04 |-8.191000e+03 | 60.05%
0.39/0.47 c 0.4s| 1 | 0 | 1220 |3252k| 0 | 47 | 775 | 64 | 64 | 775 | 129 | 65 | 0 | 0 |-2.050190e+04 |-8.191000e+03 | 60.05%
0.59/0.60 c 0.6s| 1 | 0 | 1248 |3370k| 0 | 38 | 775 | 64 | 64 | 775 | 140 | 76 | 0 | 0 |-2.050190e+04 |-8.191000e+03 | 60.05%
0.69/0.74 c 0.7s| 1 | 0 | 1252 |3544k| 0 | 41 | 775 | 64 | 64 | 775 | 153 | 89 | 0 | 0 |-2.050190e+04 |-8.191000e+03 | 60.05%
0.89/0.96 o -16383
0.89/0.96 c E 0.9s| 1 | 0 | 2719 |3563k| 0 | 41 | 775 | 64 | 64 | 775 | 153 | 89 | 0 | 0 |-2.050190e+04 |-1.638300e+04 | 20.09%
0.89/0.97 c 0.9s| 1 | 0 | 2719 |3563k| 0 | 41 | 775 | 64 | 64 | 775 | 153 | 89 | 0 | 0 |-2.050190e+04 |-1.638300e+04 | 20.09%
1.10/1.15 c 1.1s| 1 | 0 | 2797 |3689k| 0 | 45 | 775 | 64 | 64 | 775 | 165 | 101 | 0 | 0 |-2.050190e+04 |-1.638300e+04 | 20.09%
1.29/1.36 c 1.3s| 1 | 2 | 2797 |3692k| 0 | 45 | 775 | 64 | 64 | 775 | 165 | 101 | 0 | 39 |-2.050190e+04 |-1.638300e+04 | 20.09%
9.99/10.03 o -16384
9.99/10.03 c s 9.8s| 1456 | 1452 | 21909 |6338k| 45 | 35 | 775 |1100 | 934 | 775 | 82 | 101 |1045 |2488 |-2.050190e+04 |-1.638400e+04 | 20.09%
28.19/28.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.19/28.23 c 27.5s| 10000 | 9998 | 82334 | 16M| 55 | 34 | 775 |2078 |1168 | 775 | 82 | 101 |3236 |3433 |-2.050190e+04 |-1.638400e+04 | 20.09%
45.78/45.87 c 44.7s| 20000 | 19998 |143595 | 26M| 63 | 27 | 775 |1653 | 370 | 775 | 82 | 101 |4959 |3913 |-2.050190e+04 |-1.638400e+04 | 20.09%
63.18/63.24 c 61.6s| 30000 | 29998 |207187 | 37M| 63 | 31 | 775 |1389 | 968 | 775 | 82 | 101 |6459 |4006 |-2.050190e+04 |-1.638400e+04 | 20.09%
80.17/80.28 c 78.2s| 40000 | 39998 |268336 | 47M| 66 | 25 | 775 |1218 | 207 | 775 | 82 | 101 |7961 |4228 |-2.050190e+04 |-1.638400e+04 | 20.09%
97.47/97.54 c 95.0s| 50000 | 49998 |330372 | 57M| 66 | 23 | 775 |1295 | 731 | 775 | 82 | 101 |9456 |4620 |-2.050190e+04 |-1.638400e+04 | 20.09%
114.47/114.57 c 112s| 60000 | 59998 |391650 | 68M| 66 | 31 | 775 |1430 | 889 | 775 | 82 | 101 | 10k|4982 |-2.050190e+04 |-1.638400e+04 | 20.09%
131.56/131.64 c 128s| 70000 | 69998 |453558 | 78M| 66 | 26 | 775 | 942 | 402 | 775 | 82 | 101 | 11k|5375 |-2.050190e+04 |-1.638400e+04 | 20.09%
148.85/148.97 c 145s| 80000 | 79998 |517650 | 88M| 66 | 31 | 775 |1297 | 521 | 775 | 82 | 101 | 13k|5792 |-2.050190e+04 |-1.638400e+04 | 20.09%
166.05/166.16 c 162s| 90000 | 89994 |581914 | 98M| 66 | 30 | 775 |1009 | 357 | 775 | 82 | 101 | 14k|6140 |-2.050190e+04 |-1.638400e+04 | 20.09%
183.05/183.18 c 178s|100000 | 99994 |645493 | 109M| 69 | 28 | 775 |1496 | 610 | 775 | 82 | 101 | 15k|6445 |-2.050190e+04 |-1.638400e+04 | 20.09%
200.04/200.19 c 195s|110000 |109994 |708937 | 119M| 69 | 26 | 775 |1513 | 492 | 775 | 82 | 101 | 16k|6777 |-2.050190e+04 |-1.638400e+04 | 20.09%
217.04/217.11 c 211s|120000 |119994 |770979 | 129M| 69 | 26 | 775 |1404 | 639 | 775 | 82 | 101 | 18k|7107 |-2.050190e+04 |-1.638400e+04 | 20.09%
233.44/233.53 c 227s|130000 |129994 |832780 | 139M| 69 | 26 | 775 |1422 | 569 | 775 | 82 | 101 | 19k|7337 |-2.050190e+04 |-1.638400e+04 | 20.09%
250.42/250.54 c 244s|140000 |139990 |897863 | 150M| 69 | 26 | 775 |1250 | 463 | 775 | 82 | 101 | 20k|7651 |-2.050190e+04 |-1.638400e+04 | 20.09%
267.32/267.40 c 260s|150000 |149980 |960645 | 160M| 69 | 34 | 775 |1208 | 401 | 775 | 82 | 101 | 22k|7970 |-2.050190e+04 |-1.638400e+04 | 20.09%
283.91/284.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.91/284.07 c 277s|160000 |159980 | 1022k| 170M| 69 | 31 | 775 |1282 | 379 | 775 | 82 | 101 | 23k|8211 |-2.050190e+04 |-1.638400e+04 | 20.09%
300.81/300.92 c 293s|170000 |169980 | 1085k| 181M| 69 | 24 | 775 |1373 | 390 | 775 | 82 | 101 | 24k|8422 |-2.050190e+04 |-1.638400e+04 | 20.09%
312.11/312.22 o -16384
312.11/312.22 c S 304s|176613 |176593 | 1128k| 188M| 69 | 0 | 775 |1443 | 264 | 775 | 82 | 101 | 25k|8625 |-2.050190e+04 |-1.638400e+04 | 20.09%
323.50/323.66 c 315s|180000 |179980 | 1160k| 191M| 69 | 26 | 775 |1854 | 742 | 775 | 82 | 101 | 26k|8672 |-2.050190e+04 |-1.638400e+04 | 20.09%
340.70/340.81 c 331s|190000 |189980 | 1223k| 201M| 69 | 21 | 775 |1397 | 367 | 775 | 82 | 101 | 27k|8891 |-2.050190e+04 |-1.638400e+04 | 20.09%
357.30/357.48 c 348s|200000 |199980 | 1287k| 211M| 69 | 22 | 775 |1072 | 392 | 775 | 82 | 101 | 28k|9099 |-2.050190e+04 |-1.638400e+04 | 20.09%
374.19/374.36 c 364s|210000 |209980 | 1352k| 222M| 69 | 29 | 775 |1371 | 321 | 775 | 82 | 101 | 30k|9327 |-2.050190e+04 |-1.638400e+04 | 20.09%
391.19/391.35 c 381s|220000 |219980 | 1417k| 232M| 69 | 22 | 775 |1269 | 228 | 775 | 82 | 101 | 31k|9523 |-2.050190e+04 |-1.638400e+04 | 20.09%
407.79/407.97 c 397s|230000 |229980 | 1480k| 242M| 69 | 26 | 775 |1049 | 219 | 775 | 82 | 101 | 32k|9716 |-2.050190e+04 |-1.638400e+04 | 20.09%
424.58/424.78 c 413s|240000 |239980 | 1543k| 253M| 69 | 29 | 775 |1298 | 329 | 775 | 82 | 101 | 34k|9927 |-2.050190e+04 |-1.638400e+04 | 20.09%
441.38/441.50 c 430s|250000 |249980 | 1608k| 263M| 69 | 24 | 775 |1167 | 190 | 775 | 82 | 101 | 35k| 10k|-2.050190e+04 |-1.638400e+04 | 20.09%
458.27/458.40 c 446s|260000 |259980 | 1672k| 273M| 69 | 26 | 775 |1095 | 351 | 775 | 82 | 101 | 36k| 10k|-2.050190e+04 |-1.638400e+04 | 20.09%
474.87/475.01 c 462s|270000 |269980 | 1735k| 283M| 69 | 26 | 775 |1141 | 250 | 775 | 82 | 101 | 37k| 10k|-2.050190e+04 |-1.638400e+04 | 20.09%
491.67/491.84 c 479s|280000 |279980 | 1798k| 294M| 69 | 29 | 775 |1254 | 364 | 775 | 82 | 101 | 39k| 10k|-2.050190e+04 |-1.638400e+04 | 20.09%
508.46/508.60 c 495s|290000 |289980 | 1860k| 304M| 69 | 26 | 775 |1220 | 292 | 775 | 82 | 101 | 40k| 10k|-2.050190e+04 |-1.638400e+04 | 20.09%
525.05/525.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
525.05/525.26 c 511s|300000 |299980 | 1922k| 314M| 69 | 28 | 775 |1114 | 152 | 775 | 82 | 101 | 41k| 10k|-2.050190e+04 |-1.638400e+04 | 20.09%
541.85/542.07 c 528s|310000 |309980 | 1985k| 325M| 69 | 29 | 775 |1144 | 250 | 775 | 82 | 101 | 42k| 11k|-2.050190e+04 |-1.638400e+04 | 20.09%
558.75/558.98 c 544s|320000 |319980 | 2049k| 335M| 69 | 24 | 775 |1060 | 261 | 775 | 82 | 101 | 44k| 11k|-2.050190e+04 |-1.638400e+04 | 20.09%
575.75/575.92 c 560s|330000 |329980 | 2114k| 345M| 69 | 26 | 775 | 988 | 246 | 775 | 82 | 101 | 45k| 11k|-2.050190e+04 |-1.638400e+04 | 20.09%
592.64/592.84 c 577s|340000 |339980 | 2178k| 356M| 70 | 33 | 775 |1058 | 432 | 775 | 82 | 101 | 46k| 11k|-2.050190e+04 |-1.638400e+04 | 20.09%
609.84/610.10 c 594s|350000 |349980 | 2244k| 367M| 71 | 29 | 775 | 974 | 231 | 775 | 82 | 101 | 47k| 11k|-2.050190e+04 |-1.638400e+04 | 20.09%
626.83/627.08 c 610s|360000 |359980 | 2308k| 377M| 71 | 32 | 775 |1005 | 289 | 775 | 82 | 101 | 48k| 11k|-2.050190e+04 |-1.638400e+04 | 20.09%
644.03/644.20 c 627s|370000 |369980 | 2372k| 388M| 71 | 30 | 775 |1094 | 292 | 775 | 82 | 101 | 50k| 12k|-2.050190e+04 |-1.638400e+04 | 20.09%
661.03/661.24 c 644s|380000 |379980 | 2437k| 399M| 71 | 22 | 775 | 870 | 113 | 775 | 82 | 101 | 51k| 12k|-2.050190e+04 |-1.638400e+04 | 20.09%
677.72/677.90 c 660s|390000 |389980 | 2500k| 409M| 71 | 25 | 775 | 915 | 183 | 775 | 82 | 101 | 52k| 12k|-2.050190e+04 |-1.638400e+04 | 20.09%
694.72/695.00 c 677s|400000 |399980 | 2566k| 420M| 71 | 30 | 775 | 776 | 155 | 775 | 82 | 101 | 53k| 12k|-2.050190e+04 |-1.638400e+04 | 20.09%
711.62/711.87 c 693s|410000 |409980 | 2630k| 431M| 71 | 27 | 775 | 955 | 150 | 775 | 82 | 101 | 54k| 12k|-2.050190e+04 |-1.638400e+04 | 20.09%
728.60/728.90 c 710s|420000 |419980 | 2694k| 441M| 71 | 31 | 775 | 876 | 147 | 775 | 82 | 101 | 55k| 12k|-2.050190e+04 |-1.638400e+04 | 20.09%
745.41/745.69 c 726s|430000 |429980 | 2758k| 452M| 71 | 25 | 775 | 953 | 89 | 775 | 82 | 101 | 57k| 12k|-2.050190e+04 |-1.638400e+04 | 20.09%
762.60/762.83 c 743s|440000 |439980 | 2824k| 463M| 74 | 25 | 775 | 986 | 310 | 775 | 82 | 101 | 58k| 13k|-2.050190e+04 |-1.638400e+04 | 20.09%
779.19/779.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.19/779.49 c 759s|450000 |449980 | 2886k| 473M| 74 | 24 | 775 | 976 | 320 | 775 | 82 | 101 | 59k| 13k|-2.050190e+04 |-1.638400e+04 | 20.09%
796.29/796.53 c 776s|460000 |459980 | 2951k| 484M| 74 | 28 | 775 |1092 | 177 | 775 | 82 | 101 | 60k| 13k|-2.050190e+04 |-1.638400e+04 | 20.09%
812.99/813.27 c 792s|470000 |469980 | 3014k| 494M| 74 | 27 | 775 | 891 | 202 | 775 | 82 | 101 | 61k| 13k|-2.050190e+04 |-1.638400e+04 | 20.09%
830.08/830.36 c 808s|480000 |479980 | 3080k| 505M| 74 | 30 | 775 |1042 | 351 | 775 | 82 | 101 | 63k| 13k|-2.050190e+04 |-1.638400e+04 | 20.09%
846.89/847.11 c 825s|490000 |489980 | 3143k| 516M| 74 | 28 | 775 | 946 | 292 | 775 | 82 | 101 | 64k| 13k|-2.050190e+04 |-1.638400e+04 | 20.09%
863.78/864.05 c 841s|500000 |499980 | 3208k| 526M| 74 | 23 | 775 | 964 | 326 | 775 | 82 | 101 | 65k| 13k|-2.050190e+04 |-1.638400e+04 | 20.09%
880.57/880.81 c 858s|510000 |509980 | 3273k| 537M| 74 | 28 | 775 |1148 | 402 | 775 | 82 | 101 | 66k| 13k|-2.050190e+04 |-1.638400e+04 | 20.09%
897.67/897.92 c 874s|520000 |519980 | 3340k| 548M| 74 | 33 | 775 | 852 | 147 | 775 | 82 | 101 | 67k| 14k|-2.050190e+04 |-1.638400e+04 | 20.09%
914.56/914.89 c 891s|530000 |529980 | 3404k| 558M| 74 | 30 | 775 | 755 | 174 | 775 | 82 | 101 | 69k| 14k|-2.050190e+04 |-1.638400e+04 | 20.09%
931.26/931.53 c 907s|540000 |539960 | 3467k| 569M| 74 | 30 | 775 | 843 | 135 | 775 | 82 | 101 | 70k| 14k|-2.050190e+04 |-1.638400e+04 | 20.09%
948.25/948.51 c 924s|550000 |549960 | 3530k| 580M| 74 | 31 | 775 | 888 | 148 | 775 | 82 | 101 | 71k| 14k|-2.050190e+04 |-1.638400e+04 | 20.09%
965.05/965.32 c 940s|560000 |559960 | 3595k| 590M| 74 | 30 | 775 | 795 | 113 | 775 | 82 | 101 | 72k| 14k|-2.050190e+04 |-1.638400e+04 | 20.09%
982.15/982.44 c 957s|570000 |569958 | 3660k| 601M| 74 | 26 | 775 | 720 | 121 | 775 | 82 | 101 | 74k| 14k|-2.050190e+04 |-1.638400e+04 | 20.09%
999.04/999.33 c 973s|580000 |579958 | 3725k| 612M| 74 | 29 | 775 | 750 | 84 | 775 | 82 | 101 | 75k| 14k|-2.050190e+04 |-1.638400e+04 | 20.09%
1016.73/1017.06 c 990s|590000 |589916 | 3792k| 623M| 74 | 25 | 775 | 830 | 136 | 775 | 82 | 101 | 76k| 15k|-2.050190e+04 |-1.638400e+04 | 20.09%
1035.13/1035.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1035.13/1035.46 c 1008s|600000 |599814 | 3864k| 633M| 74 | 27 | 775 | 715 | 113 | 775 | 82 | 101 | 77k| 15k|-2.050190e+04 |-1.638400e+04 | 20.09%
1053.33/1053.67 c 1026s|610000 |609734 | 3935k| 644M| 74 | 23 | 775 | 663 | 86 | 775 | 82 | 101 | 79k| 16k|-2.050190e+04 |-1.638400e+04 | 20.09%
1072.33/1072.69 c 1044s|620000 |619729 | 4009k| 655M| 74 | 28 | 775 | 208 | 64 | 775 | 82 | 101 | 80k| 16k|-2.050190e+04 |-1.638400e+04 | 20.09%
1090.52/1090.88 c 1062s|630000 |629729 | 4082k| 665M| 74 | 24 | 775 | 217 | 71 | 775 | 82 | 101 | 81k| 17k|-2.050190e+04 |-1.638400e+04 | 20.09%
1108.92/1109.25 c 1080s|640000 |639728 | 4156k| 676M| 74 | 22 | 775 | 223 | 73 | 775 | 82 | 101 | 83k| 17k|-2.050190e+04 |-1.638400e+04 | 20.09%
1126.92/1127.30 c 1098s|650000 |649728 | 4228k| 687M| 74 | 28 | 775 | 265 | 66 | 775 | 82 | 101 | 84k| 17k|-2.050190e+04 |-1.638400e+04 | 20.09%
1144.40/1144.78 c 1115s|660000 |659728 | 4298k| 698M| 74 | 27 | 775 | 277 | 73 | 775 | 82 | 101 | 85k| 18k|-2.050190e+04 |-1.638400e+04 | 20.09%
1163.20/1163.54 c 1133s|670000 |669722 | 4375k| 709M| 74 | 28 | 775 | 339 | 91 | 775 | 82 | 101 | 87k| 18k|-2.050190e+04 |-1.638400e+04 | 20.09%
1181.50/1181.82 c 1151s|680000 |679716 | 4449k| 720M| 74 | 30 | 775 | 322 | 76 | 775 | 82 | 101 | 88k| 18k|-2.050190e+04 |-1.638400e+04 | 20.09%
1200.09/1200.43 c 1169s|690000 |689713 | 4525k| 731M| 74 | 29 | 775 | 429 | 164 | 775 | 82 | 101 | 89k| 18k|-2.050190e+04 |-1.638400e+04 | 20.09%
1218.69/1219.09 c 1187s|700000 |699713 | 4601k| 742M| 74 | 31 | 775 | 451 | 75 | 775 | 82 | 101 | 90k| 19k|-2.050190e+04 |-1.638400e+04 | 20.09%
1236.89/1237.21 c 1205s|710000 |709709 | 4675k| 753M| 74 | 24 | 775 | 384 | 95 | 775 | 82 | 101 | 92k| 19k|-2.050190e+04 |-1.638400e+04 | 20.09%
1255.18/1255.58 c 1222s|720000 |719707 | 4750k| 764M| 74 | 24 | 775 | 386 | 79 | 775 | 82 | 101 | 93k| 19k|-2.050190e+04 |-1.638400e+04 | 20.09%
1273.58/1273.90 c 1240s|730000 |729703 | 4824k| 775M| 74 | 29 | 775 | 376 | 76 | 775 | 82 | 101 | 94k| 19k|-2.050190e+04 |-1.638400e+04 | 20.09%
1291.67/1292.09 c 1258s|740000 |739701 | 4898k| 786M| 74 | 29 | 775 | 397 | 62 | 775 | 82 | 101 | 95k| 19k|-2.050190e+04 |-1.638400e+04 | 20.09%
1310.17/1310.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1310.17/1310.59 c 1276s|750000 |749699 | 4973k| 797M| 74 | 28 | 775 | 396 | 47 | 775 | 82 | 101 | 96k| 20k|-2.050190e+04 |-1.638400e+04 | 20.09%
1328.76/1329.14 c 1294s|760000 |759690 | 5050k| 809M| 74 | 26 | 775 | 477 | 64 | 775 | 82 | 101 | 97k| 20k|-2.050190e+04 |-1.638400e+04 | 20.09%
1347.56/1347.93 c 1312s|770000 |769687 | 5126k| 820M| 74 | 20 | 775 | 508 | 66 | 775 | 82 | 101 | 99k| 20k|-2.050190e+04 |-1.638400e+04 | 20.09%
1366.45/1366.84 c 1331s|780000 |779685 | 5203k| 831M| 74 | 24 | 775 | 464 | 89 | 775 | 82 | 101 | 100k| 20k|-2.050190e+04 |-1.638400e+04 | 20.09%
1384.75/1385.20 c 1349s|790000 |789675 | 5276k| 842M| 74 | 24 | 775 | 477 | 61 | 775 | 82 | 101 | 101k| 20k|-2.050190e+04 |-1.638400e+04 | 20.09%
1403.25/1403.61 c 1367s|800000 |799672 | 5351k| 853M| 74 | 31 | 775 | 467 | 66 | 775 | 82 | 101 | 103k| 21k|-2.050190e+04 |-1.638400e+04 | 20.09%
1422.24/1422.60 c 1385s|810000 |809671 | 5429k| 865M| 74 | 24 | 775 | 492 | 74 | 775 | 82 | 101 | 104k| 21k|-2.050190e+04 |-1.638400e+04 | 20.09%
1441.03/1441.40 c 1403s|820000 |819669 | 5505k| 876M| 74 | 27 | 775 | 532 | 61 | 775 | 82 | 101 | 105k| 21k|-2.050190e+04 |-1.638400e+04 | 20.09%
1460.23/1460.64 c 1422s|830000 |829669 | 5583k| 887M| 74 | 29 | 775 | 503 | 57 | 775 | 82 | 101 | 106k| 21k|-2.050190e+04 |-1.638400e+04 | 20.09%
1480.83/1481.25 c 1442s|840000 |839663 | 5670k| 898M| 74 | 35 | 775 | 273 | 163 | 775 | 82 | 101 | 108k| 22k|-2.050190e+04 |-1.638400e+04 | 20.09%
1506.21/1506.67 c 1467s|850000 |849527 | 5788k| 910M| 74 | 26 | 775 | 471 | 100 | 775 | 82 | 101 | 110k| 22k|-2.050190e+04 |-1.638400e+04 | 20.09%
1531.92/1532.31 c 1492s|860000 |858827 | 5910k| 920M| 74 | 31 | 775 | 360 | 114 | 775 | 82 | 101 | 114k| 23k|-2.050190e+04 |-1.638400e+04 | 20.09%
1557.21/1557.62 c 1517s|870000 |868473 | 6032k| 931M| 74 | 30 | 775 | 293 | 111 | 775 | 82 | 101 | 117k| 23k|-2.050190e+04 |-1.638400e+04 | 20.09%
1582.20/1582.68 c 1541s|880000 |878279 | 6153k| 943M| 74 | 26 | 775 | 302 | 110 | 775 | 82 | 101 | 119k| 24k|-2.050190e+04 |-1.638400e+04 | 20.09%
1607.50/1607.94 c 1566s|890000 |888205 | 6275k| 954M| 74 | 27 | 775 | 347 | 86 | 775 | 82 | 101 | 122k| 24k|-2.050190e+04 |-1.638400e+04 | 20.09%
1632.59/1633.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1632.59/1633.05 c 1590s|900000 |898169 | 6397k| 966M| 74 | 29 | 775 | 280 | 83 | 775 | 82 | 101 | 124k| 24k|-2.050190e+04 |-1.638400e+04 | 20.09%
1657.98/1658.47 c 1615s|910000 |908159 | 6520k| 978M| 74 | 25 | 775 | 404 | 107 | 775 | 82 | 101 | 126k| 25k|-2.050190e+04 |-1.638400e+04 | 20.09%
1683.27/1683.75 c 1640s|920000 |918144 | 6643k| 989M| 74 | 30 | 775 | 424 | 101 | 775 | 82 | 101 | 129k| 25k|-2.050190e+04 |-1.638400e+04 | 20.09%
1708.37/1708.82 c 1664s|930000 |928132 | 6766k|1001M| 74 | 28 | 775 | 387 | 62 | 775 | 82 | 101 | 130k| 25k|-2.050190e+04 |-1.638400e+04 | 20.09%
1733.47/1733.90 c 1688s|940000 |938124 | 6889k|1013M| 74 | 26 | 775 | 495 | 73 | 775 | 82 | 101 | 132k| 26k|-2.050190e+04 |-1.638400e+04 | 20.09%
1758.46/1758.98 c 1713s|950000 |948116 | 7010k|1024M| 74 | 37 | 775 | 387 | 76 | 775 | 82 | 101 | 134k| 26k|-2.050190e+04 |-1.638400e+04 | 20.09%
1783.65/1784.14 c 1737s|960000 |958102 | 7134k|1036M| 74 | 33 | 775 | 471 | 92 | 775 | 82 | 101 | 136k| 26k|-2.050190e+04 |-1.638400e+04 | 20.09%
1800.05/1800.50 c
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time (sec) : 1753.22
1800.05/1800.50 c Solving Nodes : 966507
1800.05/1800.50 c Primal Bound : -1.63840000000000e+04 (9 solutions)
1800.05/1800.50 c Dual Bound : -2.05019037433155e+04
1800.05/1800.50 c Gap : 20.09 %
1800.05/1800.50 c NODE 966507
1800.05/1800.50 c DUAL BOUND -20501.9
1800.05/1800.50 c PRIMAL BOUND -16384
1800.05/1800.50 c GAP 0.200855
1800.05/1800.50 s SATISFIABLE
1800.05/1800.50 v -x383 -x329 -x277 -x382 -x328 -x276 -x381 -x327 -x274 -x380 -x326 -x273 -x379 -x325 -x272 x223 x222 -x221 x220 -x218 -x378 -x324
1800.05/1800.50 v -x271 -x217 -x377 -x323 -x270 -x216 -x762 -x376 -x322 -x269 -x215 -x374 -x321 -x268 -x214 -x373 -x320 -x267 -x213 -x372 -x318
1800.05/1800.50 v -x266 -x212 -x371 -x317 -x265 -x211 -x370 -x316 -x263 -x210 -x369 -x315 -x262 -x209 -x368 -x314 -x261 -x207 -x174 -x173 -x172
1800.05/1800.50 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x163 -x162 -x161 -x160 -x159 -x367 -x313 x260 -x206 -x158 -x366 -x312 -x259 -x205
1800.05/1800.50 v -x157 -x365 -x311 -x258 -x204 -x156 -x363 -x310 -x257 x203 -x155 -x362 -x309 -x256 -x202 -x154 -x761 -x361 -x307 -x255 -x201
1800.05/1800.50 v -x152 -x360 -x306 -x254 -x200 -x151 -x359 -x305 -x252 -x199 -x150 -x358 -x304 -x251 -x198 -x149 -x357 -x303 -x250 -x196 -x148
1800.05/1800.50 v -x121 -x120 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99
1800.05/1800.50 v x98 -x96 -x95 x94 -x760 -x759 -x356 -x302 x249 -x195 -x147 -x93 x355 -x301 -x248 -x194 -x146 -x92 -x354 -x300 -x247 -x193
1800.05/1800.50 v -x145 -x91 -x351 -x299 -x246 -x192 -x144 -x90 -x350 -x298 -x245 -x191 x143 -x89 -x349 -x296 x244 -x190 -x141 -x88 -x758 x348
1800.05/1800.50 v -x295 -x243 -x189 -x140 -x87 -x347 -x294 -x240 -x188 x139 -x85 -x346 -x293 -x239 -x187 -x138 -x84 -x345 x292 -x238 -x185 -x137
1800.05/1800.50 v -x83 -x68 -x67 -x66 -x65 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x52 -x51 -x50 x49 -x48 x47 -x46 -x45 -x44 -x43
1800.05/1800.50 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x757 -x344 -x291 -x237 -x136 -x82 -x30 -x756 -x343 x290 -x236 -x135 -x81
1800.05/1800.50 v -x29 -x755 -x342 x289 -x235 -x134 -x80 -x28 -x754 -x340 -x288 -x234 -x133 -x79 -x27 -x339 -x287 -x233 -x184 -x132 -x78 x26 -x338
1800.05/1800.50 v -x285 -x232 -x183 -x129 -x77 x25 -x337 -x284 -x231 -x182 -x128 -x76 -x24 -x336 -x283 -x229 -x181 -x127 -x74 -x23 -x335 -x282
1800.05/1800.50 v -x228 -x180 -x126 -x73 -x22 -x334 -x281 -x227 -x179 -x125 -x72 -x21 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x776 -x775
1800.05/1800.50 v -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x765 -x764 -x763 -x752 -x741 x730 -x719 -x708 -x697 -x686 x674 -x663 -x652 -x641
1800.05/1800.50 v -x630 -x619 -x608 -x597 -x586 -x575 -x563 -x552 -x541 -x530 -x519 x508 -x497 -x486 x333 -x280 -x226 -x178 -x124 -x71 -x787
1800.05/1800.50 v -x475 -x332 -x279 -x225 -x177 x123 -x70 -x786 -x464 -x753 -x331 -x278 -x224 -x176 -x122 -x69 -x785 -x452 -x751 -x750 -x749
1800.05/1800.50 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x729 -x728 -x727 -x726
1800.05/1800.50 v -x725 -x724 -x723 -x722 x721 -x720 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 x710 -x709 -x707 -x706 -x705 -x704 -x703
1800.05/1800.50 v -x702 -x701 -x700 -x699 -x698 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x684 -x683 -x682 -x681 -x680 -x679
1800.05/1800.50 v -x678 -x677 -x676 -x675 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x662 -x661 -x660 -x659 -x658 -x657 -x656
1800.05/1800.50 v -x655 x654 -x653 x651 x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633
1800.05/1800.50 v -x632 -x631 -x629 -x628 -x627 -x626 -x625 x624 -x623 -x622 -x621 -x620 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
1800.05/1800.50 v -x609 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587
1800.05/1800.50 v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x562
1800.05/1800.50 v -x561 -x560 -x559 -x558 x557 -x556 x555 -x554 -x553 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x540 -x539
1800.05/1800.50 v -x538 -x537 x536 -x535 x534 -x533 -x532 -x531 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x518 -x517 -x516
1800.05/1800.50 v x515 -x514 -x513 -x512 -x511 -x510 -x509 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x496 -x495 -x494 -x493
1800.05/1800.50 v -x492 -x491 -x490 -x489 -x488 -x487 x485 -x484 -x483 -x482 -x481 -x480 x479 -x478 x477 -x476 -x474 -x473 -x472 -x471 -x470 -x469
1800.05/1800.50 v -x468 -x467 -x466 -x465 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x451 -x450 -x449 -x448 -x447 -x446 -x445
1800.05/1800.50 v -x444 -x443 -x442 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x429 -x428 -x427 -x426 -x425 -x424 x423 x422
1800.05/1800.50 v -x421 -x420 -x418 x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399
1800.05/1800.50 v -x398 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x385 -x384 -x441 -x430 -x419 -x408 -x397 x386 -x375 x364
1800.05/1800.50 v -x353 x341 -x330 -x319 -x308 -x297 -x286 -x275 -x264 -x253 -x242 -x230 -x219 -x208 -x197 -x186 -x175 -x164 -x153 -x142 -x131
1800.05/1800.50 v -x119 -x108 -x97 -x86 -x75 -x64 -x53 -x42 -x31 -x20 -x777 -x766 -x685 -x574 -x463 -x352 -x241 -x130 -x19 -x18 -x17 -x16 x15
1800.05/1800.50 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time : 1753.22
1800.05/1800.50 c Original Problem :
1800.05/1800.50 c Problem name : HOME/instance-1868728-1245135426.opb
1800.05/1800.50 c Variables : 787 (787 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.50 c Constraints : 65 initial, 65 maximal
1800.05/1800.50 c Presolved Problem :
1800.05/1800.50 c Problem name : t_HOME/instance-1868728-1245135426.opb
1800.05/1800.50 c Variables : 775 (775 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.50 c Constraints : 64 initial, 2226 maximal
1800.05/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.05/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.50 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c linear : 0.00 2 9 0 2 0 1 11 2
1800.05/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c root node : - 2 - - 2 - - - -
1800.05/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.50 c integral : 0 0 0 965707 0 0 176 0 0 1931122
1800.05/1800.50 c knapsack : 16 8 2753829 0 0 3628 21 66 0 0
1800.05/1800.50 c setppc : 48 8 2749718 0 0 6017 10421523 0 0 0
1800.05/1800.50 c logicor : 0+ 0 415671 0 0 152 7997 0 0 0
1800.05/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.50 c integral : 55.76 0.00 0.00 55.76 0.00
1800.05/1800.50 c knapsack : 9.63 0.02 9.61 0.00 0.00
1800.05/1800.50 c setppc : 44.93 0.00 44.93 0.00 0.00
1800.05/1800.50 c logicor : 20.93 0.00 20.93 0.00 0.00
1800.05/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.50 c rootredcost : 1.04 1 0 0
1800.05/1800.50 c pseudoobj : 7.61 2756842 3212 2
1800.05/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.50 c propagation : 12.67 13009 13009 432507 98.5 74 99.9 -
1800.05/1800.50 c infeasible LP : 12.60 27827 8519 136039 88.8 3 89.0 0
1800.05/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.50 c applied globally : - - - 135930 58.5 - - -
1800.05/1800.50 c applied locally : - - - 1753 92.1 - - -
1800.05/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.50 c cut pool : 0.00 7 - - 74 - (maximal pool size: 515)
1800.05/1800.50 c redcost : 52.24 965706 0 0 0 0
1800.05/1800.50 c impliedbounds : 0.00 8 0 0 0 0
1800.05/1800.50 c intobj : 0.00 0 0 0 0 0
1800.05/1800.50 c gomory : 0.08 8 0 0 0 0
1800.05/1800.50 c strongcg : 0.07 8 0 0 2 0
1800.05/1800.50 c cmir : 0.14 8 0 0 139 0
1800.05/1800.50 c flowcover : 0.46 8 0 0 398 0
1800.05/1800.50 c clique : 0.00 8 0 0 0 0
1800.05/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.50 c mcf : 0.00 1 0 0 0 0
1800.05/1800.50 c Pricers : Time Calls Vars
1800.05/1800.50 c problem variables: 0.00 0 0
1800.05/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.50 c relpscost : 54.70 965707 0 176 0 0 1931122
1800.05/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.50 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.50 c random : 0.00 0 0 0 0 0 0
1800.05/1800.50 c Primal Heuristics : Time Calls Found
1800.05/1800.50 c LP solutions : 0.00 - 0
1800.05/1800.50 c pseudo solutions : 0.00 - 0
1800.05/1800.50 c intshifting : 0.02 0 0
1800.05/1800.50 c oneopt : 0.51 3 0
1800.05/1800.50 c feaspump : 0.23 3 0
1800.05/1800.50 c crossover : 4.75 9 4
1800.05/1800.50 c guideddiving : 104.79 1204 0
1800.05/1800.50 c coefdiving : 80.48 3043 0
1800.05/1800.50 c simplerounding : 0.82 906 0
1800.05/1800.50 c rounding : 3.28 47550 1
1800.05/1800.50 c shifting : 18.44 14665 1
1800.05/1800.50 c fixandinfer : 0.00 0 0
1800.05/1800.50 c pscostdiving : 99.41 1440 0
1800.05/1800.50 c fracdiving : 114.63 1731 0
1800.05/1800.50 c veclendiving : 41.35 1070 0
1800.05/1800.50 c intdiving : 0.00 0 0
1800.05/1800.50 c actconsdiving : 0.00 0 0
1800.05/1800.50 c objpscostdiving : 9.25 968 0
1800.05/1800.50 c rootsoldiving : 8.71 271 2
1800.05/1800.50 c linesearchdiving : 58.59 2368 0
1800.05/1800.50 c octane : 0.00 0 0
1800.05/1800.50 c rens : 0.03 1 1
1800.05/1800.50 c rins : 0.00 0 0
1800.05/1800.50 c localbranching : 0.00 0 0
1800.05/1800.50 c mutation : 0.00 0 0
1800.05/1800.50 c dins : 0.00 0 0
1800.05/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.50 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.50 c dual LP : 707.81 966653 5429499 5.62 7670.84
1800.05/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.50 c diving/probing LP: 331.31 791351 1785209 2.26 5388.33
1800.05/1800.50 c strong branching : 33.76 26730 241757 9.04 7161.05
1800.05/1800.50 c (at root node) : - 39 1445 37.05 -
1800.05/1800.50 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.50 c B&B Tree :
1800.05/1800.50 c number of runs : 1
1800.05/1800.50 c nodes : 966507
1800.05/1800.50 c nodes (total) : 966507
1800.05/1800.50 c nodes left : 964605
1800.05/1800.50 c max depth : 74
1800.05/1800.50 c max depth (total): 74
1800.05/1800.50 c backtracks : 82020 (8.5%)
1800.05/1800.50 c delayed cutoffs : 10
1800.05/1800.50 c repropagations : 41641 (507 domain reductions, 1 cutoffs)
1800.05/1800.50 c avg switch length: 5.33
1800.05/1800.50 c switching time : 120.01
1800.05/1800.50 c Solution :
1800.05/1800.50 c Solutions found : 9 (4 improvements)
1800.05/1800.50 c Primal Bound : -1.63840000000000e+04 (in run 1, after 176613 nodes, 304.06 seconds, depth 48, found by <rootsoldiving>)
1800.05/1800.50 c Dual Bound : -2.05019037433155e+04
1800.05/1800.50 c Gap : 20.09 %
1800.05/1800.50 c Root Dual Bound : -2.05019037433155e+04
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868728-1245135426/watcher-1868728-1245135426 -o /tmp/evaluation-result-1868728-1245135426/solver-1868728-1245135426 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868728-1245135426.opb
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30029
/proc/meminfo: memFree=1933368/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=4328 CPUtime=0
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 479 0 0 0 0 0 0 0 18 0 1 0 181142392 4431872 463 1992294400 4194304 7823515 548682068736 18446744073709551615 6863653 0 0 4096 0 0 0 0 17 1 0 0
/proc/30029/statm: 1162 474 307 886 0 272 0
[startup+0.103205 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30029
/proc/meminfo: memFree=1933368/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=15544 CPUtime=0.09
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 3455 0 0 0 8 1 0 0 18 0 1 0 181142392 15917056 3081 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 3886 3081 549 886 0 2996 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15544
[startup+0.201213 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30029
/proc/meminfo: memFree=1933368/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=19984 CPUtime=0.2
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 4544 0 0 0 18 2 0 0 18 0 1 0 181142392 20463616 4158 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 4996 4158 565 886 0 4106 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 19984
[startup+0.301224 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30029
/proc/meminfo: memFree=1933368/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=20388 CPUtime=0.29
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 4644 0 0 0 27 2 0 0 19 0 1 0 181142392 20877312 4258 1992294400 4194304 7823515 548682068736 18446744073709551615 4971658 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 5097 4258 565 886 0 4207 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20388
[startup+0.701259 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 30029
/proc/meminfo: memFree=1933368/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=24204 CPUtime=0.69
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 5501 0 0 0 67 2 0 0 22 0 1 0 181142392 24784896 5096 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 6051 5096 565 886 0 5161 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24204
[startup+1.50133 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30030
/proc/meminfo: memFree=1914736/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=24284 CPUtime=1.49
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 7661 0 0 0 144 5 0 0 25 0 1 0 181142392 24866816 5165 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 6071 5165 578 886 0 5181 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24284
[startup+3.10148 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30030
/proc/meminfo: memFree=1914480/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=24284 CPUtime=3.09
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 7667 0 0 0 299 10 0 0 25 0 1 0 181142392 24866816 5171 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 6071 5171 584 886 0 5181 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24284
[startup+6.30177 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30030
/proc/meminfo: memFree=1914096/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=25332 CPUtime=6.3
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 7913 0 0 0 613 17 0 0 25 0 1 0 181142392 25939968 5417 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 6333 5417 584 886 0 5443 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 25332
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30030
/proc/meminfo: memFree=1909232/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=29724 CPUtime=12.69
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 10906 0 0 0 1236 33 0 0 25 0 1 0 181142392 30437376 6537 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 7431 6537 584 886 0 6541 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29724
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30030
/proc/meminfo: memFree=1900720/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=38340 CPUtime=25.48
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 13069 0 0 0 2486 62 0 0 25 0 1 0 181142392 39260160 8699 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 9585 8699 584 886 0 8695 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38340
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30030
/proc/meminfo: memFree=1886000/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=52904 CPUtime=51.08
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 16777 0 0 0 4981 127 0 0 25 0 1 0 181142392 54173696 12406 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 13226 12406 584 886 0 12336 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 52904
[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30030
/proc/meminfo: memFree=1854064/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=84228 CPUtime=102.27
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 24729 0 0 0 9965 262 0 0 25 0 1 0 181142392 86249472 20357 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 21057 20357 584 886 0 20167 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 84228
[startup+162.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 30030
/proc/meminfo: memFree=1817648/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=121564 CPUtime=162.25
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 33800 0 0 0 15807 418 0 0 25 0 1 0 181142392 124481536 29426 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 30391 29426 584 886 0 29501 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 121564
[startup+222.305 s]
/proc/loadavg: 1.12 1.04 1.01 2/65 30030
/proc/meminfo: memFree=1780016/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=158756 CPUtime=222.24
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 43171 0 0 0 21652 572 0 0 25 0 1 0 181142392 162566144 38796 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 39689 38796 584 886 0 38799 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 158756
[startup+282.302 s]
/proc/loadavg: 1.04 1.03 1.00 2/65 30036
/proc/meminfo: memFree=1744752/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=194032 CPUtime=282.22
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 52097 0 0 0 27497 725 0 0 25 0 1 0 181142392 198688768 47719 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 48508 47719 584 886 0 47618 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 194032
[startup+342.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 30036
/proc/meminfo: memFree=1711984/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=225780 CPUtime=342.2
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 67722 0 0 0 33294 926 0 0 25 0 1 0 181142392 231198720 55749 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 56445 55749 585 886 0 55555 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 225780
[startup+402.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 30036
/proc/meminfo: memFree=1674864/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=266300 CPUtime=402.19
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 78784 0 0 0 39130 1089 0 0 25 0 1 0 181142392 272691200 64987 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 66575 64987 585 886 0 65685 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 266300
[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 30036
/proc/meminfo: memFree=1638768/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=302768 CPUtime=462.17
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 88041 0 0 0 44979 1238 0 0 25 0 1 0 181142392 310034432 74244 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 75692 74244 585 886 0 74802 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 302768
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30036
/proc/meminfo: memFree=1602544/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=339824 CPUtime=522.16
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 97448 0 0 0 50828 1388 0 0 25 0 1 0 181142392 347979776 83651 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 84956 83651 585 886 0 84066 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 339824
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30036
/proc/meminfo: memFree=1564720/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=374316 CPUtime=582.15
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 106240 0 0 0 56672 1543 0 0 25 0 1 0 181142392 383299584 92443 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 93579 92443 585 886 0 92689 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 374316
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30036
/proc/meminfo: memFree=1527408/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=411180 CPUtime=642.13
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 115560 0 0 0 62516 1697 0 0 25 0 1 0 181142392 421048320 101763 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 102795 101763 585 886 0 101905 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 411180
[startup+702.302 s]
################
# More data... #
################
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 182504 0 0 0 103423 2779 0 0 25 0 1 0 181142392 692178944 166867 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 168989 166867 585 886 0 168099 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 675956
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30036
/proc/meminfo: memFree=1231024/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=710780 CPUtime=1122.01
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 191338 0 0 0 109267 2934 0 0 25 0 1 0 181142392 727838720 175701 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 177695 175701 585 886 0 176805 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 710780
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30036
/proc/meminfo: memFree=1195568/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=745544 CPUtime=1182
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 200160 0 0 0 115110 3090 0 0 25 0 1 0 181142392 763437056 184523 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 186386 184523 585 886 0 185496 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 745544
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30036
/proc/meminfo: memFree=1159024/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=780948 CPUtime=1241.98
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 209139 0 0 0 120958 3240 0 0 25 0 1 0 181142392 799690752 193502 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 195237 193502 585 886 0 194347 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 780948
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30036
/proc/meminfo: memFree=1124656/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=815968 CPUtime=1301.96
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 218023 0 0 0 126797 3399 0 0 25 0 1 0 181142392 835551232 202386 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 203992 202386 585 886 0 203102 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 815968
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30036
/proc/meminfo: memFree=1087856/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=851448 CPUtime=1361.96
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 227013 0 0 0 132646 3550 0 0 25 0 1 0 181142392 871882752 211376 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 212862 211376 585 886 0 211972 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 851448
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30036
/proc/meminfo: memFree=1052400/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=885700 CPUtime=1421.95
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 235706 0 0 0 138487 3708 0 0 25 0 1 0 181142392 906956800 220069 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 221425 220069 585 886 0 220535 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 885700
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30036
/proc/meminfo: memFree=1017136/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=921808 CPUtime=1481.92
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 244850 0 0 0 144327 3865 0 0 25 0 1 0 181142392 943931392 229213 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 230452 229213 585 886 0 229562 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 921808
[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30036
/proc/meminfo: memFree=991280/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=945812 CPUtime=1541.91
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 250944 0 0 0 150166 4025 0 0 25 0 1 0 181142392 968511488 235307 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 236453 235307 585 886 0 235563 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 945812
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30036
/proc/meminfo: memFree=965104/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=971952 CPUtime=1601.9
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 257566 0 0 0 156017 4173 0 0 25 0 1 0 181142392 995278848 241929 1992294400 4194304 7823515 548682068736 18446744073709551615 4787355 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 242988 241929 585 886 0 242098 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 971952
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30036
/proc/meminfo: memFree=936624/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=999632 CPUtime=1661.88
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 264582 0 0 0 161858 4330 0 0 25 0 1 0 181142392 1023623168 248945 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 249908 248945 585 886 0 249018 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 999632
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30036
/proc/meminfo: memFree=909488/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=1026288 CPUtime=1721.87
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 271335 0 0 0 167703 4484 0 0 25 0 1 0 181142392 1050918912 255698 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 256572 255698 585 886 0 255682 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1026288
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30036
/proc/meminfo: memFree=881200/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=1054004 CPUtime=1781.85
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 278353 0 0 0 173552 4633 0 0 25 0 1 0 181142392 1079300096 262716 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 263501 262716 585 886 0 262611 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1054004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30036
/proc/meminfo: memFree=873456/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=1061620 CPUtime=1800.05
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 280285 0 0 0 175322 4683 0 0 25 0 1 0 181142392 1087098880 264648 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30029/statm: 265405 264648 585 886 0 264515 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1061620
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -30029
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30037
/proc/meminfo: memFree=873384/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=1061620 CPUtime=1801.04
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 280289 0 0 0 175421 4683 0 0 25 0 1 0 181142392 1087098880 264652 1992294400 4194304 7823515 548682068736 18446744073709551615 5875265 0 0 4096 0 0 0 0 17 1 0 0
/proc/30029/statm: 265405 264652 587 886 0 264515 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 1061620
[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30037
/proc/meminfo: memFree=873384/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=1061620 CPUtime=1801.84
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 280289 0 0 0 175501 4683 0 0 25 0 1 0 181142392 1087098880 264652 1992294400 4194304 7823515 548682068736 18446744073709551615 5875141 0 0 4096 0 0 0 0 17 1 0 0
/proc/30029/statm: 265405 264652 587 886 0 264515 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 1061620
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30037
/proc/meminfo: memFree=873384/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=1061620 CPUtime=1802.04
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4194304 280289 0 0 0 175521 4683 0 0 25 0 1 0 181142392 1087098880 264652 1992294400 4194304 7823515 548682068736 18446744073709551615 5875141 0 0 4096 0 0 0 0 17 1 0 0
/proc/30029/statm: 265405 264652 587 886 0 264515 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 1061620
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30037
/proc/meminfo: memFree=873384/2055920 swapFree=4181496/4192956
[pid=30029] ppid=30027 vsize=0 CPUtime=1802.15
/proc/30029/stat : 30029 (pbscip.linux.x8) R 30027 30029 29606 0 -1 4195332 280289 0 0 0 175522 4693 0 0 25 0 1 0 181142392 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/30029/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.67
CPU time (s): 1802.22
CPU user time (s): 1755.22
CPU system time (s): 46.9999
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 1061620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1755.22
system time used= 46.9999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280289
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= 5
involuntary context switches= 3003
runsolver used 1.36479 second user time and 3.70244 second system time
The end