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-3488648-1307786444.opb>
0.00/0.02 c original problem has 3274 variables (3274 bin, 0 int, 0 impl, 0 cont) and 3575 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.03/0.07 c (round 1) 0 del vars, 3474 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 24792 impls, 199 clqs
0.03/0.08 c (round 2) 3074 del vars, 3474 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24792 impls, 0 clqs
0.03/0.10 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.03/0.10 c presolving (3 rounds):
0.03/0.10 c 3074 deleted vars, 3474 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.10 c 24792 implications, 0 cliques
0.03/0.10 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.03/0.10 c 200 constraints of type <knapsack>
0.03/0.10 c 100 constraints of type <setppc>
0.03/0.10 c 1 constraints of type <linear>
0.03/0.10 c transformed objective value is always integral (scale: 1)
0.03/0.10 c Presolving Time: 0.07
0.03/0.10 c - non default parameters ----------------------------------------------------------------------
0.03/0.10 c # SCIP version 2.0.1.5
0.03/0.10 c
0.03/0.10 c # frequency for displaying node information lines
0.03/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.10 c display/freq = 10000
0.03/0.10 c
0.03/0.10 c # maximal time in seconds to run
0.03/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.10 c limits/time = 1797
0.03/0.10 c
0.03/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.10 c limits/memory = 13950
0.03/0.10 c
0.03/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.03/0.10 c # [type: int, range: [1,2], default: 1]
0.03/0.10 c timing/clocktype = 2
0.03/0.10 c
0.03/0.10 c # belongs reading time to solving time?
0.03/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.10 c timing/reading = TRUE
0.03/0.10 c
0.03/0.10 c # should presolving try to simplify inequalities
0.03/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.10 c constraints/linear/simplifyinequalities = TRUE
0.03/0.10 c
0.03/0.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.03/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.10 c constraints/indicator/addCouplingCons = TRUE
0.03/0.10 c
0.03/0.10 c # should presolving try to simplify knapsacks
0.03/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.10 c
0.03/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.10 c separating/rapidlearning/freq = 0
0.03/0.10 c
0.03/0.10 c -----------------------------------------------------------------------------------------------
0.03/0.10 c start solving
0.03/0.10 c
0.19/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.21 c t 0.2s| 1 | 0 | 1236 | - |8625k| 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 | 1236 | - |8637k| 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 | 1236 | - |8654k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+01 | 80.00%
0.99/1.01 c 1.0s| 1 | 2 | 1236 | - |8654k| 0 | 200 | 200 | 302 | 200 | 301 | 0 | 0 | 13 |-5.000000e+01 |-1.000000e+01 | 80.00%
8.99/9.08 o -11
8.99/9.08 c v 9.1s| 51 | 52 | 4841 | 72.1 |8795k| 15 | - | 200 | 302 | 200 | 301 | 0 | 0 | 677 |-4.908911e+01 |-1.100000e+01 | 77.59%
13.99/14.07 o -12
13.99/14.07 c f14.1s| 147 | 143 | 10719 | 65.0 |8984k| 17 | - | 200 | 303 | 200 | 301 | 0 | 1 |1001 |-4.839245e+01 |-1.200000e+01 | 75.20%
17.39/17.49 o -13
17.39/17.49 c f17.5s| 634 | 512 | 38869 | 59.5 |9854k| 44 | - | 200 | 311 | 200 | 301 | 0 | 10 |1019 |-4.363714e+01 |-1.300000e+01 | 70.21%
18.79/18.85 o -14
18.79/18.85 c f18.8s| 851 | 576 | 48235 | 55.3 | 10M| 56 | - | 200 | 313 | 200 | 301 | 0 | 12 |1056 |-4.213814e+01 |-1.400000e+01 | 66.78%
25.59/25.67 o -15
25.59/25.67 c l25.7s| 1809 | 1385 |120871 | 66.2 | 11M| 77 | - | 200 | 348 | 200 | 301 | 0 | 51 |1085 |-4.075892e+01 |-1.500000e+01 | 63.20%
64.59/64.65 c 64.7s| 10000 | 8220 |614210 | 61.3 | 19M| 77 | 63 | 200 | 454 | 200 | 301 | 0 | 225 |1171 |-3.689978e+01 |-1.500000e+01 | 59.35%
97.28/97.37 c 97.4s| 20000 | 14580 | 1065k| 53.2 | 27M| 95 | - | 200 | 433 | 200 | 301 | 0 | 327 |1434 |-3.594904e+01 |-1.500000e+01 | 58.27%
124.88/124.90 c 125s| 30000 | 19934 | 1466k| 48.8 | 34M| 95 | 115 | 200 | 375 | 200 | 301 | 0 | 370 |1702 |-3.532245e+01 |-1.500000e+01 | 57.53%
150.99/151.01 c 151s| 40000 | 25216 | 1854k| 46.3 | 42M| 96 | 72 | 200 | 369 | 200 | 301 | 0 | 415 |1948 |-3.487681e+01 |-1.500000e+01 | 56.99%
176.69/176.79 c 177s| 50000 | 30418 | 2244k| 44.9 | 49M| 96 | 40 | 200 | 387 | 200 | 301 | 0 | 480 |2185 |-3.446072e+01 |-1.500000e+01 | 56.47%
201.30/201.39 c 201s| 60000 | 35612 | 2619k| 43.6 | 56M| 97 | 32 | 200 | 385 | 200 | 301 | 0 | 528 |2376 |-3.410669e+01 |-1.500000e+01 | 56.02%
225.49/225.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.49/225.56 c 226s| 70000 | 40680 | 2993k| 42.8 | 63M| 97 | - | 200 | 408 | 200 | 301 | 0 | 595 |2539 |-3.374648e+01 |-1.500000e+01 | 55.55%
248.89/248.96 c 249s| 80000 | 45740 | 3357k| 42.0 | 70M| 97 | 46 | 200 | 404 | 200 | 301 | 0 | 639 |2697 |-3.348594e+01 |-1.500000e+01 | 55.21%
271.79/271.83 c 272s| 90000 | 50826 | 3716k| 41.3 | 77M| 97 | 88 | 200 | 391 | 200 | 301 | 0 | 701 |2825 |-3.325410e+01 |-1.500000e+01 | 54.89%
294.79/294.83 c 295s|100000 | 55838 | 4083k| 40.8 | 84M| 97 | 32 | 200 | 393 | 200 | 301 | 0 | 750 |2940 |-3.305550e+01 |-1.500000e+01 | 54.62%
316.99/317.04 c 317s|110000 | 60620 | 4437k| 40.3 | 91M| 97 | - | 200 | 410 | 200 | 301 | 0 | 802 |3088 |-3.286410e+01 |-1.500000e+01 | 54.36%
338.80/338.89 c 339s|120000 | 65458 | 4789k| 39.9 | 97M| 97 | 80 | 200 | 384 | 200 | 301 | 0 | 840 |3200 |-3.268993e+01 |-1.500000e+01 | 54.11%
360.60/360.64 c 361s|130000 | 70348 | 5137k| 39.5 | 104M| 99 | 57 | 200 | 377 | 200 | 301 | 0 | 884 |3293 |-3.256138e+01 |-1.500000e+01 | 53.93%
382.00/382.00 c 382s|140000 | 75132 | 5482k| 39.2 | 111M| 99 | - | 200 | 387 | 200 | 301 | 0 | 927 |3403 |-3.246083e+01 |-1.500000e+01 | 53.79%
402.89/402.95 c 403s|150000 | 79940 | 5821k| 38.8 | 117M| 99 | 25 | 200 | 409 | 200 | 301 | 0 | 989 |3489 |-3.230131e+01 |-1.500000e+01 | 53.56%
422.80/422.86 c 423s|160000 | 84490 | 6144k| 38.4 | 124M| 102 | 33 | 200 | 394 | 200 | 301 | 0 |1024 |3559 |-3.220697e+01 |-1.500000e+01 | 53.43%
441.40/441.49 c 441s|170000 | 88746 | 6447k| 37.9 | 130M| 102 | 31 | 200 | 401 | 200 | 301 | 0 |1070 |3634 |-3.211943e+01 |-1.500000e+01 | 53.30%
460.00/460.02 c 460s|180000 | 92918 | 6749k| 37.5 | 136M| 102 | 47 | 200 | 390 | 200 | 301 | 0 |1102 |3710 |-3.205508e+01 |-1.500000e+01 | 53.21%
478.50/478.59 c 479s|190000 | 97042 | 7053k| 37.1 | 142M| 102 | 34 | 200 | 393 | 200 | 301 | 0 |1147 |3784 |-3.195695e+01 |-1.500000e+01 | 53.06%
496.80/496.81 c 497s|200000 |101228 | 7349k| 36.7 | 148M| 102 | - | 200 | 367 | 200 | 301 | 0 |1162 |3869 |-3.187540e+01 |-1.500000e+01 | 52.94%
514.71/514.79 c 515s|210000 |105342 | 7642k| 36.4 | 154M| 102 | - | 200 | 385 | 200 | 301 | 0 |1219 |3961 |-3.178259e+01 |-1.500000e+01 | 52.80%
532.90/532.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.90/532.95 c 533s|220000 |109490 | 7938k| 36.1 | 160M| 102 | 43 | 200 | 382 | 200 | 301 | 0 |1250 |4040 |-3.171253e+01 |-1.500000e+01 | 52.70%
550.70/550.72 c 551s|230000 |113584 | 8229k| 35.8 | 166M| 102 | - | 200 | 378 | 200 | 301 | 0 |1271 |4108 |-3.164961e+01 |-1.500000e+01 | 52.61%
568.61/568.61 c 569s|240000 |117552 | 8525k| 35.5 | 171M| 102 | - | 200 | 370 | 200 | 301 | 0 |1290 |4175 |-3.157456e+01 |-1.500000e+01 | 52.49%
586.21/586.29 c 586s|250000 |121614 | 8815k| 35.3 | 177M| 102 | 29 | 200 | 370 | 200 | 301 | 0 |1318 |4248 |-3.151728e+01 |-1.500000e+01 | 52.41%
604.20/604.20 c 604s|260000 |125694 | 9107k| 35.0 | 183M| 102 | 24 | 200 | 379 | 200 | 301 | 0 |1345 |4337 |-3.146167e+01 |-1.500000e+01 | 52.32%
621.60/621.65 c 622s|270000 |129716 | 9394k| 34.8 | 189M| 102 | 38 | 200 | 373 | 200 | 301 | 0 |1376 |4393 |-3.140153e+01 |-1.500000e+01 | 52.23%
639.50/639.50 c 640s|280000 |133776 | 9688k| 34.6 | 195M| 102 | 31 | 200 | 355 | 200 | 301 | 0 |1399 |4461 |-3.132463e+01 |-1.500000e+01 | 52.11%
656.80/656.86 c 657s|290000 |137702 | 9976k| 34.4 | 201M| 104 | 66 | 200 | 356 | 200 | 301 | 0 |1430 |4520 |-3.126009e+01 |-1.500000e+01 | 52.02%
674.21/674.27 c 674s|300000 |141698 | 10266k| 34.2 | 207M| 104 | - | 200 | 358 | 200 | 301 | 0 |1457 |4581 |-3.121606e+01 |-1.500000e+01 | 51.95%
691.51/691.55 c 692s|310000 |145666 | 10552k| 34.0 | 213M| 105 | 32 | 200 | 368 | 200 | 301 | 0 |1492 |4644 |-3.117750e+01 |-1.500000e+01 | 51.89%
708.80/708.81 c 709s|320000 |149554 | 10840k| 33.9 | 219M| 105 | 89 | 200 | 363 | 200 | 301 | 0 |1517 |4697 |-3.113510e+01 |-1.500000e+01 | 51.82%
725.92/725.91 c 726s|330000 |153406 | 11124k| 33.7 | 224M| 105 | 31 | 200 | 370 | 200 | 301 | 0 |1555 |4767 |-3.109569e+01 |-1.500000e+01 | 51.76%
742.71/742.75 c 743s|340000 |157270 | 11408k| 33.5 | 230M| 105 | - | 200 | 368 | 200 | 301 | 0 |1583 |4816 |-3.104849e+01 |-1.500000e+01 | 51.69%
759.51/759.50 c 759s|350000 |161110 | 11689k| 33.4 | 236M| 105 | 31 | 200 | 367 | 200 | 301 | 0 |1605 |4882 |-3.099561e+01 |-1.500000e+01 | 51.61%
776.01/776.02 c 776s|360000 |164946 | 11968k| 33.2 | 241M| 105 | 98 | 200 | 373 | 200 | 301 | 0 |1633 |4924 |-3.095659e+01 |-1.500000e+01 | 51.55%
792.81/792.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.81/792.88 c 793s|370000 |168878 | 12249k| 33.1 | 247M| 105 | 62 | 200 | 362 | 200 | 301 | 0 |1661 |4987 |-3.091270e+01 |-1.500000e+01 | 51.48%
809.52/809.56 c 810s|380000 |172712 | 12529k| 33.0 | 253M| 105 | 42 | 200 | 349 | 200 | 301 | 0 |1681 |5037 |-3.087689e+01 |-1.500000e+01 | 51.42%
826.11/826.13 c 826s|390000 |176472 | 12806k| 32.8 | 259M| 105 | 58 | 200 | 373 | 200 | 301 | 0 |1725 |5075 |-3.083353e+01 |-1.500000e+01 | 51.35%
842.51/842.59 c 843s|400000 |180286 | 13083k| 32.7 | 264M| 105 | - | 200 | 368 | 200 | 301 | 0 |1749 |5135 |-3.079790e+01 |-1.500000e+01 | 51.30%
859.11/859.15 c 859s|410000 |184042 | 13363k| 32.6 | 270M| 105 | - | 200 | 357 | 200 | 301 | 0 |1761 |5196 |-3.075623e+01 |-1.500000e+01 | 51.23%
875.41/875.42 c 875s|420000 |187748 | 13638k| 32.5 | 276M| 105 | 29 | 200 | 354 | 200 | 301 | 0 |1780 |5260 |-3.071337e+01 |-1.500000e+01 | 51.16%
892.01/892.03 c 892s|430000 |191564 | 13921k| 32.4 | 281M| 105 | - | 200 | 356 | 200 | 301 | 0 |1803 |5315 |-3.067829e+01 |-1.500000e+01 | 51.11%
908.11/908.17 c 908s|440000 |195246 | 14197k| 32.3 | 287M| 105 | 65 | 200 | 343 | 200 | 301 | 0 |1813 |5361 |-3.063563e+01 |-1.500000e+01 | 51.04%
924.51/924.58 c 925s|450000 |198990 | 14473k| 32.2 | 292M| 105 | 65 | 200 | 351 | 200 | 301 | 0 |1843 |5427 |-3.059973e+01 |-1.500000e+01 | 50.98%
941.11/941.11 c 941s|460000 |202746 | 14755k| 32.1 | 298M| 105 | 88 | 200 | 359 | 200 | 301 | 0 |1878 |5475 |-3.055092e+01 |-1.500000e+01 | 50.90%
957.62/957.65 c 958s|470000 |206452 | 15039k| 32.0 | 304M| 105 | 50 | 200 | 353 | 200 | 301 | 0 |1895 |5520 |-3.051043e+01 |-1.500000e+01 | 50.84%
973.52/973.54 c 974s|480000 |210158 | 15309k| 31.9 | 309M| 105 | 29 | 200 | 345 | 200 | 301 | 0 |1908 |5570 |-3.047161e+01 |-1.500000e+01 | 50.77%
989.61/989.69 c 990s|490000 |213868 | 15582k| 31.8 | 315M| 105 | 31 | 200 | 348 | 200 | 301 | 0 |1930 |5617 |-3.043777e+01 |-1.500000e+01 | 50.72%
1005.62/1005.63 c 1006s|500000 |217480 | 15853k| 31.7 | 320M| 105 | - | 200 | 354 | 200 | 301 | 0 |1948 |5665 |-3.040304e+01 |-1.500000e+01 | 50.66%
1021.61/1021.67 c 1022s|510000 |221188 | 16126k| 31.6 | 326M| 105 | 47 | 200 | 364 | 200 | 301 | 0 |1976 |5719 |-3.037022e+01 |-1.500000e+01 | 50.61%
1037.71/1037.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1037.71/1037.79 c 1038s|520000 |224884 | 16399k| 31.5 | 331M| 106 | - | 200 | 375 | 200 | 301 | 0 |2007 |5774 |-3.034427e+01 |-1.500000e+01 | 50.57%
1053.62/1053.69 c 1054s|530000 |228538 | 16671k| 31.5 | 337M| 106 | 38 | 200 | 376 | 200 | 301 | 0 |2036 |5812 |-3.031288e+01 |-1.500000e+01 | 50.52%
1069.61/1069.62 c 1070s|540000 |232190 | 16941k| 31.4 | 342M| 106 | 40 | 200 | 368 | 200 | 301 | 0 |2055 |5869 |-3.028903e+01 |-1.500000e+01 | 50.48%
1085.62/1085.63 c 1086s|550000 |235830 | 17215k| 31.3 | 348M| 106 | 35 | 200 | 362 | 200 | 301 | 0 |2079 |5924 |-3.026560e+01 |-1.500000e+01 | 50.44%
1101.42/1101.47 c 1101s|560000 |239454 | 17484k| 31.2 | 353M| 106 | 57 | 200 | 360 | 200 | 301 | 0 |2104 |5964 |-3.023152e+01 |-1.500000e+01 | 50.38%
1117.22/1117.21 c 1117s|570000 |243018 | 17752k| 31.1 | 359M| 106 | 79 | 200 | 346 | 200 | 301 | 0 |2116 |6016 |-3.020041e+01 |-1.500000e+01 | 50.33%
1132.72/1132.71 c 1133s|580000 |246630 | 18015k| 31.1 | 364M| 108 | 27 | 200 | 333 | 200 | 301 | 0 |2124 |6072 |-3.018136e+01 |-1.500000e+01 | 50.30%
1148.22/1148.25 c 1148s|590000 |250264 | 18279k| 31.0 | 370M| 108 | 33 | 200 | 343 | 200 | 301 | 0 |2148 |6110 |-3.015905e+01 |-1.500000e+01 | 50.26%
1163.82/1163.87 c 1164s|600000 |253908 | 18547k| 30.9 | 375M| 108 | 48 | 200 | 340 | 200 | 301 | 0 |2165 |6151 |-3.013323e+01 |-1.500000e+01 | 50.22%
1179.42/1179.48 c 1179s|610000 |257422 | 18816k| 30.8 | 380M| 108 | 36 | 200 | 342 | 200 | 301 | 0 |2183 |6193 |-3.010967e+01 |-1.500000e+01 | 50.18%
1195.12/1195.15 c 1195s|620000 |261046 | 19086k| 30.8 | 386M| 108 | 33 | 200 | 343 | 200 | 301 | 0 |2203 |6241 |-3.008181e+01 |-1.500000e+01 | 50.14%
1210.42/1210.47 c 1210s|630000 |264544 | 19348k| 30.7 | 391M| 108 | - | 200 | 352 | 200 | 301 | 0 |2225 |6291 |-3.005687e+01 |-1.500000e+01 | 50.09%
1226.02/1226.07 c 1226s|640000 |268214 | 19617k| 30.6 | 397M| 108 | 68 | 200 | 352 | 200 | 301 | 0 |2251 |6324 |-3.003091e+01 |-1.500000e+01 | 50.05%
1241.62/1241.64 c 1242s|650000 |271830 | 19883k| 30.6 | 402M| 108 | 38 | 200 | 355 | 200 | 301 | 0 |2275 |6359 |-3.000801e+01 |-1.500000e+01 | 50.01%
1257.23/1257.27 c 1257s|660000 |275358 | 20155k| 30.5 | 408M| 108 | 54 | 200 | 367 | 200 | 301 | 0 |2308 |6391 |-2.998277e+01 |-1.500000e+01 | 49.97%
1272.62/1272.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.62/1272.69 c 1273s|670000 |278944 | 20419k| 30.5 | 413M| 108 | 33 | 200 | 368 | 200 | 301 | 0 |2333 |6433 |-2.995830e+01 |-1.500000e+01 | 49.93%
1288.02/1288.00 c 1288s|680000 |282462 | 20683k| 30.4 | 418M| 108 | 44 | 200 | 368 | 200 | 301 | 0 |2365 |6468 |-2.992985e+01 |-1.500000e+01 | 49.88%
1303.23/1303.20 c 1303s|690000 |285994 | 20943k| 30.4 | 424M| 108 | - | 200 | 367 | 200 | 301 | 0 |2391 |6513 |-2.991376e+01 |-1.500000e+01 | 49.86%
1318.72/1318.71 c 1319s|700000 |289552 | 21212k| 30.3 | 429M| 108 | 34 | 200 | 361 | 200 | 301 | 0 |2412 |6556 |-2.989140e+01 |-1.500000e+01 | 49.82%
1334.33/1334.31 c 1334s|710000 |293112 | 21482k| 30.3 | 434M| 108 | 31 | 200 | 355 | 200 | 301 | 0 |2435 |6593 |-2.987014e+01 |-1.500000e+01 | 49.78%
1349.52/1349.60 c 1350s|720000 |296666 | 21745k| 30.2 | 440M| 108 | 50 | 200 | 351 | 200 | 301 | 0 |2459 |6633 |-2.984886e+01 |-1.500000e+01 | 49.75%
1364.92/1364.98 c 1365s|730000 |300240 | 22010k| 30.1 | 445M| 108 | 66 | 200 | 347 | 200 | 301 | 0 |2475 |6667 |-2.982333e+01 |-1.500000e+01 | 49.70%
1380.13/1380.18 c 1380s|740000 |303718 | 22269k| 30.1 | 451M| 108 | 96 | 200 | 351 | 200 | 301 | 0 |2495 |6722 |-2.980478e+01 |-1.500000e+01 | 49.67%
1395.63/1395.61 c 1396s|750000 |307218 | 22540k| 30.1 | 456M| 108 | 38 | 200 | 361 | 200 | 301 | 0 |2522 |6751 |-2.978563e+01 |-1.500000e+01 | 49.64%
1411.03/1411.04 c 1411s|760000 |310684 | 22811k| 30.0 | 461M| 109 | 31 | 200 | 365 | 200 | 301 | 0 |2544 |6786 |-2.976563e+01 |-1.500000e+01 | 49.61%
1426.23/1426.22 c 1426s|770000 |314156 | 23073k| 30.0 | 466M| 109 | 32 | 200 | 369 | 200 | 301 | 0 |2563 |6830 |-2.974482e+01 |-1.500000e+01 | 49.57%
1441.13/1441.12 c 1441s|780000 |317616 | 23330k| 29.9 | 472M| 109 | - | 200 | 372 | 200 | 301 | 0 |2590 |6866 |-2.972496e+01 |-1.500000e+01 | 49.54%
1456.13/1456.17 c 1456s|790000 |321050 | 23590k| 29.9 | 477M| 109 | 48 | 200 | 378 | 200 | 301 | 0 |2609 |6912 |-2.970884e+01 |-1.500000e+01 | 49.51%
1471.23/1471.27 c 1471s|800000 |324580 | 23852k| 29.8 | 482M| 109 | 35 | 200 | 359 | 200 | 301 | 0 |2616 |6948 |-2.969091e+01 |-1.500000e+01 | 49.48%
1486.22/1486.28 c 1486s|810000 |328002 | 24113k| 29.8 | 488M| 109 | 35 | 200 | 345 | 200 | 301 | 0 |2625 |6984 |-2.966512e+01 |-1.500000e+01 | 49.44%
1501.54/1501.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1501.54/1501.53 c 1502s|820000 |331468 | 24378k| 29.7 | 493M| 109 | - | 200 | 351 | 200 | 301 | 0 |2648 |7012 |-2.964359e+01 |-1.500000e+01 | 49.40%
1516.53/1516.59 c 1517s|830000 |334990 | 24637k| 29.7 | 498M| 109 | 29 | 200 | 354 | 200 | 301 | 0 |2668 |7068 |-2.962036e+01 |-1.500000e+01 | 49.36%
1531.73/1531.72 c 1532s|840000 |338456 | 24900k| 29.6 | 504M| 109 | 34 | 200 | 363 | 200 | 301 | 0 |2697 |7100 |-2.959428e+01 |-1.500000e+01 | 49.31%
1546.83/1546.82 c 1547s|850000 |341926 | 25165k| 29.6 | 509M| 109 | 30 | 200 | 361 | 200 | 301 | 0 |2716 |7125 |-2.957401e+01 |-1.500000e+01 | 49.28%
1561.73/1561.74 c 1562s|860000 |345378 | 25423k| 29.6 | 514M| 109 | 83 | 200 | 359 | 200 | 301 | 0 |2739 |7161 |-2.955415e+01 |-1.500000e+01 | 49.25%
1576.63/1576.67 c 1577s|870000 |348806 | 25681k| 29.5 | 519M| 109 | 50 | 200 | 348 | 200 | 301 | 0 |2749 |7200 |-2.953523e+01 |-1.500000e+01 | 49.21%
1591.94/1591.90 c 1592s|880000 |352232 | 25949k| 29.5 | 525M| 109 | - | 200 | 351 | 200 | 301 | 0 |2771 |7250 |-2.952208e+01 |-1.500000e+01 | 49.19%
1606.83/1606.88 c 1607s|890000 |355702 | 26210k| 29.4 | 530M| 109 | 34 | 200 | 368 | 200 | 301 | 0 |2798 |7285 |-2.950862e+01 |-1.500000e+01 | 49.17%
1621.64/1621.68 c 1622s|900000 |359184 | 26466k| 29.4 | 535M| 109 | 41 | 200 | 364 | 200 | 301 | 0 |2815 |7318 |-2.948922e+01 |-1.500000e+01 | 49.13%
1636.44/1636.46 c 1636s|910000 |362554 | 26723k| 29.4 | 540M| 109 | 52 | 200 | 360 | 200 | 301 | 0 |2833 |7358 |-2.947533e+01 |-1.500000e+01 | 49.11%
1651.14/1651.17 c 1651s|920000 |365974 | 26979k| 29.3 | 545M| 109 | 34 | 200 | 349 | 200 | 301 | 0 |2845 |7382 |-2.946278e+01 |-1.500000e+01 | 49.09%
1665.83/1665.87 c 1666s|930000 |369328 | 27234k| 29.3 | 551M| 109 | 87 | 200 | 338 | 200 | 301 | 0 |2857 |7422 |-2.944713e+01 |-1.500000e+01 | 49.06%
1680.84/1680.83 c 1681s|940000 |372728 | 27495k| 29.2 | 556M| 109 | 33 | 200 | 350 | 200 | 301 | 0 |2880 |7458 |-2.942544e+01 |-1.500000e+01 | 49.02%
1695.53/1695.50 c 1696s|950000 |376078 | 27751k| 29.2 | 561M| 109 | 60 | 200 | 361 | 200 | 301 | 0 |2906 |7483 |-2.940309e+01 |-1.500000e+01 | 48.98%
1710.24/1710.26 c 1710s|960000 |379406 | 28010k| 29.2 | 566M| 109 | 38 | 200 | 354 | 200 | 301 | 0 |2919 |7526 |-2.938843e+01 |-1.500000e+01 | 48.96%
1725.04/1725.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1725.04/1725.03 c 1725s|970000 |382884 | 28268k| 29.1 | 571M| 109 | 38 | 200 | 350 | 200 | 301 | 0 |2939 |7553 |-2.936920e+01 |-1.500000e+01 | 48.93%
1739.64/1739.67 c 1740s|980000 |386250 | 28525k| 29.1 | 577M| 109 | - | 200 | 352 | 200 | 301 | 0 |2952 |7586 |-2.935045e+01 |-1.500000e+01 | 48.89%
1754.33/1754.34 c 1754s|990000 |389626 | 28784k| 29.1 | 582M| 109 | 24 | 200 | 356 | 200 | 301 | 0 |2970 |7605 |-2.933100e+01 |-1.500000e+01 | 48.86%
1768.94/1768.96 c 1769s| 1000k|392992 | 29036k| 29.0 | 587M| 109 | 60 | 200 | 363 | 200 | 301 | 0 |2991 |7648 |-2.930801e+01 |-1.500000e+01 | 48.82%
1783.64/1783.65 c 1784s| 1010k|396354 | 29293k| 29.0 | 592M| 109 | 42 | 200 | 359 | 200 | 301 | 0 |3007 |7670 |-2.928337e+01 |-1.500000e+01 | 48.78%
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 1018907
1797.04/1797.00 c Primal Bound : -1.50000000000000e+01 (477 solutions)
1797.04/1797.00 c Dual Bound : -2.92658122020614e+01
1797.04/1797.00 c Gap : 48.75 %
1797.04/1797.00 s SATISFIABLE
1797.04/1797.00 v x196 -x137 -x130 -x172 -x140 -x179 -x127 x159 x181 -x123 x121 -x133 -x175 -x112 x188 -x113 -x147 -x119 -x156 -x152 -x185 -x154
1797.04/1797.00 v -x142 -x136 -x126 -x186 -x105 -x171 -x117 -x144 -x163 -x106 -x149 -x124 -x110 -x102 -x193 -x177 -x169 x167 -x160 x151 x148 -x141
1797.04/1797.00 v -x139 -x135 -x134 -x109 -x104 -x200 -x145 -x115 -x166 -x161 -x107 -x129 -x158 -x153 -x183 -x187 -x114 -x164 -x197 -x101 -x198
1797.04/1797.00 v -x195 -x190 -x184 -x182 x157 -x132 -x125 -x122 x118 -x108 -x111 x192 -x116 x170 -x173 -x103 x131 -x168 -x174 -x155 -x138
1797.04/1797.00 v -x194 -x150 x180 -x143 -x128 -x146 -x178 x165 -x199 -x162 -x176 -x189 -x120 -x191 -x100 -x99 x98 -x97 -x96 x95 -x94 x93 -x92
1797.04/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 -x65
1797.04/1797.00 v -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.04/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 -x14
1797.04/1797.00 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.00
1797.04/1797.00 c solving : 1797.00
1797.04/1797.00 c presolving : 0.07 (included in solving)
1797.04/1797.00 c reading : 0.02 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3488648-1307786444.opb
1797.04/1797.00 c Variables : 3274 (3274 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 3575 initial, 3575 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3488648-1307786444.opb
1797.04/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 301 initial, 485 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 3074 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c pseudoboolean : 0.01 0 0 0 0 0 3474 200 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 709664 0 482 0 22 588 0 0 1418496
1797.04/1797.00 c knapsack : 200 1 1907232 0 0 477 43099 428 7573727 0 0 0
1797.04/1797.00 c setppc : 100 1 1900903 0 0 476 2228 0 335319 0 0 0
1797.04/1797.00 c linear : 1+ 2 1906801 0 0 476 2 555 0 0 0 0
1797.04/1797.00 c logicor : 0+ 0 414158 0 0 0 0 0 125 0 0 0
1797.04/1797.00 c countsols : 0 0 0 0 0 480 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 46.20 0.00 0.00 46.20 0.00 0.00 0.00
1797.04/1797.00 c knapsack : 22.22 0.00 22.15 0.00 0.00 0.04 0.02
1797.04/1797.00 c setppc : 1.60 0.00 1.59 0.00 0.00 0.00 0.00
1797.04/1797.00 c linear : 1.54 0.00 1.53 0.00 0.00 0.00 0.00
1797.04/1797.00 c logicor : 0.60 0.00 0.60 0.00 0.00 0.00 0.00
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.00 c vbounds : 0 0 0 0
1797.04/1797.00 c rootredcost : 6 0 0 0
1797.04/1797.00 c pseudoobj : 1915154 861 722 3788
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 0.33 0.33 0.00
1797.04/1797.00 c rootredcost : 0.33 0.33 0.00
1797.04/1797.00 c pseudoobj : 6.02 6.01 0.01
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 0.04 428 428 2579 61.3 0 0.0 -
1797.04/1797.00 c infeasible LP : 0.10 2293 2251 8147 26.5 0 0.0 0
1797.04/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.00 c applied globally : - - - 2700 14.6 - - -
1797.04/1797.00 c applied locally : - - - 318 45.4 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1797.04/1797.00 c redcost : 4.70 770949 0 109076 0 0
1797.04/1797.00 c impliedbounds : 0.00 1 0 0 0 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 0.02 1 0 0 0 0
1797.04/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.00 c strongcg : 0.01 1 0 0 0 0
1797.04/1797.00 c cmir : 0.00 1 0 0 0 0
1797.04/1797.00 c flowcover : 0.00 1 0 0 0 0
1797.04/1797.00 c clique : 0.00 1 0 0 0 0
1797.04/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.00 c mcf : 0.00 1 0 0 0 0
1797.04/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.00 c rapidlearning : 0.04 1 0 0 0 1
1797.04/1797.00 c Pricers : Time Calls Vars
1797.04/1797.00 c problem variables: 0.00 0 0
1797.04/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c relpscost : 45.82 709664 22 588 0 0 1418496
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.04/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c random : 0.00 0 0 0 0 0 0
1797.04/1797.00 c Primal Heuristics : Time Calls Found
1797.04/1797.00 c LP solutions : 0.00 - 0
1797.04/1797.00 c pseudo solutions : 0.00 - 0
1797.04/1797.00 c feaspump : 0.01 0 0
1797.04/1797.00 c oneopt : 0.22 6 0
1797.04/1797.00 c crossover : 1.27 11 5
1797.04/1797.00 c pscostdiving : 4.37 1489 0
1797.04/1797.00 c fracdiving : 4.83 1489 3
1797.04/1797.00 c veclendiving : 5.99 1489 1
1797.04/1797.00 c linesearchdiving : 4.93 1489 1
1797.04/1797.00 c guideddiving : 5.15 1489 0
1797.04/1797.00 c objpscostdiving : 7.81 745 84
1797.04/1797.00 c rootsoldiving : 4.16 745 131
1797.04/1797.00 c coefdiving : 4.35 1490 0
1797.04/1797.00 c trivial : 0.00 2 1
1797.04/1797.00 c shiftandpropagate: 0.00 0 0
1797.04/1797.00 c simplerounding : 0.17 0 0
1797.04/1797.00 c zirounding : 18.50 0 0
1797.04/1797.00 c rounding : 8.92 40981 1
1797.04/1797.00 c shifting : 22.02 48770 249
1797.04/1797.00 c intshifting : 0.01 0 0
1797.04/1797.00 c twoopt : 0.00 0 0
1797.04/1797.00 c fixandinfer : 0.00 0 0
1797.04/1797.00 c clique : 0.00 0 0
1797.04/1797.00 c intdiving : 0.00 0 0
1797.04/1797.00 c actconsdiving : 0.00 0 0
1797.04/1797.00 c octane : 0.00 0 0
1797.04/1797.00 c rens : 0.01 0 0
1797.04/1797.00 c rins : 0.00 0 0
1797.04/1797.00 c localbranching : 0.00 0 0
1797.04/1797.00 c mutation : 0.00 0 0
1797.04/1797.00 c dins : 0.00 0 0
1797.04/1797.00 c vbounds : 0.00 0 0
1797.04/1797.00 c undercover : 0.00 0 0
1797.04/1797.00 c subnlp : 0.16 0 0
1797.04/1797.00 c trysol : 0.22 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.04/1797.00 c dual LP : 1533.25 1034855 28858102 27.89 18821.55
1797.04/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.00 c diving/probing LP: 34.24 122257 669748 5.48 19561.85
1797.04/1797.00 c strong branching : 35.98 7704 370032 48.03 10283.40
1797.04/1797.00 c (at root node) : - 13 3025 232.69 -
1797.04/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.00 c B&B Tree :
1797.04/1797.00 c number of runs : 1
1797.04/1797.00 c nodes : 1018907
1797.04/1797.00 c nodes (total) : 1018907
1797.04/1797.00 c nodes left : 399319
1797.04/1797.00 c max depth : 109
1797.04/1797.00 c max depth (total): 109
1797.04/1797.00 c backtracks : 73512 (7.2%)
1797.04/1797.00 c delayed cutoffs : 0
1797.04/1797.00 c repropagations : 153 (125 domain reductions, 0 cutoffs)
1797.04/1797.00 c avg switch length: 6.20
1797.04/1797.00 c switching time : 27.44
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 477 (8 improvements)
1797.04/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1797.04/1797.00 c Primal Bound : -1.50000000000000e+01 (in run 1, after 1809 nodes, 25.66 seconds, depth 77, found by <linesearchdiving>)
1797.04/1797.00 c Dual Bound : -2.92658122020614e+01
1797.04/1797.00 c Gap : 48.75 %
1797.04/1797.00 c Root Dual Bound : -5.00000000000000e+01
1797.04/1797.00 c Root Iterations : 1236
1797.94/1797.95 c Time complete: 1797.99.
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-3488648-1307786444/watcher-3488648-1307786444 -o /tmp/evaluation-result-3488648-1307786444/solver-3488648-1307786444 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488648-1307786444.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: 1.78 1.97 1.98 3/177 22618
/proc/meminfo: memFree=31709292/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=13032 CPUtime=0 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 2249 0 0 0 0 0 0 0 21 0 1 0 890242594 13344768 2203 33554432000 4194304 9016284 140737086800112 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/22616/statm: 3258 2208 377 1178 0 2076 0
[startup+0.0379131 s]
/proc/loadavg: 1.78 1.97 1.98 3/177 22618
/proc/meminfo: memFree=31709292/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=26556 CPUtime=0.03 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 5638 0 0 0 2 1 0 0 21 0 1 0 890242594 27193344 5335 33554432000 4194304 9016284 140737086800112 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22616/statm: 6639 5374 485 1178 0 5457 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26556
[startup+0.10089 s]
/proc/loadavg: 1.78 1.97 1.98 3/177 22618
/proc/meminfo: memFree=31709292/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=31212 CPUtime=0.09 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 6905 0 0 0 8 1 0 0 18 0 1 0 890242594 31961088 6602 33554432000 4194304 9016284 140737086800112 18446744073709551615 6557315 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22616/statm: 7803 6602 574 1178 0 6621 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31212
[startup+0.300853 s]
/proc/loadavg: 1.78 1.97 1.98 3/177 22618
/proc/meminfo: memFree=31709292/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=48096 CPUtime=0.29 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 11062 0 0 0 28 1 0 0 18 0 1 0 890242594 49250304 10716 33554432000 4194304 9016284 140737086800112 18446744073709551615 4444601 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22616/statm: 12024 10716 694 1178 0 10842 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48096
[startup+0.700792 s]
/proc/loadavg: 1.78 1.97 1.98 3/177 22618
/proc/meminfo: memFree=31709292/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=45272 CPUtime=0.69 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 11342 0 0 0 68 1 0 0 18 0 1 0 890242594 46358528 10290 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22616/statm: 11318 10290 705 1178 0 10136 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45272
[startup+1.50064 s]
/proc/loadavg: 1.78 1.97 1.98 4/179 22620
/proc/meminfo: memFree=31612364/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=45272 CPUtime=1.49 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 11346 0 0 0 147 2 0 0 19 0 1 0 890242594 46358528 10294 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22616/statm: 11318 10294 709 1178 0 10136 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45272
[startup+3.10035 s]
/proc/loadavg: 1.78 1.97 1.98 4/179 22621
/proc/meminfo: memFree=31625632/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=45272 CPUtime=3.09 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 11346 0 0 0 305 4 0 0 25 0 1 0 890242594 46358528 10294 33554432000 4194304 9016284 140737086800112 18446744073709551615 7220555 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22616/statm: 11318 10294 709 1178 0 10136 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45272
[startup+6.30077 s]
/proc/loadavg: 1.80 1.97 1.98 4/179 22621
/proc/meminfo: memFree=31625044/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=45272 CPUtime=6.29 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 11346 0 0 0 623 6 0 0 25 0 1 0 890242594 46358528 10294 33554432000 4194304 9016284 140737086800112 18446744073709551615 7219239 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22616/statm: 11318 10294 709 1178 0 10136 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45272
[startup+12.7006 s]
/proc/loadavg: 1.81 1.97 1.98 4/179 22621
/proc/meminfo: memFree=31624952/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=45272 CPUtime=12.69 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 11347 0 0 0 1259 10 0 0 25 0 1 0 890242594 46358528 10295 33554432000 4194304 9016284 140737086800112 18446744073709551615 7214152 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22616/statm: 11318 10295 710 1178 0 10136 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45272
[startup+25.5003 s]
/proc/loadavg: 1.85 1.97 1.98 4/179 22630
/proc/meminfo: memFree=31624872/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=45368 CPUtime=25.49 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 11893 0 0 0 2523 26 0 0 25 0 1 0 890242594 46456832 10404 33554432000 4194304 9016284 140737086800112 18446744073709551615 7219179 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/22616/statm: 11342 10404 713 1178 0 10160 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45368
[startup+51.1006 s]
/proc/loadavg: 1.90 1.97 1.98 4/179 22631
/proc/meminfo: memFree=31624820/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=45368 CPUtime=51.08 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 15945 0 0 0 5048 60 0 0 25 0 1 0 890242594 46456832 10424 33554432000 4194304 9016284 140737086800112 18446744073709551615 7219216 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 11342 10424 714 1178 0 10160 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45368
[startup+102.306 s]
/proc/loadavg: 1.96 1.97 1.98 4/179 22632
/proc/meminfo: memFree=31608332/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=61544 CPUtime=102.29 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 23718 0 0 0 10096 133 0 0 25 0 1 0 890242594 63021056 14494 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 15386 14494 714 1178 0 14204 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 61544
[startup+162.3 s]
/proc/loadavg: 1.98 1.97 1.98 4/179 22634
/proc/meminfo: memFree=31577668/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=79176 CPUtime=162.28 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 30902 0 0 0 16005 223 0 0 25 0 1 0 890242594 81076224 18891 33554432000 4194304 9016284 140737086800112 18446744073709551615 6363068 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 19794 18891 717 1178 0 18612 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 79176
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.98 4/179 22637
/proc/meminfo: memFree=31555312/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=98996 CPUtime=222.29 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 38691 0 0 0 21908 321 0 0 25 0 1 0 890242594 101371904 23929 33554432000 4194304 9016284 140737086800112 18446744073709551615 7260648 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 24749 23929 717 1178 0 23567 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 98996
[startup+282.301 s]
/proc/loadavg: 2.03 1.99 1.99 4/179 22640
/proc/meminfo: memFree=31536452/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=118400 CPUtime=282.29 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 46339 0 0 0 27813 416 0 0 25 0 1 0 890242594 121241600 28839 33554432000 4194304 9016284 140737086800112 18446744073709551615 7219736 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 29600 28839 717 1178 0 28418 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 118400
[startup+342.301 s]
/proc/loadavg: 2.01 1.99 1.99 4/179 22642
/proc/meminfo: memFree=31516828/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=138848 CPUtime=342.3 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 50992 0 0 0 33717 513 0 0 25 0 1 0 890242594 142180352 33492 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 34712 33492 717 1178 0 33530 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 138848
[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.99 4/179 22643
/proc/meminfo: memFree=31494476/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=161076 CPUtime=402.3 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 56628 0 0 0 39618 612 0 0 25 0 1 0 890242594 164941824 39128 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 40269 39128 717 1178 0 39087 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 161076
[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.99 4/179 22645
/proc/meminfo: memFree=31474964/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=179976 CPUtime=462.3 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 61374 0 0 0 45516 714 0 0 25 0 1 0 890242594 184295424 43874 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 44994 43874 717 1178 0 43812 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 179976
[startup+522.301 s]
/proc/loadavg: 2.15 2.02 2.00 4/179 22646
/proc/meminfo: memFree=31451868/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=202648 CPUtime=522.3 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 67914 0 0 0 51415 815 0 0 25 0 1 0 890242594 207511552 49565 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 50662 49565 717 1178 0 49480 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 202648
[startup+582.301 s]
/proc/loadavg: 2.11 2.03 2.00 4/179 22648
/proc/meminfo: memFree=31432880/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=221788 CPUtime=582.3 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 72714 0 0 0 57317 913 0 0 25 0 1 0 890242594 227110912 54364 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 55447 54364 717 1178 0 54265 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 221788
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31246484/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=393940 CPUtime=1062.32 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 117709 0 0 0 104489 1743 0 0 25 0 1 0 890242594 403394560 96848 33554432000 4194304 9016284 140737086800112 18446744073709551615 7219194 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 98485 96848 717 1178 0 97303 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 393940
[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 2.01 4/179 22662
/proc/meminfo: memFree=31225256/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=411448 CPUtime=1122.31 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 122124 0 0 0 110387 1844 0 0 25 0 1 0 890242594 421322752 101263 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 102862 101263 717 1178 0 101680 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 411448
[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.00 4/179 22664
/proc/meminfo: memFree=31201412/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=432696 CPUtime=1182.32 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 127468 0 0 0 116280 1952 0 0 25 0 1 0 890242594 443080704 106607 33554432000 4194304 9016284 140737086800112 18446744073709551615 5945652 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 108174 106607 717 1178 0 106992 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 432696
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/179 22666
/proc/meminfo: memFree=31178444/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=452372 CPUtime=1242.32 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 132435 0 0 0 122176 2056 0 0 25 0 1 0 890242594 463228928 111574 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 113093 111574 717 1178 0 111911 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 452372
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/179 22667
/proc/meminfo: memFree=31148656/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=476760 CPUtime=1302.33 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 138572 0 0 0 128068 2165 0 0 25 0 1 0 890242594 488202240 117711 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 119190 117711 717 1178 0 118008 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 476760
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/179 22669
/proc/meminfo: memFree=31127040/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=494428 CPUtime=1362.32 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 143088 0 0 0 133960 2272 0 0 25 0 1 0 890242594 506294272 122227 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 123607 122227 717 1178 0 122425 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 494428
[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 2.00 4/179 22670
/proc/meminfo: memFree=31102080/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=514916 CPUtime=1422.33 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 148304 0 0 0 139851 2382 0 0 25 0 1 0 890242594 527273984 127443 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 128729 127443 717 1178 0 127547 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 514916
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/179 22672
/proc/meminfo: memFree=31078228/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=535000 CPUtime=1482.33 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 155666 0 0 0 145739 2494 0 0 25 0 1 0 890242594 547840000 132454 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 133750 132454 717 1178 0 132568 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 535000
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/179 22674
/proc/meminfo: memFree=31052532/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=559028 CPUtime=1542.33 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 161718 0 0 0 151630 2603 0 0 25 0 1 0 890242594 572444672 138506 33554432000 4194304 9016284 140737086800112 18446744073709551615 7219104 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 139757 138506 717 1178 0 138575 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 559028
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/179 22675
/proc/meminfo: memFree=31025088/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=583028 CPUtime=1602.33 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 167772 0 0 0 157521 2712 0 0 25 0 1 0 890242594 597020672 144560 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 145757 144560 717 1178 0 144575 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 583028
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 22677
/proc/meminfo: memFree=31007940/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=599328 CPUtime=1662.34 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 171898 0 0 0 163406 2828 0 0 25 0 1 0 890242594 613711872 148686 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 149832 148686 717 1178 0 148650 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 599328
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 4/179 22678
/proc/meminfo: memFree=30986572/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=618168 CPUtime=1722.33 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 176664 0 0 0 169294 2939 0 0 25 0 1 0 890242594 633004032 153452 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 154542 153452 717 1178 0 153360 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 618168
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 22680
/proc/meminfo: memFree=30959012/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=641300 CPUtime=1782.34 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 182569 0 0 0 175181 3053 0 0 25 0 1 0 890242594 656691200 159357 33554432000 4194304 9016284 140737086800112 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 160325 159357 717 1178 0 159143 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 641300
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 22680
/proc/meminfo: memFree=30958764/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=641640 CPUtime=1785.53 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 182626 0 0 0 175495 3058 0 0 25 0 1 0 890242594 657039360 159414 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 160410 159414 717 1178 0 159228 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 641640
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 22680
/proc/meminfo: memFree=30954544/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=645920 CPUtime=1791.95 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 183686 0 0 0 176123 3072 0 0 25 0 1 0 890242594 661422080 160474 33554432000 4194304 9016284 140737086800112 18446744073709551615 6699840 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 161480 160474 717 1178 0 160298 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 645920
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 22680
/proc/meminfo: memFree=30953924/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=646512 CPUtime=1795.15 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 183846 0 0 0 176437 3078 0 0 25 0 1 0 890242594 662028288 160634 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 161628 160634 717 1178 0 160446 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 646512
[startup+1796.7 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 22680
/proc/meminfo: memFree=30953180/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=647524 CPUtime=1796.74 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 184074 0 0 0 176594 3080 0 0 25 0 1 0 890242594 663064576 160862 33554432000 4194304 9016284 140737086800112 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22616/statm: 161881 160862 717 1178 0 160699 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 647524
[startup+1797.5 s]
/proc/loadavg: 2.02 2.01 2.00 2/174 22704
/proc/meminfo: memFree=31083744/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=647524 CPUtime=1797.54 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 184076 0 0 0 176672 3082 0 0 18 0 1 0 890242594 663064576 160864 33554432000 4194304 9016284 140737086800112 18446744073709551615 4898037 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22616/statm: 161881 160864 719 1178 0 160699 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 647524
[startup+1797.9 s]
/proc/loadavg: 2.02 2.01 2.00 2/174 22704
/proc/meminfo: memFree=31083744/32951124 swapFree=67063556/67111528
[pid=22616] ppid=22613 vsize=647524 CPUtime=1797.94 cores=0,2,4,6
/proc/22616/stat : 22616 (scip-2.0.1.4b_2) R 22613 22616 20281 0 -1 4202496 184076 0 0 0 176712 3082 0 0 19 0 1 0 890242594 663064576 160864 33554432000 4194304 9016284 140737086800112 18446744073709551615 4841537 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22616/statm: 161881 160864 719 1178 0 160699 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 647524
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798
CPU user time (s): 1767.15
CPU system time (s): 30.8473
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 647524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.15
system time used= 30.8473
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184081
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1367
runsolver used 3.04754 second user time and 6.68798 second system time
The end