0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664244-1276352946.opb>
0.00/0.03 c original problem has 1989 variables (1989 bin, 0 int, 0 impl, 0 cont) and 97 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.05 c presolving:
0.00/0.07 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 96 upgd conss, 0 impls, 95 clqs
2.39/2.47 c (2.4s) probing: 814/1989 (40.9%) - 0 fixings, 0 aggregations, 529 implications, 0 bound changes
2.39/2.47 c (2.4s) probing aborted: 100/100 successive totally useless probings
2.39/2.47 c presolving (2 rounds):
2.39/2.47 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.39/2.47 c 1058 implications, 95 cliques
2.39/2.47 c presolved problem has 1989 variables (1989 bin, 0 int, 0 impl, 0 cont) and 97 constraints
2.39/2.47 c 1 constraints of type <knapsack>
2.39/2.47 c 95 constraints of type <setppc>
2.39/2.47 c 1 constraints of type <linear>
2.39/2.47 c transformed objective value is always integral (scale: 1)
2.39/2.47 c Presolving Time: 2.40
2.39/2.47 c - non default parameters ----------------------------------------------------------------------
2.39/2.47 c # SCIP version 1.2.1.2
2.39/2.47 c
2.39/2.47 c # frequency for displaying node information lines
2.39/2.47 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.47 c display/freq = 10000
2.39/2.47 c
2.39/2.47 c # maximal time in seconds to run
2.39/2.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.47 c limits/time = 1799.98
2.39/2.47 c
2.39/2.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.47 c limits/memory = 1620
2.39/2.47 c
2.39/2.47 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.39/2.47 c # [type: int, range: [-1,2147483647], default: 1]
2.39/2.47 c lp/solvefreq = -1
2.39/2.47 c
2.39/2.47 c # should presolving try to simplify inequalities
2.39/2.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.47 c constraints/linear/simplifyinequalities = TRUE
2.39/2.47 c
2.39/2.47 c # should presolving try to simplify knapsacks
2.39/2.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.47 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.47 c
2.39/2.47 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.39/2.47 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.47 c separating/rapidlearning/freq = 0
2.39/2.47 c
2.39/2.47 c -----------------------------------------------------------------------------------------------
2.39/2.47 c start solving
2.39/2.47 c
2.39/2.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.48 c 2.4s| 1 | 2 | 0 | - |5767k| 0 | - |1989 | 97 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
12.89/12.90 c 12.7s| 10000 | 9837 | 0 | 0.0 |9833k|1494 | - |1989 | 434 | 0 | 0 | 0 | 347 | 0 | 4.000000e+01 | -- | Inf
23.59/23.67 c 23.2s| 20000 | 19628 | 0 | 0.0 | 14M|1494 | - |1989 | 876 | 0 | 0 | 0 | 827 | 0 | 4.900000e+01 | -- | Inf
35.58/35.63 c 35.0s| 30000 | 29375 | 0 | 0.0 | 18M|1494 | - |1989 |1133 | 0 | 0 | 0 |1310 | 0 | 6.100000e+01 | -- | Inf
47.08/47.17 c 46.3s| 40000 | 39129 | 0 | 0.0 | 22M|1494 | - |1989 |1328 | 0 | 0 | 0 |1870 | 0 | 6.900000e+01 | -- | Inf
58.88/58.95 c 57.9s| 50000 | 48793 | 0 | 0.0 | 27M|1494 | - |1989 |1546 | 0 | 0 | 0 |2634 | 0 | 7.800000e+01 | -- | Inf
70.37/70.44 c 69.2s| 60000 | 58487 | 0 | 0.0 | 31M|1494 | - |1989 |1680 | 0 | 0 | 0 |3384 | 0 | 8.500000e+01 | -- | Inf
81.97/82.00 c 80.5s| 70000 | 68160 | 0 | 0.0 | 36M|1494 | - |1989 |1768 | 0 | 0 | 0 |4205 | 0 | 9.100000e+01 | -- | Inf
93.37/93.46 c 91.8s| 80000 | 77857 | 0 | 0.0 | 40M|1494 | - |1989 |1790 | 0 | 0 | 0 |4995 | 0 | 9.800000e+01 | -- | Inf
105.06/105.14 c 103s| 90000 | 87531 | 0 | 0.0 | 45M|1494 | - |1989 |1636 | 0 | 0 | 0 |5835 | 0 | 1.040000e+02 | -- | Inf
116.46/116.60 c 114s|100000 | 97198 | 0 | 0.0 | 49M|1494 | - |1989 |1588 | 0 | 0 | 0 |6711 | 0 | 1.070000e+02 | -- | Inf
127.85/127.96 c 126s|110000 |106844 | 0 | 0.0 | 54M|1494 | - |1989 |1574 | 0 | 0 | 0 |7624 | 0 | 1.110000e+02 | -- | Inf
139.35/139.42 c 137s|120000 |116539 | 0 | 0.0 | 58M|1494 | - |1989 |1399 | 0 | 0 | 0 |8496 | 0 | 1.150000e+02 | -- | Inf
150.74/150.85 c 148s|130000 |126218 | 0 | 0.0 | 63M|1494 | - |1989 |1374 | 0 | 0 | 0 |9375 | 0 | 1.190000e+02 | -- | Inf
162.24/162.36 c 159s|140000 |135909 | 0 | 0.0 | 67M|1494 | - |1989 |1214 | 0 | 0 | 0 | 10k| 0 | 1.220000e+02 | -- | Inf
173.65/173.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.65/173.71 c 171s|150000 |145590 | 0 | 0.0 | 71M|1494 | - |1989 |1061 | 0 | 0 | 0 | 11k| 0 | 1.280000e+02 | -- | Inf
184.84/184.93 c 182s|160000 |155279 | 0 | 0.0 | 76M|1494 | - |1989 |1116 | 0 | 0 | 0 | 12k| 0 | 1.290000e+02 | -- | Inf
196.04/196.16 c 193s|170000 |164973 | 0 | 0.0 | 81M|1494 | - |1989 |1039 | 0 | 0 | 0 | 12k| 0 | 1.330000e+02 | -- | Inf
207.33/207.47 c 204s|180000 |174655 | 0 | 0.0 | 85M|1494 | - |1989 |1102 | 0 | 0 | 0 | 13k| 0 | 1.350000e+02 | -- | Inf
218.52/218.67 c 215s|190000 |184362 | 0 | 0.0 | 89M|1494 | - |1989 |1052 | 0 | 0 | 0 | 14k| 0 | 1.360000e+02 | -- | Inf
229.93/230.09 c 226s|200000 |194031 | 0 | 0.0 | 94M|1494 | - |1989 |1088 | 0 | 0 | 0 | 15k| 0 | 1.380000e+02 | -- | Inf
241.83/241.97 c 238s|210000 |203657 | 0 | 0.0 | 99M|1494 | - |1989 |1079 | 0 | 0 | 0 | 16k| 0 | 1.400000e+02 | -- | Inf
252.92/253.02 c 248s|220000 |213384 | 0 | 0.0 | 103M|1494 | - |1989 |1080 | 0 | 0 | 0 | 17k| 0 | 1.410000e+02 | -- | Inf
264.11/264.23 c 259s|230000 |223068 | 0 | 0.0 | 107M|1494 | - |1989 | 966 | 0 | 0 | 0 | 18k| 0 | 1.440000e+02 | -- | Inf
275.61/275.74 c 271s|240000 |232710 | 0 | 0.0 | 112M|1494 | - |1989 |1043 | 0 | 0 | 0 | 19k| 0 | 1.460000e+02 | -- | Inf
286.71/286.86 c 282s|250000 |242429 | 0 | 0.0 | 116M|1494 | - |1989 |1006 | 0 | 0 | 0 | 19k| 0 | 1.470000e+02 | -- | Inf
298.10/298.23 c 293s|260000 |252106 | 0 | 0.0 | 121M|1494 | - |1989 |1011 | 0 | 0 | 0 | 20k| 0 | 1.480000e+02 | -- | Inf
309.10/309.27 c 304s|270000 |261814 | 0 | 0.0 | 125M|1494 | - |1989 | 988 | 0 | 0 | 0 | 21k| 0 | 1.500000e+02 | -- | Inf
320.01/320.15 c 314s|280000 |271526 | 0 | 0.0 | 129M|1494 | - |1989 |1031 | 0 | 0 | 0 | 22k| 0 | 1.510000e+02 | -- | Inf
331.10/331.24 c 325s|290000 |281230 | 0 | 0.0 | 134M|1494 | - |1989 |1071 | 0 | 0 | 0 | 23k| 0 | 1.530000e+02 | -- | Inf
342.30/342.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.30/342.42 c 336s|300000 |290919 | 0 | 0.0 | 139M|1494 | - |1989 |1154 | 0 | 0 | 0 | 23k| 0 | 1.540000e+02 | -- | Inf
353.89/354.08 c 348s|310000 |300547 | 0 | 0.0 | 143M|1494 | - |1989 |1136 | 0 | 0 | 0 | 25k| 0 | 1.550000e+02 | -- | Inf
364.88/365.08 c 358s|320000 |310249 | 0 | 0.0 | 148M|1494 | - |1989 |1097 | 0 | 0 | 0 | 25k| 0 | 1.570000e+02 | -- | Inf
376.28/376.42 c 370s|330000 |319888 | 0 | 0.0 | 153M|1494 | - |1989 |1278 | 0 | 0 | 0 | 26k| 0 | 1.580000e+02 | -- | Inf
386.88/387.03 c 380s|340000 |329630 | 0 | 0.0 | 157M|1494 | - |1989 |1175 | 0 | 0 | 0 | 27k| 0 | 1.600000e+02 | -- | Inf
397.88/398.00 c 391s|350000 |339355 | 0 | 0.0 | 161M|1494 | - |1989 |1131 | 0 | 0 | 0 | 28k| 0 | 1.610000e+02 | -- | Inf
409.38/409.53 c 402s|360000 |349014 | 0 | 0.0 | 166M|1494 | - |1989 |1031 | 0 | 0 | 0 | 29k| 0 | 1.620000e+02 | -- | Inf
420.37/420.55 c 413s|370000 |358696 | 0 | 0.0 | 170M|1494 | - |1989 |1169 | 0 | 0 | 0 | 30k| 0 | 1.640000e+02 | -- | Inf
431.56/431.71 c 424s|380000 |368384 | 0 | 0.0 | 175M|1494 | - |1989 |1060 | 0 | 0 | 0 | 30k| 0 | 1.650000e+02 | -- | Inf
442.86/443.02 c 435s|390000 |378036 | 0 | 0.0 | 179M|1494 | - |1989 |1085 | 0 | 0 | 0 | 31k| 0 | 1.670000e+02 | -- | Inf
454.46/454.64 c 446s|400000 |387678 | 0 | 0.0 | 184M|1494 | - |1989 |1086 | 0 | 0 | 0 | 32k| 0 | 1.690000e+02 | -- | Inf
465.76/465.94 c 457s|410000 |397343 | 0 | 0.0 | 189M|1494 | - |1989 |1197 | 0 | 0 | 0 | 33k| 0 | 1.700000e+02 | -- | Inf
477.56/477.77 c 469s|420000 |406933 | 0 | 0.0 | 194M|1494 | - |1989 |1361 | 0 | 0 | 0 | 34k| 0 | 1.720000e+02 | -- | Inf
489.16/489.37 c 481s|430000 |416576 | 0 | 0.0 | 198M|1494 | - |1989 |1233 | 0 | 0 | 0 | 35k| 0 | 1.730000e+02 | -- | Inf
500.65/500.87 c 492s|440000 |426184 | 0 | 0.0 | 203M|1494 | - |1989 |1212 | 0 | 0 | 0 | 36k| 0 | 1.740000e+02 | -- | Inf
511.85/512.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.85/512.06 c 503s|450000 |435839 | 0 | 0.0 | 207M|1494 | - |1989 |1179 | 0 | 0 | 0 | 37k| 0 | 1.750000e+02 | -- | Inf
523.35/523.57 c 514s|460000 |445505 | 0 | 0.0 | 212M|1494 | - |1989 |1116 | 0 | 0 | 0 | 38k| 0 | 1.760000e+02 | -- | Inf
535.34/535.51 c 526s|470000 |455112 | 0 | 0.0 | 217M|1494 | - |1989 |1107 | 0 | 0 | 0 | 39k| 0 | 1.780000e+02 | -- | Inf
546.93/547.17 c 537s|480000 |464729 | 0 | 0.0 | 221M|1494 | - |1989 |1256 | 0 | 0 | 0 | 40k| 0 | 1.790000e+02 | -- | Inf
558.54/558.77 c 549s|490000 |474336 | 0 | 0.0 | 226M|1494 | - |1989 |1047 | 0 | 0 | 0 | 41k| 0 | 1.800000e+02 | -- | Inf
570.63/570.80 c 560s|500000 |483968 | 0 | 0.0 | 231M|1494 | - |1989 | 999 | 0 | 0 | 0 | 42k| 0 | 1.810000e+02 | -- | Inf
581.63/581.82 c 571s|510000 |493691 | 0 | 0.0 | 235M|1494 | - |1989 | 933 | 0 | 0 | 0 | 43k| 0 | 1.820000e+02 | -- | Inf
593.02/593.20 c 582s|520000 |503324 | 0 | 0.0 | 240M|1494 | - |1989 |1169 | 0 | 0 | 0 | 44k| 0 | 1.830000e+02 | -- | Inf
604.32/604.58 c 594s|530000 |513015 | 0 | 0.0 | 244M|1494 | - |1989 |1090 | 0 | 0 | 0 | 45k| 0 | 1.840000e+02 | -- | Inf
615.91/616.19 c 605s|540000 |522683 | 0 | 0.0 | 249M|1494 | - |1989 |1087 | 0 | 0 | 0 | 45k| 0 | 1.840000e+02 | -- | Inf
627.81/628.01 c 617s|550000 |532293 | 0 | 0.0 | 254M|1494 | - |1989 | 983 | 0 | 0 | 0 | 47k| 0 | 1.850000e+02 | -- | Inf
639.40/639.62 c 628s|560000 |541954 | 0 | 0.0 | 259M|1494 | - |1989 |1083 | 0 | 0 | 0 | 48k| 0 | 1.850000e+02 | -- | Inf
652.61/652.85 c 641s|570000 |551613 | 0 | 0.0 | 263M|1494 | - |1989 | 905 | 0 | 0 | 0 | 48k| 0 | 1.860000e+02 | -- | Inf
663.89/664.15 c 652s|580000 |561256 | 0 | 0.0 | 268M|1494 | - |1989 |1126 | 0 | 0 | 0 | 50k| 0 | 1.860000e+02 | -- | Inf
675.59/675.86 c 664s|590000 |570959 | 0 | 0.0 | 272M|1494 | - |1989 | 814 | 0 | 0 | 0 | 50k| 0 | 1.870000e+02 | -- | Inf
686.89/687.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
686.89/687.15 c 675s|600000 |580637 | 0 | 0.0 | 277M|1494 | - |1989 | 901 | 0 | 0 | 0 | 51k| 0 | 1.880000e+02 | -- | Inf
698.78/699.03 c 686s|610000 |590272 | 0 | 0.0 | 282M|1494 | - |1989 | 999 | 0 | 0 | 0 | 52k| 0 | 1.890000e+02 | -- | Inf
709.98/710.30 c 697s|620000 |599978 | 0 | 0.0 | 286M|1494 | - |1989 |1005 | 0 | 0 | 0 | 53k| 0 | 1.890000e+02 | -- | Inf
721.17/721.50 c 708s|630000 |609660 | 0 | 0.0 | 291M|1494 | - |1989 |1245 | 0 | 0 | 0 | 54k| 0 | 1.890000e+02 | -- | Inf
733.17/733.41 c 720s|640000 |619310 | 0 | 0.0 | 295M|1494 | - |1989 |1045 | 0 | 0 | 0 | 55k| 0 | 1.900000e+02 | -- | Inf
744.37/744.68 c 731s|650000 |629000 | 0 | 0.0 | 300M|1494 | - |1989 |1046 | 0 | 0 | 0 | 56k| 0 | 1.910000e+02 | -- | Inf
756.57/756.87 c 743s|660000 |638592 | 0 | 0.0 | 305M|1494 | - |1989 |1150 | 0 | 0 | 0 | 57k| 0 | 1.920000e+02 | -- | Inf
767.75/768.02 c 754s|670000 |648284 | 0 | 0.0 | 309M|1494 | - |1989 |1195 | 0 | 0 | 0 | 58k| 0 | 1.920000e+02 | -- | Inf
779.26/779.59 c 766s|680000 |657922 | 0 | 0.0 | 314M|1494 | - |1989 |1211 | 0 | 0 | 0 | 58k| 0 | 1.930000e+02 | -- | Inf
791.05/791.31 c 777s|690000 |667594 | 0 | 0.0 | 318M|1494 | - |1989 |1088 | 0 | 0 | 0 | 59k| 0 | 1.930000e+02 | -- | Inf
802.15/802.43 c 788s|700000 |677271 | 0 | 0.0 | 323M|1494 | - |1989 |1099 | 0 | 0 | 0 | 60k| 0 | 1.940000e+02 | -- | Inf
813.44/813.74 c 799s|710000 |686931 | 0 | 0.0 | 327M|1494 | - |1989 | 872 | 0 | 0 | 0 | 61k| 0 | 1.950000e+02 | -- | Inf
824.14/824.43 c 810s|720000 |696639 | 0 | 0.0 | 332M|1494 | - |1989 |1108 | 0 | 0 | 0 | 62k| 0 | 1.950000e+02 | -- | Inf
836.33/836.69 c 822s|730000 |706282 | 0 | 0.0 | 336M|1494 | - |1989 | 919 | 0 | 0 | 0 | 63k| 0 | 1.970000e+02 | -- | Inf
847.53/847.87 c 833s|740000 |716026 | 0 | 0.0 | 340M|1494 | - |1989 | 791 | 0 | 0 | 0 | 64k| 0 | 1.970000e+02 | -- | Inf
858.93/859.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
858.93/859.24 c 844s|750000 |725692 | 0 | 0.0 | 345M|1494 | - |1989 |1119 | 0 | 0 | 0 | 65k| 0 | 1.970000e+02 | -- | Inf
871.22/871.50 c 856s|760000 |735370 | 0 | 0.0 | 349M|1494 | - |1989 | 578 | 0 | 0 | 0 | 65k| 0 | 1.980000e+02 | -- | Inf
882.33/882.62 c 867s|770000 |745129 | 0 | 0.0 | 354M|1494 | - |1989 | 828 | 0 | 0 | 0 | 66k| 0 | 1.980000e+02 | -- | Inf
893.42/893.74 c 878s|780000 |754817 | 0 | 0.0 | 359M|1494 | - |1989 |1027 | 0 | 0 | 0 | 67k| 0 | 1.980000e+02 | -- | Inf
905.51/905.86 c 890s|790000 |764419 | 0 | 0.0 | 363M|1494 | - |1989 | 759 | 0 | 0 | 0 | 68k| 0 | 1.990000e+02 | -- | Inf
917.71/918.01 c 902s|800000 |774110 | 0 | 0.0 | 367M|1494 | - |1989 | 636 | 0 | 0 | 0 | 69k| 0 | 1.990000e+02 | -- | Inf
929.40/929.79 c 913s|810000 |783740 | 0 | 0.0 | 372M|1494 | - |1989 | 954 | 0 | 0 | 0 | 70k| 0 | 1.990000e+02 | -- | Inf
941.70/942.10 c 925s|820000 |793422 | 0 | 0.0 | 377M|1494 | - |1989 | 671 | 0 | 0 | 0 | 70k| 0 | 2.000000e+02 | -- | Inf
953.41/953.72 c 937s|830000 |803083 | 0 | 0.0 | 381M|1494 | - |1989 | 719 | 0 | 0 | 0 | 71k| 0 | 2.010000e+02 | -- | Inf
965.10/965.45 c 948s|840000 |812762 | 0 | 0.0 | 386M|1494 | - |1989 | 925 | 0 | 0 | 0 | 72k| 0 | 2.010000e+02 | -- | Inf
976.69/977.01 c 960s|850000 |822455 | 0 | 0.0 | 390M|1494 | - |1989 | 802 | 0 | 0 | 0 | 73k| 0 | 2.020000e+02 | -- | Inf
989.49/989.86 c 972s|860000 |832202 | 0 | 0.0 | 395M|1494 | - |1989 | 667 | 0 | 0 | 0 | 74k| 0 | 2.020000e+02 | -- | Inf
1001.39/1001.76 c 984s|870000 |841795 | 0 | 0.0 | 400M|1494 | - |1989 |1126 | 0 | 0 | 0 | 75k| 0 | 2.020000e+02 | -- | Inf
1013.28/1013.67 c 996s|880000 |851507 | 0 | 0.0 | 404M|1494 | - |1989 | 672 | 0 | 0 | 0 | 75k| 0 | 2.030000e+02 | -- | Inf
1025.17/1025.51 c 1007s|890000 |861153 | 0 | 0.0 | 409M|1494 | - |1989 |1031 | 0 | 0 | 0 | 76k| 0 | 2.030000e+02 | -- | Inf
1036.88/1037.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.88/1037.21 c 1019s|900000 |870814 | 0 | 0.0 | 413M|1494 | - |1989 | 773 | 0 | 0 | 0 | 77k| 0 | 2.040000e+02 | -- | Inf
1048.56/1048.97 c 1030s|910000 |880543 | 0 | 0.0 | 418M|1494 | - |1989 | 784 | 0 | 0 | 0 | 78k| 0 | 2.040000e+02 | -- | Inf
1059.97/1060.37 c 1041s|920000 |890228 | 0 | 0.0 | 423M|1494 | - |1989 | 753 | 0 | 0 | 0 | 79k| 0 | 2.050000e+02 | -- | Inf
1071.76/1072.17 c 1053s|930000 |899930 | 0 | 0.0 | 427M|1494 | - |1989 | 859 | 0 | 0 | 0 | 79k| 0 | 2.050000e+02 | -- | Inf
1083.26/1083.66 c 1064s|940000 |909579 | 0 | 0.0 | 432M|1494 | - |1989 | 868 | 0 | 0 | 0 | 80k| 0 | 2.060000e+02 | -- | Inf
1095.16/1095.58 c 1076s|950000 |919305 | 0 | 0.0 | 436M|1494 | - |1989 | 667 | 0 | 0 | 0 | 81k| 0 | 2.060000e+02 | -- | Inf
1106.85/1107.22 c 1087s|960000 |928959 | 0 | 0.0 | 441M|1494 | - |1989 | 995 | 0 | 0 | 0 | 82k| 0 | 2.060000e+02 | -- | Inf
1118.35/1118.77 c 1099s|970000 |938627 | 0 | 0.0 | 446M|1494 | - |1989 | 890 | 0 | 0 | 0 | 83k| 0 | 2.070000e+02 | -- | Inf
1129.94/1130.34 c 1110s|980000 |948405 | 0 | 0.0 | 450M|1494 | - |1989 | 669 | 0 | 0 | 0 | 84k| 0 | 2.070000e+02 | -- | Inf
1141.14/1141.54 c 1121s|990000 |958099 | 0 | 0.0 | 455M|1494 | - |1989 | 978 | 0 | 0 | 0 | 85k| 0 | 2.070000e+02 | -- | Inf
1152.83/1153.21 c 1133s| 1000k|967754 | 0 | 0.0 | 460M|1494 | - |1989 | 822 | 0 | 0 | 0 | 85k| 0 | 2.080000e+02 | -- | Inf
1164.62/1165.04 c 1144s| 1010k|977502 | 0 | 0.0 | 464M|1494 | - |1989 | 800 | 0 | 0 | 0 | 86k| 0 | 2.080000e+02 | -- | Inf
1176.03/1176.45 c 1155s| 1020k|987136 | 0 | 0.0 | 469M|1494 | - |1989 | 987 | 0 | 0 | 0 | 87k| 0 | 2.090000e+02 | -- | Inf
1188.32/1188.74 c 1167s| 1030k|996837 | 0 | 0.0 | 473M|1494 | - |1989 | 668 | 0 | 0 | 0 | 88k| 0 | 2.090000e+02 | -- | Inf
1199.92/1200.34 c 1179s| 1040k| 1006k| 0 | 0.0 | 478M|1494 | - |1989 |1006 | 0 | 0 | 0 | 89k| 0 | 2.090000e+02 | -- | Inf
1211.42/1211.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.42/1211.85 c 1190s| 1050k| 1016k| 0 | 0.0 | 483M|1494 | - |1989 | 967 | 0 | 0 | 0 | 90k| 0 | 2.100000e+02 | -- | Inf
1223.41/1223.89 c 1202s| 1060k| 1025k| 0 | 0.0 | 487M|1494 | - |1989 | 631 | 0 | 0 | 0 | 91k| 0 | 2.100000e+02 | -- | Inf
1235.71/1236.15 c 1214s| 1070k| 1035k| 0 | 0.0 | 492M|1494 | - |1989 | 942 | 0 | 0 | 0 | 92k| 0 | 2.100000e+02 | -- | Inf
1246.70/1247.13 c 1225s| 1080k| 1045k| 0 | 0.0 | 497M|1494 | - |1989 |1137 | 0 | 0 | 0 | 92k| 0 | 2.100000e+02 | -- | Inf
1258.10/1258.59 c 1236s| 1090k| 1054k| 0 | 0.0 | 501M|1494 | - |1989 |1083 | 0 | 0 | 0 | 93k| 0 | 2.110000e+02 | -- | Inf
1269.89/1270.33 c 1248s| 1100k| 1064k| 0 | 0.0 | 505M|1494 | - |1989 | 854 | 0 | 0 | 0 | 94k| 0 | 2.110000e+02 | -- | Inf
1281.19/1281.67 c 1259s| 1110k| 1074k| 0 | 0.0 | 510M|1494 | - |1989 | 770 | 0 | 0 | 0 | 95k| 0 | 2.110000e+02 | -- | Inf
1292.89/1293.30 c 1270s| 1120k| 1083k| 0 | 0.0 | 515M|1494 | - |1989 |1097 | 0 | 0 | 0 | 96k| 0 | 2.110000e+02 | -- | Inf
1304.38/1304.84 c 1281s| 1130k| 1093k| 0 | 0.0 | 519M|1494 | - |1989 | 869 | 0 | 0 | 0 | 97k| 0 | 2.120000e+02 | -- | Inf
1316.58/1317.03 c 1293s| 1140k| 1103k| 0 | 0.0 | 524M|1494 | - |1989 | 683 | 0 | 0 | 0 | 97k| 0 | 2.120000e+02 | -- | Inf
1327.78/1328.21 c 1304s| 1150k| 1112k| 0 | 0.0 | 528M|1494 | - |1989 | 957 | 0 | 0 | 0 | 98k| 0 | 2.120000e+02 | -- | Inf
1339.78/1340.25 c 1316s| 1160k| 1122k| 0 | 0.0 | 533M|1494 | - |1989 | 658 | 0 | 0 | 0 | 99k| 0 | 2.130000e+02 | -- | Inf
1351.67/1352.11 c 1328s| 1170k| 1132k| 0 | 0.0 | 538M|1494 | - |1989 | 971 | 0 | 0 | 0 | 100k| 0 | 2.130000e+02 | -- | Inf
1362.87/1363.34 c 1339s| 1180k| 1141k| 0 | 0.0 | 542M|1494 | - |1989 |1204 | 0 | 0 | 0 | 101k| 0 | 2.130000e+02 | -- | Inf
1374.26/1374.79 c 1350s| 1190k| 1151k| 0 | 0.0 | 547M|1494 | - |1989 | 807 | 0 | 0 | 0 | 102k| 0 | 2.140000e+02 | -- | Inf
1386.26/1386.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1386.26/1386.77 c 1362s| 1200k| 1161k| 0 | 0.0 | 552M|1494 | - |1989 | 814 | 0 | 0 | 0 | 102k| 0 | 2.140000e+02 | -- | Inf
1397.26/1397.75 c 1373s| 1210k| 1170k| 0 | 0.0 | 556M|1494 | - |1989 |1074 | 0 | 0 | 0 | 103k| 0 | 2.140000e+02 | -- | Inf
1408.95/1409.47 c 1384s| 1220k| 1180k| 0 | 0.0 | 561M|1494 | - |1989 | 724 | 0 | 0 | 0 | 104k| 0 | 2.150000e+02 | -- | Inf
1420.85/1421.37 c 1396s| 1230k| 1190k| 0 | 0.0 | 565M|1494 | - |1989 | 708 | 0 | 0 | 0 | 105k| 0 | 2.150000e+02 | -- | Inf
1432.55/1433.02 c 1407s| 1240k| 1200k| 0 | 0.0 | 570M|1494 | - |1989 | 958 | 0 | 0 | 0 | 106k| 0 | 2.150000e+02 | -- | Inf
1444.05/1444.56 c 1419s| 1250k| 1209k| 0 | 0.0 | 575M|1494 | - |1989 | 740 | 0 | 0 | 0 | 107k| 0 | 2.160000e+02 | -- | Inf
1456.74/1457.26 c 1431s| 1260k| 1219k| 0 | 0.0 | 580M|1494 | - |1989 | 743 | 0 | 0 | 0 | 108k| 0 | 2.160000e+02 | -- | Inf
1468.54/1469.07 c 1443s| 1270k| 1229k| 0 | 0.0 | 584M|1494 | - |1989 | 878 | 0 | 0 | 0 | 108k| 0 | 2.160000e+02 | -- | Inf
1480.14/1480.70 c 1454s| 1280k| 1238k| 0 | 0.0 | 589M|1494 | - |1989 |1234 | 0 | 0 | 0 | 109k| 0 | 2.160000e+02 | -- | Inf
1492.43/1492.90 c 1466s| 1290k| 1248k| 0 | 0.0 | 594M|1494 | - |1989 | 807 | 0 | 0 | 0 | 110k| 0 | 2.170000e+02 | -- | Inf
1504.13/1504.66 c 1478s| 1300k| 1258k| 0 | 0.0 | 598M|1494 | - |1989 | 858 | 0 | 0 | 0 | 111k| 0 | 2.170000e+02 | -- | Inf
1515.12/1515.66 c 1489s| 1310k| 1267k| 0 | 0.0 | 603M|1494 | - |1989 |1175 | 0 | 0 | 0 | 112k| 0 | 2.170000e+02 | -- | Inf
1526.52/1527.08 c 1500s| 1320k| 1277k| 0 | 0.0 | 607M|1494 | - |1989 |1142 | 0 | 0 | 0 | 113k| 0 | 2.180000e+02 | -- | Inf
1538.82/1539.33 c 1512s| 1330k| 1287k| 0 | 0.0 | 612M|1494 | - |1989 | 688 | 0 | 0 | 0 | 113k| 0 | 2.180000e+02 | -- | Inf
1550.91/1551.48 c 1524s| 1340k| 1296k| 0 | 0.0 | 616M|1494 | - |1989 | 885 | 0 | 0 | 0 | 114k| 0 | 2.180000e+02 | -- | Inf
1562.52/1563.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1562.52/1563.04 c 1535s| 1350k| 1306k| 0 | 0.0 | 621M|1494 | - |1989 |1182 | 0 | 0 | 0 | 115k| 0 | 2.180000e+02 | -- | Inf
1574.01/1574.58 c 1546s| 1360k| 1316k| 0 | 0.0 | 626M|1494 | - |1989 |1296 | 0 | 0 | 0 | 116k| 0 | 2.190000e+02 | -- | Inf
1585.50/1586.03 c 1558s| 1370k| 1325k| 0 | 0.0 | 630M|1494 | - |1989 | 823 | 0 | 0 | 0 | 117k| 0 | 2.190000e+02 | -- | Inf
1597.11/1597.66 c 1569s| 1380k| 1335k| 0 | 0.0 | 635M|1494 | - |1989 | 894 | 0 | 0 | 0 | 118k| 0 | 2.190000e+02 | -- | Inf
1608.80/1609.35 c 1581s| 1390k| 1345k| 0 | 0.0 | 640M|1494 | - |1989 |1287 | 0 | 0 | 0 | 119k| 0 | 2.190000e+02 | -- | Inf
1620.40/1620.95 c 1592s| 1400k| 1354k| 0 | 0.0 | 644M|1494 | - |1989 |1076 | 0 | 0 | 0 | 120k| 0 | 2.200000e+02 | -- | Inf
1631.59/1632.13 c 1603s| 1410k| 1364k| 0 | 0.0 | 648M|1494 | - |1989 | 727 | 0 | 0 | 0 | 120k| 0 | 2.200000e+02 | -- | Inf
1642.39/1642.96 c 1614s| 1420k| 1374k| 0 | 0.0 | 653M|1494 | - |1989 | 940 | 0 | 0 | 0 | 121k| 0 | 2.200000e+02 | -- | Inf
1653.59/1654.13 c 1624s| 1430k| 1383k| 0 | 0.0 | 658M|1494 | - |1989 |1350 | 0 | 0 | 0 | 122k| 0 | 2.200000e+02 | -- | Inf
1665.18/1665.71 c 1636s| 1440k| 1393k| 0 | 0.0 | 662M|1494 | - |1989 |1097 | 0 | 0 | 0 | 123k| 0 | 2.210000e+02 | -- | Inf
1677.18/1677.77 c 1648s| 1450k| 1403k| 0 | 0.0 | 666M|1494 | - |1989 | 738 | 0 | 0 | 0 | 124k| 0 | 2.210000e+02 | -- | Inf
1688.08/1688.67 c 1658s| 1460k| 1413k| 0 | 0.0 | 671M|1494 | - |1989 |1014 | 0 | 0 | 0 | 125k| 0 | 2.210000e+02 | -- | Inf
1699.38/1699.98 c 1669s| 1470k| 1422k| 0 | 0.0 | 676M|1494 | - |1989 |1315 | 0 | 0 | 0 | 126k| 0 | 2.220000e+02 | -- | Inf
1710.47/1711.04 c 1680s| 1480k| 1432k| 0 | 0.0 | 680M|1494 | - |1989 | 850 | 0 | 0 | 0 | 126k| 0 | 2.220000e+02 | -- | Inf
1722.66/1723.22 c 1692s| 1490k| 1442k| 0 | 0.0 | 685M|1494 | - |1989 | 899 | 0 | 0 | 0 | 127k| 0 | 2.220000e+02 | -- | Inf
1734.26/1734.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1734.26/1734.81 c 1704s| 1500k| 1451k| 0 | 0.0 | 690M|1494 | - |1989 |1251 | 0 | 0 | 0 | 128k| 0 | 2.220000e+02 | -- | Inf
1746.06/1746.66 c 1715s| 1510k| 1461k| 0 | 0.0 | 694M|1494 | - |1989 | 817 | 0 | 0 | 0 | 129k| 0 | 2.230000e+02 | -- | Inf
1758.06/1758.62 c 1727s| 1520k| 1471k| 0 | 0.0 | 698M|1494 | - |1989 | 825 | 0 | 0 | 0 | 130k| 0 | 2.230000e+02 | -- | Inf
1769.36/1769.92 c 1738s| 1530k| 1480k| 0 | 0.0 | 703M|1494 | - |1989 |1021 | 0 | 0 | 0 | 130k| 0 | 2.230000e+02 | -- | Inf
1780.25/1780.87 c 1749s| 1540k| 1490k| 0 | 0.0 | 707M|1494 | - |1989 |1334 | 0 | 0 | 0 | 131k| 0 | 2.230000e+02 | -- | Inf
1792.24/1792.88 c 1761s| 1550k| 1500k| 0 | 0.0 | 712M|1494 | - |1989 |1171 | 0 | 0 | 0 | 133k| 0 | 2.240000e+02 | -- | Inf
1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61 c
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time (sec) : 1768.31
1800.06/1800.61 c Solving Nodes : 1556648
1800.06/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.61 c Dual Bound : +2.24000000000000e+02
1800.06/1800.61 c Gap : infinite
1800.06/1800.61 s UNKNOWN
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time : 1768.31
1800.06/1800.61 c Original Problem :
1800.06/1800.61 c Problem name : HOME/instance-2664244-1276352946.opb
1800.06/1800.61 c Variables : 1989 (1989 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 97 initial, 97 maximal
1800.06/1800.61 c Presolved Problem :
1800.06/1800.61 c Problem name : t_HOME/instance-2664244-1276352946.opb
1800.06/1800.61 c Variables : 1989 (1989 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 97 initial, 1887 maximal
1800.06/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c probing : 2.35 0 0 0 0 0 0 0 0
1800.06/1800.61 c knapsack : 0.02 0 0 0 0 0 0 0 0
1800.06/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c linear : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c root node : - 0 - - 0 - - - -
1800.06/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.61 c knapsack : 1 0 2027328 0 1522517 147 1211506 0 0 0
1800.06/1800.61 c setppc : 95 0 2051602 0 1536986 28868 6501506 0 0 0
1800.06/1800.61 c linear : 1 0 2022734 0 1536986 56 6136 0 0 0
1800.06/1800.61 c logicor : 0+ 0 272049 0 0 1266 77411 0 0 0
1800.06/1800.61 c countsols : 0 0 0 0 1536986 0 0 0 0 0
1800.06/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.61 c knapsack : 340.69 0.00 290.47 0.00 50.22
1800.06/1800.61 c setppc : 339.29 0.00 41.18 0.00 298.11
1800.06/1800.61 c linear : 551.55 0.00 550.30 0.00 1.25
1800.06/1800.61 c logicor : 8.00 0.00 8.00 0.00 0.00
1800.06/1800.61 c countsols : 0.53 0.00 0.00 0.00 0.53
1800.06/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.61 c vbounds : 1.02 2 0 0
1800.06/1800.61 c rootredcost : 1.07 0 0 0
1800.06/1800.61 c pseudoobj : 166.03 2050014 0 0
1800.06/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.61 c propagation : 20.89 30337 30309 219835 140.2 2767 78.0 -
1800.06/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.61 c applied globally : - - - 132131 85.4 - - -
1800.06/1800.61 c applied locally : - - - 1355 262.6 - - -
1800.06/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.61 c redcost : 0.00 0 0 0 0 0
1800.06/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.61 c intobj : 0.00 0 0 0 0 0
1800.06/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.61 c gomory : 0.00 0 0 0 0 0
1800.06/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.61 c cmir : 0.00 0 0 0 0 0
1800.06/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.61 c clique : 0.00 0 0 0 0 0
1800.06/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.61 c mcf : 0.00 0 0 0 0 0
1800.06/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.61 c Pricers : Time Calls Vars
1800.06/1800.61 c problem variables: 0.00 0 0
1800.06/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c inference : 266.03 1536986 0 0 0 0 3073972
1800.06/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c random : 0.00 0 0 0 0 0 0
1800.06/1800.61 c Primal Heuristics : Time Calls Found
1800.06/1800.61 c LP solutions : 0.00 - 0
1800.06/1800.61 c pseudo solutions : 0.00 - 0
1800.06/1800.61 c oneopt : 0.77 0 0
1800.06/1800.61 c trivial : 0.02 2 0
1800.06/1800.61 c simplerounding : 0.00 0 0
1800.06/1800.61 c zirounding : 0.00 0 0
1800.06/1800.61 c rounding : 0.00 0 0
1800.06/1800.61 c shifting : 0.00 0 0
1800.06/1800.61 c intshifting : 0.00 0 0
1800.06/1800.61 c twoopt : 0.00 0 0
1800.06/1800.61 c fixandinfer : 0.00 0 0
1800.06/1800.61 c feaspump : 0.00 0 0
1800.06/1800.61 c coefdiving : 0.00 0 0
1800.06/1800.61 c pscostdiving : 0.00 0 0
1800.06/1800.61 c fracdiving : 0.00 0 0
1800.06/1800.61 c veclendiving : 0.00 0 0
1800.06/1800.61 c intdiving : 0.00 0 0
1800.06/1800.61 c actconsdiving : 0.00 0 0
1800.06/1800.61 c objpscostdiving : 0.00 0 0
1800.06/1800.61 c rootsoldiving : 0.00 0 0
1800.06/1800.61 c linesearchdiving : 0.00 0 0
1800.06/1800.61 c guideddiving : 0.00 0 0
1800.06/1800.61 c octane : 0.00 0 0
1800.06/1800.61 c rens : 0.00 0 0
1800.06/1800.61 c rins : 0.00 0 0
1800.06/1800.61 c localbranching : 0.00 0 0
1800.06/1800.61 c mutation : 0.00 0 0
1800.06/1800.61 c crossover : 0.00 0 0
1800.06/1800.61 c dins : 0.00 0 0
1800.06/1800.61 c undercover : 0.00 0 0
1800.06/1800.61 c nlp : 0.89 0 0
1800.06/1800.61 c trysol : 0.68 0 0
1800.06/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.61 c (at root node) : - 0 0 0.00 -
1800.06/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.61 c B&B Tree :
1800.06/1800.61 c number of runs : 1
1800.06/1800.61 c nodes : 1556648
1800.06/1800.61 c nodes (total) : 1556648
1800.06/1800.61 c nodes left : 1506506
1800.06/1800.61 c max depth : 1494
1800.06/1800.61 c max depth (total): 1494
1800.06/1800.61 c backtracks : 11256 (0.7%)
1800.06/1800.61 c delayed cutoffs : 10819
1800.06/1800.61 c repropagations : 240737 (1155666 domain reductions, 10675 cutoffs)
1800.06/1800.61 c avg switch length: 3.49
1800.06/1800.61 c switching time : 43.48
1800.06/1800.61 c Solution :
1800.06/1800.61 c Solutions found : 0 (0 improvements)
1800.06/1800.61 c Primal Bound : -
1800.06/1800.61 c Dual Bound : +2.24000000000000e+02
1800.06/1800.61 c Gap : infinite
1800.06/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.61 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664244-1276352946/watcher-2664244-1276352946 -o /tmp/evaluation-result-2664244-1276352946/solver-2664244-1276352946 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664244-1276352946.opb -t 1800 -m 1800
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/106 11986
/proc/meminfo: memFree=1883908/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=5556 CPUtime=0
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 881 0 0 0 0 0 0 0 19 0 1 0 10881056 5689344 803 1992294400 4194304 7136930 140735814296432 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11986/statm: 1389 803 249 719 0 668 0
[startup+0.0132621 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11986
/proc/meminfo: memFree=1883908/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=7848 CPUtime=0
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 1462 0 0 0 0 0 0 0 19 0 1 0 10881056 8036352 1383 1992294400 4194304 7136930 140735814296432 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11986/statm: 2003 1394 266 719 0 1282 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7848
[startup+0.101258 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11986
/proc/meminfo: memFree=1883908/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=18528 CPUtime=0.09
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 5084 0 0 0 7 2 0 0 20 0 1 0 10881056 18972672 3880 1992294400 4194304 7136930 140735814296432 18446744073709551615 4242979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 4632 3880 355 719 0 3911 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18528
[startup+0.301278 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11986
/proc/meminfo: memFree=1883908/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=18312 CPUtime=0.29
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 5530 0 0 0 27 2 0 0 20 0 1 0 10881056 18751488 3812 1992294400 4194304 7136930 140735814296432 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 4578 3812 366 719 0 3857 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18312
[startup+0.701318 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11986
/proc/meminfo: memFree=1883908/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=18828 CPUtime=0.69
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 5662 0 0 0 67 2 0 0 21 0 1 0 10881056 19279872 3944 1992294400 4194304 7136930 140735814296432 18446744073709551615 5954100 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 4707 3944 370 719 0 3986 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18828
[startup+1.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11987
/proc/meminfo: memFree=1869516/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=18828 CPUtime=1.49
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 5672 0 0 0 146 3 0 0 23 0 1 0 10881056 19279872 3954 1992294400 4194304 7136930 140735814296432 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 4707 3954 370 719 0 3986 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18828
[startup+3.10156 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11987
/proc/meminfo: memFree=1869268/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=19996 CPUtime=3.09
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 5975 0 0 0 305 4 0 0 25 0 1 0 10881056 20475904 4257 1992294400 4194304 7136930 140735814296432 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 4999 4257 390 719 0 4278 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19996
[startup+6.30088 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11987
/proc/meminfo: memFree=1866912/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=21248 CPUtime=6.29
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 6330 0 0 0 619 10 0 0 25 0 1 0 10881056 21757952 4612 1992294400 4194304 7136930 140735814296432 18446744073709551615 4947479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 5312 4612 396 719 0 4591 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21248
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11987
/proc/meminfo: memFree=1863812/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=25068 CPUtime=12.69
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 7301 0 0 0 1248 21 0 0 25 0 1 0 10881056 25669632 5583 1992294400 4194304 7136930 140735814296432 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 6267 5583 397 719 0 5546 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25068
[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11989
/proc/meminfo: memFree=1857612/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=30176 CPUtime=25.48
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 8598 0 0 0 2503 45 0 0 25 0 1 0 10881056 30900224 6880 1992294400 4194304 7136930 140735814296432 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 7544 6880 397 719 0 6823 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30176
[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11989
/proc/meminfo: memFree=1845956/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=42304 CPUtime=51.08
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 11670 0 0 0 5016 92 0 0 25 0 1 0 10881056 43319296 9952 1992294400 4194304 7136930 140735814296432 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 10576 9952 397 719 0 9855 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42304
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11991
/proc/meminfo: memFree=1820908/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=68452 CPUtime=102.27
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 17728 0 0 0 10051 176 0 0 25 0 1 0 10881056 70094848 16010 1992294400 4194304 7136930 140735814296432 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 17113 16010 397 719 0 16392 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 68452
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11991
/proc/meminfo: memFree=1792760/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=96768 CPUtime=162.24
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 24764 0 0 0 15943 281 0 0 25 0 1 0 10881056 99090432 23046 1992294400 4194304 7136930 140735814296432 18446744073709551615 5121858 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 24192 23046 397 719 0 23471 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 96768
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11993
/proc/meminfo: memFree=1763248/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=126320 CPUtime=222.22
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 32242 0 0 0 21832 390 0 0 25 0 1 0 10881056 129351680 30524 1992294400 4194304 7136930 140735814296432 18446744073709551615 4407784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 31580 30524 397 719 0 30859 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 126320
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11995
/proc/meminfo: memFree=1737084/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=156176 CPUtime=282.21
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 38599 0 0 0 27722 499 0 0 25 0 1 0 10881056 159924224 36881 1992294400 4194304 7136930 140735814296432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 39044 36881 397 719 0 38323 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 156176
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11997
/proc/meminfo: memFree=1711292/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=182248 CPUtime=342.2
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 45161 0 0 0 33610 610 0 0 25 0 1 0 10881056 186621952 43443 1992294400 4194304 7136930 140735814296432 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 45562 43443 397 719 0 44841 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 182248
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11999
/proc/meminfo: memFree=1674836/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=218188 CPUtime=402.17
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 54072 0 0 0 39501 716 0 0 25 0 1 0 10881056 223424512 52354 1992294400 4194304 7136930 140735814296432 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 54547 52354 397 719 0 53826 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 218188
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11999
/proc/meminfo: memFree=1645696/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=247212 CPUtime=462.16
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 61337 0 0 0 45392 824 0 0 25 0 1 0 10881056 253145088 59619 1992294400 4194304 7136930 140735814296432 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 61803 59619 397 719 0 61082 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 247212
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12001
/proc/meminfo: memFree=1623252/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=269888 CPUtime=522.14
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 67008 0 0 0 51288 926 0 0 25 0 1 0 10881056 276365312 65290 1992294400 4194304 7136930 140735814296432 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 67472 65290 397 719 0 66751 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 269888
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12003
/proc/meminfo: memFree=1593492/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=307564 CPUtime=582.12
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 74339 0 0 0 57180 1032 0 0 25 0 1 0 10881056 314945536 72621 1992294400 4194304 7136930 140735814296432 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 76891 72621 397 719 0 76170 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 307564
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12005
/proc/meminfo: memFree=1567948/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=333020 CPUtime=642.11
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 80666 0 0 0 63071 1140 0 0 25 0 1 0 10881056 341012480 78948 1992294400 4194304 7136930 140735814296432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 83255 78948 397 719 0 82534 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 333020
[startup+702.301 s]
################
# More data... #
################
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 121631 0 0 0 98440 1758 0 0 25 0 1 0 10881056 509317120 119913 1992294400 4194304 7136930 140735814296432 18446744073709551615 4979040 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 124345 119913 397 719 0 123624 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 497380
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12015
/proc/meminfo: memFree=1382816/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=518160 CPUtime=1061.96
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 126753 0 0 0 104333 1863 0 0 25 0 1 0 10881056 530595840 125035 1992294400 4194304 7136930 140735814296432 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 129540 125035 397 719 0 128819 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 518160
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12017
/proc/meminfo: memFree=1348840/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=553212 CPUtime=1121.95
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 135198 0 0 0 110228 1967 0 0 25 0 1 0 10881056 566489088 133480 1992294400 4194304 7136930 140735814296432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 138303 133480 397 719 0 137582 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 553212
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12019
/proc/meminfo: memFree=1324784/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=593448 CPUtime=1181.92
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 141199 0 0 0 116115 2077 0 0 25 0 1 0 10881056 607690752 139481 1992294400 4194304 7136930 140735814296432 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 148362 139481 397 719 0 147641 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 593448
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12021
/proc/meminfo: memFree=1294528/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=624516 CPUtime=1241.91
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 148718 0 0 0 122011 2180 0 0 25 0 1 0 10881056 639504384 147000 1992294400 4194304 7136930 140735814296432 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 156129 147000 397 719 0 155408 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 624516
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12023
/proc/meminfo: memFree=1271092/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=647328 CPUtime=1301.9
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 154528 0 0 0 127899 2291 0 0 25 0 1 0 10881056 662863872 152810 1992294400 4194304 7136930 140735814296432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 161832 152810 397 719 0 161111 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 647328
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12023
/proc/meminfo: memFree=1247408/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=671440 CPUtime=1361.87
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 160431 0 0 0 133786 2401 0 0 25 0 1 0 10881056 687554560 158713 1992294400 4194304 7136930 140735814296432 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 167860 158713 397 719 0 167139 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 671440
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12025
/proc/meminfo: memFree=1223724/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=694096 CPUtime=1421.86
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 166312 0 0 0 139685 2501 0 0 25 0 1 0 10881056 710754304 164594 1992294400 4194304 7136930 140735814296432 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 173524 164594 397 719 0 172803 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 694096
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12027
/proc/meminfo: memFree=1199668/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=718956 CPUtime=1481.83
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 172568 0 0 0 145577 2606 0 0 25 0 1 0 10881056 736210944 170850 1992294400 4194304 7136930 140735814296432 18446744073709551615 4978221 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 179739 170850 397 719 0 179018 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 718956
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12029
/proc/meminfo: memFree=1164576/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=754320 CPUtime=1541.82
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 181086 0 0 0 151467 2715 0 0 25 0 1 0 10881056 772423680 179368 1992294400 4194304 7136930 140735814296432 18446744073709551615 4947564 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 188580 179368 397 719 0 187859 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 754320
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12031
/proc/meminfo: memFree=1135064/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=783988 CPUtime=1601.8
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 188548 0 0 0 157361 2819 0 0 25 0 1 0 10881056 802803712 186830 1992294400 4194304 7136930 140735814296432 18446744073709551615 4978178 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 195997 186830 397 719 0 195276 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 783988
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12031
/proc/meminfo: memFree=1108900/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=810424 CPUtime=1661.79
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 194957 0 0 0 163254 2925 0 0 25 0 1 0 10881056 829874176 193239 1992294400 4194304 7136930 140735814296432 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 202606 193239 397 719 0 201885 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 810424
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12033
/proc/meminfo: memFree=1083356/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=836176 CPUtime=1721.77
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 201276 0 0 0 169144 3033 0 0 25 0 1 0 10881056 856244224 199558 1992294400 4194304 7136930 140735814296432 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 209044 199558 397 719 0 208323 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 836176
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12035
/proc/meminfo: memFree=1060168/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=860608 CPUtime=1781.75
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 206980 0 0 0 175036 3139 0 0 25 0 1 0 10881056 881262592 205262 1992294400 4194304 7136930 140735814296432 18446744073709551615 4225310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 215152 205262 397 719 0 214431 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 860608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12035
/proc/meminfo: memFree=1053472/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=867192 CPUtime=1800.06
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 208680 0 0 0 176833 3173 0 0 25 0 1 0 10881056 888004608 206962 1992294400 4194304 7136930 140735814296432 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11986/statm: 216798 206962 397 719 0 216077 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 867192
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11986
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12035
/proc/meminfo: memFree=1053472/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=867192 CPUtime=1800.85
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 208685 0 0 0 176912 3173 0 0 25 0 1 0 10881056 888004608 206967 1992294400 4194304 7136930 140735814296432 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11986/statm: 216798 206967 402 719 0 216077 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 867192
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12036
/proc/meminfo: memFree=1053464/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=867192 CPUtime=1801.64
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 208685 0 0 0 176991 3173 0 0 25 0 1 0 10881056 888004608 206967 1992294400 4194304 7136930 140735814296432 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11986/statm: 216798 206967 402 719 0 216077 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 867192
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12036
/proc/meminfo: memFree=1053464/2059040 swapFree=4134488/4192956
[pid=11986] ppid=11984 vsize=867192 CPUtime=1802.04
/proc/11986/stat : 11986 (pbscip.linux.x8) R 11984 11986 10975 0 -1 4202496 208685 0 0 0 177031 3173 0 0 25 0 1 0 10881056 888004608 206967 1992294400 4194304 7136930 140735814296432 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11986/statm: 216798 206967 402 719 0 216077 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 867192
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.7
CPU time (s): 1802.15
CPU user time (s): 1770.34
CPU system time (s): 31.8172
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 867192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.34
system time used= 31.8172
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208685
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= 6
involuntary context switches= 3656
runsolver used 3.14952 second user time and 8.35373 second system time
The end