0.00/0.00 c SCIP version 2.0.1.4 [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-3484729-1307790688.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.4
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.1s| 1 | 0 | 113 | - |3888k| 0 | 18 | 771 | 288 | 771 | 222 | 0 | 66 | 0 | 3.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 369 | - |4230k| 0 | 39 | 771 | 331 | 771 | 233 | 11 | 66 | 0 | 3.000000e+00 | -- | Inf
0.09/0.18 c 0.2s| 1 | 0 | 395 | - |4459k| 0 | 54 | 771 | 331 | 771 | 246 | 24 | 66 | 0 | 3.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 434 | - |4633k| 0 | 62 | 771 | 331 | 771 | 257 | 35 | 66 | 0 | 3.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 485 | - |4819k| 0 | 72 | 771 | 331 | 771 | 270 | 48 | 66 | 0 | 3.000000e+00 | -- | Inf
0.29/0.38 c 0.4s| 1 | 0 | 529 | - |5023k| 0 | 79 | 771 | 331 | 771 | 282 | 60 | 66 | 0 | 3.000000e+00 | -- | Inf
0.39/0.48 c 0.5s| 1 | 0 | 615 | - |5145k| 0 | 90 | 771 | 331 | 771 | 294 | 72 | 66 | 0 | 3.000000e+00 | -- | Inf
0.59/0.69 c 0.7s| 1 | 2 | 615 | - |5146k| 0 | 90 | 771 | 331 | 771 | 294 | 72 | 66 | 16 | 3.000000e+00 | -- | Inf
23.29/23.36 c 23.4s| 10000 | 367 |243307 | 24.3 |8107k| 50 | 22 | 771 |3316 | 771 | 273 | 72 |9233 |4768 | 3.000000e+00 | -- | Inf
38.69/38.75 c 38.7s| 20000 | 512 |464435 | 23.2 |9747k| 53 | 25 | 771 |5393 | 771 | 273 | 72 | 18k|6304 | 3.000000e+00 | -- | Inf
54.49/54.56 c 54.6s| 30000 | 544 |689173 | 23.0 |9646k| 62 | 20 | 771 |4098 | 771 | 273 | 72 | 27k|7667 | 3.000000e+00 | -- | Inf
67.50/67.53 c 67.5s| 40000 | 550 |875260 | 21.9 |9918k| 62 | 47 | 771 |4245 | 771 | 273 | 72 | 37k|8646 | 3.000000e+00 | -- | Inf
81.60/81.61 c 81.6s| 50000 | 616 | 1082k| 21.6 | 11M| 84 | 40 | 771 |7156 | 771 | 273 | 72 | 47k|9505 | 3.000000e+00 | -- | Inf
97.10/97.13 c 97.1s| 60000 | 636 | 1300k| 21.7 | 11M| 84 | - | 771 |6445 | 0 | 0 | 72 | 56k| 10k| 3.000000e+00 | -- | Inf
110.19/110.26 c 110s| 70000 | 635 | 1479k| 21.1 | 12M| 84 | 31 | 771 |8317 | 771 | 273 | 72 | 66k| 12k| 3.000000e+00 | -- | Inf
124.30/124.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.30/124.39 c 124s| 80000 | 611 | 1676k| 21.0 | 12M| 85 | 23 | 771 |7226 | 771 | 273 | 72 | 75k| 13k| 3.000000e+00 | -- | Inf
141.50/141.59 c 142s| 90000 | 674 | 1927k| 21.4 | 11M| 85 | - | 771 |5562 | 0 | 0 | 72 | 85k| 14k| 3.000000e+00 | -- | Inf
158.60/158.69 c 159s|100000 | 703 | 2186k| 21.9 | 11M| 85 | - | 771 |4882 | 0 | 0 | 72 | 94k| 15k| 3.000000e+00 | -- | Inf
174.19/174.26 c 174s|110000 | 796 | 2414k| 21.9 | 13M| 85 | 35 | 771 |6732 | 771 | 273 | 72 | 105k| 16k| 3.000000e+00 | -- | Inf
190.20/190.27 c 190s|120000 | 806 | 2648k| 22.1 | 14M| 85 | 11 | 771 |8484 | 771 | 273 | 72 | 113k| 17k| 3.000000e+00 | -- | Inf
205.60/205.65 c 206s|130000 | 874 | 2872k| 22.1 | 13M| 85 | - | 771 |5883 | 771 | 273 | 72 | 123k| 18k| 3.000000e+00 | -- | Inf
221.40/221.46 c 221s|140000 | 968 | 3097k| 22.1 | 14M| 85 | 26 | 771 |6845 | 771 | 273 | 72 | 133k| 18k| 3.000000e+00 | -- | Inf
238.10/238.11 c 238s|150000 | 992 | 3335k| 22.2 | 14M| 85 | 36 | 771 |6262 | 771 | 273 | 72 | 144k| 19k| 3.000000e+00 | -- | Inf
248.70/248.73 c 249s|160000 | 1001 | 3483k| 21.8 | 14M| 85 | - | 771 |6775 | 0 | 0 | 72 | 152k| 19k| 3.000000e+00 | -- | Inf
266.50/266.50 c 267s|170000 | 1060 | 3760k| 22.1 | 15M| 85 | 31 | 771 |6374 | 771 | 273 | 72 | 163k| 19k| 3.000000e+00 | -- | Inf
284.91/284.91 c 285s|180000 | 1081 | 4044k| 22.5 | 15M| 85 | 43 | 771 |7139 | 771 | 273 | 72 | 172k| 20k| 3.000000e+00 | -- | Inf
301.60/301.69 c 302s|190000 | 1100 | 4304k| 22.7 | 15M| 85 | - | 771 |6848 | 771 | 273 | 72 | 181k| 21k| 3.000000e+00 | -- | Inf
315.90/315.97 c 316s|200000 | 1114 | 4512k| 22.6 | 16M| 85 | - | 771 |8717 | 771 | 273 | 72 | 190k| 22k| 3.000000e+00 | -- | Inf
326.10/326.11 c 326s|210000 | 1208 | 4648k| 22.1 | 17M| 85 | 2 | 771 | 11k| 771 | 273 | 72 | 198k| 22k| 3.000000e+00 | -- | Inf
335.30/335.34 c 335s|220000 | 1191 | 4759k| 21.6 | 18M| 85 | - | 771 | 12k| 771 | 273 | 72 | 205k| 23k| 3.000000e+00 | -- | Inf
344.60/344.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
344.60/344.67 c 345s|230000 | 1173 | 4879k| 21.2 | 18M| 85 | 30 | 771 | 12k| 771 | 273 | 72 | 213k| 23k| 3.000000e+00 | -- | Inf
354.00/354.08 c 354s|240000 | 1140 | 4998k| 20.8 | 18M| 85 | - | 771 | 12k| 771 | 273 | 72 | 220k| 24k| 3.000000e+00 | -- | Inf
365.90/365.93 c 366s|250000 | 1191 | 5165k| 20.7 | 19M| 85 | - | 771 | 14k| 771 | 273 | 72 | 229k| 24k| 3.000000e+00 | -- | Inf
380.20/380.24 c 380s|260000 | 1227 | 5389k| 20.7 | 20M| 85 | - | 771 | 16k| 0 | 0 | 72 | 237k| 24k| 3.000000e+00 | -- | Inf
393.90/393.99 c 394s|270000 | 1111 | 5592k| 20.7 | 19M| 85 | 31 | 771 | 15k| 771 | 273 | 72 | 245k| 25k| 3.000000e+00 | -- | Inf
404.60/404.66 c 405s|280000 | 1109 | 5714k| 20.4 | 20M| 85 | - | 771 | 17k| 771 | 273 | 72 | 253k| 26k| 3.000000e+00 | -- | Inf
421.01/421.07 c 421s|290000 | 1157 | 5943k| 20.5 | 16M| 85 | 33 | 771 |8275 | 771 | 273 | 72 | 262k| 27k| 3.000000e+00 | -- | Inf
438.60/438.61 c 439s|300000 | 1120 | 6224k| 20.7 | 16M| 85 | 39 | 771 |6488 | 771 | 273 | 72 | 271k| 27k| 3.000000e+00 | -- | Inf
454.21/454.23 c 454s|310000 | 1133 | 6462k| 20.8 | 17M| 85 | - | 771 |9547 | 0 | 0 | 72 | 280k| 28k| 3.000000e+00 | -- | Inf
471.50/471.56 c 472s|320000 | 1165 | 6722k| 21.0 | 16M| 87 | 21 | 771 |7333 | 771 | 273 | 72 | 290k| 28k| 3.000000e+00 | -- | Inf
488.51/488.57 c 489s|330000 | 1198 | 6991k| 21.2 | 17M| 87 | - | 771 |8257 | 0 | 0 | 72 | 299k| 29k| 3.000000e+00 | -- | Inf
504.60/504.68 c 505s|340000 | 1307 | 7229k| 21.3 | 18M| 87 | 32 | 771 |8013 | 771 | 273 | 72 | 308k| 29k| 3.000000e+00 | -- | Inf
520.31/520.39 c 520s|350000 | 1286 | 7475k| 21.4 | 17M| 87 | 22 | 771 |7699 | 771 | 273 | 72 | 318k| 30k| 3.000000e+00 | -- | Inf
533.90/533.95 c 534s|360000 | 1328 | 7699k| 21.4 | 18M| 87 | 15 | 771 |9961 | 771 | 273 | 72 | 325k| 30k| 3.000000e+00 | -- | Inf
546.01/546.08 c 546s|370000 | 1326 | 7900k| 21.4 | 19M| 87 | - | 771 | 10k| 771 | 273 | 72 | 330k| 30k| 3.000000e+00 | -- | Inf
559.61/559.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.61/559.61 c 560s|380000 | 1298 | 8126k| 21.4 | 19M| 87 | - | 771 | 10k| 771 | 273 | 72 | 335k| 31k| 3.000000e+00 | -- | Inf
576.81/576.82 c 577s|390000 | 1408 | 8382k| 21.5 | 19M| 87 | - | 771 |9478 | 0 | 0 | 72 | 346k| 31k| 3.000000e+00 | -- | Inf
592.51/592.58 c 593s|400000 | 1532 | 8591k| 21.5 | 20M| 87 | - | 771 | 11k| 771 | 273 | 72 | 358k| 32k| 3.000000e+00 | -- | Inf
605.10/605.13 c 605s|410000 | 1553 | 8768k| 21.4 | 21M| 87 | - | 771 | 12k| 0 | 0 | 72 | 367k| 32k| 3.000000e+00 | -- | Inf
623.41/623.41 c 623s|420000 | 1558 | 9045k| 21.5 | 19M| 87 | - | 771 |7004 | 771 | 273 | 72 | 377k| 33k| 3.000000e+00 | -- | Inf
644.01/644.05 c 644s|430000 | 1649 | 9391k| 21.8 | 20M| 87 | 32 | 771 |8017 | 771 | 273 | 72 | 384k| 33k| 3.000000e+00 | -- | Inf
659.51/659.57 c 660s|440000 | 1581 | 9623k| 21.9 | 19M| 87 | 25 | 771 |6917 | 771 | 273 | 72 | 395k| 34k| 3.000000e+00 | -- | Inf
673.71/673.77 c 674s|450000 | 1617 | 9849k| 21.9 | 21M| 87 | - | 771 | 10k| 0 | 0 | 72 | 404k| 34k| 3.000000e+00 | -- | Inf
683.91/683.95 c 684s|460000 | 1632 | 9979k| 21.7 | 22M| 87 | - | 771 | 12k| 0 | 0 | 72 | 413k| 34k| 3.000000e+00 | -- | Inf
694.51/694.52 c 695s|470000 | 1582 | 10127k| 21.5 | 21M| 87 | - | 771 | 10k| 0 | 0 | 72 | 420k| 34k| 3.000000e+00 | -- | Inf
708.01/708.02 c 708s|480000 | 1633 | 10336k| 21.5 | 20M| 87 | 24 | 771 |8376 | 771 | 273 | 72 | 428k| 35k| 3.000000e+00 | -- | Inf
721.91/721.96 c 722s|490000 | 1633 | 10549k| 21.5 | 20M| 87 | 19 | 771 |8199 | 771 | 273 | 72 | 436k| 35k| 3.000000e+00 | -- | Inf
733.91/733.93 c 734s|500000 | 1641 | 10759k| 21.5 | 21M| 87 | - | 771 |9704 | 771 | 273 | 72 | 442k| 35k| 3.000000e+00 | -- | Inf
747.11/747.14 c 747s|510000 | 1668 | 10975k| 21.5 | 21M| 87 | 32 | 771 |9248 | 771 | 273 | 72 | 447k| 36k| 3.000000e+00 | -- | Inf
759.22/759.24 c 759s|520000 | 1637 | 11178k| 21.5 | 20M| 87 | - | 771 |9242 | 0 | 0 | 72 | 453k| 36k| 3.000000e+00 | -- | Inf
772.61/772.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.61/772.67 c 773s|530000 | 1618 | 11403k| 21.5 | 21M| 87 | - | 771 | 11k| 771 | 273 | 72 | 459k| 36k| 3.000000e+00 | -- | Inf
784.52/784.50 c 785s|540000 | 1611 | 11597k| 21.5 | 21M| 87 | - | 771 | 11k| 771 | 273 | 72 | 465k| 37k| 3.000000e+00 | -- | Inf
796.22/796.29 c 796s|550000 | 1637 | 11791k| 21.4 | 22M| 87 | - | 771 | 12k| 0 | 0 | 72 | 470k| 37k| 3.000000e+00 | -- | Inf
809.22/809.22 c 809s|560000 | 1636 | 11989k| 21.4 | 22M| 87 | - | 771 | 13k| 0 | 0 | 72 | 477k| 37k| 3.000000e+00 | -- | Inf
821.52/821.50 c 822s|570000 | 1660 | 12183k| 21.4 | 23M| 87 | - | 771 | 14k| 0 | 0 | 72 | 483k| 37k| 3.000000e+00 | -- | Inf
834.52/834.52 c 835s|580000 | 1650 | 12390k| 21.4 | 23M| 87 | 26 | 771 | 15k| 771 | 273 | 72 | 488k| 38k| 3.000000e+00 | -- | Inf
849.22/849.20 c 849s|590000 | 1565 | 12617k| 21.4 | 22M| 87 | 6 | 771 | 12k| 771 | 273 | 72 | 495k| 38k| 3.000000e+00 | -- | Inf
863.02/863.00 c 863s|600000 | 1600 | 12839k| 21.4 | 22M| 87 | 28 | 771 | 12k| 771 | 273 | 72 | 502k| 39k| 3.000000e+00 | -- | Inf
877.82/877.83 c 878s|610000 | 1580 | 13072k| 21.4 | 22M| 87 | 24 | 771 | 12k| 771 | 273 | 72 | 509k| 39k| 3.000000e+00 | -- | Inf
893.32/893.33 c 893s|620000 | 1581 | 13319k| 21.5 | 22M| 87 | - | 771 | 13k| 0 | 0 | 72 | 516k| 39k| 3.000000e+00 | -- | Inf
910.42/910.43 c 910s|630000 | 1561 | 13578k| 21.6 | 21M| 87 | - | 771 |9144 | 771 | 273 | 72 | 525k| 40k| 3.000000e+00 | -- | Inf
922.02/922.07 c 922s|640000 | 1574 | 13749k| 21.5 | 21M| 87 | 21 | 771 | 10k| 771 | 273 | 72 | 534k| 40k| 3.000000e+00 | -- | Inf
934.42/934.40 c 934s|650000 | 1637 | 13938k| 21.4 | 22M| 87 | - | 771 | 12k| 771 | 273 | 72 | 540k| 40k| 3.000000e+00 | -- | Inf
948.23/948.28 c 948s|660000 | 1696 | 14149k| 21.4 | 23M| 87 | - | 771 | 12k| 771 | 273 | 72 | 548k| 40k| 3.000000e+00 | -- | Inf
961.32/961.37 c 961s|670000 | 1654 | 14344k| 21.4 | 23M| 87 | 18 | 771 | 12k| 771 | 273 | 72 | 554k| 41k| 3.000000e+00 | -- | Inf
974.92/974.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.92/974.99 c 975s|680000 | 1736 | 14548k| 21.4 | 23M| 87 | 34 | 771 | 13k| 771 | 273 | 72 | 560k| 41k| 3.000000e+00 | -- | Inf
987.02/987.04 c 987s|690000 | 1794 | 14720k| 21.3 | 24M| 87 | - | 771 | 14k| 771 | 273 | 72 | 567k| 41k| 3.000000e+00 | -- | Inf
1000.52/1000.51 c 1001s|700000 | 1710 | 14924k| 21.3 | 23M| 87 | 16 | 771 | 13k| 771 | 273 | 72 | 573k| 42k| 3.000000e+00 | -- | Inf
1015.42/1015.42 c 1015s|710000 | 1615 | 15141k| 21.3 | 22M| 87 | 35 | 771 | 12k| 771 | 273 | 72 | 580k| 42k| 3.000000e+00 | -- | Inf
1030.52/1030.55 c 1031s|720000 | 1568 | 15360k| 21.3 | 22M| 87 | - | 771 | 10k| 0 | 0 | 72 | 590k| 43k| 3.000000e+00 | -- | Inf
1045.92/1046.00 c 1046s|730000 | 1535 | 15602k| 21.4 | 21M| 87 | - | 771 |8345 | 0 | 0 | 72 | 599k| 43k| 3.000000e+00 | -- | Inf
1061.72/1061.77 c 1062s|740000 | 1512 | 15848k| 21.4 | 20M| 87 | - | 771 |6866 | 771 | 273 | 72 | 607k| 43k| 3.000000e+00 | -- | Inf
1075.02/1075.03 c 1075s|750000 | 1505 | 16047k| 21.4 | 21M| 87 | - | 771 |9406 | 0 | 0 | 72 | 617k| 44k| 3.000000e+00 | -- | Inf
1090.52/1090.53 c 1091s|760000 | 1532 | 16283k| 21.4 | 21M| 87 | 36 | 771 |8288 | 771 | 273 | 72 | 628k| 44k| 3.000000e+00 | -- | Inf
1107.43/1107.49 c 1107s|770000 | 1552 | 16560k| 21.5 | 21M| 87 | - | 771 |9812 | 771 | 273 | 72 | 636k| 44k| 3.000000e+00 | -- | Inf
1121.52/1121.51 c 1122s|780000 | 1714 | 16791k| 21.5 | 22M| 87 | - | 771 | 10k| 0 | 0 | 72 | 644k| 44k| 3.000000e+00 | -- | Inf
1133.63/1133.64 c 1134s|790000 | 1517 | 16960k| 21.5 | 22M| 87 | - | 771 | 11k| 0 | 0 | 72 | 654k| 45k| 3.000000e+00 | -- | Inf
1149.33/1149.39 c 1149s|800000 | 1517 | 17191k| 21.5 | 21M| 87 | 16 | 771 |9905 | 771 | 273 | 72 | 664k| 45k| 3.000000e+00 | -- | Inf
1162.02/1162.07 c 1162s|810000 | 1517 | 17404k| 21.5 | 22M| 87 | 37 | 771 | 12k| 771 | 273 | 72 | 671k| 45k| 3.000000e+00 | -- | Inf
1175.23/1175.21 c 1175s|820000 | 1542 | 17610k| 21.5 | 23M| 87 | - | 771 | 14k| 771 | 273 | 72 | 676k| 46k| 3.000000e+00 | -- | Inf
1188.93/1188.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.93/1188.91 c 1189s|830000 | 1537 | 17826k| 21.5 | 23M| 87 | 24 | 771 | 15k| 771 | 273 | 72 | 683k| 46k| 3.000000e+00 | -- | Inf
1206.13/1206.15 c 1206s|840000 | 1529 | 18115k| 21.6 | 24M| 87 | - | 771 | 15k| 0 | 0 | 72 | 690k| 46k| 3.000000e+00 | -- | Inf
1221.53/1221.50 c 1222s|850000 | 1570 | 18362k| 21.6 | 24M| 87 | 23 | 771 | 15k| 771 | 273 | 72 | 697k| 46k| 3.000000e+00 | -- | Inf
1235.83/1235.87 c 1236s|860000 | 1585 | 18591k| 21.6 | 24M| 87 | 15 | 771 | 16k| 771 | 273 | 72 | 704k| 47k| 3.000000e+00 | -- | Inf
1247.13/1247.16 c 1247s|870000 | 1565 | 18747k| 21.5 | 25M| 87 | 26 | 771 | 17k| 771 | 273 | 72 | 711k| 47k| 3.000000e+00 | -- | Inf
1264.33/1264.38 c 1264s|880000 | 1547 | 19001k| 21.6 | 23M| 87 | - | 771 | 12k| 771 | 273 | 72 | 719k| 47k| 3.000000e+00 | -- | Inf
1278.14/1278.12 c 1278s|890000 | 1614 | 19221k| 21.6 | 23M| 87 | 18 | 771 | 12k| 771 | 273 | 72 | 728k| 47k| 3.000000e+00 | -- | Inf
1288.43/1288.44 c 1288s|900000 | 1618 | 19344k| 21.5 | 25M| 87 | - | 771 | 16k| 0 | 0 | 72 | 741k| 47k| 3.000000e+00 | -- | Inf
1300.63/1300.60 c 1301s|910000 | 1591 | 19512k| 21.4 | 25M| 87 | 36 | 771 | 17k| 771 | 273 | 72 | 750k| 48k| 3.000000e+00 | -- | Inf
1312.73/1312.74 c 1313s|920000 | 1620 | 19663k| 21.4 | 26M| 87 | 40 | 771 | 19k| 771 | 273 | 72 | 763k| 48k| 3.000000e+00 | -- | Inf
1324.63/1324.64 c 1325s|930000 | 1583 | 19809k| 21.3 | 26M| 87 | 17 | 771 | 18k| 771 | 273 | 72 | 775k| 48k| 3.000000e+00 | -- | Inf
1337.13/1337.12 c 1337s|940000 | 1624 | 19986k| 21.3 | 25M| 87 | - | 771 | 17k| 0 | 0 | 72 | 783k| 48k| 3.000000e+00 | -- | Inf
1349.83/1349.87 c 1350s|950000 | 1693 | 20170k| 21.2 | 26M| 87 | - | 771 | 18k| 0 | 0 | 72 | 792k| 49k| 3.000000e+00 | -- | Inf
1363.53/1363.51 c 1364s|960000 | 1761 | 20372k| 21.2 | 27M| 87 | - | 771 | 18k| 0 | 0 | 72 | 800k| 49k| 3.000000e+00 | -- | Inf
1377.24/1377.21 c 1377s|970000 | 1698 | 20571k| 21.2 | 26M| 87 | - | 771 | 18k| 771 | 273 | 72 | 809k| 49k| 3.000000e+00 | -- | Inf
1390.03/1390.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.03/1390.02 c 1390s|980000 | 1741 | 20754k| 21.2 | 27M| 87 | 14 | 771 | 19k| 771 | 273 | 72 | 816k| 49k| 3.000000e+00 | -- | Inf
1402.93/1402.99 c 1403s|990000 | 1702 | 20956k| 21.2 | 27M| 87 | 21 | 771 | 18k| 771 | 273 | 72 | 822k| 49k| 3.000000e+00 | -- | Inf
1416.34/1416.32 c 1416s| 1000k| 1608 | 21161k| 21.2 | 26M| 87 | 32 | 771 | 18k| 771 | 273 | 72 | 829k| 50k| 3.000000e+00 | -- | Inf
1428.64/1428.62 c 1429s| 1010k| 1608 | 21340k| 21.1 | 26M| 87 | 30 | 771 | 18k| 771 | 273 | 72 | 837k| 50k| 3.000000e+00 | -- | Inf
1444.14/1444.18 c 1444s| 1020k| 1598 | 21572k| 21.1 | 23M| 87 | - | 771 | 10k| 771 | 273 | 72 | 845k| 50k| 3.000000e+00 | -- | Inf
1463.23/1463.29 c 1463s| 1030k| 1767 | 21881k| 21.2 | 24M| 87 | - | 771 | 10k| 771 | 273 | 72 | 853k| 50k| 3.000000e+00 | -- | Inf
1480.65/1480.67 c 1481s| 1040k| 1853 | 22151k| 21.3 | 25M| 87 | 39 | 771 | 11k| 771 | 273 | 72 | 863k| 51k| 3.000000e+00 | -- | Inf
1497.64/1497.65 c 1498s| 1050k| 1856 | 22422k| 21.4 | 24M| 87 | 43 | 771 | 11k| 771 | 273 | 72 | 871k| 51k| 3.000000e+00 | -- | Inf
1517.94/1517.93 c 1518s| 1060k| 1828 | 22739k| 21.5 | 25M| 87 | 50 | 771 | 11k| 771 | 273 | 72 | 880k| 51k| 3.000000e+00 | -- | Inf
1536.64/1536.69 c 1537s| 1070k| 1912 | 23037k| 21.5 | 25M| 87 | - | 771 | 12k| 771 | 273 | 72 | 888k| 51k| 3.000000e+00 | -- | Inf
1557.24/1557.24 c 1557s| 1080k| 1929 | 23366k| 21.6 | 27M| 87 | 17 | 771 | 14k| 771 | 273 | 72 | 896k| 52k| 3.000000e+00 | -- | Inf
1570.44/1570.48 c 1570s| 1090k| 1957 | 23550k| 21.6 | 27M| 87 | 27 | 771 | 15k| 771 | 273 | 72 | 905k| 52k| 3.000000e+00 | -- | Inf
1585.15/1585.11 c 1585s| 1100k| 2015 | 23760k| 21.6 | 28M| 87 | 20 | 771 | 17k| 771 | 273 | 72 | 915k| 52k| 3.000000e+00 | -- | Inf
1603.94/1603.99 c 1604s| 1110k| 1954 | 24055k| 21.7 | 27M| 87 | 44 | 771 | 16k| 771 | 273 | 72 | 923k| 52k| 3.000000e+00 | -- | Inf
1620.84/1620.87 c 1621s| 1120k| 1913 | 24320k| 21.7 | 27M| 87 | 38 | 771 | 15k| 771 | 273 | 72 | 931k| 53k| 3.000000e+00 | -- | Inf
1637.35/1637.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1637.35/1637.36 c 1637s| 1130k| 1882 | 24558k| 21.7 | 26M| 87 | - | 771 | 12k| 771 | 273 | 72 | 940k| 53k| 3.000000e+00 | -- | Inf
1657.14/1657.18 c 1657s| 1140k| 1917 | 24879k| 21.8 | 25M| 87 | 10 | 771 | 11k| 771 | 273 | 72 | 948k| 53k| 3.000000e+00 | -- | Inf
1672.24/1672.25 c 1672s| 1150k| 1868 | 25113k| 21.8 | 25M| 87 | - | 771 |9362 | 771 | 273 | 72 | 956k| 53k| 3.000000e+00 | -- | Inf
1691.14/1691.10 c 1691s| 1160k| 1860 | 25433k| 21.9 | 25M| 87 | 18 | 771 | 10k| 771 | 273 | 72 | 964k| 54k| 3.000000e+00 | -- | Inf
1711.55/1711.60 c 1712s| 1170k| 1829 | 25764k| 22.0 | 24M| 87 | 34 | 771 |8959 | 771 | 273 | 72 | 971k| 54k| 3.000000e+00 | -- | Inf
1728.44/1728.46 c 1728s| 1180k| 1883 | 26032k| 22.1 | 25M| 87 | 13 | 771 | 10k| 771 | 273 | 72 | 979k| 54k| 3.000000e+00 | -- | Inf
1741.05/1741.04 c 1741s| 1190k| 1912 | 26222k| 22.0 | 26M| 87 | - | 771 | 12k| 771 | 273 | 72 | 988k| 54k| 3.000000e+00 | -- | Inf
1758.35/1758.34 c 1758s| 1200k| 1933 | 26483k| 22.1 | 25M| 87 | - | 771 |9699 | 771 | 273 | 72 | 997k| 55k| 3.000000e+00 | -- | Inf
1776.15/1776.10 c 1776s| 1210k| 1924 | 26782k| 22.1 | 25M| 87 | 21 | 771 | 10k| 771 | 273 | 72 |1004k| 55k| 3.000000e+00 | -- | Inf
1792.45/1792.48 c 1792s| 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 : 1222561
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-3484729-1307790688.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-3484729-1307790688.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 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 670208 0 4 0 394 29685 0 0 1305974
1797.04/1797.00 c knapsack : 192 6 4041423 0 1 3 20141812 93255 49232512 1191 0 0
1797.04/1797.00 c setppc : 30 6 3948168 0 1 2 3896757 109066 4549967 0 0 0
1797.04/1797.00 c linear : 0+ 6 11811 0 0 0 2 0 1 0 0 0
1797.04/1797.00 c logicor : 0+ 6 1962527 0 0 0 2485717 65020 1340478 0 0 0
1797.04/1797.00 c countsols : 0 0 0 0 1 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.21 0.00 0.00 83.21 0.00 0.00 0.00
1797.04/1797.00 c knapsack : 69.31 0.01 61.52 0.00 0.00 0.00 7.77
1797.04/1797.00 c setppc : 19.78 0.00 18.24 0.00 0.00 0.00 1.54
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 : 78.55 0.00 75.80 0.00 0.00 0.00 2.75
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.53 0.53 0.00
1797.04/1797.00 c rootredcost : 0.58 0.58 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.58 255179 254778 2217803 43.1 7935 30.2 -
1797.04/1797.00 c infeasible LP : 62.76 369594 116247 1401275 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 : - - - 1015785 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.64 669205 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.78 670208 394 29685 0 0 1305974
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 1 0 0 0 0 2
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.37 0 0
1797.04/1797.00 c crossover : 0.22 0 0
1797.04/1797.00 c guideddiving : 0.03 0 0
1797.04/1797.00 c intshifting : 0.02 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.08 24 0
1797.04/1797.00 c feaspump : 0.16 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.85 0 0
1797.04/1797.00 c rounding : 0.54 11549 0
1797.04/1797.00 c shifting : 2.09 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.07 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.17 0 0
1797.04/1797.00 c trysol : 0.21 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 : 1239.20 1036844 27103259 26.14 21871.58
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 21075.60
1797.04/1797.00 c strong branching : 75.20 55519 1415857 25.50 18827.41
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 : 1222561
1797.04/1797.00 c nodes (total) : 1222561
1797.04/1797.00 c nodes left : 2072
1797.04/1797.00 c max depth : 87
1797.04/1797.00 c max depth (total): 87
1797.04/1797.00 c backtracks : 243291 (19.9%)
1797.04/1797.00 c delayed cutoffs : 81344
1797.04/1797.00 c repropagations : 874614 (10304885 domain reductions, 67409 cutoffs)
1797.04/1797.00 c avg switch length: 3.81
1797.04/1797.00 c switching time : 119.80
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.08.
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-3484729-1307790688/watcher-3484729-1307790688 -o /tmp/evaluation-result-3484729-1307790688/solver-3484729-1307790688 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3484729-1307790688.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.99 2/174 7653
/proc/meminfo: memFree=30712724/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=9996 CPUtime=0 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 1501 0 0 0 0 0 0 0 25 0 1 0 969299330 10235904 1455 33554432000 4194304 8979876 140735690509088 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7653/statm: 2499 1455 366 1169 0 1326 0
[startup+0.089861 s]
/proc/loadavg: 2.00 2.00 1.99 2/174 7653
/proc/meminfo: memFree=30712724/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=24040 CPUtime=0.08 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 5380 0 0 0 8 0 0 0 18 0 1 0 969299330 24616960 5028 33554432000 4194304 8979876 140735690509088 18446744073709551615 4243881 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 6010 5028 682 1169 0 4837 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24040
[startup+0.100859 s]
/proc/loadavg: 2.00 2.00 1.99 2/174 7653
/proc/meminfo: memFree=30712724/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=29028 CPUtime=0.09 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 6650 0 0 0 9 0 0 0 18 0 1 0 969299330 29724672 6298 33554432000 4194304 8979876 140735690509088 18446744073709551615 4446992 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 7257 6298 697 1169 0 6084 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29028
[startup+0.300818 s]
/proc/loadavg: 2.00 2.00 1.99 2/174 7653
/proc/meminfo: memFree=30712724/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=38872 CPUtime=0.29 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 9202 0 0 0 29 0 0 0 18 0 1 0 969299330 39804928 8485 33554432000 4194304 8979876 140735690509088 18446744073709551615 4239063 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 9718 8485 710 1169 0 8545 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38872
[startup+0.700757 s]
/proc/loadavg: 2.00 2.00 1.99 2/174 7653
/proc/meminfo: memFree=30712724/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=39760 CPUtime=0.69 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 9651 0 0 0 66 3 0 0 18 0 1 0 969299330 40714240 8934 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 9940 8934 718 1169 0 8767 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39760
[startup+1.5006 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 7654
/proc/meminfo: memFree=30679872/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=39760 CPUtime=1.49 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 9651 0 0 0 142 7 0 0 19 0 1 0 969299330 40714240 8934 33554432000 4194304 8979876 140735690509088 18446744073709551615 7179197 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 9940 8934 718 1169 0 8767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39760
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 7654
/proc/meminfo: memFree=30679496/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=39760 CPUtime=3.09 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 9654 0 0 0 294 15 0 0 25 0 1 0 969299330 40714240 8937 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 9940 8937 721 1169 0 8767 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39760
[startup+6.3007 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 7654
/proc/meminfo: memFree=30678824/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=39760 CPUtime=6.3 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 9654 0 0 0 596 34 0 0 25 0 1 0 969299330 40714240 8937 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 9940 8937 721 1169 0 8767 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 39760
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 7655
/proc/meminfo: memFree=30678808/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=39760 CPUtime=12.7 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 9655 0 0 0 1203 67 0 0 25 0 1 0 969299330 40714240 8938 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 9940 8938 722 1169 0 8767 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 39760
[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 7655
/proc/meminfo: memFree=30679556/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=39760 CPUtime=25.49 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 9655 0 0 0 2417 132 0 0 25 0 1 0 969299330 40714240 8938 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 9940 8938 722 1169 0 8767 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39760
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 7656
/proc/meminfo: memFree=30679528/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=39760 CPUtime=51.09 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 9656 0 0 0 4842 267 0 0 25 0 1 0 969299330 40714240 8939 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 9940 8939 722 1169 0 8767 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 39760
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 7657
/proc/meminfo: memFree=30676792/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=41720 CPUtime=102.3 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 10219 0 0 0 9694 536 0 0 25 0 1 0 969299330 42721280 9502 33554432000 4194304 8979876 140735690509088 18446744073709551615 5211660 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 10430 9502 722 1169 0 9257 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 41720
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 7659
/proc/meminfo: memFree=30673904/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=44592 CPUtime=162.29 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 10942 0 0 0 15385 844 0 0 25 0 1 0 969299330 45662208 10225 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 11148 10225 722 1169 0 9975 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 44592
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 7660
/proc/meminfo: memFree=30669508/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=47856 CPUtime=222.3 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 11754 0 0 0 21092 1138 0 0 25 0 1 0 969299330 49004544 11037 33554432000 4194304 8979876 140735690509088 18446744073709551615 5381765 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 11964 11037 722 1169 0 10791 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 47856
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 7662
/proc/meminfo: memFree=30664752/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=50980 CPUtime=282.3 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 12533 0 0 0 26796 1434 0 0 25 0 1 0 969299330 52203520 11816 33554432000 4194304 8979876 140735690509088 18446744073709551615 4653920 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 12745 11816 722 1169 0 11572 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 50980
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 7663
/proc/meminfo: memFree=30660984/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=54456 CPUtime=342.3 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 13410 0 0 0 32498 1732 0 0 25 0 1 0 969299330 55762944 12693 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 13614 12693 722 1169 0 12441 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 54456
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 7665
/proc/meminfo: memFree=30658104/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=56928 CPUtime=402.3 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 14044 0 0 0 38217 2013 0 0 25 0 1 0 969299330 58294272 13326 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 14232 13326 722 1169 0 13059 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 56928
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 7667
/proc/meminfo: memFree=30656188/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=58552 CPUtime=462.3 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 14420 0 0 0 43914 2316 0 0 25 0 1 0 969299330 59957248 13702 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 14638 13702 722 1169 0 13465 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 58552
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 7668
/proc/meminfo: memFree=30658636/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=59996 CPUtime=522.31 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 14806 0 0 0 49616 2615 0 0 25 0 1 0 969299330 61435904 14085 33554432000 4194304 8979876 140735690509088 18446744073709551615 4347574 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 14999 14085 722 1169 0 13826 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 59996
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 7670
/proc/meminfo: memFree=30656372/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=60532 CPUtime=582.31 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 14967 0 0 0 55300 2931 0 0 25 0 1 0 969299330 61984768 14246 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/7653/statm: 15133 14246 722 1169 0 13960 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 60532
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30398716/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=65368 CPUtime=1122.33 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 16175 0 0 0 106139 6094 0 0 25 0 1 0 969299330 66936832 15454 33554432000 4194304 8979876 140735690509088 18446744073709551615 5972224 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 16342 15454 722 1169 0 15169 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 65368
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7724
/proc/meminfo: memFree=30398564/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=65996 CPUtime=1182.33 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 16297 0 0 0 111710 6523 0 0 25 0 1 0 969299330 67579904 15576 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 16499 15576 722 1169 0 15326 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 65996
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7725
/proc/meminfo: memFree=30398396/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=66320 CPUtime=1242.33 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 16387 0 0 0 117284 6949 0 0 25 0 1 0 969299330 67911680 15666 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 16580 15666 722 1169 0 15407 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 66320
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7727
/proc/meminfo: memFree=30396860/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=67960 CPUtime=1302.34 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 16774 0 0 0 122881 7353 0 0 25 0 1 0 969299330 69591040 16053 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 16990 16053 722 1169 0 15817 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 67960
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 7881
/proc/meminfo: memFree=30732804/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=71492 CPUtime=1362.33 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 17655 0 0 0 128506 7727 0 0 25 0 1 0 969299330 73207808 16931 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 17873 16931 722 1169 0 16700 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 71492
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 7958
/proc/meminfo: memFree=30144944/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=72052 CPUtime=1422.34 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 17791 0 0 0 134195 8039 0 0 25 0 1 0 969299330 73781248 17065 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 18013 17065 722 1169 0 16840 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 72052
[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 7960
/proc/meminfo: memFree=30001500/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=72576 CPUtime=1482.34 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 17946 0 0 0 139914 8320 0 0 25 0 1 0 969299330 74317824 17220 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 18144 17220 722 1169 0 16971 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 72576
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 7961
/proc/meminfo: memFree=29843612/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=73384 CPUtime=1542.34 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 18137 0 0 0 145612 8622 0 0 25 0 1 0 969299330 75145216 17411 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 18346 17411 722 1169 0 17173 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 73384
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7963
/proc/meminfo: memFree=29744980/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=74104 CPUtime=1602.34 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 18310 0 0 0 151308 8926 0 0 25 0 1 0 969299330 75882496 17584 33554432000 4194304 8979876 140735690509088 18446744073709551615 6446336 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 18526 17584 722 1169 0 17353 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 74104
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7968
/proc/meminfo: memFree=29662572/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=74104 CPUtime=1662.34 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 18327 0 0 0 156970 9264 0 0 25 0 1 0 969299330 75882496 17601 33554432000 4194304 8979876 140735690509088 18446744073709551615 4318669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 18526 17601 722 1169 0 17353 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 74104
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7969
/proc/meminfo: memFree=29595588/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=74236 CPUtime=1722.34 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 18360 0 0 0 162620 9614 0 0 25 0 1 0 969299330 76017664 17634 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 18559 17634 722 1169 0 17386 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 74236
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7971
/proc/meminfo: memFree=29532308/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=74616 CPUtime=1782.35 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 18471 0 0 0 168282 9953 0 0 25 0 1 0 969299330 76406784 17745 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 18654 17745 722 1169 0 17481 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 74616
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7971
/proc/meminfo: memFree=29530072/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=74616 CPUtime=1785.54 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 18471 0 0 0 168583 9971 0 0 25 0 1 0 969299330 76406784 17745 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 18654 17745 722 1169 0 17481 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 74616
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7971
/proc/meminfo: memFree=29523992/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=74616 CPUtime=1791.95 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 18473 0 0 0 169188 10007 0 0 25 0 1 0 969299330 76406784 17747 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 18654 17747 722 1169 0 17481 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 74616
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7971
/proc/meminfo: memFree=29521388/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=74616 CPUtime=1795.16 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 18474 0 0 0 169492 10024 0 0 25 0 1 0 969299330 76406784 17748 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 18654 17748 722 1169 0 17481 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 74616
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7971
/proc/meminfo: memFree=29521388/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=74616 CPUtime=1795.95 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 18474 0 0 0 169567 10028 0 0 25 0 1 0 969299330 76406784 17748 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 18654 17748 722 1169 0 17481 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 74616
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7971
/proc/meminfo: memFree=29520644/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=74616 CPUtime=1796.75 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 18474 0 0 0 169642 10033 0 0 25 0 1 0 969299330 76406784 17748 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 18654 17748 722 1169 0 17481 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 74616
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7971
/proc/meminfo: memFree=29520644/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=74616 CPUtime=1796.95 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 18474 0 0 0 169660 10035 0 0 25 0 1 0 969299330 76406784 17748 33554432000 4194304 8979876 140735690509088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 18654 17748 722 1169 0 17481 0
Current children cumulated CPU time (s) 1796.95
Current children cumulated vsize (KiB) 74616
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 7971
/proc/meminfo: memFree=29520644/32951124 swapFree=67062556/67111528
[pid=7653] ppid=7651 vsize=74616 CPUtime=1797.04 cores=1,3,5,7
/proc/7653/stat : 7653 (scip-2.0.1.4_2.) R 7651 7653 5721 0 -1 4202496 18474 0 0 0 169669 10035 0 0 25 0 1 0 969299330 76406784 17748 33554432000 4194304 8979876 140735690509088 18446744073709551615 4887821 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7653/statm: 18654 17748 722 1169 0 17481 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 74616
Child status: 0
Real time (s): 1797.04
CPU time (s): 1797.09
CPU user time (s): 1696.73
CPU system time (s): 100.364
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 74616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1696.73
system time used= 100.364
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18482
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= 3696
runsolver used 2.59161 second user time and 5.76612 second system time
The end