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-3450660-1307105652.opb>
0.09/0.11 c original problem has 19230 variables (19230 bin, 0 int, 0 impl, 0 cont) and 19730 constraints
0.09/0.11 c problem read
0.09/0.11 c presolving settings loaded
0.19/0.23 o 0
0.19/0.23 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.23 c presolving:
0.39/0.42 c (round 1) 18730 del vars, 1000 del conss, 0 add conss, 18730 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74920 impls, 0 clqs
0.39/0.47 c (round 2) 18730 del vars, 1000 del conss, 0 add conss, 18730 chg bounds, 0 chg sides, 0 chg coeffs, 18730 upgd conss, 112380 impls, 0 clqs
0.59/0.64 c (0.6s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.64 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.59/0.64 c presolving (3 rounds):
0.59/0.64 c 18730 deleted vars, 1000 deleted constraints, 0 added constraints, 18730 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.64 c 112380 implications, 0 cliques
0.59/0.64 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18730 constraints
0.59/0.64 c 18730 constraints of type <logicor>
0.59/0.64 c transformed objective value is always integral (scale: 1)
0.59/0.64 c Presolving Time: 0.46
0.59/0.64 c - non default parameters ----------------------------------------------------------------------
0.59/0.64 c # SCIP version 2.0.1.5
0.59/0.64 c
0.59/0.64 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64 c conflict/interconss = 0
0.59/0.64 c
0.59/0.64 c # should binary conflicts be preferred?
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c conflict/preferbinary = TRUE
0.59/0.64 c
0.59/0.64 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.64 c constraints/agelimit = 1
0.59/0.64 c
0.59/0.64 c # should enforcement of pseudo solution be disabled?
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c constraints/disableenfops = TRUE
0.59/0.64 c
0.59/0.64 c # frequency for displaying node information lines
0.59/0.64 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.64 c display/freq = 10000
0.59/0.64 c
0.59/0.64 c # maximal time in seconds to run
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64 c limits/time = 1800
0.59/0.64 c
0.59/0.64 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64 c limits/memory = 13950
0.59/0.64 c
0.59/0.64 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.64 c # [type: int, range: [1,2], default: 1]
0.59/0.64 c timing/clocktype = 2
0.59/0.64 c
0.59/0.64 c # belongs reading time to solving time?
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c timing/reading = TRUE
0.59/0.64 c
0.59/0.64 c # should presolving try to simplify inequalities
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c constraints/linear/simplifyinequalities = TRUE
0.59/0.64 c
0.59/0.64 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c constraints/indicator/addCouplingCons = TRUE
0.59/0.64 c
0.59/0.64 c # should presolving try to simplify knapsacks
0.59/0.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.64 c
0.59/0.64 c -----------------------------------------------------------------------------------------------
0.59/0.64 c start solving
0.59/0.64 c
0.79/0.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.81 c t 0.8s| 1 | 0 | 516 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.79/0.82 o -1
0.79/0.82 c R 0.8s| 1 | 0 | 516 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.79/0.84 o -2
0.79/0.84 c s 0.8s| 1 | 0 | 516 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
1.10/1.18 c 1.2s| 1 | 0 | 651 | - | 60M| 0 | 488 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.440000e+02 |-2.000000e+00 | 99.18%
1.10/1.19 o -23
1.10/1.19 c b 1.2s| 1 | 0 | 651 | - | 60M| 0 | 488 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.440000e+02 |-2.300000e+01 | 90.57%
1.59/1.60 c 1.6s| 1 | 0 | 884 | - | 60M| 0 | 473 | 500 | 18k| 500 | 18k| 22 | 0 | 0 |-2.365000e+02 |-2.300000e+01 | 90.27%
2.10/2.13 c 2.1s| 1 | 0 | 1229 | - | 60M| 0 | 462 | 500 | 18k| 500 | 18k| 35 | 0 | 0 |-2.310000e+02 |-2.300000e+01 | 90.04%
2.59/2.63 c 2.6s| 1 | 0 | 1467 | - | 60M| 0 | 451 | 500 | 18k| 500 | 18k| 49 | 0 | 0 |-2.255000e+02 |-2.300000e+01 | 89.80%
3.09/3.13 c 3.1s| 1 | 0 | 1674 | - | 60M| 0 | 441 | 500 | 18k| 500 | 18k| 59 | 0 | 0 |-2.205000e+02 |-2.300000e+01 | 89.57%
3.49/3.59 c 3.6s| 1 | 0 | 1876 | - | 60M| 0 | 435 | 500 | 18k| 500 | 18k| 70 | 0 | 0 |-2.175000e+02 |-2.300000e+01 | 89.43%
3.99/4.04 c 4.0s| 1 | 0 | 2015 | - | 61M| 0 | 428 | 500 | 18k| 500 | 18k| 82 | 0 | 0 |-2.140000e+02 |-2.300000e+01 | 89.25%
4.59/4.61 c 4.6s| 1 | 0 | 2418 | - | 61M| 0 | 422 | 500 | 18k| 500 | 18k| 90 | 0 | 0 |-2.102500e+02 |-2.300000e+01 | 89.06%
5.19/5.27 c 5.3s| 1 | 0 | 2949 | - | 61M| 0 | 416 | 500 | 18k| 500 | 18k| 103 | 0 | 0 |-2.072500e+02 |-2.300000e+01 | 88.90%
5.79/5.84 c 5.8s| 1 | 0 | 3212 | - | 61M| 0 | 413 | 500 | 18k| 500 | 18k| 112 | 0 | 0 |-2.057500e+02 |-2.300000e+01 | 88.82%
6.39/6.47 c 6.5s| 1 | 0 | 3967 | - | 61M| 0 | 419 | 500 | 18k| 500 |1129 | 120 | 0 | 0 |-2.037083e+02 |-2.300000e+01 | 88.71%
6.61/6.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.61/6.61 c 6.6s| 1 | 0 | 4410 | - | 61M| 0 | 403 | 500 | 18k| 500 |1141 | 132 | 0 | 0 |-2.008750e+02 |-2.300000e+01 | 88.55%
6.69/6.77 c 6.8s| 1 | 0 | 4767 | - | 62M| 0 | 395 | 500 | 18k| 500 |1248 | 239 | 0 | 0 |-1.980000e+02 |-2.300000e+01 | 88.38%
6.89/6.98 c 7.0s| 1 | 0 | 5438 | - | 63M| 0 | 391 | 500 | 18k| 500 |1466 | 457 | 0 | 0 |-1.940000e+02 |-2.300000e+01 | 88.14%
7.19/7.22 c 7.2s| 1 | 0 | 6157 | - | 63M| 0 | 382 | 500 | 18k| 500 |1794 | 785 | 0 | 0 |-1.910000e+02 |-2.300000e+01 | 87.96%
7.29/7.36 c 7.4s| 1 | 0 | 6490 | - | 63M| 0 | 376 | 500 | 18k| 500 |1803 | 794 | 0 | 0 |-1.895000e+02 |-2.300000e+01 | 87.86%
7.49/7.57 c 7.6s| 1 | 0 | 7482 | - | 64M| 0 | 360 | 500 | 18k| 500 |1514 | 886 | 0 | 0 |-1.870000e+02 |-2.300000e+01 | 87.70%
7.71/7.73 c 7.7s| 1 | 0 | 8234 | - | 64M| 0 | 404 | 500 | 18k| 500 |1877 |1249 | 0 | 0 |-1.861000e+02 |-2.300000e+01 | 87.64%
8.09/8.10 c 8.1s| 1 | 0 | 8400 | - | 65M| 0 | 371 | 500 | 18k| 500 |3802 |3174 | 0 | 0 |-1.855000e+02 |-2.300000e+01 | 87.60%
8.19/8.28 c 8.3s| 1 | 0 | 8721 | - | 65M| 0 | 379 | 500 | 18k| 500 |3810 |3182 | 0 | 0 |-1.837500e+02 |-2.300000e+01 | 87.48%
8.39/8.47 c 8.5s| 1 | 0 | 9400 | - | 65M| 0 | 363 | 500 | 18k| 500 |3820 |3192 | 0 | 0 |-1.812500e+02 |-2.300000e+01 | 87.31%
8.59/8.62 c 8.6s| 1 | 0 | 9794 | - | 65M| 0 | 361 | 500 | 18k| 500 |3887 |3259 | 0 | 0 |-1.792500e+02 |-2.300000e+01 | 87.17%
8.70/8.74 c 8.7s| 1 | 0 | 10093 | - | 65M| 0 | 358 | 500 | 18k| 500 |3633 |3406 | 0 | 0 |-1.777500e+02 |-2.300000e+01 | 87.06%
8.89/8.90 c 8.9s| 1 | 0 | 10643 | - | 66M| 0 | 371 | 500 | 18k| 500 |3748 |3521 | 0 | 0 |-1.753333e+02 |-2.300000e+01 | 86.88%
9.09/9.19 c 9.2s| 1 | 0 | 10930 | - | 66M| 0 | 356 | 500 | 18k| 500 |5406 |5179 | 0 | 0 |-1.748750e+02 |-2.300000e+01 | 86.85%
9.39/9.44 c 9.4s| 1 | 0 | 12007 | - | 66M| 0 | 345 | 500 | 18k| 500 |5415 |5188 | 0 | 0 |-1.725000e+02 |-2.300000e+01 | 86.67%
9.49/9.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.49/9.53 c 9.5s| 1 | 0 | 12151 | - | 66M| 0 | 340 | 500 | 18k| 500 |5424 |5197 | 0 | 0 |-1.710000e+02 |-2.300000e+01 | 86.55%
9.69/9.70 c 9.7s| 1 | 0 | 12648 | - | 67M| 0 | 337 | 500 | 18k| 500 |5468 |5241 | 0 | 0 |-1.683333e+02 |-2.300000e+01 | 86.34%
9.80/9.84 c 9.8s| 1 | 0 | 13048 | - | 67M| 0 | 331 | 500 | 18k| 500 |2665 |5282 | 0 | 0 |-1.675000e+02 |-2.300000e+01 | 86.27%
9.91/9.93 c 9.9s| 1 | 0 | 13245 | - | 67M| 0 | 336 | 500 | 18k| 500 |2766 |5383 | 0 | 0 |-1.668750e+02 |-2.300000e+01 | 86.22%
9.99/10.08 c 10.1s| 1 | 0 | 13884 | - | 67M| 0 | 353 | 500 | 18k| 500 |2921 |5538 | 0 | 0 |-1.657500e+02 |-2.300000e+01 | 86.12%
10.19/10.25 c 10.3s| 1 | 0 | 14553 | - | 67M| 0 | 335 | 500 | 18k| 500 |3419 |6036 | 0 | 0 |-1.631250e+02 |-2.300000e+01 | 85.90%
10.39/10.46 c 10.5s| 1 | 0 | 15360 | - | 67M| 0 | 339 | 500 | 18k| 500 |3610 |6227 | 0 | 0 |-1.616250e+02 |-2.300000e+01 | 85.77%
10.69/10.72 c 10.7s| 1 | 0 | 16272 | - | 68M| 0 | 349 | 500 | 18k| 500 |3929 |6546 | 0 | 0 |-1.600000e+02 |-2.300000e+01 | 85.62%
10.90/10.92 c 10.9s| 1 | 0 | 16923 | - | 68M| 0 | 350 | 500 | 18k| 500 |2120 |6715 | 0 | 0 |-1.586667e+02 |-2.300000e+01 | 85.50%
11.09/11.10 c 11.1s| 1 | 0 | 17796 | - | 68M| 0 | 366 | 500 | 18k| 500 |2254 |6849 | 0 | 0 |-1.565652e+02 |-2.300000e+01 | 85.31%
11.29/11.38 c 11.4s| 1 | 0 | 18305 | - | 69M| 0 | 363 | 500 | 18k| 500 |3653 |8248 | 0 | 0 |-1.562619e+02 |-2.300000e+01 | 85.28%
11.49/11.58 c 11.6s| 1 | 0 | 19073 | - | 69M| 0 | 354 | 500 | 18k| 500 |3689 |8284 | 0 | 0 |-1.553889e+02 |-2.300000e+01 | 85.20%
11.79/11.84 c 11.8s| 1 | 0 | 20090 | - | 69M| 0 | 317 | 500 | 18k| 500 |3871 |8466 | 0 | 0 |-1.536667e+02 |-2.300000e+01 | 85.03%
12.10/12.11 c 12.1s| 1 | 0 | 20950 | - | 69M| 0 | 353 | 500 | 18k| 500 |3914 |8509 | 0 | 0 |-1.529187e+02 |-2.300000e+01 | 84.96%
12.40/12.43 c 12.4s| 1 | 0 | 21628 | - | 70M| 0 | 356 | 500 | 18k| 500 |3706 |8729 | 0 | 0 |-1.516667e+02 |-2.300000e+01 | 84.84%
12.69/12.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.69/12.74 c 12.7s| 1 | 0 | 22731 | - | 70M| 0 | 336 | 500 | 18k| 500 |3857 |8880 | 0 | 0 |-1.503000e+02 |-2.300000e+01 | 84.70%
12.89/12.99 c 13.0s| 1 | 0 | 23668 | - | 71M| 0 | 362 | 500 | 18k| 500 |4142 |9165 | 0 | 0 |-1.492270e+02 |-2.300000e+01 | 84.59%
13.29/13.37 c 13.4s| 1 | 0 | 24862 | - | 72M| 0 | 374 | 500 | 18k| 500 |4382 |9405 | 0 | 0 |-1.480357e+02 |-2.300000e+01 | 84.46%
13.69/13.77 c 13.8s| 1 | 0 | 25970 | - | 74M| 0 | 374 | 500 | 18k| 500 |4496 |9519 | 0 | 0 |-1.470210e+02 |-2.300000e+01 | 84.36%
14.39/14.44 c 14.4s| 1 | 0 | 28327 | - | 75M| 0 | 384 | 500 | 18k| 500 |4556 |9579 | 0 | 0 |-1.452619e+02 |-2.300000e+01 | 84.17%
15.40/15.45 c 15.4s| 1 | 0 | 29364 | - | 75M| 0 | 365 | 500 | 18k| 500 |3246 | 10k| 0 | 0 |-1.440170e+02 |-2.300000e+01 | 84.03%
15.89/15.90 c 15.9s| 1 | 0 | 30872 | - | 77M| 0 | 377 | 500 | 18k| 500 |3293 | 10k| 0 | 0 |-1.425057e+02 |-2.300000e+01 | 83.86%
16.40/16.46 c 16.5s| 1 | 0 | 32272 | - | 77M| 0 | 373 | 500 | 18k| 500 |3372 | 10k| 0 | 0 |-1.406871e+02 |-2.300000e+01 | 83.65%
16.89/16.95 c 17.0s| 1 | 0 | 33319 | - | 78M| 0 | 370 | 500 | 18k| 500 |3580 | 10k| 0 | 0 |-1.394802e+02 |-2.300000e+01 | 83.51%
17.39/17.47 c 17.5s| 1 | 0 | 34184 | - | 78M| 0 | 376 | 500 | 18k| 500 |3691 | 10k| 0 | 0 |-1.383648e+02 |-2.300000e+01 | 83.38%
17.99/18.02 c 18.0s| 1 | 0 | 35144 | - | 78M| 0 | 372 | 500 | 18k| 500 |3732 | 10k| 0 | 0 |-1.373796e+02 |-2.300000e+01 | 83.26%
18.60/18.64 c 18.6s| 1 | 0 | 36103 | - | 78M| 0 | 380 | 500 | 18k| 500 |3014 | 10k| 0 | 0 |-1.365816e+02 |-2.300000e+01 | 83.16%
19.30/19.39 c 19.4s| 1 | 0 | 38192 | - | 78M| 0 | 375 | 500 | 18k| 500 |3164 | 10k| 0 | 0 |-1.347440e+02 |-2.300000e+01 | 82.93%
20.09/20.10 c 20.1s| 1 | 0 | 39803 | - | 78M| 0 | 381 | 500 | 18k| 500 |3264 | 11k| 0 | 0 |-1.333155e+02 |-2.300000e+01 | 82.75%
20.91/20.96 c 21.0s| 1 | 0 | 41916 | - | 79M| 0 | 388 | 500 | 18k| 500 |3421 | 11k| 0 | 0 |-1.323045e+02 |-2.300000e+01 | 82.62%
21.69/21.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.69/21.71 c 21.7s| 1 | 0 | 43373 | - | 79M| 0 | 389 | 500 | 18k| 500 |3467 | 11k| 0 | 0 |-1.315231e+02 |-2.300000e+01 | 82.51%
22.59/22.64 c 22.6s| 1 | 0 | 45561 | - | 79M| 0 | 390 | 500 | 18k| 500 |3606 | 11k| 0 | 0 |-1.303880e+02 |-2.300000e+01 | 82.36%
23.39/23.50 c 23.5s| 1 | 0 | 47129 | - | 79M| 0 | 410 | 500 | 18k| 500 |2919 | 11k| 0 | 0 |-1.294052e+02 |-2.300000e+01 | 82.23%
24.20/24.24 c 24.2s| 1 | 0 | 48923 | - | 79M| 0 | 411 | 500 | 18k| 500 |3019 | 11k| 0 | 0 |-1.280800e+02 |-2.300000e+01 | 82.04%
24.99/25.00 c 25.0s| 1 | 0 | 50150 | - | 79M| 0 | 397 | 500 | 18k| 500 |3255 | 11k| 0 | 0 |-1.272110e+02 |-2.300000e+01 | 81.92%
25.69/25.77 c 25.8s| 1 | 0 | 51606 | - | 79M| 0 | 408 | 500 | 18k| 500 |3319 | 11k| 0 | 0 |-1.263644e+02 |-2.300000e+01 | 81.80%
26.49/26.57 c 26.6s| 1 | 0 | 52917 | - | 79M| 0 | 407 | 500 | 18k| 500 |3397 | 11k| 0 | 0 |-1.254616e+02 |-2.300000e+01 | 81.67%
27.29/27.30 c 27.3s| 1 | 0 | 53811 | - | 79M| 0 | 412 | 500 | 18k| 500 |3444 | 11k| 0 | 0 |-1.249142e+02 |-2.300000e+01 | 81.59%
27.99/28.06 c 28.1s| 1 | 0 | 54702 | - | 79M| 0 | 406 | 500 | 18k| 500 |2910 | 11k| 0 | 0 |-1.246002e+02 |-2.300000e+01 | 81.54%
28.79/28.81 c 28.8s| 1 | 0 | 56300 | - | 79M| 0 | 407 | 500 | 18k| 500 |2928 | 12k| 0 | 0 |-1.238357e+02 |-2.300000e+01 | 81.43%
29.39/29.48 c 29.5s| 1 | 0 | 57446 | - | 79M| 0 | 411 | 500 | 18k| 500 |2950 | 12k| 0 | 0 |-1.234428e+02 |-2.300000e+01 | 81.37%
30.09/30.19 c 30.2s| 1 | 0 | 58638 | - | 79M| 0 | 407 | 500 | 18k| 500 |2964 | 12k| 0 | 0 |-1.228412e+02 |-2.300000e+01 | 81.28%
30.89/30.97 c 31.0s| 1 | 0 | 60271 | - | 79M| 0 | 404 | 500 | 18k| 500 |3022 | 12k| 0 | 0 |-1.223880e+02 |-2.300000e+01 | 81.21%
31.80/31.85 c 31.8s| 1 | 0 | 62544 | - | 79M| 0 | 420 | 500 | 18k| 500 |3058 | 12k| 0 | 0 |-1.214273e+02 |-2.300000e+01 | 81.06%
32.69/32.70 c 32.7s| 1 | 0 | 64352 | - | 79M| 0 | 414 | 500 | 18k| 500 |2693 | 12k| 0 | 0 |-1.208973e+02 |-2.300000e+01 | 80.98%
33.29/33.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.29/33.30 c 33.3s| 1 | 0 | 65235 | - | 79M| 0 | 419 | 500 | 18k| 500 |2712 | 12k| 0 | 0 |-1.204007e+02 |-2.300000e+01 | 80.90%
34.19/34.20 c 34.2s| 1 | 0 | 67547 | - | 79M| 0 | 420 | 500 | 18k| 500 |2760 | 12k| 0 | 0 |-1.198759e+02 |-2.300000e+01 | 80.81%
34.89/34.95 c 34.9s| 1 | 0 | 68837 | - | 79M| 0 | 420 | 500 | 18k| 500 |2840 | 12k| 0 | 0 |-1.195846e+02 |-2.300000e+01 | 80.77%
35.69/35.78 c 35.8s| 1 | 0 | 70618 | - | 79M| 0 | 415 | 500 | 18k| 500 |2896 | 12k| 0 | 0 |-1.189443e+02 |-2.300000e+01 | 80.66%
36.59/36.67 c 36.7s| 1 | 0 | 72451 | - | 79M| 0 | 415 | 500 | 18k| 500 |2945 | 12k| 0 | 0 |-1.182793e+02 |-2.300000e+01 | 80.55%
37.49/37.51 c 37.5s| 1 | 0 | 73955 | - | 79M| 0 | 422 | 500 | 18k| 500 |2818 | 12k| 0 | 0 |-1.179083e+02 |-2.300000e+01 | 80.49%
38.19/38.25 c 38.3s| 1 | 0 | 75032 | - | 79M| 0 | 422 | 500 | 18k| 500 |2857 | 12k| 0 | 0 |-1.175860e+02 |-2.300000e+01 | 80.44%
38.90/38.93 c 38.9s| 1 | 0 | 75827 | - | 79M| 0 | 428 | 500 | 18k| 500 |2891 | 12k| 0 | 0 |-1.172940e+02 |-2.300000e+01 | 80.39%
39.69/39.71 c 39.7s| 1 | 0 | 77023 | - | 79M| 0 | 431 | 500 | 18k| 500 |2947 | 12k| 0 | 0 |-1.168085e+02 |-2.300000e+01 | 80.31%
40.49/40.55 c 40.5s| 1 | 0 | 78402 | - | 79M| 0 | 434 | 500 | 18k| 500 |2968 | 12k| 0 | 0 |-1.163432e+02 |-2.300000e+01 | 80.23%
41.19/41.29 c 41.3s| 1 | 0 | 79317 | - | 79M| 0 | 437 | 500 | 18k| 500 |3017 | 12k| 0 | 0 |-1.161390e+02 |-2.300000e+01 | 80.20%
41.99/42.05 c 42.1s| 1 | 0 | 80237 | - | 79M| 0 | 438 | 500 | 18k| 500 |2887 | 12k| 0 | 0 |-1.159730e+02 |-2.300000e+01 | 80.17%
42.69/42.80 c 42.8s| 1 | 0 | 81192 | - | 79M| 0 | 441 | 500 | 18k| 500 |2899 | 12k| 0 | 0 |-1.158110e+02 |-2.300000e+01 | 80.14%
43.39/43.43 c 43.4s| 1 | 0 | 81593 | - | 79M| 0 | 441 | 500 | 18k| 500 |2927 | 12k| 0 | 0 |-1.157203e+02 |-2.300000e+01 | 80.12%
44.50/44.50 c 44.5s| 1 | 0 | 83984 | - | 79M| 0 | 452 | 500 | 18k| 500 |2942 | 12k| 0 | 0 |-1.152226e+02 |-2.300000e+01 | 80.04%
45.29/45.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.29/45.32 c 45.3s| 1 | 0 | 85148 | - | 79M| 0 | 449 | 500 | 18k| 500 |2974 | 12k| 0 | 0 |-1.148839e+02 |-2.300000e+01 | 79.98%
45.99/46.08 c 46.1s| 1 | 0 | 85987 | - | 79M| 0 | 450 | 500 | 18k| 500 |2990 | 12k| 0 | 0 |-1.145820e+02 |-2.300000e+01 | 79.93%
46.89/46.93 c 46.9s| 1 | 0 | 87123 | - | 79M| 0 | 454 | 500 | 18k| 500 |2852 | 12k| 0 | 0 |-1.142527e+02 |-2.300000e+01 | 79.87%
47.69/47.70 c 47.7s| 1 | 0 | 88067 | - | 79M| 0 | 453 | 500 | 18k| 500 |2876 | 12k| 0 | 0 |-1.139570e+02 |-2.300000e+01 | 79.82%
48.49/48.50 c 48.5s| 1 | 0 | 89287 | - | 79M| 0 | 455 | 500 | 18k| 500 |2891 | 12k| 0 | 0 |-1.136535e+02 |-2.300000e+01 | 79.76%
49.29/49.40 c 49.4s| 1 | 0 | 90674 | - | 79M| 0 | 459 | 500 | 18k| 500 |2903 | 12k| 0 | 0 |-1.132164e+02 |-2.300000e+01 | 79.68%
50.19/50.21 c 50.2s| 1 | 0 | 91657 | - | 79M| 0 | 454 | 500 | 18k| 500 |2919 | 12k| 0 | 0 |-1.128675e+02 |-2.300000e+01 | 79.62%
50.99/51.04 c 51.0s| 1 | 0 | 92873 | - | 79M| 0 | 460 | 500 | 18k| 500 |2957 | 12k| 0 | 0 |-1.125001e+02 |-2.300000e+01 | 79.56%
51.79/51.81 c 51.8s| 1 | 0 | 93614 | - | 79M| 0 | 456 | 500 | 18k| 500 |2910 | 12k| 0 | 0 |-1.122898e+02 |-2.300000e+01 | 79.52%
52.40/52.49 c 52.5s| 1 | 0 | 94150 | - | 79M| 0 | 464 | 500 | 18k| 500 |2929 | 12k| 0 | 0 |-1.121098e+02 |-2.300000e+01 | 79.48%
53.09/53.16 c 53.2s| 1 | 0 | 94630 | - | 79M| 0 | 470 | 500 | 18k| 500 |2947 | 13k| 0 | 0 |-1.119526e+02 |-2.300000e+01 | 79.46%
53.80/53.82 c 53.8s| 1 | 0 | 94949 | - | 79M| 0 | 470 | 500 | 18k| 500 |2962 | 13k| 0 | 0 |-1.118651e+02 |-2.300000e+01 | 79.44%
54.60/54.60 c 54.6s| 1 | 0 | 95600 | - | 79M| 0 | 472 | 500 | 18k| 500 |2969 | 13k| 0 | 0 |-1.116956e+02 |-2.300000e+01 | 79.41%
55.29/55.34 c 55.3s| 1 | 0 | 96124 | - | 79M| 0 | 469 | 500 | 18k| 500 |2984 | 13k| 0 | 0 |-1.114679e+02 |-2.300000e+01 | 79.37%
56.00/56.11 c 56.1s| 1 | 0 | 96903 | - | 79M| 0 | 477 | 500 | 18k| 500 |2948 | 13k| 0 | 0 |-1.111964e+02 |-2.300000e+01 | 79.32%
56.90/56.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.90/56.91 c 56.9s| 1 | 0 | 97788 | - | 79M| 0 | 477 | 500 | 18k| 500 |2960 | 13k| 0 | 0 |-1.109426e+02 |-2.300000e+01 | 79.27%
57.59/57.62 c 57.6s| 1 | 0 | 98339 | - | 79M| 0 | 475 | 500 | 18k| 500 |2977 | 13k| 0 | 0 |-1.107517e+02 |-2.300000e+01 | 79.23%
58.31/58.39 c 58.4s| 1 | 0 | 99020 | - | 79M| 0 | 475 | 500 | 18k| 500 |2993 | 13k| 0 | 0 |-1.105192e+02 |-2.300000e+01 | 79.19%
59.09/59.15 c 59.2s| 1 | 0 | 99723 | - | 79M| 0 | 479 | 500 | 18k| 500 |3006 | 13k| 0 | 0 |-1.104113e+02 |-2.300000e+01 | 79.17%
59.79/59.88 c 59.9s| 1 | 0 |100231 | - | 79M| 0 | 477 | 500 | 18k| 500 |3016 | 13k| 0 | 0 |-1.102688e+02 |-2.300000e+01 | 79.14%
60.50/60.57 c 60.6s| 1 | 0 |100520 | - | 79M| 0 | 482 | 500 | 18k| 500 |2965 | 13k| 0 | 0 |-1.101923e+02 |-2.300000e+01 | 79.13%
61.19/61.24 c 61.2s| 1 | 0 |100873 | - | 79M| 0 | 482 | 500 | 18k| 500 |2977 | 13k| 0 | 0 |-1.101390e+02 |-2.300000e+01 | 79.12%
61.90/61.91 c 61.9s| 1 | 0 |101173 | - | 79M| 0 | 480 | 500 | 18k| 500 |2986 | 13k| 0 | 0 |-1.100644e+02 |-2.300000e+01 | 79.10%
62.61/62.70 c 62.7s| 1 | 0 |101718 | - | 78M| 0 | 484 | 500 | 18k| 500 |2994 | 13k| 0 | 0 |-1.098066e+02 |-2.300000e+01 | 79.05%
63.39/63.42 c 63.4s| 1 | 0 |102022 | - | 78M| 0 | 481 | 500 | 18k| 500 |3003 | 13k| 0 | 0 |-1.096969e+02 |-2.300000e+01 | 79.03%
64.09/64.11 c 64.1s| 1 | 0 |102363 | - | 78M| 0 | 482 | 500 | 18k| 500 |3020 | 13k| 0 | 0 |-1.095743e+02 |-2.300000e+01 | 79.01%
64.80/64.85 c 64.9s| 1 | 0 |102859 | - | 78M| 0 | 484 | 500 | 18k| 500 |2991 | 13k| 0 | 0 |-1.094230e+02 |-2.300000e+01 | 78.98%
65.49/65.58 c 65.6s| 1 | 0 |103284 | - | 77M| 0 | 484 | 500 | 18k| 500 |3005 | 13k| 0 | 0 |-1.092941e+02 |-2.300000e+01 | 78.96%
66.29/66.32 c 66.3s| 1 | 0 |103768 | - | 77M| 0 | 483 | 500 | 18k| 500 |3016 | 13k| 0 | 0 |-1.091649e+02 |-2.300000e+01 | 78.93%
67.01/67.04 c 67.0s| 1 | 0 |104197 | - | 77M| 0 | 485 | 500 | 18k| 500 |3028 | 13k| 0 | 0 |-1.090734e+02 |-2.300000e+01 | 78.91%
67.69/67.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.69/67.76 c 67.8s| 1 | 0 |104585 | - | 76M| 0 | 485 | 500 | 18k| 500 |3040 | 13k| 0 | 0 |-1.089571e+02 |-2.300000e+01 | 78.89%
68.39/68.45 c 68.4s| 1 | 0 |104869 | - | 76M| 0 | 485 | 500 | 18k| 500 |3052 | 13k| 0 | 0 |-1.088448e+02 |-2.300000e+01 | 78.87%
69.09/69.16 c 69.2s| 1 | 0 |105155 | - | 76M| 0 | 482 | 500 | 18k| 500 |3024 | 13k| 0 | 0 |-1.087825e+02 |-2.300000e+01 | 78.86%
69.89/69.94 c 69.9s| 1 | 0 |105809 | - | 76M| 0 | 490 | 500 | 18k| 500 |3035 | 13k| 0 | 0 |-1.086739e+02 |-2.300000e+01 | 78.84%
70.59/70.65 c 70.6s| 1 | 0 |106096 | - | 76M| 0 | 494 | 500 | 18k| 500 |3044 | 13k| 0 | 0 |-1.085799e+02 |-2.300000e+01 | 78.82%
71.51/71.53 c 71.5s| 1 | 0 |107030 | - | 76M| 0 | 486 | 500 | 18k| 500 |3053 | 13k| 0 | 0 |-1.084261e+02 |-2.300000e+01 | 78.79%
72.19/72.23 c 72.2s| 1 | 0 |107371 | - | 76M| 0 | 489 | 500 | 18k| 500 |3065 | 13k| 0 | 0 |-1.083703e+02 |-2.300000e+01 | 78.78%
72.89/72.99 c 73.0s| 1 | 0 |107820 | - | 76M| 0 | 494 | 500 | 18k| 500 |3076 | 13k| 0 | 0 |-1.082445e+02 |-2.300000e+01 | 78.75%
73.79/73.82 c 73.8s| 1 | 0 |108290 | - | 76M| 0 | 489 | 500 | 18k| 500 |3037 | 13k| 0 | 0 |-1.081126e+02 |-2.300000e+01 | 78.73%
74.59/74.61 c 74.6s| 1 | 0 |108874 | - | 76M| 0 | 488 | 500 | 18k| 500 |3048 | 13k| 0 | 0 |-1.080202e+02 |-2.300000e+01 | 78.71%
75.29/75.38 c 75.4s| 1 | 0 |109370 | - | 76M| 0 | 492 | 500 | 18k| 500 |3067 | 13k| 0 | 0 |-1.078470e+02 |-2.300000e+01 | 78.67%
76.09/76.16 c 76.2s| 1 | 0 |109917 | - | 76M| 0 | 489 | 500 | 18k| 500 |3084 | 13k| 0 | 0 |-1.077217e+02 |-2.300000e+01 | 78.65%
76.90/76.96 c 77.0s| 1 | 0 |110474 | - | 76M| 0 | 494 | 500 | 18k| 500 |3096 | 13k| 0 | 0 |-1.075683e+02 |-2.300000e+01 | 78.62%
77.59/77.68 c 77.7s| 1 | 0 |110766 | - | 75M| 0 | 492 | 500 | 18k| 500 |3104 | 13k| 0 | 0 |-1.075052e+02 |-2.300000e+01 | 78.61%
78.50/78.58 c 78.6s| 1 | 0 |111621 | - | 75M| 0 | 496 | 500 | 18k| 500 |3081 | 13k| 0 | 0 |-1.073705e+02 |-2.300000e+01 | 78.58%
79.29/79.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.29/79.35 c 79.4s| 1 | 0 |111959 | - | 75M| 0 | 493 | 500 | 18k| 500 |3091 | 13k| 0 | 0 |-1.073084e+02 |-2.300000e+01 | 78.57%
80.09/80.14 c 80.1s| 1 | 0 |112398 | - | 75M| 0 | 493 | 500 | 18k| 500 |3103 | 13k| 0 | 0 |-1.072323e+02 |-2.300000e+01 | 78.55%
80.79/80.88 c 80.9s| 1 | 0 |112699 | - | 75M| 0 | 494 | 500 | 18k| 500 |3119 | 13k| 0 | 0 |-1.071825e+02 |-2.300000e+01 | 78.54%
81.59/81.64 c 81.6s| 1 | 0 |113094 | - | 74M| 0 | 494 | 500 | 18k| 500 |3129 | 13k| 0 | 0 |-1.070956e+02 |-2.300000e+01 | 78.52%
82.29/82.38 c 82.4s| 1 | 0 |113398 | - | 74M| 0 | 496 | 500 | 18k| 500 |3138 | 13k| 0 | 0 |-1.070365e+02 |-2.300000e+01 | 78.51%
83.09/83.18 c 83.2s| 1 | 0 |113790 | - | 73M| 0 | 495 | 500 | 18k| 500 |3093 | 13k| 0 | 0 |-1.069434e+02 |-2.300000e+01 | 78.49%
83.89/83.99 c 84.0s| 1 | 0 |114261 | - | 73M| 0 | 494 | 500 | 18k| 500 |3102 | 13k| 0 | 0 |-1.068149e+02 |-2.300000e+01 | 78.47%
84.70/84.76 c 84.8s| 1 | 0 |114624 | - | 73M| 0 | 492 | 500 | 18k| 500 |3111 | 13k| 0 | 0 |-1.067344e+02 |-2.300000e+01 | 78.45%
85.49/85.58 c 85.6s| 1 | 0 |115130 | - | 73M| 0 | 494 | 500 | 18k| 500 |3129 | 13k| 0 | 0 |-1.066026e+02 |-2.300000e+01 | 78.42%
86.29/86.39 c 86.4s| 1 | 0 |115567 | - | 73M| 0 | 495 | 500 | 18k| 500 |3140 | 13k| 0 | 0 |-1.065281e+02 |-2.300000e+01 | 78.41%
87.19/87.22 c 87.2s| 1 | 0 |115992 | - | 73M| 0 | 496 | 500 | 18k| 500 |3153 | 13k| 0 | 0 |-1.064552e+02 |-2.300000e+01 | 78.39%
88.01/88.03 c 88.0s| 1 | 0 |116384 | - | 72M| 0 | 497 | 500 | 18k| 500 |3119 | 13k| 0 | 0 |-1.063792e+02 |-2.300000e+01 | 78.38%
88.79/88.83 c 88.8s| 1 | 0 |116895 | - | 72M| 0 | 494 | 500 | 18k| 500 |3128 | 13k| 0 | 0 |-1.063074e+02 |-2.300000e+01 | 78.36%
89.50/89.57 c 89.6s| 1 | 0 |117154 | - | 72M| 0 | 497 | 500 | 18k| 500 |3141 | 13k| 0 | 0 |-1.062470e+02 |-2.300000e+01 | 78.35%
90.29/90.33 c 90.3s| 1 | 0 |117418 | - | 71M| 0 | 498 | 500 | 18k| 500 |3151 | 13k| 0 | 0 |-1.061924e+02 |-2.300000e+01 | 78.34%
91.09/91.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.09/91.10 c 91.1s| 1 | 0 |117787 | - | 69M| 0 | 498 | 500 | 18k| 500 |3165 | 13k| 0 | 0 |-1.061578e+02 |-2.300000e+01 | 78.33%
91.89/91.91 c 91.9s| 1 | 0 |118234 | - | 68M| 0 | 496 | 500 | 18k| 500 |3179 | 13k| 0 | 0 |-1.060817e+02 |-2.300000e+01 | 78.32%
92.59/92.62 c 92.6s| 1 | 0 |118385 | - | 67M| 0 | 498 | 500 | 18k| 500 |3128 | 13k| 0 | 0 |-1.060693e+02 |-2.300000e+01 | 78.32%
93.29/93.35 c 93.4s| 1 | 0 |118595 | - | 65M| 0 | 498 | 500 | 18k| 500 |3138 | 13k| 0 | 0 |-1.060456e+02 |-2.300000e+01 | 78.31%
93.99/94.09 c 94.1s| 1 | 0 |118843 | - | 65M| 0 | 498 | 500 | 18k| 500 |3148 | 13k| 0 | 0 |-1.060070e+02 |-2.300000e+01 | 78.30%
94.89/94.92 c 94.9s| 1 | 0 |119355 | - | 64M| 0 | 500 | 500 | 18k| 500 |3157 | 13k| 0 | 0 |-1.059237e+02 |-2.300000e+01 | 78.29%
95.61/95.69 c 95.7s| 1 | 0 |119714 | - | 64M| 0 | 499 | 500 | 18k| 500 |3175 | 13k| 0 | 0 |-1.058628e+02 |-2.300000e+01 | 78.27%
96.39/96.49 c 96.5s| 1 | 0 |120182 | - | 64M| 0 | 500 | 500 | 18k| 500 |3188 | 13k| 0 | 0 |-1.057588e+02 |-2.300000e+01 | 78.25%
97.19/97.26 c 97.3s| 1 | 0 |120450 | - | 64M| 0 | 499 | 500 | 18k| 500 |3142 | 13k| 0 | 0 |-1.057108e+02 |-2.300000e+01 | 78.24%
97.99/98.08 c 98.1s| 1 | 0 |120856 | - | 64M| 0 | 499 | 500 | 18k| 500 |3151 | 13k| 0 | 0 |-1.056302e+02 |-2.300000e+01 | 78.23%
98.91/98.95 c 98.9s| 1 | 0 |121310 | - | 64M| 0 | 499 | 500 | 18k| 500 |3166 | 13k| 0 | 0 |-1.055336e+02 |-2.300000e+01 | 78.21%
99.69/99.78 c 99.8s| 1 | 0 |121773 | - | 64M| 0 | 499 | 500 | 18k| 500 |3180 | 13k| 0 | 0 |-1.054739e+02 |-2.300000e+01 | 78.19%
100.59/100.63 c 101s| 1 | 0 |122215 | - | 64M| 0 | 500 | 500 | 18k| 500 |3191 | 13k| 0 | 0 |-1.054121e+02 |-2.300000e+01 | 78.18%
101.39/101.43 c 101s| 1 | 0 |122423 | - | 64M| 0 | 500 | 500 | 18k| 500 |3208 | 13k| 0 | 0 |-1.053791e+02 |-2.300000e+01 | 78.17%
102.21/102.28 c 102s| 1 | 0 |122872 | - | 63M| 0 | 500 | 500 | 18k| 500 |3182 | 13k| 0 | 0 |-1.053203e+02 |-2.300000e+01 | 78.16%
102.99/103.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.99/103.07 c 103s| 1 | 0 |123232 | - | 63M| 0 | 499 | 500 | 18k| 500 |3194 | 13k| 0 | 0 |-1.052478e+02 |-2.300000e+01 | 78.15%
103.79/103.86 c 104s| 1 | 0 |123633 | - | 63M| 0 | 500 | 500 | 18k| 500 |3205 | 13k| 0 | 0 |-1.051905e+02 |-2.300000e+01 | 78.13%
104.59/104.65 c 105s| 1 | 0 |123951 | - | 63M| 0 | 500 | 500 | 18k| 500 |3217 | 13k| 0 | 0 |-1.051531e+02 |-2.300000e+01 | 78.13%
105.39/105.44 c 105s| 1 | 0 |124257 | - | 63M| 0 | 500 | 500 | 18k| 500 |3229 | 13k| 0 | 0 |-1.051080e+02 |-2.300000e+01 | 78.12%
106.19/106.23 c 106s| 1 | 0 |124575 | - | 63M| 0 | 499 | 500 | 18k| 500 |3245 | 13k| 0 | 0 |-1.050588e+02 |-2.300000e+01 | 78.11%
107.09/107.14 c 107s| 1 | 0 |125049 | - | 63M| 0 | 499 | 500 | 18k| 500 |3206 | 13k| 0 | 0 |-1.049899e+02 |-2.300000e+01 | 78.09%
107.89/107.90 c 108s| 1 | 0 |125285 | - | 63M| 0 | 499 | 500 | 18k| 500 |3217 | 13k| 0 | 0 |-1.049666e+02 |-2.300000e+01 | 78.09%
108.70/108.76 c 109s| 1 | 0 |125771 | - | 63M| 0 | 499 | 500 | 18k| 500 |3228 | 13k| 0 | 0 |-1.048920e+02 |-2.300000e+01 | 78.07%
109.49/109.59 c 110s| 1 | 0 |126069 | - | 63M| 0 | 499 | 500 | 18k| 500 |3238 | 13k| 0 | 0 |-1.048519e+02 |-2.300000e+01 | 78.06%
110.49/110.54 c 111s| 1 | 0 |126795 | - | 63M| 0 | 499 | 500 | 18k| 500 |3250 | 13k| 0 | 0 |-1.047503e+02 |-2.300000e+01 | 78.04%
111.30/111.34 c 111s| 1 | 0 |127116 | - | 63M| 0 | 500 | 500 | 18k| 500 |3263 | 13k| 0 | 0 |-1.047188e+02 |-2.300000e+01 | 78.04%
112.11/112.20 c 112s| 1 | 0 |127559 | - | 63M| 0 | 500 | 500 | 18k| 500 |3229 | 13k| 0 | 0 |-1.046728e+02 |-2.300000e+01 | 78.03%
112.99/113.06 c 113s| 1 | 0 |127934 | - | 63M| 0 | 499 | 500 | 18k| 500 |3238 | 13k| 0 | 0 |-1.046135e+02 |-2.300000e+01 | 78.01%
113.89/113.93 c 114s| 1 | 0 |128335 | - | 63M| 0 | 499 | 500 | 18k| 500 |3253 | 13k| 0 | 0 |-1.045520e+02 |-2.300000e+01 | 78.00%
114.69/114.75 c 115s| 1 | 0 |128682 | - | 63M| 0 | 499 | 500 | 18k| 500 |3271 | 13k| 0 | 0 |-1.045046e+02 |-2.300000e+01 | 77.99%
115.60/115.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.60/115.69 c 116s| 1 | 0 |129417 | - | 63M| 0 | 500 | 500 | 18k| 500 |3284 | 13k| 0 | 0 |-1.044297e+02 |-2.300000e+01 | 77.98%
116.50/116.55 c 117s| 1 | 0 |129869 | - | 63M| 0 | 500 | 500 | 18k| 500 |3296 | 14k| 0 | 0 |-1.043613e+02 |-2.300000e+01 | 77.96%
117.60/117.61 c 118s| 1 | 0 |130899 | - | 63M| 0 | 500 | 500 | 18k| 500 |3255 | 14k| 0 | 0 |-1.042808e+02 |-2.300000e+01 | 77.94%
118.40/118.42 c 118s| 1 | 0 |131183 | - | 63M| 0 | 500 | 500 | 18k| 500 |3267 | 14k| 0 | 0 |-1.042558e+02 |-2.300000e+01 | 77.94%
119.19/119.29 c 119s| 1 | 0 |131698 | - | 63M| 0 | 500 | 500 | 18k| 500 |3277 | 14k| 0 | 0 |-1.042060e+02 |-2.300000e+01 | 77.93%
119.99/120.07 c 120s| 1 | 0 |131973 | - | 63M| 0 | 499 | 500 | 18k| 500 |3289 | 14k| 0 | 0 |-1.041836e+02 |-2.300000e+01 | 77.92%
120.91/120.95 c 121s| 1 | 0 |132488 | - | 63M| 0 | 500 | 500 | 18k| 500 |3297 | 14k| 0 | 0 |-1.041443e+02 |-2.300000e+01 | 77.92%
121.79/121.80 c 122s| 1 | 0 |132806 | - | 63M| 0 | 500 | 500 | 18k| 500 |3307 | 14k| 0 | 0 |-1.040775e+02 |-2.300000e+01 | 77.90%
122.59/122.68 c 123s| 1 | 0 |133286 | - | 63M| 0 | 500 | 500 | 18k| 500 |3268 | 14k| 0 | 0 |-1.040276e+02 |-2.300000e+01 | 77.89%
123.40/123.46 c 123s| 1 | 0 |133549 | - | 63M| 0 | 500 | 500 | 18k| 500 |3280 | 14k| 0 | 0 |-1.039827e+02 |-2.300000e+01 | 77.88%
124.20/124.26 c 124s| 1 | 0 |133857 | - | 63M| 0 | 500 | 500 | 18k| 500 |3294 | 14k| 0 | 0 |-1.039598e+02 |-2.300000e+01 | 77.88%
124.99/125.08 c 125s| 1 | 0 |134223 | - | 63M| 0 | 500 | 500 | 18k| 500 |3304 | 14k| 0 | 0 |-1.039164e+02 |-2.300000e+01 | 77.87%
125.89/125.95 c 126s| 1 | 0 |134628 | - | 63M| 0 | 500 | 500 | 18k| 500 |3316 | 14k| 0 | 0 |-1.038672e+02 |-2.300000e+01 | 77.86%
126.69/126.75 c 127s| 1 | 0 |134842 | - | 63M| 0 | 500 | 500 | 18k| 500 |3328 | 14k| 0 | 0 |-1.038475e+02 |-2.300000e+01 | 77.85%
127.51/127.59 c 128s| 1 | 0 |135167 | - | 63M| 0 | 500 | 500 | 18k| 500 |3266 | 14k| 0 | 0 |-1.038218e+02 |-2.300000e+01 | 77.85%
128.39/128.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.39/128.44 c 128s| 1 | 0 |135612 | - | 63M| 0 | 500 | 500 | 18k| 500 |3273 | 14k| 0 | 0 |-1.037921e+02 |-2.300000e+01 | 77.84%
129.20/129.27 c 129s| 1 | 0 |135958 | - | 63M| 0 | 500 | 500 | 18k| 500 |3281 | 14k| 0 | 0 |-1.037572e+02 |-2.300000e+01 | 77.83%
130.00/130.06 c 130s| 1 | 0 |136224 | - | 63M| 0 | 500 | 500 | 18k| 500 |3297 | 14k| 0 | 0 |-1.037314e+02 |-2.300000e+01 | 77.83%
130.99/131.03 c 131s| 1 | 0 |136851 | - | 63M| 0 | 500 | 500 | 18k| 500 |3304 | 14k| 0 | 0 |-1.036559e+02 |-2.300000e+01 | 77.81%
131.79/131.83 c 132s| 1 | 0 |137077 | - | 63M| 0 | 500 | 500 | 18k| 500 |3313 | 14k| 0 | 0 |-1.036168e+02 |-2.300000e+01 | 77.80%
132.59/132.64 c 133s| 1 | 0 |137250 | - | 63M| 0 | 500 | 500 | 18k| 500 |3285 | 14k| 0 | 0 |-1.035977e+02 |-2.300000e+01 | 77.80%
133.39/133.46 c 133s| 1 | 0 |137576 | - | 63M| 0 | 500 | 500 | 18k| 500 |3295 | 14k| 0 | 0 |-1.035550e+02 |-2.300000e+01 | 77.79%
134.21/134.28 c 134s| 1 | 0 |137886 | - | 63M| 0 | 500 | 500 | 18k| 500 |3310 | 14k| 0 | 0 |-1.035184e+02 |-2.300000e+01 | 77.78%
135.10/135.13 c 135s| 1 | 0 |138262 | - | 63M| 0 | 500 | 500 | 18k| 500 |3323 | 14k| 0 | 0 |-1.034772e+02 |-2.300000e+01 | 77.77%
135.99/136.07 c 136s| 1 | 0 |138868 | - | 63M| 0 | 500 | 500 | 18k| 500 |3333 | 14k| 0 | 0 |-1.034315e+02 |-2.300000e+01 | 77.76%
136.90/136.94 c 137s| 1 | 0 |139162 | - | 63M| 0 | 500 | 500 | 18k| 500 |3349 | 14k| 0 | 0 |-1.034019e+02 |-2.300000e+01 | 77.76%
137.69/137.79 c 138s| 1 | 0 |139497 | - | 63M| 0 | 500 | 500 | 18k| 500 |3316 | 14k| 0 | 0 |-1.033665e+02 |-2.300000e+01 | 77.75%
138.61/138.66 c 139s| 1 | 0 |139892 | - | 63M| 0 | 500 | 500 | 18k| 500 |3329 | 14k| 0 | 0 |-1.033245e+02 |-2.300000e+01 | 77.74%
139.50/139.54 c 140s| 1 | 0 |140126 | - | 63M| 0 | 500 | 500 | 18k| 500 |3341 | 14k| 0 | 0 |-1.032960e+02 |-2.300000e+01 | 77.73%
140.39/140.45 c 140s| 1 | 0 |140686 | - | 63M| 0 | 500 | 500 | 18k| 500 |3357 | 14k| 0 | 0 |-1.032378e+02 |-2.300000e+01 | 77.72%
141.30/141.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.30/141.38 c 141s| 1 | 0 |141136 | - | 63M| 0 | 500 | 500 | 18k| 500 |3370 | 14k| 0 | 0 |-1.031914e+02 |-2.300000e+01 | 77.71%
142.20/142.23 c 142s| 1 | 0 |141478 | - | 63M| 0 | 499 | 500 | 18k| 500 |3380 | 14k| 0 | 0 |-1.031676e+02 |-2.300000e+01 | 77.71%
143.10/143.13 c 143s| 1 | 0 |141951 | - | 63M| 0 | 500 | 500 | 18k| 500 |3344 | 14k| 0 | 0 |-1.031445e+02 |-2.300000e+01 | 77.70%
143.89/143.94 c 144s| 1 | 0 |142221 | - | 63M| 0 | 500 | 500 | 18k| 500 |3356 | 14k| 0 | 0 |-1.031171e+02 |-2.300000e+01 | 77.70%
144.69/144.78 c 145s| 1 | 0 |142487 | - | 63M| 0 | 500 | 500 | 18k| 500 |3369 | 14k| 0 | 0 |-1.030924e+02 |-2.300000e+01 | 77.69%
145.70/145.77 c 146s| 1 | 0 |143149 | - | 63M| 0 | 500 | 500 | 18k| 500 |3378 | 14k| 0 | 0 |-1.030521e+02 |-2.300000e+01 | 77.68%
146.60/146.63 c 147s| 1 | 0 |143368 | - | 63M| 0 | 500 | 500 | 18k| 500 |3386 | 14k| 0 | 0 |-1.030462e+02 |-2.300000e+01 | 77.68%
147.49/147.51 c 148s| 1 | 0 |143605 | - | 63M| 0 | 500 | 500 | 18k| 500 |3396 | 14k| 0 | 0 |-1.030310e+02 |-2.300000e+01 | 77.68%
148.29/148.37 c 148s| 1 | 0 |143790 | - | 63M| 0 | 500 | 500 | 18k| 500 |3336 | 14k| 0 | 0 |-1.030168e+02 |-2.300000e+01 | 77.67%
149.10/149.16 c 149s| 1 | 0 |143998 | - | 63M| 0 | 500 | 500 | 18k| 500 |3344 | 14k| 0 | 0 |-1.030021e+02 |-2.300000e+01 | 77.67%
149.99/150.00 c 150s| 1 | 0 |144219 | - | 63M| 0 | 500 | 500 | 18k| 500 |3352 | 14k| 0 | 0 |-1.029914e+02 |-2.300000e+01 | 77.67%
150.79/150.81 c 151s| 1 | 0 |144330 | - | 63M| 0 | 500 | 500 | 18k| 500 |3361 | 14k| 0 | 0 |-1.029847e+02 |-2.300000e+01 | 77.67%
151.59/151.63 c 152s| 1 | 0 |144513 | - | 63M| 0 | 500 | 500 | 18k| 500 |3368 | 14k| 0 | 0 |-1.029726e+02 |-2.300000e+01 | 77.66%
152.40/152.47 c 152s| 1 | 0 |144752 | - | 63M| 0 | 500 | 500 | 18k| 500 |3377 | 14k| 0 | 0 |-1.029508e+02 |-2.300000e+01 | 77.66%
153.30/153.31 c 153s| 1 | 0 |144927 | - | 63M| 0 | 500 | 500 | 18k| 500 |3314 | 14k| 0 | 0 |-1.029423e+02 |-2.300000e+01 | 77.66%
154.09/154.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.09/154.17 c 154s| 1 | 0 |145143 | - | 63M| 0 | 500 | 500 | 18k| 500 |3323 | 14k| 0 | 0 |-1.029258e+02 |-2.300000e+01 | 77.65%
154.89/154.99 c 155s| 1 | 0 |145256 | - | 63M| 0 | 500 | 500 | 18k| 500 |3332 | 14k| 0 | 0 |-1.029216e+02 |-2.300000e+01 | 77.65%
155.79/155.81 c 156s| 1 | 0 |145425 | - | 63M| 0 | 500 | 500 | 18k| 500 |3339 | 14k| 0 | 0 |-1.029132e+02 |-2.300000e+01 | 77.65%
156.50/156.59 c 157s| 1 | 0 |145517 | - | 63M| 0 | 500 | 500 | 18k| 500 |3345 | 14k| 0 | 0 |-1.029070e+02 |-2.300000e+01 | 77.65%
157.31/157.39 c 157s| 1 | 0 |145638 | - | 63M| 0 | 500 | 500 | 18k| 500 |3354 | 14k| 0 | 0 |-1.028987e+02 |-2.300000e+01 | 77.65%
158.19/158.22 c 158s| 1 | 0 |145766 | - | 63M| 0 | 500 | 500 | 18k| 500 |3305 | 14k| 0 | 0 |-1.028933e+02 |-2.300000e+01 | 77.65%
159.00/159.03 c 159s| 1 | 0 |145887 | - | 63M| 0 | 500 | 500 | 18k| 500 |3313 | 14k| 0 | 0 |-1.028898e+02 |-2.300000e+01 | 77.65%
159.79/159.81 c 160s| 1 | 0 |145940 | - | 63M| 0 | 500 | 500 | 18k| 500 |3319 | 14k| 0 | 0 |-1.028890e+02 |-2.300000e+01 | 77.65%
160.50/160.60 c 161s| 1 | 0 |145994 | - | 63M| 0 | 500 | 500 | 18k| 500 |3324 | 14k| 0 | 0 |-1.028879e+02 |-2.300000e+01 | 77.65%
168.79/168.84 c 169s| 1 | 2 |145994 | - | 63M| 0 | 500 | 500 | 18k| 500 |3324 | 14k| 0 | 23 |-1.028879e+02 |-2.300000e+01 | 77.65%
472.60/472.65 o -24
472.60/472.65 c f 473s| 3475 | 3476 | 2783k| 759.2 | 71M| 61 | - | 500 | 18k| 500 | 576 | 40k| 0 |2277 |-9.929978e+01 |-2.400000e+01 | 75.83%
473.70/473.70 o -26
473.70/473.70 c g 474s| 3532 | 3533 | 2796k| 750.5 | 72M| 61 | - | 500 | 18k| 500 | 592 | 41k| 0 |2277 |-9.928539e+01 |-2.600000e+01 | 73.81%
526.92/526.99 o -29
526.92/526.99 c r 527s| 4968 | 4963 | 3362k| 647.5 | 74M| 69 | 6 | 500 | 18k| 500 | 566 | 65k| 0 |2567 |-9.865078e+01 |-2.900000e+01 | 70.60%
526.92/526.99 o -30
526.92/526.99 c R 527s| 4968 | 4957 | 3362k| 647.5 | 74M| 69 | 6 | 500 | 18k| 500 | 566 | 65k| 0 |2567 |-9.865078e+01 |-3.000000e+01 | 69.59%
526.92/526.99 o -31
526.92/526.99 c s 527s| 4968 | 4944 | 3362k| 647.5 | 74M| 69 | 6 | 500 | 18k| 500 | 566 | 65k| 0 |2567 |-9.865078e+01 |-3.100000e+01 | 68.58%
550.51/550.53 o -32
550.51/550.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
550.51/550.53 c l 551s| 5934 | 5818 | 3651k| 590.9 | 76M| 73 | - | 500 | 18k| 500 | 574 | 84k| 0 |2567 |-9.846774e+01 |-3.200000e+01 | 67.50%
639.13/639.18 c 639s| 10000 | 9412 | 4650k| 450.5 | 83M| 78 | 20 | 500 | 18k| 500 | 500 | 172k| 0 |3128 |-9.792599e+01 |-3.200000e+01 | 67.32%
642.61/642.66 o -33
642.61/642.66 c p 643s| 10206 | 9429 | 4694k| 445.7 | 83M| 78 | - | 500 | 18k| 500 | 550 | 177k| 0 |3128 |-9.790516e+01 |-3.300000e+01 | 66.29%
776.31/776.36 o -34
776.31/776.36 c * 776s| 17645 | 14130 | 6143k| 339.9 | 92M| 105 | - | 500 | 18k| 500 | 569 | 329k| 0 |3824 |-9.694529e+01 |-3.400000e+01 | 64.93%
800.61/800.61 c 801s| 20000 | 15381 | 6414k| 313.5 | 94M| 105 | 59 | 500 | 18k| 500 | 555 | 375k| 0 |3956 |-9.687453e+01 |-3.400000e+01 | 64.90%
841.11/841.17 o -35
841.11/841.17 c * 841s| 24053 | 17083 | 6881k| 280.0 | 98M| 106 | - | 500 | 18k| 500 | 557 | 459k| 0 |4185 |-9.674497e+01 |-3.500000e+01 | 63.82%
896.02/896.01 c 896s| 30000 | 20132 | 7534k| 246.3 | 103M| 107 | 48 | 500 | 18k| 500 | 500 | 586k| 0 |4472 |-9.653623e+01 |-3.500000e+01 | 63.74%
978.62/978.60 c 979s| 40000 | 24912 | 8528k| 209.6 | 112M| 109 | - | 500 | 18k| 500 | 541 | 796k| 0 |4974 |-9.625503e+01 |-3.500000e+01 | 63.64%
1050.43/1050.47 c 1050s| 50000 | 29280 | 9406k| 185.2 | 120M| 117 | 4 | 500 | 18k| 500 | 500 |1006k| 0 |5230 |-9.604891e+01 |-3.500000e+01 | 63.56%
1119.52/1119.50 c 1120s| 60000 | 33500 | 10236k| 168.2 | 128M| 117 | 48 | 500 | 18k| 500 | 548 |1209k| 0 |5492 |-9.581499e+01 |-3.500000e+01 | 63.47%
1191.62/1191.68 c 1192s| 70000 | 37642 | 11095k| 156.4 | 135M| 126 | - | 500 | 18k| 500 | 567 |1404k| 0 |5874 |-9.564599e+01 |-3.500000e+01 | 63.41%
1262.93/1262.90 c 1263s| 80000 | 41722 | 11952k| 147.6 | 143M| 126 | 13 | 500 | 18k| 500 | 540 |1605k| 0 |6174 |-9.549473e+01 |-3.500000e+01 | 63.35%
1343.43/1343.41 c 1343s| 90000 | 45962 | 12940k| 142.2 | 151M| 126 | - | 500 | 18k| 500 | 548 |1804k| 0 |6404 |-9.532607e+01 |-3.500000e+01 | 63.28%
1420.74/1420.74 c 1421s|100000 | 50050 | 13883k| 137.4 | 159M| 126 | 15 | 500 | 18k| 500 | 550 |2001k| 0 |6630 |-9.515675e+01 |-3.500000e+01 | 63.22%
1489.13/1489.13 c 1489s|110000 | 54032 | 14725k| 132.5 | 166M| 132 | - | 500 | 18k| 500 | 575 |2199k| 0 |6860 |-9.499951e+01 |-3.500000e+01 | 63.16%
1551.63/1551.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.63/1551.68 c 1552s|120000 | 57940 | 15492k| 127.9 | 173M| 132 | 5 | 500 | 18k| 500 | 534 |2402k| 0 |7087 |-9.483116e+01 |-3.500000e+01 | 63.09%
1612.34/1612.36 c 1612s|130000 | 61722 | 16250k| 123.9 | 180M| 132 | - | 500 | 18k| 500 | 566 |2607k| 0 |7329 |-9.468803e+01 |-3.500000e+01 | 63.04%
1668.13/1668.13 c 1668s|140000 | 65364 | 16938k| 120.0 | 187M| 132 | - | 500 | 18k| 500 | 547 |2806k| 0 |7514 |-9.454292e+01 |-3.500000e+01 | 62.98%
1719.94/1719.92 c 1720s|150000 | 68950 | 17584k| 116.3 | 193M| 132 | 50 | 500 | 18k| 500 | 583 |3010k| 0 |7732 |-9.444704e+01 |-3.500000e+01 | 62.94%
1778.84/1778.81 c 1779s|160000 | 72880 | 18318k| 113.6 | 201M| 132 | 48 | 500 | 18k| 500 | 545 |3208k| 0 |7940 |-9.432668e+01 |-3.500000e+01 | 62.89%
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.01
1800.04/1800.01 c Solving Nodes : 163828
1800.04/1800.01 c Primal Bound : -3.50000000000000e+01 (774 solutions)
1800.04/1800.01 c Dual Bound : -9.42956291457257e+01
1800.04/1800.01 c Gap : 62.88 %
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-3450660-1307105652/watcher-3450660-1307105652 -o /tmp/evaluation-result-3450660-1307105652/solver-3450660-1307105652 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450660-1307105652.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 2.01 1.99 3/424 24697
/proc/meminfo: memFree=25893332/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=14932 CPUtime=0 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 2731 0 0 0 0 0 0 0 25 0 1 0 822163363 15290368 2685 33554432000 4194304 9163163 140735970726704 18446744073709551615 4812732 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24697/statm: 3733 2685 415 1214 0 2515 0
[startup+0.035407 s]
/proc/loadavg: 1.94 2.01 1.99 3/424 24697
/proc/meminfo: memFree=25893332/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=23632 CPUtime=0.03 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 4898 0 0 0 3 0 0 0 25 0 1 0 822163363 24199168 4852 33554432000 4194304 9163163 140735970726704 18446744073709551615 4214496 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24697/statm: 5908 4852 415 1214 0 4690 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23632
[startup+0.100423 s]
/proc/loadavg: 1.94 2.01 1.99 3/424 24697
/proc/meminfo: memFree=25893332/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=37272 CPUtime=0.09 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 8297 0 0 0 9 0 0 0 25 0 1 0 822163363 38166528 8251 33554432000 4194304 9163163 140735970726704 18446744073709551615 4549179 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/24697/statm: 9318 8251 415 1214 0 8100 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37272
[startup+0.300378 s]
/proc/loadavg: 1.94 2.01 1.99 3/424 24697
/proc/meminfo: memFree=25893332/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=79556 CPUtime=0.29 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 18336 0 0 0 28 1 0 0 25 0 1 0 822163363 81465344 18253 33554432000 4194304 9163163 140735970726704 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 19889 18253 505 1214 0 18671 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79556
[startup+0.700325 s]
/proc/loadavg: 1.94 2.01 1.99 3/424 24697
/proc/meminfo: memFree=25893332/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=109316 CPUtime=0.69 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 26843 0 0 0 66 3 0 0 25 0 1 0 822163363 111939584 25527 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 27329 25527 696 1214 0 26111 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 109316
[startup+1.50113 s]
/proc/loadavg: 2.03 2.02 2.00 3/425 24698
/proc/meminfo: memFree=25777656/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=116316 CPUtime=1.49 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 31253 0 0 0 145 4 0 0 25 0 1 0 822163363 119107584 27439 33554432000 4194304 9163163 140735970726704 18446744073709551615 7110322 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 29079 27439 794 1214 0 27861 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116316
[startup+3.10088 s]
/proc/loadavg: 2.03 2.02 2.00 3/425 24698
/proc/meminfo: memFree=25770836/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=120708 CPUtime=3.09 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 32313 0 0 0 305 4 0 0 25 0 1 0 822163363 123604992 28445 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 30177 28445 740 1214 0 28959 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 120708
[startup+6.30031 s]
/proc/loadavg: 2.03 2.02 2.00 4/425 24698
/proc/meminfo: memFree=25760180/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=123492 CPUtime=6.29 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 33226 0 0 0 624 5 0 0 25 0 1 0 822163363 126455808 29344 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 30873 29344 728 1214 0 29655 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 123492
[startup+12.7011 s]
/proc/loadavg: 2.02 2.02 2.00 3/425 24698
/proc/meminfo: memFree=25738900/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=133476 CPUtime=12.69 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 36118 0 0 0 1260 9 0 0 25 0 1 0 822163363 136679424 31915 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 33369 31915 700 1214 0 32151 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 133476
[startup+25.5008 s]
/proc/loadavg: 2.02 2.02 2.00 3/425 24699
/proc/meminfo: memFree=25726876/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=144800 CPUtime=25.49 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 38895 0 0 0 2534 15 0 0 25 0 1 0 822163363 148275200 34626 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 36200 34626 697 1214 0 34982 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 144800
[startup+51.1011 s]
/proc/loadavg: 2.01 2.02 2.00 3/425 24699
/proc/meminfo: memFree=25725556/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=145844 CPUtime=51.09 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 39113 0 0 0 5083 26 0 0 25 0 1 0 822163363 149344256 34844 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 36461 34844 697 1214 0 35243 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 145844
[startup+102.316 s]
/proc/loadavg: 2.00 2.01 2.00 4/425 24701
/proc/meminfo: memFree=25721032/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=146316 CPUtime=102.31 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 39267 0 0 0 10186 45 0 0 25 0 1 0 822163363 149827584 34998 33554432000 4194304 9163163 140735970726704 18446744073709551615 6675846 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 36579 34998 697 1214 0 35361 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 146316
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 24702
/proc/meminfo: memFree=25709588/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=147312 CPUtime=162.29 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 43051 0 0 0 16161 68 0 0 25 0 1 0 822163363 150847488 34962 33554432000 4194304 9163163 140735970726704 18446744073709551615 7348283 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 36828 34962 714 1214 0 35610 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 147312
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/425 24704
/proc/meminfo: memFree=25695436/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=147312 CPUtime=222.3 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 43056 0 0 0 22110 120 0 0 25 0 1 0 822163363 150847488 34967 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 36828 34967 719 1214 0 35610 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 147312
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/425 24706
/proc/meminfo: memFree=25685488/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=146116 CPUtime=282.3 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 49858 0 0 0 28042 188 0 0 25 0 1 0 822163363 149622784 34844 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 36529 34844 730 1214 0 35311 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 146116
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/425 24707
/proc/meminfo: memFree=25668980/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=147984 CPUtime=342.3 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 57495 0 0 0 33972 258 0 0 25 0 1 0 822163363 151535616 35281 33554432000 4194304 9163163 140735970726704 18446744073709551615 4684200 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 36996 35281 733 1214 0 35778 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 147984
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/425 24709
/proc/meminfo: memFree=25657172/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=150492 CPUtime=402.31 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 65439 0 0 0 39900 331 0 0 25 0 1 0 822163363 154103808 35912 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 37623 35912 733 1214 0 36405 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 150492
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/425 24719
/proc/meminfo: memFree=25638240/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=153600 CPUtime=462.3 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 73511 0 0 0 45821 409 0 0 25 0 1 0 822163363 157286400 36704 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 38400 36704 733 1214 0 37182 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 153600
[startup+522.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/425 24721
/proc/meminfo: memFree=25617868/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=157644 CPUtime=522.31 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 96278 0 0 0 51741 490 0 0 25 0 1 0 822163363 161427456 37709 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 39411 37709 733 1214 0 38193 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 157644
[startup+582.3 s]
/proc/loadavg: 2.16 2.06 2.02 4/425 24723
/proc/meminfo: memFree=25599240/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=162408 CPUtime=582.31 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 112037 0 0 0 57662 569 0 0 25 0 1 0 822163363 166305792 38905 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 40602 38905 733 1214 0 39384 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 162408
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/425 24732
/proc/meminfo: memFree=25519932/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=184628 CPUtime=822.32 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 196820 0 0 0 81342 890 0 0 25 0 1 0 822163363 189059072 44429 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 46157 44429 734 1214 0 44939 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 184628
[startup+882.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/425 24734
/proc/meminfo: memFree=25496480/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=192592 CPUtime=882.32 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 235284 0 0 0 87259 973 0 0 25 0 1 0 822163363 197214208 46497 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 48148 46497 736 1214 0 46930 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 192592
[startup+942.301 s]
/proc/loadavg: 2.01 2.03 2.00 4/425 24735
/proc/meminfo: memFree=25475748/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=199736 CPUtime=942.32 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 244531 0 0 0 93177 1055 0 0 25 0 1 0 822163363 204529664 48311 33554432000 4194304 9163163 140735970726704 18446744073709551615 5275468 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 49934 48311 736 1214 0 48716 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 199736
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 24737
/proc/meminfo: memFree=25451540/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=205892 CPUtime=1002.32 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 253312 0 0 0 99094 1138 0 0 25 0 1 0 822163363 210833408 49847 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 51473 49847 736 1214 0 50255 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 205892
[startup+1062.3 s]
/proc/loadavg: 2.23 2.06 2.02 3/425 24738
/proc/meminfo: memFree=25429564/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=213240 CPUtime=1062.32 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 262342 0 0 0 105010 1222 0 0 25 0 1 0 822163363 218357760 51704 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 53310 51704 736 1214 0 52092 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 213240
[startup+1122.3 s]
/proc/loadavg: 2.27 2.10 2.03 3/425 24740
/proc/meminfo: memFree=25406108/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=223264 CPUtime=1122.32 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 264846 0 0 0 110925 1307 0 0 25 0 1 0 822163363 228622336 54208 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 55816 54208 736 1214 0 54598 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 223264
[startup+1182.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/425 24742
/proc/meminfo: memFree=25381536/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=230012 CPUtime=1182.32 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 266574 0 0 0 116851 1381 0 0 25 0 1 0 822163363 235532288 55936 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 57503 55936 736 1214 0 56285 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 230012
[startup+1242.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/425 24743
/proc/meminfo: memFree=25362048/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=238816 CPUtime=1242.32 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 275976 0 0 0 122769 1463 0 0 25 0 1 0 822163363 244547584 58165 33554432000 4194304 9163163 140735970726704 18446744073709551615 7348526 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 59704 58165 736 1214 0 58486 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 238816
[startup+1302.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/425 24745
/proc/meminfo: memFree=25334104/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=244116 CPUtime=1302.34 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 277284 0 0 0 128691 1543 0 0 25 0 1 0 822163363 249974784 59473 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 61029 59473 736 1214 0 59811 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 244116
[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/425 24746
/proc/meminfo: memFree=25312268/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=249260 CPUtime=1362.33 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 278615 0 0 0 134612 1621 0 0 25 0 1 0 822163363 255242240 60803 33554432000 4194304 9163163 140735970726704 18446744073709551615 6687175 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 62315 60803 736 1214 0 61097 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 249260
[startup+1422.32 s]
/proc/loadavg: 2.08 2.04 2.01 3/425 24748
/proc/meminfo: memFree=25295864/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=254552 CPUtime=1422.35 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 279941 0 0 0 140532 1703 0 0 25 0 1 0 822163363 260661248 62129 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 63638 62129 736 1214 0 62420 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 254552
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/425 24750
/proc/meminfo: memFree=25268192/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=266244 CPUtime=1482.33 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 282803 0 0 0 146451 1782 0 0 25 0 1 0 822163363 272633856 64991 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 66561 64991 736 1214 0 65343 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 266244
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/425 24751
/proc/meminfo: memFree=25253276/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=275424 CPUtime=1542.34 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 285084 0 0 0 152370 1864 0 0 25 0 1 0 822163363 282034176 67272 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 68856 67272 736 1214 0 67638 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 275424
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.00 4/425 24753
/proc/meminfo: memFree=25237628/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=281488 CPUtime=1602.34 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 293825 0 0 0 158286 1948 0 0 25 0 1 0 822163363 288243712 68890 33554432000 4194304 9163163 140735970726704 18446744073709551615 7249685 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 70372 68890 736 1214 0 69154 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 281488
[startup+1662.3 s]
/proc/loadavg: 2.16 2.07 2.01 4/425 24754
/proc/meminfo: memFree=25218140/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=289460 CPUtime=1662.34 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 295775 0 0 0 164197 2037 0 0 25 0 1 0 822163363 296407040 70840 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 72365 70840 736 1214 0 71147 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 289460
[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/425 24756
/proc/meminfo: memFree=25198660/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=299704 CPUtime=1722.34 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 297822 0 0 0 170115 2119 0 0 25 0 1 0 822163363 306896896 72887 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 74926 72887 736 1214 0 73708 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 299704
[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.01 4/425 24758
/proc/meminfo: memFree=25182376/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=304300 CPUtime=1782.34 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 298989 0 0 0 176029 2205 0 0 25 0 1 0 822163363 311603200 74054 33554432000 4194304 9163163 140735970726704 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 76075 74054 736 1214 0 74857 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 304300
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.20 2.08 2.02 3/425 24786
/proc/meminfo: memFree=25632392/32951124 swapFree=44043512/67111528
[pid=24697] ppid=24695 vsize=305488 CPUtime=1800.05 cores=0,2,4,6
/proc/24697/stat : 24697 (scip-2.0.1.4b.l) R 24695 24697 23890 0 -1 4202496 299300 0 0 0 177775 2230 0 0 25 0 1 0 822163363 312819712 74365 33554432000 4194304 9163163 140735970726704 18446744073709551615 4684336 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24697/statm: 76372 74365 736 1214 0 75154 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 305488
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.03
CPU time (s): 1800.08
CPU user time (s): 1777.76
CPU system time (s): 22.3206
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 308628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.76
system time used= 22.3206
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299300
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= 4
involuntary context switches= 5349
runsolver used 7.8708 second user time and 16.6985 second system time
The end