0.00/0.00 c SCIP version 2.0.1.4 [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-3452649-1307075954.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.01 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.4
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 = 1800
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 | - |2861k| 0 | - | 784 | 64 | 784 | 64 | 0 | 0 | 0 | -- | 0.000000e+00 | 100.00%
0.00/0.05 c 0.1s| 1 | 0 | 2199 | - |2794k| 0 | 28 | 784 | 64 | 784 | 64 | 0 | 0 | 0 |-2.050190e+04 | 0.000000e+00 | 100.00%
0.00/0.05 o -16384
0.00/0.05 c R 0.1s| 1 | 0 | 2201 | - |2813k| 0 | 28 | 784 | 64 | 784 | 64 | 0 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.00/0.05 c 0.1s| 1 | 0 | 2201 | - |2814k| 0 | 28 | 784 | 64 | 784 | 64 | 0 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.09/0.13 c 0.1s| 1 | 0 | 2207 | - |2869k| 0 | 33 | 784 | 66 | 784 | 70 | 6 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.09/0.15 c 0.2s| 1 | 0 | 2211 | - |2915k| 0 | 31 | 784 | 66 | 784 | 71 | 7 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.09/0.17 c 0.2s| 1 | 0 | 2223 | - |2964k| 0 | 33 | 784 | 66 | 784 | 84 | 20 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.19/0.20 c 0.2s| 1 | 0 | 2231 | - |3030k| 0 | 33 | 784 | 66 | 784 | 90 | 26 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.19/0.22 c 0.2s| 1 | 0 | 2244 | - |3132k| 0 | 49 | 784 | 66 | 784 | 103 | 39 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.19/0.26 c 0.3s| 1 | 0 | 2284 | - |3164k| 0 | 32 | 784 | 66 | 784 | 106 | 42 | 0 | 0 |-2.050190e+04 |-1.638400e+04 | 20.09%
0.29/0.31 c 0.3s| 1 | 2 | 3133 | - |3184k| 0 | 32 | 784 | 66 | 784 | 106 | 42 | 0 | 9 |-2.050190e+04 |-1.638400e+04 | 20.09%
11.29/11.32 c 11.3s| 10000 | 9089 | 91099 | 8.9 | 17M| 62 | 30 | 784 |4726 | 784 | 71 | 42 |6391 |4068 |-2.018211e+04 |-1.638400e+04 | 18.82%
18.60/18.64 c 18.6s| 20000 | 18315 |160467 | 7.9 | 27M| 62 | 27 | 784 |4108 | 784 | 71 | 42 | 11k|4357 |-2.018211e+04 |-1.638400e+04 | 18.82%
25.79/25.88 c 25.9s| 30000 | 27649 |230142 | 7.6 | 36M| 63 | 24 | 784 |2872 | 784 | 71 | 42 | 15k|4554 |-2.018211e+04 |-1.638400e+04 | 18.82%
33.01/33.05 c 33.1s| 40000 | 36996 |297037 | 7.4 | 46M| 63 | 25 | 784 |2894 | 784 | 71 | 42 | 19k|5042 |-2.018211e+04 |-1.638400e+04 | 18.82%
40.09/40.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.09/40.14 c 40.1s| 50000 | 46400 |363406 | 7.2 | 56M| 63 | 32 | 784 |2547 | 784 | 71 | 42 | 23k|5494 |-2.018211e+04 |-1.638400e+04 | 18.82%
47.09/47.15 c 47.2s| 60000 | 55664 |429119 | 7.1 | 66M| 64 | 26 | 784 |2119 | 784 | 71 | 42 | 27k|5925 |-2.018211e+04 |-1.638400e+04 | 18.82%
54.10/54.16 c 54.2s| 70000 | 65077 |494441 | 7.0 | 76M| 70 | 23 | 784 |1567 | 784 | 71 | 42 | 31k|6314 |-2.018211e+04 |-1.638400e+04 | 18.82%
61.20/61.28 c 61.3s| 80000 | 74460 |563138 | 7.0 | 86M| 70 | 24 | 784 |1337 | 784 | 71 | 42 | 34k|6781 |-2.018211e+04 |-1.638400e+04 | 18.82%
68.21/68.27 c 68.3s| 90000 | 83992 |631427 | 7.0 | 96M| 70 | 25 | 784 |1881 | 784 | 71 | 42 | 38k|7133 |-2.018211e+04 |-1.638400e+04 | 18.82%
75.19/75.25 c 75.3s|100000 | 93492 |699046 | 7.0 | 106M| 70 | 21 | 784 |1484 | 784 | 71 | 42 | 42k|7506 |-2.018211e+04 |-1.638400e+04 | 18.82%
82.09/82.14 c 82.1s|110000 |103014 |764712 | 6.9 | 116M| 70 | 24 | 784 |1201 | 784 | 71 | 42 | 45k|7855 |-2.018211e+04 |-1.638400e+04 | 18.82%
89.00/89.05 c 89.1s|120000 |112512 |831735 | 6.9 | 126M| 70 | 28 | 784 |1242 | 784 | 71 | 42 | 48k|8230 |-2.018211e+04 |-1.638400e+04 | 18.82%
95.99/96.00 c 96.0s|130000 |121962 |899722 | 6.9 | 136M| 70 | 22 | 784 |1138 | 784 | 71 | 42 | 52k|8526 |-2.018211e+04 |-1.638400e+04 | 18.82%
102.79/102.87 c 103s|140000 |131280 |966789 | 6.9 | 146M| 70 | 19 | 784 |1121 | 784 | 71 | 42 | 56k|8758 |-2.018211e+04 |-1.638400e+04 | 18.82%
109.59/109.68 c 110s|150000 |140636 | 1034k| 6.9 | 156M| 70 | 27 | 784 |1015 | 784 | 71 | 42 | 60k|9008 |-2.018211e+04 |-1.638400e+04 | 18.82%
116.51/116.53 c 117s|160000 |150061 | 1102k| 6.9 | 166M| 70 | 28 | 784 | 851 | 784 | 71 | 42 | 63k|9227 |-2.018211e+04 |-1.638400e+04 | 18.82%
123.30/123.39 c 123s|170000 |159665 | 1170k| 6.9 | 176M| 70 | 24 | 784 | 943 | 784 | 71 | 42 | 66k|9551 |-2.018211e+04 |-1.638400e+04 | 18.82%
130.20/130.25 c 130s|180000 |169163 | 1238k| 6.9 | 187M| 70 | - | 784 | 925 | 784 | 71 | 42 | 70k|9753 |-2.018211e+04 |-1.638400e+04 | 18.82%
137.10/137.17 c 137s|190000 |178459 | 1305k| 6.9 | 196M| 70 | 18 | 784 |1138 | 784 | 71 | 42 | 74k|9990 |-2.018211e+04 |-1.638400e+04 | 18.82%
144.01/144.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.01/144.06 c 144s|200000 |187754 | 1373k| 6.9 | 206M| 70 | 24 | 784 | 798 | 784 | 71 | 42 | 78k| 10k|-2.018211e+04 |-1.638400e+04 | 18.82%
150.89/150.94 c 151s|210000 |197131 | 1440k| 6.8 | 216M| 70 | 19 | 784 |1010 | 784 | 71 | 42 | 82k| 10k|-2.018211e+04 |-1.638400e+04 | 18.82%
157.69/157.70 c 158s|220000 |206581 | 1506k| 6.8 | 226M| 70 | 28 | 784 |1186 | 784 | 71 | 42 | 85k| 10k|-2.018211e+04 |-1.638400e+04 | 18.82%
164.50/164.57 c 165s|230000 |216003 | 1574k| 6.8 | 236M| 70 | 29 | 784 | 775 | 784 | 71 | 42 | 89k| 10k|-2.018211e+04 |-1.638400e+04 | 18.82%
171.40/171.41 c 171s|240000 |225349 | 1642k| 6.8 | 246M| 70 | 20 | 784 | 750 | 784 | 71 | 42 | 93k| 11k|-2.018081e+04 |-1.638400e+04 | 18.81%
178.10/178.15 c 178s|250000 |234884 | 1708k| 6.8 | 257M| 70 | 26 | 784 | 985 | 784 | 71 | 42 | 96k| 11k|-2.017087e+04 |-1.638400e+04 | 18.77%
184.90/184.98 c 185s|260000 |244346 | 1776k| 6.8 | 267M| 72 | 24 | 784 |1057 | 784 | 71 | 42 | 99k| 11k|-2.015875e+04 |-1.638400e+04 | 18.73%
191.80/191.87 c 192s|270000 |253844 | 1844k| 6.8 | 277M| 78 | 21 | 784 | 903 | 784 | 71 | 42 | 103k| 11k|-2.015875e+04 |-1.638400e+04 | 18.73%
198.90/198.93 c 199s|280000 |262858 | 1917k| 6.8 | 287M| 78 | 26 | 784 |1001 | 784 | 71 | 42 | 108k| 12k|-2.015875e+04 |-1.638400e+04 | 18.73%
205.90/205.99 c 206s|290000 |272146 | 1988k| 6.8 | 297M| 78 | 18 | 784 | 968 | 784 | 71 | 42 | 112k| 12k|-2.015875e+04 |-1.638400e+04 | 18.73%
213.00/213.04 c 213s|300000 |281448 | 2059k| 6.9 | 307M| 78 | 32 | 784 | 903 | 784 | 71 | 42 | 115k| 12k|-2.015875e+04 |-1.638400e+04 | 18.73%
219.90/219.97 c 220s|310000 |290686 | 2129k| 6.9 | 317M| 78 | 22 | 784 | 813 | 784 | 71 | 42 | 119k| 12k|-2.015875e+04 |-1.638400e+04 | 18.73%
226.70/226.79 c 227s|320000 |300040 | 2195k| 6.9 | 327M| 78 | 23 | 784 | 940 | 784 | 71 | 42 | 123k| 12k|-2.015333e+04 |-1.638400e+04 | 18.70%
233.59/233.68 c 234s|330000 |309064 | 2264k| 6.9 | 337M| 78 | 24 | 784 |1297 | 784 | 71 | 42 | 128k| 13k|-2.014563e+04 |-1.638400e+04 | 18.67%
240.40/240.49 c 240s|340000 |318243 | 2331k| 6.9 | 347M| 78 | 29 | 784 |1020 | 784 | 71 | 42 | 132k| 13k|-2.014016e+04 |-1.638400e+04 | 18.65%
247.30/247.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.30/247.35 c 247s|350000 |327617 | 2399k| 6.8 | 357M| 78 | 24 | 784 | 913 | 784 | 71 | 42 | 136k| 13k|-2.013867e+04 |-1.638400e+04 | 18.64%
254.20/254.20 c 254s|360000 |337160 | 2467k| 6.8 | 367M| 78 | 30 | 784 | 852 | 784 | 71 | 42 | 139k| 13k|-2.013867e+04 |-1.638400e+04 | 18.64%
261.00/261.05 c 261s|370000 |346569 | 2535k| 6.8 | 377M| 78 | 24 | 784 | 856 | 784 | 71 | 42 | 143k| 13k|-2.013867e+04 |-1.638400e+04 | 18.64%
267.80/267.83 c 268s|380000 |356120 | 2602k| 6.8 | 388M| 78 | 23 | 784 |1054 | 784 | 71 | 42 | 146k| 13k|-2.013867e+04 |-1.638400e+04 | 18.64%
274.60/274.60 c 275s|390000 |365708 | 2668k| 6.8 | 398M| 78 | 20 | 784 | 784 | 784 | 71 | 42 | 149k| 14k|-2.013867e+04 |-1.638400e+04 | 18.64%
281.40/281.42 c 281s|400000 |375227 | 2735k| 6.8 | 408M| 79 | 23 | 784 | 906 | 784 | 71 | 42 | 153k| 14k|-2.013867e+04 |-1.638400e+04 | 18.64%
288.30/288.31 c 288s|410000 |384772 | 2803k| 6.8 | 418M| 79 | 21 | 784 |1068 | 784 | 71 | 42 | 157k| 14k|-2.013867e+04 |-1.638400e+04 | 18.64%
295.10/295.14 c 295s|420000 |394079 | 2872k| 6.8 | 428M| 79 | 28 | 784 |1018 | 784 | 71 | 42 | 160k| 14k|-2.013867e+04 |-1.638400e+04 | 18.64%
301.90/301.99 c 302s|430000 |403597 | 2939k| 6.8 | 438M| 79 | 26 | 784 | 778 | 784 | 71 | 42 | 164k| 14k|-2.013412e+04 |-1.638400e+04 | 18.63%
308.71/308.78 c 309s|440000 |413002 | 3005k| 6.8 | 448M| 79 | 27 | 784 | 799 | 784 | 71 | 42 | 168k| 14k|-2.012070e+04 |-1.638400e+04 | 18.57%
315.61/315.71 c 316s|450000 |422311 | 3075k| 6.8 | 459M| 79 | 28 | 784 | 990 | 784 | 71 | 42 | 172k| 14k|-2.012070e+04 |-1.638400e+04 | 18.57%
322.40/322.47 c 322s|460000 |431410 | 3142k| 6.8 | 469M| 79 | 24 | 784 |1373 | 784 | 71 | 42 | 176k| 15k|-2.011429e+04 |-1.638400e+04 | 18.55%
329.30/329.32 c 329s|470000 |440690 | 3210k| 6.8 | 479M| 79 | 28 | 784 |1037 | 784 | 71 | 42 | 180k| 15k|-2.011429e+04 |-1.638400e+04 | 18.55%
336.10/336.12 c 336s|480000 |450092 | 3277k| 6.8 | 489M| 79 | 20 | 784 |1168 | 784 | 71 | 42 | 184k| 15k|-2.011429e+04 |-1.638400e+04 | 18.55%
342.90/342.99 c 343s|490000 |459474 | 3345k| 6.8 | 499M| 79 | 25 | 784 | 983 | 784 | 71 | 42 | 188k| 15k|-2.011429e+04 |-1.638400e+04 | 18.55%
349.90/349.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.90/349.93 c 350s|500000 |468810 | 3415k| 6.8 | 509M| 79 | 25 | 784 | 859 | 784 | 71 | 42 | 191k| 15k|-2.011429e+04 |-1.638400e+04 | 18.55%
356.80/356.89 c 357s|510000 |478201 | 3485k| 6.8 | 519M| 79 | 16 | 784 |1067 | 784 | 71 | 42 | 195k| 15k|-2.011429e+04 |-1.638400e+04 | 18.55%
363.71/363.74 c 364s|520000 |487624 | 3553k| 6.8 | 529M| 82 | 25 | 784 | 854 | 784 | 71 | 42 | 199k| 15k|-2.011429e+04 |-1.638400e+04 | 18.55%
370.62/370.67 c 371s|530000 |496871 | 3622k| 6.8 | 540M| 82 | 24 | 784 | 915 | 784 | 71 | 42 | 203k| 16k|-2.011429e+04 |-1.638400e+04 | 18.55%
377.60/377.67 c 378s|540000 |505969 | 3693k| 6.8 | 550M| 82 | 16 | 784 |1165 | 784 | 71 | 42 | 207k| 16k|-2.011429e+04 |-1.638400e+04 | 18.55%
384.50/384.52 c 385s|550000 |515311 | 3762k| 6.8 | 560M| 82 | 25 | 784 |1005 | 784 | 71 | 42 | 211k| 16k|-2.011429e+04 |-1.638400e+04 | 18.55%
391.62/391.69 c 392s|560000 |524261 | 3835k| 6.8 | 571M| 82 | 18 | 784 |1250 | 784 | 71 | 42 | 216k| 16k|-2.011429e+04 |-1.638400e+04 | 18.55%
398.51/398.51 c 399s|570000 |533647 | 3904k| 6.8 | 581M| 82 | 28 | 784 |1049 | 784 | 71 | 42 | 220k| 16k|-2.011429e+04 |-1.638400e+04 | 18.55%
405.40/405.49 c 405s|580000 |543035 | 3974k| 6.8 | 592M| 82 | 26 | 784 |1177 | 784 | 71 | 42 | 224k| 16k|-2.011429e+04 |-1.638400e+04 | 18.55%
412.41/412.42 c 412s|590000 |552241 | 4043k| 6.9 | 602M| 82 | 25 | 784 | 846 | 784 | 71 | 42 | 228k| 16k|-2.011429e+04 |-1.638400e+04 | 18.55%
419.21/419.22 c 419s|600000 |561543 | 4111k| 6.8 | 612M| 82 | 24 | 784 | 985 | 784 | 71 | 42 | 231k| 16k|-2.011429e+04 |-1.638400e+04 | 18.55%
426.11/426.16 c 426s|610000 |570913 | 4179k| 6.8 | 623M| 82 | 27 | 784 | 971 | 784 | 71 | 42 | 235k| 16k|-2.011429e+04 |-1.638400e+04 | 18.55%
432.91/432.96 c 433s|620000 |580400 | 4249k| 6.8 | 633M| 82 | 24 | 784 |1012 | 784 | 71 | 42 | 238k| 17k|-2.011429e+04 |-1.638400e+04 | 18.55%
439.91/439.95 c 440s|630000 |589719 | 4318k| 6.9 | 644M| 82 | 21 | 784 |1081 | 784 | 71 | 42 | 242k| 17k|-2.011429e+04 |-1.638400e+04 | 18.55%
446.81/446.81 c 447s|640000 |598910 | 4387k| 6.9 | 654M| 82 | 28 | 784 | 887 | 784 | 71 | 42 | 246k| 17k|-2.011429e+04 |-1.638400e+04 | 18.55%
453.60/453.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.60/453.67 c 454s|650000 |608220 | 4455k| 6.9 | 664M| 82 | 29 | 784 | 984 | 784 | 71 | 42 | 250k| 17k|-2.011429e+04 |-1.638400e+04 | 18.55%
460.50/460.56 c 461s|660000 |617275 | 4524k| 6.9 | 675M| 82 | 25 | 784 |1309 | 784 | 71 | 42 | 255k| 17k|-2.011429e+04 |-1.638400e+04 | 18.55%
467.42/467.51 c 468s|670000 |626383 | 4593k| 6.9 | 685M| 82 | 32 | 784 |1415 | 784 | 71 | 42 | 260k| 17k|-2.011429e+04 |-1.638400e+04 | 18.55%
474.40/474.40 c 474s|680000 |635768 | 4661k| 6.9 | 695M| 82 | 32 | 784 |1333 | 784 | 71 | 42 | 264k| 17k|-2.011429e+04 |-1.638400e+04 | 18.55%
481.31/481.39 c 481s|690000 |645143 | 4731k| 6.9 | 706M| 82 | 27 | 784 | 923 | 784 | 71 | 42 | 268k| 17k|-2.011429e+04 |-1.638400e+04 | 18.55%
488.31/488.34 c 488s|700000 |654376 | 4801k| 6.9 | 716M| 82 | 28 | 784 |1011 | 784 | 71 | 42 | 272k| 17k|-2.011429e+04 |-1.638400e+04 | 18.55%
495.11/495.16 c 495s|710000 |663800 | 4869k| 6.9 | 726M| 82 | 27 | 784 | 850 | 784 | 71 | 42 | 275k| 18k|-2.011429e+04 |-1.638400e+04 | 18.55%
501.91/501.93 c 502s|720000 |673025 | 4936k| 6.9 | 737M| 82 | 26 | 784 |1018 | 784 | 71 | 42 | 279k| 18k|-2.011429e+04 |-1.638400e+04 | 18.55%
508.80/508.84 c 509s|730000 |682344 | 5005k| 6.9 | 747M| 82 | 22 | 784 |1023 | 784 | 71 | 42 | 283k| 18k|-2.011429e+04 |-1.638400e+04 | 18.55%
515.71/515.78 c 516s|740000 |691451 | 5074k| 6.9 | 758M| 82 | 26 | 784 |1246 | 784 | 71 | 42 | 288k| 18k|-2.011429e+04 |-1.638400e+04 | 18.55%
522.71/522.72 c 523s|750000 |700183 | 5143k| 6.9 | 768M| 82 | 30 | 784 |1001 | 784 | 71 | 42 | 293k| 18k|-2.011429e+04 |-1.638400e+04 | 18.55%
529.61/529.63 c 530s|760000 |709407 | 5213k| 6.9 | 778M| 82 | 26 | 784 |1173 | 784 | 71 | 42 | 297k| 18k|-2.011429e+04 |-1.638400e+04 | 18.55%
536.61/536.64 c 537s|770000 |718695 | 5283k| 6.9 | 789M| 82 | 25 | 784 | 842 | 784 | 71 | 42 | 301k| 18k|-2.011429e+04 |-1.638400e+04 | 18.55%
543.71/543.76 c 544s|780000 |727721 | 5354k| 6.9 | 799M| 82 | - | 784 |1250 | 784 | 71 | 42 | 306k| 18k|-2.011429e+04 |-1.638400e+04 | 18.55%
550.61/550.62 c 551s|790000 |736988 | 5423k| 6.9 | 810M| 82 | 28 | 784 |1098 | 784 | 71 | 42 | 311k| 18k|-2.011429e+04 |-1.638400e+04 | 18.55%
557.41/557.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.41/557.47 c 557s|800000 |746190 | 5491k| 6.9 | 820M| 82 | 27 | 784 |1035 | 784 | 71 | 42 | 315k| 19k|-2.011429e+04 |-1.638400e+04 | 18.55%
564.41/564.48 c 564s|810000 |755224 | 5561k| 6.9 | 830M| 82 | 31 | 784 | 976 | 784 | 71 | 42 | 320k| 19k|-2.011429e+04 |-1.638400e+04 | 18.55%
571.31/571.34 c 571s|820000 |764443 | 5630k| 6.9 | 841M| 82 | 18 | 784 | 934 | 784 | 71 | 42 | 324k| 19k|-2.011429e+04 |-1.638400e+04 | 18.55%
578.31/578.37 c 578s|830000 |773312 | 5701k| 6.9 | 851M| 82 | 22 | 784 |1181 | 784 | 71 | 42 | 329k| 19k|-2.011429e+04 |-1.638400e+04 | 18.55%
585.31/585.36 c 585s|840000 |782473 | 5771k| 6.9 | 861M| 82 | 24 | 784 | 966 | 784 | 71 | 42 | 333k| 19k|-2.011429e+04 |-1.638400e+04 | 18.55%
592.31/592.33 c 592s|850000 |791766 | 5841k| 6.9 | 872M| 82 | 23 | 784 | 986 | 784 | 71 | 42 | 337k| 19k|-2.011429e+04 |-1.638400e+04 | 18.55%
599.21/599.28 c 599s|860000 |800680 | 5910k| 6.9 | 882M| 82 | 25 | 784 |1716 | 784 | 71 | 42 | 342k| 19k|-2.011429e+04 |-1.638400e+04 | 18.55%
606.21/606.25 c 606s|870000 |809879 | 5979k| 6.9 | 892M| 82 | 22 | 784 |1393 | 784 | 71 | 42 | 347k| 19k|-2.011429e+04 |-1.638400e+04 | 18.55%
613.12/613.18 c 613s|880000 |819176 | 6047k| 6.9 | 902M| 82 | 20 | 784 |1021 | 784 | 71 | 42 | 351k| 19k|-2.011429e+04 |-1.638400e+04 | 18.55%
620.02/620.08 c 620s|890000 |828407 | 6117k| 6.9 | 913M| 82 | 24 | 784 |1079 | 784 | 71 | 42 | 355k| 19k|-2.011429e+04 |-1.638400e+04 | 18.55%
626.92/627.00 c 627s|900000 |837535 | 6186k| 6.9 | 923M| 82 | 28 | 784 |1312 | 784 | 71 | 42 | 359k| 19k|-2.011429e+04 |-1.638400e+04 | 18.55%
634.01/634.00 c 634s|910000 |846725 | 6256k| 6.9 | 934M| 82 | 19 | 784 |1142 | 784 | 71 | 42 | 364k| 20k|-2.011429e+04 |-1.638400e+04 | 18.55%
641.02/641.07 c 641s|920000 |855681 | 6326k| 6.9 | 944M| 82 | 24 | 784 |1156 | 784 | 71 | 42 | 369k| 20k|-2.011429e+04 |-1.638400e+04 | 18.55%
648.01/648.00 c 648s|930000 |864686 | 6396k| 6.9 | 954M| 82 | 23 | 784 |1245 | 784 | 71 | 42 | 374k| 20k|-2.011429e+04 |-1.638400e+04 | 18.55%
654.91/654.91 c 655s|940000 |873893 | 6463k| 6.9 | 964M| 82 | 16 | 784 |1144 | 784 | 71 | 42 | 379k| 20k|-2.011429e+04 |-1.638400e+04 | 18.55%
661.82/661.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
661.82/661.85 c 662s|950000 |883123 | 6533k| 6.9 | 975M| 82 | 22 | 784 |1630 | 784 | 71 | 42 | 383k| 20k|-2.011429e+04 |-1.638400e+04 | 18.55%
668.61/668.64 c 669s|960000 |892402 | 6600k| 6.9 | 985M| 82 | 26 | 784 |1271 | 784 | 71 | 42 | 387k| 20k|-2.011429e+04 |-1.638400e+04 | 18.55%
675.51/675.55 c 676s|970000 |901516 | 6672k| 6.9 | 996M| 82 | 21 | 784 |1303 | 784 | 71 | 42 | 391k| 20k|-2.011429e+04 |-1.638400e+04 | 18.55%
682.51/682.59 c 683s|980000 |910581 | 6743k| 6.9 |1006M| 82 | 27 | 784 |1325 | 784 | 71 | 42 | 396k| 20k|-2.011429e+04 |-1.638400e+04 | 18.55%
689.41/689.46 c 689s|990000 |919450 | 6813k| 6.9 |1016M| 82 | 26 | 784 |1121 | 784 | 71 | 42 | 401k| 20k|-2.011429e+04 |-1.638400e+04 | 18.55%
696.52/696.58 c 697s| 1000k|928286 | 6885k| 6.9 |1026M| 82 | 25 | 784 |1255 | 784 | 71 | 42 | 406k| 20k|-2.011429e+04 |-1.638400e+04 | 18.55%
703.72/703.72 c 704s| 1010k|937215 | 6958k| 6.9 |1036M| 82 | - | 784 |1304 | 784 | 71 | 42 | 411k| 20k|-2.011429e+04 |-1.638400e+04 | 18.55%
710.52/710.55 c 711s| 1020k|946472 | 7027k| 6.9 |1047M| 82 | 23 | 784 | 973 | 784 | 71 | 42 | 416k| 20k|-2.011429e+04 |-1.638400e+04 | 18.55%
717.42/717.42 c 717s| 1030k|955757 | 7095k| 6.9 |1057M| 82 | 19 | 784 | 901 | 784 | 71 | 42 | 420k| 21k|-2.011429e+04 |-1.638400e+04 | 18.55%
724.32/724.33 c 724s| 1040k|964854 | 7164k| 6.9 |1067M| 82 | 27 | 784 |1040 | 784 | 71 | 42 | 424k| 21k|-2.011429e+04 |-1.638400e+04 | 18.55%
731.32/731.30 c 731s| 1050k|973759 | 7235k| 6.9 |1078M| 82 | 26 | 784 |1302 | 784 | 71 | 42 | 429k| 21k|-2.011429e+04 |-1.638400e+04 | 18.55%
738.13/738.16 c 738s| 1060k|983146 | 7303k| 6.9 |1088M| 82 | 23 | 784 | 962 | 784 | 71 | 42 | 433k| 21k|-2.011429e+04 |-1.638400e+04 | 18.55%
745.01/745.08 c 745s| 1070k|992132 | 7373k| 6.9 |1098M| 82 | 24 | 784 |1289 | 784 | 71 | 42 | 437k| 21k|-2.011429e+04 |-1.638400e+04 | 18.55%
752.01/752.00 c 752s| 1080k| 1001k| 7443k| 6.9 |1108M| 82 | 26 | 784 |1069 | 784 | 71 | 42 | 442k| 21k|-2.011429e+04 |-1.638400e+04 | 18.55%
758.93/759.00 c 759s| 1090k| 1010k| 7513k| 6.9 |1118M| 82 | 24 | 784 |1155 | 784 | 71 | 42 | 448k| 21k|-2.011429e+04 |-1.638400e+04 | 18.55%
765.82/765.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
765.82/765.85 c 766s| 1100k| 1019k| 7581k| 6.9 |1129M| 82 | 25 | 784 |1107 | 784 | 71 | 42 | 452k| 21k|-2.011429e+04 |-1.638400e+04 | 18.55%
773.11/773.10 c 773s| 1110k| 1027k| 7655k| 6.9 |1139M| 82 | 26 | 784 |2419 | 784 | 71 | 42 | 458k| 21k|-2.011429e+04 |-1.638400e+04 | 18.55%
780.02/780.05 c 780s| 1120k| 1036k| 7725k| 6.9 |1149M| 82 | 28 | 784 |1171 | 784 | 71 | 42 | 463k| 21k|-2.011429e+04 |-1.638400e+04 | 18.55%
787.02/787.04 c 787s| 1130k| 1045k| 7796k| 6.9 |1159M| 82 | 25 | 784 |1390 | 784 | 71 | 42 | 469k| 21k|-2.011429e+04 |-1.638400e+04 | 18.55%
794.02/794.05 c 794s| 1140k| 1054k| 7866k| 6.9 |1169M| 82 | 25 | 784 |1032 | 784 | 71 | 42 | 473k| 22k|-2.011429e+04 |-1.638400e+04 | 18.55%
800.92/800.95 c 801s| 1150k| 1063k| 7935k| 6.9 |1179M| 82 | 30 | 784 |1181 | 784 | 71 | 42 | 478k| 22k|-2.011429e+04 |-1.638400e+04 | 18.55%
807.71/807.79 c 808s| 1160k| 1072k| 8003k| 6.9 |1190M| 82 | - | 784 |1906 | 784 | 71 | 42 | 482k| 22k|-2.011429e+04 |-1.638400e+04 | 18.55%
814.72/814.71 c 815s| 1170k| 1082k| 8071k| 6.9 |1200M| 82 | 24 | 784 |1618 | 784 | 71 | 42 | 487k| 22k|-2.011429e+04 |-1.638400e+04 | 18.55%
821.52/821.57 c 822s| 1180k| 1091k| 8139k| 6.9 |1210M| 82 | 25 | 784 | 801 | 784 | 71 | 42 | 491k| 22k|-2.011429e+04 |-1.638400e+04 | 18.55%
828.52/828.53 c 829s| 1190k| 1100k| 8210k| 6.9 |1220M| 82 | - | 784 |1341 | 784 | 71 | 42 | 496k| 22k|-2.011429e+04 |-1.638400e+04 | 18.55%
835.51/835.56 c 836s| 1200k| 1109k| 8280k| 6.9 |1230M| 82 | 26 | 784 |1123 | 784 | 71 | 42 | 501k| 22k|-2.011429e+04 |-1.638400e+04 | 18.55%
842.32/842.35 c 842s| 1210k| 1118k| 8347k| 6.9 |1241M| 82 | 29 | 784 |1132 | 784 | 71 | 42 | 505k| 22k|-2.011429e+04 |-1.638400e+04 | 18.55%
849.42/849.41 c 849s| 1220k| 1127k| 8418k| 6.9 |1251M| 82 | 25 | 784 |1277 | 784 | 71 | 42 | 510k| 22k|-2.011429e+04 |-1.638400e+04 | 18.55%
856.42/856.46 c 856s| 1230k| 1136k| 8489k| 6.9 |1261M| 82 | 26 | 784 |1138 | 784 | 71 | 42 | 515k| 22k|-2.011429e+04 |-1.638400e+04 | 18.55%
863.43/863.43 c 863s| 1240k| 1145k| 8558k| 6.9 |1272M| 82 | 28 | 784 |1050 | 784 | 71 | 42 | 519k| 22k|-2.011429e+04 |-1.638400e+04 | 18.55%
870.42/870.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.42/870.44 c 870s| 1250k| 1154k| 8628k| 6.9 |1282M| 82 | 23 | 784 | 971 | 784 | 71 | 42 | 524k| 22k|-2.011429e+04 |-1.638400e+04 | 18.55%
877.42/877.41 c 877s| 1260k| 1163k| 8698k| 6.9 |1292M| 82 | 26 | 784 |1143 | 784 | 71 | 42 | 528k| 22k|-2.011429e+04 |-1.638400e+04 | 18.55%
884.22/884.28 c 884s| 1270k| 1173k| 8767k| 6.9 |1303M| 82 | 32 | 784 |1209 | 784 | 71 | 42 | 532k| 23k|-2.011429e+04 |-1.638400e+04 | 18.55%
891.22/891.21 c 891s| 1280k| 1182k| 8836k| 6.9 |1313M| 82 | 26 | 784 |1092 | 784 | 71 | 42 | 536k| 23k|-2.011429e+04 |-1.638400e+04 | 18.55%
898.22/898.25 c 898s| 1290k| 1191k| 8907k| 6.9 |1324M| 82 | 23 | 784 |1517 | 784 | 71 | 42 | 541k| 23k|-2.011429e+04 |-1.638400e+04 | 18.55%
905.23/905.24 c 905s| 1300k| 1200k| 8977k| 6.9 |1334M| 82 | 25 | 784 |1304 | 784 | 71 | 42 | 546k| 23k|-2.011429e+04 |-1.638400e+04 | 18.55%
912.12/912.10 c 912s| 1310k| 1209k| 9045k| 6.9 |1344M| 82 | 21 | 784 |1061 | 784 | 71 | 42 | 551k| 23k|-2.011429e+04 |-1.638400e+04 | 18.55%
919.02/919.02 c 919s| 1320k| 1218k| 9114k| 6.9 |1354M| 82 | 21 | 784 |1151 | 784 | 71 | 42 | 555k| 23k|-2.011429e+04 |-1.638400e+04 | 18.55%
926.02/926.07 c 926s| 1330k| 1227k| 9185k| 6.9 |1364M| 82 | 20 | 784 |1312 | 784 | 71 | 42 | 561k| 23k|-2.011429e+04 |-1.638400e+04 | 18.55%
933.13/933.13 c 933s| 1340k| 1236k| 9257k| 6.9 |1375M| 82 | 18 | 784 |1091 | 784 | 71 | 42 | 565k| 23k|-2.011429e+04 |-1.638400e+04 | 18.55%
940.13/940.16 c 940s| 1350k| 1245k| 9327k| 6.9 |1385M| 82 | 19 | 784 |1056 | 784 | 71 | 42 | 571k| 23k|-2.011429e+04 |-1.638400e+04 | 18.55%
947.14/947.18 c 947s| 1360k| 1253k| 9399k| 6.9 |1395M| 86 | 22 | 784 |1730 | 784 | 71 | 42 | 576k| 23k|-2.011429e+04 |-1.638400e+04 | 18.55%
954.22/954.20 c 954s| 1370k| 1262k| 9470k| 6.9 |1406M| 86 | 25 | 784 |1324 | 784 | 71 | 42 | 582k| 23k|-2.011429e+04 |-1.638400e+04 | 18.55%
961.22/961.24 c 961s| 1380k| 1271k| 9540k| 6.9 |1416M| 86 | - | 784 |1234 | 784 | 71 | 42 | 588k| 23k|-2.011429e+04 |-1.638400e+04 | 18.55%
968.12/968.14 c 968s| 1390k| 1280k| 9609k| 6.9 |1426M| 86 | 20 | 784 |1129 | 784 | 71 | 42 | 593k| 23k|-2.011429e+04 |-1.638400e+04 | 18.55%
975.03/975.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
975.03/975.05 c 975s| 1400k| 1289k| 9678k| 6.9 |1436M| 86 | 21 | 784 |1283 | 784 | 71 | 42 | 597k| 24k|-2.011429e+04 |-1.638400e+04 | 18.55%
981.82/981.87 c 982s| 1410k| 1298k| 9746k| 6.9 |1446M| 86 | 27 | 784 | 786 | 784 | 71 | 42 | 601k| 24k|-2.011429e+04 |-1.638400e+04 | 18.55%
988.73/988.75 c 989s| 1420k| 1307k| 9815k| 6.9 |1457M| 97 | 26 | 784 |1060 | 784 | 71 | 42 | 606k| 24k|-2.011429e+04 |-1.638400e+04 | 18.55%
995.73/995.75 c 996s| 1430k| 1316k| 9885k| 6.9 |1467M| 97 | 26 | 784 |1589 | 784 | 71 | 42 | 613k| 24k|-2.011429e+04 |-1.638400e+04 | 18.55%
1002.73/1002.70 c 1003s| 1440k| 1324k| 9955k| 6.9 |1477M| 97 | 28 | 784 | 878 | 784 | 71 | 42 | 619k| 24k|-2.011429e+04 |-1.638400e+04 | 18.55%
1009.73/1009.76 c 1010s| 1450k| 1333k| 10027k| 6.9 |1488M| 97 | 26 | 784 |1225 | 784 | 71 | 42 | 624k| 24k|-2.011429e+04 |-1.638400e+04 | 18.55%
1016.72/1016.71 c 1017s| 1460k| 1343k| 10096k| 6.9 |1498M| 97 | 19 | 784 |1237 | 784 | 71 | 42 | 628k| 24k|-2.011429e+04 |-1.638400e+04 | 18.55%
1023.53/1023.57 c 1024s| 1470k| 1352k| 10166k| 6.9 |1509M| 97 | - | 784 |1168 | 784 | 71 | 42 | 633k| 24k|-2.011429e+04 |-1.638400e+04 | 18.55%
1030.53/1030.55 c 1031s| 1480k| 1360k| 10237k| 6.9 |1519M| 97 | 26 | 784 |1224 | 784 | 71 | 42 | 638k| 24k|-2.011429e+04 |-1.638400e+04 | 18.55%
1037.53/1037.55 c 1038s| 1490k| 1369k| 10307k| 6.9 |1529M| 97 | 27 | 784 |1135 | 784 | 71 | 42 | 643k| 24k|-2.011429e+04 |-1.638400e+04 | 18.55%
1044.62/1044.61 c 1045s| 1500k| 1378k| 10378k| 6.9 |1540M| 97 | 19 | 784 |1574 | 784 | 71 | 42 | 649k| 24k|-2.011429e+04 |-1.638400e+04 | 18.55%
1051.53/1051.60 c 1052s| 1510k| 1387k| 10448k| 6.9 |1550M| 97 | 23 | 784 |1380 | 784 | 71 | 42 | 655k| 24k|-2.011429e+04 |-1.638400e+04 | 18.55%
1058.53/1058.57 c 1059s| 1520k| 1396k| 10519k| 6.9 |1560M| 97 | 22 | 784 |1385 | 784 | 71 | 42 | 660k| 24k|-2.011429e+04 |-1.638400e+04 | 18.55%
1065.53/1065.52 c 1066s| 1530k| 1405k| 10589k| 6.9 |1571M| 97 | 23 | 784 |1175 | 784 | 71 | 42 | 664k| 24k|-2.011429e+04 |-1.638400e+04 | 18.55%
1072.43/1072.43 c 1072s| 1540k| 1414k| 10658k| 6.9 |1581M| 97 | 20 | 784 |1249 | 784 | 71 | 42 | 669k| 24k|-2.011429e+04 |-1.638400e+04 | 18.55%
1079.42/1079.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1079.42/1079.41 c 1079s| 1550k| 1423k| 10729k| 6.9 |1592M| 97 | 27 | 784 |1134 | 784 | 71 | 42 | 674k| 25k|-2.011429e+04 |-1.638400e+04 | 18.55%
1086.43/1086.45 c 1086s| 1560k| 1431k| 10799k| 6.9 |1602M| 97 | 20 | 784 |1548 | 784 | 71 | 42 | 679k| 25k|-2.011429e+04 |-1.638400e+04 | 18.55%
1093.33/1093.37 c 1093s| 1570k| 1440k| 10869k| 6.9 |1613M| 97 | 23 | 784 |1582 | 784 | 71 | 42 | 685k| 25k|-2.011429e+04 |-1.638400e+04 | 18.55%
1100.43/1100.40 c 1100s| 1580k| 1449k| 10939k| 6.9 |1623M| 97 | - | 784 |1054 | 784 | 71 | 42 | 690k| 25k|-2.011429e+04 |-1.638400e+04 | 18.55%
1107.42/1107.42 c 1107s| 1590k| 1458k| 11009k| 6.9 |1633M| 97 | 22 | 784 |1337 | 784 | 71 | 42 | 695k| 25k|-2.011429e+04 |-1.638400e+04 | 18.55%
1114.34/1114.33 c 1114s| 1600k| 1467k| 11079k| 6.9 |1643M| 97 | 24 | 784 |1515 | 784 | 71 | 42 | 700k| 25k|-2.011429e+04 |-1.638400e+04 | 18.55%
1121.43/1121.40 c 1121s| 1610k| 1475k| 11149k| 6.9 |1654M| 97 | 22 | 784 |1290 | 784 | 71 | 42 | 706k| 25k|-2.011429e+04 |-1.638400e+04 | 18.55%
1128.43/1128.40 c 1128s| 1620k| 1484k| 11219k| 6.9 |1664M| 97 | 32 | 784 |1193 | 784 | 71 | 42 | 710k| 25k|-2.011429e+04 |-1.638400e+04 | 18.55%
1135.25/1135.26 c 1135s| 1630k| 1493k| 11289k| 6.9 |1674M| 97 | 30 | 784 |1093 | 784 | 71 | 42 | 715k| 25k|-2.011429e+04 |-1.638400e+04 | 18.55%
1142.23/1142.23 c 1142s| 1640k| 1502k| 11359k| 6.9 |1685M| 97 | 23 | 784 |1020 | 784 | 71 | 42 | 719k| 25k|-2.011429e+04 |-1.638400e+04 | 18.55%
1149.23/1149.21 c 1149s| 1650k| 1511k| 11428k| 6.9 |1696M| 97 | - | 784 |1563 | 784 | 71 | 42 | 724k| 25k|-2.011429e+04 |-1.638400e+04 | 18.55%
1156.15/1156.14 c 1156s| 1660k| 1520k| 11497k| 6.9 |1706M| 97 | 26 | 784 |1223 | 784 | 71 | 42 | 728k| 25k|-2.011429e+04 |-1.638400e+04 | 18.55%
1162.93/1162.99 c 1163s| 1670k| 1529k| 11564k| 6.9 |1716M| 97 | 29 | 784 | 990 | 784 | 71 | 42 | 733k| 25k|-2.011429e+04 |-1.638400e+04 | 18.55%
1169.93/1169.94 c 1170s| 1680k| 1538k| 11635k| 6.9 |1727M| 97 | 28 | 784 |1409 | 784 | 71 | 42 | 739k| 25k|-2.011429e+04 |-1.638400e+04 | 18.55%
1176.83/1176.88 c 1177s| 1690k| 1547k| 11704k| 6.9 |1737M| 97 | 20 | 784 |1160 | 784 | 71 | 42 | 744k| 25k|-2.011429e+04 |-1.638400e+04 | 18.55%
1183.73/1183.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1183.73/1183.76 c 1184s| 1700k| 1556k| 11773k| 6.9 |1748M| 97 | 25 | 784 |1152 | 784 | 71 | 42 | 748k| 25k|-2.011429e+04 |-1.638400e+04 | 18.55%
1190.73/1190.73 c 1191s| 1710k| 1565k| 11844k| 6.9 |1758M| 97 | 26 | 784 |1406 | 784 | 71 | 42 | 753k| 25k|-2.011429e+04 |-1.638400e+04 | 18.55%
1197.73/1197.76 c 1198s| 1720k| 1574k| 11915k| 6.9 |1769M| 97 | 28 | 784 |1730 | 784 | 71 | 42 | 758k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1204.73/1204.78 c 1205s| 1730k| 1583k| 11987k| 6.9 |1779M| 97 | 27 | 784 |1465 | 784 | 71 | 42 | 763k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1211.63/1211.68 c 1212s| 1740k| 1592k| 12056k| 6.9 |1789M| 97 | 23 | 784 | 878 | 784 | 71 | 42 | 767k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1218.63/1218.65 c 1219s| 1750k| 1601k| 12126k| 6.9 |1800M| 97 | 25 | 784 |1212 | 784 | 71 | 42 | 772k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1225.63/1225.68 c 1226s| 1760k| 1610k| 12196k| 6.9 |1811M| 97 | 28 | 784 |1280 | 784 | 71 | 42 | 778k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1232.64/1232.64 c 1233s| 1770k| 1619k| 12266k| 6.9 |1821M| 97 | 25 | 784 |1287 | 784 | 71 | 42 | 783k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1239.53/1239.59 c 1240s| 1780k| 1628k| 12336k| 6.9 |1831M| 97 | 22 | 784 | 979 | 784 | 71 | 42 | 787k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1246.53/1246.52 c 1247s| 1790k| 1637k| 12404k| 6.9 |1842M| 97 | - | 784 |1150 | 784 | 71 | 42 | 791k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1253.43/1253.47 c 1253s| 1800k| 1646k| 12475k| 6.9 |1852M| 97 | 22 | 784 |1238 | 784 | 71 | 42 | 797k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1260.54/1260.52 c 1261s| 1810k| 1654k| 12545k| 6.9 |1863M| 97 | 21 | 784 |1215 | 784 | 71 | 42 | 802k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1267.43/1267.42 c 1267s| 1820k| 1663k| 12614k| 6.9 |1873M| 97 | 19 | 784 |1236 | 784 | 71 | 42 | 807k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1274.43/1274.41 c 1274s| 1830k| 1672k| 12685k| 6.9 |1884M| 97 | 18 | 784 |1400 | 784 | 71 | 42 | 811k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1281.34/1281.36 c 1281s| 1840k| 1681k| 12755k| 6.9 |1894M| 97 | 19 | 784 |1136 | 784 | 71 | 42 | 817k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1288.43/1288.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1288.43/1288.41 c 1288s| 1850k| 1690k| 12826k| 6.9 |1905M| 97 | 26 | 784 |1117 | 784 | 71 | 42 | 821k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1295.34/1295.32 c 1295s| 1860k| 1699k| 12895k| 6.9 |1916M| 97 | 29 | 784 |1321 | 784 | 71 | 42 | 825k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1302.13/1302.12 c 1302s| 1870k| 1709k| 12962k| 6.9 |1926M| 97 | 25 | 784 |1447 | 784 | 71 | 42 | 830k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1309.13/1309.15 c 1309s| 1880k| 1717k| 13033k| 6.9 |1936M| 97 | 22 | 784 |1524 | 784 | 71 | 42 | 835k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1316.03/1316.02 c 1316s| 1890k| 1726k| 13102k| 6.9 |1947M| 97 | 23 | 784 |1309 | 784 | 71 | 42 | 840k| 26k|-2.011429e+04 |-1.638400e+04 | 18.55%
1322.94/1322.98 c 1323s| 1900k| 1736k| 13171k| 6.9 |1958M| 97 | 21 | 784 |1085 | 784 | 71 | 42 | 844k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1330.03/1330.00 c 1330s| 1910k| 1744k| 13241k| 6.9 |1968M| 97 | 19 | 784 |1595 | 784 | 71 | 42 | 849k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1336.93/1336.91 c 1337s| 1920k| 1753k| 13311k| 6.9 |1979M| 97 | 25 | 784 |1320 | 784 | 71 | 42 | 854k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1343.84/1343.81 c 1344s| 1930k| 1762k| 13380k| 6.9 |1989M| 97 | 24 | 784 |1119 | 784 | 71 | 42 | 858k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1350.74/1350.72 c 1351s| 1940k| 1771k| 13449k| 6.9 |1999M| 97 | 30 | 784 |1340 | 784 | 71 | 42 | 863k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1357.84/1357.80 c 1358s| 1950k| 1780k| 13519k| 6.9 |2010M| 97 | 19 | 784 |1161 | 784 | 71 | 42 | 868k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1364.73/1364.76 c 1365s| 1960k| 1789k| 13589k| 6.9 |2020M| 97 | 15 | 784 | 916 | 784 | 71 | 42 | 873k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1371.75/1371.76 c 1372s| 1970k| 1798k| 13658k| 6.9 |2031M| 97 | 21 | 784 |1163 | 784 | 71 | 42 | 879k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1378.73/1378.70 c 1379s| 1980k| 1807k| 13727k| 6.9 |2041M| 97 | - | 784 |1199 | 784 | 71 | 42 | 884k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1385.64/1385.61 c 1386s| 1990k| 1816k| 13795k| 6.9 |2052M| 97 | 24 | 784 |1308 | 784 | 71 | 42 | 889k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1392.73/1392.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.73/1392.70 c 1393s| 2000k| 1825k| 13866k| 6.9 |2062M| 97 | 25 | 784 |1597 | 784 | 71 | 42 | 894k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1399.44/1399.50 c 1399s| 2010k| 1834k| 13933k| 6.9 |2073M| 97 | 27 | 784 | 677 | 784 | 71 | 42 | 898k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1406.44/1406.48 c 1406s| 2020k| 1843k| 14003k| 6.9 |2083M| 97 | 28 | 784 |1000 | 784 | 71 | 42 | 903k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1413.44/1413.49 c 1413s| 2030k| 1852k| 14073k| 6.9 |2094M| 97 | 24 | 784 |1420 | 784 | 71 | 42 | 908k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1420.43/1420.42 c 1420s| 2040k| 1860k| 14141k| 6.9 |2104M| 97 | 23 | 784 |1231 | 784 | 71 | 42 | 914k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1427.24/1427.26 c 1427s| 2050k| 1870k| 14209k| 6.9 |2114M| 97 | 23 | 784 |1182 | 784 | 71 | 42 | 918k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1434.23/1434.29 c 1434s| 2060k| 1878k| 14279k| 6.9 |2124M| 97 | 28 | 784 |1324 | 784 | 71 | 42 | 925k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1441.06/1441.08 c 1441s| 2070k| 1887k| 14345k| 6.9 |2135M| 97 | 26 | 784 |1082 | 784 | 71 | 42 | 929k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1447.93/1447.93 c 1448s| 2080k| 1896k| 14413k| 6.9 |2145M| 97 | 23 | 784 |1019 | 784 | 71 | 42 | 933k| 27k|-2.011429e+04 |-1.638400e+04 | 18.55%
1454.84/1454.90 c 1455s| 2090k| 1905k| 14482k| 6.9 |2155M| 97 | 28 | 784 |1503 | 784 | 71 | 42 | 939k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1461.73/1461.72 c 1462s| 2100k| 1914k| 14551k| 6.9 |2166M| 97 | 25 | 784 |1152 | 784 | 71 | 42 | 944k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1468.64/1468.64 c 1469s| 2110k| 1923k| 14620k| 6.9 |2176M| 97 | 22 | 784 |1077 | 784 | 71 | 42 | 949k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1475.64/1475.62 c 1476s| 2120k| 1932k| 14689k| 6.9 |2187M| 97 | 27 | 784 |1163 | 784 | 71 | 42 | 954k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1482.44/1482.46 c 1482s| 2130k| 1941k| 14756k| 6.9 |2197M| 97 | 28 | 784 |1314 | 784 | 71 | 42 | 958k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1489.34/1489.35 c 1489s| 2140k| 1950k| 14825k| 6.9 |2208M| 97 | 20 | 784 |1192 | 784 | 71 | 42 | 963k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1496.24/1496.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1496.24/1496.28 c 1496s| 2150k| 1959k| 14895k| 6.9 |2218M| 97 | 28 | 784 |1544 | 784 | 71 | 42 | 967k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1503.14/1503.17 c 1503s| 2160k| 1968k| 14963k| 6.9 |2229M| 97 | 28 | 784 |1113 | 784 | 71 | 42 | 972k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1510.14/1510.10 c 1510s| 2170k| 1977k| 15033k| 6.9 |2239M| 97 | 26 | 784 |1089 | 784 | 71 | 42 | 976k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1516.96/1516.99 c 1517s| 2180k| 1986k| 15102k| 6.9 |2250M| 97 | 30 | 784 |1441 | 784 | 71 | 42 | 980k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1523.84/1523.87 c 1524s| 2190k| 1995k| 15171k| 6.9 |2261M| 97 | 26 | 784 |2168 | 784 | 71 | 42 | 986k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1530.84/1530.85 c 1531s| 2200k| 2004k| 15241k| 6.9 |2271M| 97 | 31 | 784 |1464 | 784 | 71 | 42 | 990k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1537.64/1537.70 c 1538s| 2210k| 2013k| 15309k| 6.9 |2282M| 97 | 16 | 784 |1572 | 784 | 71 | 42 | 995k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1544.54/1544.53 c 1545s| 2220k| 2022k| 15377k| 6.9 |2292M| 97 | 24 | 784 |1337 | 784 | 71 | 42 |1000k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1551.44/1551.48 c 1551s| 2230k| 2031k| 15447k| 6.9 |2303M| 97 | 19 | 784 |1024 | 784 | 71 | 42 |1004k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1558.45/1558.42 c 1558s| 2240k| 2040k| 15517k| 6.9 |2313M| 97 | 23 | 784 |1256 | 784 | 71 | 42 |1008k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1565.25/1565.28 c 1565s| 2250k| 2049k| 15585k| 6.9 |2324M| 97 | 24 | 784 |1453 | 784 | 71 | 42 |1013k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1572.14/1572.10 c 1572s| 2260k| 2058k| 15653k| 6.9 |2335M| 97 | 24 | 784 |1006 | 784 | 71 | 42 |1017k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1578.94/1578.93 c 1579s| 2270k| 2068k| 15721k| 6.9 |2345M| 97 | 26 | 784 |1319 | 784 | 71 | 42 |1022k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1585.75/1585.78 c 1586s| 2280k| 2077k| 15788k| 6.9 |2356M| 97 | 25 | 784 | 991 | 784 | 71 | 42 |1026k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1592.64/1592.70 c 1593s| 2290k| 2086k| 15857k| 6.9 |2366M| 97 | 26 | 784 |1331 | 784 | 71 | 42 |1032k| 28k|-2.011429e+04 |-1.638400e+04 | 18.55%
1599.65/1599.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1599.65/1599.68 c 1600s| 2300k| 2094k| 15928k| 6.9 |2376M| 97 | 22 | 784 |1101 | 784 | 71 | 42 |1037k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1606.54/1606.54 c 1607s| 2310k| 2103k| 15997k| 6.9 |2387M| 97 | 31 | 784 |1102 | 784 | 71 | 42 |1041k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1613.34/1613.38 c 1613s| 2320k| 2113k| 16064k| 6.9 |2398M| 97 | 26 | 784 |1306 | 784 | 71 | 42 |1046k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1620.14/1620.21 c 1620s| 2330k| 2122k| 16132k| 6.9 |2408M| 97 | 28 | 784 |1173 | 784 | 71 | 42 |1050k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1627.34/1627.30 c 1627s| 2340k| 2131k| 16203k| 6.9 |2419M| 97 | 29 | 784 |1401 | 784 | 71 | 42 |1056k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1634.15/1634.14 c 1634s| 2350k| 2140k| 16271k| 6.9 |2429M| 97 | 23 | 784 | 910 | 784 | 71 | 42 |1060k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1640.94/1640.97 c 1641s| 2360k| 2149k| 16338k| 6.9 |2440M| 97 | 27 | 784 |1182 | 784 | 71 | 42 |1064k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1647.87/1647.90 c 1648s| 2370k| 2158k| 16407k| 6.9 |2451M| 97 | 25 | 784 |1786 | 784 | 71 | 42 |1069k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1654.84/1654.83 c 1655s| 2380k| 2167k| 16477k| 6.9 |2461M| 97 | 22 | 784 |1080 | 784 | 71 | 42 |1074k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1661.85/1661.81 c 1662s| 2390k| 2176k| 16547k| 6.9 |2471M| 97 | 30 | 784 |1019 | 784 | 71 | 42 |1079k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1668.76/1668.78 c 1669s| 2400k| 2185k| 16617k| 6.9 |2482M| 97 | 25 | 784 |1135 | 784 | 71 | 42 |1084k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1675.75/1675.71 c 1676s| 2410k| 2194k| 16686k| 6.9 |2492M| 97 | 28 | 784 |1126 | 784 | 71 | 42 |1088k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1682.45/1682.48 c 1682s| 2420k| 2203k| 16754k| 6.9 |2503M| 97 | 26 | 784 |1496 | 784 | 71 | 42 |1092k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1689.34/1689.38 c 1689s| 2430k| 2212k| 16823k| 6.9 |2514M| 97 | 33 | 784 |1789 | 784 | 71 | 42 |1097k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1696.34/1696.32 c 1696s| 2440k| 2221k| 16892k| 6.9 |2524M| 97 | 22 | 784 |1419 | 784 | 71 | 42 |1102k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1703.25/1703.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1703.25/1703.23 c 1703s| 2450k| 2230k| 16961k| 6.9 |2535M| 97 | 29 | 784 | 986 | 784 | 71 | 42 |1107k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1710.15/1710.15 c 1710s| 2460k| 2239k| 17031k| 6.9 |2545M| 97 | 27 | 784 |1142 | 784 | 71 | 42 |1112k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1717.05/1717.06 c 1717s| 2470k| 2248k| 17100k| 6.9 |2555M| 97 | 27 | 784 |1429 | 784 | 71 | 42 |1117k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1724.04/1724.00 c 1724s| 2480k| 2257k| 17169k| 6.9 |2565M| 97 | 24 | 784 | 948 | 784 | 71 | 42 |1122k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1731.05/1731.04 c 1731s| 2490k| 2265k| 17238k| 6.9 |2576M| 97 | 22 | 784 |1138 | 784 | 71 | 42 |1128k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1738.06/1738.03 c 1738s| 2500k| 2274k| 17309k| 6.9 |2586M| 97 | 24 | 784 |1590 | 784 | 71 | 42 |1133k| 29k|-2.011429e+04 |-1.638400e+04 | 18.55%
1744.95/1744.95 c 1745s| 2510k| 2283k| 17378k| 6.9 |2596M| 97 | 21 | 784 |1184 | 784 | 71 | 42 |1138k| 30k|-2.011429e+04 |-1.638400e+04 | 18.55%
1751.95/1751.97 c 1752s| 2520k| 2291k| 17449k| 6.9 |2606M| 97 | 17 | 784 | 974 | 784 | 71 | 42 |1144k| 30k|-2.011429e+04 |-1.638400e+04 | 18.55%
1758.74/1758.81 c 1759s| 2530k| 2301k| 17517k| 6.9 |2617M| 97 | 20 | 784 |1212 | 784 | 71 | 42 |1148k| 30k|-2.011429e+04 |-1.638400e+04 | 18.55%
1765.64/1765.68 c 1766s| 2540k| 2310k| 17586k| 6.9 |2628M| 97 | 24 | 784 |1119 | 784 | 71 | 42 |1153k| 30k|-2.011429e+04 |-1.638400e+04 | 18.55%
1772.54/1772.55 c 1773s| 2550k| 2319k| 17654k| 6.9 |2638M| 97 | 25 | 784 |1192 | 784 | 71 | 42 |1157k| 30k|-2.011429e+04 |-1.638400e+04 | 18.55%
1779.44/1779.47 c 1779s| 2560k| 2328k| 17722k| 6.9 |2649M| 97 | 24 | 784 |1033 | 784 | 71 | 42 |1162k| 30k|-2.011429e+04 |-1.638400e+04 | 18.55%
1786.36/1786.39 c 1786s| 2570k| 2337k| 17791k| 6.9 |2659M| 97 | 22 | 784 |1296 | 784 | 71 | 42 |1166k| 30k|-2.011429e+04 |-1.638400e+04 | 18.55%
1793.25/1793.25 c 1793s| 2580k| 2346k| 17861k| 6.9 |2670M| 97 | 22 | 784 |1276 | 784 | 71 | 42 |1170k| 30k|-2.011429e+04 |-1.638400e+04 | 18.55%
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 2589617
1800.05/1800.00 c Primal Bound : -1.63840000000000e+04 (8 solutions)
1800.05/1800.00 c Dual Bound : -2.01142857142857e+04
1800.05/1800.00 c Gap : 18.55 %
1800.05/1800.00 s SATISFIABLE
1800.05/1800.00 v -x383 -x329 -x277 -x382 -x328 -x276 -x381 -x327 -x274 -x380 -x326 -x273 -x379 -x325 -x272 x223 x222 -x221 x220 -x218 -x378 -x324
1800.05/1800.00 v -x271 -x217 -x377 -x323 -x270 -x216 -x762 -x376 -x322 -x269 -x215 -x374 -x321 -x268 -x214 -x373 -x320 -x267 -x213 -x372 -x318
1800.05/1800.00 v -x266 -x212 -x371 -x317 -x265 -x211 -x370 -x316 -x263 -x210 -x369 -x315 x262 -x209 -x368 -x314 -x261 -x207 -x174 -x173 -x172
1800.05/1800.00 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x163 -x162 -x161 -x160 -x159 -x367 -x313 x260 -x206 -x158 -x366 -x312 x259 -x205
1800.05/1800.00 v -x157 -x365 -x311 -x258 -x204 -x156 -x363 -x310 -x257 -x203 -x155 -x362 -x309 -x256 -x202 -x154 -x761 -x361 -x307 -x255 -x201
1800.05/1800.00 v -x152 -x360 -x306 -x254 -x200 -x151 -x359 -x305 -x252 -x199 -x150 x358 -x304 -x251 -x198 -x149 x357 -x303 -x250 -x196 -x148
1800.05/1800.00 v -x121 -x120 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1800.05/1800.00 v x98 -x96 -x95 -x94 -x760 -x759 x356 -x302 -x249 -x195 -x147 -x93 -x355 -x301 -x248 -x194 -x146 x92 -x354 -x300 -x247 -x193
1800.05/1800.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
1800.05/1800.00 v -x243 -x189 -x140 -x87 -x347 -x294 -x240 -x188 -x139 -x85 -x346 x293 -x239 -x187 -x138 -x84 -x345 -x292 -x238 -x185 -x137
1800.05/1800.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
1800.05/1800.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
1800.05/1800.00 v -x755 -x342 -x289 -x235 -x134 -x80 -x28 -x754 -x340 -x288 -x234 -x133 -x79 -x27 -x339 -x287 -x233 -x184 -x132 -x78 -x26 -x338
1800.05/1800.00 v -x285 -x232 -x183 -x129 -x77 -x25 -x337 -x284 -x231 -x182 -x128 -x76 x24 -x336 -x283 -x229 -x181 -x127 -x74 -x23 -x335 -x282
1800.05/1800.00 v -x228 -x180 -x126 -x73 -x22 -x334 -x281 -x227 -x179 x125 -x72 -x21 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x776 -x775
1800.05/1800.00 v -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x765 -x764 -x763 -x752 -x741 -x730 -x719 -x708 -x697 -x686 -x674 -x663 -x652
1800.05/1800.00 v -x641 x630 x619 -x608 -x597 -x586 -x575 -x563 -x552 -x541 -x530 -x519 x508 -x497 -x486 -x333 -x280 -x226 -x178 -x124 -x71 -x787
1800.05/1800.00 v -x475 -x332 -x279 -x225 -x177 -x123 -x70 -x786 -x464 -x753 -x331 -x278 -x224 -x176 -x122 -x69 -x785 -x452 -x751 -x750 -x749
1800.05/1800.00 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x740 -x739 -x738 -x737 x736 -x735 -x734 x733 -x732 -x731 -x729 -x728 -x727 -x726
1800.05/1800.00 v -x725 -x724 -x723 -x722 -x721 -x720 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x707 -x706 -x705 -x704 -x703
1800.05/1800.00 v -x702 -x701 -x700 -x699 -x698 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x684 -x683 -x682 -x681 -x680 -x679
1800.05/1800.00 v -x678 -x677 -x676 -x675 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x662 -x661 -x660 -x659 x658 x657 -x656
1800.05/1800.00 v -x655 -x654 -x653 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633
1800.05/1800.00 v -x632 -x631 -x629 -x628 -x627 -x626 -x625 x624 -x623 x622 -x621 -x620 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
1800.05/1800.00 v -x609 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587
1800.05/1800.00 v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x562
1800.05/1800.00 v -x561 -x560 -x559 -x558 -x557 x556 x555 -x554 -x553 -x551 x550 x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x540 -x539
1800.05/1800.00 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x518 -x517 -x516
1800.05/1800.00 v -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x496 -x495 -x494 x493
1800.05/1800.00 v -x492 x491 -x490 -x489 -x488 -x487 x485 -x484 x483 x482 -x481 -x480 -x479 -x478 -x477 -x476 -x474 -x473 -x472 -x471 -x470 -x469
1800.05/1800.00 v -x468 -x467 -x466 -x465 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x451 -x450 -x449 -x448 -x447 -x446
1800.05/1800.00 v -x445 -x444 -x443 -x442 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x429 x428 x427 -x426 -x425 x424 -x423 -x422
1800.05/1800.00 v -x421 -x420 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399
1800.05/1800.00 v -x398 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x385 -x384 -x441 -x430 -x419 -x408 -x397 -x386 -x375
1800.05/1800.00 v -x364 x353 x341 -x330 x319 x308 -x297 -x286 -x275 -x264 -x253 -x242 -x230 -x219 -x208 -x197 -x186 -x175 -x164 -x153 -x142 -x131
1800.05/1800.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
1800.05/1800.00 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Total Time : 1800.00
1800.05/1800.00 c solving : 1800.00
1800.05/1800.00 c presolving : 0.01 (included in solving)
1800.05/1800.00 c reading : 0.00 (included in solving)
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-3452649-1307075954.opb
1800.05/1800.00 c Variables : 787 (787 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 65 initial, 65 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-3452649-1307075954.opb
1800.05/1800.00 c Variables : 784 (784 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 64 initial, 4914 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.00 1 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 2 0 0 2 0 1 0 2 2
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 2 - - 2 - - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 2475352 0 14 0 365 2547 0 0 4945076
1800.05/1800.00 c knapsack : 16 6 7474437 0 0 11 155382 11634 1266 87 0 0
1800.05/1800.00 c setppc : 48 6 7462839 0 0 10 18290133 22024 28454186 0 0 0
1800.05/1800.00 c linear : 0+ 6 17 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c logicor : 0+ 0 1448850 0 0 0 71891 104 99104 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 0 10 0 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.00 c integral : 40.23 0.00 0.00 40.23 0.00 0.00 0.00
1800.05/1800.00 c knapsack : 34.39 0.02 33.58 0.00 0.00 0.00 0.79
1800.05/1800.00 c setppc : 49.48 0.00 45.55 0.00 0.00 0.00 3.93
1800.05/1800.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c logicor : 14.94 0.00 14.82 0.00 0.00 0.00 0.12
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.00 c vbounds : 0 0 0 0
1800.05/1800.00 c rootredcost : 1 0 0 0
1800.05/1800.00 c pseudoobj : 7474420 201665 64 4
1800.05/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.00 c vbounds : 1.29 1.29 0.00
1800.05/1800.00 c rootredcost : 1.28 1.28 0.00
1800.05/1800.00 c pseudoobj : 5.73 5.61 0.12
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 14.99 33826 33826 1309439 99.1 175 99.1 -
1800.05/1800.00 c infeasible LP : 41.76 229153 167851 1856993 71.7 29 69.6 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 1172745 50.0 - - -
1800.05/1800.00 c applied locally : - - - 3480 89.9 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 5 - - 70 - (maximal pool size: 172)
1800.05/1800.00 c redcost : 57.28 2475307 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.02 6 0 0 1 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.02 6 0 0 1 0
1800.05/1800.00 c cmir : 0.02 6 0 0 80 0
1800.05/1800.00 c flowcover : 0.06 6 0 0 127 0
1800.05/1800.00 c clique : 0.00 6 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 1 0 0 0 0
1800.05/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.07 1 0 0 0 2
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 38.84 2475352 365 2547 0 0 4945076
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c intshifting : 0.03 0 0
1800.05/1800.00 c oneopt : 1.19 2 0
1800.05/1800.00 c feaspump : 0.06 1 1
1800.05/1800.00 c crossover : 0.85 11 5
1800.05/1800.00 c guideddiving : 125.00 4889 0
1800.05/1800.00 c linesearchdiving : 55.05 6440 0
1800.05/1800.00 c trivial : 0.00 2 0
1800.05/1800.00 c shiftandpropagate: 0.00 1 1
1800.05/1800.00 c simplerounding : 0.97 99875 0
1800.05/1800.00 c zirounding : 9.85 0 0
1800.05/1800.00 c rounding : 1.93 76530 1
1800.05/1800.00 c shifting : 2.83 7006 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c clique : 0.00 0 0
1800.05/1800.00 c coefdiving : 73.71 10906 0
1800.05/1800.00 c pscostdiving : 100.77 4626 0
1800.05/1800.00 c fracdiving : 128.95 5950 0
1800.05/1800.00 c veclendiving : 54.41 3359 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 10.04 2963 0
1800.05/1800.00 c rootsoldiving : 6.11 736 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.02 1 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c vbounds : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c subnlp : 0.37 0 0
1800.05/1800.00 c trysol : 0.54 0 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 695.87 2591936 13567186 5.23 19496.81
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 335.43 1931552 4361334 2.26 13002.25
1800.05/1800.00 c strong branching : 15.79 30395 304404 10.01 19284.18
1800.05/1800.00 c (at root node) : - 9 108 12.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 2589617
1800.05/1800.00 c nodes (total) : 2589617
1800.05/1800.00 c nodes left : 2355180
1800.05/1800.00 c max depth : 97
1800.05/1800.00 c max depth (total): 97
1800.05/1800.00 c backtracks : 200624 (7.7%)
1800.05/1800.00 c delayed cutoffs : 280
1800.05/1800.00 c repropagations : 297442 (121459 domain reductions, 1 cutoffs)
1800.05/1800.00 c avg switch length: 4.71
1800.05/1800.00 c switching time : 104.87
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 8 (2 improvements)
1800.05/1800.00 c First Solution : +0.00000000000000e+00 (in run 1, after 1 nodes, 0.02 seconds, depth 67, found by <shiftandpropagate>)
1800.05/1800.00 c Primal Bound : -1.63840000000000e+04 (in run 1, after 1 nodes, 0.05 seconds, depth 0, found by <rounding>)
1800.05/1800.00 c Dual Bound : -2.01142857142857e+04
1800.05/1800.00 c Gap : 18.55 %
1800.05/1800.00 c Root Dual Bound : -2.05019037433155e+04
1800.05/1800.00 c Root Iterations : 2284
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-3452649-1307075954/watcher-3452649-1307075954 -o /tmp/evaluation-result-3452649-1307075954/solver-3452649-1307075954 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452649-1307075954.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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.03 2.03 2.00 2/498 11146
/proc/meminfo: memFree=26541008/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=15176 CPUtime=0 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 2546 0 0 0 0 0 0 0 18 0 1 0 897826104 15540224 2498 33554432000 4194304 9128323 140735929485728 18446744073709551615 8009021 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 3794 2511 439 1205 0 2585 0
[startup+0.0795309 s]
/proc/loadavg: 2.03 2.03 2.00 2/498 11146
/proc/meminfo: memFree=26541008/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=32312 CPUtime=0.07 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 6986 0 0 0 6 1 0 0 18 0 1 0 897826104 33087488 6681 33554432000 4194304 9128323 140735929485728 18446744073709551615 4893057 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 8078 6681 700 1205 0 6869 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 32312
[startup+0.100524 s]
/proc/loadavg: 2.03 2.03 2.00 2/498 11146
/proc/meminfo: memFree=26541008/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=36188 CPUtime=0.09 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 7953 0 0 0 8 1 0 0 18 0 1 0 897826104 37056512 7648 33554432000 4194304 9128323 140735929485728 18446744073709551615 6541905 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 9047 7648 711 1205 0 7838 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36188
[startup+0.30049 s]
/proc/loadavg: 2.03 2.03 2.00 2/498 11146
/proc/meminfo: memFree=26541008/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=39428 CPUtime=0.29 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 9212 0 0 0 28 1 0 0 18 0 1 0 897826104 40374272 8555 33554432000 4194304 9128323 140735929485728 18446744073709551615 8009011 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 9857 8615 733 1205 0 8648 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39428
[startup+0.700414 s]
/proc/loadavg: 2.03 2.03 2.00 2/498 11146
/proc/meminfo: memFree=26541008/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=33740 CPUtime=0.69 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 9277 0 0 0 67 2 0 0 18 0 1 0 897826104 34549760 7482 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 8435 7482 737 1205 0 7226 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33740
[startup+1.50027 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 11147
/proc/meminfo: memFree=26512604/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=39724 CPUtime=1.49 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 10370 0 0 0 146 3 0 0 19 0 1 0 897826104 40677376 8575 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 9931 8575 739 1205 0 8722 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39724
[startup+3.10097 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 11147
/proc/meminfo: memFree=26507768/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=39724 CPUtime=3.09 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 10371 0 0 0 303 6 0 0 25 0 1 0 897826104 40677376 8576 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 9931 8576 739 1205 0 8722 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39724
[startup+6.30038 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 11147
/proc/meminfo: memFree=26507076/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=39276 CPUtime=6.29 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 12278 0 0 0 618 11 0 0 25 0 1 0 897826104 40218624 8874 33554432000 4194304 9128323 140735929485728 18446744073709551615 7192183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 9819 8874 739 1205 0 8610 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39276
[startup+12.7012 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 11147
/proc/meminfo: memFree=26490256/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=56540 CPUtime=12.69 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 20301 0 0 0 1248 21 0 0 25 0 1 0 897826104 57896960 12823 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 14135 12823 739 1205 0 12926 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56540
[startup+25.5008 s]
/proc/loadavg: 2.09 2.04 2.00 3/499 11147
/proc/meminfo: memFree=26479344/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=66140 CPUtime=25.49 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 27239 0 0 0 2508 41 0 0 25 0 1 0 897826104 67727360 15583 33554432000 4194304 9128323 140735929485728 18446744073709551615 6712942 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 16535 15583 741 1205 0 15326 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66140
[startup+51.1011 s]
/proc/loadavg: 2.05 2.04 2.00 3/499 11148
/proc/meminfo: memFree=26443064/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=102340 CPUtime=51.09 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 37195 0 0 0 5030 79 0 0 25 0 1 0 897826104 104796160 24765 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 25585 24765 741 1205 0 24376 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 102340
[startup+102.319 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 11149
/proc/meminfo: memFree=26368992/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=176376 CPUtime=102.31 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 57663 0 0 0 10072 159 0 0 25 0 1 0 897826104 180609024 43036 33554432000 4194304 9128323 140735929485728 18446744073709551615 6416783 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 44094 43036 741 1205 0 42885 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 176376
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 11151
/proc/meminfo: memFree=26282636/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=266448 CPUtime=162.29 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 81672 0 0 0 15982 247 0 0 25 0 1 0 897826104 272842752 64850 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 66612 64850 741 1205 0 65403 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 266448
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 11152
/proc/meminfo: memFree=26195168/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=353764 CPUtime=222.3 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 103814 0 0 0 21892 338 0 0 25 0 1 0 897826104 362254336 86992 33554432000 4194304 9128323 140735929485728 18446744073709551615 4892420 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 88441 86992 741 1205 0 87232 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 353764
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 11154
/proc/meminfo: memFree=26105192/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=440608 CPUtime=282.3 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 125825 0 0 0 27801 429 0 0 25 0 1 0 897826104 451182592 109003 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 110152 109003 741 1205 0 108943 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 440608
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 11156
/proc/meminfo: memFree=26016340/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=527148 CPUtime=342.3 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 150258 0 0 0 33708 522 0 0 25 0 1 0 897826104 539799552 130983 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 131787 130983 741 1205 0 130578 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 527148
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 11157
/proc/meminfo: memFree=25929244/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=622360 CPUtime=402.31 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 172333 0 0 0 39618 613 0 0 25 0 1 0 897826104 637296640 153058 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 155590 153058 741 1205 0 154381 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 622360
[startup+462.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/499 11159
/proc/meminfo: memFree=25836940/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=711064 CPUtime=462.31 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 194837 0 0 0 45523 708 0 0 25 0 1 0 897826104 728129536 175562 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 177766 175562 741 1205 0 176557 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 711064
[startup+522.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/499 11160
/proc/meminfo: memFree=25750948/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=798700 CPUtime=522.31 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 217038 0 0 0 51425 806 0 0 25 0 1 0 897826104 817868800 197763 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 199675 197763 741 1205 0 198466 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 798700
[startup+582.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/499 11162
/proc/meminfo: memFree=25657156/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=888888 CPUtime=582.31 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 242121 0 0 0 57329 902 0 0 25 0 1 0 897826104 910221312 220615 33554432000 4194304 9128323 140735929485728 18446744073709551615 7192161 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 222222 220615 741 1205 0 221013 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 888888
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 11170
/proc/meminfo: memFree=25202188/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=1337256 CPUtime=882.32 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 351653 0 0 0 86874 1358 0 0 25 0 1 0 897826104 1369350144 330147 33554432000 4194304 9128323 140735929485728 18446744073709551615 4899476 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 334314 330147 741 1205 0 333105 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1337256
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 11200
/proc/meminfo: memFree=25317144/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=1426972 CPUtime=942.33 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 374371 0 0 0 92780 1453 0 0 25 0 1 0 897826104 1461219328 352865 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 356743 352865 741 1205 0 355534 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 1426972
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 11201
/proc/meminfo: memFree=25228868/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=1513248 CPUtime=1002.32 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 396248 0 0 0 98686 1546 0 0 25 0 1 0 897826104 1549565952 374742 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 378312 374742 741 1205 0 377103 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1513248
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 11203
/proc/meminfo: memFree=25139524/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=1601812 CPUtime=1062.33 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 418672 0 0 0 104598 1635 0 0 25 0 1 0 897826104 1640255488 397166 33554432000 4194304 9128323 140735929485728 18446744073709551615 7216704 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 400453 397166 741 1205 0 399244 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1601812
[startup+1122.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/499 11204
/proc/meminfo: memFree=25049312/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=1688888 CPUtime=1122.33 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 440748 0 0 0 110509 1724 0 0 25 0 1 0 897826104 1729421312 419242 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 422222 419242 741 1205 0 421013 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1688888
[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/499 11206
/proc/meminfo: memFree=24959968/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=1778156 CPUtime=1182.33 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 464101 0 0 0 116416 1817 0 0 25 0 1 0 897826104 1820831744 441840 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 444539 441840 741 1205 0 443330 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1778156
[startup+1242.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/499 11208
/proc/meminfo: memFree=24870116/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=1862816 CPUtime=1242.33 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 485578 0 0 0 122324 1909 0 0 25 0 1 0 897826104 1907523584 463317 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 465704 463317 741 1205 0 464495 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1862816
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/499 11209
/proc/meminfo: memFree=24776568/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=1953504 CPUtime=1302.35 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 508596 0 0 0 128234 2001 0 0 25 0 1 0 897826104 2000388096 486335 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 488376 486335 741 1205 0 487167 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 1953504
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 11220
/proc/meminfo: memFree=24685896/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=2041360 CPUtime=1362.33 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 530832 0 0 0 134145 2088 0 0 25 0 1 0 897826104 2090352640 508571 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 510340 508571 741 1205 0 509131 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2041360
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 11221
/proc/meminfo: memFree=24597172/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=2128036 CPUtime=1422.35 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 552776 0 0 0 140061 2174 0 0 25 0 1 0 897826104 2179108864 530515 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 532009 530515 741 1205 0 530800 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 2128036
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 11223
/proc/meminfo: memFree=24505736/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=2219944 CPUtime=1482.34 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 576066 0 0 0 145965 2269 0 0 25 0 1 0 897826104 2273222656 553805 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 554986 553805 741 1205 0 553777 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2219944
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 11225
/proc/meminfo: memFree=24414060/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=2307784 CPUtime=1542.34 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 598347 0 0 0 151871 2363 0 0 25 0 1 0 897826104 2363170816 576086 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 576946 576086 741 1205 0 575737 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2307784
[startup+1602.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/499 11226
/proc/meminfo: memFree=24322876/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=2429700 CPUtime=1602.34 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 620945 0 0 0 157777 2457 0 0 25 0 1 0 897826104 2488012800 598684 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 607425 598684 741 1205 0 606216 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2429700
[startup+1662.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/499 11228
/proc/meminfo: memFree=24231936/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=2519528 CPUtime=1662.34 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 643683 0 0 0 163685 2549 0 0 25 0 1 0 897826104 2579996672 621422 33554432000 4194304 9128323 140735929485728 18446744073709551615 6581536 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 629882 621422 741 1205 0 628673 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2519528
[startup+1722.3 s]
/proc/loadavg: 2.20 2.06 2.01 3/499 11229
/proc/meminfo: memFree=24137748/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=2611364 CPUtime=1722.35 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 666952 0 0 0 169591 2644 0 0 25 0 1 0 897826104 2674036736 644691 33554432000 4194304 9128323 140735929485728 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 652841 644691 741 1205 0 651632 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2611364
[startup+1782.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/499 11231
/proc/meminfo: memFree=24043808/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=2699236 CPUtime=1782.34 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 689231 0 0 0 175499 2735 0 0 25 0 1 0 897826104 2764017664 666970 33554432000 4194304 9128323 140735929485728 18446744073709551615 4730711 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11146/statm: 674809 666970 741 1205 0 673600 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2699236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.10 2.06 2.01 3/499 11232
/proc/meminfo: memFree=24016516/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=2725888 CPUtime=1800.06 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4202496 695984 0 0 0 177246 2760 0 0 18 0 1 0 897826104 2791309312 673723 33554432000 4194304 9128323 140735929485728 18446744073709551615 4219215 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11146/statm: 681472 673723 743 1205 0 680263 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2725888
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.12 s]
/proc/loadavg: 2.10 2.06 2.01 3/499 11232
/proc/meminfo: memFree=24016516/32950928 swapFree=34421304/67111528
[pid=11146] ppid=11144 vsize=0 CPUtime=1800.17 cores=0,2,4,6
/proc/11146/stat : 11146 (scip-2.0.1.4.li) R 11144 11146 8661 0 -1 4203524 695984 0 0 0 177247 2770 0 0 18 0 1 0 897826104 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11146/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.12
CPU time (s): 1800.18
CPU user time (s): 1772.47
CPU system time (s): 27.7088
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2725888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.47
system time used= 27.7088
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 695984
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= 8
involuntary context switches= 3351
runsolver used 9.40657 second user time and 19.859 second system time
The end