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-3488663-1307786731.opb>
0.00/0.01 c original problem has 3290 variables (3290 bin, 0 int, 0 impl, 0 cont) and 3591 constraints
0.00/0.01 c problem read
0.00/0.01 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, 3490 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 24920 impls, 199 clqs
0.06/0.08 c (round 2) 3090 del vars, 3490 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24920 impls, 0 clqs
0.06/0.09 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.06/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.06/0.09 c presolving (3 rounds):
0.06/0.09 c 3090 deleted vars, 3490 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.06/0.09 c 24920 implications, 0 cliques
0.06/0.09 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.06/0.09 c 200 constraints of type <knapsack>
0.06/0.09 c 100 constraints of type <setppc>
0.06/0.09 c 1 constraints of type <linear>
0.06/0.09 c transformed objective value is always integral (scale: 1)
0.06/0.09 c Presolving Time: 0.07
0.06/0.09 c - non default parameters ----------------------------------------------------------------------
0.06/0.09 c # SCIP version 2.0.1.5
0.06/0.09 c
0.06/0.09 c # frequency for displaying node information lines
0.06/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.06/0.09 c display/freq = 10000
0.06/0.09 c
0.06/0.09 c # maximal time in seconds to run
0.06/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.09 c limits/time = 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.10 c
0.19/0.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.22 c t 0.2s| 1 | 0 | 1056 | - |8657k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.19/0.22 o -1
0.19/0.22 c R 0.2s| 1 | 0 | 1056 | - |8669k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.29/0.30 o -10
0.29/0.30 c y 0.3s| 1 | 0 | 1056 | - |8684k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+01 | 80.00%
1.09/1.11 c 1.1s| 1 | 2 | 1056 | - |8680k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 15 |-5.000000e+01 |-1.000000e+01 | 80.00%
8.29/8.32 o -11
8.29/8.32 c v 8.3s| 50 | 48 | 4604 | 72.4 |8815k| 14 | - | 200 | 301 | 200 | 301 | 0 | 0 | 787 |-4.905177e+01 |-1.100000e+01 | 77.57%
11.09/11.11 o -12
11.09/11.11 c R11.1s| 72 | 61 | 6481 | 76.4 |8860k| 15 | - | 200 | 301 | 200 | 301 | 0 | 0 | 997 |-4.882700e+01 |-1.200000e+01 | 75.42%
13.99/14.03 o -13
13.99/14.03 c f14.0s| 265 | 186 | 17611 | 62.7 |9179k| 22 | - | 200 | 303 | 200 | 301 | 0 | 2 |1078 |-4.765039e+01 |-1.300000e+01 | 72.72%
16.09/16.11 o -14
16.09/16.11 c R16.1s| 608 | 375 | 34706 | 55.4 |9660k| 46 | - | 200 | 306 | 200 | 301 | 0 | 5 |1087 |-4.281887e+01 |-1.400000e+01 | 67.30%
67.69/67.75 c 67.8s| 10000 | 8857 |642192 | 64.1 | 19M| 77 | 53 | 200 | 529 | 200 | 301 | 0 | 333 |1183 |-3.678229e+01 |-1.400000e+01 | 61.94%
107.50/107.56 c 108s| 20000 | 16689 | 1154k| 57.7 | 29M| 96 | - | 200 | 482 | 200 | 301 | 0 | 464 |1384 |-3.555794e+01 |-1.400000e+01 | 60.63%
138.29/138.39 c 138s| 30000 | 22935 | 1557k| 51.9 | 38M| 101 | 60 | 200 | 421 | 200 | 301 | 0 | 528 |1625 |-3.501054e+01 |-1.400000e+01 | 60.01%
165.09/165.11 c 165s| 40000 | 28357 | 1929k| 48.2 | 45M| 102 | 50 | 200 | 394 | 200 | 301 | 0 | 559 |1821 |-3.457969e+01 |-1.400000e+01 | 59.51%
191.30/191.36 c 191s| 50000 | 33695 | 2296k| 45.9 | 52M| 103 | 41 | 200 | 390 | 200 | 301 | 0 | 604 |2047 |-3.423699e+01 |-1.400000e+01 | 59.11%
218.20/218.20 c 218s| 60000 | 38797 | 2658k| 44.3 | 60M| 103 | - | 200 | 380 | 200 | 301 | 0 | 640 |2240 |-3.392640e+01 |-1.400000e+01 | 58.73%
242.79/242.81 c 243s| 70000 | 44073 | 3005k| 42.9 | 67M| 103 | 26 | 200 | 366 | 200 | 301 | 0 | 673 |2411 |-3.365446e+01 |-1.400000e+01 | 58.40%
267.20/267.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
267.20/267.25 c 267s| 80000 | 49105 | 3355k| 41.9 | 74M| 105 | - | 200 | 370 | 200 | 301 | 0 | 708 |2557 |-3.339802e+01 |-1.400000e+01 | 58.08%
290.80/290.84 c 291s| 90000 | 54129 | 3692k| 41.0 | 81M| 105 | 73 | 200 | 367 | 200 | 301 | 0 | 735 |2683 |-3.309511e+01 |-1.400000e+01 | 57.70%
314.09/314.15 c 314s|100000 | 59129 | 4030k| 40.3 | 88M| 105 | 86 | 200 | 382 | 200 | 301 | 0 | 786 |2807 |-3.290224e+01 |-1.400000e+01 | 57.45%
338.80/338.87 c 339s|110000 | 64061 | 4365k| 39.7 | 95M| 107 | - | 200 | 376 | 200 | 301 | 0 | 823 |2931 |-3.268036e+01 |-1.400000e+01 | 57.16%
357.90/357.93 o -15
357.90/357.93 c f 358s|118502 | 54480 | 4642k| 39.2 | 82M| 107 | - | 200 | 365 | 200 | 301 | 0 | 845 |3030 |-3.258217e+01 |-1.500000e+01 | 53.96%
361.39/361.47 c 361s|120000 | 55112 | 4687k| 39.1 | 82M| 107 | 45 | 200 | 360 | 200 | 301 | 0 | 846 |3039 |-3.256695e+01 |-1.500000e+01 | 53.94%
383.40/383.48 c 383s|130000 | 59350 | 4975k| 38.3 | 89M| 108 | 51 | 200 | 348 | 200 | 301 | 0 | 868 |3155 |-3.242923e+01 |-1.500000e+01 | 53.75%
404.71/404.77 c 405s|140000 | 63450 | 5266k| 37.6 | 95M| 108 | 41 | 200 | 343 | 200 | 301 | 0 | 881 |3247 |-3.231688e+01 |-1.500000e+01 | 53.58%
425.00/425.04 c 425s|150000 | 67492 | 5544k| 37.0 | 101M| 108 | 96 | 200 | 351 | 200 | 301 | 0 | 903 |3330 |-3.218739e+01 |-1.500000e+01 | 53.40%
445.30/445.39 c 445s|160000 | 71500 | 5828k| 36.4 | 107M| 109 | - | 200 | 359 | 200 | 301 | 0 | 928 |3412 |-3.208928e+01 |-1.500000e+01 | 53.26%
465.70/465.77 c 466s|170000 | 75516 | 6114k| 36.0 | 113M| 109 | - | 200 | 359 | 200 | 301 | 0 | 953 |3528 |-3.201484e+01 |-1.500000e+01 | 53.15%
485.60/485.65 c 486s|180000 | 79386 | 6393k| 35.5 | 118M| 111 | 37 | 200 | 362 | 200 | 301 | 0 | 982 |3633 |-3.193441e+01 |-1.500000e+01 | 53.03%
504.10/504.14 c 504s|190000 | 82872 | 6652k| 35.0 | 124M| 111 | 50 | 200 | 349 | 200 | 301 | 0 | 998 |3724 |-3.186405e+01 |-1.500000e+01 | 52.93%
522.41/522.47 c 522s|200000 | 86306 | 6911k| 34.6 | 129M| 111 | 36 | 200 | 335 | 200 | 301 | 0 |1009 |3805 |-3.178278e+01 |-1.500000e+01 | 52.80%
540.91/540.90 c 541s|210000 | 89790 | 7172k| 34.2 | 134M| 111 | - | 200 | 344 | 200 | 301 | 0 |1030 |3903 |-3.170100e+01 |-1.500000e+01 | 52.68%
559.41/559.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.41/559.43 c 559s|220000 | 93274 | 7435k| 33.8 | 140M| 111 | 36 | 200 | 337 | 200 | 301 | 0 |1047 |4008 |-3.164684e+01 |-1.500000e+01 | 52.60%
577.60/577.61 c 578s|230000 | 96812 | 7695k| 33.5 | 145M| 111 | - | 200 | 327 | 200 | 301 | 0 |1057 |4083 |-3.158248e+01 |-1.500000e+01 | 52.51%
595.71/595.76 c 596s|240000 |100226 | 7955k| 33.1 | 150M| 112 | 92 | 200 | 323 | 200 | 301 | 0 |1064 |4184 |-3.151296e+01 |-1.500000e+01 | 52.40%
613.71/613.72 c 614s|250000 |103612 | 8214k| 32.9 | 156M| 112 | 37 | 200 | 334 | 200 | 301 | 0 |1091 |4262 |-3.146737e+01 |-1.500000e+01 | 52.33%
631.71/631.75 c 632s|260000 |106988 | 8475k| 32.6 | 161M| 112 | 58 | 200 | 333 | 200 | 301 | 0 |1108 |4332 |-3.140797e+01 |-1.500000e+01 | 52.24%
649.61/649.61 c 650s|270000 |110386 | 8732k| 32.3 | 166M| 112 | 55 | 200 | 331 | 200 | 301 | 0 |1117 |4392 |-3.134331e+01 |-1.500000e+01 | 52.14%
667.31/667.33 c 667s|280000 |113770 | 8986k| 32.1 | 171M| 112 | 36 | 200 | 330 | 200 | 301 | 0 |1133 |4474 |-3.130019e+01 |-1.500000e+01 | 52.08%
685.00/685.00 c 685s|290000 |117178 | 9242k| 31.9 | 176M| 112 | 47 | 200 | 340 | 200 | 301 | 0 |1154 |4548 |-3.125025e+01 |-1.500000e+01 | 52.00%
702.50/702.52 c 703s|300000 |120596 | 9497k| 31.7 | 182M| 112 | 54 | 200 | 338 | 200 | 301 | 0 |1172 |4607 |-3.120223e+01 |-1.500000e+01 | 51.93%
720.01/720.06 c 720s|310000 |123960 | 9749k| 31.4 | 187M| 112 | 28 | 200 | 334 | 200 | 301 | 0 |1178 |4668 |-3.115508e+01 |-1.500000e+01 | 51.85%
737.51/737.50 c 737s|320000 |127310 | 10001k| 31.3 | 192M| 113 | 100 | 200 | 325 | 200 | 301 | 0 |1189 |4738 |-3.110481e+01 |-1.500000e+01 | 51.78%
754.71/754.70 c 755s|330000 |130632 | 10253k| 31.1 | 197M| 113 | 28 | 200 | 329 | 200 | 301 | 0 |1203 |4804 |-3.106247e+01 |-1.500000e+01 | 51.71%
772.01/772.03 c 772s|340000 |133956 | 10509k| 30.9 | 202M| 113 | 85 | 200 | 336 | 200 | 301 | 0 |1219 |4862 |-3.100275e+01 |-1.500000e+01 | 51.62%
789.01/789.06 c 789s|350000 |137198 | 10759k| 30.7 | 207M| 113 | 28 | 200 | 329 | 200 | 301 | 0 |1230 |4917 |-3.094753e+01 |-1.500000e+01 | 51.53%
806.01/806.00 c 806s|360000 |140516 | 11008k| 30.6 | 213M| 113 | 72 | 200 | 338 | 200 | 301 | 0 |1249 |4971 |-3.090530e+01 |-1.500000e+01 | 51.46%
823.20/823.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.20/823.27 c 823s|370000 |143888 | 11264k| 30.4 | 218M| 113 | - | 200 | 347 | 200 | 301 | 0 |1268 |5041 |-3.086850e+01 |-1.500000e+01 | 51.41%
840.11/840.16 c 840s|380000 |147140 | 11515k| 30.3 | 223M| 113 | 94 | 200 | 342 | 200 | 301 | 0 |1282 |5102 |-3.082740e+01 |-1.500000e+01 | 51.34%
856.92/856.96 c 857s|390000 |150338 | 11765k| 30.2 | 228M| 113 | 38 | 200 | 341 | 200 | 301 | 0 |1298 |5182 |-3.078684e+01 |-1.500000e+01 | 51.28%
873.81/873.81 c 874s|400000 |153544 | 12017k| 30.0 | 233M| 113 | 36 | 200 | 348 | 200 | 301 | 0 |1318 |5244 |-3.075556e+01 |-1.500000e+01 | 51.23%
890.61/890.60 c 891s|410000 |156730 | 12267k| 29.9 | 238M| 113 | - | 200 | 342 | 200 | 301 | 0 |1333 |5306 |-3.071867e+01 |-1.500000e+01 | 51.17%
907.21/907.24 c 907s|420000 |159958 | 12515k| 29.8 | 243M| 113 | 36 | 200 | 333 | 200 | 301 | 0 |1342 |5367 |-3.068894e+01 |-1.500000e+01 | 51.12%
923.92/923.98 c 924s|430000 |163238 | 12765k| 29.7 | 248M| 113 | - | 200 | 345 | 200 | 301 | 0 |1371 |5428 |-3.064684e+01 |-1.500000e+01 | 51.06%
940.92/940.96 c 941s|440000 |166438 | 13018k| 29.6 | 253M| 113 | 37 | 200 | 344 | 200 | 301 | 0 |1381 |5479 |-3.060596e+01 |-1.500000e+01 | 50.99%
957.72/957.76 c 958s|450000 |169710 | 13268k| 29.5 | 258M| 113 | - | 200 | 344 | 200 | 301 | 0 |1399 |5538 |-3.056162e+01 |-1.500000e+01 | 50.92%
974.41/974.42 c 974s|460000 |172952 | 13514k| 29.4 | 263M| 113 | - | 200 | 341 | 200 | 301 | 0 |1411 |5582 |-3.053413e+01 |-1.500000e+01 | 50.87%
991.12/991.15 c 991s|470000 |176160 | 13765k| 29.3 | 268M| 113 | - | 200 | 336 | 200 | 301 | 0 |1426 |5626 |-3.050677e+01 |-1.500000e+01 | 50.83%
1007.92/1007.90 c 1008s|480000 |179342 | 14018k| 29.2 | 273M| 113 | 84 | 200 | 343 | 200 | 301 | 0 |1447 |5674 |-3.048051e+01 |-1.500000e+01 | 50.79%
1024.31/1024.37 c 1024s|490000 |182438 | 14264k| 29.1 | 278M| 113 | 33 | 200 | 335 | 200 | 301 | 0 |1463 |5728 |-3.045301e+01 |-1.500000e+01 | 50.74%
1041.11/1041.11 c 1041s|500000 |185622 | 14518k| 29.0 | 283M| 113 | 38 | 200 | 333 | 200 | 301 | 0 |1475 |5783 |-3.041968e+01 |-1.500000e+01 | 50.69%
1057.61/1057.63 c 1058s|510000 |188766 | 14766k| 29.0 | 288M| 113 | 37 | 200 | 328 | 200 | 301 | 0 |1487 |5821 |-3.039736e+01 |-1.500000e+01 | 50.65%
1073.92/1073.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1073.92/1073.99 c 1074s|520000 |191986 | 15012k| 28.9 | 293M| 115 | - | 200 | 335 | 200 | 301 | 0 |1509 |5864 |-3.037253e+01 |-1.500000e+01 | 50.61%
1090.31/1090.38 c 1090s|530000 |195182 | 15258k| 28.8 | 298M| 115 | 76 | 200 | 322 | 200 | 301 | 0 |1521 |5906 |-3.033628e+01 |-1.500000e+01 | 50.55%
1106.32/1106.39 c 1106s|540000 |198326 | 15499k| 28.7 | 303M| 115 | - | 200 | 330 | 200 | 301 | 0 |1539 |5951 |-3.030809e+01 |-1.500000e+01 | 50.51%
1122.82/1122.85 c 1123s|550000 |201462 | 15748k| 28.6 | 308M| 115 | - | 200 | 324 | 200 | 301 | 0 |1544 |6006 |-3.028032e+01 |-1.500000e+01 | 50.46%
1138.92/1138.98 c 1139s|560000 |204592 | 15993k| 28.6 | 313M| 115 | - | 200 | 331 | 200 | 301 | 0 |1564 |6063 |-3.025745e+01 |-1.500000e+01 | 50.43%
1155.22/1155.22 c 1155s|570000 |207726 | 16240k| 28.5 | 318M| 115 | 37 | 200 | 332 | 200 | 301 | 0 |1576 |6097 |-3.022926e+01 |-1.500000e+01 | 50.38%
1171.43/1171.45 c 1171s|580000 |210846 | 16489k| 28.4 | 323M| 115 | 71 | 200 | 331 | 200 | 301 | 0 |1585 |6140 |-3.020918e+01 |-1.500000e+01 | 50.35%
1187.82/1187.81 c 1188s|590000 |213964 | 16737k| 28.4 | 328M| 115 | 36 | 200 | 339 | 200 | 301 | 0 |1608 |6179 |-3.018757e+01 |-1.500000e+01 | 50.31%
1203.81/1203.89 c 1204s|600000 |217130 | 16980k| 28.3 | 332M| 115 | 26 | 200 | 330 | 200 | 301 | 0 |1621 |6221 |-3.015473e+01 |-1.500000e+01 | 50.26%
1220.22/1220.28 c 1220s|610000 |220266 | 17228k| 28.2 | 337M| 115 | 33 | 200 | 333 | 200 | 301 | 0 |1636 |6258 |-3.012475e+01 |-1.500000e+01 | 50.21%
1236.12/1236.13 c 1236s|620000 |223376 | 17469k| 28.2 | 342M| 115 | 48 | 200 | 329 | 200 | 301 | 0 |1650 |6298 |-3.010827e+01 |-1.500000e+01 | 50.18%
1252.12/1252.13 c 1252s|630000 |226434 | 17716k| 28.1 | 347M| 115 | 33 | 200 | 331 | 200 | 301 | 0 |1661 |6332 |-3.008556e+01 |-1.500000e+01 | 50.14%
1267.72/1267.77 c 1268s|640000 |229526 | 17955k| 28.1 | 352M| 115 | 32 | 200 | 337 | 200 | 301 | 0 |1678 |6373 |-3.006127e+01 |-1.500000e+01 | 50.10%
1283.63/1283.65 c 1284s|650000 |232662 | 18195k| 28.0 | 357M| 115 | 45 | 200 | 350 | 200 | 301 | 0 |1702 |6413 |-3.002972e+01 |-1.500000e+01 | 50.05%
1299.52/1299.50 c 1300s|660000 |235714 | 18437k| 27.9 | 362M| 115 | - | 200 | 350 | 200 | 301 | 0 |1722 |6445 |-3.000060e+01 |-1.500000e+01 | 50.00%
1315.42/1315.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1315.42/1315.42 c 1315s|670000 |238854 | 18677k| 27.9 | 367M| 115 | - | 200 | 345 | 200 | 301 | 0 |1740 |6493 |-2.997760e+01 |-1.500000e+01 | 49.96%
1331.42/1331.48 c 1331s|680000 |241966 | 18922k| 27.8 | 372M| 115 | 93 | 200 | 344 | 200 | 301 | 0 |1758 |6522 |-2.995448e+01 |-1.500000e+01 | 49.92%
1347.43/1347.47 c 1347s|690000 |245034 | 19168k| 27.8 | 376M| 115 | 68 | 200 | 357 | 200 | 301 | 0 |1784 |6563 |-2.992680e+01 |-1.500000e+01 | 49.88%
1363.22/1363.20 c 1363s|700000 |248126 | 19408k| 27.7 | 381M| 115 | 85 | 200 | 353 | 200 | 301 | 0 |1799 |6609 |-2.990716e+01 |-1.500000e+01 | 49.84%
1378.92/1378.96 c 1379s|710000 |251200 | 19648k| 27.7 | 386M| 115 | - | 200 | 336 | 200 | 301 | 0 |1815 |6643 |-2.988141e+01 |-1.500000e+01 | 49.80%
1394.73/1394.78 c 1395s|720000 |254340 | 19891k| 27.6 | 391M| 115 | - | 200 | 332 | 200 | 301 | 0 |1827 |6690 |-2.985671e+01 |-1.500000e+01 | 49.76%
1410.73/1410.70 c 1411s|730000 |257460 | 20135k| 27.6 | 396M| 115 | 32 | 200 | 340 | 200 | 301 | 0 |1847 |6736 |-2.983552e+01 |-1.500000e+01 | 49.72%
1426.43/1426.43 c 1426s|740000 |260550 | 20377k| 27.5 | 401M| 115 | 31 | 200 | 336 | 200 | 301 | 0 |1860 |6777 |-2.982032e+01 |-1.500000e+01 | 49.70%
1442.22/1442.24 c 1442s|750000 |263634 | 20621k| 27.5 | 406M| 115 | - | 200 | 324 | 200 | 301 | 0 |1865 |6826 |-2.980371e+01 |-1.500000e+01 | 49.67%
1457.93/1457.91 c 1458s|760000 |266668 | 20863k| 27.5 | 411M| 115 | - | 200 | 327 | 200 | 301 | 0 |1875 |6854 |-2.978495e+01 |-1.500000e+01 | 49.64%
1473.32/1473.32 c 1473s|770000 |269676 | 21102k| 27.4 | 415M| 115 | 37 | 200 | 326 | 200 | 301 | 0 |1881 |6885 |-2.976616e+01 |-1.500000e+01 | 49.61%
1489.13/1489.17 c 1489s|780000 |272770 | 21344k| 27.4 | 420M| 115 | - | 200 | 330 | 200 | 301 | 0 |1893 |6924 |-2.974607e+01 |-1.500000e+01 | 49.57%
1504.92/1504.95 c 1505s|790000 |275802 | 21587k| 27.3 | 425M| 115 | 36 | 200 | 335 | 200 | 301 | 0 |1907 |6957 |-2.972208e+01 |-1.500000e+01 | 49.53%
1520.42/1520.49 c 1520s|800000 |278916 | 21824k| 27.3 | 430M| 115 | 57 | 200 | 326 | 200 | 301 | 0 |1913 |7000 |-2.969413e+01 |-1.500000e+01 | 49.48%
1536.12/1536.16 c 1536s|810000 |281920 | 22065k| 27.2 | 435M| 115 | - | 200 | 321 | 200 | 301 | 0 |1925 |7035 |-2.967200e+01 |-1.500000e+01 | 49.45%
1551.93/1551.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.93/1551.95 c 1552s|820000 |284974 | 22311k| 27.2 | 440M| 115 | 29 | 200 | 325 | 200 | 301 | 0 |1940 |7067 |-2.965479e+01 |-1.500000e+01 | 49.42%
1567.43/1567.50 c 1567s|830000 |288074 | 22551k| 27.2 | 444M| 115 | 35 | 200 | 332 | 200 | 301 | 0 |1953 |7105 |-2.964004e+01 |-1.500000e+01 | 49.39%
1583.02/1583.08 c 1583s|840000 |291176 | 22795k| 27.1 | 449M| 116 | 34 | 200 | 328 | 200 | 301 | 0 |1963 |7128 |-2.961528e+01 |-1.500000e+01 | 49.35%
1598.53/1598.52 c 1599s|850000 |294246 | 23036k| 27.1 | 454M| 116 | 53 | 200 | 330 | 200 | 301 | 0 |1977 |7174 |-2.959101e+01 |-1.500000e+01 | 49.31%
1613.93/1613.95 c 1614s|860000 |297322 | 23277k| 27.1 | 459M| 116 | - | 200 | 324 | 200 | 301 | 0 |1988 |7208 |-2.957345e+01 |-1.500000e+01 | 49.28%
1629.33/1629.36 c 1629s|870000 |300374 | 23517k| 27.0 | 464M| 116 | - | 200 | 329 | 200 | 301 | 0 |2001 |7251 |-2.955302e+01 |-1.500000e+01 | 49.24%
1644.83/1644.84 c 1645s|880000 |303468 | 23759k| 27.0 | 469M| 116 | - | 200 | 350 | 200 | 301 | 0 |2028 |7277 |-2.953665e+01 |-1.500000e+01 | 49.22%
1660.03/1660.01 c 1660s|890000 |306470 | 23995k| 27.0 | 474M| 116 | 93 | 200 | 329 | 200 | 301 | 0 |2034 |7312 |-2.952073e+01 |-1.500000e+01 | 49.19%
1675.34/1675.37 c 1675s|900000 |309488 | 24234k| 26.9 | 479M| 116 | - | 200 | 340 | 200 | 301 | 0 |2060 |7351 |-2.950431e+01 |-1.500000e+01 | 49.16%
1690.64/1690.69 c 1691s|910000 |312512 | 24474k| 26.9 | 483M| 116 | 32 | 200 | 342 | 200 | 301 | 0 |2070 |7381 |-2.948605e+01 |-1.500000e+01 | 49.13%
1706.03/1706.07 c 1706s|920000 |315534 | 24711k| 26.9 | 488M| 116 | 37 | 200 | 332 | 200 | 301 | 0 |2086 |7419 |-2.946260e+01 |-1.500000e+01 | 49.09%
1721.44/1721.43 c 1721s|930000 |318544 | 24950k| 26.8 | 493M| 116 | 66 | 200 | 339 | 200 | 301 | 0 |2104 |7437 |-2.943805e+01 |-1.500000e+01 | 49.05%
1736.84/1736.90 c 1737s|940000 |321540 | 25190k| 26.8 | 498M| 116 | - | 200 | 339 | 200 | 301 | 0 |2121 |7483 |-2.942131e+01 |-1.500000e+01 | 49.02%
1752.03/1752.07 c 1752s|950000 |324524 | 25427k| 26.8 | 502M| 116 | - | 200 | 339 | 200 | 301 | 0 |2137 |7510 |-2.940444e+01 |-1.500000e+01 | 48.99%
1767.74/1767.76 c 1768s|960000 |327498 | 25676k| 26.7 | 507M| 116 | 39 | 200 | 350 | 200 | 301 | 0 |2163 |7552 |-2.938899e+01 |-1.500000e+01 | 48.96%
1783.03/1783.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1783.03/1783.03 c 1783s|970000 |330492 | 25912k| 26.7 | 512M| 116 | - | 200 | 344 | 200 | 301 | 0 |2177 |7577 |-2.936984e+01 |-1.500000e+01 | 48.93%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 979076
1797.03/1797.00 c Primal Bound : -1.50000000000000e+01 (445 solutions)
1797.03/1797.00 c Dual Bound : -2.93519879136642e+01
1797.03/1797.00 c Gap : 48.90 %
1797.03/1797.00 s SATISFIABLE
1797.03/1797.00 v -x197 -x164 -x113 -x185 -x170 -x158 -x132 -x171 -x135 -x150 -x104 -x166 -x160 -x144 -x119 -x110 -x106 x157 -x146 x114 -x192 x180
1797.03/1797.00 v -x161 x145 -x128 -x122 -x154 -x112 -x151 -x124 -x134 x178 -x172 -x136 -x187 x181 -x168 -x163 -x156 -x152 -x131 -x118 -x117
1797.03/1797.00 v -x109 -x105 x198 -x190 -x200 x183 -x123 -x153 -x182 -x189 -x193 -x149 -x195 -x191 -x179 -x162 -x107 -x175 -x137 -x115 -x101 -x188
1797.03/1797.00 v x184 -x167 -x133 x130 -x129 -x127 -x121 -x120 -x111 -x108 -x155 -x199 -x138 -x148 -x174 -x139 x143 -x116 x196 -x176 -x142
1797.03/1797.00 v x103 -x140 -x194 -x125 -x159 x165 -x102 -x177 -x173 -x126 -x141 -x169 -x186 x147 -x100 -x99 -x98 x97 -x96 -x95 x94 -x93 -x92
1797.03/1797.00 v -x91 x90 x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66
1797.03/1797.00 v -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 x44 -x43 -x42 -x41 -x40
1797.03/1797.00 v -x39 -x38 -x37 -x36 -x35 -x34 x33 x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15
1797.03/1797.00 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.07 (included in solving)
1797.03/1797.00 c reading : 0.02 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3488663-1307786731.opb
1797.03/1797.00 c Variables : 3290 (3290 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 3591 initial, 3591 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3488663-1307786731.opb
1797.03/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 301 initial, 540 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 3090 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoboolean : 0.01 0 0 0 0 0 3490 200 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 663710 0 450 0 25 775 0 0 1326234
1797.03/1797.00 c knapsack : 200 1 1800893 0 2 445 37602 417 7127365 0 0 0
1797.03/1797.00 c setppc : 100 1 1793680 0 2 444 1935 0 301164 0 0 0
1797.03/1797.00 c linear : 1 1 1800476 0 0 444 0 628 0 0 0 0
1797.03/1797.00 c logicor : 0+ 0 349350 0 0 0 0 0 125 0 0 0
1797.03/1797.00 c countsols : 0 0 0 0 2 448 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 46.19 0.00 0.00 46.19 0.00 0.00 0.00
1797.03/1797.00 c knapsack : 22.99 0.00 22.92 0.00 0.00 0.05 0.02
1797.03/1797.00 c setppc : 1.64 0.00 1.63 0.00 0.00 0.00 0.00
1797.03/1797.00 c linear : 1.84 0.00 1.83 0.00 0.00 0.00 0.00
1797.03/1797.00 c logicor : 0.50 0.00 0.50 0.00 0.00 0.00 0.00
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 6 0 0 0
1797.03/1797.00 c pseudoobj : 1807954 834 722 4263
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 0.34 0.34 0.00
1797.03/1797.00 c rootredcost : 0.35 0.35 0.00
1797.03/1797.00 c pseudoobj : 6.31 6.30 0.01
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 0.04 417 417 2920 59.2 0 0.0 -
1797.03/1797.00 c infeasible LP : 0.08 1589 1541 5121 27.3 0 0.0 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 1960 15.3 - - -
1797.03/1797.00 c applied locally : - - - 227 42.5 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1797.03/1797.00 c redcost : 4.93 723976 0 113621 0 0
1797.03/1797.00 c impliedbounds : 0.00 1 0 0 0 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 0.02 1 0 0 0 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.02 1 0 0 0 0
1797.03/1797.00 c cmir : 0.00 1 0 0 0 0
1797.03/1797.00 c flowcover : 0.01 1 0 0 0 0
1797.03/1797.00 c clique : 0.00 1 0 0 0 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.04 1 0 0 0 0
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 45.78 663710 25 775 0 0 1326234
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 2 0 0 0 0 4
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.00 - 0
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c feaspump : 0.01 0 0
1797.03/1797.00 c oneopt : 0.25 6 0
1797.03/1797.00 c crossover : 6.55 18 10
1797.03/1797.00 c rootsoldiving : 3.28 567 113
1797.03/1797.00 c coefdiving : 3.57 1134 0
1797.03/1797.00 c pscostdiving : 3.66 1134 0
1797.03/1797.00 c fracdiving : 3.88 1134 2
1797.03/1797.00 c linesearchdiving : 3.82 1134 0
1797.03/1797.00 c guideddiving : 4.13 1134 0
1797.03/1797.00 c veclendiving : 5.52 1134 1
1797.03/1797.00 c objpscostdiving : 6.47 568 77
1797.03/1797.00 c trivial : 0.00 2 1
1797.03/1797.00 c shiftandpropagate: 0.00 0 0
1797.03/1797.00 c simplerounding : 0.18 0 0
1797.03/1797.00 c zirounding : 18.75 0 0
1797.03/1797.00 c rounding : 15.24 66324 3
1797.03/1797.00 c shifting : 22.31 46021 237
1797.03/1797.00 c intshifting : 0.01 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.01 0 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 0.17 0 0
1797.03/1797.00 c trysol : 0.23 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.00 c dual LP : 1522.85 996887 25617360 25.70 16821.97
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 28.18 92298 512372 5.55 18183.46
1797.03/1797.00 c strong branching : 35.79 7612 356144 46.79 9950.58
1797.03/1797.00 c (at root node) : - 15 3255 217.00 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 979076
1797.03/1797.00 c nodes (total) : 979076
1797.03/1797.00 c nodes left : 333238
1797.03/1797.00 c max depth : 116
1797.03/1797.00 c max depth (total): 116
1797.03/1797.00 c backtracks : 64548 (6.6%)
1797.03/1797.00 c delayed cutoffs : 0
1797.03/1797.00 c repropagations : 154 (125 domain reductions, 0 cutoffs)
1797.03/1797.00 c avg switch length: 5.69
1797.03/1797.00 c switching time : 27.78
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 445 (8 improvements)
1797.03/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1797.03/1797.00 c Primal Bound : -1.50000000000000e+01 (in run 1, after 118502 nodes, 357.91 seconds, depth 58, found by <fracdiving>)
1797.03/1797.00 c Dual Bound : -2.93519879136642e+01
1797.03/1797.00 c Gap : 48.90 %
1797.03/1797.00 c Root Dual Bound : -5.00000000000000e+01
1797.03/1797.00 c Root Iterations : 1056
1797.93/1797.91 c Time complete: 1797.94.
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-3488663-1307786731/watcher-3488663-1307786731 -o /tmp/evaluation-result-3488663-1307786731/solver-3488663-1307786731 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488663-1307786731.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.00 2.00 1.88 2/177 7929
/proc/meminfo: memFree=31378412/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=12696 CPUtime=0 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 2186 0 0 0 0 0 0 0 25 0 1 0 968903741 13000704 2140 33554432000 4194304 9016284 140736630141632 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7929/statm: 3174 2140 368 1178 0 1992 0
[startup+0.06679 s]
/proc/loadavg: 2.00 2.00 1.88 2/177 7929
/proc/meminfo: memFree=31378412/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=28764 CPUtime=0.06 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 6257 0 0 0 6 0 0 0 25 0 1 0 968903741 29454336 5954 33554432000 4194304 9016284 140736630141632 18446744073709551615 5055639 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 7191 5954 507 1178 0 6009 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 28764
[startup+0.100736 s]
/proc/loadavg: 2.00 2.00 1.88 2/177 7929
/proc/meminfo: memFree=31378412/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=31244 CPUtime=0.09 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 6913 0 0 0 9 0 0 0 25 0 1 0 968903741 31993856 6610 33554432000 4194304 9016284 140736630141632 18446744073709551615 6816867 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 7811 6610 574 1178 0 6629 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31244
[startup+0.300789 s]
/proc/loadavg: 2.00 2.00 1.88 2/177 7929
/proc/meminfo: memFree=31378412/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=48352 CPUtime=0.29 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 11111 0 0 0 28 1 0 0 25 0 1 0 968903741 49512448 10775 33554432000 4194304 9016284 140736630141632 18446744073709551615 4647012 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 12088 10775 696 1178 0 10906 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48352
[startup+0.700717 s]
/proc/loadavg: 2.00 2.00 1.88 2/177 7929
/proc/meminfo: memFree=31378412/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=34864 CPUtime=0.69 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 12747 0 0 0 68 1 0 0 25 0 1 0 968903741 35700736 7690 33554432000 4194304 9016284 140736630141632 18446744073709551615 7219682 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 8716 7690 705 1178 0 7534 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34864
[startup+1.50057 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 7930
/proc/meminfo: memFree=31350520/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=34864 CPUtime=1.49 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 12764 0 0 0 148 1 0 0 25 0 1 0 968903741 35700736 7707 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 8716 7707 707 1178 0 7534 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34864
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 7930
/proc/meminfo: memFree=31350144/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=34864 CPUtime=3.09 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 12766 0 0 0 306 3 0 0 25 0 1 0 968903741 35700736 7709 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 8716 7709 709 1178 0 7534 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34864
[startup+6.30073 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 7930
/proc/meminfo: memFree=31349640/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=34864 CPUtime=6.29 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 12766 0 0 0 623 6 0 0 25 0 1 0 968903741 35700736 7709 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 8716 7709 709 1178 0 7534 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34864
[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 7931
/proc/meminfo: memFree=31349396/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=34864 CPUtime=12.69 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 12766 0 0 0 1258 11 0 0 25 0 1 0 968903741 35700736 7709 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 8716 7709 709 1178 0 7534 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34864
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 7931
/proc/meminfo: memFree=31346908/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=37820 CPUtime=25.49 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 20924 0 0 0 2521 28 0 0 25 0 1 0 968903741 38727680 8490 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 9455 8490 714 1178 0 8273 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37820
[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 7932
/proc/meminfo: memFree=31340868/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=43852 CPUtime=51.09 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 25447 0 0 0 5044 65 0 0 25 0 1 0 968903741 44904448 10026 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 10963 10026 714 1178 0 9781 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 43852
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 7933
/proc/meminfo: memFree=31326396/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=57832 CPUtime=102.3 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 36670 0 0 0 10092 138 0 0 25 0 1 0 968903741 59219968 13541 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 14458 13541 714 1178 0 13276 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 57832
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/178 7935
/proc/meminfo: memFree=31296820/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=82960 CPUtime=162.29 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 42747 0 0 0 16000 229 0 0 25 0 1 0 968903741 84951040 19614 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 20740 19614 714 1178 0 19558 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 82960
[startup+222.301 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 7937
/proc/meminfo: memFree=31279048/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=99548 CPUtime=222.3 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 50277 0 0 0 21899 331 0 0 25 0 1 0 968903741 101937152 24069 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 24887 24069 717 1178 0 23705 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 99548
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7977
/proc/meminfo: memFree=31475712/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=115200 CPUtime=282.3 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 54247 0 0 0 27806 424 0 0 25 0 1 0 968903741 117964800 28035 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 28800 28035 717 1178 0 27618 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 115200
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7978
/proc/meminfo: memFree=31445940/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=139368 CPUtime=342.29 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 63115 0 0 0 33705 524 0 0 25 0 1 0 968903741 142712832 34128 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 34842 34128 717 1178 0 33660 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 139368
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7980
/proc/meminfo: memFree=31442412/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=144964 CPUtime=402.3 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 78348 0 0 0 39604 626 0 0 25 0 1 0 968903741 148443136 35037 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 36241 35037 717 1178 0 35059 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 144964
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7982
/proc/meminfo: memFree=31431452/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=155844 CPUtime=462.3 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 83791 0 0 0 45509 721 0 0 25 0 1 0 968903741 159584256 37796 33554432000 4194304 9016284 140736630141632 18446744073709551615 5946208 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 38961 37796 717 1178 0 37779 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 155844
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7983
/proc/meminfo: memFree=31413052/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=174084 CPUtime=522.3 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 91003 0 0 0 51411 819 0 0 25 0 1 0 968903741 178262016 42379 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 43521 42379 717 1178 0 42339 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 174084
[startup+582.301 s]
/proc/loadavg: 2.03 2.01 1.91 3/178 7985
/proc/meminfo: memFree=31395396/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=191756 CPUtime=582.3 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 97937 0 0 0 57313 917 0 0 25 0 1 0 968903741 196358144 46803 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 47939 46803 717 1178 0 46757 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 191756
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31246844/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=337856 CPUtime=1062.31 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 139604 0 0 0 104494 1737 0 0 25 0 1 0 968903741 345964544 83684 33554432000 4194304 9016284 140736630141632 18446744073709551615 7219235 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 84464 83684 717 1178 0 83282 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 337856
[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 7999
/proc/meminfo: memFree=31231172/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=357096 CPUtime=1122.32 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 143395 0 0 0 110393 1839 0 0 25 0 1 0 968903741 365666304 87475 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 89274 87475 717 1178 0 88092 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 357096
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 8001
/proc/meminfo: memFree=31210416/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=378616 CPUtime=1182.32 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 148818 0 0 0 116290 1942 0 0 25 0 1 0 968903741 387702784 92898 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 94654 92898 717 1178 0 93472 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 378616
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8002
/proc/meminfo: memFree=31184704/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=402932 CPUtime=1242.31 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 154944 0 0 0 122189 2042 0 0 25 0 1 0 968903741 412602368 99024 33554432000 4194304 9016284 140736630141632 18446744073709551615 5155088 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 100733 99024 717 1178 0 99551 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 402932
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8004
/proc/meminfo: memFree=31170764/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=416244 CPUtime=1302.32 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 158373 0 0 0 128086 2146 0 0 25 0 1 0 968903741 426233856 102453 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 104061 102453 717 1178 0 102879 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 416244
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8006
/proc/meminfo: memFree=31151112/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=435892 CPUtime=1362.32 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 163328 0 0 0 133984 2248 0 0 25 0 1 0 968903741 446353408 107408 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 108973 107408 717 1178 0 107791 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 435892
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8007
/proc/meminfo: memFree=31138524/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=448332 CPUtime=1422.33 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 166437 0 0 0 139880 2353 0 0 25 0 1 0 968903741 459091968 110517 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 112083 110517 717 1178 0 110901 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 448332
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8009
/proc/meminfo: memFree=31117392/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=469036 CPUtime=1482.33 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 171644 0 0 0 145777 2456 0 0 25 0 1 0 968903741 480292864 115724 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 117259 115724 717 1178 0 116077 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 469036
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8010
/proc/meminfo: memFree=31103572/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=482408 CPUtime=1542.32 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 175118 0 0 0 151667 2565 0 0 25 0 1 0 968903741 493985792 119197 33554432000 4194304 9016284 140736630141632 18446744073709551615 7213488 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 120602 119197 717 1178 0 119420 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 482408
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8012
/proc/meminfo: memFree=31082188/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=504928 CPUtime=1602.33 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 180727 0 0 0 157558 2675 0 0 25 0 1 0 968903741 517046272 124806 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 126232 124806 717 1178 0 125050 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 504928
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8014
/proc/meminfo: memFree=31061064/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=524436 CPUtime=1662.33 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 185650 0 0 0 163454 2779 0 0 25 0 1 0 968903741 537022464 129729 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 131109 129729 717 1178 0 129927 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 524436
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8015
/proc/meminfo: memFree=31041676/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=544628 CPUtime=1722.33 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 191576 0 0 0 169347 2886 0 0 25 0 1 0 968903741 557699072 134822 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 136157 134822 717 1178 0 134975 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 544628
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8017
/proc/meminfo: memFree=31024888/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=559776 CPUtime=1782.34 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 195424 0 0 0 175240 2994 0 0 25 0 1 0 968903741 573210624 138670 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 139944 138670 717 1178 0 138762 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 559776
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8017
/proc/meminfo: memFree=31022904/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=561792 CPUtime=1785.53 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 195911 0 0 0 175553 3000 0 0 25 0 1 0 968903741 575275008 139157 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 140448 139157 717 1178 0 139266 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 561792
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8017
/proc/meminfo: memFree=31021904/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=562764 CPUtime=1791.94 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 196187 0 0 0 176183 3011 0 0 25 0 1 0 968903741 576270336 139433 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 140691 139433 717 1178 0 139509 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 562764
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8017
/proc/meminfo: memFree=31021408/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=563304 CPUtime=1795.14 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 196290 0 0 0 176497 3017 0 0 25 0 1 0 968903741 576823296 139536 33554432000 4194304 9016284 140736630141632 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 140826 139536 717 1178 0 139644 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 563304
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8017
/proc/meminfo: memFree=31021160/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=563700 CPUtime=1796.73 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 196425 0 0 0 176653 3020 0 0 25 0 1 0 968903741 577228800 139671 33554432000 4194304 9016284 140736630141632 18446744073709551615 7214194 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7929/statm: 140925 139671 717 1178 0 139743 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 563700
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8017
/proc/meminfo: memFree=31020788/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=563848 CPUtime=1797.53 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 196456 0 0 0 176732 3021 0 0 25 0 1 0 968903741 577380352 139702 33554432000 4194304 9016284 140736630141632 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7929/statm: 140962 139702 719 1178 0 139780 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 563848
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 8017
/proc/meminfo: memFree=31020788/32951124 swapFree=67054712/67111528
[pid=7929] ppid=7927 vsize=433744 CPUtime=1797.93 cores=0,2,4,6
/proc/7929/stat : 7929 (scip-2.0.1.4b_2) R 7927 7929 7747 0 -1 4202496 196456 0 0 0 176771 3022 0 0 25 0 1 0 968903741 444153856 63740 33554432000 4194304 9016284 140736630141632 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7929/statm: 108436 63286 719 1178 0 107254 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 433744
Child status: 0
Real time (s): 1797.91
CPU time (s): 1797.95
CPU user time (s): 1767.72
CPU system time (s): 30.2374
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 563848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.72
system time used= 30.2374
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 2744
runsolver used 2.6186 second user time and 5.56915 second system time
The end