0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3450691-1307107623.opb>
0.02/0.04 c original problem has 8361 variables (8361 bin, 0 int, 0 impl, 0 cont) and 8861 constraints
0.02/0.04 c problem read
0.02/0.05 c presolving settings loaded
0.02/0.09 o 0
0.02/0.09 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.02/0.09 c presolving:
0.09/0.15 c (round 1) 7861 del vars, 1000 del conss, 0 add conss, 7861 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 31444 impls, 0 clqs
0.09/0.17 c (round 2) 7861 del vars, 1000 del conss, 0 add conss, 7861 chg bounds, 0 chg sides, 0 chg coeffs, 7861 upgd conss, 47166 impls, 0 clqs
0.19/0.21 c (0.2s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (3 rounds):
0.19/0.21 c 7861 deleted vars, 1000 deleted constraints, 0 added constraints, 7861 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21 c 47166 implications, 0 cliques
0.19/0.21 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 7861 constraints
0.19/0.21 c 7861 constraints of type <logicor>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.13
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 2.0.1.5
0.19/0.21 c
0.19/0.21 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c conflict/interconss = 0
0.19/0.21 c
0.19/0.21 c # should binary conflicts be preferred?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c conflict/preferbinary = TRUE
0.19/0.21 c
0.19/0.21 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21 c constraints/agelimit = 1
0.19/0.21 c
0.19/0.21 c # should enforcement of pseudo solution be disabled?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/disableenfops = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1800
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 13950
0.19/0.21 c
0.19/0.21 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.21 c # [type: int, range: [1,2], default: 1]
0.19/0.21 c timing/clocktype = 2
0.19/0.21 c
0.19/0.21 c # belongs reading time to solving time?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c timing/reading = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/indicator/addCouplingCons = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.21 c
0.19/0.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.27 c t 0.3s| 1 | 0 | 519 | - | 26M| 0 | 500 | 500 |7861 | 500 |7861 | 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.19/0.28 o -1
0.19/0.28 c R 0.3s| 1 | 0 | 519 | - | 26M| 0 | 500 | 500 |7861 | 500 |7861 | 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.19/0.29 o -2
0.19/0.29 c s 0.3s| 1 | 0 | 519 | - | 26M| 0 | 500 | 500 |7861 | 500 |7861 | 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.39/0.43 c 0.4s| 1 | 0 | 651 | - | 26M| 0 | 487 | 500 |7861 | 500 |7872 | 11 | 0 | 0 |-2.435000e+02 |-2.000000e+00 | 99.18%
0.39/0.43 o -47
0.39/0.43 c b 0.4s| 1 | 0 | 651 | - | 26M| 0 | 487 | 500 |7861 | 500 |7872 | 11 | 0 | 0 |-2.435000e+02 |-4.700000e+01 | 80.70%
0.49/0.56 c 0.6s| 1 | 0 | 731 | - | 26M| 0 | 482 | 500 |7861 | 500 |7881 | 20 | 0 | 0 |-2.410000e+02 |-4.700000e+01 | 80.50%
0.69/0.72 c 0.7s| 1 | 0 | 893 | - | 26M| 0 | 473 | 500 |7861 | 500 |7895 | 34 | 0 | 0 |-2.365000e+02 |-4.700000e+01 | 80.13%
0.79/0.88 c 0.9s| 1 | 0 | 1039 | - | 26M| 0 | 469 | 500 |7861 | 500 |7905 | 44 | 0 | 0 |-2.345000e+02 |-4.700000e+01 | 79.96%
1.00/1.06 c 1.1s| 1 | 0 | 1253 | - | 26M| 0 | 466 | 500 |7861 | 500 |7911 | 50 | 0 | 0 |-2.330000e+02 |-4.700000e+01 | 79.83%
1.19/1.24 c 1.2s| 1 | 0 | 1418 | - | 26M| 0 | 462 | 500 |7861 | 500 |7925 | 64 | 0 | 0 |-2.300000e+02 |-4.700000e+01 | 79.57%
1.39/1.48 c 1.5s| 1 | 0 | 1801 | - | 26M| 0 | 457 | 500 |7861 | 500 |7938 | 77 | 0 | 0 |-2.270000e+02 |-4.700000e+01 | 79.30%
1.59/1.69 c 1.7s| 1 | 0 | 2086 | - | 27M| 0 | 450 | 500 |7861 | 500 |7953 | 92 | 0 | 0 |-2.240000e+02 |-4.700000e+01 | 79.02%
1.89/1.93 c 1.9s| 1 | 0 | 2408 | - | 27M| 0 | 446 | 500 |7861 | 500 |7968 | 107 | 0 | 0 |-2.220000e+02 |-4.700000e+01 | 78.83%
2.29/2.32 c 2.3s| 1 | 0 | 3266 | - | 27M| 0 | 447 | 500 |7861 | 500 |7981 | 120 | 0 | 0 |-2.195000e+02 |-4.700000e+01 | 78.59%
2.49/2.57 c 2.6s| 1 | 0 | 3611 | - | 28M| 0 | 445 | 500 |7861 | 500 | 936 | 132 | 0 | 0 |-2.180000e+02 |-4.700000e+01 | 78.44%
2.59/2.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.59/2.67 c 2.7s| 1 | 0 | 4138 | - | 28M| 0 | 419 | 500 |7861 | 500 | 950 | 146 | 0 | 0 |-2.155000e+02 |-4.700000e+01 | 78.19%
2.69/2.78 c 2.8s| 1 | 0 | 4555 | - | 28M| 0 | 415 | 500 |7861 | 500 |1119 | 315 | 0 | 0 |-2.145000e+02 |-4.700000e+01 | 78.09%
2.89/2.94 c 2.9s| 1 | 0 | 5586 | - | 29M| 0 | 443 | 500 |7861 | 500 |1292 | 488 | 0 | 0 |-2.133000e+02 |-4.700000e+01 | 77.97%
3.09/3.12 c 3.1s| 1 | 0 | 6555 | - | 29M| 0 | 419 | 500 |7861 | 500 |1614 | 810 | 0 | 0 |-2.115000e+02 |-4.700000e+01 | 77.78%
3.21/3.29 c 3.3s| 1 | 0 | 7680 | - | 29M| 0 | 418 | 500 |7861 | 500 |1663 | 859 | 0 | 0 |-2.090000e+02 |-4.700000e+01 | 77.51%
3.39/3.41 c 3.4s| 1 | 0 | 8163 | - | 29M| 0 | 413 | 500 |7861 | 500 |1385 | 870 | 0 | 0 |-2.075000e+02 |-4.700000e+01 | 77.35%
3.39/3.49 c 3.5s| 1 | 0 | 8405 | - | 29M| 0 | 408 | 500 |7861 | 500 |1438 | 923 | 0 | 0 |-2.070000e+02 |-4.700000e+01 | 77.29%
3.59/3.64 c 3.6s| 1 | 0 | 9171 | - | 29M| 0 | 415 | 500 |7861 | 500 |1504 | 989 | 0 | 0 |-2.060000e+02 |-4.700000e+01 | 77.18%
3.79/3.84 c 3.8s| 1 | 0 | 10233 | - | 30M| 0 | 410 | 500 |7861 | 500 |1680 |1165 | 0 | 0 |-2.050000e+02 |-4.700000e+01 | 77.07%
3.89/3.96 c 4.0s| 1 | 0 | 10789 | - | 30M| 0 | 439 | 500 |7861 | 500 |1686 |1171 | 0 | 0 |-2.035294e+02 |-4.700000e+01 | 76.91%
4.19/4.25 c 4.2s| 1 | 0 | 11614 | - | 30M| 0 | 407 | 500 |7861 | 500 |2801 |2286 | 0 | 0 |-2.024444e+02 |-4.700000e+01 | 76.78%
4.30/4.37 c 4.4s| 1 | 0 | 12016 | - | 31M| 0 | 412 | 500 |7861 | 500 |2508 |2351 | 0 | 0 |-2.015000e+02 |-4.700000e+01 | 76.67%
4.49/4.56 c 4.6s| 1 | 0 | 13113 | - | 31M| 0 | 399 | 500 |7861 | 500 |2554 |2397 | 0 | 0 |-1.995000e+02 |-4.700000e+01 | 76.44%
4.59/4.66 c 4.7s| 1 | 0 | 13533 | - | 31M| 0 | 397 | 500 |7861 | 500 |2579 |2422 | 0 | 0 |-1.981667e+02 |-4.700000e+01 | 76.28%
4.79/4.80 c 4.8s| 1 | 0 | 14261 | - | 31M| 0 | 427 | 500 |7861 | 500 |2652 |2495 | 0 | 0 |-1.960833e+02 |-4.700000e+01 | 76.03%
4.89/4.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.89/4.94 c 4.9s| 1 | 0 | 14855 | - | 31M| 0 | 403 | 500 |7861 | 500 |2819 |2662 | 0 | 0 |-1.940000e+02 |-4.700000e+01 | 75.77%
5.00/5.09 c 5.1s| 1 | 0 | 15476 | - | 32M| 0 | 378 | 500 |7861 | 500 |2863 |2706 | 0 | 0 |-1.920000e+02 |-4.700000e+01 | 75.52%
5.09/5.19 c 5.2s| 1 | 0 | 15874 | - | 32M| 0 | 379 | 500 |7861 | 500 |2263 |2773 | 0 | 0 |-1.910000e+02 |-4.700000e+01 | 75.39%
5.29/5.33 c 5.3s| 1 | 0 | 16671 | - | 32M| 0 | 376 | 500 |7861 | 500 |2311 |2821 | 0 | 0 |-1.897500e+02 |-4.700000e+01 | 75.23%
5.40/5.45 c 5.4s| 1 | 0 | 17309 | - | 32M| 0 | 403 | 500 |7861 | 500 |2355 |2865 | 0 | 0 |-1.887500e+02 |-4.700000e+01 | 75.10%
5.59/5.66 c 5.7s| 1 | 0 | 18855 | - | 32M| 0 | 390 | 500 |7861 | 500 |2468 |2978 | 0 | 0 |-1.870000e+02 |-4.700000e+01 | 74.87%
5.99/6.01 c 6.0s| 1 | 0 | 21233 | - | 33M| 0 | 399 | 500 |7861 | 500 |2703 |3213 | 0 | 0 |-1.845000e+02 |-4.700000e+01 | 74.53%
6.09/6.16 c 6.2s| 1 | 0 | 21913 | - | 33M| 0 | 361 | 500 |7861 | 500 |2770 |3280 | 0 | 0 |-1.835000e+02 |-4.700000e+01 | 74.39%
6.30/6.37 c 6.4s| 1 | 0 | 23031 | - | 33M| 0 | 420 | 500 |7861 | 500 |1518 |3343 | 0 | 0 |-1.822500e+02 |-4.700000e+01 | 74.21%
6.39/6.49 c 6.5s| 1 | 0 | 23526 | - | 33M| 0 | 401 | 500 |7861 | 500 |1804 |3629 | 0 | 0 |-1.820000e+02 |-4.700000e+01 | 74.18%
6.61/6.62 c 6.6s| 1 | 0 | 24129 | - | 33M| 0 | 394 | 500 |7861 | 500 |1881 |3706 | 0 | 0 |-1.816667e+02 |-4.700000e+01 | 74.13%
6.69/6.79 c 6.8s| 1 | 0 | 25241 | - | 34M| 0 | 423 | 500 |7861 | 500 |1895 |3720 | 0 | 0 |-1.806000e+02 |-4.700000e+01 | 73.98%
6.99/7.03 c 7.0s| 1 | 0 | 26698 | - | 34M| 0 | 407 | 500 |7861 | 500 |2118 |3943 | 0 | 0 |-1.798000e+02 |-4.700000e+01 | 73.86%
7.29/7.32 c 7.3s| 1 | 0 | 28554 | - | 34M| 0 | 420 | 500 |7861 | 500 |2216 |4041 | 0 | 0 |-1.787353e+02 |-4.700000e+01 | 73.70%
7.49/7.50 c 7.5s| 1 | 0 | 29187 | - | 35M| 0 | 392 | 500 |7861 | 500 |1821 |4150 | 0 | 0 |-1.780000e+02 |-4.700000e+01 | 73.60%
7.71/7.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.71/7.71 c 7.7s| 1 | 0 | 30273 | - | 36M| 0 | 429 | 500 |7861 | 500 |1869 |4198 | 0 | 0 |-1.780000e+02 |-4.700000e+01 | 73.60%
7.99/8.05 c 8.1s| 1 | 0 | 32049 | - | 37M| 0 | 384 | 500 |7861 | 500 |1954 |4283 | 0 | 0 |-1.780000e+02 |-4.700000e+01 | 73.60%
8.29/8.31 c 8.3s| 1 | 0 | 33686 | - | 37M| 0 | 415 | 500 |7861 | 500 |2021 |4350 | 0 | 0 |-1.774218e+02 |-4.700000e+01 | 73.51%
8.49/8.53 c 8.5s| 1 | 0 | 34492 | - | 38M| 0 | 423 | 500 |7861 | 500 |2154 |4483 | 0 | 0 |-1.765206e+02 |-4.700000e+01 | 73.37%
8.81/8.82 c 8.8s| 1 | 0 | 35470 | - | 38M| 0 | 426 | 500 |7861 | 500 |2319 |4648 | 0 | 0 |-1.754783e+02 |-4.700000e+01 | 73.22%
9.19/9.26 c 9.3s| 1 | 0 | 36948 | - | 39M| 0 | 436 | 500 |7861 | 500 |1913 |4878 | 0 | 0 |-1.736713e+02 |-4.700000e+01 | 72.94%
9.49/9.53 c 9.5s| 1 | 0 | 37809 | - | 39M| 0 | 427 | 500 |7861 | 500 |1971 |4936 | 0 | 0 |-1.730714e+02 |-4.700000e+01 | 72.84%
9.91/9.92 c 9.9s| 1 | 0 | 39511 | - | 40M| 0 | 399 | 500 |7861 | 500 |2039 |5004 | 0 | 0 |-1.719335e+02 |-4.700000e+01 | 72.66%
10.09/10.18 c 10.2s| 1 | 0 | 40673 | - | 41M| 0 | 458 | 500 |7861 | 500 |2093 |5058 | 0 | 0 |-1.714436e+02 |-4.700000e+01 | 72.59%
10.59/10.62 c 10.6s| 1 | 0 | 42237 | - | 41M| 0 | 452 | 500 |7861 | 500 |2211 |5176 | 0 | 0 |-1.701847e+02 |-4.700000e+01 | 72.38%
11.09/11.15 c 11.1s| 1 | 0 | 44391 | - | 41M| 0 | 424 | 500 |7861 | 500 |2261 |5226 | 0 | 0 |-1.689389e+02 |-4.700000e+01 | 72.18%
11.40/11.45 c 11.4s| 1 | 0 | 45661 | - | 43M| 0 | 455 | 500 |7861 | 500 |1926 |5291 | 0 | 0 |-1.679232e+02 |-4.700000e+01 | 72.01%
11.89/11.90 c 11.9s| 1 | 0 | 47649 | - | 43M| 0 | 460 | 500 |7861 | 500 |1990 |5355 | 0 | 0 |-1.669253e+02 |-4.700000e+01 | 71.84%
12.19/12.26 c 12.3s| 1 | 0 | 48536 | - | 43M| 0 | 459 | 500 |7861 | 500 |2213 |5578 | 0 | 0 |-1.662532e+02 |-4.700000e+01 | 71.73%
12.59/12.64 c 12.6s| 1 | 0 | 49471 | - | 43M| 0 | 450 | 500 |7861 | 500 |2259 |5624 | 0 | 0 |-1.654609e+02 |-4.700000e+01 | 71.59%
12.99/13.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.99/13.07 c 13.1s| 1 | 0 | 51017 | - | 44M| 0 | 458 | 500 |7861 | 500 |2308 |5673 | 0 | 0 |-1.647734e+02 |-4.700000e+01 | 71.48%
13.49/13.58 c 13.6s| 1 | 0 | 52923 | - | 44M| 0 | 462 | 500 |7861 | 500 |2377 |5742 | 0 | 0 |-1.636385e+02 |-4.700000e+01 | 71.28%
14.09/14.15 c 14.2s| 1 | 0 | 54945 | - | 44M| 0 | 472 | 500 |7861 | 500 |1966 |5804 | 0 | 0 |-1.624363e+02 |-4.700000e+01 | 71.07%
14.49/14.55 c 14.6s| 1 | 0 | 55967 | - | 44M| 0 | 475 | 500 |7861 | 500 |2023 |5861 | 0 | 0 |-1.615926e+02 |-4.700000e+01 | 70.91%
14.89/14.98 c 15.0s| 1 | 0 | 57131 | - | 44M| 0 | 472 | 500 |7861 | 500 |2059 |5897 | 0 | 0 |-1.609530e+02 |-4.700000e+01 | 70.80%
15.30/15.41 c 15.4s| 1 | 0 | 58289 | - | 44M| 0 | 472 | 500 |7861 | 500 |2143 |5981 | 0 | 0 |-1.603469e+02 |-4.700000e+01 | 70.69%
15.79/15.88 c 15.9s| 1 | 0 | 59513 | - | 44M| 0 | 477 | 500 |7861 | 500 |2221 |6059 | 0 | 0 |-1.596141e+02 |-4.700000e+01 | 70.55%
16.29/16.32 c 16.3s| 1 | 0 | 60426 | - | 44M| 0 | 477 | 500 |7861 | 500 |2288 |6126 | 0 | 0 |-1.593981e+02 |-4.700000e+01 | 70.51%
16.69/16.79 c 16.8s| 1 | 0 | 61338 | - | 44M| 0 | 478 | 500 |7861 | 500 |1980 |6155 | 0 | 0 |-1.590907e+02 |-4.700000e+01 | 70.46%
17.09/17.15 c 17.2s| 1 | 0 | 61917 | - | 44M| 0 | 478 | 500 |7861 | 500 |2000 |6175 | 0 | 0 |-1.587731e+02 |-4.700000e+01 | 70.40%
17.51/17.56 c 17.6s| 1 | 0 | 62728 | - | 44M| 0 | 476 | 500 |7861 | 500 |2037 |6212 | 0 | 0 |-1.583870e+02 |-4.700000e+01 | 70.33%
17.89/17.96 c 18.0s| 1 | 0 | 63424 | - | 44M| 0 | 477 | 500 |7861 | 500 |2074 |6249 | 0 | 0 |-1.580296e+02 |-4.700000e+01 | 70.26%
18.39/18.41 c 18.4s| 1 | 0 | 64424 | - | 44M| 0 | 480 | 500 |7861 | 500 |2115 |6290 | 0 | 0 |-1.576697e+02 |-4.700000e+01 | 70.19%
18.71/18.79 c 18.8s| 1 | 0 | 64964 | - | 44M| 0 | 485 | 500 |7861 | 500 |2162 |6337 | 0 | 0 |-1.574974e+02 |-4.700000e+01 | 70.16%
19.19/19.22 c 19.2s| 1 | 0 | 65645 | - | 44M| 0 | 486 | 500 |7861 | 500 |1973 |6359 | 0 | 0 |-1.572658e+02 |-4.700000e+01 | 70.11%
19.59/19.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.59/19.64 c 19.6s| 1 | 0 | 66672 | - | 44M| 0 | 483 | 500 |7861 | 500 |1998 |6384 | 0 | 0 |-1.568033e+02 |-4.700000e+01 | 70.03%
20.00/20.06 c 20.1s| 1 | 0 | 67688 | - | 44M| 0 | 487 | 500 |7861 | 500 |2029 |6415 | 0 | 0 |-1.563880e+02 |-4.700000e+01 | 69.95%
20.39/20.45 c 20.4s| 1 | 0 | 68290 | - | 44M| 0 | 485 | 500 |7861 | 500 |2051 |6437 | 0 | 0 |-1.560919e+02 |-4.700000e+01 | 69.89%
20.81/20.84 c 20.8s| 1 | 0 | 68857 | - | 44M| 0 | 486 | 500 |7861 | 500 |2086 |6472 | 0 | 0 |-1.557117e+02 |-4.700000e+01 | 69.82%
21.19/21.29 c 21.3s| 1 | 0 | 69817 | - | 44M| 0 | 479 | 500 |7861 | 500 |2126 |6512 | 0 | 0 |-1.550816e+02 |-4.700000e+01 | 69.69%
21.69/21.78 c 21.8s| 1 | 0 | 70908 | - | 44M| 0 | 487 | 500 |7861 | 500 |2032 |6549 | 0 | 0 |-1.546183e+02 |-4.700000e+01 | 69.60%
22.19/22.20 c 22.2s| 1 | 0 | 71820 | - | 44M| 0 | 491 | 500 |7861 | 500 |2064 |6581 | 0 | 0 |-1.542469e+02 |-4.700000e+01 | 69.53%
22.59/22.63 c 22.6s| 1 | 0 | 72632 | - | 44M| 0 | 489 | 500 |7861 | 500 |2100 |6617 | 0 | 0 |-1.539384e+02 |-4.700000e+01 | 69.47%
23.00/23.02 c 23.0s| 1 | 0 | 73111 | - | 44M| 0 | 488 | 500 |7861 | 500 |2117 |6634 | 0 | 0 |-1.537098e+02 |-4.700000e+01 | 69.42%
23.40/23.42 c 23.4s| 1 | 0 | 73669 | - | 44M| 0 | 485 | 500 |7861 | 500 |2129 |6646 | 0 | 0 |-1.534533e+02 |-4.700000e+01 | 69.37%
23.79/23.82 c 23.8s| 1 | 0 | 74215 | - | 44M| 0 | 490 | 500 |7861 | 500 |2153 |6670 | 0 | 0 |-1.532592e+02 |-4.700000e+01 | 69.33%
24.21/24.29 c 24.3s| 1 | 0 | 75070 | - | 44M| 0 | 488 | 500 |7861 | 500 |2075 |6683 | 0 | 0 |-1.529956e+02 |-4.700000e+01 | 69.28%
24.69/24.71 c 24.7s| 1 | 0 | 75753 | - | 44M| 0 | 491 | 500 |7861 | 500 |2095 |6703 | 0 | 0 |-1.526004e+02 |-4.700000e+01 | 69.20%
24.99/25.07 c 25.1s| 1 | 0 | 76018 | - | 44M| 0 | 492 | 500 |7861 | 500 |2116 |6724 | 0 | 0 |-1.524739e+02 |-4.700000e+01 | 69.18%
25.40/25.48 c 25.5s| 1 | 0 | 76580 | - | 44M| 0 | 489 | 500 |7861 | 500 |2132 |6740 | 0 | 0 |-1.522169e+02 |-4.700000e+01 | 69.12%
25.90/25.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.90/25.91 c 25.9s| 1 | 0 | 77294 | - | 44M| 0 | 489 | 500 |7861 | 500 |2151 |6759 | 0 | 0 |-1.518851e+02 |-4.700000e+01 | 69.06%
26.30/26.32 c 26.3s| 1 | 0 | 77729 | - | 44M| 0 | 492 | 500 |7861 | 500 |2170 |6778 | 0 | 0 |-1.516889e+02 |-4.700000e+01 | 69.02%
26.69/26.75 c 26.7s| 1 | 0 | 78323 | - | 44M| 0 | 490 | 500 |7861 | 500 |2097 |6793 | 0 | 0 |-1.514359e+02 |-4.700000e+01 | 68.96%
27.09/27.13 c 27.1s| 1 | 0 | 78666 | - | 44M| 0 | 495 | 500 |7861 | 500 |2119 |6815 | 0 | 0 |-1.513002e+02 |-4.700000e+01 | 68.94%
27.51/27.56 c 27.6s| 1 | 0 | 79302 | - | 44M| 0 | 493 | 500 |7861 | 500 |2129 |6825 | 0 | 0 |-1.510237e+02 |-4.700000e+01 | 68.88%
27.89/27.95 c 28.0s| 1 | 0 | 79803 | - | 44M| 0 | 493 | 500 |7861 | 500 |2156 |6852 | 0 | 0 |-1.508315e+02 |-4.700000e+01 | 68.84%
28.29/28.33 c 28.3s| 1 | 0 | 80047 | - | 44M| 0 | 495 | 500 |7861 | 500 |2169 |6865 | 0 | 0 |-1.507612e+02 |-4.700000e+01 | 68.82%
28.69/28.72 c 28.7s| 1 | 0 | 80380 | - | 44M| 0 | 497 | 500 |7861 | 500 |2176 |6872 | 0 | 0 |-1.506312e+02 |-4.700000e+01 | 68.80%
29.09/29.11 c 29.1s| 1 | 0 | 80660 | - | 44M| 0 | 496 | 500 |7861 | 500 |2131 |6883 | 0 | 0 |-1.504643e+02 |-4.700000e+01 | 68.76%
29.39/29.49 c 29.5s| 1 | 0 | 80985 | - | 44M| 0 | 496 | 500 |7861 | 500 |2138 |6890 | 0 | 0 |-1.503562e+02 |-4.700000e+01 | 68.74%
29.79/29.85 c 29.9s| 1 | 0 | 81214 | - | 44M| 0 | 499 | 500 |7861 | 500 |2144 |6896 | 0 | 0 |-1.502826e+02 |-4.700000e+01 | 68.73%
30.19/30.28 c 30.3s| 1 | 0 | 81858 | - | 44M| 0 | 495 | 500 |7861 | 500 |2156 |6908 | 0 | 0 |-1.500812e+02 |-4.700000e+01 | 68.68%
30.59/30.66 c 30.7s| 1 | 0 | 82214 | - | 44M| 0 | 493 | 500 |7861 | 500 |2167 |6919 | 0 | 0 |-1.499632e+02 |-4.700000e+01 | 68.66%
30.89/30.99 c 31.0s| 1 | 0 | 82314 | - | 44M| 0 | 494 | 500 |7861 | 500 |2178 |6930 | 0 | 0 |-1.499248e+02 |-4.700000e+01 | 68.65%
31.29/31.36 c 31.4s| 1 | 0 | 82594 | - | 44M| 0 | 496 | 500 |7861 | 500 |2116 |6935 | 0 | 0 |-1.498407e+02 |-4.700000e+01 | 68.63%
31.69/31.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.69/31.72 c 31.7s| 1 | 0 | 82835 | - | 44M| 0 | 495 | 500 |7861 | 500 |2127 |6946 | 0 | 0 |-1.497855e+02 |-4.700000e+01 | 68.62%
31.99/32.06 c 32.1s| 1 | 0 | 82986 | - | 44M| 0 | 494 | 500 |7861 | 500 |2140 |6959 | 0 | 0 |-1.497413e+02 |-4.700000e+01 | 68.61%
32.39/32.42 c 32.4s| 1 | 0 | 83199 | - | 44M| 0 | 495 | 500 |7861 | 500 |2148 |6967 | 0 | 0 |-1.496852e+02 |-4.700000e+01 | 68.60%
32.79/32.84 c 32.8s| 1 | 0 | 83831 | - | 44M| 0 | 495 | 500 |7861 | 500 |2159 |6978 | 0 | 0 |-1.495606e+02 |-4.700000e+01 | 68.57%
33.19/33.23 c 33.2s| 1 | 0 | 84381 | - | 44M| 0 | 492 | 500 |7861 | 500 |2173 |6992 | 0 | 0 |-1.494411e+02 |-4.700000e+01 | 68.55%
33.59/33.64 c 33.6s| 1 | 0 | 84995 | - | 44M| 0 | 495 | 500 |7861 | 500 |2131 |7002 | 0 | 0 |-1.493362e+02 |-4.700000e+01 | 68.53%
33.89/34.00 c 34.0s| 1 | 0 | 85293 | - | 44M| 0 | 494 | 500 |7861 | 500 |2142 |7013 | 0 | 0 |-1.492434e+02 |-4.700000e+01 | 68.51%
34.29/34.32 c 34.3s| 1 | 0 | 85387 | - | 43M| 0 | 494 | 500 |7861 | 500 |2156 |7027 | 0 | 0 |-1.492301e+02 |-4.700000e+01 | 68.51%
34.59/34.67 c 34.7s| 1 | 0 | 85653 | - | 43M| 0 | 498 | 500 |7861 | 500 |2166 |7037 | 0 | 0 |-1.491800e+02 |-4.700000e+01 | 68.49%
34.99/35.03 c 35.0s| 1 | 0 | 85981 | - | 43M| 0 | 498 | 500 |7861 | 500 |2177 |7048 | 0 | 0 |-1.491102e+02 |-4.700000e+01 | 68.48%
35.39/35.40 c 35.4s| 1 | 0 | 86406 | - | 42M| 0 | 498 | 500 |7861 | 500 |2189 |7060 | 0 | 0 |-1.489875e+02 |-4.700000e+01 | 68.45%
35.69/35.79 c 35.8s| 1 | 0 | 86997 | - | 42M| 0 | 498 | 500 |7861 | 500 |2162 |7074 | 0 | 0 |-1.489001e+02 |-4.700000e+01 | 68.44%
36.09/36.12 c 36.1s| 1 | 0 | 87258 | - | 42M| 0 | 497 | 500 |7861 | 500 |2170 |7082 | 0 | 0 |-1.488608e+02 |-4.700000e+01 | 68.43%
36.40/36.45 c 36.5s| 1 | 0 | 87605 | - | 42M| 0 | 497 | 500 |7861 | 500 |2181 |7093 | 0 | 0 |-1.487788e+02 |-4.700000e+01 | 68.41%
36.69/36.78 c 36.8s| 1 | 0 | 87857 | - | 42M| 0 | 498 | 500 |7861 | 500 |2192 |7104 | 0 | 0 |-1.487582e+02 |-4.700000e+01 | 68.41%
37.09/37.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.09/37.11 c 37.1s| 1 | 0 | 88165 | - | 42M| 0 | 498 | 500 |7861 | 500 |2205 |7117 | 0 | 0 |-1.487206e+02 |-4.700000e+01 | 68.40%
37.41/37.46 c 37.5s| 1 | 0 | 88611 | - | 42M| 0 | 495 | 500 |7861 | 500 |2218 |7130 | 0 | 0 |-1.486743e+02 |-4.700000e+01 | 68.39%
37.69/37.75 c 37.7s| 1 | 0 | 88630 | - | 41M| 0 | 446 | 500 |7861 | 500 |2174 |7142 | 0 | 0 |-1.486667e+02 |-4.700000e+01 | 68.39%
37.89/37.98 c 38.0s| 1 | 0 | 88631 | - | 41M| 0 | 446 | 500 |7861 | 500 |2175 |7143 | 0 | 0 |-1.486667e+02 |-4.700000e+01 | 68.39%
40.71/40.75 c 40.7s| 1 | 2 | 88631 | - | 41M| 0 | 446 | 500 |7861 | 500 |2175 |7143 | 0 | 22 |-1.486667e+02 |-4.700000e+01 | 68.39%
156.21/156.24 c 156s| 10000 | 10001 | 1592k| 150.4 | 56M| 57 | 64 | 500 |7861 | 500 | 567 | 595k| 0 |2813 |-1.441679e+02 |-4.700000e+01 | 67.40%
229.19/229.20 c 229s| 20000 | 20001 | 2748k| 133.0 | 69M| 61 | 115 | 500 |7861 | 500 | 681 |1178k| 0 |4513 |-1.434022e+02 |-4.700000e+01 | 67.23%
292.70/292.71 c 293s| 30000 | 30001 | 3783k| 123.2 | 83M| 66 | 139 | 500 |7861 | 500 | 726 |1717k| 0 |5636 |-1.429776e+02 |-4.700000e+01 | 67.13%
353.80/353.80 c 354s| 40000 | 40001 | 4803k| 117.9 | 97M| 66 | 34 | 500 |7861 | 500 | 556 |2255k| 0 |6731 |-1.426584e+02 |-4.700000e+01 | 67.05%
413.62/413.69 c 414s| 50000 | 50001 | 5815k| 114.5 | 110M| 66 | 41 | 500 |7861 | 500 | 552 |2809k| 0 |7628 |-1.424143e+02 |-4.700000e+01 | 67.00%
474.30/474.32 c 474s| 60000 | 60001 | 6831k| 112.4 | 124M| 66 | 47 | 500 |7861 | 500 | 565 |3357k| 0 |8457 |-1.421756e+02 |-4.700000e+01 | 66.94%
532.50/532.57 c 533s| 70000 | 70001 | 7826k| 110.5 | 137M| 66 | 116 | 500 |7861 | 500 | 635 |3902k| 0 |9288 |-1.419622e+02 |-4.700000e+01 | 66.89%
589.52/589.56 c 590s| 80000 | 80001 | 8816k| 109.1 | 151M| 66 | 45 | 500 |7861 | 500 | 550 |4458k| 0 |9966 |-1.417907e+02 |-4.700000e+01 | 66.85%
645.10/645.13 c 645s| 90000 | 90001 | 9777k| 107.7 | 164M| 66 | 255 | 500 |7861 | 500 | 849 |5003k| 0 | 10k|-1.416436e+02 |-4.700000e+01 | 66.82%
701.00/701.07 c 701s|100000 |100001 | 10750k| 106.6 | 177M| 68 | 134 | 500 |7861 | 500 | 696 |5564k| 0 | 11k|-1.415034e+02 |-4.700000e+01 | 66.79%
760.80/760.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.80/760.81 c 761s|110000 |110001 | 11779k| 106.3 | 191M| 68 | 41 | 500 |7861 | 500 | 494 |6134k| 0 | 11k|-1.414019e+02 |-4.700000e+01 | 66.76%
815.90/815.96 c 816s|120000 |120001 | 12735k| 105.4 | 204M| 77 | 27 | 500 |7861 | 500 | 594 |6679k| 0 | 12k|-1.412998e+02 |-4.700000e+01 | 66.74%
867.82/867.83 c 868s|130000 |130001 | 13643k| 104.3 | 217M| 77 | 6 | 500 |7861 | 500 | 569 |7208k| 0 | 13k|-1.412069e+02 |-4.700000e+01 | 66.72%
921.50/921.59 c 922s|140000 |140001 | 14578k| 103.5 | 231M| 77 | 115 | 500 |7861 | 500 | 705 |7738k| 0 | 13k|-1.411179e+02 |-4.700000e+01 | 66.69%
972.61/972.60 c 973s|150000 |150001 | 15469k| 102.5 | 244M| 77 | 29 | 500 |7861 | 500 | 494 |8259k| 0 | 14k|-1.410279e+02 |-4.700000e+01 | 66.67%
1024.31/1024.33 c 1024s|160000 |160001 | 16378k| 101.8 | 257M| 77 | 77 | 500 |7861 | 500 | 494 |8773k| 0 | 14k|-1.409471e+02 |-4.700000e+01 | 66.65%
1074.31/1074.33 c 1074s|170000 |170001 | 17265k| 101.0 | 270M| 77 | 41 | 500 |7861 | 500 | 562 |9293k| 0 | 14k|-1.408685e+02 |-4.700000e+01 | 66.64%
1125.33/1125.32 c 1125s|180000 |180001 | 18159k| 100.4 | 283M| 77 | 56 | 500 |7861 | 500 | 593 |9797k| 0 | 15k|-1.407933e+02 |-4.700000e+01 | 66.62%
1177.41/1177.47 c 1177s|190000 |190001 | 19072k| 99.9 | 297M| 77 | 116 | 500 |7861 | 500 | 561 | 10M| 0 | 15k|-1.407197e+02 |-4.700000e+01 | 66.60%
1226.21/1226.22 c 1226s|200000 |200001 | 19940k| 99.3 | 310M| 77 | 66 | 500 |7861 | 500 | 600 | 10M| 0 | 16k|-1.406513e+02 |-4.700000e+01 | 66.58%
1277.62/1277.68 c 1278s|210000 |210001 | 20845k| 98.8 | 323M| 77 | 96 | 500 |7861 | 500 | 733 | 11M| 0 | 16k|-1.405765e+02 |-4.700000e+01 | 66.57%
1327.63/1327.66 c 1328s|220000 |220001 | 21730k| 98.4 | 336M| 77 | 18 | 500 |7861 | 500 | 494 | 11M| 0 | 17k|-1.405166e+02 |-4.700000e+01 | 66.55%
1375.51/1375.52 c 1376s|230000 |230001 | 22583k| 97.8 | 349M| 77 | 149 | 500 |7861 | 500 | 776 | 12M| 0 | 17k|-1.404675e+02 |-4.700000e+01 | 66.54%
1425.53/1425.59 c 1426s|240000 |240001 | 23472k| 97.4 | 362M| 77 | 12 | 500 |7861 | 500 | 558 | 12M| 0 | 17k|-1.404104e+02 |-4.700000e+01 | 66.53%
1475.51/1475.54 c 1476s|250000 |250001 | 24355k| 97.1 | 375M| 77 | 28 | 500 |7861 | 500 | 494 | 13M| 0 | 18k|-1.403557e+02 |-4.700000e+01 | 66.51%
1529.21/1529.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1529.21/1529.26 c 1529s|260000 |260001 | 25291k| 96.9 | 389M| 77 | 3 | 500 |7861 | 500 | 494 | 13M| 0 | 18k|-1.402842e+02 |-4.700000e+01 | 66.50%
1584.62/1584.68 c 1585s|270000 |270001 | 26253k| 96.9 | 402M| 77 | 89 | 500 |7861 | 500 | 623 | 14M| 0 | 18k|-1.402212e+02 |-4.700000e+01 | 66.48%
1633.72/1633.74 c 1634s|280000 |280001 | 27129k| 96.6 | 415M| 77 | 182 | 500 |7861 | 500 | 737 | 14M| 0 | 19k|-1.401800e+02 |-4.700000e+01 | 66.47%
1683.42/1683.40 c 1683s|290000 |290001 | 28009k| 96.3 | 428M| 77 | 104 | 500 |7861 | 500 | 593 | 15M| 0 | 19k|-1.401310e+02 |-4.700000e+01 | 66.46%
1731.62/1731.60 c 1732s|300000 |300001 | 28876k| 96.0 | 441M| 77 | 165 | 500 |7861 | 500 | 570 | 15M| 0 | 19k|-1.400806e+02 |-4.700000e+01 | 66.45%
1744.32/1744.38 o -50
1744.32/1744.38 c p1744s|302976 |302977 | 29112k| 95.8 | 445M| 81 | - | 500 |7861 | 500 | 699 | 16M| 0 | 19k|-1.400706e+02 |-5.000000e+01 | 64.30%
1776.62/1776.60 c 1777s|310000 |310001 | 29686k| 95.5 | 454M| 81 | 119 | 500 |7861 | 500 | 710 | 16M| 0 | 20k|-1.400491e+02 |-5.000000e+01 | 64.30%
1800.02/1800.01 c
1800.02/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.02/1800.01 c Solving Time (sec) : 1800.01
1800.02/1800.01 c Solving Nodes : 315295
1800.02/1800.01 c Primal Bound : -5.00000000000000e+01 (885 solutions)
1800.02/1800.01 c Dual Bound : -1.40030019266096e+02
1800.02/1800.01 c Gap : 64.29 %
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3450691-1307107623/watcher-3450691-1307107623 -o /tmp/evaluation-result-3450691-1307107623/solver-3450691-1307107623 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450691-1307107623.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: 1.92 1.99 1.99 2/498 11536
/proc/meminfo: memFree=28753840/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=16972 CPUtime=0.01 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 3260 0 0 0 1 0 0 0 21 0 1 0 822361911 17379328 3213 33554432000 4194304 9163163 140737382409376 18446744073709551615 8045543 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11536/statm: 4243 3213 415 1214 0 3025 0
[startup+0.0309891 s]
/proc/loadavg: 1.92 1.99 1.99 2/498 11536
/proc/meminfo: memFree=28753840/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=21240 CPUtime=0.02 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 4330 0 0 0 2 0 0 0 21 0 1 0 822361911 21749760 4283 33554432000 4194304 9163163 140737382409376 18446744073709551615 4437575 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11536/statm: 5310 4283 415 1214 0 4092 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21240
[startup+0.100975 s]
/proc/loadavg: 1.92 1.99 1.99 2/498 11536
/proc/meminfo: memFree=28753840/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=43356 CPUtime=0.09 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 9479 0 0 0 9 0 0 0 22 0 1 0 822361911 44396544 9432 33554432000 4194304 9163163 140737382409376 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 10839 9436 505 1214 0 9621 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43356
[startup+0.300955 s]
/proc/loadavg: 1.92 1.99 1.99 2/498 11536
/proc/meminfo: memFree=28753840/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=64700 CPUtime=0.29 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 15461 0 0 0 27 2 0 0 22 0 1 0 822361911 66252800 14959 33554432000 4194304 9163163 140737382409376 18446744073709551615 5889279 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 16175 14959 706 1214 0 14957 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64700
[startup+0.700886 s]
/proc/loadavg: 1.92 1.99 1.99 2/498 11536
/proc/meminfo: memFree=28753840/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=63024 CPUtime=0.69 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 17404 0 0 0 66 3 0 0 24 0 1 0 822361911 64536576 14456 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 15756 14456 723 1214 0 14538 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63024
[startup+1.50075 s]
/proc/loadavg: 1.92 1.99 1.99 3/499 11537
/proc/meminfo: memFree=28695936/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=67872 CPUtime=1.49 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 18755 0 0 0 145 4 0 0 25 0 1 0 822361911 69500928 15709 33554432000 4194304 9163163 140737382409376 18446744073709551615 5279003 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 16968 15709 729 1214 0 15750 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67872
[startup+3.10048 s]
/proc/loadavg: 1.92 1.99 1.99 3/499 11537
/proc/meminfo: memFree=28684900/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=80280 CPUtime=3.09 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 22261 0 0 0 302 7 0 0 25 0 1 0 822361911 82206720 18988 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 20070 18988 733 1214 0 18852 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80280
[startup+6.30096 s]
/proc/loadavg: 1.93 1.99 1.99 3/499 11537
/proc/meminfo: memFree=28662704/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=94960 CPUtime=6.3 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 26032 0 0 0 614 16 0 0 25 0 1 0 822361911 97239040 22606 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 23740 22606 697 1214 0 22522 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 94960
[startup+12.7009 s]
/proc/loadavg: 2.33 2.08 2.02 3/499 11592
/proc/meminfo: memFree=28914884/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=108196 CPUtime=12.69 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 29291 0 0 0 1238 31 0 0 25 0 1 0 822361911 110792704 25843 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 27049 25843 727 1214 0 25831 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 108196
[startup+25.5007 s]
/proc/loadavg: 2.39 2.10 2.03 3/499 11594
/proc/meminfo: memFree=28887912/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=109720 CPUtime=25.49 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 29530 0 0 0 2495 54 0 0 25 0 1 0 822361911 112353280 26076 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 27430 26076 721 1214 0 26212 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 109720
[startup+51.1004 s]
/proc/loadavg: 2.26 2.09 2.03 3/499 11594
/proc/meminfo: memFree=28889000/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=108204 CPUtime=51.09 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 31403 0 0 0 4969 140 0 0 25 0 1 0 822361911 110800896 25812 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 27051 25812 720 1214 0 25833 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 108204
[startup+102.319 s]
/proc/loadavg: 2.22 2.11 2.03 3/499 11596
/proc/meminfo: memFree=28884500/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=110772 CPUtime=102.31 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 54096 0 0 0 9760 471 0 0 25 0 1 0 822361911 113430528 26435 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 27693 26435 727 1214 0 26475 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 110772
[startup+162.301 s]
/proc/loadavg: 2.13 2.10 2.03 3/499 11596
/proc/meminfo: memFree=28863348/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=122564 CPUtime=162.3 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 71275 0 0 0 15351 879 0 0 25 0 1 0 822361911 125505536 29410 33554432000 4194304 9163163 140737382409376 18446744073709551615 4693086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 30641 29410 734 1214 0 29423 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 122564
[startup+222.301 s]
/proc/loadavg: 2.05 2.08 2.03 3/499 11598
/proc/meminfo: memFree=28840892/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=135712 CPUtime=222.29 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 84139 0 0 0 20926 1303 0 0 25 0 1 0 822361911 138969088 32650 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 33928 32650 734 1214 0 32710 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 135712
[startup+282.3 s]
/proc/loadavg: 2.02 2.06 2.02 3/499 11600
/proc/meminfo: memFree=28817820/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=147944 CPUtime=282.29 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 87343 0 0 0 26496 1733 0 0 25 0 1 0 822361911 151494656 35838 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 36986 35838 734 1214 0 35768 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 147944
[startup+342.3 s]
/proc/loadavg: 2.13 2.08 2.03 3/499 11602
/proc/meminfo: memFree=28789156/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=163732 CPUtime=342.3 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 96069 0 0 0 32059 2171 0 0 25 0 1 0 822361911 167661568 39813 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 40933 39813 734 1214 0 39715 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 163732
[startup+402.3 s]
/proc/loadavg: 2.10 2.08 2.03 3/499 11604
/proc/meminfo: memFree=28760628/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=178240 CPUtime=402.29 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 99688 0 0 0 37624 2605 0 0 25 0 1 0 822361911 182517760 43428 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 44560 43428 734 1214 0 43342 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 178240
[startup+462.301 s]
/proc/loadavg: 2.04 2.06 2.02 3/499 11604
/proc/meminfo: memFree=28733568/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=192524 CPUtime=462.29 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 108054 0 0 0 43191 3038 0 0 25 0 1 0 822361911 197144576 47037 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 48131 47037 734 1214 0 46913 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 192524
[startup+522.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/499 11606
/proc/meminfo: memFree=28705152/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=207668 CPUtime=522.3 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 111395 0 0 0 48749 3481 0 0 25 0 1 0 822361911 212652032 50339 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 51917 50339 734 1214 0 50699 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 207668
[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/499 11608
/proc/meminfo: memFree=28679096/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=223432 CPUtime=582.3 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 115411 0 0 0 54300 3930 0 0 25 0 1 0 822361911 228794368 54348 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 55858 54348 734 1214 0 54640 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 223432
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 11614
/proc/meminfo: memFree=28567436/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=278880 CPUtime=822.3 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 129483 0 0 0 76553 5677 0 0 25 0 1 0 822361911 285573120 68420 33554432000 4194304 9163163 140737382409376 18446744073709551615 7225310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 69720 68420 734 1214 0 68502 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 278880
[startup+882.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 11616
/proc/meminfo: memFree=28532960/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=297316 CPUtime=882.31 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 138969 0 0 0 82105 6126 0 0 25 0 1 0 822361911 304451584 73036 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 74329 73036 734 1214 0 73111 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 297316
[startup+942.3 s]
/proc/loadavg: 2.22 2.08 2.02 3/499 11618
/proc/meminfo: memFree=28507408/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=312788 CPUtime=942.3 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 142882 0 0 0 87658 6572 0 0 25 0 1 0 822361911 320294912 76949 33554432000 4194304 9163163 140737382409376 18446744073709551615 7225292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 78197 76949 734 1214 0 76979 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 312788
[startup+1002.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/499 11620
/proc/meminfo: memFree=28478368/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=327032 CPUtime=1002.3 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 151243 0 0 0 93207 7023 0 0 25 0 1 0 822361911 334880768 80521 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 81758 80521 734 1214 0 80540 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 327032
[startup+1062.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/499 11620
/proc/meminfo: memFree=28454804/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=337220 CPUtime=1062.31 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 153891 0 0 0 98760 7471 0 0 25 0 1 0 822361911 345313280 83169 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 84305 83169 734 1214 0 83087 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 337220
[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 11622
/proc/meminfo: memFree=28423796/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=356048 CPUtime=1122.31 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 158586 0 0 0 104323 7908 0 0 25 0 1 0 822361911 364593152 87864 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 89012 87864 734 1214 0 87794 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 356048
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 11624
/proc/meminfo: memFree=28391660/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=371248 CPUtime=1182.31 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 162429 0 0 0 109867 8364 0 0 25 0 1 0 822361911 380157952 91706 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 92812 91706 734 1214 0 91594 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 371248
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 11626
/proc/meminfo: memFree=28360764/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=389484 CPUtime=1242.31 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 166107 0 0 0 115421 8810 0 0 25 0 1 0 822361911 398831616 95384 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 97371 95384 734 1214 0 96153 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 389484
[startup+1302.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/499 11628
/proc/meminfo: memFree=28330484/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=403608 CPUtime=1302.32 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 169632 0 0 0 120971 9261 0 0 25 0 1 0 822361911 413294592 98909 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 100902 98909 734 1214 0 99684 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 403608
[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/499 11628
/proc/meminfo: memFree=28305912/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=420020 CPUtime=1362.31 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 173740 0 0 0 126520 9711 0 0 25 0 1 0 822361911 430100480 103017 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 105005 103017 734 1214 0 103787 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 420020
[startup+1422.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 11630
/proc/meminfo: memFree=28269320/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=438772 CPUtime=1422.33 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 178558 0 0 0 132068 10165 0 0 25 0 1 0 822361911 449302528 107835 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 109693 107835 734 1214 0 108475 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 438772
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 11632
/proc/meminfo: memFree=28237312/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=451048 CPUtime=1482.32 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 181635 0 0 0 137611 10621 0 0 25 0 1 0 822361911 461873152 110911 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 112762 110911 734 1214 0 111544 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 451048
[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/499 11634
/proc/meminfo: memFree=28208896/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=465708 CPUtime=1542.32 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 185330 0 0 0 143167 11065 0 0 25 0 1 0 822361911 476884992 114606 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 116427 114606 734 1214 0 115209 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 465708
[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/499 11636
/proc/meminfo: memFree=28177012/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=482772 CPUtime=1602.32 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 189668 0 0 0 148727 11505 0 0 25 0 1 0 822361911 494358528 118944 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 120693 118944 734 1214 0 119475 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 482772
[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 11636
/proc/meminfo: memFree=28139912/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=502768 CPUtime=1662.32 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 194669 0 0 0 154291 11941 0 0 25 0 1 0 822361911 514834432 123945 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 125692 123945 734 1214 0 124474 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 502768
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 11638
/proc/meminfo: memFree=28111372/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=516640 CPUtime=1722.32 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 198196 0 0 0 159836 12396 0 0 25 0 1 0 822361911 529039360 127472 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 129160 127472 734 1214 0 127942 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 516640
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 11640
/proc/meminfo: memFree=28073300/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=536936 CPUtime=1782.32 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 227519 0 0 0 165378 12854 0 0 25 0 1 0 822361911 549822464 132587 33554432000 4194304 9163163 140737382409376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11536/statm: 134234 132587 734 1214 0 133016 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 536936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 11640
/proc/meminfo: memFree=28064620/32951132 swapFree=57925096/67111528
[pid=11536] ppid=11534 vsize=540336 CPUtime=1800.04 cores=1,3,5,7
/proc/11536/stat : 11536 (scip-2.0.1.4b.l) R 11534 11536 10513 0 -1 4202496 228399 0 0 0 167020 12984 0 0 25 0 1 0 822361911 553304064 133467 33554432000 4194304 9163163 140737382409376 18446744073709551615 8090608 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11536/statm: 135084 133467 734 1214 0 133866 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 540336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.07
CPU user time (s): 1670.2
CPU system time (s): 129.865
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 546556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1670.2
system time used= 129.865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228399
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 5109
runsolver used 8.44871 second user time and 21.0318 second system time
The end