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-3488171-1307790285.opb>
0.00/0.01 c original problem has 774 variables (774 bin, 0 int, 0 impl, 0 cont) and 994 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 3 del vars, 1 del conss, 0 add conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1542 impls, 30 clqs
0.00/0.02 c (round 2) 3 del vars, 772 del conss, 0 add conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1542 impls, 30 clqs
0.00/0.02 c (round 3) 3 del vars, 772 del conss, 0 add conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 222 upgd conss, 1542 impls, 30 clqs
0.00/0.04 c (0.0s) probing: 101/771 (13.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (4 rounds):
0.00/0.04 c 3 deleted vars, 772 deleted constraints, 0 added constraints, 3 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 1542 implications, 114 cliques
0.00/0.04 c presolved problem has 771 variables (771 bin, 0 int, 0 impl, 0 cont) and 222 constraints
0.00/0.04 c 192 constraints of type <knapsack>
0.00/0.04 c 30 constraints of type <setppc>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.5
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1797
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c 0.0s| 1 | 0 | 113 | - |3972k| 0 | 18 | 771 | 288 | 771 | 222 | 0 | 66 | 0 | 3.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 369 | - |4314k| 0 | 39 | 771 | 331 | 771 | 233 | 11 | 66 | 0 | 3.000000e+00 | -- | Inf
0.09/0.18 c 0.2s| 1 | 0 | 395 | - |4542k| 0 | 54 | 771 | 331 | 771 | 246 | 24 | 66 | 0 | 3.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 434 | - |4717k| 0 | 62 | 771 | 331 | 771 | 257 | 35 | 66 | 0 | 3.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 485 | - |4903k| 0 | 72 | 771 | 331 | 771 | 270 | 48 | 66 | 0 | 3.000000e+00 | -- | Inf
0.29/0.38 c 0.4s| 1 | 0 | 529 | - |5106k| 0 | 79 | 771 | 331 | 771 | 282 | 60 | 66 | 0 | 3.000000e+00 | -- | Inf
0.39/0.48 c 0.5s| 1 | 0 | 615 | - |5228k| 0 | 90 | 771 | 331 | 771 | 294 | 72 | 66 | 0 | 3.000000e+00 | -- | Inf
0.59/0.66 c 0.7s| 1 | 2 | 615 | - |5229k| 0 | 90 | 771 | 331 | 771 | 294 | 72 | 66 | 16 | 3.000000e+00 | -- | Inf
23.19/23.27 c 23.3s| 10000 | 367 |243307 | 24.3 |8191k| 50 | 22 | 771 |3316 | 771 | 273 | 72 |9233 |4768 | 3.000000e+00 | -- | Inf
38.59/38.61 c 38.6s| 20000 | 512 |464435 | 23.2 |9830k| 53 | 25 | 771 |5393 | 771 | 273 | 72 | 18k|6304 | 3.000000e+00 | -- | Inf
54.29/54.39 c 54.4s| 30000 | 544 |689173 | 23.0 |9729k| 62 | 20 | 771 |4098 | 771 | 273 | 72 | 27k|7667 | 3.000000e+00 | -- | Inf
67.30/67.34 c 67.3s| 40000 | 550 |875260 | 21.9 | 10M| 62 | 47 | 771 |4245 | 771 | 273 | 72 | 37k|8646 | 3.000000e+00 | -- | Inf
81.40/81.41 c 81.4s| 50000 | 616 | 1082k| 21.6 | 11M| 84 | 40 | 771 |7156 | 771 | 273 | 72 | 47k|9505 | 3.000000e+00 | -- | Inf
96.89/96.91 c 96.9s| 60000 | 636 | 1300k| 21.7 | 11M| 84 | - | 771 |6445 | 0 | 0 | 72 | 56k| 10k| 3.000000e+00 | -- | Inf
110.00/110.01 c 110s| 70000 | 635 | 1479k| 21.1 | 12M| 84 | 31 | 771 |8317 | 771 | 273 | 72 | 66k| 12k| 3.000000e+00 | -- | Inf
124.10/124.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.10/124.12 c 124s| 80000 | 611 | 1676k| 21.0 | 12M| 85 | 23 | 771 |7226 | 771 | 273 | 72 | 75k| 13k| 3.000000e+00 | -- | Inf
141.29/141.30 c 141s| 90000 | 674 | 1927k| 21.4 | 11M| 85 | - | 771 |5562 | 0 | 0 | 72 | 85k| 14k| 3.000000e+00 | -- | Inf
158.30/158.33 c 158s|100000 | 703 | 2186k| 21.9 | 12M| 85 | - | 771 |4882 | 0 | 0 | 72 | 94k| 15k| 3.000000e+00 | -- | Inf
173.80/173.82 c 174s|110000 | 796 | 2414k| 21.9 | 13M| 85 | 35 | 771 |6732 | 771 | 273 | 72 | 105k| 16k| 3.000000e+00 | -- | Inf
189.80/189.81 c 190s|120000 | 806 | 2648k| 22.1 | 14M| 85 | 11 | 771 |8484 | 771 | 273 | 72 | 113k| 17k| 3.000000e+00 | -- | Inf
205.09/205.19 c 205s|130000 | 874 | 2872k| 22.1 | 13M| 85 | - | 771 |5883 | 771 | 273 | 72 | 123k| 18k| 3.000000e+00 | -- | Inf
220.90/220.98 c 221s|140000 | 968 | 3097k| 22.1 | 14M| 85 | 26 | 771 |6845 | 771 | 273 | 72 | 133k| 18k| 3.000000e+00 | -- | Inf
237.60/237.63 c 238s|150000 | 992 | 3335k| 22.2 | 14M| 85 | 36 | 771 |6262 | 771 | 273 | 72 | 144k| 19k| 3.000000e+00 | -- | Inf
248.20/248.23 c 248s|160000 | 1001 | 3483k| 21.8 | 14M| 85 | - | 771 |6775 | 0 | 0 | 72 | 152k| 19k| 3.000000e+00 | -- | Inf
265.89/265.96 c 266s|170000 | 1060 | 3760k| 22.1 | 15M| 85 | 31 | 771 |6374 | 771 | 273 | 72 | 163k| 19k| 3.000000e+00 | -- | Inf
284.30/284.33 c 284s|180000 | 1081 | 4044k| 22.5 | 15M| 85 | 43 | 771 |7139 | 771 | 273 | 72 | 172k| 20k| 3.000000e+00 | -- | Inf
301.00/301.08 c 301s|190000 | 1100 | 4304k| 22.7 | 15M| 85 | - | 771 |6848 | 771 | 273 | 72 | 181k| 21k| 3.000000e+00 | -- | Inf
315.30/315.32 c 315s|200000 | 1114 | 4512k| 22.6 | 16M| 85 | - | 771 |8717 | 771 | 273 | 72 | 190k| 22k| 3.000000e+00 | -- | Inf
325.40/325.45 c 325s|210000 | 1208 | 4648k| 22.1 | 17M| 85 | 2 | 771 | 11k| 771 | 273 | 72 | 198k| 22k| 3.000000e+00 | -- | Inf
334.60/334.67 c 335s|220000 | 1191 | 4759k| 21.6 | 18M| 85 | - | 771 | 12k| 771 | 273 | 72 | 205k| 23k| 3.000000e+00 | -- | Inf
344.00/344.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
344.00/344.00 c 344s|230000 | 1173 | 4879k| 21.2 | 18M| 85 | 30 | 771 | 12k| 771 | 273 | 72 | 213k| 23k| 3.000000e+00 | -- | Inf
353.40/353.42 c 353s|240000 | 1140 | 4998k| 20.8 | 18M| 85 | - | 771 | 12k| 771 | 273 | 72 | 220k| 24k| 3.000000e+00 | -- | Inf
365.21/365.26 c 365s|250000 | 1191 | 5165k| 20.7 | 19M| 85 | - | 771 | 14k| 771 | 273 | 72 | 229k| 24k| 3.000000e+00 | -- | Inf
379.60/379.60 c 380s|260000 | 1227 | 5389k| 20.7 | 20M| 85 | - | 771 | 16k| 0 | 0 | 72 | 237k| 24k| 3.000000e+00 | -- | Inf
393.30/393.39 c 393s|270000 | 1111 | 5592k| 20.7 | 19M| 85 | 31 | 771 | 15k| 771 | 273 | 72 | 245k| 25k| 3.000000e+00 | -- | Inf
404.00/404.09 c 404s|280000 | 1109 | 5714k| 20.4 | 20M| 85 | - | 771 | 17k| 771 | 273 | 72 | 253k| 26k| 3.000000e+00 | -- | Inf
420.50/420.51 c 421s|290000 | 1157 | 5943k| 20.5 | 17M| 85 | 33 | 771 |8275 | 771 | 273 | 72 | 262k| 27k| 3.000000e+00 | -- | Inf
438.00/438.06 c 438s|300000 | 1120 | 6224k| 20.7 | 16M| 85 | 39 | 771 |6488 | 771 | 273 | 72 | 271k| 27k| 3.000000e+00 | -- | Inf
453.61/453.68 c 454s|310000 | 1133 | 6462k| 20.8 | 17M| 85 | - | 771 |9547 | 0 | 0 | 72 | 280k| 28k| 3.000000e+00 | -- | Inf
471.00/471.03 c 471s|320000 | 1165 | 6722k| 21.0 | 16M| 87 | 21 | 771 |7333 | 771 | 273 | 72 | 290k| 28k| 3.000000e+00 | -- | Inf
488.00/488.04 c 488s|330000 | 1198 | 6991k| 21.2 | 17M| 87 | - | 771 |8257 | 0 | 0 | 72 | 299k| 29k| 3.000000e+00 | -- | Inf
504.10/504.15 c 504s|340000 | 1307 | 7229k| 21.3 | 18M| 87 | 32 | 771 |8013 | 771 | 273 | 72 | 308k| 29k| 3.000000e+00 | -- | Inf
519.81/519.83 c 520s|350000 | 1286 | 7475k| 21.4 | 18M| 87 | 22 | 771 |7699 | 771 | 273 | 72 | 318k| 30k| 3.000000e+00 | -- | Inf
533.30/533.40 c 533s|360000 | 1328 | 7699k| 21.4 | 19M| 87 | 15 | 771 |9961 | 771 | 273 | 72 | 325k| 30k| 3.000000e+00 | -- | Inf
545.51/545.54 c 546s|370000 | 1326 | 7900k| 21.4 | 19M| 87 | - | 771 | 10k| 771 | 273 | 72 | 330k| 30k| 3.000000e+00 | -- | Inf
559.01/559.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.01/559.08 c 559s|380000 | 1298 | 8126k| 21.4 | 19M| 87 | - | 771 | 10k| 771 | 273 | 72 | 335k| 31k| 3.000000e+00 | -- | Inf
576.21/576.28 c 576s|390000 | 1408 | 8382k| 21.5 | 19M| 87 | - | 771 |9478 | 0 | 0 | 72 | 346k| 31k| 3.000000e+00 | -- | Inf
592.01/592.07 c 592s|400000 | 1532 | 8591k| 21.5 | 21M| 87 | - | 771 | 11k| 771 | 273 | 72 | 358k| 32k| 3.000000e+00 | -- | Inf
604.60/604.61 c 605s|410000 | 1553 | 8768k| 21.4 | 21M| 87 | - | 771 | 12k| 0 | 0 | 72 | 367k| 32k| 3.000000e+00 | -- | Inf
622.81/622.89 c 623s|420000 | 1558 | 9045k| 21.5 | 19M| 87 | - | 771 |7004 | 771 | 273 | 72 | 377k| 33k| 3.000000e+00 | -- | Inf
643.52/643.53 c 644s|430000 | 1649 | 9391k| 21.8 | 20M| 87 | 32 | 771 |8017 | 771 | 273 | 72 | 384k| 33k| 3.000000e+00 | -- | Inf
659.00/659.09 c 659s|440000 | 1581 | 9623k| 21.9 | 19M| 87 | 25 | 771 |6917 | 771 | 273 | 72 | 395k| 34k| 3.000000e+00 | -- | Inf
673.31/673.32 c 673s|450000 | 1617 | 9849k| 21.9 | 21M| 87 | - | 771 | 10k| 0 | 0 | 72 | 404k| 34k| 3.000000e+00 | -- | Inf
683.41/683.49 c 683s|460000 | 1632 | 9979k| 21.7 | 22M| 87 | - | 771 | 12k| 0 | 0 | 72 | 413k| 34k| 3.000000e+00 | -- | Inf
694.02/694.06 c 694s|470000 | 1582 | 10127k| 21.5 | 21M| 87 | - | 771 | 10k| 0 | 0 | 72 | 420k| 34k| 3.000000e+00 | -- | Inf
707.51/707.57 c 708s|480000 | 1633 | 10336k| 21.5 | 20M| 87 | 24 | 771 |8376 | 771 | 273 | 72 | 428k| 35k| 3.000000e+00 | -- | Inf
721.41/721.49 c 721s|490000 | 1633 | 10549k| 21.5 | 20M| 87 | 19 | 771 |8199 | 771 | 273 | 72 | 436k| 35k| 3.000000e+00 | -- | Inf
733.41/733.47 c 733s|500000 | 1641 | 10759k| 21.5 | 21M| 87 | - | 771 |9704 | 771 | 273 | 72 | 442k| 35k| 3.000000e+00 | -- | Inf
746.71/746.70 c 747s|510000 | 1668 | 10975k| 21.5 | 21M| 87 | 32 | 771 |9248 | 771 | 273 | 72 | 447k| 36k| 3.000000e+00 | -- | Inf
758.81/758.82 c 759s|520000 | 1637 | 11178k| 21.5 | 21M| 87 | - | 771 |9242 | 0 | 0 | 72 | 453k| 36k| 3.000000e+00 | -- | Inf
772.22/772.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.22/772.28 c 772s|530000 | 1618 | 11403k| 21.5 | 21M| 87 | - | 771 | 11k| 771 | 273 | 72 | 459k| 36k| 3.000000e+00 | -- | Inf
784.11/784.13 c 784s|540000 | 1611 | 11597k| 21.5 | 21M| 87 | - | 771 | 11k| 771 | 273 | 72 | 465k| 37k| 3.000000e+00 | -- | Inf
795.91/795.94 c 796s|550000 | 1637 | 11791k| 21.4 | 22M| 87 | - | 771 | 12k| 0 | 0 | 72 | 470k| 37k| 3.000000e+00 | -- | Inf
808.91/808.91 c 809s|560000 | 1636 | 11989k| 21.4 | 22M| 87 | - | 771 | 13k| 0 | 0 | 72 | 477k| 37k| 3.000000e+00 | -- | Inf
821.21/821.23 c 821s|570000 | 1660 | 12183k| 21.4 | 23M| 87 | - | 771 | 14k| 0 | 0 | 72 | 483k| 37k| 3.000000e+00 | -- | Inf
834.22/834.26 c 834s|580000 | 1650 | 12390k| 21.4 | 23M| 87 | 26 | 771 | 15k| 771 | 273 | 72 | 488k| 38k| 3.000000e+00 | -- | Inf
848.92/848.94 c 849s|590000 | 1565 | 12617k| 21.4 | 22M| 87 | 6 | 771 | 12k| 771 | 273 | 72 | 495k| 38k| 3.000000e+00 | -- | Inf
862.72/862.77 c 863s|600000 | 1600 | 12839k| 21.4 | 22M| 87 | 28 | 771 | 12k| 771 | 273 | 72 | 502k| 39k| 3.000000e+00 | -- | Inf
877.62/877.62 c 878s|610000 | 1580 | 13072k| 21.4 | 22M| 87 | 24 | 771 | 12k| 771 | 273 | 72 | 509k| 39k| 3.000000e+00 | -- | Inf
893.12/893.12 c 893s|620000 | 1581 | 13319k| 21.5 | 22M| 87 | - | 771 | 13k| 0 | 0 | 72 | 516k| 39k| 3.000000e+00 | -- | Inf
910.21/910.25 c 910s|630000 | 1561 | 13578k| 21.6 | 21M| 87 | - | 771 |9144 | 771 | 273 | 72 | 525k| 40k| 3.000000e+00 | -- | Inf
921.92/921.90 c 922s|640000 | 1574 | 13749k| 21.5 | 21M| 87 | 21 | 771 | 10k| 771 | 273 | 72 | 534k| 40k| 3.000000e+00 | -- | Inf
934.21/934.26 c 934s|650000 | 1637 | 13938k| 21.4 | 22M| 87 | - | 771 | 12k| 771 | 273 | 72 | 540k| 40k| 3.000000e+00 | -- | Inf
948.13/948.16 c 948s|660000 | 1696 | 14149k| 21.4 | 23M| 87 | - | 771 | 12k| 771 | 273 | 72 | 548k| 40k| 3.000000e+00 | -- | Inf
961.22/961.28 c 961s|670000 | 1654 | 14344k| 21.4 | 23M| 87 | 18 | 771 | 12k| 771 | 273 | 72 | 554k| 41k| 3.000000e+00 | -- | Inf
974.91/974.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.91/974.92 c 975s|680000 | 1736 | 14548k| 21.4 | 23M| 87 | 34 | 771 | 13k| 771 | 273 | 72 | 560k| 41k| 3.000000e+00 | -- | Inf
987.01/987.01 c 987s|690000 | 1794 | 14720k| 21.3 | 24M| 87 | - | 771 | 14k| 771 | 273 | 72 | 567k| 41k| 3.000000e+00 | -- | Inf
1000.52/1000.52 c 1001s|700000 | 1710 | 14924k| 21.3 | 23M| 87 | 16 | 771 | 13k| 771 | 273 | 72 | 573k| 42k| 3.000000e+00 | -- | Inf
1015.42/1015.45 c 1015s|710000 | 1615 | 15141k| 21.3 | 23M| 87 | 35 | 771 | 12k| 771 | 273 | 72 | 580k| 42k| 3.000000e+00 | -- | Inf
1030.62/1030.61 c 1031s|720000 | 1568 | 15360k| 21.3 | 22M| 87 | - | 771 | 10k| 0 | 0 | 72 | 590k| 43k| 3.000000e+00 | -- | Inf
1046.02/1046.09 c 1046s|730000 | 1535 | 15602k| 21.4 | 21M| 87 | - | 771 |8345 | 0 | 0 | 72 | 599k| 43k| 3.000000e+00 | -- | Inf
1061.82/1061.88 c 1062s|740000 | 1512 | 15848k| 21.4 | 20M| 87 | - | 771 |6866 | 771 | 273 | 72 | 607k| 43k| 3.000000e+00 | -- | Inf
1075.12/1075.15 c 1075s|750000 | 1505 | 16047k| 21.4 | 21M| 87 | - | 771 |9406 | 0 | 0 | 72 | 617k| 44k| 3.000000e+00 | -- | Inf
1090.62/1090.67 c 1091s|760000 | 1532 | 16283k| 21.4 | 21M| 87 | 36 | 771 |8288 | 771 | 273 | 72 | 628k| 44k| 3.000000e+00 | -- | Inf
1107.63/1107.62 c 1108s|770000 | 1552 | 16560k| 21.5 | 21M| 87 | - | 771 |9812 | 771 | 273 | 72 | 636k| 44k| 3.000000e+00 | -- | Inf
1121.62/1121.64 c 1122s|780000 | 1714 | 16791k| 21.5 | 22M| 87 | - | 771 | 10k| 0 | 0 | 72 | 644k| 44k| 3.000000e+00 | -- | Inf
1133.72/1133.77 c 1134s|790000 | 1517 | 16960k| 21.5 | 22M| 87 | - | 771 | 11k| 0 | 0 | 72 | 654k| 45k| 3.000000e+00 | -- | Inf
1149.53/1149.57 c 1150s|800000 | 1517 | 17191k| 21.5 | 21M| 87 | 16 | 771 |9905 | 771 | 273 | 72 | 664k| 45k| 3.000000e+00 | -- | Inf
1162.23/1162.27 c 1162s|810000 | 1517 | 17404k| 21.5 | 23M| 87 | 37 | 771 | 12k| 771 | 273 | 72 | 671k| 45k| 3.000000e+00 | -- | Inf
1175.42/1175.43 c 1175s|820000 | 1542 | 17610k| 21.5 | 23M| 87 | - | 771 | 14k| 771 | 273 | 72 | 676k| 46k| 3.000000e+00 | -- | Inf
1189.13/1189.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1189.13/1189.14 c 1189s|830000 | 1537 | 17826k| 21.5 | 23M| 87 | 24 | 771 | 15k| 771 | 273 | 72 | 683k| 46k| 3.000000e+00 | -- | Inf
1206.32/1206.38 c 1206s|840000 | 1529 | 18115k| 21.6 | 24M| 87 | - | 771 | 15k| 0 | 0 | 72 | 690k| 46k| 3.000000e+00 | -- | Inf
1221.72/1221.75 c 1222s|850000 | 1570 | 18362k| 21.6 | 24M| 87 | 23 | 771 | 15k| 771 | 273 | 72 | 697k| 46k| 3.000000e+00 | -- | Inf
1236.13/1236.16 c 1236s|860000 | 1585 | 18591k| 21.6 | 24M| 87 | 15 | 771 | 16k| 771 | 273 | 72 | 704k| 47k| 3.000000e+00 | -- | Inf
1247.44/1247.49 c 1247s|870000 | 1565 | 18747k| 21.5 | 25M| 87 | 26 | 771 | 17k| 771 | 273 | 72 | 711k| 47k| 3.000000e+00 | -- | Inf
1264.73/1264.75 c 1265s|880000 | 1547 | 19001k| 21.6 | 23M| 87 | - | 771 | 12k| 771 | 273 | 72 | 719k| 47k| 3.000000e+00 | -- | Inf
1278.43/1278.49 c 1278s|890000 | 1614 | 19221k| 21.6 | 23M| 87 | 18 | 771 | 12k| 771 | 273 | 72 | 728k| 47k| 3.000000e+00 | -- | Inf
1288.83/1288.84 c 1289s|900000 | 1618 | 19344k| 21.5 | 25M| 87 | - | 771 | 16k| 0 | 0 | 72 | 741k| 47k| 3.000000e+00 | -- | Inf
1301.02/1301.00 c 1301s|910000 | 1591 | 19512k| 21.4 | 25M| 87 | 36 | 771 | 17k| 771 | 273 | 72 | 750k| 48k| 3.000000e+00 | -- | Inf
1313.13/1313.17 c 1313s|920000 | 1620 | 19663k| 21.4 | 26M| 87 | 40 | 771 | 19k| 771 | 273 | 72 | 763k| 48k| 3.000000e+00 | -- | Inf
1325.12/1325.11 c 1325s|930000 | 1583 | 19809k| 21.3 | 26M| 87 | 17 | 771 | 18k| 771 | 273 | 72 | 775k| 48k| 3.000000e+00 | -- | Inf
1337.63/1337.63 c 1338s|940000 | 1624 | 19986k| 21.3 | 26M| 87 | - | 771 | 17k| 0 | 0 | 72 | 783k| 48k| 3.000000e+00 | -- | Inf
1350.43/1350.44 c 1350s|950000 | 1693 | 20170k| 21.2 | 26M| 87 | - | 771 | 18k| 0 | 0 | 72 | 792k| 49k| 3.000000e+00 | -- | Inf
1364.13/1364.12 c 1364s|960000 | 1761 | 20372k| 21.2 | 27M| 87 | - | 771 | 18k| 0 | 0 | 72 | 800k| 49k| 3.000000e+00 | -- | Inf
1377.83/1377.86 c 1378s|970000 | 1698 | 20571k| 21.2 | 26M| 87 | - | 771 | 18k| 771 | 273 | 72 | 809k| 49k| 3.000000e+00 | -- | Inf
1390.72/1390.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.72/1390.75 c 1391s|980000 | 1741 | 20754k| 21.2 | 27M| 87 | 14 | 771 | 19k| 771 | 273 | 72 | 816k| 49k| 3.000000e+00 | -- | Inf
1403.73/1403.77 c 1404s|990000 | 1702 | 20956k| 21.2 | 27M| 87 | 21 | 771 | 18k| 771 | 273 | 72 | 822k| 49k| 3.000000e+00 | -- | Inf
1417.13/1417.18 c 1417s| 1000k| 1608 | 21161k| 21.2 | 26M| 87 | 32 | 771 | 18k| 771 | 273 | 72 | 829k| 50k| 3.000000e+00 | -- | Inf
1429.53/1429.54 c 1430s| 1010k| 1608 | 21340k| 21.1 | 26M| 87 | 30 | 771 | 18k| 771 | 273 | 72 | 837k| 50k| 3.000000e+00 | -- | Inf
1445.13/1445.13 c 1445s| 1020k| 1598 | 21572k| 21.1 | 23M| 87 | - | 771 | 10k| 771 | 273 | 72 | 845k| 50k| 3.000000e+00 | -- | Inf
1464.23/1464.26 c 1464s| 1030k| 1767 | 21881k| 21.2 | 24M| 87 | - | 771 | 10k| 771 | 273 | 72 | 853k| 50k| 3.000000e+00 | -- | Inf
1481.63/1481.67 c 1482s| 1040k| 1853 | 22151k| 21.3 | 25M| 87 | 39 | 771 | 11k| 771 | 273 | 72 | 863k| 51k| 3.000000e+00 | -- | Inf
1498.64/1498.68 c 1499s| 1050k| 1856 | 22422k| 21.4 | 25M| 87 | 43 | 771 | 11k| 771 | 273 | 72 | 871k| 51k| 3.000000e+00 | -- | Inf
1519.04/1519.02 c 1519s| 1060k| 1828 | 22739k| 21.5 | 25M| 87 | 50 | 771 | 11k| 771 | 273 | 72 | 880k| 51k| 3.000000e+00 | -- | Inf
1537.73/1537.79 c 1538s| 1070k| 1912 | 23037k| 21.5 | 26M| 87 | - | 771 | 12k| 771 | 273 | 72 | 888k| 51k| 3.000000e+00 | -- | Inf
1558.33/1558.36 c 1558s| 1080k| 1929 | 23366k| 21.6 | 27M| 87 | 17 | 771 | 14k| 771 | 273 | 72 | 896k| 52k| 3.000000e+00 | -- | Inf
1571.64/1571.65 c 1572s| 1090k| 1957 | 23550k| 21.6 | 27M| 87 | 27 | 771 | 15k| 771 | 273 | 72 | 905k| 52k| 3.000000e+00 | -- | Inf
1586.33/1586.31 c 1586s| 1100k| 2015 | 23760k| 21.6 | 28M| 87 | 20 | 771 | 17k| 771 | 273 | 72 | 915k| 52k| 3.000000e+00 | -- | Inf
1605.23/1605.23 c 1605s| 1110k| 1954 | 24055k| 21.7 | 28M| 87 | 44 | 771 | 16k| 771 | 273 | 72 | 923k| 52k| 3.000000e+00 | -- | Inf
1622.13/1622.13 c 1622s| 1120k| 1913 | 24320k| 21.7 | 27M| 87 | 38 | 771 | 15k| 771 | 273 | 72 | 931k| 53k| 3.000000e+00 | -- | Inf
1638.64/1638.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1638.64/1638.64 c 1639s| 1130k| 1882 | 24558k| 21.7 | 26M| 87 | - | 771 | 12k| 771 | 273 | 72 | 940k| 53k| 3.000000e+00 | -- | Inf
1658.44/1658.44 c 1658s| 1140k| 1917 | 24879k| 21.8 | 25M| 87 | 10 | 771 | 11k| 771 | 273 | 72 | 948k| 53k| 3.000000e+00 | -- | Inf
1673.53/1673.50 c 1674s| 1150k| 1868 | 25113k| 21.8 | 25M| 87 | - | 771 |9362 | 771 | 273 | 72 | 956k| 53k| 3.000000e+00 | -- | Inf
1692.33/1692.31 c 1692s| 1160k| 1860 | 25433k| 21.9 | 25M| 87 | 18 | 771 | 10k| 771 | 273 | 72 | 964k| 54k| 3.000000e+00 | -- | Inf
1712.84/1712.80 c 1713s| 1170k| 1829 | 25764k| 22.0 | 24M| 87 | 34 | 771 |8959 | 771 | 273 | 72 | 971k| 54k| 3.000000e+00 | -- | Inf
1729.64/1729.65 c 1730s| 1180k| 1883 | 26032k| 22.1 | 25M| 87 | 13 | 771 | 10k| 771 | 273 | 72 | 979k| 54k| 3.000000e+00 | -- | Inf
1742.24/1742.24 c 1742s| 1190k| 1912 | 26222k| 22.0 | 26M| 87 | - | 771 | 12k| 771 | 273 | 72 | 988k| 54k| 3.000000e+00 | -- | Inf
1759.54/1759.55 c 1760s| 1200k| 1933 | 26483k| 22.1 | 25M| 87 | - | 771 |9699 | 771 | 273 | 72 | 997k| 55k| 3.000000e+00 | -- | Inf
1777.34/1777.30 c 1777s| 1210k| 1924 | 26782k| 22.1 | 26M| 87 | 21 | 771 | 10k| 771 | 273 | 72 |1004k| 55k| 3.000000e+00 | -- | Inf
1793.74/1793.70 c 1794s| 1220k| 2054 | 27043k| 22.2 | 26M| 87 | 40 | 771 | 11k| 771 | 273 | 72 |1013k| 55k| 3.000000e+00 | -- | Inf
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 : 1221877
1797.04/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.04/1797.00 c Dual Bound : +3.00000000000000e+00
1797.04/1797.00 c Gap : infinite
1797.04/1797.00 s UNKNOWN
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.03 (included in solving)
1797.04/1797.00 c reading : 0.01 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3488171-1307790285.opb
1797.04/1797.00 c Variables : 774 (774 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 994 initial, 994 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3488171-1307790285.opb
1797.04/1797.00 c Variables : 771 (771 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 222 initial, 20566 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 0 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 3 0 0 3 0 772 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 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 669822 0 4 0 394 29672 0 0 1305222
1797.04/1797.00 c knapsack : 192 6 4039386 0 3 3 20130999 93236 49207683 1191 0 0
1797.04/1797.00 c setppc : 30 6 3946150 0 3 2 3894860 108992 4547028 0 0 0
1797.04/1797.00 c linear : 0+ 6 11804 0 0 0 2 0 1 0 0 0
1797.04/1797.00 c logicor : 0+ 6 1961506 0 0 0 2484240 64974 1339732 0 0 0
1797.04/1797.00 c countsols : 0 0 0 0 2 0 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 : 83.02 0.00 0.00 83.02 0.00 0.00 0.00
1797.04/1797.00 c knapsack : 70.07 0.01 62.32 0.00 0.00 0.00 7.75
1797.04/1797.00 c setppc : 19.99 0.00 18.41 0.00 0.00 0.00 1.58
1797.04/1797.00 c linear : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1797.04/1797.00 c logicor : 79.93 0.00 77.13 0.00 0.00 0.00 2.79
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 : 0 0 0 0
1797.04/1797.00 c pseudoobj : 0 0 0 0
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 0.57 0.57 0.00
1797.04/1797.00 c rootredcost : 0.60 0.60 0.00
1797.04/1797.00 c pseudoobj : 0.41 0.41 0.00
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 17.72 255040 254639 2216582 43.1 7931 30.2 -
1797.04/1797.00 c infeasible LP : 64.91 369384 116191 1400584 62.9 1164 33.8 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 : - - - 1015228 34.5 - - -
1797.04/1797.00 c applied locally : - - - 155 105.1 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 0.00 5 - - 462 - (maximal pool size: 878)
1797.04/1797.00 c redcost : 7.76 668819 0 0 0 0
1797.04/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 0.08 6 0 0 16 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.07 6 0 0 15 0
1797.04/1797.00 c cmir : 0.08 6 0 0 759 0
1797.04/1797.00 c flowcover : 0.11 6 0 0 1166 0
1797.04/1797.00 c clique : 0.00 6 0 0 1 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 43
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 : 82.61 669822 394 29672 0 0 1305222
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 2 0 0 0 0 4
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 oneopt : 0.32 0 0
1797.04/1797.00 c crossover : 0.23 0 0
1797.04/1797.00 c guideddiving : 0.03 0 0
1797.04/1797.00 c intshifting : 0.01 0 0
1797.04/1797.00 c linesearchdiving : 0.08 24 0
1797.04/1797.00 c veclendiving : 0.07 24 0
1797.04/1797.00 c fracdiving : 0.09 24 0
1797.04/1797.00 c feaspump : 0.17 12 0
1797.04/1797.00 c coefdiving : 0.09 25 0
1797.04/1797.00 c pscostdiving : 0.10 25 0
1797.04/1797.00 c objpscostdiving : 0.06 13 0
1797.04/1797.00 c rootsoldiving : 0.10 13 0
1797.04/1797.00 c trivial : 0.00 2 0
1797.04/1797.00 c shiftandpropagate: 0.00 1 0
1797.04/1797.00 c simplerounding : 0.13 0 0
1797.04/1797.00 c zirounding : 7.95 0 0
1797.04/1797.00 c rounding : 0.56 11546 0
1797.04/1797.00 c shifting : 2.11 3624 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.04 1 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.20 0 0
1797.04/1797.00 c trysol : 0.23 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 : 1234.60 1036249 27084476 26.14 21937.81
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: 0.41 813 8674 10.67 21090.31
1797.04/1797.00 c strong branching : 74.97 55485 1414876 25.50 18873.22
1797.04/1797.00 c (at root node) : - 16 2318 144.88 -
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 : 1221877
1797.04/1797.00 c nodes (total) : 1221877
1797.04/1797.00 c nodes left : 2055
1797.04/1797.00 c max depth : 87
1797.04/1797.00 c max depth (total): 87
1797.04/1797.00 c backtracks : 243175 (19.9%)
1797.04/1797.00 c delayed cutoffs : 81295
1797.04/1797.00 c repropagations : 874233 (10300255 domain reductions, 67369 cutoffs)
1797.04/1797.00 c avg switch length: 3.81
1797.04/1797.00 c switching time : 120.24
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 0 (0 improvements)
1797.04/1797.00 c Primal Bound : -
1797.04/1797.00 c Dual Bound : +3.00000000000000e+00
1797.04/1797.00 c Gap : infinite
1797.04/1797.00 c Root Dual Bound : +3.00000000000000e+00
1797.04/1797.00 c Root Iterations : 615
1797.04/1797.03 c Time complete: 1797.07.
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-3488171-1307790285/watcher-3488171-1307790285 -o /tmp/evaluation-result-3488171-1307790285/solver-3488171-1307790285 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488171-1307790285.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.01 1.97 2/177 26461
/proc/meminfo: memFree=31346508/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=12692 CPUtime=0 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 2161 0 0 0 0 0 0 0 25 0 1 0 890628230 12996608 2116 33554432000 4194304 9016284 140735658093984 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26461/statm: 3173 2116 360 1178 0 1991 0
[startup+0.014028 s]
/proc/loadavg: 2.05 2.01 1.97 2/177 26461
/proc/meminfo: memFree=31346508/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=15280 CPUtime=0 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 2624 0 0 0 0 0 0 0 25 0 1 0 890628230 15646720 2579 33554432000 4194304 9016284 140735658093984 18446744073709551615 7870589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 3820 2606 398 1178 0 2638 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15280
[startup+0.101073 s]
/proc/loadavg: 2.05 2.01 1.97 2/177 26461
/proc/meminfo: memFree=31346508/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=32964 CPUtime=0.09 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 7616 0 0 0 8 1 0 0 25 0 1 0 890628230 33755136 7282 33554432000 4194304 9016284 140735658093984 18446744073709551615 4447118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 8241 7282 692 1178 0 7059 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32964
[startup+0.30104 s]
/proc/loadavg: 2.05 2.01 1.97 2/177 26461
/proc/meminfo: memFree=31346508/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=40028 CPUtime=0.29 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 9809 0 0 0 28 1 0 0 25 0 1 0 890628230 40988672 8760 33554432000 4194304 9016284 140735658093984 18446744073709551615 4243807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 10007 8760 706 1178 0 8825 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40028
[startup+0.700965 s]
/proc/loadavg: 2.05 2.01 1.97 2/177 26461
/proc/meminfo: memFree=31346508/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=42640 CPUtime=0.69 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 10475 0 0 0 67 2 0 0 25 0 1 0 890628230 43663360 9424 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 10660 9424 708 1178 0 9478 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42640
[startup+1.50076 s]
/proc/loadavg: 2.04 2.01 1.97 3/178 26462
/proc/meminfo: memFree=31311060/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=42640 CPUtime=1.49 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 10475 0 0 0 141 8 0 0 25 0 1 0 890628230 43663360 9424 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 10660 9424 708 1178 0 9478 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42640
[startup+3.10048 s]
/proc/loadavg: 2.04 2.01 1.97 3/178 26462
/proc/meminfo: memFree=31310824/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=42640 CPUtime=3.09 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 10477 0 0 0 293 16 0 0 25 0 1 0 890628230 43663360 9426 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 10660 9426 710 1178 0 9478 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42640
[startup+6.30098 s]
/proc/loadavg: 2.04 2.01 1.97 3/178 26462
/proc/meminfo: memFree=31310320/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=42640 CPUtime=6.29 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 10477 0 0 0 594 35 0 0 25 0 1 0 890628230 43663360 9426 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 10660 9426 710 1178 0 9478 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42640
[startup+12.7008 s]
/proc/loadavg: 2.04 2.01 1.97 3/178 26462
/proc/meminfo: memFree=31310328/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=42640 CPUtime=12.69 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 10478 0 0 0 1199 70 0 0 25 0 1 0 890628230 43663360 9427 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 10660 9427 711 1178 0 9478 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42640
[startup+25.5005 s]
/proc/loadavg: 2.03 2.01 1.97 3/178 26462
/proc/meminfo: memFree=31310532/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=42640 CPUtime=25.49 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 10535 0 0 0 2409 140 0 0 25 0 1 0 890628230 43663360 9484 33554432000 4194304 9016284 140735658093984 18446744073709551615 6422534 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 10660 9484 711 1178 0 9478 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42640
[startup+51.101 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 26463
/proc/meminfo: memFree=31299944/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=42640 CPUtime=51.09 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 10550 0 0 0 4827 282 0 0 25 0 1 0 890628230 43663360 9499 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 10660 9499 711 1178 0 9478 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 42640
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 26464
/proc/meminfo: memFree=31297356/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=43028 CPUtime=102.3 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 10874 0 0 0 9618 612 0 0 25 0 1 0 890628230 44060672 9823 33554432000 4194304 9016284 140735658093984 18446744073709551615 4926167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 10757 9823 711 1178 0 9575 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 43028
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 26466
/proc/meminfo: memFree=31294332/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=46084 CPUtime=162.3 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 11626 0 0 0 15228 1002 0 0 25 0 1 0 890628230 47190016 10575 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 11521 10575 711 1178 0 10339 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 46084
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 26468
/proc/meminfo: memFree=31288588/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=49588 CPUtime=222.3 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 12487 0 0 0 20909 1321 0 0 25 0 1 0 890628230 50778112 11436 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 12397 11436 711 1178 0 11215 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 49588
[startup+282.301 s]
/proc/loadavg: 2.03 2.01 1.98 3/178 26469
/proc/meminfo: memFree=31285680/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=52516 CPUtime=282.3 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 13250 0 0 0 26540 1690 0 0 25 0 1 0 890628230 53776384 12199 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 13129 12199 711 1178 0 11947 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 52516
[startup+342.301 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 26471
/proc/meminfo: memFree=31274596/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=55992 CPUtime=342.3 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 14079 0 0 0 32176 2054 0 0 25 0 1 0 890628230 57335808 13028 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 13998 13028 711 1178 0 12816 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 55992
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 26472
/proc/meminfo: memFree=31272176/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=58556 CPUtime=402.31 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 14768 0 0 0 37880 2351 0 0 25 0 1 0 890628230 59961344 13716 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 14639 13716 711 1178 0 13457 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 58556
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 26474
/proc/meminfo: memFree=31256152/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=60252 CPUtime=462.31 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 15157 0 0 0 43584 2647 0 0 25 0 1 0 890628230 61698048 14105 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 15063 14105 711 1178 0 13881 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 60252
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 26476
/proc/meminfo: memFree=31247668/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=61648 CPUtime=522.3 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 15527 0 0 0 49256 2974 0 0 25 0 1 0 890628230 63127552 14475 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 15412 14475 711 1178 0 14230 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 61648
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 26477
/proc/meminfo: memFree=31246384/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=62400 CPUtime=582.3 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 15712 0 0 0 54868 3362 0 0 25 0 1 0 890628230 63897600 14660 33554432000 4194304 9016284 140735658093984 18446744073709551615 6421219 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 15600 14660 711 1178 0 14418 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 62400
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31172980/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=66976 CPUtime=1122.32 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 16850 0 0 0 105880 6352 0 0 25 0 1 0 890628230 68583424 15798 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 16744 15798 711 1178 0 15562 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 66976
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 26531
/proc/meminfo: memFree=31168468/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=67412 CPUtime=1182.32 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 17003 0 0 0 111549 6683 0 0 25 0 1 0 890628230 69029888 15951 33554432000 4194304 9016284 140735658093984 18446744073709551615 7199020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 16853 15951 711 1178 0 15671 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 67412
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 26533
/proc/meminfo: memFree=31166424/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=67912 CPUtime=1242.32 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 17113 0 0 0 117213 7019 0 0 25 0 1 0 890628230 69541888 16061 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 16978 16061 711 1178 0 15796 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 67912
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 26534
/proc/meminfo: memFree=31164640/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=69864 CPUtime=1302.34 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 17553 0 0 0 122900 7334 0 0 25 0 1 0 890628230 71540736 16501 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 17466 16501 711 1178 0 16284 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 69864
[startup+1362.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/178 26536
/proc/meminfo: memFree=31161852/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=72908 CPUtime=1362.32 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 18321 0 0 0 128604 7628 0 0 25 0 1 0 890628230 74657792 17269 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 18227 17269 711 1178 0 17045 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 72908
[startup+1422.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 26538
/proc/meminfo: memFree=31160800/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=73620 CPUtime=1422.33 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 18506 0 0 0 134298 7935 0 0 25 0 1 0 890628230 75386880 17448 33554432000 4194304 9016284 140735658093984 18446744073709551615 6469475 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 18405 17448 711 1178 0 17223 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 73620
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 26539
/proc/meminfo: memFree=31160744/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=73964 CPUtime=1482.33 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 18596 0 0 0 139974 8259 0 0 25 0 1 0 890628230 75739136 17538 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 18491 17538 711 1178 0 17309 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 73964
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 26541
/proc/meminfo: memFree=31161828/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=75016 CPUtime=1542.33 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 18857 0 0 0 145648 8585 0 0 25 0 1 0 890628230 76816384 17799 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 18754 17799 711 1178 0 17572 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 75016
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26542
/proc/meminfo: memFree=31161036/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=75608 CPUtime=1602.34 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 19016 0 0 0 151352 8882 0 0 25 0 1 0 890628230 77422592 17958 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 18902 17958 711 1178 0 17720 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 75608
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26544
/proc/meminfo: memFree=31160124/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=75740 CPUtime=1662.33 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 19048 0 0 0 157047 9186 0 0 25 0 1 0 890628230 77557760 17990 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 18935 17990 711 1178 0 17753 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 75740
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26546
/proc/meminfo: memFree=31162564/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=75740 CPUtime=1722.34 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 19066 0 0 0 162710 9524 0 0 25 0 1 0 890628230 77557760 18008 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 18935 18008 711 1178 0 17753 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 75740
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26547
/proc/meminfo: memFree=31161644/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=76096 CPUtime=1782.33 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 19154 0 0 0 168394 9839 0 0 25 0 1 0 890628230 77922304 18096 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 19024 18096 711 1178 0 17842 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 76096
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26547
/proc/meminfo: memFree=31161756/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=76096 CPUtime=1785.54 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 19154 0 0 0 168695 9859 0 0 25 0 1 0 890628230 77922304 18096 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 19024 18096 711 1178 0 17842 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 76096
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26547
/proc/meminfo: memFree=31161752/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=76096 CPUtime=1791.94 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 19156 0 0 0 169299 9895 0 0 25 0 1 0 890628230 77922304 18098 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 19024 18098 711 1178 0 17842 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 76096
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26548
/proc/meminfo: memFree=31161752/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=76096 CPUtime=1795.14 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 19157 0 0 0 169605 9909 0 0 25 0 1 0 890628230 77922304 18099 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 19024 18099 711 1178 0 17842 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 76096
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26548
/proc/meminfo: memFree=31161752/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=76096 CPUtime=1795.94 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 19157 0 0 0 169680 9914 0 0 25 0 1 0 890628230 77922304 18099 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 19024 18099 711 1178 0 17842 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 76096
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26548
/proc/meminfo: memFree=31161752/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=76096 CPUtime=1796.74 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 19157 0 0 0 169756 9918 0 0 25 0 1 0 890628230 77922304 18099 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 19024 18099 711 1178 0 17842 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 76096
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26548
/proc/meminfo: memFree=31161752/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=76096 CPUtime=1796.94 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 19157 0 0 0 169775 9919 0 0 25 0 1 0 890628230 77922304 18099 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 19024 18099 711 1178 0 17842 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 76096
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26548
/proc/meminfo: memFree=31161752/32950904 swapFree=67055440/67111528
[pid=26461] ppid=26459 vsize=76096 CPUtime=1797.04 cores=1,3,5,7
/proc/26461/stat : 26461 (scip-2.0.1.4b_2) R 26459 26461 25471 0 -1 4202496 19157 0 0 0 169785 9919 0 0 25 0 1 0 890628230 77922304 18099 33554432000 4194304 9016284 140735658093984 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26461/statm: 19024 18099 711 1178 0 17842 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 76096
Child status: 0
Real time (s): 1797.04
CPU time (s): 1797.08
CPU user time (s): 1697.88
CPU system time (s): 99.1999
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 76096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1697.88
system time used= 99.1999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19163
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= 6704
runsolver used 2.74858 second user time and 6.04308 second system time
The end