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-3488639-1307785950.opb>
0.00/0.02 c original problem has 3238 variables (3238 bin, 0 int, 0 impl, 0 cont) and 3539 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.03 c presolving:
0.06/0.07 c (round 1) 0 del vars, 3438 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 24504 impls, 199 clqs
0.06/0.08 c (round 2) 3038 del vars, 3438 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24504 impls, 0 clqs
0.06/0.09 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.06/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.06/0.09 c presolving (3 rounds):
0.06/0.09 c 3038 deleted vars, 3438 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.06/0.09 c 24504 implications, 0 cliques
0.06/0.09 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.06/0.09 c 200 constraints of type <knapsack>
0.06/0.09 c 100 constraints of type <setppc>
0.06/0.09 c 1 constraints of type <linear>
0.06/0.09 c transformed objective value is always integral (scale: 1)
0.06/0.09 c Presolving Time: 0.06
0.06/0.09 c - non default parameters ----------------------------------------------------------------------
0.06/0.09 c # SCIP version 2.0.1.5
0.06/0.09 c
0.06/0.09 c # frequency for displaying node information lines
0.06/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.06/0.09 c display/freq = 10000
0.06/0.09 c
0.06/0.09 c # maximal time in seconds to run
0.06/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.09 c limits/time = 1797
0.06/0.09 c
0.06/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.06/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.09 c limits/memory = 13950
0.06/0.09 c
0.06/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.06/0.09 c # [type: int, range: [1,2], default: 1]
0.06/0.09 c timing/clocktype = 2
0.06/0.09 c
0.06/0.09 c # belongs reading time to solving time?
0.06/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.09 c timing/reading = TRUE
0.06/0.09 c
0.06/0.09 c # should presolving try to simplify inequalities
0.06/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.09 c constraints/linear/simplifyinequalities = TRUE
0.06/0.09 c
0.06/0.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.06/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.09 c constraints/indicator/addCouplingCons = TRUE
0.06/0.09 c
0.06/0.09 c # should presolving try to simplify knapsacks
0.06/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.06/0.09 c
0.06/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.06/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.09 c separating/rapidlearning/freq = 0
0.06/0.09 c
0.06/0.09 c -----------------------------------------------------------------------------------------------
0.06/0.09 c start solving
0.06/0.09 c
0.08/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.08/0.17 c t 0.2s| 1 | 0 | 892 | - |8531k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.08/0.17 o -1
0.08/0.17 c R 0.2s| 1 | 0 | 892 | - |8546k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.19/0.24 o -12
0.19/0.24 c y 0.2s| 1 | 0 | 892 | - |8563k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.200000e+01 | 76.00%
0.69/0.78 c 0.8s| 1 | 2 | 892 | - |8559k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 11 |-5.000000e+01 |-1.200000e+01 | 76.00%
6.60/6.67 o -13
6.60/6.67 c R 6.7s| 50 | 49 | 4577 | 75.2 |8692k| 14 | - | 200 | 301 | 200 | 301 | 0 | 0 | 654 |-4.906565e+01 |-1.300000e+01 | 73.50%
12.49/12.51 o -14
12.49/12.51 c v12.5s| 238 | 177 | 15827 | 63.0 |9009k| 19 | - | 200 | 306 | 200 | 301 | 0 | 5 |1113 |-4.816054e+01 |-1.400000e+01 | 70.93%
64.30/64.32 c 64.3s| 10000 | 8771 |676820 | 67.6 | 19M| 88 | 113 | 200 | 555 | 200 | 301 | 0 | 357 |1211 |-3.699472e+01 |-1.400000e+01 | 62.16%
97.09/97.15 c 97.2s| 20000 | 16017 | 1145k| 57.2 | 28M| 93 | - | 200 | 453 | 200 | 301 | 0 | 461 |1458 |-3.620347e+01 |-1.400000e+01 | 61.33%
128.39/128.43 c 128s| 30000 | 23207 | 1603k| 53.4 | 38M| 94 | 27 | 200 | 460 | 200 | 301 | 0 | 588 |1679 |-3.560053e+01 |-1.400000e+01 | 60.67%
158.20/158.29 c 158s| 40000 | 30263 | 2041k| 51.0 | 47M| 95 | 40 | 200 | 446 | 200 | 301 | 0 | 716 |1859 |-3.499006e+01 |-1.400000e+01 | 59.99%
186.20/186.30 c 186s| 50000 | 37139 | 2467k| 49.3 | 56M| 96 | 23 | 200 | 440 | 200 | 301 | 0 | 829 |2005 |-3.447541e+01 |-1.400000e+01 | 59.39%
213.70/213.77 c 214s| 60000 | 43863 | 2884k| 48.1 | 65M| 96 | 31 | 200 | 470 | 200 | 301 | 0 | 973 |2134 |-3.409819e+01 |-1.400000e+01 | 58.94%
239.30/239.39 c 239s| 70000 | 50363 | 3282k| 46.9 | 74M| 97 | - | 200 | 462 | 200 | 301 | 0 |1079 |2234 |-3.377124e+01 |-1.400000e+01 | 58.54%
264.60/264.65 c 265s| 80000 | 56969 | 3679k| 46.0 | 83M| 98 | 22 | 200 | 425 | 200 | 301 | 0 |1181 |2336 |-3.352410e+01 |-1.400000e+01 | 58.24%
289.21/289.30 c 289s| 90000 | 63491 | 4068k| 45.2 | 92M| 99 | 31 | 200 | 401 | 200 | 301 | 0 |1260 |2430 |-3.329625e+01 |-1.400000e+01 | 57.95%
312.41/312.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.41/312.46 c 312s|100000 | 69637 | 4434k| 44.3 | 100M| 102 | 65 | 200 | 404 | 200 | 301 | 0 |1349 |2519 |-3.311116e+01 |-1.400000e+01 | 57.72%
333.61/333.62 c 334s|110000 | 75221 | 4772k| 43.4 | 107M| 103 | 42 | 200 | 411 | 200 | 301 | 0 |1441 |2610 |-3.297324e+01 |-1.400000e+01 | 57.54%
355.50/355.59 c 356s|120000 | 80885 | 5115k| 42.6 | 115M| 103 | 36 | 200 | 405 | 200 | 301 | 0 |1523 |2684 |-3.286053e+01 |-1.400000e+01 | 57.40%
376.41/376.48 c 376s|130000 | 86499 | 5451k| 41.9 | 123M| 103 | 33 | 200 | 418 | 200 | 301 | 0 |1596 |2755 |-3.275391e+01 |-1.400000e+01 | 57.26%
397.20/397.25 c 397s|140000 | 92031 | 5788k| 41.3 | 130M| 104 | 68 | 200 | 399 | 200 | 301 | 0 |1662 |2826 |-3.262711e+01 |-1.400000e+01 | 57.09%
417.61/417.69 c 418s|150000 | 97515 | 6119k| 40.8 | 138M| 104 | 27 | 200 | 402 | 200 | 301 | 0 |1725 |2898 |-3.252483e+01 |-1.400000e+01 | 56.96%
438.11/438.14 c 438s|160000 |103095 | 6451k| 40.3 | 145M| 104 | 36 | 200 | 421 | 200 | 301 | 0 |1813 |2966 |-3.239629e+01 |-1.400000e+01 | 56.79%
458.31/458.38 c 458s|170000 |108555 | 6784k| 39.9 | 153M| 105 | 37 | 200 | 434 | 200 | 301 | 0 |1891 |3041 |-3.229730e+01 |-1.400000e+01 | 56.65%
478.61/478.65 c 479s|180000 |114055 | 7119k| 39.5 | 161M| 105 | 34 | 200 | 417 | 200 | 301 | 0 |1962 |3116 |-3.222789e+01 |-1.400000e+01 | 56.56%
498.81/498.81 c 499s|190000 |119459 | 7452k| 39.2 | 168M| 105 | 23 | 200 | 409 | 200 | 301 | 0 |2017 |3187 |-3.216543e+01 |-1.400000e+01 | 56.48%
518.41/518.45 c 518s|200000 |124797 | 7774k| 38.9 | 175M| 106 | - | 200 | 422 | 200 | 301 | 0 |2090 |3250 |-3.209429e+01 |-1.400000e+01 | 56.38%
538.32/538.33 c 538s|210000 |130151 | 8105k| 38.6 | 183M| 106 | 66 | 200 | 414 | 200 | 301 | 0 |2154 |3321 |-3.202558e+01 |-1.400000e+01 | 56.28%
557.72/557.78 c 558s|220000 |135507 | 8424k| 38.3 | 190M| 106 | - | 200 | 398 | 200 | 301 | 0 |2208 |3384 |-3.195043e+01 |-1.400000e+01 | 56.18%
577.11/577.14 c 577s|230000 |140845 | 8746k| 38.0 | 198M| 107 | 69 | 200 | 399 | 200 | 301 | 0 |2263 |3444 |-3.189361e+01 |-1.400000e+01 | 56.10%
596.52/596.55 c 597s|240000 |146051 | 9068k| 37.8 | 205M| 107 | - | 200 | 396 | 200 | 301 | 0 |2325 |3516 |-3.181947e+01 |-1.400000e+01 | 56.00%
615.62/615.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
615.62/615.67 c 616s|250000 |151169 | 9387k| 37.5 | 212M| 107 | 45 | 200 | 382 | 200 | 301 | 0 |2375 |3582 |-3.174530e+01 |-1.400000e+01 | 55.90%
634.82/634.81 c 635s|260000 |156383 | 9706k| 37.3 | 219M| 107 | 98 | 200 | 378 | 200 | 301 | 0 |2422 |3642 |-3.168804e+01 |-1.400000e+01 | 55.82%
654.02/654.07 c 654s|270000 |161719 | 10030k| 37.1 | 227M| 107 | 39 | 200 | 398 | 200 | 301 | 0 |2482 |3696 |-3.162051e+01 |-1.400000e+01 | 55.72%
673.32/673.35 c 673s|280000 |166921 | 10353k| 37.0 | 234M| 107 | 62 | 200 | 373 | 200 | 301 | 0 |2525 |3767 |-3.156394e+01 |-1.400000e+01 | 55.65%
692.32/692.35 c 692s|290000 |172117 | 10673k| 36.8 | 241M| 107 | - | 200 | 378 | 200 | 301 | 0 |2576 |3824 |-3.151140e+01 |-1.400000e+01 | 55.57%
711.12/711.17 c 711s|300000 |177321 | 10989k| 36.6 | 248M| 108 | 41 | 200 | 381 | 200 | 301 | 0 |2632 |3881 |-3.145003e+01 |-1.400000e+01 | 55.48%
729.73/729.73 c 730s|310000 |182407 | 11302k| 36.5 | 255M| 108 | 30 | 200 | 369 | 200 | 301 | 0 |2662 |3939 |-3.140799e+01 |-1.400000e+01 | 55.43%
735.22/735.20 o -15
735.22/735.20 c * 735s|312927 |146698 | 11391k| 36.4 | 208M| 108 | - | 200 | 377 | 200 | 301 | 0 |2681 |3955 |-3.138354e+01 |-1.500000e+01 | 52.20%
748.23/748.28 c 748s|320000 |149803 | 11595k| 36.2 | 212M| 108 | 65 | 200 | 359 | 200 | 301 | 0 |2696 |4003 |-3.134867e+01 |-1.500000e+01 | 52.15%
764.83/764.82 c 765s|330000 |153783 | 11861k| 35.9 | 218M| 111 | - | 200 | 353 | 200 | 301 | 0 |2724 |4058 |-3.130091e+01 |-1.500000e+01 | 52.08%
781.13/781.17 c 781s|340000 |157765 | 12126k| 35.7 | 224M| 111 | 29 | 200 | 353 | 200 | 301 | 0 |2743 |4115 |-3.126949e+01 |-1.500000e+01 | 52.03%
797.53/797.52 c 798s|350000 |161725 | 12392k| 35.4 | 230M| 112 | 36 | 200 | 353 | 200 | 301 | 0 |2767 |4185 |-3.123082e+01 |-1.500000e+01 | 51.97%
813.63/813.69 c 814s|360000 |165621 | 12655k| 35.2 | 236M| 112 | 37 | 200 | 356 | 200 | 301 | 0 |2799 |4252 |-3.118385e+01 |-1.500000e+01 | 51.90%
830.03/830.08 c 830s|370000 |169589 | 12919k| 34.9 | 241M| 112 | 78 | 200 | 351 | 200 | 301 | 0 |2822 |4320 |-3.112928e+01 |-1.500000e+01 | 51.81%
846.23/846.29 c 846s|380000 |173499 | 13183k| 34.7 | 247M| 112 | 31 | 200 | 349 | 200 | 301 | 0 |2852 |4386 |-3.108362e+01 |-1.500000e+01 | 51.74%
862.34/862.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
862.34/862.31 c 862s|390000 |177381 | 13445k| 34.5 | 253M| 112 | 62 | 200 | 342 | 200 | 301 | 0 |2876 |4440 |-3.104026e+01 |-1.500000e+01 | 51.68%
878.13/878.19 c 878s|400000 |181305 | 13705k| 34.3 | 259M| 112 | - | 200 | 347 | 200 | 301 | 0 |2903 |4505 |-3.100804e+01 |-1.500000e+01 | 51.63%
894.24/894.25 c 894s|410000 |185211 | 13969k| 34.1 | 264M| 112 | 32 | 200 | 347 | 200 | 301 | 0 |2931 |4559 |-3.097414e+01 |-1.500000e+01 | 51.57%
910.23/910.22 c 910s|420000 |189127 | 14229k| 33.9 | 270M| 112 | - | 200 | 351 | 200 | 301 | 0 |2959 |4621 |-3.092834e+01 |-1.500000e+01 | 51.50%
926.14/926.12 c 926s|430000 |193013 | 14490k| 33.7 | 276M| 112 | 91 | 200 | 346 | 200 | 301 | 0 |2981 |4662 |-3.090600e+01 |-1.500000e+01 | 51.47%
942.13/942.10 c 942s|440000 |196873 | 14753k| 33.5 | 282M| 113 | 41 | 200 | 343 | 200 | 301 | 0 |3003 |4727 |-3.087357e+01 |-1.500000e+01 | 51.41%
957.83/957.80 c 958s|450000 |200741 | 15012k| 33.4 | 287M| 113 | 61 | 200 | 346 | 200 | 301 | 0 |3028 |4779 |-3.084234e+01 |-1.500000e+01 | 51.37%
973.44/973.47 c 973s|460000 |204589 | 15272k| 33.2 | 293M| 113 | 30 | 200 | 334 | 200 | 301 | 0 |3047 |4840 |-3.080852e+01 |-1.500000e+01 | 51.31%
989.14/989.17 c 989s|470000 |208425 | 15530k| 33.0 | 299M| 113 | - | 200 | 338 | 200 | 301 | 0 |3067 |4902 |-3.078636e+01 |-1.500000e+01 | 51.28%
1004.63/1004.67 c 1005s|480000 |212249 | 15785k| 32.9 | 304M| 113 | 33 | 200 | 337 | 200 | 301 | 0 |3083 |4950 |-3.076298e+01 |-1.500000e+01 | 51.24%
1020.23/1020.21 c 1020s|490000 |216069 | 16041k| 32.7 | 310M| 113 | 39 | 200 | 339 | 200 | 301 | 0 |3120 |5003 |-3.072808e+01 |-1.500000e+01 | 51.18%
1035.64/1035.65 c 1036s|500000 |219909 | 16296k| 32.6 | 316M| 113 | 73 | 200 | 331 | 200 | 301 | 0 |3139 |5051 |-3.069502e+01 |-1.500000e+01 | 51.13%
1051.34/1051.30 c 1051s|510000 |223683 | 16556k| 32.5 | 321M| 113 | 42 | 200 | 328 | 200 | 301 | 0 |3161 |5100 |-3.066677e+01 |-1.500000e+01 | 51.09%
1067.14/1067.12 c 1067s|520000 |227545 | 16818k| 32.3 | 327M| 114 | - | 200 | 335 | 200 | 301 | 0 |3183 |5147 |-3.063127e+01 |-1.500000e+01 | 51.03%
1082.54/1082.57 c 1083s|530000 |231271 | 17074k| 32.2 | 332M| 114 | 93 | 200 | 326 | 200 | 301 | 0 |3195 |5192 |-3.059101e+01 |-1.500000e+01 | 50.97%
1098.24/1098.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1098.24/1098.20 c 1098s|540000 |235041 | 17335k| 32.1 | 338M| 114 | 58 | 200 | 326 | 200 | 301 | 0 |3209 |5236 |-3.057029e+01 |-1.500000e+01 | 50.93%
1113.45/1113.44 c 1113s|550000 |238889 | 17588k| 32.0 | 344M| 114 | 36 | 200 | 334 | 200 | 301 | 0 |3234 |5284 |-3.054209e+01 |-1.500000e+01 | 50.89%
1128.65/1128.66 c 1129s|560000 |242621 | 17841k| 31.9 | 349M| 114 | 90 | 200 | 344 | 200 | 301 | 0 |3262 |5330 |-3.050888e+01 |-1.500000e+01 | 50.83%
1143.95/1143.96 c 1144s|570000 |246349 | 18095k| 31.7 | 355M| 114 | 63 | 200 | 347 | 200 | 301 | 0 |3283 |5374 |-3.048088e+01 |-1.500000e+01 | 50.79%
1159.05/1159.05 c 1159s|580000 |250047 | 18347k| 31.6 | 360M| 115 | 77 | 200 | 349 | 200 | 301 | 0 |3304 |5428 |-3.045240e+01 |-1.500000e+01 | 50.74%
1174.24/1174.24 c 1174s|590000 |253717 | 18599k| 31.5 | 366M| 115 | 31 | 200 | 345 | 200 | 301 | 0 |3320 |5472 |-3.042748e+01 |-1.500000e+01 | 50.70%
1189.54/1189.50 c 1190s|600000 |257449 | 18854k| 31.4 | 371M| 115 | 96 | 200 | 339 | 200 | 301 | 0 |3336 |5515 |-3.040115e+01 |-1.500000e+01 | 50.66%
1204.85/1204.82 c 1205s|610000 |261207 | 19108k| 31.3 | 377M| 115 | 33 | 200 | 344 | 200 | 301 | 0 |3363 |5569 |-3.037741e+01 |-1.500000e+01 | 50.62%
1219.95/1219.91 c 1220s|620000 |264847 | 19362k| 31.2 | 382M| 115 | 23 | 200 | 344 | 200 | 301 | 0 |3388 |5612 |-3.035242e+01 |-1.500000e+01 | 50.58%
1234.95/1234.90 c 1235s|630000 |268535 | 19614k| 31.1 | 388M| 116 | - | 200 | 325 | 200 | 301 | 0 |3401 |5658 |-3.032272e+01 |-1.500000e+01 | 50.53%
1249.65/1249.66 c 1250s|640000 |272225 | 19861k| 31.0 | 393M| 116 | 35 | 200 | 317 | 200 | 301 | 0 |3421 |5696 |-3.030308e+01 |-1.500000e+01 | 50.50%
1264.55/1264.57 c 1265s|650000 |275861 | 20111k| 30.9 | 399M| 116 | 57 | 200 | 328 | 200 | 301 | 0 |3446 |5737 |-3.027715e+01 |-1.500000e+01 | 50.46%
1279.55/1279.53 c 1280s|660000 |279535 | 20363k| 30.9 | 404M| 116 | 87 | 200 | 325 | 200 | 301 | 0 |3466 |5775 |-3.025435e+01 |-1.500000e+01 | 50.42%
1294.85/1294.88 c 1295s|670000 |283239 | 20620k| 30.8 | 410M| 117 | 57 | 200 | 327 | 200 | 301 | 0 |3485 |5826 |-3.022885e+01 |-1.500000e+01 | 50.38%
1309.75/1309.71 c 1310s|680000 |286889 | 20868k| 30.7 | 415M| 117 | 43 | 200 | 330 | 200 | 301 | 0 |3509 |5857 |-3.019664e+01 |-1.500000e+01 | 50.33%
1324.46/1324.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1324.46/1324.48 c 1324s|690000 |290517 | 21115k| 30.6 | 421M| 117 | 70 | 200 | 331 | 200 | 301 | 0 |3531 |5912 |-3.017367e+01 |-1.500000e+01 | 50.29%
1339.46/1339.40 c 1339s|700000 |294133 | 21367k| 30.5 | 426M| 117 | 22 | 200 | 324 | 200 | 301 | 0 |3544 |5949 |-3.015361e+01 |-1.500000e+01 | 50.25%
1354.16/1354.17 c 1354s|710000 |297765 | 21614k| 30.4 | 431M| 118 | 35 | 200 | 322 | 200 | 301 | 0 |3562 |5989 |-3.013375e+01 |-1.500000e+01 | 50.22%
1369.05/1369.02 c 1369s|720000 |301419 | 21864k| 30.4 | 437M| 118 | 33 | 200 | 318 | 200 | 301 | 0 |3573 |6024 |-3.011640e+01 |-1.500000e+01 | 50.19%
1383.56/1383.59 c 1384s|730000 |305053 | 22109k| 30.3 | 442M| 118 | - | 200 | 318 | 200 | 301 | 0 |3586 |6054 |-3.009400e+01 |-1.500000e+01 | 50.16%
1398.25/1398.24 c 1398s|740000 |308651 | 22355k| 30.2 | 448M| 119 | - | 200 | 314 | 200 | 301 | 0 |3598 |6099 |-3.007455e+01 |-1.500000e+01 | 50.12%
1413.25/1413.27 c 1413s|750000 |312297 | 22611k| 30.1 | 453M| 119 | 34 | 200 | 314 | 200 | 301 | 0 |3609 |6144 |-3.005217e+01 |-1.500000e+01 | 50.09%
1427.96/1427.93 c 1428s|760000 |315947 | 22859k| 30.1 | 459M| 119 | 58 | 200 | 325 | 200 | 301 | 0 |3631 |6172 |-3.003201e+01 |-1.500000e+01 | 50.05%
1442.65/1442.64 c 1443s|770000 |319565 | 23106k| 30.0 | 464M| 119 | 95 | 200 | 326 | 200 | 301 | 0 |3649 |6229 |-3.001596e+01 |-1.500000e+01 | 50.03%
1457.26/1457.28 c 1457s|780000 |323129 | 23355k| 29.9 | 469M| 119 | - | 200 | 331 | 200 | 301 | 0 |3668 |6261 |-2.999421e+01 |-1.500000e+01 | 49.99%
1472.06/1472.02 c 1472s|790000 |326667 | 23604k| 29.9 | 475M| 119 | 33 | 200 | 335 | 200 | 301 | 0 |3693 |6301 |-2.997834e+01 |-1.500000e+01 | 49.96%
1486.66/1486.62 c 1487s|800000 |330277 | 23852k| 29.8 | 480M| 119 | 57 | 200 | 351 | 200 | 301 | 0 |3735 |6340 |-2.995806e+01 |-1.500000e+01 | 49.93%
1501.16/1501.19 c 1501s|810000 |333921 | 24100k| 29.8 | 485M| 119 | 41 | 200 | 336 | 200 | 301 | 0 |3743 |6374 |-2.993626e+01 |-1.500000e+01 | 49.89%
1515.66/1515.67 c 1516s|820000 |337455 | 24346k| 29.7 | 491M| 119 | 86 | 200 | 326 | 200 | 301 | 0 |3753 |6412 |-2.991983e+01 |-1.500000e+01 | 49.87%
1530.17/1530.17 c 1530s|830000 |341033 | 24593k| 29.6 | 496M| 119 | - | 200 | 328 | 200 | 301 | 0 |3772 |6467 |-2.989786e+01 |-1.500000e+01 | 49.83%
1544.56/1544.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.56/1544.57 c 1545s|840000 |344651 | 24837k| 29.6 | 501M| 119 | 41 | 200 | 334 | 200 | 301 | 0 |3799 |6499 |-2.988439e+01 |-1.500000e+01 | 49.81%
1559.16/1559.12 c 1559s|850000 |348225 | 25085k| 29.5 | 507M| 119 | - | 200 | 336 | 200 | 301 | 0 |3818 |6539 |-2.986400e+01 |-1.500000e+01 | 49.77%
1573.86/1573.84 c 1574s|860000 |351877 | 25337k| 29.5 | 512M| 119 | 30 | 200 | 344 | 200 | 301 | 0 |3850 |6570 |-2.984080e+01 |-1.500000e+01 | 49.73%
1588.17/1588.16 c 1588s|870000 |355375 | 25581k| 29.4 | 518M| 119 | 88 | 200 | 334 | 200 | 301 | 0 |3861 |6597 |-2.982180e+01 |-1.500000e+01 | 49.70%
1602.16/1602.19 c 1602s|880000 |358803 | 25818k| 29.3 | 523M| 121 | - | 200 | 323 | 200 | 301 | 0 |3878 |6640 |-2.981070e+01 |-1.500000e+01 | 49.68%
1615.97/1615.94 c 1616s|890000 |362073 | 26051k| 29.3 | 528M| 121 | 65 | 200 | 333 | 200 | 301 | 0 |3905 |6666 |-2.979487e+01 |-1.500000e+01 | 49.66%
1629.87/1629.82 c 1630s|900000 |365369 | 26287k| 29.2 | 533M| 121 | 31 | 200 | 326 | 200 | 301 | 0 |3925 |6700 |-2.977920e+01 |-1.500000e+01 | 49.63%
1643.57/1643.51 c 1644s|910000 |368655 | 26519k| 29.1 | 538M| 121 | 34 | 200 | 316 | 200 | 301 | 0 |3934 |6732 |-2.976449e+01 |-1.500000e+01 | 49.60%
1657.17/1657.13 c 1657s|920000 |371895 | 26751k| 29.1 | 542M| 121 | - | 200 | 322 | 200 | 301 | 0 |3951 |6761 |-2.975120e+01 |-1.500000e+01 | 49.58%
1670.97/1670.95 c 1671s|930000 |375169 | 26987k| 29.0 | 547M| 121 | 29 | 200 | 329 | 200 | 301 | 0 |3971 |6804 |-2.973261e+01 |-1.500000e+01 | 49.55%
1684.77/1684.75 c 1685s|940000 |378481 | 27221k| 29.0 | 552M| 121 | 58 | 200 | 322 | 200 | 301 | 0 |3982 |6838 |-2.971486e+01 |-1.500000e+01 | 49.52%
1698.57/1698.51 c 1699s|950000 |381705 | 27455k| 28.9 | 557M| 121 | - | 200 | 325 | 200 | 301 | 0 |4001 |6871 |-2.969262e+01 |-1.500000e+01 | 49.48%
1712.07/1712.07 c 1712s|960000 |384925 | 27686k| 28.8 | 562M| 121 | - | 200 | 320 | 200 | 301 | 0 |4014 |6918 |-2.967401e+01 |-1.500000e+01 | 49.45%
1725.58/1725.59 c 1726s|970000 |388141 | 27917k| 28.8 | 567M| 121 | 35 | 200 | 328 | 200 | 301 | 0 |4038 |6958 |-2.966372e+01 |-1.500000e+01 | 49.43%
1739.27/1739.20 c 1739s|980000 |391351 | 28149k| 28.7 | 572M| 121 | 79 | 200 | 328 | 200 | 301 | 0 |4061 |6981 |-2.964674e+01 |-1.500000e+01 | 49.40%
1752.98/1752.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1752.98/1752.92 c 1753s|990000 |394577 | 28383k| 28.7 | 577M| 121 | 73 | 200 | 322 | 200 | 301 | 0 |4070 |7024 |-2.963535e+01 |-1.500000e+01 | 49.38%
1766.47/1766.43 c 1766s| 1000k|397825 | 28613k| 28.6 | 582M| 122 | - | 200 | 323 | 200 | 301 | 0 |4082 |7061 |-2.961962e+01 |-1.500000e+01 | 49.36%
1779.87/1779.85 c 1780s| 1010k|401091 | 28840k| 28.6 | 587M| 122 | 29 | 200 | 330 | 200 | 301 | 0 |4098 |7085 |-2.960563e+01 |-1.500000e+01 | 49.33%
1793.68/1793.63 c 1794s| 1020k|404293 | 29076k| 28.5 | 592M| 122 | - | 200 | 327 | 200 | 301 | 0 |4115 |7130 |-2.958650e+01 |-1.500000e+01 | 49.30%
1797.07/1797.00 c
1797.07/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.07/1797.00 c Solving Time (sec) : 1797.00
1797.07/1797.00 c Solving Nodes : 1022423
1797.07/1797.00 c Primal Bound : -1.50000000000000e+01 (479 solutions)
1797.07/1797.00 c Dual Bound : -2.95840442343159e+01
1797.07/1797.00 c Gap : 49.30 %
1797.07/1797.01 s SATISFIABLE
1797.07/1797.01 v -x162 -x111 -x139 -x121 -x180 -x119 -x108 -x154 -x172 x132 -x190 -x166 -x129 -x153 x198 -x113 -x140 -x200 -x155 -x189 -x179 -x156
1797.07/1797.01 v x152 -x149 -x109 -x188 -x151 -x144 -x165 -x135 -x115 x146 -x147 -x126 x106 x182 -x197 -x102 -x195 -x161 -x133 -x105 -x104
1797.07/1797.01 v -x192 -x114 -x171 -x125 -x138 x185 -x174 -x143 -x157 -x170 -x159 -x123 -x103 -x101 -x199 -x196 x186 -x181 -x177 x176 x175 -x167
1797.07/1797.01 v -x158 x148 -x145 -x142 -x134 -x120 -x118 -x117 -x110 -x107 -x124 -x131 -x183 -x130 x168 -x169 -x112 -x137 -x173 -x141 -x127
1797.07/1797.01 v -x164 -x160 -x191 -x128 -x163 -x122 x150 -x193 -x136 x194 x116 -x178 -x187 -x184 x100 x99 -x98 -x97 x96 x95 -x94 -x93 x92 -x91
1797.07/1797.01 v -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66
1797.07/1797.01 v -x65 x64 -x63 x62 x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40
1797.07/1797.01 v -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15
1797.07/1797.01 v -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.07/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.07/1797.01 c Total Time : 1797.00
1797.07/1797.01 c solving : 1797.00
1797.07/1797.01 c presolving : 0.06 (included in solving)
1797.07/1797.01 c reading : 0.01 (included in solving)
1797.07/1797.01 c Original Problem :
1797.07/1797.01 c Problem name : HOME/instance-3488639-1307785950.opb
1797.07/1797.01 c Variables : 3238 (3238 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.07/1797.01 c Constraints : 3539 initial, 3539 maximal
1797.07/1797.01 c Presolved Problem :
1797.07/1797.01 c Problem name : t_HOME/instance-3488639-1307785950.opb
1797.07/1797.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.07/1797.01 c Constraints : 301 initial, 574 maximal
1797.07/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.07/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.01 c dualfix : 0.00 3038 0 0 0 0 0 0 0 0
1797.07/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.01 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.07/1797.01 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1797.07/1797.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.01 c linear : 0.01 0 0 0 0 0 0 0 0 0
1797.07/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.01 c pseudoboolean : 0.01 0 0 0 0 0 3438 200 0 0
1797.07/1797.01 c root node : - 0 - - 0 - - - - -
1797.07/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.07/1797.01 c integral : 0 0 0 732799 0 483 0 28 571 0 0 1464730
1797.07/1797.01 c knapsack : 200 1 1935684 1 1 478 114273 1712 7975975 0 0 0
1797.07/1797.01 c setppc : 100 1 1921405 0 1 477 6068 0 341894 0 0 0
1797.07/1797.01 c linear : 1 1 1933972 1 0 477 0 1100 0 0 0 0
1797.07/1797.01 c logicor : 0+ 0 366287 0 0 0 2 0 711 0 0 0
1797.07/1797.01 c countsols : 0 0 0 1 1 481 0 0 0 0 0 0
1797.07/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.07/1797.01 c integral : 41.37 0.00 0.00 41.37 0.00 0.00 0.00
1797.07/1797.01 c knapsack : 21.93 0.00 21.84 0.00 0.00 0.04 0.05
1797.07/1797.01 c setppc : 1.59 0.00 1.58 0.00 0.00 0.00 0.00
1797.07/1797.01 c linear : 1.61 0.00 1.61 0.00 0.00 0.00 0.00
1797.07/1797.01 c logicor : 0.61 0.00 0.61 0.00 0.00 0.00 0.00
1797.07/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.07/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.07/1797.01 c vbounds : 0 0 0 0
1797.07/1797.01 c rootredcost : 4 0 0 0
1797.07/1797.01 c pseudoobj : 1944780 3424 2059 14343
1797.07/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.07/1797.01 c vbounds : 0.33 0.33 0.00
1797.07/1797.01 c rootredcost : 0.34 0.34 0.00
1797.07/1797.01 c pseudoobj : 6.10 6.07 0.02
1797.07/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.07/1797.01 c propagation : 0.16 1712 1712 12624 61.1 0 0.0 -
1797.07/1797.01 c infeasible LP : 0.09 2089 2046 6763 26.3 0 0.0 0
1797.07/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.07/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.07/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.07/1797.01 c applied globally : - - - 2957 16.4 - - -
1797.07/1797.01 c applied locally : - - - 1165 39.8 - - -
1797.07/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.07/1797.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1797.07/1797.01 c redcost : 4.79 790397 0 113041 0 0
1797.07/1797.01 c impliedbounds : 0.00 1 0 0 0 0
1797.07/1797.01 c intobj : 0.00 0 0 0 0 0
1797.07/1797.01 c gomory : 0.02 1 0 0 0 0
1797.07/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.07/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.07/1797.01 c strongcg : 0.01 1 0 0 0 0
1797.07/1797.01 c cmir : 0.00 1 0 0 0 0
1797.07/1797.01 c flowcover : 0.00 1 0 0 0 0
1797.07/1797.01 c clique : 0.00 1 0 0 0 0
1797.07/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.07/1797.01 c mcf : 0.00 1 0 0 0 0
1797.07/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.07/1797.01 c rapidlearning : 0.03 1 0 0 0 0
1797.07/1797.01 c Pricers : Time Calls Vars
1797.07/1797.01 c problem variables: 0.00 0 0
1797.07/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.07/1797.01 c relpscost : 40.96 732798 28 571 0 0 1464730
1797.07/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.07/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.07/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.07/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.07/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.07/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.07/1797.01 c random : 0.00 0 0 0 0 0 0
1797.07/1797.01 c Primal Heuristics : Time Calls Found
1797.07/1797.01 c LP solutions : 0.07 - 1
1797.07/1797.01 c pseudo solutions : 0.00 - 0
1797.07/1797.01 c feaspump : 0.01 0 0
1797.07/1797.01 c oneopt : 0.22 4 0
1797.07/1797.01 c crossover : 3.96 16 7
1797.07/1797.01 c coefdiving : 4.10 1521 0
1797.07/1797.01 c pscostdiving : 4.46 1521 0
1797.07/1797.01 c fracdiving : 4.28 1521 0
1797.07/1797.01 c veclendiving : 7.38 1521 1
1797.07/1797.01 c linesearchdiving : 4.21 1521 0
1797.07/1797.01 c guideddiving : 4.53 1521 0
1797.07/1797.01 c objpscostdiving : 7.04 761 93
1797.07/1797.01 c rootsoldiving : 3.73 761 110
1797.07/1797.01 c trivial : 0.00 2 1
1797.07/1797.01 c shiftandpropagate: 0.00 0 0
1797.07/1797.01 c simplerounding : 0.17 0 0
1797.07/1797.01 c zirounding : 18.72 0 0
1797.07/1797.01 c rounding : 12.54 57722 2
1797.07/1797.01 c shifting : 22.08 50739 263
1797.07/1797.01 c intshifting : 0.01 0 0
1797.07/1797.01 c twoopt : 0.00 0 0
1797.07/1797.01 c fixandinfer : 0.00 0 0
1797.07/1797.01 c clique : 0.00 0 0
1797.07/1797.01 c intdiving : 0.00 0 0
1797.07/1797.01 c actconsdiving : 0.00 0 0
1797.07/1797.01 c octane : 0.00 0 0
1797.07/1797.01 c rens : 0.01 0 0
1797.07/1797.01 c rins : 0.00 0 0
1797.07/1797.01 c localbranching : 0.00 0 0
1797.07/1797.01 c mutation : 0.00 0 0
1797.07/1797.01 c dins : 0.00 0 0
1797.07/1797.01 c vbounds : 0.00 0 0
1797.07/1797.01 c undercover : 0.00 0 0
1797.07/1797.01 c subnlp : 0.16 0 0
1797.07/1797.01 c trysol : 0.23 0 0
1797.07/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.07/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.07/1797.01 c dual LP : 1531.75 1041754 28477674 27.34 18591.54
1797.07/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.07/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.07/1797.01 c diving/probing LP: 32.35 122343 657622 5.38 20326.10
1797.07/1797.01 c strong branching : 30.94 7135 331751 46.50 10723.36
1797.07/1797.01 c (at root node) : - 11 2542 231.09 -
1797.07/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.07/1797.01 c B&B Tree :
1797.07/1797.01 c number of runs : 1
1797.07/1797.01 c nodes : 1022423
1797.07/1797.01 c nodes (total) : 1022423
1797.07/1797.01 c nodes left : 405094
1797.07/1797.01 c max depth : 122
1797.07/1797.01 c max depth (total): 122
1797.07/1797.01 c backtracks : 73365 (7.2%)
1797.07/1797.01 c delayed cutoffs : 0
1797.07/1797.01 c repropagations : 964 (711 domain reductions, 0 cutoffs)
1797.07/1797.01 c avg switch length: 6.43
1797.07/1797.01 c switching time : 28.09
1797.07/1797.01 c Solution :
1797.07/1797.01 c Solutions found : 479 (6 improvements)
1797.07/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1797.07/1797.01 c Primal Bound : -1.50000000000000e+01 (in run 1, after 312927 nodes, 735.13 seconds, depth 58, found by <relaxation>)
1797.07/1797.01 c Dual Bound : -2.95840442343159e+01
1797.07/1797.01 c Gap : 49.30 %
1797.07/1797.01 c Root Dual Bound : -5.00000000000000e+01
1797.07/1797.01 c Root Iterations : 892
1797.97/1797.94 c Time complete: 1798.02.
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-3488639-1307785950/watcher-3488639-1307785950 -o /tmp/evaluation-result-3488639-1307785950/solver-3488639-1307785950 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488639-1307785950.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.00 2.00 1.93 3/177 23796
/proc/meminfo: memFree=30828684/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=9580 CPUtime=0 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 1517 0 0 0 0 0 0 0 25 0 1 0 890191679 9809920 1471 33554432000 4194304 9016284 140734844015136 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23796/statm: 2395 1472 311 1178 0 1213 0
[startup+0.070808 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 23796
/proc/meminfo: memFree=30828684/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=28920 CPUtime=0.06 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 6279 0 0 0 6 0 0 0 25 0 1 0 890191679 29614080 5976 33554432000 4194304 9016284 140734844015136 18446744073709551615 4459851 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 7230 5976 507 1178 0 6048 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 28920
[startup+0.100797 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 23796
/proc/meminfo: memFree=30828684/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=32592 CPUtime=0.08 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 7367 0 0 0 8 0 0 0 18 0 1 0 890191679 33374208 7064 33554432000 4194304 9016284 140734844015136 18446744073709551615 7875855 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 8148 7072 637 1178 0 6966 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 32592
[startup+0.300767 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 23796
/proc/meminfo: memFree=30828684/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=33748 CPUtime=0.28 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 12413 0 0 0 27 1 0 0 18 0 1 0 890191679 34557952 7490 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 8437 7490 705 1178 0 7255 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 33748
[startup+0.700676 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 23796
/proc/meminfo: memFree=30828684/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=34404 CPUtime=0.69 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 12508 0 0 0 67 2 0 0 18 0 1 0 890191679 35229696 7585 33554432000 4194304 9016284 140734844015136 18446744073709551615 7200880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 8601 7585 705 1178 0 7419 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34404
[startup+1.50053 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23798
/proc/meminfo: memFree=30800312/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=34404 CPUtime=1.49 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 12528 0 0 0 145 4 0 0 19 0 1 0 890191679 35229696 7605 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 8601 7605 707 1178 0 7419 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34404
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23836
/proc/meminfo: memFree=31400640/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=34404 CPUtime=3.09 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 12530 0 0 0 301 8 0 0 25 0 1 0 890191679 35229696 7607 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 8601 7607 709 1178 0 7419 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34404
[startup+6.30056 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23836
/proc/meminfo: memFree=31345716/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=34404 CPUtime=6.29 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 12531 0 0 0 615 14 0 0 25 0 1 0 890191679 35229696 7608 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 8601 7608 709 1178 0 7419 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34404
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23836
/proc/meminfo: memFree=31339664/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=34832 CPUtime=12.69 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 12610 0 0 0 1238 31 0 0 25 0 1 0 890191679 35667968 7687 33554432000 4194304 9016284 140734844015136 18446744073709551615 7198945 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 8708 7687 710 1178 0 7526 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34832
[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 23836
/proc/meminfo: memFree=31286884/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=48280 CPUtime=25.49 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 15668 0 0 0 2472 77 0 0 25 0 1 0 890191679 49438720 10745 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 12070 10745 714 1178 0 10888 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48280
[startup+51.1006 s]
/proc/loadavg: 2.06 2.02 1.93 3/178 23837
/proc/meminfo: memFree=31277740/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=55892 CPUtime=51.09 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 17613 0 0 0 4923 186 0 0 25 0 1 0 890191679 57233408 12690 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 13973 12690 717 1178 0 12791 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 55892
[startup+102.306 s]
/proc/loadavg: 2.09 2.03 1.94 3/178 23838
/proc/meminfo: memFree=31269160/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=62932 CPUtime=102.3 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 24334 0 0 0 9821 409 0 0 25 0 1 0 890191679 64442368 14816 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 15733 14816 717 1178 0 14551 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 62932
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 1.94 3/178 23840
/proc/meminfo: memFree=31250772/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=81120 CPUtime=162.29 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 31953 0 0 0 15553 676 0 0 25 0 1 0 890191679 83066880 19423 33554432000 4194304 9016284 140734844015136 18446744073709551615 5878670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 20280 19423 718 1178 0 19098 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 81120
[startup+222.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 23841
/proc/meminfo: memFree=31225416/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=106076 CPUtime=222.3 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 41144 0 0 0 21282 948 0 0 25 0 1 0 890191679 108621824 25725 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 26519 25725 717 1178 0 25337 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 106076
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 23843
/proc/meminfo: memFree=31204168/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=127088 CPUtime=282.31 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 46464 0 0 0 27008 1223 0 0 25 0 1 0 890191679 130138112 31045 33554432000 4194304 9016284 140734844015136 18446744073709551615 7219022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 31772 31045 717 1178 0 30590 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 127088
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23845
/proc/meminfo: memFree=31174712/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=158300 CPUtime=342.31 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 56633 0 0 0 32730 1501 0 0 25 0 1 0 890191679 162099200 38397 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 39575 38397 717 1178 0 38393 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 158300
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23846
/proc/meminfo: memFree=31154204/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=179072 CPUtime=402.3 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 61838 0 0 0 38446 1784 0 0 25 0 1 0 890191679 183369728 43602 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 44768 43602 717 1178 0 43586 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 179072
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23848
/proc/meminfo: memFree=31132216/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=200540 CPUtime=462.31 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 67247 0 0 0 44171 2060 0 0 25 0 1 0 890191679 205352960 49009 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 50135 49009 717 1178 0 48953 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 200540
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 23858
/proc/meminfo: memFree=31108284/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=223872 CPUtime=522.32 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 73166 0 0 0 49872 2360 0 0 25 0 1 0 890191679 229244928 54924 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 55968 54924 717 1178 0 54786 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 223872
[startup+582.301 s]
/proc/loadavg: 2.04 2.01 1.94 3/178 23860
/proc/meminfo: memFree=31084572/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=247428 CPUtime=582.32 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 81644 0 0 0 55585 2647 0 0 25 0 1 0 890191679 253366272 60914 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 61857 60914 717 1178 0 60675 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 247428
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30955608/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=379588 CPUtime=1062.34 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 131836 0 0 0 101281 4953 0 0 25 0 1 0 890191679 388698112 93198 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 94897 93198 717 1178 0 93715 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 379588
[startup+1122.3 s]
/proc/loadavg: 2.08 2.03 1.96 3/178 23877
/proc/meminfo: memFree=30934592/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=399424 CPUtime=1122.35 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 137708 0 0 0 106979 5256 0 0 25 0 1 0 890191679 409010176 98238 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 99856 98238 717 1178 0 98674 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 399424
[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/178 23879
/proc/meminfo: memFree=30917184/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=417600 CPUtime=1182.35 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 142285 0 0 0 112679 5556 0 0 25 0 1 0 890191679 427622400 102815 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 104400 102815 717 1178 0 103218 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 417600
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 23881
/proc/meminfo: memFree=30893296/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=440116 CPUtime=1242.35 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 147970 0 0 0 118390 5845 0 0 25 0 1 0 890191679 450678784 108500 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 110029 108500 717 1178 0 108847 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 440116
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/178 23882
/proc/meminfo: memFree=30871916/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=460640 CPUtime=1302.35 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 153219 0 0 0 124094 6141 0 0 25 0 1 0 890191679 471695360 113749 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 115160 113749 717 1178 0 113978 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 460640
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 23884
/proc/meminfo: memFree=30846420/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=486192 CPUtime=1362.35 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 159640 0 0 0 129811 6424 0 0 25 0 1 0 890191679 497860608 120170 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 121548 120170 717 1178 0 120366 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 486192
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 23885
/proc/meminfo: memFree=30820692/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=511544 CPUtime=1422.36 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 168255 0 0 0 135523 6713 0 0 25 0 1 0 890191679 523821056 126523 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 127886 126523 717 1178 0 126704 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 511544
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 23887
/proc/meminfo: memFree=30800548/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=531408 CPUtime=1482.36 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 173288 0 0 0 141226 7010 0 0 25 0 1 0 890191679 544161792 131556 33554432000 4194304 9016284 140734844015136 18446744073709551615 7201824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 132852 131556 717 1178 0 131670 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 531408
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 23889
/proc/meminfo: memFree=30780784/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=550628 CPUtime=1542.36 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 178191 0 0 0 146935 7301 0 0 25 0 1 0 890191679 563843072 136459 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 137657 136459 717 1178 0 136475 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 550628
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 23890
/proc/meminfo: memFree=30761392/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=570652 CPUtime=1602.37 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 183217 0 0 0 152640 7597 0 0 25 0 1 0 890191679 584347648 141485 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 142663 141485 717 1178 0 141481 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 570652
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 1.97 3/178 23892
/proc/meminfo: memFree=30734048/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=596756 CPUtime=1662.37 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 189826 0 0 0 158337 7900 0 0 25 0 1 0 890191679 611078144 148094 33554432000 4194304 9016284 140734844015136 18446744073709551615 7219239 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 149189 148094 717 1178 0 148007 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 596756
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/178 23893
/proc/meminfo: memFree=30713272/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=617200 CPUtime=1722.37 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 194962 0 0 0 164039 8198 0 0 25 0 1 0 890191679 632012800 153230 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 154300 153230 717 1178 0 153118 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 617200
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 23895
/proc/meminfo: memFree=30693752/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=636136 CPUtime=1782.37 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 199748 0 0 0 169741 8496 0 0 25 0 1 0 890191679 651403264 158016 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 159034 158016 718 1178 0 157852 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 636136
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 23895
/proc/meminfo: memFree=30693128/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=636732 CPUtime=1785.58 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 199936 0 0 0 170047 8511 0 0 25 0 1 0 890191679 652013568 158204 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 159183 158204 718 1178 0 158001 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (KiB) 636732
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 23895
/proc/meminfo: memFree=30691004/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=638756 CPUtime=1791.98 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 200455 0 0 0 170654 8544 0 0 25 0 1 0 890191679 654086144 158723 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 159689 158723 718 1178 0 158507 0
Current children cumulated CPU time (s) 1791.98
Current children cumulated vsize (KiB) 638756
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 23895
/proc/meminfo: memFree=30690756/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=638928 CPUtime=1795.18 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 200491 0 0 0 170959 8559 0 0 25 0 1 0 890191679 654262272 158759 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 159732 158759 718 1178 0 158550 0
Current children cumulated CPU time (s) 1795.18
Current children cumulated vsize (KiB) 638928
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 23895
/proc/meminfo: memFree=30689888/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=639780 CPUtime=1796.78 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 200720 0 0 0 171111 8567 0 0 25 0 1 0 890191679 655134720 158988 33554432000 4194304 9016284 140734844015136 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23796/statm: 159945 158988 718 1178 0 158763 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 639780
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 23895
/proc/meminfo: memFree=30689764/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=639780 CPUtime=1797.57 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 200722 0 0 0 171189 8568 0 0 18 0 1 0 890191679 655134720 158990 33554432000 4194304 9016284 140734844015136 18446744073709551615 4329922 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23796/statm: 159945 158990 720 1178 0 158763 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 639780
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 23895
/proc/meminfo: memFree=30689764/32950928 swapFree=67053888/67111528
[pid=23796] ppid=23794 vsize=639780 CPUtime=1797.97 cores=1,3,5,7
/proc/23796/stat : 23796 (scip-2.0.1.4b_2) R 23794 23796 23551 0 -1 4202496 200722 0 0 0 171229 8568 0 0 19 0 1 0 890191679 655134720 158990 33554432000 4194304 9016284 140734844015136 18446744073709551615 4897769 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23796/statm: 159945 158990 720 1178 0 158763 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 639780
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798.03
CPU user time (s): 1712.32
CPU system time (s): 85.71
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 639780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1712.32
system time used= 85.71
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200727
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= 1708
runsolver used 2.6136 second user time and 5.97509 second system time
The end