0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3450743-1307111034.opb>
0.00/0.02 c original problem has 3290 variables (3290 bin, 0 int, 0 impl, 0 cont) and 3591 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.03 c presolving:
0.06/0.07 c (round 1) 0 del vars, 3290 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 24920 impls, 199 clqs
0.06/0.08 c (round 2) 3090 del vars, 3290 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24920 impls, 0 clqs
0.06/0.09 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.06/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.06/0.09 c presolving (3 rounds):
0.06/0.09 c 3090 deleted vars, 3290 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.06/0.09 c 24920 implications, 0 cliques
0.06/0.09 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.06/0.09 c 200 constraints of type <knapsack>
0.06/0.09 c 100 constraints of type <setppc>
0.06/0.09 c 1 constraints of type <linear>
0.06/0.09 c transformed objective value is always integral (scale: 1)
0.06/0.09 c Presolving Time: 0.07
0.06/0.09 c - non default parameters ----------------------------------------------------------------------
0.06/0.09 c # SCIP version 2.0.1.5
0.06/0.09 c
0.06/0.09 c # frequency for displaying node information lines
0.06/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.06/0.09 c display/freq = 10000
0.06/0.09 c
0.06/0.09 c # maximal time in seconds to run
0.06/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.09 c limits/time = 1800
0.06/0.09 c
0.06/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.06/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.09 c limits/memory = 13950
0.06/0.09 c
0.06/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.06/0.09 c # [type: int, range: [1,2], default: 1]
0.06/0.09 c timing/clocktype = 2
0.06/0.09 c
0.06/0.09 c # belongs reading time to solving time?
0.06/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.09 c timing/reading = TRUE
0.06/0.09 c
0.06/0.09 c # should presolving try to simplify inequalities
0.06/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.09 c constraints/linear/simplifyinequalities = TRUE
0.06/0.09 c
0.06/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.06/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.09 c constraints/indicator/addCouplingCons = TRUE
0.06/0.09 c
0.06/0.09 c # should presolving try to simplify knapsacks
0.06/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.06/0.09 c
0.06/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.06/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.09 c separating/rapidlearning/freq = 0
0.06/0.09 c
0.06/0.09 c -----------------------------------------------------------------------------------------------
0.06/0.09 c start solving
0.06/0.09 c
0.19/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.21 c t 0.2s| 1 | 0 | 1056 | - |8657k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.19/0.21 o -1
0.19/0.21 c R 0.2s| 1 | 0 | 1056 | - |8669k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.19/0.28 o -10
0.19/0.28 c y 0.3s| 1 | 0 | 1056 | - |8684k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+01 | 80.00%
0.89/1.01 c 1.0s| 1 | 2 | 1056 | - |8680k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 15 |-5.000000e+01 |-1.000000e+01 | 80.00%
7.49/7.53 o -11
7.49/7.53 c v 7.5s| 50 | 48 | 4587 | 72.1 |8815k| 14 | - | 200 | 301 | 200 | 301 | 0 | 0 | 787 |-4.905177e+01 |-1.100000e+01 | 77.57%
11.60/11.61 o -12
11.60/11.61 c S11.6s| 123 | 111 | 9063 | 65.6 |8954k| 16 | 0 | 200 | 301 | 200 | 301 | 0 | 0 |1066 |-4.855938e+01 |-1.200000e+01 | 75.29%
13.39/13.41 o -13
13.39/13.41 c c13.4s| 376 | 265 | 23833 | 60.7 |9340k| 29 | - | 200 | 308 | 200 | 301 | 0 | 7 |1085 |-4.607372e+01 |-1.300000e+01 | 71.78%
16.10/16.10 o -14
16.10/16.10 c l16.1s| 891 | 526 | 50356 | 55.4 | 10M| 59 | - | 200 | 312 | 200 | 301 | 0 | 11 |1116 |-4.229621e+01 |-1.400000e+01 | 66.90%
55.59/55.60 c 55.6s| 10000 | 8373 |564666 | 56.4 | 19M| 82 | 53 | 200 | 458 | 200 | 301 | 0 | 203 |1227 |-3.710589e+01 |-1.400000e+01 | 62.27%
88.09/88.15 c 88.2s| 20000 | 15801 | 1031k| 51.5 | 28M| 103 | 28 | 200 | 455 | 200 | 301 | 0 | 330 |1444 |-3.546458e+01 |-1.400000e+01 | 60.52%
114.41/114.42 c 114s| 30000 | 21951 | 1419k| 47.3 | 36M| 104 | 46 | 200 | 415 | 200 | 301 | 0 | 407 |1713 |-3.493579e+01 |-1.400000e+01 | 59.93%
139.49/139.53 c 140s| 40000 | 27777 | 1788k| 44.7 | 44M| 105 | - | 200 | 375 | 200 | 301 | 0 | 449 |1945 |-3.464228e+01 |-1.400000e+01 | 59.59%
163.09/163.15 c 163s| 50000 | 33459 | 2148k| 43.0 | 52M| 106 | 46 | 200 | 388 | 200 | 301 | 0 | 511 |2146 |-3.429902e+01 |-1.400000e+01 | 59.18%
186.40/186.42 c 186s| 60000 | 39059 | 2502k| 41.7 | 60M| 107 | 81 | 200 | 384 | 200 | 301 | 0 | 564 |2324 |-3.406852e+01 |-1.400000e+01 | 58.91%
208.90/209.00 c 209s| 70000 | 44471 | 2851k| 40.7 | 67M| 107 | 67 | 200 | 378 | 200 | 301 | 0 | 612 |2492 |-3.376719e+01 |-1.400000e+01 | 58.54%
231.10/231.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.10/231.11 c 231s| 80000 | 49923 | 3198k| 40.0 | 75M| 108 | 34 | 200 | 390 | 200 | 301 | 0 | 683 |2645 |-3.350320e+01 |-1.400000e+01 | 58.21%
252.80/252.88 c 253s| 90000 | 55355 | 3538k| 39.3 | 82M| 108 | 48 | 200 | 364 | 200 | 301 | 0 | 737 |2781 |-3.326269e+01 |-1.400000e+01 | 57.91%
273.91/273.92 c 274s|100000 | 60707 | 3872k| 38.7 | 89M| 109 | 52 | 200 | 373 | 200 | 301 | 0 | 791 |2884 |-3.305945e+01 |-1.400000e+01 | 57.65%
295.00/295.05 c 295s|110000 | 66101 | 4207k| 38.2 | 96M| 109 | 73 | 200 | 370 | 200 | 301 | 0 | 842 |2989 |-3.286572e+01 |-1.400000e+01 | 57.40%
315.50/315.56 c 316s|120000 | 71503 | 4538k| 37.8 | 104M| 109 | - | 200 | 371 | 200 | 301 | 0 | 899 |3081 |-3.274139e+01 |-1.400000e+01 | 57.24%
336.20/336.25 c 336s|130000 | 76889 | 4868k| 37.4 | 111M| 109 | 90 | 200 | 385 | 200 | 301 | 0 | 955 |3179 |-3.255896e+01 |-1.400000e+01 | 57.00%
355.10/355.14 c 355s|140000 | 81747 | 5172k| 36.9 | 118M| 111 | - | 200 | 372 | 200 | 301 | 0 | 991 |3290 |-3.238287e+01 |-1.400000e+01 | 56.77%
373.00/373.06 c 373s|150000 | 86405 | 5461k| 36.4 | 124M| 111 | - | 200 | 366 | 200 | 301 | 0 |1019 |3396 |-3.227877e+01 |-1.400000e+01 | 56.63%
390.80/390.84 c 391s|160000 | 91043 | 5750k| 35.9 | 131M| 111 | 35 | 200 | 359 | 200 | 301 | 0 |1039 |3481 |-3.217115e+01 |-1.400000e+01 | 56.48%
408.70/408.72 c 409s|170000 | 95631 | 6045k| 35.6 | 137M| 111 | - | 200 | 364 | 200 | 301 | 0 |1072 |3570 |-3.207147e+01 |-1.400000e+01 | 56.35%
426.40/426.48 c 426s|180000 |100151 | 6336k| 35.2 | 144M| 112 | 43 | 200 | 348 | 200 | 301 | 0 |1092 |3657 |-3.198474e+01 |-1.400000e+01 | 56.23%
444.20/444.23 c 444s|190000 |104753 | 6628k| 34.9 | 150M| 112 | 33 | 200 | 371 | 200 | 301 | 0 |1139 |3728 |-3.189863e+01 |-1.400000e+01 | 56.11%
461.80/461.80 c 462s|200000 |109243 | 6920k| 34.6 | 157M| 112 | 37 | 200 | 361 | 200 | 301 | 0 |1162 |3810 |-3.180221e+01 |-1.400000e+01 | 55.98%
479.10/479.15 c 479s|210000 |113709 | 7209k| 34.3 | 163M| 112 | - | 200 | 347 | 200 | 301 | 0 |1186 |3890 |-3.172849e+01 |-1.400000e+01 | 55.88%
497.80/497.85 c 498s|220000 |118193 | 7496k| 34.1 | 169M| 112 | 75 | 200 | 367 | 200 | 301 | 0 |1224 |3966 |-3.165650e+01 |-1.400000e+01 | 55.78%
515.01/515.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.01/515.07 c 515s|230000 |122681 | 7784k| 33.8 | 176M| 112 | 97 | 200 | 369 | 200 | 301 | 0 |1257 |4059 |-3.159019e+01 |-1.400000e+01 | 55.68%
516.51/516.58 o -15
516.51/516.58 c * 517s|230299 | 97581 | 7793k| 33.8 | 140M| 112 | - | 200 | 368 | 200 | 301 | 0 |1257 |4059 |-3.158836e+01 |-1.500000e+01 | 52.51%
533.01/533.07 c 533s|240000 |101282 | 8050k| 33.5 | 146M| 113 | 92 | 200 | 369 | 200 | 301 | 0 |1278 |4146 |-3.153120e+01 |-1.500000e+01 | 52.43%
549.50/549.54 c 550s|250000 |105010 | 8314k| 33.3 | 151M| 113 | 64 | 200 | 345 | 200 | 301 | 0 |1284 |4221 |-3.147540e+01 |-1.500000e+01 | 52.34%
565.61/565.68 c 566s|260000 |108688 | 8574k| 33.0 | 157M| 113 | 29 | 200 | 341 | 200 | 301 | 0 |1299 |4282 |-3.141372e+01 |-1.500000e+01 | 52.25%
581.70/581.81 c 582s|270000 |112390 | 8832k| 32.7 | 162M| 113 | 59 | 200 | 341 | 200 | 301 | 0 |1318 |4354 |-3.136459e+01 |-1.500000e+01 | 52.18%
597.50/597.57 c 598s|280000 |116088 | 9083k| 32.4 | 168M| 113 | 32 | 200 | 344 | 200 | 301 | 0 |1336 |4415 |-3.130019e+01 |-1.500000e+01 | 52.08%
613.60/613.66 c 614s|290000 |119806 | 9340k| 32.2 | 173M| 113 | - | 200 | 343 | 200 | 301 | 0 |1347 |4490 |-3.123924e+01 |-1.500000e+01 | 51.98%
629.60/629.66 c 630s|300000 |123462 | 9597k| 32.0 | 179M| 113 | 66 | 200 | 337 | 200 | 301 | 0 |1367 |4556 |-3.118647e+01 |-1.500000e+01 | 51.90%
645.40/645.48 c 645s|310000 |127144 | 9853k| 31.8 | 184M| 113 | - | 200 | 343 | 200 | 301 | 0 |1391 |4623 |-3.113552e+01 |-1.500000e+01 | 51.82%
661.12/661.19 c 661s|320000 |130686 | 10106k| 31.6 | 189M| 114 | 42 | 200 | 346 | 200 | 301 | 0 |1411 |4678 |-3.109710e+01 |-1.500000e+01 | 51.76%
676.80/676.84 c 677s|330000 |134302 | 10360k| 31.4 | 195M| 114 | - | 200 | 340 | 200 | 301 | 0 |1428 |4751 |-3.106652e+01 |-1.500000e+01 | 51.72%
692.50/692.51 c 693s|340000 |137904 | 10612k| 31.2 | 200M| 114 | 70 | 200 | 334 | 200 | 301 | 0 |1438 |4816 |-3.102759e+01 |-1.500000e+01 | 51.66%
708.01/708.06 c 708s|350000 |141542 | 10863k| 31.0 | 206M| 114 | 49 | 200 | 328 | 200 | 301 | 0 |1450 |4881 |-3.098390e+01 |-1.500000e+01 | 51.59%
723.40/723.47 c 723s|360000 |145084 | 11117k| 30.9 | 211M| 114 | 31 | 200 | 327 | 200 | 301 | 0 |1458 |4953 |-3.093080e+01 |-1.500000e+01 | 51.50%
738.71/738.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
738.71/738.71 c 739s|370000 |148690 | 11368k| 30.7 | 216M| 114 | 41 | 200 | 335 | 200 | 301 | 0 |1481 |5009 |-3.088682e+01 |-1.500000e+01 | 51.44%
753.91/753.97 c 754s|380000 |152234 | 11619k| 30.6 | 222M| 114 | 73 | 200 | 327 | 200 | 301 | 0 |1492 |5070 |-3.082756e+01 |-1.500000e+01 | 51.34%
769.21/769.28 c 769s|390000 |155806 | 11872k| 30.4 | 227M| 114 | 34 | 200 | 330 | 200 | 301 | 0 |1503 |5128 |-3.079916e+01 |-1.500000e+01 | 51.30%
784.21/784.27 c 784s|400000 |159360 | 12120k| 30.3 | 232M| 114 | - | 200 | 344 | 200 | 301 | 0 |1528 |5182 |-3.077334e+01 |-1.500000e+01 | 51.26%
799.21/799.24 c 799s|410000 |162936 | 12367k| 30.2 | 238M| 114 | 34 | 200 | 346 | 200 | 301 | 0 |1547 |5229 |-3.072964e+01 |-1.500000e+01 | 51.19%
814.31/814.35 c 814s|420000 |166428 | 12618k| 30.0 | 243M| 114 | 42 | 200 | 335 | 200 | 301 | 0 |1557 |5289 |-3.069041e+01 |-1.500000e+01 | 51.12%
829.11/829.18 c 829s|430000 |169966 | 12865k| 29.9 | 248M| 114 | 37 | 200 | 345 | 200 | 301 | 0 |1583 |5335 |-3.065333e+01 |-1.500000e+01 | 51.07%
844.11/844.18 c 844s|440000 |173496 | 13115k| 29.8 | 254M| 114 | 30 | 200 | 361 | 200 | 301 | 0 |1615 |5386 |-3.062002e+01 |-1.500000e+01 | 51.01%
859.02/859.08 c 859s|450000 |177040 | 13363k| 29.7 | 259M| 114 | 27 | 200 | 351 | 200 | 301 | 0 |1627 |5435 |-3.059414e+01 |-1.500000e+01 | 50.97%
874.11/874.18 c 874s|460000 |180604 | 13614k| 29.6 | 264M| 115 | - | 200 | 361 | 200 | 301 | 0 |1654 |5483 |-3.055754e+01 |-1.500000e+01 | 50.91%
889.01/889.04 c 889s|470000 |184100 | 13862k| 29.5 | 270M| 115 | - | 200 | 358 | 200 | 301 | 0 |1672 |5532 |-3.052446e+01 |-1.500000e+01 | 50.86%
903.61/903.65 c 904s|480000 |187558 | 14106k| 29.4 | 275M| 115 | 37 | 200 | 352 | 200 | 301 | 0 |1687 |5584 |-3.050104e+01 |-1.500000e+01 | 50.82%
918.42/918.43 c 918s|490000 |190986 | 14355k| 29.3 | 280M| 115 | - | 200 | 352 | 200 | 301 | 0 |1703 |5630 |-3.047054e+01 |-1.500000e+01 | 50.77%
933.21/933.20 c 933s|500000 |194490 | 14602k| 29.2 | 285M| 115 | 34 | 200 | 367 | 200 | 301 | 0 |1737 |5675 |-3.044022e+01 |-1.500000e+01 | 50.72%
948.01/948.06 c 948s|510000 |197998 | 14852k| 29.1 | 291M| 115 | - | 200 | 360 | 200 | 301 | 0 |1763 |5711 |-3.041434e+01 |-1.500000e+01 | 50.68%
962.81/962.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
962.81/962.83 c 963s|520000 |201498 | 15101k| 29.0 | 296M| 115 | 38 | 200 | 359 | 200 | 301 | 0 |1785 |5756 |-3.039124e+01 |-1.500000e+01 | 50.64%
977.41/977.49 c 977s|530000 |204942 | 15348k| 29.0 | 301M| 115 | - | 200 | 347 | 200 | 301 | 0 |1797 |5798 |-3.035993e+01 |-1.500000e+01 | 50.59%
992.01/992.03 c 992s|540000 |208416 | 15592k| 28.9 | 306M| 115 | 36 | 200 | 341 | 200 | 301 | 0 |1810 |5840 |-3.033286e+01 |-1.500000e+01 | 50.55%
1006.71/1006.79 c 1007s|550000 |211830 | 15841k| 28.8 | 311M| 115 | 41 | 200 | 349 | 200 | 301 | 0 |1831 |5895 |-3.031043e+01 |-1.500000e+01 | 50.51%
1021.41/1021.43 c 1021s|560000 |215210 | 16090k| 28.7 | 317M| 115 | 31 | 200 | 342 | 200 | 301 | 0 |1849 |5941 |-3.027489e+01 |-1.500000e+01 | 50.45%
1036.01/1036.02 c 1036s|570000 |218618 | 16336k| 28.7 | 322M| 115 | - | 200 | 355 | 200 | 301 | 0 |1879 |5990 |-3.023475e+01 |-1.500000e+01 | 50.39%
1050.53/1050.53 c 1051s|580000 |221998 | 16581k| 28.6 | 327M| 115 | - | 200 | 345 | 200 | 301 | 0 |1892 |6030 |-3.020909e+01 |-1.500000e+01 | 50.35%
1065.02/1065.07 c 1065s|590000 |225468 | 16827k| 28.5 | 332M| 115 | 34 | 200 | 356 | 200 | 301 | 0 |1920 |6065 |-3.018515e+01 |-1.500000e+01 | 50.31%
1079.51/1079.54 c 1080s|600000 |228902 | 17072k| 28.5 | 338M| 115 | 26 | 200 | 356 | 200 | 301 | 0 |1938 |6100 |-3.015685e+01 |-1.500000e+01 | 50.26%
1093.91/1093.98 c 1094s|610000 |232286 | 17320k| 28.4 | 343M| 115 | - | 200 | 358 | 200 | 301 | 0 |1962 |6148 |-3.012553e+01 |-1.500000e+01 | 50.21%
1108.32/1108.33 c 1108s|620000 |235720 | 17564k| 28.3 | 348M| 115 | 34 | 200 | 351 | 200 | 301 | 0 |1980 |6199 |-3.010356e+01 |-1.500000e+01 | 50.17%
1122.62/1122.62 c 1123s|630000 |239106 | 17808k| 28.3 | 353M| 115 | - | 200 | 353 | 200 | 301 | 0 |2003 |6242 |-3.008383e+01 |-1.500000e+01 | 50.14%
1137.22/1137.31 c 1137s|640000 |242486 | 18056k| 28.2 | 358M| 115 | 40 | 200 | 360 | 200 | 301 | 0 |2026 |6273 |-3.005726e+01 |-1.500000e+01 | 50.10%
1151.42/1151.47 c 1151s|650000 |245896 | 18295k| 28.1 | 363M| 115 | 94 | 200 | 355 | 200 | 301 | 0 |2050 |6309 |-3.003783e+01 |-1.500000e+01 | 50.06%
1165.92/1165.98 c 1166s|660000 |249244 | 18544k| 28.1 | 369M| 115 | - | 200 | 360 | 200 | 301 | 0 |2069 |6352 |-3.000998e+01 |-1.500000e+01 | 50.02%
1180.12/1180.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1180.12/1180.18 c 1180s|670000 |252614 | 18786k| 28.0 | 374M| 115 | 34 | 200 | 356 | 200 | 301 | 0 |2076 |6391 |-2.998687e+01 |-1.500000e+01 | 49.98%
1194.42/1194.48 c 1194s|680000 |256010 | 19031k| 28.0 | 379M| 115 | 47 | 200 | 355 | 200 | 301 | 0 |2093 |6428 |-2.996858e+01 |-1.500000e+01 | 49.95%
1208.71/1208.75 c 1209s|690000 |259310 | 19278k| 27.9 | 384M| 115 | 35 | 200 | 369 | 200 | 301 | 0 |2118 |6466 |-2.994381e+01 |-1.500000e+01 | 49.91%
1222.81/1222.87 c 1223s|700000 |262644 | 19518k| 27.9 | 389M| 115 | 38 | 200 | 360 | 200 | 301 | 0 |2133 |6522 |-2.991504e+01 |-1.500000e+01 | 49.86%
1236.61/1236.68 c 1237s|710000 |265994 | 19753k| 27.8 | 394M| 115 | 37 | 200 | 360 | 200 | 301 | 0 |2162 |6547 |-2.989260e+01 |-1.500000e+01 | 49.82%
1250.92/1250.95 c 1251s|720000 |269292 | 19998k| 27.8 | 399M| 115 | 83 | 200 | 362 | 200 | 301 | 0 |2184 |6595 |-2.986825e+01 |-1.500000e+01 | 49.78%
1264.93/1264.99 c 1265s|730000 |272640 | 20239k| 27.7 | 404M| 115 | - | 200 | 340 | 200 | 301 | 0 |2196 |6638 |-2.984856e+01 |-1.500000e+01 | 49.75%
1279.12/1279.11 c 1279s|740000 |275960 | 20482k| 27.7 | 409M| 115 | 32 | 200 | 344 | 200 | 301 | 0 |2211 |6675 |-2.982832e+01 |-1.500000e+01 | 49.71%
1293.22/1293.27 c 1293s|750000 |279282 | 20725k| 27.6 | 415M| 116 | - | 200 | 345 | 200 | 301 | 0 |2225 |6720 |-2.980770e+01 |-1.500000e+01 | 49.68%
1307.52/1307.56 c 1308s|760000 |282680 | 20970k| 27.6 | 420M| 116 | 32 | 200 | 338 | 200 | 301 | 0 |2238 |6759 |-2.978233e+01 |-1.500000e+01 | 49.63%
1321.62/1321.64 c 1322s|770000 |285982 | 21214k| 27.5 | 425M| 116 | 40 | 200 | 335 | 200 | 301 | 0 |2245 |6778 |-2.975917e+01 |-1.500000e+01 | 49.60%
1335.62/1335.69 c 1336s|780000 |289308 | 21456k| 27.5 | 430M| 116 | - | 200 | 351 | 200 | 301 | 0 |2272 |6829 |-2.974221e+01 |-1.500000e+01 | 49.57%
1349.63/1349.68 c 1350s|790000 |292586 | 21697k| 27.5 | 435M| 116 | 39 | 200 | 350 | 200 | 301 | 0 |2290 |6880 |-2.971720e+01 |-1.500000e+01 | 49.52%
1363.72/1363.74 c 1364s|800000 |295866 | 21938k| 27.4 | 440M| 116 | 52 | 200 | 340 | 200 | 301 | 0 |2313 |6905 |-2.970180e+01 |-1.500000e+01 | 49.50%
1377.72/1377.78 c 1378s|810000 |299168 | 22182k| 27.4 | 445M| 116 | 36 | 200 | 343 | 200 | 301 | 0 |2326 |6942 |-2.968048e+01 |-1.500000e+01 | 49.46%
1391.62/1391.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1391.62/1391.65 c 1392s|820000 |302388 | 22424k| 27.3 | 450M| 116 | 83 | 200 | 348 | 200 | 301 | 0 |2347 |6969 |-2.966131e+01 |-1.500000e+01 | 49.43%
1405.73/1405.77 c 1406s|830000 |305648 | 22668k| 27.3 | 455M| 117 | 34 | 200 | 352 | 200 | 301 | 0 |2363 |7011 |-2.963908e+01 |-1.500000e+01 | 49.39%
1419.62/1419.61 c 1420s|840000 |308888 | 22908k| 27.3 | 460M| 117 | 35 | 200 | 352 | 200 | 301 | 0 |2388 |7061 |-2.962207e+01 |-1.500000e+01 | 49.36%
1433.63/1433.64 c 1434s|850000 |312218 | 23153k| 27.2 | 465M| 117 | - | 200 | 353 | 200 | 301 | 0 |2413 |7097 |-2.960666e+01 |-1.500000e+01 | 49.34%
1447.53/1447.54 c 1448s|860000 |315532 | 23391k| 27.2 | 470M| 117 | 40 | 200 | 344 | 200 | 301 | 0 |2427 |7131 |-2.959492e+01 |-1.500000e+01 | 49.32%
1461.42/1461.43 c 1461s|870000 |318806 | 23633k| 27.2 | 475M| 117 | 87 | 200 | 335 | 200 | 301 | 0 |2439 |7174 |-2.958049e+01 |-1.500000e+01 | 49.29%
1475.03/1475.08 c 1475s|880000 |322044 | 23870k| 27.1 | 480M| 117 | 35 | 200 | 342 | 200 | 301 | 0 |2459 |7197 |-2.956929e+01 |-1.500000e+01 | 49.27%
1489.12/1489.11 c 1489s|890000 |325242 | 24113k| 27.1 | 485M| 117 | - | 200 | 328 | 200 | 301 | 0 |2468 |7231 |-2.955021e+01 |-1.500000e+01 | 49.24%
1503.23/1503.22 c 1503s|900000 |328490 | 24357k| 27.1 | 490M| 117 | - | 200 | 341 | 200 | 301 | 0 |2490 |7262 |-2.952850e+01 |-1.500000e+01 | 49.20%
1517.17/1517.24 c 1517s|910000 |331750 | 24598k| 27.0 | 495M| 117 | 31 | 200 | 351 | 200 | 301 | 0 |2520 |7300 |-2.951202e+01 |-1.500000e+01 | 49.17%
1531.15/1531.28 c 1531s|920000 |335018 | 24840k| 27.0 | 500M| 117 | 26 | 200 | 336 | 200 | 301 | 0 |2524 |7336 |-2.949637e+01 |-1.500000e+01 | 49.15%
1545.04/1545.17 c 1545s|930000 |338204 | 25079k| 27.0 | 505M| 117 | - | 200 | 326 | 200 | 301 | 0 |2533 |7371 |-2.948024e+01 |-1.500000e+01 | 49.12%
1558.84/1558.97 c 1559s|940000 |341466 | 25317k| 26.9 | 510M| 117 | - | 200 | 334 | 200 | 301 | 0 |2550 |7415 |-2.946139e+01 |-1.500000e+01 | 49.09%
1572.84/1572.98 c 1573s|950000 |344732 | 25559k| 26.9 | 515M| 117 | 32 | 200 | 339 | 200 | 301 | 0 |2567 |7444 |-2.944261e+01 |-1.500000e+01 | 49.05%
1586.64/1586.75 c 1587s|960000 |347956 | 25796k| 26.9 | 520M| 118 | 48 | 200 | 339 | 200 | 301 | 0 |2581 |7491 |-2.942366e+01 |-1.500000e+01 | 49.02%
1600.46/1600.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1600.46/1600.59 c 1601s|970000 |351090 | 26037k| 26.8 | 525M| 118 | - | 200 | 337 | 200 | 301 | 0 |2593 |7511 |-2.940504e+01 |-1.500000e+01 | 48.99%
1614.23/1614.31 c 1614s|980000 |354274 | 26274k| 26.8 | 530M| 118 | 33 | 200 | 348 | 200 | 301 | 0 |2617 |7551 |-2.938523e+01 |-1.500000e+01 | 48.95%
1627.95/1628.06 c 1628s|990000 |357484 | 26513k| 26.8 | 535M| 118 | - | 200 | 357 | 200 | 301 | 0 |2639 |7572 |-2.937197e+01 |-1.500000e+01 | 48.93%
1641.73/1641.89 c 1642s| 1000k|360692 | 26751k| 26.8 | 540M| 119 | 34 | 200 | 345 | 200 | 301 | 0 |2655 |7611 |-2.935397e+01 |-1.500000e+01 | 48.90%
1655.45/1655.57 c 1656s| 1010k|363942 | 26987k| 26.7 | 545M| 119 | - | 200 | 356 | 200 | 301 | 0 |2681 |7638 |-2.933957e+01 |-1.500000e+01 | 48.87%
1669.24/1669.30 c 1669s| 1020k|367068 | 27224k| 26.7 | 550M| 119 | 77 | 200 | 357 | 200 | 301 | 0 |2696 |7670 |-2.932603e+01 |-1.500000e+01 | 48.85%
1682.85/1682.97 c 1683s| 1030k|370190 | 27461k| 26.7 | 555M| 119 | - | 200 | 360 | 200 | 301 | 0 |2718 |7690 |-2.930603e+01 |-1.500000e+01 | 48.82%
1696.54/1696.66 c 1697s| 1040k|373350 | 27698k| 26.6 | 560M| 119 | - | 200 | 352 | 200 | 301 | 0 |2734 |7726 |-2.928493e+01 |-1.500000e+01 | 48.78%
1710.24/1710.39 c 1710s| 1050k|376482 | 27933k| 26.6 | 565M| 119 | 38 | 200 | 338 | 200 | 301 | 0 |2750 |7763 |-2.927395e+01 |-1.500000e+01 | 48.76%
1724.04/1724.12 c 1724s| 1060k|379650 | 28171k| 26.6 | 569M| 119 | 44 | 200 | 343 | 200 | 301 | 0 |2771 |7796 |-2.925971e+01 |-1.500000e+01 | 48.73%
1737.54/1737.67 c 1738s| 1070k|382772 | 28408k| 26.5 | 574M| 119 | 49 | 200 | 349 | 200 | 301 | 0 |2786 |7836 |-2.924964e+01 |-1.500000e+01 | 48.72%
1751.15/1751.24 c 1751s| 1080k|385926 | 28644k| 26.5 | 579M| 119 | - | 200 | 336 | 200 | 301 | 0 |2798 |7859 |-2.923604e+01 |-1.500000e+01 | 48.69%
1764.54/1764.69 c 1765s| 1090k|389052 | 28875k| 26.5 | 584M| 119 | 30 | 200 | 338 | 200 | 301 | 0 |2814 |7890 |-2.921627e+01 |-1.500000e+01 | 48.66%
1778.04/1778.13 c 1778s| 1100k|392192 | 29108k| 26.5 | 589M| 119 | - | 200 | 343 | 200 | 301 | 0 |2828 |7926 |-2.919771e+01 |-1.500000e+01 | 48.63%
1791.24/1791.34 c 1791s| 1110k|395282 | 29337k| 26.4 | 594M| 119 | 54 | 200 | 337 | 200 | 301 | 0 |2845 |7947 |-2.918499e+01 |-1.500000e+01 | 48.60%
1799.94/1800.00 c
1799.94/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.94/1800.00 c Solving Time (sec) : 1800.00
1799.94/1800.00 c Solving Nodes : 1116448
1799.94/1800.00 c Primal Bound : -1.50000000000000e+01 (478 solutions)
1799.94/1800.00 c Dual Bound : -2.91751971086110e+01
1799.94/1800.00 c Gap : 48.59 %
1799.94/1800.00 s SATISFIABLE
1799.94/1800.00 v -x197 -x164 -x113 x185 -x170 -x158 -x132 -x171 -x135 -x150 -x104 -x166 -x160 -x144 -x119 -x110 -x106 -x157 -x146 -x114 -x192 -x180
1799.94/1800.00 v -x161 -x145 -x128 -x122 -x154 x112 -x151 -x124 -x134 x178 -x172 -x136 -x187 x181 -x168 -x163 -x156 -x152 -x131 -x118 -x117
1799.94/1800.00 v -x109 -x105 x198 -x190 x200 -x183 -x123 -x153 -x182 x189 -x193 -x149 x195 -x191 -x179 -x162 -x107 -x175 x137 -x115 -x101 -x188
1799.94/1800.00 v -x184 -x167 -x133 -x130 x129 -x127 -x121 -x120 -x111 -x108 -x155 x199 -x138 -x148 -x174 -x139 -x143 -x116 x196 -x176 -x142
1799.94/1800.00 v x103 -x140 -x194 -x125 x159 -x165 -x102 -x177 x173 -x126 -x141 -x169 -x186 -x147 -x100 -x99 -x98 x97 -x96 -x95 x94 -x93 -x92
1799.94/1800.00 v -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 x82 -x81 -x80 x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 x69 -x68 -x67 -x66
1799.94/1800.00 v -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 x46 -x45 -x44 -x43 -x42 x41 -x40
1799.94/1800.00 v x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14
1799.94/1800.00 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1799.94/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.94/1800.00 c Total Time : 1800.00
1799.94/1800.00 c solving : 1800.00
1799.94/1800.00 c presolving : 0.07 (included in solving)
1799.94/1800.00 c reading : 0.02 (included in solving)
1799.94/1800.00 c Original Problem :
1799.94/1800.00 c Problem name : HOME/instance-3450743-1307111034.opb
1799.94/1800.00 c Variables : 3290 (3290 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.94/1800.00 c Constraints : 3591 initial, 3591 maximal
1799.94/1800.00 c Presolved Problem :
1799.94/1800.00 c Problem name : t_HOME/instance-3450743-1307111034.opb
1799.94/1800.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.94/1800.00 c Constraints : 301 initial, 493 maximal
1799.94/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.94/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.94/1800.00 c dualfix : 0.00 3090 0 0 0 0 0 0 0 0
1799.94/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.94/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.94/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1799.94/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.94/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1799.94/1800.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1799.94/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1799.94/1800.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1799.94/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1799.94/1800.00 c pseudoboolean : 0.01 0 0 0 0 0 3290 0 0 0
1799.94/1800.00 c root node : - 0 - - 0 - - - - -
1799.94/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.94/1800.00 c integral : 0 0 0 770125 0 482 0 33 714 0 0 1539150
1799.94/1800.00 c knapsack : 200 1 2051508 1 2 477 59367 785 8220331 0 0 0
1799.94/1800.00 c setppc : 100 1 2041079 1 2 476 3099 0 351160 0 0 0
1799.94/1800.00 c linear : 1 1 2050722 1 0 476 0 724 61 0 0 0
1799.94/1800.00 c logicor : 0+ 0 401634 0 0 0 0 0 343 0 0 0
1799.94/1800.00 c countsols : 0 0 0 1 2 480 0 0 0 0 0 0
1799.94/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.94/1800.00 c integral : 44.44 0.00 0.00 44.44 0.00 0.00 0.00
1799.94/1800.00 c knapsack : 23.88 0.00 23.80 0.00 0.00 0.05 0.02
1799.94/1800.00 c setppc : 1.69 0.00 1.69 0.00 0.00 0.00 0.00
1799.94/1800.00 c linear : 1.99 0.00 1.99 0.00 0.00 0.00 0.00
1799.94/1800.00 c logicor : 0.58 0.00 0.58 0.00 0.00 0.00 0.00
1799.94/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.94/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.94/1800.00 c vbounds : 0 0 0 0
1799.94/1800.00 c rootredcost : 6 0 0 0
1799.94/1800.00 c pseudoobj : 2059911 1570 1074 7696
1799.94/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1799.94/1800.00 c vbounds : 0.35 0.35 0.00
1799.94/1800.00 c rootredcost : 0.43 0.43 0.00
1799.94/1800.00 c pseudoobj : 6.58 6.57 0.01
1799.94/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.94/1800.00 c propagation : 0.07 785 785 5383 60.7 0 0.0 -
1799.94/1800.00 c infeasible LP : 0.08 1799 1730 6078 26.9 0 0.0 0
1799.94/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.94/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.94/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.94/1800.00 c applied globally : - - - 2331 15.9 - - -
1799.94/1800.00 c applied locally : - - - 523 43.0 - - -
1799.94/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.94/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1799.94/1800.00 c redcost : 5.10 834569 0 120068 0 0
1799.94/1800.00 c impliedbounds : 0.00 1 0 0 0 0
1799.94/1800.00 c intobj : 0.00 0 0 0 0 0
1799.94/1800.00 c gomory : 0.02 1 0 0 0 0
1799.94/1800.00 c cgmip : 0.00 0 0 0 0 0
1799.94/1800.00 c closecuts : 0.00 0 0 0 0 0
1799.94/1800.00 c strongcg : 0.01 1 0 0 0 0
1799.94/1800.00 c cmir : 0.00 1 0 0 0 0
1799.94/1800.00 c flowcover : 0.00 1 0 0 0 0
1799.94/1800.00 c clique : 0.00 1 0 0 0 0
1799.94/1800.00 c zerohalf : 0.00 0 0 0 0 0
1799.94/1800.00 c mcf : 0.00 1 0 0 0 0
1799.94/1800.00 c oddcycle : 0.00 0 0 0 0 0
1799.94/1800.00 c rapidlearning : 0.03 1 0 0 0 0
1799.94/1800.00 c Pricers : Time Calls Vars
1799.94/1800.00 c problem variables: 0.00 0 0
1799.94/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.94/1800.00 c relpscost : 44.01 770124 33 714 0 0 1539150
1799.94/1800.00 c pscost : 0.00 0 0 0 0 0 0
1799.94/1800.00 c inference : 0.00 2 0 0 0 0 4
1799.94/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1799.94/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1799.94/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1799.94/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1799.94/1800.00 c random : 0.00 0 0 0 0 0 0
1799.94/1800.00 c Primal Heuristics : Time Calls Found
1799.94/1800.00 c LP solutions : 0.05 - 1
1799.94/1800.00 c pseudo solutions : 0.00 - 0
1799.94/1800.00 c intshifting : 0.01 0 0
1799.94/1800.00 c oneopt : 0.26 6 0
1799.94/1800.00 c crossover : 4.58 17 5
1799.94/1800.00 c rootsoldiving : 3.05 631 108
1799.94/1800.00 c objpscostdiving : 5.86 631 88
1799.94/1800.00 c coefdiving : 3.32 1262 1
1799.94/1800.00 c pscostdiving : 3.42 1262 0
1799.94/1800.00 c fracdiving : 3.30 1262 0
1799.94/1800.00 c veclendiving : 4.37 1262 1
1799.94/1800.00 c linesearchdiving : 3.26 1262 1
1799.94/1800.00 c guideddiving : 3.65 1262 0
1799.94/1800.00 c trivial : 0.00 2 1
1799.94/1800.00 c shiftandpropagate: 0.00 0 0
1799.94/1800.00 c simplerounding : 0.15 0 0
1799.94/1800.00 c zirounding : 19.86 0 0
1799.94/1800.00 c rounding : 8.80 43030 1
1799.94/1800.00 c shifting : 23.15 53092 270
1799.94/1800.00 c twoopt : 0.00 0 0
1799.94/1800.00 c fixandinfer : 0.00 0 0
1799.94/1800.00 c feaspump : 0.01 0 0
1799.94/1800.00 c clique : 0.00 0 0
1799.94/1800.00 c intdiving : 0.00 0 0
1799.94/1800.00 c actconsdiving : 0.00 0 0
1799.94/1800.00 c octane : 0.00 0 0
1799.94/1800.00 c rens : 0.01 0 0
1799.94/1800.00 c rins : 0.00 0 0
1799.94/1800.00 c localbranching : 0.00 0 0
1799.94/1800.00 c mutation : 0.00 0 0
1799.94/1800.00 c dins : 0.00 0 0
1799.94/1800.00 c vbounds : 0.00 0 0
1799.94/1800.00 c undercover : 0.00 0 0
1799.94/1800.00 c subnlp : 0.17 0 0
1799.94/1800.00 c trysol : 0.25 0 0
1799.94/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1799.94/1800.00 c primal LP : 0.00 0 0 0.00 -
1799.94/1800.00 c dual LP : 1532.80 1136416 28982531 25.50 18908.28
1799.94/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1799.94/1800.00 c barrier LP : 0.00 0 0 0.00 -
1799.94/1800.00 c diving/probing LP: 24.58 96143 504191 5.24 20514.75
1799.94/1800.00 c strong branching : 33.43 7967 369573 46.39 11054.64
1799.94/1800.00 c (at root node) : - 15 3255 217.00 -
1799.94/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1799.94/1800.00 c B&B Tree :
1799.94/1800.00 c number of runs : 1
1799.94/1800.00 c nodes : 1116448
1799.94/1800.00 c nodes (total) : 1116448
1799.94/1800.00 c nodes left : 397326
1799.94/1800.00 c max depth : 119
1799.94/1800.00 c max depth (total): 119
1799.94/1800.00 c backtracks : 74809 (6.7%)
1799.94/1800.00 c delayed cutoffs : 0
1799.94/1800.00 c repropagations : 436 (343 domain reductions, 0 cutoffs)
1799.94/1800.00 c avg switch length: 5.76
1799.94/1800.00 c switching time : 30.96
1799.94/1800.00 c Solution :
1799.94/1800.00 c Solutions found : 478 (8 improvements)
1799.94/1800.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1799.94/1800.00 c Primal Bound : -1.50000000000000e+01 (in run 1, after 230299 nodes, 516.53 seconds, depth 61, found by <relaxation>)
1799.94/1800.00 c Dual Bound : -2.91751971086110e+01
1799.94/1800.00 c Gap : 48.59 %
1799.94/1800.00 c Root Dual Bound : -5.00000000000000e+01
1799.94/1800.00 c Root Iterations : 1056
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450743-1307111034/watcher-3450743-1307111034 -o /tmp/evaluation-result-3450743-1307111034/solver-3450743-1307111034 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450743-1307111034.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 2.01 2.00 2/489 11975
/proc/meminfo: memFree=21133192/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=13372 CPUtime=0 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 2329 0 0 0 0 0 0 0 23 0 1 0 555294637 13692928 2282 33554432000 4194304 9163163 140734976817456 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11975/statm: 3343 2282 410 1214 0 2125 0
[startup+0.0668781 s]
/proc/loadavg: 1.99 2.01 2.00 2/489 11975
/proc/meminfo: memFree=21133192/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=28904 CPUtime=0.06 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 6280 0 0 0 6 0 0 0 23 0 1 0 555294637 29597696 5975 33554432000 4194304 9163163 140734976817456 18446744073709551615 4336932 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 7226 5977 529 1214 0 6008 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 28904
[startup+0.100879 s]
/proc/loadavg: 1.99 2.01 2.00 2/489 11975
/proc/meminfo: memFree=21133192/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=32408 CPUtime=0.09 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 7257 0 0 0 9 0 0 0 23 0 1 0 555294637 33185792 6953 33554432000 4194304 9163163 140734976817456 18446744073709551615 8045543 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 8164 6963 618 1214 0 6946 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32408
[startup+0.300837 s]
/proc/loadavg: 1.99 2.01 2.00 2/489 11975
/proc/meminfo: memFree=21133192/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=34052 CPUtime=0.29 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 12540 0 0 0 27 2 0 0 25 0 1 0 555294637 34869248 7556 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 8513 7556 731 1214 0 7295 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34052
[startup+0.700761 s]
/proc/loadavg: 1.99 2.01 2.00 2/489 11975
/proc/meminfo: memFree=21133192/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=34856 CPUtime=0.69 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 12676 0 0 0 67 2 0 0 25 0 1 0 555294637 35692544 7692 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 8714 7692 732 1214 0 7496 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34856
[startup+1.50063 s]
/proc/loadavg: 1.99 2.01 2.00 5/490 11976
/proc/meminfo: memFree=21097968/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=35036 CPUtime=1.49 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 12711 0 0 0 145 4 0 0 25 0 1 0 555294637 35876864 7727 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 8759 7727 733 1214 0 7541 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35036
[startup+3.10034 s]
/proc/loadavg: 1.99 2.01 2.00 3/489 12003
/proc/meminfo: memFree=21424532/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=35036 CPUtime=3.09 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 12712 0 0 0 299 10 0 0 25 0 1 0 555294637 35876864 7728 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 8759 7728 734 1214 0 7541 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35036
[startup+6.30078 s]
/proc/loadavg: 1.99 2.01 2.00 3/489 12004
/proc/meminfo: memFree=21413756/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=35036 CPUtime=6.29 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 12712 0 0 0 607 22 0 0 25 0 1 0 555294637 35876864 7728 33554432000 4194304 9163163 140734976817456 18446744073709551615 7390991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 8759 7728 734 1214 0 7541 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35036
[startup+12.7006 s]
/proc/loadavg: 1.99 2.01 2.00 3/489 12004
/proc/meminfo: memFree=21404888/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=35036 CPUtime=12.69 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 12735 0 0 0 1226 43 0 0 25 0 1 0 555294637 35876864 7751 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 8759 7751 737 1214 0 7541 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35036
[startup+25.5004 s]
/proc/loadavg: 1.99 2.01 2.00 3/489 12004
/proc/meminfo: memFree=21390424/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=48148 CPUtime=25.49 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 15709 0 0 0 2443 106 0 0 25 0 1 0 555294637 49303552 10725 33554432000 4194304 9163163 140734976817456 18446744073709551615 7389508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 12037 10725 742 1214 0 10819 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48148
[startup+51.1009 s]
/proc/loadavg: 1.99 2.01 2.00 3/489 12005
/proc/meminfo: memFree=21388260/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=47976 CPUtime=51.1 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 20567 0 0 0 4850 260 0 0 25 0 1 0 555294637 49127424 11077 33554432000 4194304 9163163 140734976817456 18446744073709551615 7390076 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 11994 11077 743 1214 0 10776 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 47976
[startup+102.318 s]
/proc/loadavg: 1.99 2.00 2.00 3/489 12006
/proc/meminfo: memFree=21368036/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=64612 CPUtime=102.32 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 27863 0 0 0 9641 591 0 0 25 0 1 0 555294637 66162688 15240 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 16153 15240 743 1214 0 14935 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 64612
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/489 12008
/proc/meminfo: memFree=21345208/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=88588 CPUtime=162.29 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 36935 0 0 0 15244 985 0 0 25 0 1 0 555294637 90714112 21291 33554432000 4194304 9163163 140734976817456 18446744073709551615 5823418 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 22147 21291 743 1214 0 20929 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 88588
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/489 12009
/proc/meminfo: memFree=21326212/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=110572 CPUtime=222.3 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 45391 0 0 0 20843 1387 0 0 25 0 1 0 555294637 113225728 26870 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 27643 26870 743 1214 0 26425 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 110572
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/489 12011
/proc/meminfo: memFree=21305240/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=132196 CPUtime=282.29 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 50754 0 0 0 26424 1805 0 0 25 0 1 0 555294637 135368704 32233 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 33049 32233 743 1214 0 31831 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 132196
[startup+342.301 s]
/proc/loadavg: 2.07 2.02 2.01 3/489 12013
/proc/meminfo: memFree=21279800/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=157884 CPUtime=342.3 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 59449 0 0 0 31996 2234 0 0 25 0 1 0 555294637 161673216 38275 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 39471 38275 743 1214 0 38253 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 157884
[startup+402.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/489 12014
/proc/meminfo: memFree=21257572/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=181240 CPUtime=402.3 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 65345 0 0 0 37568 2662 0 0 25 0 1 0 555294637 185589760 44171 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 45310 44171 743 1214 0 44092 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 181240
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/489 12016
/proc/meminfo: memFree=21235244/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=202636 CPUtime=462.3 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 70780 0 0 0 43133 3097 0 0 25 0 1 0 555294637 207499264 49596 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 50659 49596 743 1214 0 49441 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 202636
[startup+522.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/489 12017
/proc/meminfo: memFree=21215140/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=221040 CPUtime=522.3 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 91862 0 0 0 48675 3555 0 0 25 0 1 0 555294637 226344960 54252 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 55260 54252 743 1214 0 54042 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 221040
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/489 12019
/proc/meminfo: memFree=21213368/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=223340 CPUtime=582.3 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 98359 0 0 0 54255 3975 0 0 25 0 1 0 555294637 228700160 54856 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 55835 54856 743 1214 0 54617 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 223340
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/489 12027
/proc/meminfo: memFree=21118816/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=314460 CPUtime=882.3 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 123816 0 0 0 82102 6128 0 0 25 0 1 0 555294637 322007040 77797 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 78615 77797 743 1214 0 77397 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 314460
[startup+942.301 s]
/proc/loadavg: 2.08 2.03 2.01 3/489 12029
/proc/meminfo: memFree=21100556/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=335076 CPUtime=942.31 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 128981 0 0 0 87654 6577 0 0 25 0 1 0 555294637 343117824 82961 33554432000 4194304 9163163 140734976817456 18446744073709551615 7390296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 83769 82961 743 1214 0 82551 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 335076
[startup+1002.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/489 12030
/proc/meminfo: memFree=21072856/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=364388 CPUtime=1002.31 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 135354 0 0 0 93211 7020 0 0 25 0 1 0 555294637 373133312 89334 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 91097 89334 743 1214 0 89879 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 364388
[startup+1062.3 s]
/proc/loadavg: 2.17 2.05 2.01 3/489 12032
/proc/meminfo: memFree=21057440/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=380884 CPUtime=1062.31 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 139589 0 0 0 98768 7463 0 0 25 0 1 0 555294637 390025216 93569 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 95221 93569 743 1214 0 94003 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 380884
[startup+1122.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/489 12033
/proc/meminfo: memFree=21035232/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=403036 CPUtime=1122.31 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 145124 0 0 0 104316 7915 0 0 25 0 1 0 555294637 412708864 99103 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 100759 99103 743 1214 0 99541 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 403036
[startup+1182.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/489 12035
/proc/meminfo: memFree=21008676/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=426188 CPUtime=1182.31 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 153316 0 0 0 109868 8363 0 0 25 0 1 0 555294637 436416512 104948 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 106547 104948 743 1214 0 105329 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 426188
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/489 12037
/proc/meminfo: memFree=20992272/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=442092 CPUtime=1242.32 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 157381 0 0 0 115415 8817 0 0 25 0 1 0 555294637 452702208 109012 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 110523 109012 743 1214 0 109305 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 442092
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 12038
/proc/meminfo: memFree=20967444/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=464724 CPUtime=1302.32 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 163116 0 0 0 120961 9271 0 0 25 0 1 0 555294637 475877376 114747 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 116181 114747 743 1214 0 114963 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 464724
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 12040
/proc/meminfo: memFree=20939264/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=494032 CPUtime=1362.32 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 170434 0 0 0 126507 9725 0 0 25 0 1 0 555294637 505888768 122065 33554432000 4194304 9163163 140734976817456 18446744073709551615 7375476 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 123508 122065 743 1214 0 122290 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 494032
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 12041
/proc/meminfo: memFree=20919024/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=511924 CPUtime=1422.34 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 175008 0 0 0 132047 10187 0 0 25 0 1 0 555294637 524210176 126639 33554432000 4194304 9163163 140734976817456 18446744073709551615 7390851 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 127981 126639 743 1214 0 126763 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 511924
[startup+1482.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/489 12043
/proc/meminfo: memFree=20898652/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=533372 CPUtime=1482.32 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 180418 0 0 0 137579 10653 0 0 25 0 1 0 555294637 546172928 132049 33554432000 4194304 9163163 140734976817456 18446744073709551615 5842602 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 133343 132049 743 1214 0 132125 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 533372
[startup+1542.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/489 12045
/proc/meminfo: memFree=20878632/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=552400 CPUtime=1542.23 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 185243 0 0 0 143113 11110 0 0 25 0 1 0 555294637 565657600 136874 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 138100 136874 743 1214 0 136882 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 552400
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/489 12046
/proc/meminfo: memFree=20853552/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=576500 CPUtime=1602.24 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 191272 0 0 0 148656 11568 0 0 25 0 1 0 555294637 590336000 142903 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 144125 142903 743 1214 0 142907 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 576500
[startup+1662.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/489 12048
/proc/meminfo: memFree=20830344/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=598672 CPUtime=1662.24 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 196873 0 0 0 154194 12030 0 0 25 0 1 0 555294637 613040128 148504 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 149668 148504 743 1214 0 148450 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 598672
[startup+1722.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/489 12049
/proc/meminfo: memFree=20809488/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=619224 CPUtime=1722.24 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 204348 0 0 0 159738 12486 0 0 25 0 1 0 555294637 634085376 153713 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 154806 153713 743 1214 0 153588 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 619224
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/489 12051
/proc/meminfo: memFree=20784548/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=642972 CPUtime=1782.24 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 210318 0 0 0 165270 12954 0 0 25 0 1 0 555294637 658403328 159683 33554432000 4194304 9163163 140734976817456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11975/statm: 160743 159683 743 1214 0 159525 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 642972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/489 12051
/proc/meminfo: memFree=20778320/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=649288 CPUtime=1800.05 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 211948 0 0 0 166926 13079 0 0 18 0 1 0 555294637 664870912 161313 33554432000 4194304 9163163 140734976817456 18446744073709551615 6918311 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11975/statm: 162322 161313 746 1214 0 161104 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 649288
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/489 12051
/proc/meminfo: memFree=20778320/32951124 swapFree=46575304/67111528
[pid=11975] ppid=11973 vsize=649288 CPUtime=1800.05 cores=1,3,5,7
/proc/11975/stat : 11975 (scip-2.0.1.4b.l) R 11973 11975 5006 0 -1 4202496 211948 0 0 0 166926 13079 0 0 18 0 1 0 555294637 664870912 161313 33554432000 4194304 9163163 140734976817456 18446744073709551615 6918311 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11975/statm: 162322 161313 746 1214 0 161104 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 649288
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.15
CPU time (s): 1800.1
CPU user time (s): 1669.27
CPU system time (s): 130.822
CPU usage (%): 99.9972
Max. virtual memory (cumulated for all children) (KiB): 649288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1669.27
system time used= 130.822
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211948
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= 3315
runsolver used 7.93379 second user time and 19.914 second system time
The end