0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3488909-1307760903.opb>
0.00/0.00 c original problem has 787 variables (787 bin, 0 int, 0 impl, 0 cont) and 65 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 2 del vars, 0 del conss, 0 add conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 48 clqs
0.00/0.01 c (round 2) 2 del vars, 1 del conss, 0 add conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 48 clqs
0.00/0.01 c (round 3) 2 del vars, 1 del conss, 0 add conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 64 upgd conss, 0 impls, 48 clqs
0.00/0.01 c (round 4) 3 del vars, 1 del conss, 0 add conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 64 upgd conss, 0 impls, 48 clqs
0.00/0.02 c (0.0s) probing: 101/784 (12.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 3 deleted vars, 1 deleted constraints, 0 added constraints, 2 tightened bounds, 0 added holes, 2 changed sides, 2 changed coefficients
0.00/0.02 c 0 implications, 48 cliques
0.00/0.02 c presolved problem has 784 variables (784 bin, 0 int, 0 impl, 0 cont) and 64 constraints
0.00/0.02 c 16 constraints of type <knapsack>
0.00/0.02 c 48 constraints of type <setppc>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 2.0.1.5
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1797
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 13950
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # belongs reading time to solving time?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c timing/reading = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 o 0
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c T 0.0s| 1 | 0 | 0 | - |2866k| 0 | - | 784 | 64 | 784 | 64 | 0 | 0 | 0 | -- | 0.000000e+00 | 100.00%
0.02/0.05 c 0.1s| 1 | 0 | 2199 | - |2799k| 0 | 28 | 784 | 64 | 784 | 64 | 0 | 0 | 0 |-2.050190e+04 | 0.000000e+00 | 100.00%
0.02/0.05 o -16384
0.02/0.05 c R 0.1s| 1 | 0 | 2201 | - |2817k| 0 | 28 | 784 | 64 | 784 | 64 | 0 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.02/0.05 c 0.1s| 1 | 0 | 2201 | - |2819k| 0 | 28 | 784 | 64 | 784 | 64 | 0 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.09/0.14 c 0.1s| 1 | 0 | 2204 | - |2902k| 0 | 30 | 784 | 64 | 784 | 65 | 6 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.09/0.15 c 0.2s| 1 | 0 | 2210 | - |2987k| 0 | 31 | 784 | 64 | 784 | 78 | 19 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.09/0.17 c 0.2s| 1 | 0 | 2230 | - |3070k| 0 | 46 | 784 | 64 | 784 | 90 | 31 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.19/0.20 c 0.2s| 1 | 0 | 2236 | - |3142k| 0 | 48 | 784 | 64 | 784 | 97 | 38 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.19/0.23 c 0.2s| 1 | 0 | 2238 | - |3196k| 0 | 49 | 784 | 64 | 784 | 102 | 43 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.19/0.27 c 0.3s| 1 | 0 | 2240 | - |3236k| 0 | 50 | 784 | 64 | 784 | 103 | 44 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.29/0.34 c 0.3s| 1 | 0 | 3719 | - |3246k| 0 | 47 | 784 | 64 | 784 | 103 | 44 | 0 | 24 |-2.028658e+04 |-1.638400e+04 | 19.24%
0.29/0.37 c 0.4s| 1 | 0 | 3739 | - |3341k| 0 | 58 | 784 | 64 | 784 | 110 | 51 | 0 | 24 |-2.028630e+04 |-1.638400e+04 | 19.24%
0.29/0.39 c 0.4s| 1 | 2 | 3739 | - |3342k| 0 | 58 | 784 | 64 | 784 | 110 | 51 | 0 | 42 |-2.028630e+04 |-1.638400e+04 | 19.24%
12.29/12.38 c 12.4s| 10000 | 9963 | 92701 | 9.0 | 17M| 73 | 41 | 784 |4097 | 784 | 84 | 51 |5383 |4468 |-2.009473e+04 |-1.638400e+04 | 18.47%
19.69/19.79 c 19.8s| 20000 | 19963 |161095 | 7.9 | 26M| 76 | 28 | 784 |2978 | 784 | 84 | 51 |8014 |4751 |-2.009473e+04 |-1.638400e+04 | 18.47%
27.09/27.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.09/27.15 c 27.1s| 30000 | 29957 |230713 | 7.6 | 36M| 84 | 17 | 784 |2887 | 784 | 84 | 51 | 10k|4846 |-2.009473e+04 |-1.638400e+04 | 18.47%
34.29/34.38 c 34.4s| 40000 | 39939 |300482 | 7.5 | 46M| 84 | 18 | 784 |2075 | 784 | 84 | 51 | 13k|4916 |-2.009473e+04 |-1.638400e+04 | 18.47%
42.79/42.89 c 42.9s| 50000 | 48307 |386027 | 7.7 | 56M| 84 | - | 784 |2737 | 784 | 84 | 51 | 19k|5742 |-2.009473e+04 |-1.638400e+04 | 18.47%
51.39/51.48 c 51.5s| 60000 | 55883 |477139 | 7.9 | 64M| 84 | 37 | 784 |1172 | 784 | 84 | 51 | 25k|6520 |-2.009473e+04 |-1.638400e+04 | 18.47%
59.49/59.51 c 59.5s| 70000 | 63663 |563702 | 8.0 | 73M| 84 | 37 | 784 |1087 | 784 | 84 | 51 | 31k|7194 |-2.009473e+04 |-1.638400e+04 | 18.47%
67.40/67.45 c 67.4s| 80000 | 70938 |647907 | 8.1 | 82M| 84 | 28 | 784 |1207 | 784 | 84 | 51 | 37k|7854 |-2.009473e+04 |-1.638400e+04 | 18.47%
75.10/75.19 c 75.2s| 90000 | 78138 |729390 | 8.1 | 90M| 84 | 26 | 784 |1586 | 784 | 84 | 51 | 44k|8455 |-2.009473e+04 |-1.638400e+04 | 18.47%
82.49/82.54 c 82.5s|100000 | 85616 |805686 | 8.0 | 99M| 85 | 22 | 784 |1671 | 784 | 84 | 51 | 49k|8972 |-2.009473e+04 |-1.638400e+04 | 18.47%
89.89/89.90 c 89.9s|110000 | 93615 |887257 | 8.0 | 108M| 85 | 42 | 784 |1646 | 784 | 84 | 51 | 55k|9320 |-2.009473e+04 |-1.638400e+04 | 18.47%
94.50/94.54 c [src/scip/lpi_spx.cpp:450] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
97.59/97.60 c 97.6s|120000 |101680 |970687 | 8.1 | 116M| 86 | 18 | 784 |1171 | 784 | 84 | 51 | 60k|9900 |-2.009473e+04 |-1.638400e+04 | 18.47%
104.89/104.97 c 105s|130000 |109112 | 1049k| 8.1 | 125M| 86 | 22 | 784 |1637 | 784 | 84 | 51 | 66k| 10k|-2.009473e+04 |-1.638400e+04 | 18.47%
112.30/112.35 c 112s|140000 |116924 | 1127k| 8.0 | 134M| 86 | 25 | 784 |1543 | 784 | 84 | 51 | 72k| 10k|-2.009473e+04 |-1.638400e+04 | 18.47%
119.70/119.77 c 120s|150000 |124075 | 1207k| 8.0 | 142M| 89 | - | 784 |1724 | 784 | 84 | 51 | 79k| 11k|-2.009473e+04 |-1.638400e+04 | 18.47%
123.79/123.88 c [src/scip/lpi_spx.cpp:450] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
127.89/127.98 c 128s|160000 |131459 | 1300k| 8.1 | 150M| 90 | 28 | 784 |1624 | 784 | 84 | 51 | 85k| 11k|-2.009473e+04 |-1.638400e+04 | 18.47%
135.59/135.66 c 136s|170000 |139252 | 1386k| 8.1 | 160M| 90 | 31 | 784 |2058 | 784 | 84 | 51 | 90k| 12k|-2.009473e+04 |-1.638400e+04 | 18.47%
143.69/143.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.69/143.75 c 144s|180000 |146496 | 1475k| 8.2 | 168M| 90 | 24 | 784 |2375 | 784 | 84 | 51 | 98k| 12k|-2.009473e+04 |-1.638400e+04 | 18.47%
151.80/151.84 c 152s|190000 |154402 | 1567k| 8.2 | 177M| 90 | - | 784 |2096 | 784 | 84 | 51 | 103k| 13k|-2.009473e+04 |-1.638400e+04 | 18.47%
158.99/159.10 c 159s|200000 |162767 | 1645k| 8.2 | 187M| 90 | 24 | 784 |2253 | 784 | 84 | 51 | 108k| 13k|-2.009473e+04 |-1.638400e+04 | 18.47%
166.60/166.62 c 167s|210000 |170304 | 1726k| 8.2 | 195M| 94 | - | 784 |2246 | 784 | 84 | 51 | 115k| 13k|-2.009473e+04 |-1.638400e+04 | 18.47%
174.69/174.71 c 175s|220000 |177919 | 1818k| 8.3 | 204M| 94 | 23 | 784 |2545 | 784 | 84 | 51 | 122k| 14k|-2.009473e+04 |-1.638400e+04 | 18.47%
182.69/182.70 c 183s|230000 |185866 | 1910k| 8.3 | 214M| 94 | 22 | 784 |2562 | 784 | 84 | 51 | 128k| 14k|-2.009473e+04 |-1.638400e+04 | 18.47%
190.40/190.49 c 190s|240000 |193835 | 1998k| 8.3 | 223M| 94 | - | 784 |2805 | 784 | 84 | 51 | 133k| 14k|-2.009473e+04 |-1.638400e+04 | 18.47%
198.69/198.79 c 199s|250000 |200941 | 2093k| 8.4 | 231M| 94 | 24 | 784 |2311 | 784 | 84 | 51 | 139k| 15k|-2.009473e+04 |-1.638400e+04 | 18.47%
206.70/206.71 c 207s|260000 |208176 | 2182k| 8.4 | 239M| 94 | 30 | 784 |2708 | 784 | 84 | 51 | 145k| 15k|-2.009473e+04 |-1.638400e+04 | 18.47%
214.70/214.70 c 215s|270000 |216690 | 2276k| 8.4 | 249M| 94 | 31 | 784 |2341 | 784 | 84 | 51 | 150k| 16k|-2.009473e+04 |-1.638400e+04 | 18.47%
223.30/223.33 c 223s|280000 |224684 | 2380k| 8.5 | 258M| 94 | 23 | 784 |1969 | 784 | 84 | 51 | 155k| 16k|-2.009473e+04 |-1.638400e+04 | 18.47%
232.30/232.31 c 232s|290000 |233319 | 2490k| 8.6 | 268M| 94 | 36 | 784 |1917 | 784 | 84 | 51 | 160k| 16k|-2.009473e+04 |-1.638400e+04 | 18.47%
241.10/241.16 c 241s|300000 |240793 | 2594k| 8.6 | 278M| 94 | 26 | 784 |3082 | 784 | 84 | 51 | 167k| 17k|-2.009473e+04 |-1.638400e+04 | 18.47%
250.40/250.45 c 250s|310000 |248079 | 2706k| 8.7 | 287M| 94 | 29 | 784 |3902 | 784 | 84 | 51 | 174k| 17k|-2.009473e+04 |-1.638400e+04 | 18.47%
258.99/259.00 c 259s|320000 |254186 | 2800k| 8.7 | 295M| 94 | - | 784 |4451 | 784 | 84 | 51 | 182k| 17k|-2.009473e+04 |-1.638400e+04 | 18.47%
268.40/268.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.40/268.49 c 268s|330000 |262010 | 2913k| 8.8 | 304M| 94 | 31 | 784 |3961 | 784 | 84 | 51 | 188k| 18k|-2.009473e+04 |-1.638400e+04 | 18.47%
278.09/278.17 c 278s|340000 |270014 | 3030k| 8.9 | 314M| 94 | 27 | 784 |5037 | 784 | 84 | 51 | 194k| 18k|-2.009473e+04 |-1.638400e+04 | 18.47%
287.89/287.91 c 288s|350000 |276940 | 3144k| 9.0 | 323M| 94 | 37 | 784 |5869 | 784 | 84 | 51 | 202k| 18k|-2.009473e+04 |-1.638400e+04 | 18.47%
297.40/297.50 c 297s|360000 |284206 | 3257k| 9.0 | 332M| 94 | 30 | 784 |5417 | 784 | 84 | 51 | 209k| 19k|-2.009473e+04 |-1.638400e+04 | 18.47%
307.30/307.39 c 307s|370000 |291423 | 3374k| 9.1 | 340M| 94 | 31 | 784 |3893 | 784 | 84 | 51 | 216k| 19k|-2.009473e+04 |-1.638400e+04 | 18.47%
316.89/316.91 c 317s|380000 |299255 | 3488k| 9.2 | 350M| 94 | 29 | 784 |3526 | 784 | 84 | 51 | 222k| 20k|-2.009473e+04 |-1.638400e+04 | 18.47%
326.19/326.25 c 326s|390000 |308124 | 3602k| 9.2 | 360M| 94 | 38 | 784 |3618 | 784 | 84 | 51 | 226k| 20k|-2.009473e+04 |-1.638400e+04 | 18.47%
335.60/335.68 c 336s|400000 |316815 | 3716k| 9.3 | 371M| 94 | 32 | 784 |3796 | 784 | 84 | 51 | 231k| 20k|-2.009473e+04 |-1.638400e+04 | 18.47%
344.89/344.92 c 345s|410000 |325609 | 3827k| 9.3 | 381M| 94 | 27 | 784 |3687 | 784 | 84 | 51 | 235k| 20k|-2.009473e+04 |-1.638400e+04 | 18.47%
354.30/354.37 c 354s|420000 |334413 | 3939k| 9.4 | 391M| 94 | 31 | 784 |3783 | 784 | 84 | 51 | 241k| 21k|-2.009473e+04 |-1.638400e+04 | 18.47%
363.40/363.42 c 363s|430000 |342013 | 4044k| 9.4 | 401M| 94 | 33 | 784 |4395 | 784 | 84 | 51 | 247k| 21k|-2.009473e+04 |-1.638400e+04 | 18.47%
372.60/372.65 c 373s|440000 |350563 | 4153k| 9.4 | 411M| 94 | 30 | 784 |3802 | 784 | 84 | 51 | 253k| 21k|-2.009473e+04 |-1.638400e+04 | 18.47%
381.70/381.75 c 382s|450000 |359557 | 4263k| 9.5 | 421M| 94 | - | 784 |3007 | 784 | 84 | 51 | 256k| 22k|-2.009473e+04 |-1.638400e+04 | 18.47%
390.60/390.68 c 391s|460000 |368306 | 4368k| 9.5 | 432M| 94 | 30 | 784 |2993 | 784 | 84 | 51 | 260k| 22k|-2.009473e+04 |-1.638400e+04 | 18.47%
400.00/400.03 c 400s|470000 |377180 | 4481k| 9.5 | 442M| 94 | 29 | 784 |2661 | 784 | 84 | 51 | 264k| 22k|-2.009473e+04 |-1.638400e+04 | 18.47%
409.49/409.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.49/409.50 c 410s|480000 |385931 | 4598k| 9.6 | 452M| 94 | 37 | 784 |2695 | 784 | 84 | 51 | 269k| 23k|-2.009473e+04 |-1.638400e+04 | 18.47%
418.50/418.56 c 419s|490000 |395027 | 4707k| 9.6 | 463M| 94 | 29 | 784 |2872 | 784 | 84 | 51 | 273k| 23k|-2.009464e+04 |-1.638400e+04 | 18.47%
427.70/427.70 c 428s|500000 |404155 | 4817k| 9.6 | 473M| 94 | 40 | 784 |2544 | 784 | 84 | 51 | 276k| 23k|-2.009464e+04 |-1.638400e+04 | 18.47%
437.10/437.12 c 437s|510000 |412958 | 4933k| 9.7 | 484M| 94 | 33 | 784 |2743 | 784 | 84 | 51 | 280k| 23k|-2.009464e+04 |-1.638400e+04 | 18.47%
446.40/446.42 c 446s|520000 |421817 | 5047k| 9.7 | 494M| 94 | 29 | 784 |2479 | 784 | 84 | 51 | 283k| 24k|-2.009464e+04 |-1.638400e+04 | 18.47%
455.70/455.77 c 456s|530000 |430785 | 5161k| 9.7 | 505M| 94 | 28 | 784 |2563 | 784 | 84 | 51 | 287k| 24k|-2.009464e+04 |-1.638400e+04 | 18.47%
464.80/464.80 c 465s|540000 |439501 | 5270k| 9.8 | 515M| 94 | - | 784 |3157 | 784 | 84 | 51 | 291k| 24k|-2.009464e+04 |-1.638400e+04 | 18.47%
473.70/473.73 c 474s|550000 |448668 | 5377k| 9.8 | 526M| 94 | 35 | 784 |2900 | 784 | 84 | 51 | 294k| 24k|-2.009464e+04 |-1.638400e+04 | 18.47%
482.81/482.83 c 483s|560000 |457470 | 5489k| 9.8 | 536M| 94 | 30 | 784 |2828 | 784 | 84 | 51 | 298k| 25k|-2.009464e+04 |-1.638400e+04 | 18.47%
491.71/491.72 c 492s|570000 |466304 | 5595k| 9.8 | 546M| 94 | 31 | 784 |2672 | 784 | 84 | 51 | 302k| 25k|-2.009464e+04 |-1.638400e+04 | 18.47%
500.70/500.75 c 501s|580000 |475253 | 5702k| 9.8 | 557M| 94 | 28 | 784 |2637 | 784 | 84 | 51 | 306k| 25k|-2.009464e+04 |-1.638400e+04 | 18.47%
509.61/509.65 c 510s|590000 |483591 | 5808k| 9.8 | 567M| 94 | 30 | 784 |2672 | 784 | 84 | 51 | 312k| 25k|-2.009464e+04 |-1.638400e+04 | 18.47%
518.61/518.69 c 519s|600000 |492671 | 5918k| 9.9 | 577M| 94 | 41 | 784 |2864 | 784 | 84 | 51 | 316k| 26k|-2.009464e+04 |-1.638400e+04 | 18.47%
527.80/527.85 c 528s|610000 |501712 | 6030k| 9.9 | 588M| 94 | 38 | 784 |2949 | 784 | 84 | 51 | 319k| 26k|-2.009464e+04 |-1.638400e+04 | 18.47%
536.40/536.40 c 536s|620000 |510637 | 6131k| 9.9 | 598M| 94 | 29 | 784 |2827 | 784 | 84 | 51 | 323k| 26k|-2.009464e+04 |-1.638400e+04 | 18.47%
545.00/545.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
545.00/545.09 c 545s|630000 |519270 | 6232k| 9.9 | 608M| 94 | 39 | 784 |2755 | 784 | 84 | 51 | 328k| 26k|-2.009464e+04 |-1.638400e+04 | 18.47%
553.51/553.59 c 554s|640000 |528515 | 6335k| 9.9 | 619M| 94 | 33 | 784 |2942 | 784 | 84 | 51 | 331k| 27k|-2.009464e+04 |-1.638400e+04 | 18.47%
562.41/562.49 c 562s|650000 |537643 | 6440k| 9.9 | 630M| 94 | 33 | 784 |2752 | 784 | 84 | 51 | 334k| 27k|-2.009464e+04 |-1.638400e+04 | 18.47%
571.21/571.24 c 571s|660000 |546702 | 6546k| 9.9 | 640M| 94 | 40 | 784 |2954 | 784 | 84 | 51 | 338k| 27k|-2.009464e+04 |-1.638400e+04 | 18.47%
580.60/580.66 c 581s|670000 |555872 | 6663k| 9.9 | 651M| 94 | 34 | 784 |2545 | 784 | 84 | 51 | 342k| 27k|-2.009463e+04 |-1.638400e+04 | 18.47%
590.61/590.66 c 591s|680000 |564973 | 6795k| 10.0 | 661M| 94 | 39 | 784 |2409 | 784 | 84 | 51 | 345k| 28k|-2.009463e+04 |-1.638400e+04 | 18.47%
600.61/600.68 c 601s|690000 |574071 | 6928k| 10.0 | 672M| 94 | 33 | 784 |2093 | 784 | 84 | 51 | 349k| 28k|-2.009463e+04 |-1.638400e+04 | 18.47%
610.30/610.39 c 610s|700000 |582820 | 7051k| 10.1 | 682M| 94 | 33 | 784 |2854 | 784 | 84 | 51 | 354k| 28k|-2.009463e+04 |-1.638400e+04 | 18.47%
619.50/619.54 c 620s|710000 |592115 | 7167k| 10.1 | 693M| 94 | 31 | 784 |2861 | 784 | 84 | 51 | 357k| 28k|-2.009463e+04 |-1.638400e+04 | 18.47%
628.41/628.46 c 628s|720000 |601451 | 7278k| 10.1 | 704M| 94 | 25 | 784 |2639 | 784 | 84 | 51 | 360k| 29k|-2.009463e+04 |-1.638400e+04 | 18.47%
637.81/637.90 c 638s|730000 |610717 | 7397k| 10.1 | 715M| 94 | 38 | 784 |2439 | 784 | 84 | 51 | 364k| 29k|-2.009460e+04 |-1.638400e+04 | 18.47%
647.91/647.99 c 648s|740000 |619927 | 7528k| 10.2 | 725M| 94 | 31 | 784 |2589 | 784 | 84 | 51 | 368k| 29k|-2.009459e+04 |-1.638400e+04 | 18.47%
657.61/657.64 c 658s|750000 |628510 | 7647k| 10.2 | 736M| 94 | 29 | 784 |2977 | 784 | 84 | 51 | 373k| 29k|-2.009459e+04 |-1.638400e+04 | 18.47%
666.90/666.91 c 667s|760000 |637283 | 7763k| 10.2 | 746M| 94 | 30 | 784 |2676 | 784 | 84 | 51 | 377k| 29k|-2.009459e+04 |-1.638400e+04 | 18.47%
676.31/676.33 c 676s|770000 |646145 | 7880k| 10.2 | 756M| 94 | 32 | 784 |2787 | 784 | 84 | 51 | 381k| 30k|-2.009459e+04 |-1.638400e+04 | 18.47%
686.01/686.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
686.01/686.00 c 686s|780000 |655070 | 8003k| 10.3 | 766M| 94 | - | 784 |2444 | 784 | 84 | 51 | 385k| 30k|-2.009459e+04 |-1.638400e+04 | 18.47%
695.11/695.15 c 695s|790000 |663725 | 8114k| 10.3 | 777M| 94 | 35 | 784 |3030 | 784 | 84 | 51 | 389k| 30k|-2.009459e+04 |-1.638400e+04 | 18.47%
704.30/704.33 c 704s|800000 |672631 | 8225k| 10.3 | 787M| 94 | 30 | 784 |3075 | 784 | 84 | 51 | 393k| 30k|-2.009459e+04 |-1.638400e+04 | 18.47%
713.20/713.29 c 713s|810000 |681560 | 8334k| 10.3 | 797M| 94 | 32 | 784 |2756 | 784 | 84 | 51 | 397k| 31k|-2.009459e+04 |-1.638400e+04 | 18.47%
722.21/722.21 c 722s|820000 |690567 | 8441k| 10.3 | 808M| 94 | 39 | 784 |2634 | 784 | 84 | 51 | 400k| 31k|-2.009459e+04 |-1.638400e+04 | 18.47%
731.30/731.32 c 731s|830000 |699294 | 8552k| 10.3 | 819M| 94 | 35 | 784 |2953 | 784 | 84 | 51 | 404k| 31k|-2.009459e+04 |-1.638400e+04 | 18.47%
740.51/740.56 c 741s|840000 |708215 | 8664k| 10.3 | 829M| 94 | 31 | 784 |2648 | 784 | 84 | 51 | 407k| 31k|-2.009459e+04 |-1.638400e+04 | 18.47%
749.11/749.11 c 749s|850000 |716540 | 8765k| 10.3 | 839M| 94 | 32 | 784 |3000 | 784 | 84 | 51 | 413k| 31k|-2.009459e+04 |-1.638400e+04 | 18.47%
757.61/757.65 c 758s|860000 |724138 | 8863k| 10.3 | 848M| 94 | 29 | 784 |2710 | 784 | 84 | 51 | 418k| 32k|-2.009459e+04 |-1.638400e+04 | 18.47%
766.11/766.18 c 766s|870000 |732489 | 8962k| 10.3 | 858M| 94 | 27 | 784 |2779 | 784 | 84 | 51 | 423k| 32k|-2.009459e+04 |-1.638400e+04 | 18.47%
774.31/774.37 c 774s|880000 |740580 | 9056k| 10.3 | 868M| 94 | 28 | 784 |3009 | 784 | 84 | 51 | 429k| 32k|-2.009459e+04 |-1.638400e+04 | 18.47%
782.70/782.72 c 783s|890000 |748858 | 9149k| 10.3 | 878M| 94 | 29 | 784 |3154 | 784 | 84 | 51 | 434k| 32k|-2.009459e+04 |-1.638400e+04 | 18.47%
790.91/790.94 c 791s|900000 |756686 | 9243k| 10.3 | 887M| 94 | 31 | 784 |3258 | 784 | 84 | 51 | 440k| 32k|-2.009459e+04 |-1.638400e+04 | 18.47%
799.41/799.42 c 799s|910000 |763980 | 9337k| 10.3 | 897M| 94 | 31 | 784 |3596 | 784 | 84 | 51 | 447k| 33k|-2.009459e+04 |-1.638400e+04 | 18.47%
807.61/807.67 c 808s|920000 |771857 | 9431k| 10.2 | 906M| 94 | 30 | 784 |3097 | 784 | 84 | 51 | 452k| 33k|-2.009459e+04 |-1.638400e+04 | 18.47%
816.31/816.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
816.31/816.37 c 816s|930000 |780502 | 9531k| 10.2 | 916M| 94 | 27 | 784 |2346 | 784 | 84 | 51 | 456k| 33k|-2.009459e+04 |-1.638400e+04 | 18.47%
824.51/824.51 c 825s|940000 |788695 | 9623k| 10.2 | 926M| 94 | 33 | 784 |2933 | 784 | 84 | 51 | 462k| 33k|-2.009459e+04 |-1.638400e+04 | 18.47%
832.91/832.94 c 833s|950000 |795780 | 9718k| 10.2 | 935M| 94 | 29 | 784 |3129 | 784 | 84 | 51 | 468k| 33k|-2.009459e+04 |-1.638400e+04 | 18.47%
841.21/841.27 c 841s|960000 |804027 | 9811k| 10.2 | 945M| 94 | 32 | 784 |3137 | 784 | 84 | 51 | 473k| 33k|-2.009459e+04 |-1.638400e+04 | 18.47%
849.91/850.00 c 850s|970000 |811851 | 9915k| 10.2 | 955M| 94 | - | 784 |3163 | 784 | 84 | 51 | 479k| 34k|-2.009459e+04 |-1.638400e+04 | 18.47%
858.50/858.51 c 859s|980000 |819683 | 10011k| 10.2 | 964M| 94 | 30 | 784 |3175 | 784 | 84 | 51 | 485k| 34k|-2.009459e+04 |-1.638400e+04 | 18.47%
867.51/867.53 c 868s|990000 |827336 | 10116k| 10.2 | 973M| 94 | 30 | 784 |3330 | 784 | 84 | 51 | 492k| 34k|-2.009459e+04 |-1.638400e+04 | 18.47%
876.20/876.20 c 876s| 1000k|834720 | 10216k| 10.2 | 982M| 94 | 31 | 784 |3207 | 784 | 84 | 51 | 498k| 34k|-2.009459e+04 |-1.638400e+04 | 18.47%
885.00/885.08 c 885s| 1010k|841785 | 10318k| 10.2 | 991M| 94 | 35 | 784 |3688 | 784 | 84 | 51 | 505k| 34k|-2.009459e+04 |-1.638400e+04 | 18.47%
893.41/893.47 c 893s| 1020k|848980 | 10412k| 10.2 | 999M| 94 | 31 | 784 |3510 | 784 | 84 | 51 | 512k| 35k|-2.009459e+04 |-1.638400e+04 | 18.47%
902.41/902.40 c 902s| 1030k|857287 | 10518k| 10.2 |1009M| 94 | 28 | 784 |2796 | 784 | 84 | 51 | 517k| 35k|-2.009459e+04 |-1.638400e+04 | 18.47%
910.91/910.92 c 911s| 1040k|865773 | 10619k| 10.2 |1019M| 94 | - | 784 |3089 | 784 | 84 | 51 | 522k| 35k|-2.009459e+04 |-1.638400e+04 | 18.47%
919.91/919.96 c 920s| 1050k|873947 | 10725k| 10.2 |1029M| 94 | - | 784 |2970 | 784 | 84 | 51 | 526k| 35k|-2.009459e+04 |-1.638400e+04 | 18.47%
929.01/929.07 c 929s| 1060k|882045 | 10834k| 10.2 |1039M| 94 | 27 | 784 |3215 | 784 | 84 | 51 | 532k| 35k|-2.009459e+04 |-1.638400e+04 | 18.47%
937.71/937.73 c 938s| 1070k|890326 | 10936k| 10.2 |1049M| 94 | 30 | 784 |2751 | 784 | 84 | 51 | 537k| 36k|-2.009459e+04 |-1.638400e+04 | 18.47%
946.02/946.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
946.02/946.02 c 946s| 1080k|898101 | 11032k| 10.2 |1058M| 94 | 25 | 784 |2855 | 784 | 84 | 51 | 543k| 36k|-2.009459e+04 |-1.638400e+04 | 18.47%
954.82/954.80 c 955s| 1090k|905294 | 11132k| 10.2 |1067M| 94 | 24 | 784 |2916 | 784 | 84 | 51 | 550k| 36k|-2.009459e+04 |-1.638400e+04 | 18.47%
963.31/963.34 c 963s| 1100k|912811 | 11229k| 10.2 |1076M| 94 | 34 | 784 |3584 | 784 | 84 | 51 | 556k| 36k|-2.009459e+04 |-1.638400e+04 | 18.47%
971.41/971.49 c 971s| 1110k|920797 | 11322k| 10.2 |1085M| 94 | 33 | 784 |3385 | 784 | 84 | 51 | 562k| 36k|-2.009459e+04 |-1.638400e+04 | 18.47%
979.61/979.63 c 980s| 1120k|927137 | 11408k| 10.2 |1093M| 94 | 28 | 784 |4392 | 784 | 84 | 51 | 571k| 36k|-2.009459e+04 |-1.638400e+04 | 18.47%
987.82/987.87 c 988s| 1130k|933641 | 11497k| 10.2 |1102M| 94 | 32 | 784 |5227 | 784 | 84 | 51 | 578k| 37k|-2.009459e+04 |-1.638400e+04 | 18.47%
996.41/996.47 c 996s| 1140k|939176 | 11588k| 10.2 |1109M| 94 | - | 784 |5000 | 784 | 84 | 51 | 587k| 37k|-2.009459e+04 |-1.638400e+04 | 18.47%
1005.31/1005.31 c 1005s| 1150k|945653 | 11684k| 10.2 |1117M| 94 | 29 | 784 |4834 | 784 | 84 | 51 | 594k| 37k|-2.009459e+04 |-1.638400e+04 | 18.47%
1014.41/1014.45 c 1014s| 1160k|952942 | 11787k| 10.2 |1126M| 94 | 31 | 784 |4721 | 784 | 84 | 51 | 601k| 37k|-2.009459e+04 |-1.638400e+04 | 18.47%
1023.02/1023.06 c 1023s| 1170k|959320 | 11880k| 10.2 |1133M| 94 | 33 | 784 |3901 | 784 | 84 | 51 | 608k| 37k|-2.009459e+04 |-1.638400e+04 | 18.47%
1031.71/1031.77 c 1032s| 1180k|967504 | 11981k| 10.2 |1143M| 94 | - | 784 |2596 | 784 | 84 | 51 | 613k| 38k|-2.009459e+04 |-1.638400e+04 | 18.47%
1040.31/1040.37 c 1040s| 1190k|975287 | 12081k| 10.2 |1152M| 94 | 27 | 784 |2382 | 784 | 84 | 51 | 620k| 38k|-2.009459e+04 |-1.638400e+04 | 18.47%
1049.71/1049.74 c 1050s| 1200k|984108 | 12195k| 10.2 |1162M| 94 | - | 784 |2096 | 784 | 84 | 51 | 624k| 38k|-2.009459e+04 |-1.638400e+04 | 18.47%
1058.61/1058.63 c 1059s| 1210k|992573 | 12304k| 10.2 |1172M| 94 | 30 | 784 |2122 | 784 | 84 | 51 | 629k| 38k|-2.009459e+04 |-1.638400e+04 | 18.47%
1067.62/1067.63 c 1068s| 1220k| 1000k| 12410k| 10.2 |1182M| 94 | 27 | 784 |3146 | 784 | 84 | 51 | 636k| 38k|-2.009459e+04 |-1.638400e+04 | 18.47%
1076.41/1076.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.41/1076.40 c 1076s| 1230k| 1008k| 12514k| 10.2 |1192M| 94 | 26 | 784 |2767 | 784 | 84 | 51 | 642k| 38k|-2.009459e+04 |-1.638400e+04 | 18.47%
1084.91/1084.94 c 1085s| 1240k| 1016k| 12617k| 10.2 |1202M| 94 | - | 784 |2783 | 784 | 84 | 51 | 647k| 38k|-2.009459e+04 |-1.638400e+04 | 18.47%
1094.02/1094.02 c 1094s| 1250k| 1025k| 12724k| 10.2 |1212M| 94 | 28 | 784 |2603 | 784 | 84 | 51 | 652k| 39k|-2.009459e+04 |-1.638400e+04 | 18.47%
1103.02/1103.05 c 1103s| 1260k| 1033k| 12832k| 10.2 |1222M| 94 | 30 | 784 |2957 | 784 | 84 | 51 | 657k| 39k|-2.009459e+04 |-1.638400e+04 | 18.47%
1111.81/1111.88 c 1112s| 1270k| 1041k| 12936k| 10.2 |1232M| 94 | 29 | 784 |2346 | 784 | 84 | 51 | 663k| 39k|-2.009459e+04 |-1.638400e+04 | 18.47%
1120.71/1120.78 c 1121s| 1280k| 1049k| 13040k| 10.2 |1240M| 94 | 36 | 784 |2448 | 784 | 84 | 51 | 670k| 39k|-2.009459e+04 |-1.638400e+04 | 18.47%
1124.02/1124.01 c [src/scip/lpi_spx.cpp:450] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1129.31/1129.37 c 1129s| 1290k| 1057k| 13141k| 10.2 |1250M| 94 | 27 | 784 |2505 | 784 | 84 | 51 | 676k| 39k|-2.009459e+04 |-1.638400e+04 | 18.47%
1132.11/1132.11 c [src/scip/lpi_spx.cpp:450] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1138.42/1138.43 c 1138s| 1300k| 1065k| 13247k| 10.2 |1260M| 94 | 27 | 784 |1774 | 784 | 84 | 51 | 681k| 40k|-2.009459e+04 |-1.638400e+04 | 18.47%
1146.72/1146.74 c 1147s| 1310k| 1074k| 13344k| 10.2 |1271M| 94 | 29 | 784 |1655 | 784 | 84 | 51 | 684k| 40k|-2.009459e+04 |-1.638400e+04 | 18.47%
1155.81/1155.88 c 1156s| 1320k| 1083k| 13458k| 10.2 |1281M| 94 | 39 | 784 |1926 | 784 | 84 | 51 | 688k| 40k|-2.009459e+04 |-1.638400e+04 | 18.47%
1164.62/1164.60 c 1165s| 1330k| 1091k| 13561k| 10.2 |1292M| 94 | 26 | 784 |2187 | 784 | 84 | 51 | 693k| 40k|-2.009459e+04 |-1.638400e+04 | 18.47%
1173.22/1173.27 c 1173s| 1340k| 1101k| 13665k| 10.2 |1303M| 94 | 29 | 784 |2047 | 784 | 84 | 51 | 697k| 40k|-2.009459e+04 |-1.638400e+04 | 18.47%
1182.11/1182.11 c 1182s| 1350k| 1109k| 13770k| 10.2 |1313M| 94 | 32 | 784 |2576 | 784 | 84 | 51 | 702k| 40k|-2.009458e+04 |-1.638400e+04 | 18.47%
1192.32/1192.34 c 1192s| 1360k| 1117k| 13901k| 10.2 |1323M| 94 | 32 | 784 |2969 | 784 | 84 | 51 | 708k| 41k|-2.009458e+04 |-1.638400e+04 | 18.47%
1202.62/1202.68 c 1203s| 1370k| 1125k| 14035k| 10.2 |1333M| 94 | 39 | 784 |3564 | 784 | 84 | 51 | 715k| 41k|-2.009458e+04 |-1.638400e+04 | 18.47%
1213.62/1213.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1213.62/1213.60 c 1214s| 1380k| 1134k| 14181k| 10.3 |1343M| 94 | - | 784 |4220 | 784 | 84 | 51 | 722k| 41k|-2.009458e+04 |-1.638400e+04 | 18.47%
1214.12/1214.16 c [src/scip/lpi_spx.cpp:450] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1224.22/1224.29 c 1224s| 1390k| 1142k| 14321k| 10.3 |1352M| 94 | 27 | 784 |3236 | 784 | 84 | 51 | 728k| 41k|-2.009458e+04 |-1.638400e+04 | 18.47%
1234.12/1234.12 c 1234s| 1400k| 1149k| 14445k| 10.3 |1361M| 94 | 27 | 784 |3213 | 784 | 84 | 51 | 736k| 41k|-2.009458e+04 |-1.638400e+04 | 18.47%
1243.82/1243.84 c 1244s| 1410k| 1157k| 14569k| 10.3 |1370M| 94 | 35 | 784 |2884 | 784 | 84 | 51 | 743k| 41k|-2.009458e+04 |-1.638400e+04 | 18.47%
1254.41/1254.46 c 1254s| 1420k| 1165k| 14708k| 10.4 |1379M| 94 | 32 | 784 |3555 | 784 | 84 | 51 | 750k| 42k|-2.009458e+04 |-1.638400e+04 | 18.47%
1263.82/1263.88 c 1264s| 1430k| 1173k| 14826k| 10.4 |1388M| 94 | 32 | 784 |3138 | 784 | 84 | 51 | 757k| 42k|-2.009458e+04 |-1.638400e+04 | 18.47%
1266.22/1266.24 c [src/scip/lpi_spx.cpp:450] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1273.72/1273.77 c 1274s| 1440k| 1180k| 14949k| 10.4 |1397M| 94 | 29 | 784 |3440 | 784 | 84 | 51 | 764k| 42k|-2.009458e+04 |-1.638400e+04 | 18.47%
1283.52/1283.57 c 1284s| 1450k| 1188k| 15072k| 10.4 |1407M| 94 | 25 | 784 |3287 | 784 | 84 | 51 | 772k| 42k|-2.009458e+04 |-1.638400e+04 | 18.47%
1292.82/1292.87 c 1293s| 1460k| 1196k| 15184k| 10.4 |1416M| 94 | 38 | 784 |2583 | 784 | 84 | 51 | 779k| 42k|-2.009458e+04 |-1.638400e+04 | 18.47%
1297.21/1297.27 c [src/scip/lpi_spx.cpp:450] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1302.81/1302.82 c 1303s| 1470k| 1204k| 15312k| 10.4 |1425M| 94 | - | 784 |2892 | 784 | 84 | 51 | 785k| 42k|-2.009458e+04 |-1.638400e+04 | 18.47%
1312.62/1312.65 c 1313s| 1480k| 1211k| 15434k| 10.4 |1435M| 94 | 30 | 784 |4199 | 784 | 84 | 51 | 794k| 43k|-2.009458e+04 |-1.638400e+04 | 18.47%
1322.82/1322.88 c 1323s| 1490k| 1219k| 15568k| 10.4 |1444M| 94 | 26 | 784 |3588 | 784 | 84 | 51 | 801k| 43k|-2.009458e+04 |-1.638400e+04 | 18.47%
1332.03/1332.10 c 1332s| 1500k| 1226k| 15680k| 10.5 |1452M| 94 | 36 | 784 |4231 | 784 | 84 | 51 | 809k| 43k|-2.009458e+04 |-1.638400e+04 | 18.47%
1341.32/1341.35 c 1341s| 1510k| 1234k| 15792k| 10.5 |1461M| 94 | 31 | 784 |3908 | 784 | 84 | 51 | 817k| 43k|-2.009458e+04 |-1.638400e+04 | 18.47%
1351.21/1351.28 c 1351s| 1520k| 1241k| 15918k| 10.5 |1470M| 94 | 31 | 784 |3090 | 784 | 84 | 51 | 824k| 43k|-2.009458e+04 |-1.638400e+04 | 18.47%
1360.21/1360.23 c [src/scip/lpi_spx.cpp:450] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1360.21/1360.24 c [src/scip/lpi_spx.cpp:450] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1360.42/1360.49 c [src/scip/lpi_spx.cpp:450] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1360.82/1360.85 c [src/scip/lpi_spx.cpp:450] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1360.82/1360.88 c [src/scip/lpi_spx.cpp:450] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1361.72/1361.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.72/1361.79 c 1362s| 1530k| 1248k| 16053k| 10.5 |1479M| 94 | 38 | 784 |3522 | 784 | 84 | 51 | 832k| 43k|-2.009458e+04 |-1.638400e+04 | 18.47%
1367.91/1367.99 c [src/scip/lpi_spx.cpp:450] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1371.82/1371.89 c 1372s| 1540k| 1256k| 16183k| 10.5 |1487M| 94 | 36 | 784 |3090 | 784 | 84 | 51 | 839k| 44k|-2.009458e+04 |-1.638400e+04 | 18.47%
1381.12/1381.10 c 1381s| 1550k| 1262k| 16293k| 10.5 |1495M| 94 | - | 784 |4788 | 784 | 84 | 51 | 849k| 44k|-2.009456e+04 |-1.638400e+04 | 18.47%
1390.72/1390.79 c 1391s| 1560k| 1268k| 16411k| 10.5 |1503M| 94 | 25 | 784 |5083 | 784 | 84 | 51 | 858k| 44k|-2.009456e+04 |-1.638400e+04 | 18.47%
1401.12/1401.19 c 1401s| 1570k| 1276k| 16543k| 10.5 |1512M| 94 | 32 | 784 |3117 | 784 | 84 | 51 | 863k| 44k|-2.009454e+04 |-1.638400e+04 | 18.47%
1411.52/1411.55 c 1412s| 1580k| 1285k| 16676k| 10.6 |1523M| 94 | 34 | 784 |3580 | 784 | 84 | 51 | 868k| 44k|-2.009454e+04 |-1.638400e+04 | 18.47%
1422.12/1422.13 c 1422s| 1590k| 1293k| 16812k| 10.6 |1533M| 94 | 36 | 784 |3840 | 784 | 84 | 51 | 873k| 44k|-2.009454e+04 |-1.638400e+04 | 18.47%
1433.12/1433.17 c 1433s| 1600k| 1301k| 16954k| 10.6 |1542M| 94 | 36 | 784 |4119 | 784 | 84 | 51 | 878k| 44k|-2.009454e+04 |-1.638400e+04 | 18.47%
1444.02/1444.01 c 1444s| 1610k| 1308k| 17090k| 10.6 |1551M| 94 | 29 | 784 |4164 | 784 | 84 | 51 | 885k| 45k|-2.009454e+04 |-1.638400e+04 | 18.47%
1454.32/1454.33 c 1454s| 1620k| 1313k| 17215k| 10.6 |1558M| 94 | 39 | 784 |4184 | 784 | 84 | 51 | 893k| 45k|-2.009451e+04 |-1.638400e+04 | 18.47%
1463.82/1463.88 c 1464s| 1630k| 1319k| 17323k| 10.6 |1564M| 94 | 32 | 784 |4021 | 784 | 84 | 51 | 903k| 45k|-2.009449e+04 |-1.638400e+04 | 18.47%
1473.22/1473.20 c 1473s| 1640k| 1326k| 17433k| 10.6 |1573M| 94 | 32 | 784 |2892 | 784 | 84 | 51 | 910k| 45k|-2.009449e+04 |-1.638400e+04 | 18.47%
1481.83/1481.87 c 1482s| 1650k| 1333k| 17533k| 10.6 |1581M| 94 | - | 784 |2977 | 784 | 84 | 51 | 918k| 45k|-2.009449e+04 |-1.638400e+04 | 18.47%
1490.82/1490.82 c 1491s| 1660k| 1339k| 17637k| 10.6 |1589M| 94 | 40 | 784 |3653 | 784 | 84 | 51 | 926k| 45k|-2.009449e+04 |-1.638400e+04 | 18.47%
1499.92/1499.91 c 1500s| 1670k| 1347k| 17741k| 10.6 |1597M| 94 | 31 | 784 |3602 | 784 | 84 | 51 | 934k| 46k|-2.009449e+04 |-1.638400e+04 | 18.47%
1507.62/1507.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1507.62/1507.60 c 1508s| 1680k| 1353k| 17822k| 10.6 |1605M| 94 | 26 | 784 |4488 | 784 | 84 | 51 | 942k| 46k|-2.009449e+04 |-1.638400e+04 | 18.47%
1516.12/1516.11 c 1516s| 1690k| 1360k| 17915k| 10.6 |1613M| 94 | 35 | 784 |5084 | 784 | 84 | 51 | 949k| 46k|-2.009449e+04 |-1.638400e+04 | 18.47%
1524.92/1524.95 c 1525s| 1700k| 1366k| 18010k| 10.6 |1620M| 94 | 33 | 784 |4655 | 784 | 84 | 51 | 958k| 46k|-2.009449e+04 |-1.638400e+04 | 18.47%
1534.13/1534.14 c 1534s| 1710k| 1373k| 18116k| 10.6 |1628M| 94 | 27 | 784 |3757 | 784 | 84 | 51 | 966k| 46k|-2.009449e+04 |-1.638400e+04 | 18.47%
1542.92/1542.98 c 1543s| 1720k| 1380k| 18218k| 10.6 |1636M| 94 | - | 784 |3474 | 784 | 84 | 51 | 975k| 46k|-2.009449e+04 |-1.638400e+04 | 18.47%
1552.62/1552.61 c 1553s| 1730k| 1386k| 18333k| 10.6 |1644M| 94 | 27 | 784 |3640 | 784 | 84 | 51 | 982k| 46k|-2.009449e+04 |-1.638400e+04 | 18.47%
1561.83/1561.81 c 1562s| 1740k| 1394k| 18441k| 10.6 |1653M| 94 | 28 | 784 |2748 | 784 | 84 | 51 | 990k| 46k|-2.009449e+04 |-1.638400e+04 | 18.47%
1570.63/1570.60 c 1571s| 1750k| 1401k| 18544k| 10.6 |1662M| 94 | 29 | 784 |2437 | 784 | 84 | 51 | 997k| 47k|-2.009449e+04 |-1.638400e+04 | 18.47%
1579.82/1579.83 c 1580s| 1760k| 1408k| 18654k| 10.6 |1670M| 94 | 27 | 784 |2578 | 784 | 84 | 51 |1004k| 47k|-2.009449e+04 |-1.638400e+04 | 18.47%
1588.43/1588.43 c 1588s| 1770k| 1416k| 18756k| 10.6 |1679M| 94 | 34 | 784 |1948 | 784 | 84 | 51 |1010k| 47k|-2.009449e+04 |-1.638400e+04 | 18.47%
1596.53/1596.55 c 1597s| 1780k| 1425k| 18850k| 10.6 |1690M| 94 | 28 | 784 |2730 | 784 | 84 | 51 |1015k| 47k|-2.009449e+04 |-1.638400e+04 | 18.47%
1604.22/1604.29 c 1604s| 1790k| 1434k| 18936k| 10.6 |1701M| 94 | - | 784 |3192 | 784 | 84 | 51 |1020k| 47k|-2.009449e+04 |-1.638400e+04 | 18.47%
1612.72/1612.75 c 1613s| 1800k| 1441k| 19033k| 10.6 |1709M| 94 | - | 784 |3426 | 784 | 84 | 51 |1028k| 47k|-2.009448e+04 |-1.638400e+04 | 18.47%
1622.12/1622.10 c 1622s| 1810k| 1447k| 19144k| 10.6 |1717M| 94 | 31 | 784 |2850 | 784 | 84 | 51 |1036k| 47k|-2.009448e+04 |-1.638400e+04 | 18.47%
1631.33/1631.34 c 1631s| 1820k| 1454k| 19252k| 10.6 |1725M| 94 | - | 784 |3609 | 784 | 84 | 51 |1044k| 47k|-2.009447e+04 |-1.638400e+04 | 18.47%
1640.43/1640.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.43/1640.45 c 1640s| 1830k| 1459k| 19356k| 10.6 |1732M| 94 | 32 | 784 |2550 | 784 | 84 | 51 |1053k| 47k|-2.009445e+04 |-1.638400e+04 | 18.47%
1647.62/1647.69 c 1648s| 1840k| 1467k| 19432k| 10.6 |1741M| 94 | 32 | 784 |3419 | 784 | 84 | 51 |1061k| 48k|-2.009400e+04 |-1.638400e+04 | 18.46%
1654.62/1654.65 c 1655s| 1850k| 1474k| 19506k| 10.5 |1749M| 94 | 20 | 784 |2870 | 784 | 84 | 51 |1068k| 48k|-2.009400e+04 |-1.638400e+04 | 18.46%
1661.32/1661.38 c 1661s| 1860k| 1482k| 19578k| 10.5 |1758M| 94 | 40 | 784 |2415 | 784 | 84 | 51 |1075k| 48k|-2.009400e+04 |-1.638400e+04 | 18.46%
1668.82/1668.86 c 1669s| 1870k| 1490k| 19661k| 10.5 |1767M| 94 | 20 | 784 |3214 | 784 | 84 | 51 |1082k| 48k|-2.009400e+04 |-1.638400e+04 | 18.46%
1676.13/1676.16 c 1676s| 1880k| 1498k| 19737k| 10.5 |1775M| 94 | 32 | 784 |3157 | 784 | 84 | 51 |1090k| 48k|-2.009400e+04 |-1.638400e+04 | 18.46%
1683.62/1683.69 c 1684s| 1890k| 1505k| 19817k| 10.5 |1783M| 94 | - | 784 |3101 | 784 | 84 | 51 |1099k| 48k|-2.009400e+04 |-1.638400e+04 | 18.46%
1691.02/1691.01 c 1691s| 1900k| 1512k| 19896k| 10.5 |1791M| 94 | 33 | 784 |3183 | 784 | 84 | 51 |1106k| 48k|-2.009400e+04 |-1.638400e+04 | 18.46%
1698.53/1698.56 c 1699s| 1910k| 1519k| 19977k| 10.5 |1800M| 94 | 33 | 784 |4461 | 784 | 84 | 51 |1114k| 48k|-2.009400e+04 |-1.638400e+04 | 18.46%
1706.03/1706.07 c 1706s| 1920k| 1526k| 20055k| 10.4 |1807M| 94 | 19 | 784 |3591 | 784 | 84 | 51 |1123k| 48k|-2.009400e+04 |-1.638400e+04 | 18.46%
1713.32/1713.36 c 1713s| 1930k| 1533k| 20129k| 10.4 |1815M| 94 | 26 | 784 |3235 | 784 | 84 | 51 |1132k| 48k|-2.009400e+04 |-1.638400e+04 | 18.46%
1721.03/1721.06 c 1721s| 1940k| 1539k| 20212k| 10.4 |1823M| 94 | 29 | 784 |3281 | 784 | 84 | 51 |1141k| 48k|-2.009400e+04 |-1.638400e+04 | 18.46%
1721.33/1721.31 c [src/scip/lpi_spx.cpp:450] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1729.02/1729.07 c 1729s| 1950k| 1547k| 20301k| 10.4 |1832M| 94 | 26 | 784 |3395 | 784 | 84 | 51 |1148k| 49k|-2.009400e+04 |-1.638400e+04 | 18.46%
1737.02/1737.02 c 1737s| 1960k| 1554k| 20388k| 10.4 |1839M| 94 | 36 | 784 |2729 | 784 | 84 | 51 |1156k| 49k|-2.009400e+04 |-1.638400e+04 | 18.46%
1744.93/1744.90 c 1745s| 1970k| 1561k| 20473k| 10.4 |1848M| 94 | 39 | 784 |3599 | 784 | 84 | 51 |1165k| 49k|-2.009400e+04 |-1.638400e+04 | 18.46%
1752.63/1752.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1752.63/1752.70 c 1753s| 1980k| 1567k| 20556k| 10.4 |1855M| 94 | 28 | 784 |3685 | 784 | 84 | 51 |1175k| 49k|-2.009400e+04 |-1.638400e+04 | 18.46%
1760.73/1760.71 c 1761s| 1990k| 1574k| 20642k| 10.4 |1863M| 94 | 27 | 784 |4054 | 784 | 84 | 51 |1184k| 49k|-2.009400e+04 |-1.638400e+04 | 18.46%
1768.62/1768.69 c 1769s| 2000k| 1580k| 20726k| 10.4 |1871M| 94 | 32 | 784 |3592 | 784 | 84 | 51 |1193k| 49k|-2.009400e+04 |-1.638400e+04 | 18.46%
1776.82/1776.82 c 1777s| 2010k| 1588k| 20816k| 10.4 |1879M| 94 | 30 | 784 |3356 | 784 | 84 | 51 |1201k| 49k|-2.009400e+04 |-1.638400e+04 | 18.46%
1784.83/1784.87 c 1785s| 2020k| 1595k| 20905k| 10.3 |1888M| 94 | 25 | 784 |4659 | 784 | 84 | 51 |1209k| 49k|-2.009400e+04 |-1.638400e+04 | 18.46%
1792.82/1792.88 c 1793s| 2030k| 1602k| 20992k| 10.3 |1896M| 94 | 27 | 784 |5269 | 784 | 84 | 51 |1218k| 49k|-2.009400e+04 |-1.638400e+04 | 18.46%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 2035323
1797.03/1797.00 c Primal Bound : -1.63840000000000e+04 (2 solutions)
1797.03/1797.00 c Dual Bound : -2.00940000000000e+04
1797.03/1797.00 c Gap : 18.46 %
1797.03/1797.00 s SATISFIABLE
1797.03/1797.00 v -x383 -x329 -x277 -x382 -x328 -x276 -x381 -x327 -x274 -x380 -x326 -x273 -x379 -x325 -x272 x223 x222 -x221 x220 -x218 -x378 -x324
1797.03/1797.00 v -x271 -x217 -x377 -x323 -x270 -x216 -x762 -x376 -x322 -x269 -x215 -x374 -x321 -x268 -x214 -x373 -x320 -x267 -x213 -x372 -x318
1797.03/1797.00 v -x266 -x212 -x371 -x317 -x265 -x211 -x370 -x316 -x263 -x210 -x369 -x315 x262 -x209 -x368 -x314 -x261 -x207 -x174 -x173 -x172
1797.03/1797.00 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x163 -x162 -x161 -x160 -x159 -x367 -x313 x260 -x206 -x158 -x366 -x312 x259 -x205
1797.03/1797.00 v -x157 -x365 -x311 -x258 -x204 -x156 -x363 -x310 -x257 -x203 -x155 -x362 -x309 -x256 -x202 -x154 -x761 -x361 -x307 -x255 -x201
1797.03/1797.00 v -x152 -x360 -x306 -x254 -x200 -x151 -x359 -x305 -x252 -x199 -x150 x358 -x304 -x251 -x198 -x149 x357 -x303 -x250 -x196 -x148
1797.03/1797.00 v -x121 -x120 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1797.03/1797.00 v x98 -x96 -x95 -x94 -x760 -x759 x356 -x302 -x249 -x195 -x147 -x93 -x355 -x301 -x248 -x194 -x146 x92 -x354 -x300 -x247 -x193
1797.03/1797.00 v -x145 x91 -x351 -x299 -x246 -x192 -x144 x90 -x350 -x298 -x245 -x191 x143 -x89 -x349 -x296 -x244 -x190 x141 -x88 -x758 -x348 -x295
1797.03/1797.00 v -x243 -x189 -x140 -x87 -x347 -x294 -x240 -x188 -x139 -x85 -x346 x293 -x239 -x187 -x138 -x84 -x345 -x292 -x238 -x185 -x137
1797.03/1797.00 v -x83 -x68 -x67 -x66 -x65 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x52 -x51 -x50 -x49 x48 x47 -x46 -x45 -x44 -x43
1797.03/1797.00 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x757 -x344 -x291 -x237 -x136 -x82 -x30 -x756 -x343 x290 -x236 -x135 -x81 -x29
1797.03/1797.00 v -x755 -x342 -x289 -x235 -x134 -x80 -x28 -x754 -x340 -x288 -x234 -x133 -x79 -x27 -x339 -x287 -x233 -x184 -x132 -x78 -x26 -x338
1797.03/1797.00 v -x285 -x232 -x183 -x129 -x77 -x25 -x337 -x284 -x231 -x182 -x128 -x76 x24 -x336 -x283 -x229 -x181 -x127 -x74 -x23 -x335 -x282
1797.03/1797.00 v -x228 -x180 -x126 -x73 -x22 -x334 -x281 -x227 -x179 x125 -x72 -x21 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x776 -x775
1797.03/1797.00 v -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x765 -x764 -x763 -x752 -x741 -x730 -x719 -x708 -x697 -x686 -x674 -x663 -x652
1797.03/1797.00 v -x641 x630 x619 -x608 -x597 -x586 -x575 -x563 -x552 -x541 -x530 -x519 x508 -x497 -x486 -x333 -x280 -x226 -x178 -x124 -x71 -x787
1797.03/1797.00 v -x475 -x332 -x279 -x225 -x177 -x123 -x70 -x786 -x464 -x753 -x331 -x278 -x224 -x176 -x122 -x69 -x785 -x452 -x751 -x750 -x749
1797.03/1797.00 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x740 -x739 -x738 -x737 x736 -x735 -x734 x733 -x732 -x731 -x729 -x728 -x727 -x726
1797.03/1797.00 v -x725 -x724 -x723 -x722 -x721 -x720 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x707 -x706 -x705 -x704 -x703
1797.03/1797.00 v -x702 -x701 -x700 -x699 -x698 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x684 -x683 -x682 -x681 -x680 -x679
1797.03/1797.00 v -x678 -x677 -x676 -x675 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x662 -x661 -x660 -x659 x658 x657 -x656
1797.03/1797.00 v -x655 -x654 -x653 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633
1797.03/1797.00 v -x632 -x631 -x629 -x628 -x627 -x626 -x625 x624 -x623 x622 -x621 -x620 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
1797.03/1797.00 v -x609 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587
1797.03/1797.00 v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x562
1797.03/1797.00 v -x561 -x560 -x559 -x558 -x557 x556 x555 -x554 -x553 -x551 x550 x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x540 -x539
1797.03/1797.00 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x518 -x517 -x516
1797.03/1797.00 v -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x496 -x495 -x494 x493
1797.03/1797.00 v -x492 x491 -x490 -x489 -x488 -x487 x485 -x484 x483 x482 -x481 -x480 -x479 -x478 -x477 -x476 -x474 -x473 -x472 -x471 -x470 -x469
1797.03/1797.00 v -x468 -x467 -x466 -x465 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x451 -x450 -x449 -x448 -x447 -x446
1797.03/1797.00 v -x445 -x444 -x443 -x442 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x429 x428 x427 -x426 -x425 x424 -x423 -x422
1797.03/1797.00 v -x421 -x420 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399
1797.03/1797.00 v -x398 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x385 -x384 -x441 -x430 -x419 -x408 -x397 -x386 -x375
1797.03/1797.00 v -x364 x353 x341 -x330 x319 x308 -x297 -x286 -x275 -x264 -x253 -x242 -x230 -x219 -x208 -x197 -x186 -x175 -x164 -x153 -x142 -x131
1797.03/1797.00 v -x119 -x108 -x97 -x86 -x75 -x64 -x53 -x42 -x31 -x20 -x777 -x766 -x685 -x574 -x463 -x352 -x241 -x130 -x19 -x18 -x17 -x16 x15
1797.03/1797.00 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.01 (included in solving)
1797.03/1797.00 c reading : 0.00 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3488909-1307760903.opb
1797.03/1797.00 c Variables : 787 (787 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 65 initial, 65 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3488909-1307760903.opb
1797.03/1797.00 c Variables : 784 (784 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 64 initial, 6168 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c setppc : 0.00 1 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.00 2 0 0 2 0 1 0 2 2
1797.03/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c root node : - 5 - - 5 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 1826885 0 8 0 56 1084 0 0 3651640
1797.03/1797.00 c knapsack : 16 8 7176256 0 2 5 94485 8546 67 229 0 0
1797.03/1797.00 c setppc : 48 8 7167771 0 2 4 17203211 15931 21966337 0 0 0
1797.03/1797.00 c linear : 0+ 1 1 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c logicor : 0+ 0 1730716 0 0 0 361700 8174 614120 0 0 0
1797.03/1797.00 c countsols : 0 0 0 0 2 4 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 46.34 0.00 0.00 46.34 0.00 0.00 0.00
1797.03/1797.00 c knapsack : 33.31 0.02 32.78 0.00 0.00 0.00 0.50
1797.03/1797.00 c setppc : 39.44 0.00 35.83 0.00 0.00 0.00 3.62
1797.03/1797.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c logicor : 34.04 0.00 33.60 0.00 0.00 0.00 0.45
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 0 0 0 0
1797.03/1797.00 c pseudoobj : 7176187 0 0 3
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 1.17 1.17 0.00
1797.03/1797.00 c rootredcost : 1.14 1.14 0.00
1797.03/1797.00 c pseudoobj : 5.41 5.41 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 9.55 32651 32511 936366 93.2 112 99.0 -
1797.03/1797.00 c infeasible LP : 46.09 315970 258329 1849274 62.0 312 29.1 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 1218879 43.2 - - -
1797.03/1797.00 c applied locally : - - - 3180 97.3 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.00 6 - - 79 - (maximal pool size: 227)
1797.03/1797.00 c redcost : 30.13 1826896 0 801 0 0
1797.03/1797.00 c impliedbounds : 0.00 7 0 0 0 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 0.03 7 0 0 1 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.03 7 0 0 1 0
1797.03/1797.00 c cmir : 0.02 7 0 0 84 0
1797.03/1797.00 c flowcover : 0.06 7 0 0 142 0
1797.03/1797.00 c clique : 0.00 7 0 0 0 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.07 1 0 1 0 13
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 45.29 1826885 56 1084 0 0 3651640
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 2 0 0 0 0 4
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.00 - 0
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c crossover : 0.36 0 0
1797.03/1797.00 c intshifting : 0.03 0 0
1797.03/1797.00 c oneopt : 0.78 2 0
1797.03/1797.00 c feaspump : 7.44 678 0
1797.03/1797.00 c guideddiving : 142.43 3155 0
1797.03/1797.00 c veclendiving : 51.77 3278 0
1797.03/1797.00 c fracdiving : 151.02 4524 0
1797.03/1797.00 c pscostdiving : 103.55 7220 0
1797.03/1797.00 c linesearchdiving : 71.28 7621 0
1797.03/1797.00 c coefdiving : 84.68 10322 0
1797.03/1797.00 c trivial : 0.00 2 0
1797.03/1797.00 c shiftandpropagate: 0.00 1 1
1797.03/1797.00 c simplerounding : 0.63 13010 0
1797.03/1797.00 c zirounding : 8.60 0 0
1797.03/1797.00 c rounding : 1.58 65629 1
1797.03/1797.00 c shifting : 2.87 6027 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c objpscostdiving : 7.94 828 0
1797.03/1797.00 c rootsoldiving : 6.75 646 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.01 1 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 0.31 0 0
1797.03/1797.00 c trysol : 0.45 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.00 c dual LP : 702.54 2010574 15756083 7.84 22427.17
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 391.04 2140732 5279926 2.47 13502.21
1797.03/1797.00 c strong branching : 25.86 49999 446562 8.93 17267.06
1797.03/1797.00 c (at root node) : - 42 937 22.31 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 2035323
1797.03/1797.00 c nodes (total) : 2035323
1797.03/1797.00 c nodes left : 1605913
1797.03/1797.00 c max depth : 94
1797.03/1797.00 c max depth (total): 94
1797.03/1797.00 c backtracks : 198118 (9.7%)
1797.03/1797.00 c delayed cutoffs : 10409
1797.03/1797.00 c repropagations : 474969 (540579 domain reductions, 1708 cutoffs)
1797.03/1797.00 c avg switch length: 3.96
1797.03/1797.00 c switching time : 82.96
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 2 (2 improvements)
1797.03/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 1 nodes, 0.02 seconds, depth 67, found by <shiftandpropagate>)
1797.03/1797.00 c Primal Bound : -1.63840000000000e+04 (in run 1, after 1 nodes, 0.05 seconds, depth 0, found by <rounding>)
1797.03/1797.00 c Dual Bound : -2.00940000000000e+04
1797.03/1797.00 c Gap : 18.46 %
1797.03/1797.00 c Root Dual Bound : -2.02863032139379e+04
1797.03/1797.00 c Root Iterations : 2313
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3488909-1307760903/watcher-3488909-1307760903 -o /tmp/evaluation-result-3488909-1307760903/solver-3488909-1307760903 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488909-1307760903.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: 2.08 2.02 2.01 2/177 15482
/proc/meminfo: memFree=31832308/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=12696 CPUtime=0 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 2160 0 0 0 0 0 0 0 25 0 1 0 966321113 13000704 2116 33554432000 4194304 9016284 140737041702080 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15482/statm: 3174 2123 360 1178 0 1992 0
[startup+0.030581 s]
/proc/loadavg: 2.08 2.02 2.01 2/177 15482
/proc/meminfo: memFree=31832308/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=22320 CPUtime=0.02 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 4672 0 0 0 2 0 0 0 25 0 1 0 966321113 22855680 4370 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15482/statm: 5580 4370 633 1178 0 4398 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22320
[startup+0.100571 s]
/proc/loadavg: 2.08 2.02 2.01 2/177 15482
/proc/meminfo: memFree=31832308/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=38268 CPUtime=0.09 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 8499 0 0 0 8 1 0 0 25 0 1 0 966321113 39186432 8197 33554432000 4194304 9016284 140737041702080 18446744073709551615 7824814 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15482/statm: 9567 8197 690 1178 0 8385 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38268
[startup+0.300533 s]
/proc/loadavg: 2.08 2.02 2.01 2/177 15482
/proc/meminfo: memFree=31832308/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=36232 CPUtime=0.29 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 8872 0 0 0 27 2 0 0 25 0 1 0 966321113 37101568 7864 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15482/statm: 9058 7864 703 1178 0 7876 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36232
[startup+0.700463 s]
/proc/loadavg: 2.08 2.02 2.01 2/177 15482
/proc/meminfo: memFree=31832308/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=38456 CPUtime=0.69 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 9315 0 0 0 64 5 0 0 25 0 1 0 966321113 39378944 8307 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15482/statm: 9614 8307 708 1178 0 8432 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38456
[startup+1.50032 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 15483
/proc/meminfo: memFree=31802688/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=38456 CPUtime=1.49 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 9317 0 0 0 137 12 0 0 25 0 1 0 966321113 39378944 8309 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15482/statm: 9614 8309 709 1178 0 8432 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38456
[startup+3.10104 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 15483
/proc/meminfo: memFree=31802440/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=38456 CPUtime=3.1 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 9318 0 0 0 282 28 0 0 25 0 1 0 966321113 39378944 8310 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15482/statm: 9614 8310 709 1178 0 8432 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 38456
[startup+6.30048 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 15483
/proc/meminfo: memFree=31803244/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=38456 CPUtime=6.29 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 9392 0 0 0 582 47 0 0 25 0 1 0 966321113 39378944 8384 33554432000 4194304 9016284 140737041702080 18446744073709551615 6524136 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15482/statm: 9614 8384 709 1178 0 8432 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38456
[startup+12.7004 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 15521
/proc/meminfo: memFree=31870144/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=43496 CPUtime=12.69 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 10863 0 0 0 1182 87 0 0 25 0 1 0 966321113 44539904 9855 33554432000 4194304 9016284 140737041702080 18446744073709551615 6523156 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15482/statm: 10874 9855 709 1178 0 9692 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43496
[startup+25.5001 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 15559
/proc/meminfo: memFree=31890276/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=60852 CPUtime=25.49 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 15304 0 0 0 2398 151 0 0 25 0 1 0 966321113 62312448 14296 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15482/statm: 15213 14296 709 1178 0 14031 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60852
[startup+51.1006 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 15560
/proc/meminfo: memFree=31857348/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=93308 CPUtime=51.1 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 23478 0 0 0 4801 309 0 0 25 0 1 0 966321113 95547392 22469 33554432000 4194304 9016284 140737041702080 18446744073709551615 6403944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 23327 22469 709 1178 0 22145 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 93308
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 15561
/proc/meminfo: memFree=31797488/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=153464 CPUtime=102.3 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 38424 0 0 0 9606 624 0 0 25 0 1 0 966321113 157147136 37330 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 38366 37330 832 1178 0 37184 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 153464
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15563
/proc/meminfo: memFree=31728648/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=221188 CPUtime=162.3 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 55624 0 0 0 15228 1002 0 0 25 0 1 0 966321113 226496512 54497 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 55297 54497 832 1178 0 54115 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 221188
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15565
/proc/meminfo: memFree=31662096/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=290632 CPUtime=222.29 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 72176 0 0 0 20844 1385 0 0 25 0 1 0 966321113 297607168 71049 33554432000 4194304 9016284 140737041702080 18446744073709551615 4296895 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 72658 71049 832 1178 0 71476 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 290632
[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 15566
/proc/meminfo: memFree=31588876/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=353704 CPUtime=282.29 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 88166 0 0 0 26460 1769 0 0 25 0 1 0 966321113 362192896 87039 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 88426 87039 832 1178 0 87244 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 353704
[startup+342.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 15568
/proc/meminfo: memFree=31525472/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=412220 CPUtime=342.3 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 102947 0 0 0 32073 2157 0 0 25 0 1 0 966321113 422113280 101819 33554432000 4194304 9016284 140737041702080 18446744073709551615 7081839 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 103055 101819 832 1178 0 101873 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 412220
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15578
/proc/meminfo: memFree=31460096/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=478320 CPUtime=402.3 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 119688 0 0 0 37691 2539 0 0 25 0 1 0 966321113 489799680 118560 33554432000 4194304 9016284 140737041702080 18446744073709551615 7081856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 119580 118560 832 1178 0 118398 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 478320
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15580
/proc/meminfo: memFree=31390612/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=545096 CPUtime=462.3 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 136611 0 0 0 43310 2920 0 0 25 0 1 0 966321113 558178304 135483 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 136274 135483 832 1178 0 135092 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 545096
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15582
/proc/meminfo: memFree=31325192/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=619648 CPUtime=522.3 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 153430 0 0 0 48935 3295 0 0 25 0 1 0 966321113 634519552 152302 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 154912 152302 832 1178 0 153730 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 619648
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15583
/proc/meminfo: memFree=31251592/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=690572 CPUtime=582.3 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 171397 0 0 0 54549 3681 0 0 25 0 1 0 966321113 707145728 170269 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 172643 170269 832 1178 0 171461 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 690572
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 15590
/proc/meminfo: memFree=30981532/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=956268 CPUtime=822.31 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 238721 0 0 0 76988 5243 0 0 25 0 1 0 966321113 979218432 237593 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 239067 237593 832 1178 0 237885 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 956268
[startup+882.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/178 15591
/proc/meminfo: memFree=30915128/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=1020672 CPUtime=882.31 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 255012 0 0 0 82610 5621 0 0 25 0 1 0 966321113 1045168128 253884 33554432000 4194304 9016284 140737041702080 18446744073709551615 5023437 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 255168 253884 832 1178 0 253986 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1020672
[startup+942.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 15593
/proc/meminfo: memFree=30850584/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=1084216 CPUtime=942.31 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 271122 0 0 0 88234 5997 0 0 25 0 1 0 966321113 1110237184 269994 33554432000 4194304 9016284 140737041702080 18446744073709551615 5325818 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 271054 269994 832 1178 0 269872 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1084216
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 15594
/proc/meminfo: memFree=30790260/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=1143800 CPUtime=1002.31 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 286220 0 0 0 93867 6364 0 0 25 0 1 0 966321113 1171251200 285092 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 285950 285092 832 1178 0 284768 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1143800
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 15596
/proc/meminfo: memFree=30727952/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=1222328 CPUtime=1062.31 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 301931 0 0 0 99492 6739 0 0 25 0 1 0 966321113 1251663872 300803 33554432000 4194304 9016284 140737041702080 18446744073709551615 6606418 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 305582 300803 832 1178 0 304400 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1222328
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15598
/proc/meminfo: memFree=30663536/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=1285956 CPUtime=1122.31 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 318062 0 0 0 105110 7121 0 0 25 0 1 0 966321113 1316818944 316934 33554432000 4194304 9016284 140737041702080 18446744073709551615 6404095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 321489 316934 832 1178 0 320307 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1285956
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15599
/proc/meminfo: memFree=30595528/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=1353892 CPUtime=1182.31 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 335357 0 0 0 110738 7493 0 0 25 0 1 0 966321113 1386385408 334155 33554432000 4194304 9016284 140737041702080 18446744073709551615 7158223 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 338473 334155 832 1178 0 337291 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1353892
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15601
/proc/meminfo: memFree=30536340/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=1410260 CPUtime=1242.32 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 349627 0 0 0 116344 7888 0 0 25 0 1 0 966321113 1444106240 348387 33554432000 4194304 9016284 140737041702080 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 352565 348387 832 1178 0 351383 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1410260
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15602
/proc/meminfo: memFree=30479844/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=1465496 CPUtime=1302.33 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 363712 0 0 0 121950 8283 0 0 25 0 1 0 966321113 1500667904 362397 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 366374 362397 832 1178 0 365192 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1465496
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15604
/proc/meminfo: memFree=30424984/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=1520456 CPUtime=1362.32 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 377671 0 0 0 127553 8679 0 0 25 0 1 0 966321113 1556946944 376318 33554432000 4194304 9016284 140737041702080 18446744073709551615 6523168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 380114 376318 832 1178 0 378932 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1520456
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 15606
/proc/meminfo: memFree=30372080/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=1571356 CPUtime=1422.33 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 390644 0 0 0 133153 9080 0 0 25 0 1 0 966321113 1609068544 389254 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 392839 389254 832 1178 0 391657 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1571356
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 15607
/proc/meminfo: memFree=30322552/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=1620960 CPUtime=1482.32 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 403174 0 0 0 138783 9449 0 0 25 0 1 0 966321113 1659863040 401784 33554432000 4194304 9016284 140737041702080 18446744073709551615 4937296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 405240 401784 832 1178 0 404058 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1620960
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 15609
/proc/meminfo: memFree=30267692/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=1674104 CPUtime=1542.33 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 416620 0 0 0 144415 9818 0 0 25 0 1 0 966321113 1714282496 415230 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 418526 415230 832 1178 0 417344 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1674104
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15610
/proc/meminfo: memFree=30206860/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=1736008 CPUtime=1602.32 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 432308 0 0 0 150037 10195 0 0 25 0 1 0 966321113 1777672192 430918 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 434002 430918 832 1178 0 432820 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1736008
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15612
/proc/meminfo: memFree=30145288/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=1794332 CPUtime=1662.33 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 447108 0 0 0 155663 10570 0 0 25 0 1 0 966321113 1837395968 445718 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 448583 445718 832 1178 0 447401 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1794332
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15614
/proc/meminfo: memFree=30081752/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=1857488 CPUtime=1722.32 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 463124 0 0 0 161290 10942 0 0 25 0 1 0 966321113 1902067712 461697 33554432000 4194304 9016284 140737041702080 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 464372 461697 832 1178 0 463190 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 1857488
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15615
/proc/meminfo: memFree=30016688/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=1921212 CPUtime=1782.32 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 479276 0 0 0 166932 11300 0 0 25 0 1 0 966321113 1967321088 477849 33554432000 4194304 9016284 140737041702080 18446744073709551615 5155071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15482/statm: 480303 477849 832 1178 0 479121 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1921212
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15616
/proc/meminfo: memFree=30001536/32950940 swapFree=67074964/67111528
[pid=15482] ppid=15480 vsize=1935452 CPUtime=1800.03 cores=1,3,5,7
/proc/15482/stat : 15482 (scip-2.0.1.4b_2) R 15480 15482 13240 0 -1 4202496 482892 0 0 0 168617 11386 0 0 25 0 1 0 966321113 1981902848 481465 33554432000 4194304 9016284 140737041702080 18446744073709551615 6812833 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/15482/statm: 483863 481465 835 1178 0 482681 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1935452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.08
CPU time (s): 1800.11
CPU user time (s): 1686.17
CPU system time (s): 113.932
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1935452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1686.17
system time used= 113.932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482892
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2136
runsolver used 2.37964 second user time and 5.82311 second system time
The end