0.02/0.06 c SCIP version 1.1.0.7
0.02/0.06 c LP-Solver Clp 1.8.2
0.02/0.06 c user parameter file <scip.set> not found - using default parameters
0.02/0.06 c read problem <HOME/instance-1869009-1245154134.opb>
0.02/0.06 c original problem has 1040 variables (1040 bin, 0 int, 0 impl, 0 cont) and 3656 constraints
0.02/0.08 c start presolving problem
0.02/0.08 c presolving:
0.08/0.10 c (round 1) 10 del vars, 10 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23740 impls, 0 clqs
0.08/0.14 c (round 2) 10 del vars, 10 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3286 upgd conss, 23740 impls, 0 clqs
0.08/0.16 c (round 3) 10 del vars, 10 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3646 upgd conss, 23740 impls, 0 clqs
0.19/0.20 c (0.1s) probing: 101/1030 (9.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (4 rounds):
0.19/0.20 c 10 deleted vars, 10 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 23740 implications, 0 cliques
0.19/0.20 c presolved problem has 1030 variables (1030 bin, 0 int, 0 impl, 0 cont) and 3646 constraints
0.19/0.20 c 3646 constraints of type <logicor>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.11
0.19/0.20 c strange?!, PURESAT with obj
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = c 1620
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = c 1791
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = c 10000
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving problem
0.19/0.20 c
0.19/0.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.29 c 0.2s| 1 | 0 | 920 |7466k| 0 | 742 |1030 |3646 |3646 |1030 |3646 | 0 | 0 | 0 | 2.397500e+02 | -- | Inf
1.49/1.52 o 509
1.49/1.52 c F 1.4s| 1 | 0 | 5066 |7565k| 0 | 0 |1030 |3646 |3646 |1030 |3646 | 0 | 0 | 0 | 2.397500e+02 | 5.090000e+02 | 112.30%
1.68/1.71 c 1.6s| 1 | 0 | 5235 |7574k| 0 | 736 |1030 |3646 |3646 |1030 |3659 | 13 | 0 | 0 | 2.483508e+02 | 5.090000e+02 | 104.95%
1.79/1.89 c 1.8s| 1 | 0 | 5401 |7648k| 0 | 722 |1030 |3646 |3646 |1030 |3673 | 27 | 0 | 0 | 2.552812e+02 | 5.090000e+02 | 99.39%
1.98/2.08 c 2.0s| 1 | 0 | 5625 |7741k| 0 | 723 |1030 |3646 |3646 |1030 |3687 | 41 | 0 | 0 | 2.605685e+02 | 5.090000e+02 | 95.34%
2.28/2.30 c 2.2s| 1 | 0 | 5988 |7891k| 0 | 717 |1030 |3646 |3646 |1030 |3702 | 56 | 0 | 0 | 2.639841e+02 | 5.090000e+02 | 92.81%
2.48/2.56 c 2.5s| 1 | 0 | 6418 |8076k| 0 | 711 |1030 |3646 |3646 |1030 |3717 | 71 | 0 | 0 | 2.681510e+02 | 5.090000e+02 | 89.82%
2.79/2.83 c 2.7s| 1 | 0 | 6879 |8357k| 0 | 721 |1030 |3646 |3646 |1030 |3731 | 85 | 0 | 0 | 2.716487e+02 | 5.090000e+02 | 87.37%
3.09/3.18 c 3.1s| 1 | 0 | 7294 |8650k| 0 | 717 |1030 |3646 |3646 |1030 |3750 | 104 | 0 | 0 | 2.732705e+02 | 5.090000e+02 | 86.26%
3.58/3.67 c 3.5s| 1 | 0 | 7699 |8875k| 0 | 725 |1030 |3646 |3646 |1030 |3761 | 115 | 0 | 0 | 2.744083e+02 | 5.090000e+02 | 85.49%
3.98/4.09 c 4.0s| 1 | 0 | 8035 |9146k| 0 | 722 |1030 |3646 |3646 |1030 |3775 | 129 | 0 | 0 | 2.752691e+02 | 5.090000e+02 | 84.91%
4.68/4.72 c 4.6s| 1 | 0 | 8392 |9482k| 0 | 714 |1030 |3646 |3646 |1030 |3788 | 142 | 0 | 0 | 2.758187e+02 | 5.090000e+02 | 84.54%
5.28/5.34 c 5.2s| 1 | 0 | 8752 |9757k| 0 | 715 |1030 |3646 |3646 |1030 |3799 | 153 | 0 | 0 | 2.766651e+02 | 5.090000e+02 | 83.98%
5.97/6.05 c 5.9s| 1 | 0 | 9172 | 10M| 0 | 721 |1030 |3646 |3646 |1030 |3807 | 161 | 0 | 0 | 2.769349e+02 | 5.090000e+02 | 83.80%
6.69/6.72 c 6.6s| 1 | 0 | 9495 | 10M| 0 | 718 |1030 |3646 |3646 |1030 |3813 | 167 | 0 | 0 | 2.775333e+02 | 5.090000e+02 | 83.40%
7.38/7.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.38/7.42 c 7.3s| 1 | 0 | 9645 | 10M| 0 | 726 |1030 |3646 |3646 |1030 |3820 | 174 | 0 | 0 | 2.776011e+02 | 5.090000e+02 | 83.36%
8.08/8.17 c 8.0s| 1 | 0 | 9852 | 10M| 0 | 728 |1030 |3646 |3646 |1030 |3825 | 179 | 0 | 0 | 2.776546e+02 | 5.090000e+02 | 83.32%
8.87/8.92 c 8.8s| 1 | 0 | 9986 | 10M| 0 | 726 |1030 |3646 |3646 |1030 |3814 | 184 | 0 | 0 | 2.776748e+02 | 5.090000e+02 | 83.31%
9.58/9.64 c 9.5s| 1 | 0 | 10176 | 10M| 0 | 728 |1030 |3646 |3646 |1030 |3819 | 189 | 0 | 0 | 2.777607e+02 | 5.090000e+02 | 83.25%
10.37/10.43 c 10.2s| 1 | 0 | 10354 | 10M| 0 | 730 |1030 |3646 |3646 |1030 |3824 | 194 | 0 | 0 | 2.777861e+02 | 5.090000e+02 | 83.23%
11.07/11.13 c 10.9s| 1 | 0 | 10493 | 11M| 0 | 724 |1030 |3646 |3646 |1030 |3828 | 198 | 0 | 0 | 2.777942e+02 | 5.090000e+02 | 83.23%
11.77/11.84 c 11.7s| 1 | 0 | 10753 | 11M| 0 | 720 |1030 |3646 |3646 |1030 |3833 | 203 | 0 | 0 | 2.778529e+02 | 5.090000e+02 | 83.19%
12.17/12.26 c 12.1s| 1 | 0 | 10895 | 11M| 0 | 724 |1030 |3646 |3646 |1030 |3837 | 207 | 0 | 0 | 2.778691e+02 | 5.090000e+02 | 83.18%
12.57/12.64 o 416
12.57/12.64 c k12.5s| 1 | 0 | 10895 | 11M| 0 | 724 |1030 |3646 |3646 |1030 |3837 | 207 | 0 | 0 | 2.778691e+02 | 4.160000e+02 | 49.71%
12.57/12.65 c 12.5s| 1 | 0 | 10895 | 11M| 0 | 724 |1030 |3646 |3646 |1030 |3837 | 207 | 0 | 0 | 2.778691e+02 | 4.160000e+02 | 49.71%
13.68/13.76 c 13.6s| 1 | 2 | 10895 | 11M| 0 | 724 |1030 |3646 |3646 |1030 |3837 | 207 | 0 | 19 | 2.778691e+02 | 4.160000e+02 | 49.71%
35.85/35.93 o 415
35.85/35.93 c *35.5s| 34 | 26 | 19514 | 11M| 26 | - |1030 |3660 |2692 |1030 |3766 | 207 | 14 | 770 | 2.786311e+02 | 4.150000e+02 | 48.94%
35.85/35.93 o 414
35.85/35.93 c k35.5s| 34 | 25 | 19514 | 11M| 26 | - |1030 |3660 |2692 |1030 |3766 | 207 | 14 | 770 | 2.786311e+02 | 4.140000e+02 | 48.58%
38.56/38.62 o 412
38.56/38.62 c *38.1s| 41 | 29 | 19958 | 11M| 27 | - |1030 |3660 |2501 |1030 |3766 | 207 | 14 | 895 | 2.786311e+02 | 4.120000e+02 | 47.87%
38.56/38.62 o 411
38.56/38.62 c k38.1s| 41 | 28 | 19958 | 11M| 27 | - |1030 |3660 |2501 |1030 |3766 | 207 | 14 | 895 | 2.786311e+02 | 4.110000e+02 | 47.51%
41.26/41.31 o 409
41.26/41.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.26/41.31 c *40.8s| 81 | 33 | 23124 | 11M| 30 | - |1030 |3681 |2514 |1030 |3766 | 207 | 35 | 979 | 2.786311e+02 | 4.090000e+02 | 46.79%
41.26/41.31 o 408
41.26/41.31 c k40.8s| 81 | 32 | 23124 | 11M| 30 | - |1030 |3681 |2514 |1030 |3766 | 207 | 35 | 979 | 2.786311e+02 | 4.080000e+02 | 46.43%
41.26/41.35 o 407
41.26/41.35 c R40.8s| 84 | 32 | 23197 | 11M| 30 | 24 |1030 |3681 |2446 |1030 |3766 | 207 | 35 | 979 | 2.786311e+02 | 4.070000e+02 | 46.07%
41.26/41.35 o 400
41.26/41.35 c k40.8s| 84 | 26 | 23197 | 11M| 30 | - |1030 |3681 |2446 |1030 |3766 | 207 | 35 | 979 | 2.786311e+02 | 4.000000e+02 | 43.56%
47.64/47.73 o 399
47.64/47.73 c R47.1s| 227 | 64 | 38507 | 11M| 33 | 24 |1030 |3692 |2492 |1030 |3766 | 207 | 46 |1027 | 2.788263e+02 | 3.990000e+02 | 43.10%
47.64/47.73 o 396
47.64/47.73 c k47.1s| 227 | 66 | 38507 | 11M| 33 | 24 |1030 |3692 |2492 |1030 |3766 | 207 | 46 |1027 | 2.788263e+02 | 3.960000e+02 | 42.02%
47.64/47.76 o 395
47.64/47.76 c *47.2s| 229 | 66 | 38516 | 11M| 33 | - |1030 |3692 |2453 |1030 |3766 | 207 | 46 |1027 | 2.788263e+02 | 3.950000e+02 | 41.67%
47.64/47.77 o 394
47.64/47.77 c *47.2s| 230 | 64 | 38517 | 11M| 33 | - |1030 |3692 |2430 |1030 |3766 | 207 | 46 |1027 | 2.788263e+02 | 3.940000e+02 | 41.31%
55.65/55.76 o 393
55.65/55.76 c R55.1s| 457 | 135 | 56830 | 11M| 34 | - |1030 |3694 |2898 |1030 |3766 | 207 | 54 |1126 | 2.838384e+02 | 3.930000e+02 | 38.46%
55.65/55.76 o 392
55.65/55.76 c k55.1s| 457 | 135 | 56830 | 11M| 34 | - |1030 |3694 |2898 |1030 |3766 | 207 | 54 |1126 | 2.838384e+02 | 3.920000e+02 | 38.11%
55.85/55.94 o 390
55.85/55.94 c *55.3s| 472 | 136 | 57202 | 11M| 37 | - |1030 |3694 |2777 |1030 |3766 | 207 | 54 |1126 | 2.838384e+02 | 3.900000e+02 | 37.40%
55.85/55.94 o 389
55.85/55.94 c k55.3s| 472 | 136 | 57202 | 11M| 37 | - |1030 |3694 |2777 |1030 |3766 | 207 | 54 |1126 | 2.838384e+02 | 3.890000e+02 | 37.05%
55.85/55.95 o 386
55.85/55.95 c *55.3s| 473 | 134 | 57203 | 11M| 37 | - |1030 |3694 |2783 |1030 |3766 | 207 | 54 |1126 | 2.838384e+02 | 3.860000e+02 | 35.99%
55.85/55.95 o 385
55.85/55.95 c k55.3s| 473 | 134 | 57203 | 11M| 37 | - |1030 |3694 |2783 |1030 |3766 | 207 | 54 |1126 | 2.838384e+02 | 3.850000e+02 | 35.64%
57.14/57.27 o 384
57.14/57.27 c *56.6s| 520 | 151 | 60168 | 11M| 38 | - |1030 |3694 |2209 |1030 |3766 | 207 | 54 |1139 | 2.838384e+02 | 3.840000e+02 | 35.29%
57.14/57.27 o 383
57.14/57.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.14/57.27 c k56.6s| 520 | 147 | 60168 | 11M| 38 | - |1030 |3694 |2209 |1030 |3766 | 207 | 54 |1139 | 2.838384e+02 | 3.830000e+02 | 34.94%
58.14/58.21 o 379
58.14/58.21 c *57.5s| 545 | 160 | 62162 | 12M| 38 | - |1030 |3694 |2149 |1030 |3766 | 207 | 54 |1150 | 2.838414e+02 | 3.790000e+02 | 33.53%
58.14/58.21 o 378
58.14/58.21 c k57.5s| 545 | 159 | 62162 | 12M| 38 | - |1030 |3694 |2149 |1030 |3766 | 207 | 54 |1150 | 2.838414e+02 | 3.780000e+02 | 33.17%
60.44/60.51 o 377
60.44/60.51 c *59.8s| 632 | 175 | 65738 | 12M| 39 | - |1030 |3700 |2608 |1030 |3766 | 207 | 60 |1172 | 2.838522e+02 | 3.770000e+02 | 32.82%
60.44/60.52 o 376
60.44/60.52 c k59.8s| 632 | 175 | 65738 | 12M| 39 | - |1030 |3700 |2608 |1030 |3766 | 207 | 60 |1172 | 2.838522e+02 | 3.760000e+02 | 32.46%
60.44/60.58 o 372
60.44/60.58 c *59.9s| 637 | 165 | 65846 | 12M| 39 | - |1030 |3700 |2621 |1030 |3766 | 207 | 60 |1172 | 2.838522e+02 | 3.720000e+02 | 31.05%
60.44/60.58 o 371
60.44/60.58 c k59.9s| 637 | 162 | 65846 | 12M| 39 | - |1030 |3700 |2621 |1030 |3766 | 207 | 60 |1172 | 2.838522e+02 | 3.710000e+02 | 30.70%
75.74/75.87 o 368
75.74/75.87 c g74.9s| 1155 | 240 |100283 | 12M| 49 | - |1030 |3721 |2968 |1030 |3766 | 207 | 82 |1294 | 2.846888e+02 | 3.680000e+02 | 29.26%
75.74/75.90 o 367
75.74/75.90 c k75.0s| 1156 | 233 |100305 | 12M| 49 | 212 |1030 |3721 |3249 |1030 |3766 | 207 | 82 |1294 | 2.846888e+02 | 3.670000e+02 | 28.91%
114.03/114.15 o 366
114.03/114.15 c * 113s| 2038 | 307 |189186 | 12M| 50 | - |1030 |3735 |2814 |1030 |3766 | 207 | 106 |1602 | 2.865093e+02 | 3.660000e+02 | 27.74%
114.03/114.16 o 364
114.03/114.16 c k 113s| 2038 | 301 |189186 | 12M| 50 | - |1030 |3735 |2814 |1030 |3766 | 207 | 106 |1602 | 2.865093e+02 | 3.640000e+02 | 27.05%
122.62/122.74 o 360
122.62/122.74 c * 121s| 2366 | 307 |210528 | 12M| 53 | - |1030 |3732 |2461 |1030 |3766 | 207 | 108 |1687 | 2.865772e+02 | 3.600000e+02 | 25.62%
122.62/122.74 o 358
122.62/122.74 c k 121s| 2366 | 297 |210528 | 12M| 53 | - |1030 |3732 |2461 |1030 |3766 | 207 | 108 |1687 | 2.865772e+02 | 3.580000e+02 | 24.92%
143.19/143.31 o 350
143.19/143.31 c C 141s| 2940 | 339 |259855 | 12M| 54 | - |1030 |3758 |2771 |1030 |3766 | 207 | 139 |1887 | 2.871242e+02 | 3.500000e+02 | 21.90%
357.08/358.28 c 353s| 10000 | 807 |854411 | 14M| 67 | 251 |1030 |3741 |2732 |1030 |3766 | 207 | 182 |3609 | 2.910156e+02 | 3.500000e+02 | 20.27%
679.91/681.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.91/681.32 c 674s| 20000 | 1633 | 1746k| 16M| 67 | - |1030 |3788 |2736 |1030 |3766 | 207 | 274 |5869 | 2.941077e+02 | 3.500000e+02 | 19.00%
709.09/710.60 o 349
709.09/710.60 c * 703s| 21081 | 1685 | 1832k| 16M| 67 | - |1030 |3785 |2531 |1030 |3766 | 207 | 275 |6134 | 2.941930e+02 | 3.490000e+02 | 18.63%
833.05/834.57 o 344
833.05/834.57 c * 826s| 25329 | 1841 | 2204k| 17M| 67 | - |1030 |3786 |2712 |1030 |3766 | 207 | 295 |6688 | 2.950369e+02 | 3.440000e+02 | 16.60%
833.05/834.57 o 343
833.05/834.57 c k 826s| 25329 | 1803 | 2204k| 17M| 67 | - |1030 |3786 |2712 |1030 |3766 | 207 | 295 |6688 | 2.950369e+02 | 3.430000e+02 | 16.26%
970.98/972.65 c 962s| 30000 | 2167 | 2610k| 18M| 67 | 219 |1030 |3777 |3026 |1030 |3766 | 207 | 314 |7728 | 2.957543e+02 | 3.430000e+02 | 15.97%
1230.99/1233.32 c 1219s| 40000 | 2892 | 3386k| 20M| 75 | - |1030 |3775 |2754 |1030 |3766 | 207 | 352 |9129 | 2.970166e+02 | 3.430000e+02 | 15.48%
1484.16/1486.79 c 1470s| 50000 | 3740 | 4168k| 23M| 75 | - |1030 |3759 |2703 |1030 |3766 | 207 | 389 | 10k| 2.983677e+02 | 3.430000e+02 | 14.96%
1721.68/1725.77 c 1706s| 60000 | 4315 | 4932k| 24M| 75 | - |1030 |3749 |2527 |1030 |3766 | 207 | 403 | 11k| 2.991633e+02 | 3.430000e+02 | 14.65%
1800.02/1804.42 c
1800.02/1804.42 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1804.42 c Solving Time (sec) : 1783.38
1800.02/1804.42 c Solving Nodes : 63462
1800.02/1804.42 c Primal Bound : +3.43000000000000e+02 (87 solutions)
1800.02/1804.42 c Dual Bound : +2.99517936355000e+02
1800.02/1804.42 c Gap : 14.52 %
1800.02/1804.42 c NODE 63462
1800.02/1804.42 c DUAL BOUND 299.518
1800.02/1804.42 c PRIMAL BOUND 343
1800.02/1804.42 c GAP 0.145173
1800.02/1804.42 s SATISFIABLE
1800.02/1804.42 v x1040 -x1039 x1038 -x1037 x1036 -x1035 x1034 -x1033 x1032 -x1031 -x1030 x1029 x1028 -x1027 x1026 -x1025 x1024 -x1023 x1022 -x1021
1800.02/1804.42 v x1020 -x1019 x1018 -x1017 x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 x1009 x1008 -x1007 x1006 -x1005 x1004 -x1003 x1002
1800.02/1804.42 v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981
1800.02/1804.42 v x980 -x979 x978 -x977 x976 -x975 -x974 x973 x972 -x971 x970 -x969 x968 -x967 x966 -x965 x964 -x963 x962 -x961 -x960 x959 -x958
1800.02/1804.42 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 x940 -x939 x938 -x937
1800.02/1804.42 v x936 -x935 -x934 x933 x932 -x931 x930 -x929 x928 -x927 x926 -x925 x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915
1800.02/1804.42 v x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 x901 x900 -x899 x898 -x897 x896 -x895 -x894 x893
1800.02/1804.42 v x892 -x891 x890 -x889 x888 -x887 x886 -x885 x884 -x883 x882 -x881 -x880 -x879 -x878 -x877 -x876 x875 x874 -x873 -x872 -x871
1800.02/1804.42 v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 x850
1800.02/1804.42 v -x849 -x848 -x847 -x846 -x845 -x844 x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 x834 -x833 -x832 -x831 -x830 -x829
1800.02/1804.42 v -x828 -x827 -x826 -x825 -x824 -x823 -x822 x821 x820 -x819 x818 -x817 x816 -x815 x814 -x813 x812 -x811 -x810 x809 x808 -x807 x806
1800.02/1804.42 v -x805 x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785
1800.02/1804.42 v -x784 -x783 -x782 x781 -x780 -x779 -x778 -x777 -x776 -x775 x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 -x764
1800.02/1804.42 v -x763 -x762 x761 x760 -x759 x758 -x757 x756 -x755 -x754 x753 x752 -x751 x750 -x749 x748 -x747 x746 -x745 x744 -x743 x742 -x741
1800.02/1804.42 v -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726 -x725 -x724 x723 -x722 -x721 -x720
1800.02/1804.42 v -x719 -x718 -x717 -x716 -x715 x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 x699 -x698
1800.02/1804.42 v -x697 -x696 -x695 x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 x680 -x679 x678 -x677
1800.02/1804.42 v x676 -x675 -x674 -x673 x672 -x671 -x670 x669 x668 -x667 x666 -x665 x664 -x663 x662 -x661 -x660 x659 -x658 -x657 -x656 -x655
1800.02/1804.42 v x654 -x653 -x652 -x651 x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 x640 -x639 x638 -x637 x636 -x635 -x634 x633
1800.02/1804.42 v x632 -x631 x630 -x629 x628 -x627 x626 -x625 x624 -x623 x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 x611
1800.02/1804.42 v x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 x594 -x593 -x592 x591 x590 -x589
1800.02/1804.42 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 x574 -x573 -x572 -x571 -x570 -x569 -x568
1800.02/1804.42 v -x567 -x566 -x565 -x564 x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 x554 -x553 -x552 x551 x550 -x549 -x548 -x547
1800.02/1804.42 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526
1800.02/1804.42 v -x525 -x524 -x523 -x522 x521 -x520 -x519 -x518 -x517 -x516 -x515 x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 -x504
1800.02/1804.42 v -x503 -x502 x501 x500 -x499 x498 -x497 x496 -x495 x494 -x493 x492 -x491 -x490 x489 x488 -x487 x486 -x485 x484 -x483 x482
1800.02/1804.42 v -x481 x480 -x479 x478 -x477 x476 -x475 -x474 x473 x472 -x471 x470 -x469 x468 -x467 x466 -x465 x464 -x463 x462 -x461 -x460 -x459
1800.02/1804.42 v -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 x440 -x439 x438
1800.02/1804.42 v -x437 x436 -x435 -x434 x433 x432 -x431 x430 -x429 x428 -x427 x426 -x425 x424 -x423 x422 -x421 -x420 x419 -x418 -x417 -x416 -x415
1800.02/1804.42 v x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 x398 -x397 x396 -x395 -x394
1800.02/1804.42 v x393 x392 -x391 x390 -x389 x388 -x387 x386 -x385 x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371
1800.02/1804.42 v x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350
1800.02/1804.42 v -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329
1800.02/1804.42 v -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 x319 x318 -x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307
1800.02/1804.42 v -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 x286 -x285 -x284
1800.02/1804.42 v x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262
1800.02/1804.42 v x261 -x260 x259 -x258 x257 -x256 x255 x254 -x253 -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241 -x240 x239
1800.02/1804.42 v -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216
1800.02/1804.42 v x215 -x214 x213 -x212 x211 x210 -x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 x198 -x197 -x196 x195 -x194
1800.02/1804.42 v x193 -x192 x191 x190 -x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171
1800.02/1804.42 v -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148
1800.02/1804.42 v x147 x146 -x145 -x144 x143 -x142 x141 x140 -x139 -x138 x137 -x136 x135 -x134 x133 -x132 x131 -x130 x129 -x128 x127 x126 -x125
1800.02/1804.42 v -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103
1800.02/1804.42 v -x102 x101 -x100 x99 -x98 x97 -x96 x95 x94 -x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 x79 -x78 x77 -x76
1800.02/1804.42 v x75 -x74 x73 -x72 x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 x62 -x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 -x50 x49 -x48
1800.02/1804.42 v x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 x30 -x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 -x20
1800.02/1804.42 v x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1800.02/1804.42 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1804.42 c Solving Time : 1783.38
1800.02/1804.42 c Original Problem :
1800.02/1804.42 c Problem name : HOME/instance-1869009-1245154134.opb
1800.02/1804.42 c Variables : 1040 (1040 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1804.42 c Constraints : 3656 initial, 3656 maximal
1800.02/1804.42 c Presolved Problem :
1800.02/1804.42 c Problem name : t_HOME/instance-1869009-1245154134.opb
1800.02/1804.42 c Variables : 1030 (1030 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1804.42 c Constraints : 3646 initial, 3793 maximal
1800.02/1804.42 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1804.42 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1804.42 c dualfix : 0.00 10 0 0 0 0 0 0 0
1800.02/1804.42 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1804.42 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1804.42 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1804.42 c probing : 0.03 0 0 0 0 0 0 0 0
1800.02/1804.42 c linear : 0.03 0 0 0 0 0 10 0 0
1800.02/1804.42 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.02/1804.42 c root node : - 0 - - 0 - - - -
1800.02/1804.42 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1804.42 c integral : 0 0 0 35583 0 147 3468 0 0 68394
1800.02/1804.42 c logicor : 3646+ 22 248767 15 0 271 1391262 0 0 0
1800.02/1804.42 c countsols : 0 0 0 15 0 0 0 0 0 0
1800.02/1804.42 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1804.42 c integral : 221.44 0.00 0.00 221.44 0.00
1800.02/1804.42 c logicor : 8.49 0.00 8.49 0.00 0.00
1800.02/1804.42 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1804.42 c Propagators : Time Calls Cutoffs DomReds
1800.02/1804.42 c rootredcost : 0.11 21 0 0
1800.02/1804.42 c pseudoobj : 14.12 290016 0 0
1800.02/1804.42 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1804.42 c propagation : 0.01 271 271 387 8.1 26 6.3 -
1800.02/1804.42 c infeasible LP : 8.96 30380 0 0 0.0 0 0.0 0
1800.02/1804.42 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1804.42 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1804.42 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1804.42 c applied globally : - - - 410 8.0 - - -
1800.02/1804.42 c applied locally : - - - 0 0.0 - - -
1800.02/1804.42 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1804.42 c cut pool : 0.01 21 - - 566 - (maximal pool size: 1967)
1800.02/1804.42 c redcost : 1.52 40342 0 14899 0 0
1800.02/1804.42 c impliedbounds : 0.00 23 0 0 0 0
1800.02/1804.42 c intobj : 0.00 0 0 0 0 0
1800.02/1804.42 c gomory : 5.70 23 0 0 5539 0
1800.02/1804.42 c strongcg : 3.71 20 0 0 7865 0
1800.02/1804.42 c cmir : 0.29 10 0 0 0 0
1800.02/1804.42 c flowcover : 0.27 10 0 0 0 0
1800.02/1804.42 c clique : 0.01 1 0 0 0 0
1800.02/1804.42 c zerohalf : 0.00 0 0 0 0 0
1800.02/1804.42 c mcf : 0.01 1 0 0 0 0
1800.02/1804.42 c Pricers : Time Calls Vars
1800.02/1804.42 c problem variables: 0.00 0 0
1800.02/1804.42 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1804.42 c relpscost : 221.31 35568 147 3468 0 0 68394
1800.02/1804.42 c pscost : 0.00 0 0 0 0 0 0
1800.02/1804.42 c inference : 0.00 0 0 0 0 0 0
1800.02/1804.42 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1804.42 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1804.42 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1804.42 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1804.42 c random : 0.00 0 0 0 0 0 0
1800.02/1804.42 c Primal Heuristics : Time Calls Found
1800.02/1804.42 c LP solutions : 0.00 - 15
1800.02/1804.42 c pseudo solutions : 0.00 - 0
1800.02/1804.42 c intshifting : 0.00 0 0
1800.02/1804.42 c feaspump : 1.22 1 1
1800.02/1804.42 c oneopt : 0.22 22 17
1800.02/1804.42 c crossover : 0.63 9 1
1800.02/1804.42 c objpscostdiving : 59.47 36 32
1800.02/1804.42 c rootsoldiving : 11.94 36 16
1800.02/1804.42 c coefdiving : 23.86 72 0
1800.02/1804.42 c pscostdiving : 29.35 72 0
1800.02/1804.42 c fracdiving : 27.04 72 0
1800.02/1804.42 c veclendiving : 22.27 72 0
1800.02/1804.42 c linesearchdiving : 46.55 72 0
1800.02/1804.42 c guideddiving : 31.77 72 1
1800.02/1804.42 c simplerounding : 0.10 2 0
1800.02/1804.42 c rounding : 11.31 14063 3
1800.02/1804.42 c shifting : 2.58 1117 1
1800.02/1804.42 c fixandinfer : 0.00 0 0
1800.02/1804.42 c intdiving : 0.00 0 0
1800.02/1804.42 c actconsdiving : 0.00 0 0
1800.02/1804.42 c octane : 0.00 0 0
1800.02/1804.42 c rens : 0.00 0 0
1800.02/1804.42 c rins : 0.00 0 0
1800.02/1804.42 c localbranching : 0.00 0 0
1800.02/1804.42 c mutation : 0.00 0 0
1800.02/1804.42 c dins : 0.00 0 0
1800.02/1804.42 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1804.42 c primal LP : 0.06 0 0 0.00 0.00
1800.02/1804.42 c dual LP : 1184.37 64801 4635430 71.53 3913.84
1800.02/1804.42 c barrier LP : 0.00 0 0 0.00 -
1800.02/1804.42 c diving/probing LP: 231.25 18204 549540 30.19 2376.39
1800.02/1804.42 c strong branching : 213.84 11625 1125850 96.85 5264.92
1800.02/1804.42 c (at root node) : - 19 3260 171.58 -
1800.02/1804.42 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1804.42 c B&B Tree :
1800.02/1804.42 c number of runs : 1
1800.02/1804.42 c nodes : 63462
1800.02/1804.42 c nodes (total) : 63462
1800.02/1804.42 c nodes left : 4493
1800.02/1804.42 c max depth : 75
1800.02/1804.42 c max depth (total): 75
1800.02/1804.42 c backtracks : 6900 (10.9%)
1800.02/1804.42 c delayed cutoffs : 13
1800.02/1804.42 c repropagations : 2724 (2633 domain reductions, 9 cutoffs)
1800.02/1804.42 c avg switch length: 3.74
1800.02/1804.42 c switching time : 10.20
1800.02/1804.42 c Solution :
1800.02/1804.42 c Solutions found : 87 (38 improvements)
1800.02/1804.42 c Primal Bound : +3.43000000000000e+02 (in run 1, after 25329 nodes, 825.84 seconds, depth 63, found by <oneopt>)
1800.02/1804.42 c Dual Bound : +2.99517936355000e+02
1800.02/1804.42 c Gap : 14.52 %
1800.02/1804.42 c Root Dual Bound : +2.77869106831343e+02
1800.02/1804.48 c Time complete: 1800.09.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869009-1245154134/watcher-1869009-1245154134 -o /tmp/evaluation-result-1869009-1245154134/solver-1869009-1245154134 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869009-1245154134.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.69 1.82 1.86 4/73 29849
/proc/meminfo: memFree=367320/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=5280 CPUtime=0
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 234 0 0 0 0 0 0 0 18 0 1 0 183011455 5406720 218 1992294400 4194304 9342243 548682068736 18446744073709551615 4669444 0 0 4096 0 0 0 0 17 0 0 0
/proc/29849/statm: 1320 222 179 1256 0 59 0
[startup+0.043123 s]
/proc/loadavg: 1.69 1.82 1.86 4/73 29849
/proc/meminfo: memFree=367320/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=12104 CPUtime=0.02
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 2015 0 0 0 2 0 0 0 18 0 1 0 183011455 12394496 1999 1992294400 4194304 9342243 548682068736 18446744073709551615 8247773 0 0 4096 0 0 0 0 17 1 0 0
/proc/29849/statm: 3026 1999 378 1256 0 1765 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12104
[startup+0.103163 s]
/proc/loadavg: 1.69 1.82 1.86 4/73 29849
/proc/meminfo: memFree=367320/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=20240 CPUtime=0.08
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 4217 0 0 0 7 1 0 0 18 0 1 0 183011455 20725760 3847 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 5060 3857 468 1256 0 3799 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20240
[startup+0.301728 s]
/proc/loadavg: 1.69 1.82 1.86 4/73 29849
/proc/meminfo: memFree=367320/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=31904 CPUtime=0.28
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 6803 0 0 0 25 3 0 0 20 0 1 0 183011455 32669696 6430 1992294400 4194304 9342243 548682068736 18446744073709551615 5399810 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 7976 6430 621 1256 0 6715 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 31904
[startup+0.702777 s]
/proc/loadavg: 1.69 1.82 1.86 4/73 29849
/proc/meminfo: memFree=367320/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=32428 CPUtime=0.68
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 7065 0 0 0 65 3 0 0 23 0 1 0 183011455 33206272 6691 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 8107 6691 639 1256 0 6846 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 32428
[startup+1.50847 s]
/proc/loadavg: 1.69 1.82 1.86 3/74 29850
/proc/meminfo: memFree=342992/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=32428 CPUtime=1.49
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 7170 0 0 0 146 3 0 0 25 0 1 0 183011455 33206272 6796 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 8107 6796 639 1256 0 6846 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32428
[startup+3.10116 s]
/proc/loadavg: 1.69 1.82 1.86 2/74 29850
/proc/meminfo: memFree=341584/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=36900 CPUtime=3.09
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 7940 0 0 0 303 6 0 0 25 0 1 0 183011455 37785600 7324 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 9225 7324 667 1256 0 7964 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36900
[startup+6.30156 s]
/proc/loadavg: 1.80 1.84 1.87 3/74 29850
/proc/meminfo: memFree=338320/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=40640 CPUtime=6.27
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 9272 0 0 0 619 8 0 0 25 0 1 0 183011455 41615360 8108 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 10160 8108 667 1256 0 8899 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 40640
[startup+12.703 s]
/proc/loadavg: 1.81 1.84 1.87 2/74 29850
/proc/meminfo: memFree=335376/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=43724 CPUtime=12.68
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 10505 0 0 0 1255 13 0 0 25 0 1 0 183011455 44773376 9147 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 10931 9147 674 1256 0 9670 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 43724
[startup+25.5014 s]
/proc/loadavg: 1.70 1.82 1.86 4/74 29850
/proc/meminfo: memFree=334800/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=44480 CPUtime=25.47
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 23792 0 0 0 2523 24 0 0 25 0 1 0 183011455 45547520 8753 1992294400 4194304 9342243 548682068736 18446744073709551615 5877415 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 11120 8755 682 1256 0 9859 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 44480
[startup+51.1011 s]
/proc/loadavg: 1.61 1.78 1.85 2/74 29850
/proc/meminfo: memFree=333840/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=41636 CPUtime=51.04
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 63534 0 0 0 5053 51 0 0 25 0 1 0 183011455 42635264 8961 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 10409 8961 686 1256 0 9148 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 41636
[startup+102.307 s]
/proc/loadavg: 1.78 1.80 1.85 2/74 29850
/proc/meminfo: memFree=334416/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=42512 CPUtime=102.23
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 185457 0 0 0 10093 130 0 0 25 0 1 0 183011455 43532288 8832 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 10628 8832 693 1256 0 9367 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 42512
[startup+162.302 s]
/proc/loadavg: 2.02 1.87 1.87 3/74 29850
/proc/meminfo: memFree=334096/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=46904 CPUtime=162.1
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 369458 0 0 0 15965 245 0 0 25 0 1 0 183011455 48029696 8968 1992294400 4194304 9342243 548682068736 18446744073709551615 7008387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 11726 8968 703 1256 0 10465 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 46904
[startup+222.302 s]
/proc/loadavg: 2.13 1.93 1.89 2/74 29850
/proc/meminfo: memFree=331984/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=47644 CPUtime=221.95
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 426715 0 0 0 21898 297 0 0 25 0 1 0 183011455 48787456 9418 1992294400 4194304 9342243 548682068736 18446744073709551615 6967275 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 11911 9418 703 1256 0 10650 0
Current children cumulated CPU time (s) 221.95
Current children cumulated vsize (KiB) 47644
[startup+282.303 s]
/proc/loadavg: 2.07 1.94 1.89 2/74 29850
/proc/meminfo: memFree=331152/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=44604 CPUtime=281.51
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 452746 0 0 0 27815 336 0 0 25 0 1 0 183011455 45674496 9642 1992294400 4194304 9342243 548682068736 18446744073709551615 5892482 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 11151 9642 703 1256 0 9890 0
Current children cumulated CPU time (s) 281.51
Current children cumulated vsize (KiB) 44604
[startup+342.303 s]
/proc/loadavg: 1.83 1.89 1.88 4/74 29850
/proc/meminfo: memFree=331344/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=44564 CPUtime=341.18
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 472534 0 0 0 33752 366 0 0 25 0 1 0 183011455 45633536 9587 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 11141 9587 703 1256 0 9880 0
Current children cumulated CPU time (s) 341.18
Current children cumulated vsize (KiB) 44564
[startup+402.303 s]
/proc/loadavg: 2.01 1.93 1.89 2/74 29850
/proc/meminfo: memFree=330640/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=45060 CPUtime=400.98
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 501088 0 0 0 39696 402 0 0 25 0 1 0 183011455 46141440 9729 1992294400 4194304 9342243 548682068736 18446744073709551615 6957666 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 11265 9729 703 1256 0 10004 0
Current children cumulated CPU time (s) 400.98
Current children cumulated vsize (KiB) 45060
[startup+462.302 s]
/proc/loadavg: 1.96 1.93 1.89 2/74 29850
/proc/meminfo: memFree=330704/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=45008 CPUtime=460.95
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 524885 0 0 0 45661 434 0 0 25 0 1 0 183011455 46088192 9714 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 11252 9714 703 1256 0 9991 0
Current children cumulated CPU time (s) 460.95
Current children cumulated vsize (KiB) 45008
[startup+522.302 s]
/proc/loadavg: 1.95 1.93 1.89 3/74 29850
/proc/meminfo: memFree=328400/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=47064 CPUtime=520.94
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 537375 0 0 0 51633 461 0 0 25 0 1 0 183011455 48193536 10267 1992294400 4194304 9342243 548682068736 18446744073709551615 6888662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 11766 10267 703 1256 0 10505 0
Current children cumulated CPU time (s) 520.94
Current children cumulated vsize (KiB) 47064
[startup+582.303 s]
/proc/loadavg: 1.99 1.95 1.90 2/74 29850
/proc/meminfo: memFree=327312/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=51796 CPUtime=580.93
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 554081 0 0 0 57606 487 0 0 25 0 1 0 183011455 53039104 10561 1992294400 4194304 9342243 548682068736 18446744073709551615 5990729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 12949 10561 703 1256 0 11688 0
Current children cumulated CPU time (s) 580.93
Current children cumulated vsize (KiB) 51796
[startup+642.314 s]
/proc/loadavg: 2.03 1.96 1.91 3/74 29850
/proc/meminfo: memFree=327952/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=48208 CPUtime=640.92
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 587750 0 0 0 63566 526 0 0 25 0 1 0 183011455 49364992 10414 1992294400 4194304 9342243 548682068736 18446744073709551615 6253246 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 12052 10414 703 1256 0 10791 0
Current children cumulated CPU time (s) 640.92
Current children cumulated vsize (KiB) 48208
[startup+702.301 s]
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 1.91 1.87 1.88 4/74 29850
/proc/meminfo: memFree=326672/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=49144 CPUtime=820.86
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 812845 0 0 0 81376 710 0 0 25 0 1 0 183011455 50323456 10683 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 12286 10683 703 1256 0 11025 0
Current children cumulated CPU time (s) 820.86
Current children cumulated vsize (KiB) 49144
[startup+882.302 s]
/proc/loadavg: 1.85 1.85 1.87 3/74 29850
/proc/meminfo: memFree=326352/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=53088 CPUtime=880.8
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 917338 0 0 0 87297 783 0 0 25 0 1 0 183011455 54362112 10814 1992294400 4194304 9342243 548682068736 18446744073709551615 6018115 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 13272 10814 703 1256 0 12011 0
Current children cumulated CPU time (s) 880.8
Current children cumulated vsize (KiB) 53088
[startup+942.303 s]
/proc/loadavg: 1.87 1.87 1.87 2/74 29850
/proc/meminfo: memFree=325904/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=48564 CPUtime=940.79
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 1076236 0 0 0 93201 878 0 0 25 0 1 0 183011455 49729536 10808 1992294400 4194304 9342243 548682068736 18446744073709551615 6890369 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 12141 10808 703 1256 0 10880 0
Current children cumulated CPU time (s) 940.79
Current children cumulated vsize (KiB) 48564
[startup+1002.3 s]
/proc/loadavg: 2.11 1.95 1.90 3/74 29850
/proc/meminfo: memFree=324432/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=52384 CPUtime=1000.65
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 1235906 0 0 0 99091 974 0 0 25 0 1 0 183011455 53641216 11250 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 13096 11250 703 1256 0 11835 0
Current children cumulated CPU time (s) 1000.65
Current children cumulated vsize (KiB) 52384
[startup+1062.3 s]
/proc/loadavg: 1.96 1.94 1.90 2/74 29850
/proc/meminfo: memFree=324176/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=52404 CPUtime=1060.51
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 1340735 0 0 0 105003 1048 0 0 25 0 1 0 183011455 53661696 11317 1992294400 4194304 9342243 548682068736 18446744073709551615 6224428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 13101 11317 703 1256 0 11840 0
Current children cumulated CPU time (s) 1060.51
Current children cumulated vsize (KiB) 52404
[startup+1122.3 s]
/proc/loadavg: 1.94 1.93 1.90 2/74 29850
/proc/meminfo: memFree=323984/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=52404 CPUtime=1120.31
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 1433523 0 0 0 110913 1118 0 0 25 0 1 0 183011455 53661696 11325 1992294400 4194304 9342243 548682068736 18446744073709551615 4265884 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 13101 11325 703 1256 0 11840 0
Current children cumulated CPU time (s) 1120.31
Current children cumulated vsize (KiB) 52404
[startup+1182.3 s]
/proc/loadavg: 1.98 1.95 1.91 4/74 29850
/proc/meminfo: memFree=323792/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=52084 CPUtime=1180.29
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 1553435 0 0 0 116832 1197 0 0 25 0 1 0 183011455 53334016 11330 1992294400 4194304 9342243 548682068736 18446744073709551615 6039516 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 13021 11330 703 1256 0 11760 0
Current children cumulated CPU time (s) 1180.29
Current children cumulated vsize (KiB) 52084
[startup+1242.31 s]
/proc/loadavg: 1.96 1.95 1.91 4/74 29850
/proc/meminfo: memFree=322640/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=54128 CPUtime=1239.99
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 1609757 0 0 0 122750 1249 0 0 25 0 1 0 183011455 55427072 11674 1992294400 4194304 9342243 548682068736 18446744073709551615 6399351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 13532 11674 703 1256 0 12271 0
Current children cumulated CPU time (s) 1239.99
Current children cumulated vsize (KiB) 54128
[startup+1302.3 s]
/proc/loadavg: 2.27 2.03 1.94 3/74 29850
/proc/meminfo: memFree=322384/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=52976 CPUtime=1299.97
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 1687924 0 0 0 128683 1314 0 0 25 0 1 0 183011455 54247424 11736 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 13244 11736 703 1256 0 11983 0
Current children cumulated CPU time (s) 1299.97
Current children cumulated vsize (KiB) 52976
[startup+1362.31 s]
/proc/loadavg: 2.06 2.02 1.94 3/74 29850
/proc/meminfo: memFree=321936/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=54136 CPUtime=1359.81
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 1737387 0 0 0 134616 1365 0 0 25 0 1 0 183011455 55435264 11776 1992294400 4194304 9342243 548682068736 18446744073709551615 6960738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 13534 11777 703 1256 0 12273 0
Current children cumulated CPU time (s) 1359.81
Current children cumulated vsize (KiB) 54136
[startup+1422.32 s]
/proc/loadavg: 1.99 2.01 1.94 3/74 29850
/proc/meminfo: memFree=318928/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=56492 CPUtime=1419.8
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 1757593 0 0 0 140579 1401 0 0 25 0 1 0 183011455 57847808 12597 1992294400 4194304 9342243 548682068736 18446744073709551615 6959725 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 14123 12597 703 1256 0 12862 0
Current children cumulated CPU time (s) 1419.8
Current children cumulated vsize (KiB) 56492
[startup+1482.3 s]
/proc/loadavg: 1.89 1.98 1.93 3/74 29850
/proc/meminfo: memFree=318864/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=56496 CPUtime=1479.76
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 1775760 0 0 0 146541 1435 0 0 25 0 1 0 183011455 57851904 12605 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 14124 12605 703 1256 0 12863 0
Current children cumulated CPU time (s) 1479.76
Current children cumulated vsize (KiB) 56496
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.94 2/74 29850
/proc/meminfo: memFree=317712/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=57804 CPUtime=1539.47
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 1797669 0 0 0 152476 1471 0 0 25 0 1 0 183011455 59191296 12884 1992294400 4194304 9342243 548682068736 18446744073709551615 6939001 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 14451 12884 703 1256 0 13190 0
Current children cumulated CPU time (s) 1539.47
Current children cumulated vsize (KiB) 57804
[startup+1602.3 s]
/proc/loadavg: 1.74 1.93 1.91 2/74 29850
/proc/meminfo: memFree=317200/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=57824 CPUtime=1599.03
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 1801526 0 0 0 158404 1499 0 0 25 0 1 0 183011455 59211776 12995 1992294400 4194304 9342243 548682068736 18446744073709551615 6199334 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 14456 12995 703 1256 0 13195 0
Current children cumulated CPU time (s) 1599.03
Current children cumulated vsize (KiB) 57824
[startup+1662.3 s]
/proc/loadavg: 2.06 1.99 1.93 3/74 29850
/proc/meminfo: memFree=317264/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=57232 CPUtime=1658.75
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 1831721 0 0 0 164337 1538 0 0 25 0 1 0 183011455 58605568 12945 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 14308 12945 703 1256 0 13047 0
Current children cumulated CPU time (s) 1658.75
Current children cumulated vsize (KiB) 57232
[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.93 4/74 29850
/proc/meminfo: memFree=317328/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=58028 CPUtime=1718.32
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 1883498 0 0 0 170242 1590 0 0 25 0 1 0 183011455 59420672 12960 1992294400 4194304 9342243 548682068736 18446744073709551615 6240157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 14507 12960 703 1256 0 13246 0
Current children cumulated CPU time (s) 1718.32
Current children cumulated vsize (KiB) 58028
[startup+1782.3 s]
/proc/loadavg: 1.67 1.90 1.90 2/74 29850
/proc/meminfo: memFree=317264/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=58084 CPUtime=1778.11
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 1927624 0 0 0 176169 1642 0 0 25 0 1 0 183011455 59478016 12977 1992294400 4194304 9342243 548682068736 18446744073709551615 6952872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29849/statm: 14521 12977 703 1256 0 13260 0
Current children cumulated CPU time (s) 1778.11
Current children cumulated vsize (KiB) 58084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.4 s]
/proc/loadavg: 1.75 1.89 1.90 2/74 29850
/proc/meminfo: memFree=317392/2055920 swapFree=4179968/4192956
[pid=29849] ppid=29847 vsize=58060 CPUtime=1800.02
/proc/29849/stat : 29849 (pbscip.linux.x8) R 29847 29849 29383 0 -1 4194304 1949713 0 0 0 178341 1661 0 0 25 0 1 0 183011455 59453440 12941 1992294400 4194304 9342243 548682068736 18446744073709551615 6213716 0 0 4096 16384 0 0 0 17 0 0 0
/proc/29849/statm: 14515 12941 703 1256 0 13254 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 58060
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): 1804.48
CPU time (s): 1800.1
CPU user time (s): 1783.46
CPU system time (s): 16.6395
CPU usage (%): 99.7571
Max. virtual memory (cumulated for all children) (KiB): 62936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.46
system time used= 16.6395
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1949717
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 14368
runsolver used 2.55761 second user time and 6.09507 second system time
The end