0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3450678-1307106652.opb>
0.09/0.10 c original problem has 19229 variables (19229 bin, 0 int, 0 impl, 0 cont) and 19729 constraints
0.09/0.10 c problem read
0.09/0.10 c presolving settings loaded
0.19/0.21 o 0
0.19/0.21 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.21 c presolving:
0.29/0.38 c (round 1) 18729 del vars, 1000 del conss, 0 add conss, 18729 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74916 impls, 0 clqs
0.39/0.43 c (round 2) 18729 del vars, 1000 del conss, 0 add conss, 18729 chg bounds, 0 chg sides, 0 chg coeffs, 18729 upgd conss, 112374 impls, 0 clqs
0.49/0.58 c (0.6s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.58 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.49/0.58 c presolving (3 rounds):
0.49/0.58 c 18729 deleted vars, 1000 deleted constraints, 0 added constraints, 18729 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.58 c 112374 implications, 0 cliques
0.49/0.58 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18729 constraints
0.49/0.58 c 18729 constraints of type <logicor>
0.49/0.58 c transformed objective value is always integral (scale: 1)
0.49/0.58 c Presolving Time: 0.41
0.49/0.58 c - non default parameters ----------------------------------------------------------------------
0.49/0.58 c # SCIP version 2.0.1.5
0.49/0.58 c
0.49/0.58 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.58 c conflict/interconss = 0
0.49/0.58 c
0.49/0.58 c # should binary conflicts be preferred?
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c conflict/preferbinary = TRUE
0.49/0.58 c
0.49/0.58 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.58 c constraints/agelimit = 1
0.49/0.58 c
0.49/0.58 c # should enforcement of pseudo solution be disabled?
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/disableenfops = TRUE
0.49/0.58 c
0.49/0.58 c # frequency for displaying node information lines
0.49/0.58 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.58 c display/freq = 10000
0.49/0.58 c
0.49/0.58 c # maximal time in seconds to run
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/time = 1800
0.49/0.58 c
0.49/0.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/memory = 13950
0.49/0.58 c
0.49/0.58 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.58 c # [type: int, range: [1,2], default: 1]
0.49/0.58 c timing/clocktype = 2
0.49/0.58 c
0.49/0.58 c # belongs reading time to solving time?
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c timing/reading = TRUE
0.49/0.58 c
0.49/0.58 c # should presolving try to simplify inequalities
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/linear/simplifyinequalities = TRUE
0.49/0.58 c
0.49/0.58 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/indicator/addCouplingCons = TRUE
0.49/0.58 c
0.49/0.58 c # should presolving try to simplify knapsacks
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.58 c
0.49/0.58 c -----------------------------------------------------------------------------------------------
0.49/0.58 c start solving
0.49/0.58 c
0.69/0.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.73 c t 0.7s| 1 | 0 | 511 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.69/0.74 o -1
0.69/0.74 c R 0.7s| 1 | 0 | 511 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.69/0.75 o -2
0.69/0.75 c s 0.8s| 1 | 0 | 511 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
1.00/1.08 c 1.1s| 1 | 0 | 679 | - | 60M| 0 | 485 | 500 | 18k| 500 | 18k| 12 | 0 | 0 |-2.425000e+02 |-2.000000e+00 | 99.18%
1.00/1.08 o -22
1.00/1.08 c b 1.1s| 1 | 0 | 679 | - | 60M| 0 | 485 | 500 | 18k| 500 | 18k| 12 | 0 | 0 |-2.425000e+02 |-2.200000e+01 | 90.93%
1.39/1.42 c 1.4s| 1 | 0 | 824 | - | 60M| 0 | 475 | 500 | 18k| 500 | 18k| 20 | 0 | 0 |-2.375000e+02 |-2.200000e+01 | 90.74%
1.68/1.75 c 1.7s| 1 | 0 | 947 | - | 60M| 0 | 461 | 500 | 18k| 500 | 18k| 34 | 0 | 0 |-2.305000e+02 |-2.200000e+01 | 90.46%
2.10/2.16 c 2.2s| 1 | 0 | 1126 | - | 60M| 0 | 452 | 500 | 18k| 500 | 18k| 46 | 0 | 0 |-2.260000e+02 |-2.200000e+01 | 90.27%
2.69/2.73 c 2.7s| 1 | 0 | 1637 | - | 60M| 0 | 442 | 500 | 18k| 500 | 18k| 57 | 0 | 0 |-2.210000e+02 |-2.200000e+01 | 90.05%
3.20/3.30 c 3.3s| 1 | 0 | 2188 | - | 60M| 0 | 439 | 500 | 18k| 500 | 18k| 65 | 0 | 0 |-2.185000e+02 |-2.200000e+01 | 89.93%
3.89/3.95 c 3.9s| 1 | 0 | 2714 | - | 60M| 0 | 431 | 500 | 18k| 500 | 18k| 76 | 0 | 0 |-2.155000e+02 |-2.200000e+01 | 89.79%
4.68/4.77 c 4.8s| 1 | 0 | 3627 | - | 61M| 0 | 421 | 500 | 18k| 500 | 18k| 92 | 0 | 0 |-2.105000e+02 |-2.200000e+01 | 89.55%
5.29/5.36 c 5.4s| 1 | 0 | 3935 | - | 61M| 0 | 420 | 500 | 18k| 500 | 18k| 103 | 0 | 0 |-2.085000e+02 |-2.200000e+01 | 89.45%
5.89/5.97 c 6.0s| 1 | 0 | 4555 | - | 61M| 0 | 411 | 500 | 18k| 500 | 18k| 118 | 0 | 0 |-2.050000e+02 |-2.200000e+01 | 89.27%
6.61/6.62 c 6.6s| 1 | 0 | 5457 | - | 61M| 0 | 411 | 500 | 18k| 500 |1081 | 126 | 0 | 0 |-2.030000e+02 |-2.200000e+01 | 89.16%
6.69/6.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.69/6.72 c 6.7s| 1 | 0 | 5752 | - | 62M| 0 | 399 | 500 | 18k| 500 |1091 | 136 | 0 | 0 |-2.005000e+02 |-2.200000e+01 | 89.03%
6.79/6.84 c 6.8s| 1 | 0 | 6288 | - | 62M| 0 | 389 | 500 | 18k| 500 |1152 | 197 | 0 | 0 |-1.990000e+02 |-2.200000e+01 | 88.94%
6.89/6.97 c 7.0s| 1 | 0 | 6960 | - | 62M| 0 | 397 | 500 | 18k| 500 |1421 | 466 | 0 | 0 |-1.972500e+02 |-2.200000e+01 | 88.85%
7.09/7.12 c 7.1s| 1 | 0 | 7596 | - | 62M| 0 | 383 | 500 | 18k| 500 |1679 | 724 | 0 | 0 |-1.935000e+02 |-2.200000e+01 | 88.63%
7.19/7.29 c 7.3s| 1 | 0 | 8074 | - | 62M| 0 | 391 | 500 | 18k| 500 |1782 | 827 | 0 | 0 |-1.920000e+02 |-2.200000e+01 | 88.54%
7.49/7.50 c 7.5s| 1 | 0 | 9205 | - | 63M| 0 | 392 | 500 | 18k| 500 |1562 | 998 | 0 | 0 |-1.899375e+02 |-2.200000e+01 | 88.42%
7.71/7.73 c 7.7s| 1 | 0 | 10025 | - | 63M| 0 | 378 | 500 | 18k| 500 |1936 |1372 | 0 | 0 |-1.875000e+02 |-2.200000e+01 | 88.27%
7.89/7.93 c 7.9s| 1 | 0 | 11103 | - | 64M| 0 | 403 | 500 | 18k| 500 |2105 |1541 | 0 | 0 |-1.823000e+02 |-2.200000e+01 | 87.93%
8.29/8.30 c 8.3s| 1 | 0 | 11239 | - | 65M| 0 | 368 | 500 | 18k| 500 |4105 |3541 | 0 | 0 |-1.815000e+02 |-2.200000e+01 | 87.88%
8.39/8.46 c 8.5s| 1 | 0 | 11493 | - | 65M| 0 | 363 | 500 | 18k| 500 |4113 |3549 | 0 | 0 |-1.795000e+02 |-2.200000e+01 | 87.74%
8.49/8.56 c 8.6s| 1 | 0 | 11697 | - | 65M| 0 | 357 | 500 | 18k| 500 |4125 |3561 | 0 | 0 |-1.785000e+02 |-2.200000e+01 | 87.68%
8.70/8.72 c 8.7s| 1 | 0 | 12281 | - | 65M| 0 | 350 | 500 | 18k| 500 |3843 |3572 | 0 | 0 |-1.750000e+02 |-2.200000e+01 | 87.43%
8.80/8.82 c 8.8s| 1 | 0 | 12581 | - | 65M| 0 | 346 | 500 | 18k| 500 |3852 |3581 | 0 | 0 |-1.730000e+02 |-2.200000e+01 | 87.28%
8.89/8.91 c 8.9s| 1 | 0 | 12814 | - | 65M| 0 | 356 | 500 | 18k| 500 |3862 |3591 | 0 | 0 |-1.710000e+02 |-2.200000e+01 | 87.13%
9.09/9.11 c 9.1s| 1 | 0 | 13720 | - | 66M| 0 | 338 | 500 | 18k| 500 |3932 |3661 | 0 | 0 |-1.695000e+02 |-2.200000e+01 | 87.02%
9.19/9.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.19/9.26 c 9.3s| 1 | 0 | 14135 | - | 66M| 0 | 335 | 500 | 18k| 500 |4215 |3944 | 0 | 0 |-1.675000e+02 |-2.200000e+01 | 86.87%
9.38/9.44 c 9.4s| 1 | 0 | 14826 | - | 66M| 0 | 344 | 500 | 18k| 500 |4224 |3953 | 0 | 0 |-1.647500e+02 |-2.200000e+01 | 86.65%
9.59/9.63 c 9.6s| 1 | 0 | 15589 | - | 66M| 0 | 335 | 500 | 18k| 500 |3044 |4165 | 0 | 0 |-1.626250e+02 |-2.200000e+01 | 86.47%
9.69/9.79 c 9.8s| 1 | 0 | 16474 | - | 66M| 0 | 339 | 500 | 18k| 500 |3107 |4228 | 0 | 0 |-1.616548e+02 |-2.200000e+01 | 86.39%
9.99/10.04 c 10.0s| 1 | 0 | 17140 | - | 67M| 0 | 347 | 500 | 18k| 500 |4113 |5234 | 0 | 0 |-1.599444e+02 |-2.200000e+01 | 86.25%
10.19/10.21 c 10.2s| 1 | 0 | 17755 | - | 67M| 0 | 353 | 500 | 18k| 500 |4244 |5365 | 0 | 0 |-1.584792e+02 |-2.200000e+01 | 86.12%
10.49/10.51 c 10.5s| 1 | 0 | 18999 | - | 68M| 0 | 371 | 500 | 18k| 500 |4396 |5517 | 0 | 0 |-1.576190e+02 |-2.200000e+01 | 86.04%
10.79/10.80 c 10.8s| 1 | 0 | 19996 | - | 68M| 0 | 379 | 500 | 18k| 500 |4542 |5663 | 0 | 0 |-1.561667e+02 |-2.200000e+01 | 85.91%
11.09/11.13 c 11.1s| 1 | 0 | 21176 | - | 69M| 0 | 367 | 500 | 18k| 500 |2734 |5800 | 0 | 0 |-1.537148e+02 |-2.200000e+01 | 85.69%
11.29/11.37 c 11.4s| 1 | 0 | 22281 | - | 70M| 0 | 374 | 500 | 18k| 500 |2931 |5997 | 0 | 0 |-1.520111e+02 |-2.200000e+01 | 85.53%
11.59/11.64 c 11.6s| 1 | 0 | 22818 | - | 71M| 0 | 349 | 500 | 18k| 500 |4279 |7345 | 0 | 0 |-1.517647e+02 |-2.200000e+01 | 85.50%
11.89/11.91 c 11.9s| 1 | 0 | 23550 | - | 72M| 0 | 356 | 500 | 18k| 500 |4288 |7354 | 0 | 0 |-1.503000e+02 |-2.200000e+01 | 85.36%
12.11/12.15 c 12.2s| 1 | 0 | 24468 | - | 73M| 0 | 362 | 500 | 18k| 500 |4425 |7491 | 0 | 0 |-1.493026e+02 |-2.200000e+01 | 85.26%
12.39/12.45 c 12.4s| 1 | 0 | 25522 | - | 73M| 0 | 363 | 500 | 18k| 500 |4433 |7499 | 0 | 0 |-1.484697e+02 |-2.200000e+01 | 85.18%
12.69/12.72 c 12.7s| 1 | 0 | 26241 | - | 74M| 0 | 355 | 500 | 18k| 500 |3011 |7588 | 0 | 0 |-1.473173e+02 |-2.200000e+01 | 85.07%
12.89/12.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.89/12.90 c 12.9s| 1 | 0 | 26621 | - | 76M| 0 | 368 | 500 | 18k| 500 |3092 |7669 | 0 | 0 |-1.464758e+02 |-2.200000e+01 | 84.98%
13.10/13.17 c 13.2s| 1 | 0 | 27569 | - | 77M| 0 | 359 | 500 | 18k| 500 |3358 |7935 | 0 | 0 |-1.453971e+02 |-2.200000e+01 | 84.87%
13.49/13.51 c 13.5s| 1 | 0 | 28708 | - | 79M| 0 | 365 | 500 | 18k| 500 |3634 |8211 | 0 | 0 |-1.447437e+02 |-2.200000e+01 | 84.80%
14.09/14.13 c 14.1s| 1 | 0 | 30741 | - | 79M| 0 | 373 | 500 | 18k| 500 |3847 |8424 | 0 | 0 |-1.437847e+02 |-2.200000e+01 | 84.70%
14.59/14.62 c 14.6s| 1 | 0 | 32127 | - | 80M| 0 | 387 | 500 | 18k| 500 |4026 |8603 | 0 | 0 |-1.421976e+02 |-2.200000e+01 | 84.53%
15.30/15.31 c 15.3s| 1 | 0 | 33446 | - | 80M| 0 | 382 | 500 | 18k| 500 |2410 |8757 | 0 | 0 |-1.407056e+02 |-2.200000e+01 | 84.36%
15.69/15.75 c 15.8s| 1 | 0 | 34904 | - | 80M| 0 | 385 | 500 | 18k| 500 |2557 |8904 | 0 | 0 |-1.389026e+02 |-2.200000e+01 | 84.16%
16.19/16.26 c 16.3s| 1 | 0 | 36751 | - | 81M| 0 | 371 | 500 | 18k| 500 |2659 |9006 | 0 | 0 |-1.365599e+02 |-2.200000e+01 | 83.89%
16.89/16.93 c 16.9s| 1 | 0 | 39331 | - | 81M| 0 | 384 | 500 | 18k| 500 |2761 |9108 | 0 | 0 |-1.349304e+02 |-2.200000e+01 | 83.70%
17.39/17.43 c 17.4s| 1 | 0 | 40409 | - | 81M| 0 | 381 | 500 | 18k| 500 |2957 |9304 | 0 | 0 |-1.343369e+02 |-2.200000e+01 | 83.62%
17.89/17.94 c 17.9s| 1 | 0 | 41639 | - | 82M| 0 | 396 | 500 | 18k| 500 |2996 |9343 | 0 | 0 |-1.334777e+02 |-2.200000e+01 | 83.52%
18.49/18.53 c 18.5s| 1 | 0 | 43116 | - | 82M| 0 | 399 | 500 | 18k| 500 |2473 |9356 | 0 | 0 |-1.324997e+02 |-2.200000e+01 | 83.40%
18.99/19.03 c 19.0s| 1 | 0 | 44448 | - | 82M| 0 | 394 | 500 | 18k| 500 |2580 |9463 | 0 | 0 |-1.315474e+02 |-2.200000e+01 | 83.28%
19.59/19.63 c 19.6s| 1 | 0 | 46179 | - | 82M| 0 | 401 | 500 | 18k| 500 |2715 |9598 | 0 | 0 |-1.310165e+02 |-2.200000e+01 | 83.21%
20.39/20.45 c 20.5s| 1 | 0 | 49085 | - | 82M| 0 | 398 | 500 | 18k| 500 |2871 |9754 | 0 | 0 |-1.301076e+02 |-2.200000e+01 | 83.09%
21.09/21.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.09/21.13 c 21.1s| 1 | 0 | 50773 | - | 82M| 0 | 402 | 500 | 18k| 500 |2961 |9844 | 0 | 0 |-1.293469e+02 |-2.200000e+01 | 82.99%
21.79/21.86 c 21.9s| 1 | 0 | 52695 | - | 82M| 0 | 402 | 500 | 18k| 500 |2973 |9856 | 0 | 0 |-1.282725e+02 |-2.200000e+01 | 82.85%
22.39/22.41 c 22.4s| 1 | 0 | 53595 | - | 82M| 0 | 405 | 500 | 18k| 500 |2400 |9967 | 0 | 0 |-1.276795e+02 |-2.200000e+01 | 82.77%
22.89/22.95 c 22.9s| 1 | 0 | 55005 | - | 82M| 0 | 404 | 500 | 18k| 500 |2542 | 10k| 0 | 0 |-1.264080e+02 |-2.200000e+01 | 82.60%
23.49/23.51 c 23.5s| 1 | 0 | 56293 | - | 82M| 0 | 401 | 500 | 18k| 500 |2618 | 10k| 0 | 0 |-1.255157e+02 |-2.200000e+01 | 82.47%
24.10/24.16 c 24.2s| 1 | 0 | 58099 | - | 82M| 0 | 408 | 500 | 18k| 500 |2635 | 10k| 0 | 0 |-1.242422e+02 |-2.200000e+01 | 82.29%
24.69/24.74 c 24.7s| 1 | 0 | 59316 | - | 82M| 0 | 413 | 500 | 18k| 500 |2816 | 10k| 0 | 0 |-1.236498e+02 |-2.200000e+01 | 82.21%
25.31/25.38 c 25.4s| 1 | 0 | 60519 | - | 82M| 0 | 405 | 500 | 18k| 500 |2898 | 10k| 0 | 0 |-1.226763e+02 |-2.200000e+01 | 82.07%
25.99/26.06 c 26.1s| 1 | 0 | 61850 | - | 82M| 0 | 413 | 500 | 18k| 500 |2572 | 10k| 0 | 0 |-1.221321e+02 |-2.200000e+01 | 81.99%
26.59/26.60 c 26.6s| 1 | 0 | 62711 | - | 82M| 0 | 419 | 500 | 18k| 500 |2613 | 10k| 0 | 0 |-1.215155e+02 |-2.200000e+01 | 81.90%
27.29/27.34 c 27.3s| 1 | 0 | 64315 | - | 82M| 0 | 414 | 500 | 18k| 500 |2764 | 10k| 0 | 0 |-1.208413e+02 |-2.200000e+01 | 81.79%
27.89/27.94 c 27.9s| 1 | 0 | 65366 | - | 82M| 0 | 416 | 500 | 18k| 500 |2808 | 10k| 0 | 0 |-1.205340e+02 |-2.200000e+01 | 81.75%
28.69/28.72 c 28.7s| 1 | 0 | 67210 | - | 82M| 0 | 417 | 500 | 18k| 500 |2845 | 10k| 0 | 0 |-1.195883e+02 |-2.200000e+01 | 81.60%
29.60/29.63 c 29.6s| 1 | 0 | 69661 | - | 82M| 0 | 432 | 500 | 18k| 500 |2933 | 10k| 0 | 0 |-1.191660e+02 |-2.200000e+01 | 81.54%
30.39/30.41 c 30.4s| 1 | 0 | 71249 | - | 82M| 0 | 426 | 500 | 18k| 500 |2640 | 10k| 0 | 0 |-1.186980e+02 |-2.200000e+01 | 81.47%
31.09/31.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.09/31.14 c 31.1s| 1 | 0 | 72968 | - | 82M| 0 | 433 | 500 | 18k| 500 |2667 | 10k| 0 | 0 |-1.181345e+02 |-2.200000e+01 | 81.38%
31.69/31.77 c 31.8s| 1 | 0 | 73896 | - | 82M| 0 | 432 | 500 | 18k| 500 |2726 | 10k| 0 | 0 |-1.178740e+02 |-2.200000e+01 | 81.34%
32.39/32.40 c 32.4s| 1 | 0 | 74878 | - | 82M| 0 | 441 | 500 | 18k| 500 |2804 | 11k| 0 | 0 |-1.175616e+02 |-2.200000e+01 | 81.29%
33.19/33.28 c 33.3s| 1 | 0 | 76976 | - | 82M| 0 | 436 | 500 | 18k| 500 |2851 | 11k| 0 | 0 |-1.169404e+02 |-2.200000e+01 | 81.19%
34.00/34.01 c 34.0s| 1 | 0 | 78102 | - | 82M| 0 | 433 | 500 | 18k| 500 |2905 | 11k| 0 | 0 |-1.164885e+02 |-2.200000e+01 | 81.11%
34.59/34.69 c 34.7s| 1 | 0 | 79055 | - | 82M| 0 | 436 | 500 | 18k| 500 |2705 | 11k| 0 | 0 |-1.161182e+02 |-2.200000e+01 | 81.05%
35.29/35.37 c 35.4s| 1 | 0 | 80224 | - | 82M| 0 | 435 | 500 | 18k| 500 |2736 | 11k| 0 | 0 |-1.157641e+02 |-2.200000e+01 | 81.00%
35.99/36.04 c 36.0s| 1 | 0 | 81114 | - | 82M| 0 | 444 | 500 | 18k| 500 |2787 | 11k| 0 | 0 |-1.154735e+02 |-2.200000e+01 | 80.95%
36.69/36.71 c 36.7s| 1 | 0 | 82090 | - | 82M| 0 | 449 | 500 | 18k| 500 |2816 | 11k| 0 | 0 |-1.151967e+02 |-2.200000e+01 | 80.90%
37.30/37.40 c 37.4s| 1 | 0 | 83123 | - | 82M| 0 | 447 | 500 | 18k| 500 |2853 | 11k| 0 | 0 |-1.148977e+02 |-2.200000e+01 | 80.85%
37.99/38.06 c 38.1s| 1 | 0 | 83911 | - | 82M| 0 | 452 | 500 | 18k| 500 |2872 | 11k| 0 | 0 |-1.146094e+02 |-2.200000e+01 | 80.80%
38.69/38.71 c 38.7s| 1 | 0 | 84771 | - | 82M| 0 | 455 | 500 | 18k| 500 |2742 | 11k| 0 | 0 |-1.144657e+02 |-2.200000e+01 | 80.78%
39.19/39.29 c 39.3s| 1 | 0 | 85256 | - | 82M| 0 | 456 | 500 | 18k| 500 |2765 | 11k| 0 | 0 |-1.143098e+02 |-2.200000e+01 | 80.75%
39.89/39.95 c 40.0s| 1 | 0 | 86172 | - | 82M| 0 | 451 | 500 | 18k| 500 |2780 | 11k| 0 | 0 |-1.140255e+02 |-2.200000e+01 | 80.71%
40.60/40.69 c 40.7s| 1 | 0 | 87274 | - | 82M| 0 | 458 | 500 | 18k| 500 |2806 | 11k| 0 | 0 |-1.137317e+02 |-2.200000e+01 | 80.66%
41.29/41.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.29/41.36 c 41.4s| 1 | 0 | 88104 | - | 82M| 0 | 458 | 500 | 18k| 500 |2824 | 11k| 0 | 0 |-1.135211e+02 |-2.200000e+01 | 80.62%
41.89/41.99 c 42.0s| 1 | 0 | 88708 | - | 82M| 0 | 460 | 500 | 18k| 500 |2845 | 11k| 0 | 0 |-1.133083e+02 |-2.200000e+01 | 80.58%
42.59/42.65 c 42.6s| 1 | 0 | 89347 | - | 82M| 0 | 460 | 500 | 18k| 500 |2739 | 11k| 0 | 0 |-1.131496e+02 |-2.200000e+01 | 80.56%
43.29/43.34 c 43.3s| 1 | 0 | 90306 | - | 82M| 0 | 457 | 500 | 18k| 500 |2752 | 11k| 0 | 0 |-1.128258e+02 |-2.200000e+01 | 80.50%
43.90/44.00 c 44.0s| 1 | 0 | 90956 | - | 82M| 0 | 462 | 500 | 18k| 500 |2766 | 11k| 0 | 0 |-1.125599e+02 |-2.200000e+01 | 80.45%
44.49/44.58 c 44.6s| 1 | 0 | 91307 | - | 82M| 0 | 468 | 500 | 18k| 500 |2778 | 11k| 0 | 0 |-1.123800e+02 |-2.200000e+01 | 80.42%
45.19/45.24 c 45.2s| 1 | 0 | 91928 | - | 82M| 0 | 462 | 500 | 18k| 500 |2787 | 11k| 0 | 0 |-1.121519e+02 |-2.200000e+01 | 80.38%
45.79/45.82 c 45.8s| 1 | 0 | 92268 | - | 82M| 0 | 461 | 500 | 18k| 500 |2800 | 11k| 0 | 0 |-1.119810e+02 |-2.200000e+01 | 80.35%
46.49/46.53 c 46.5s| 1 | 0 | 93260 | - | 82M| 0 | 471 | 500 | 18k| 500 |2742 | 11k| 0 | 0 |-1.116601e+02 |-2.200000e+01 | 80.30%
47.09/47.15 c 47.1s| 1 | 0 | 93860 | - | 82M| 0 | 468 | 500 | 18k| 500 |2759 | 11k| 0 | 0 |-1.114508e+02 |-2.200000e+01 | 80.26%
47.69/47.78 c 47.8s| 1 | 0 | 94445 | - | 82M| 0 | 467 | 500 | 18k| 500 |2781 | 11k| 0 | 0 |-1.112761e+02 |-2.200000e+01 | 80.23%
48.40/48.48 c 48.5s| 1 | 0 | 95397 | - | 82M| 0 | 472 | 500 | 18k| 500 |2794 | 11k| 0 | 0 |-1.109676e+02 |-2.200000e+01 | 80.17%
48.99/49.07 c 49.1s| 1 | 0 | 95813 | - | 82M| 0 | 475 | 500 | 18k| 500 |2816 | 11k| 0 | 0 |-1.107832e+02 |-2.200000e+01 | 80.14%
49.59/49.65 c 49.6s| 1 | 0 | 96127 | - | 82M| 0 | 475 | 500 | 18k| 500 |2825 | 11k| 0 | 0 |-1.106895e+02 |-2.200000e+01 | 80.12%
50.19/50.24 c 50.2s| 1 | 0 | 96465 | - | 82M| 0 | 469 | 500 | 18k| 500 |2764 | 11k| 0 | 0 |-1.105987e+02 |-2.200000e+01 | 80.11%
50.69/50.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.69/50.80 c 50.8s| 1 | 0 | 96700 | - | 82M| 0 | 471 | 500 | 18k| 500 |2772 | 11k| 0 | 0 |-1.105149e+02 |-2.200000e+01 | 80.09%
51.39/51.48 c 51.5s| 1 | 0 | 97312 | - | 82M| 0 | 476 | 500 | 18k| 500 |2785 | 11k| 0 | 0 |-1.102389e+02 |-2.200000e+01 | 80.04%
51.99/52.07 c 52.1s| 1 | 0 | 97675 | - | 82M| 0 | 481 | 500 | 18k| 500 |2799 | 11k| 0 | 0 |-1.101599e+02 |-2.200000e+01 | 80.03%
52.59/52.65 c 52.7s| 1 | 0 | 98015 | - | 82M| 0 | 480 | 500 | 18k| 500 |2809 | 11k| 0 | 0 |-1.100905e+02 |-2.200000e+01 | 80.02%
53.19/53.24 c 53.2s| 1 | 0 | 98344 | - | 82M| 0 | 485 | 500 | 18k| 500 |2818 | 11k| 0 | 0 |-1.099939e+02 |-2.200000e+01 | 80.00%
53.80/53.83 c 53.8s| 1 | 0 | 98561 | - | 82M| 0 | 485 | 500 | 18k| 500 |2780 | 11k| 0 | 0 |-1.099500e+02 |-2.200000e+01 | 79.99%
54.39/54.42 c 54.4s| 1 | 0 | 98989 | - | 82M| 0 | 483 | 500 | 18k| 500 |2791 | 11k| 0 | 0 |-1.098259e+02 |-2.200000e+01 | 79.97%
55.09/55.15 c 55.1s| 1 | 0 | 99754 | - | 82M| 0 | 481 | 500 | 18k| 500 |2803 | 11k| 0 | 0 |-1.096235e+02 |-2.200000e+01 | 79.93%
55.79/55.83 c 55.8s| 1 | 0 |100364 | - | 82M| 0 | 487 | 500 | 18k| 500 |2825 | 11k| 0 | 0 |-1.094699e+02 |-2.200000e+01 | 79.90%
56.39/56.44 c 56.4s| 1 | 0 |100700 | - | 81M| 0 | 485 | 500 | 18k| 500 |2843 | 11k| 0 | 0 |-1.093826e+02 |-2.200000e+01 | 79.89%
56.99/57.09 c 57.1s| 1 | 0 |101271 | - | 81M| 0 | 487 | 500 | 18k| 500 |2859 | 11k| 0 | 0 |-1.092471e+02 |-2.200000e+01 | 79.86%
57.69/57.76 c 57.8s| 1 | 0 |101769 | - | 81M| 0 | 483 | 500 | 18k| 500 |2824 | 11k| 0 | 0 |-1.090544e+02 |-2.200000e+01 | 79.83%
58.31/58.37 c 58.4s| 1 | 0 |102178 | - | 81M| 0 | 489 | 500 | 18k| 500 |2840 | 11k| 0 | 0 |-1.089892e+02 |-2.200000e+01 | 79.81%
58.99/59.04 c 59.0s| 1 | 0 |102732 | - | 81M| 0 | 488 | 500 | 18k| 500 |2852 | 11k| 0 | 0 |-1.088721e+02 |-2.200000e+01 | 79.79%
59.59/59.67 c 59.7s| 1 | 0 |103112 | - | 81M| 0 | 488 | 500 | 18k| 500 |2861 | 11k| 0 | 0 |-1.088255e+02 |-2.200000e+01 | 79.78%
60.29/60.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.29/60.37 c 60.4s| 1 | 0 |103638 | - | 81M| 0 | 491 | 500 | 18k| 500 |2876 | 11k| 0 | 0 |-1.087707e+02 |-2.200000e+01 | 79.77%
60.99/61.03 c 61.0s| 1 | 0 |104088 | - | 80M| 0 | 493 | 500 | 18k| 500 |2889 | 11k| 0 | 0 |-1.086629e+02 |-2.200000e+01 | 79.75%
61.69/61.76 c 61.8s| 1 | 0 |104760 | - | 80M| 0 | 494 | 500 | 18k| 500 |2864 | 11k| 0 | 0 |-1.084910e+02 |-2.200000e+01 | 79.72%
62.39/62.40 c 62.4s| 1 | 0 |105144 | - | 80M| 0 | 495 | 500 | 18k| 500 |2875 | 11k| 0 | 0 |-1.083753e+02 |-2.200000e+01 | 79.70%
62.99/63.06 c 63.1s| 1 | 0 |105486 | - | 80M| 0 | 496 | 500 | 18k| 500 |2886 | 11k| 0 | 0 |-1.082821e+02 |-2.200000e+01 | 79.68%
63.70/63.73 c 63.7s| 1 | 0 |105978 | - | 79M| 0 | 497 | 500 | 18k| 500 |2902 | 11k| 0 | 0 |-1.081478e+02 |-2.200000e+01 | 79.66%
64.29/64.35 c 64.3s| 1 | 0 |106287 | - | 79M| 0 | 495 | 500 | 18k| 500 |2918 | 11k| 0 | 0 |-1.080967e+02 |-2.200000e+01 | 79.65%
64.99/65.09 c 65.1s| 1 | 0 |106906 | - | 79M| 0 | 495 | 500 | 18k| 500 |2925 | 12k| 0 | 0 |-1.079003e+02 |-2.200000e+01 | 79.61%
65.80/65.82 c 65.8s| 1 | 0 |107391 | - | 79M| 0 | 497 | 500 | 18k| 500 |2881 | 12k| 0 | 0 |-1.077854e+02 |-2.200000e+01 | 79.59%
66.49/66.54 c 66.5s| 1 | 0 |107947 | - | 79M| 0 | 498 | 500 | 18k| 500 |2894 | 12k| 0 | 0 |-1.076688e+02 |-2.200000e+01 | 79.57%
67.19/67.22 c 67.2s| 1 | 0 |108376 | - | 79M| 0 | 496 | 500 | 18k| 500 |2905 | 12k| 0 | 0 |-1.075869e+02 |-2.200000e+01 | 79.55%
67.89/67.98 c 68.0s| 1 | 0 |109181 | - | 79M| 0 | 498 | 500 | 18k| 500 |2917 | 12k| 0 | 0 |-1.074877e+02 |-2.200000e+01 | 79.53%
68.60/68.69 c 68.7s| 1 | 0 |109688 | - | 79M| 0 | 497 | 500 | 18k| 500 |2929 | 12k| 0 | 0 |-1.073727e+02 |-2.200000e+01 | 79.51%
69.31/69.37 c 69.4s| 1 | 0 |110070 | - | 78M| 0 | 498 | 500 | 18k| 500 |2935 | 12k| 0 | 0 |-1.072936e+02 |-2.200000e+01 | 79.50%
69.99/70.02 c 70.0s| 1 | 0 |110393 | - | 78M| 0 | 500 | 500 | 18k| 500 |2910 | 12k| 0 | 0 |-1.072164e+02 |-2.200000e+01 | 79.48%
70.79/70.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.79/70.80 c 70.8s| 1 | 0 |111361 | - | 78M| 0 | 497 | 500 | 18k| 500 |2921 | 12k| 0 | 0 |-1.070539e+02 |-2.200000e+01 | 79.45%
71.40/71.47 c 71.5s| 1 | 0 |111779 | - | 78M| 0 | 498 | 500 | 18k| 500 |2936 | 12k| 0 | 0 |-1.069927e+02 |-2.200000e+01 | 79.44%
72.09/72.16 c 72.2s| 1 | 0 |112095 | - | 77M| 0 | 497 | 500 | 18k| 500 |2947 | 12k| 0 | 0 |-1.069437e+02 |-2.200000e+01 | 79.43%
72.79/72.87 c 72.9s| 1 | 0 |112592 | - | 77M| 0 | 499 | 500 | 18k| 500 |2962 | 12k| 0 | 0 |-1.068428e+02 |-2.200000e+01 | 79.41%
73.49/73.54 c 73.5s| 1 | 0 |113033 | - | 75M| 0 | 499 | 500 | 18k| 500 |2973 | 12k| 0 | 0 |-1.067623e+02 |-2.200000e+01 | 79.39%
74.19/74.25 c 74.2s| 1 | 0 |113404 | - | 74M| 0 | 497 | 500 | 18k| 500 |2935 | 12k| 0 | 0 |-1.066918e+02 |-2.200000e+01 | 79.38%
74.81/74.88 c 74.9s| 1 | 0 |113719 | - | 74M| 0 | 499 | 500 | 18k| 500 |2948 | 12k| 0 | 0 |-1.066451e+02 |-2.200000e+01 | 79.37%
75.49/75.59 c 75.6s| 1 | 0 |114346 | - | 74M| 0 | 499 | 500 | 18k| 500 |2959 | 12k| 0 | 0 |-1.065605e+02 |-2.200000e+01 | 79.35%
76.20/76.22 c 76.2s| 1 | 0 |114627 | - | 74M| 0 | 499 | 500 | 18k| 500 |2972 | 12k| 0 | 0 |-1.065179e+02 |-2.200000e+01 | 79.35%
76.90/76.98 c 77.0s| 1 | 0 |115243 | - | 73M| 0 | 496 | 500 | 18k| 500 |2979 | 12k| 0 | 0 |-1.063859e+02 |-2.200000e+01 | 79.32%
77.59/77.67 c 77.7s| 1 | 0 |115700 | - | 72M| 0 | 497 | 500 | 18k| 500 |2996 | 12k| 0 | 0 |-1.063208e+02 |-2.200000e+01 | 79.31%
78.29/78.33 c 78.3s| 1 | 0 |116071 | - | 71M| 0 | 497 | 500 | 18k| 500 |2953 | 12k| 0 | 0 |-1.062760e+02 |-2.200000e+01 | 79.30%
78.90/78.99 c 79.0s| 1 | 0 |116483 | - | 69M| 0 | 498 | 500 | 18k| 500 |2967 | 12k| 0 | 0 |-1.062249e+02 |-2.200000e+01 | 79.29%
79.69/79.71 c 79.7s| 1 | 0 |116986 | - | 68M| 0 | 497 | 500 | 18k| 500 |2980 | 12k| 0 | 0 |-1.061719e+02 |-2.200000e+01 | 79.28%
80.31/80.35 c 80.3s| 1 | 0 |117302 | - | 67M| 0 | 499 | 500 | 18k| 500 |2993 | 12k| 0 | 0 |-1.061078e+02 |-2.200000e+01 | 79.27%
80.99/81.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.99/81.08 c 81.1s| 1 | 0 |117946 | - | 66M| 0 | 497 | 500 | 18k| 500 |3005 | 12k| 0 | 0 |-1.060117e+02 |-2.200000e+01 | 79.25%
81.79/81.88 c 81.9s| 1 | 0 |118869 | - | 66M| 0 | 498 | 500 | 18k| 500 |3016 | 12k| 0 | 0 |-1.059508e+02 |-2.200000e+01 | 79.24%
82.50/82.55 c 82.6s| 1 | 0 |119210 | - | 65M| 0 | 498 | 500 | 18k| 500 |2980 | 12k| 0 | 0 |-1.059094e+02 |-2.200000e+01 | 79.23%
83.29/83.30 c 83.3s| 1 | 0 |119836 | - | 64M| 0 | 496 | 500 | 18k| 500 |2988 | 12k| 0 | 0 |-1.058324e+02 |-2.200000e+01 | 79.21%
83.89/83.96 c 84.0s| 1 | 0 |120177 | - | 64M| 0 | 499 | 500 | 18k| 500 |3000 | 12k| 0 | 0 |-1.057906e+02 |-2.200000e+01 | 79.20%
84.60/84.65 c 84.6s| 1 | 0 |120635 | - | 64M| 0 | 498 | 500 | 18k| 500 |3013 | 12k| 0 | 0 |-1.057230e+02 |-2.200000e+01 | 79.19%
85.29/85.30 c 85.3s| 1 | 0 |120996 | - | 64M| 0 | 498 | 500 | 18k| 500 |3024 | 12k| 0 | 0 |-1.056849e+02 |-2.200000e+01 | 79.18%
85.99/86.04 c 86.0s| 1 | 0 |121427 | - | 63M| 0 | 498 | 500 | 18k| 500 |3032 | 12k| 0 | 0 |-1.056038e+02 |-2.200000e+01 | 79.17%
86.69/86.77 c 86.8s| 1 | 0 |121889 | - | 63M| 0 | 497 | 500 | 18k| 500 |2986 | 12k| 0 | 0 |-1.055566e+02 |-2.200000e+01 | 79.16%
87.49/87.53 c 87.5s| 1 | 0 |122620 | - | 63M| 0 | 497 | 500 | 18k| 500 |3001 | 12k| 0 | 0 |-1.054244e+02 |-2.200000e+01 | 79.13%
88.30/88.35 c 88.3s| 1 | 0 |123458 | - | 63M| 0 | 499 | 500 | 18k| 500 |3017 | 12k| 0 | 0 |-1.052920e+02 |-2.200000e+01 | 79.11%
89.00/89.06 c 89.1s| 1 | 0 |123909 | - | 63M| 0 | 499 | 500 | 18k| 500 |3031 | 12k| 0 | 0 |-1.052112e+02 |-2.200000e+01 | 79.09%
89.69/89.78 c 89.8s| 1 | 0 |124398 | - | 63M| 0 | 500 | 500 | 18k| 500 |3045 | 12k| 0 | 0 |-1.051346e+02 |-2.200000e+01 | 79.07%
90.49/90.53 c 90.5s| 1 | 0 |124939 | - | 63M| 0 | 497 | 500 | 18k| 500 |3058 | 12k| 0 | 0 |-1.050493e+02 |-2.200000e+01 | 79.06%
91.20/91.28 c 91.3s| 1 | 0 |125415 | - | 63M| 0 | 500 | 500 | 18k| 500 |3017 | 12k| 0 | 0 |-1.049949e+02 |-2.200000e+01 | 79.05%
91.90/91.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.90/91.95 c 92.0s| 1 | 0 |125807 | - | 63M| 0 | 499 | 500 | 18k| 500 |3028 | 12k| 0 | 0 |-1.049407e+02 |-2.200000e+01 | 79.04%
92.59/92.65 c 92.6s| 1 | 0 |126205 | - | 63M| 0 | 499 | 500 | 18k| 500 |3045 | 12k| 0 | 0 |-1.048791e+02 |-2.200000e+01 | 79.02%
93.30/93.34 c 93.3s| 1 | 0 |126668 | - | 63M| 0 | 500 | 500 | 18k| 500 |3060 | 12k| 0 | 0 |-1.048355e+02 |-2.200000e+01 | 79.01%
94.09/94.13 c 94.1s| 1 | 0 |127292 | - | 63M| 0 | 498 | 500 | 18k| 500 |3068 | 12k| 0 | 0 |-1.047786e+02 |-2.200000e+01 | 79.00%
94.89/94.91 c 94.9s| 1 | 0 |127825 | - | 63M| 0 | 499 | 500 | 18k| 500 |3079 | 12k| 0 | 0 |-1.046997e+02 |-2.200000e+01 | 78.99%
95.60/95.66 c 95.7s| 1 | 0 |128301 | - | 63M| 0 | 499 | 500 | 18k| 500 |3038 | 12k| 0 | 0 |-1.046460e+02 |-2.200000e+01 | 78.98%
96.29/96.36 c 96.4s| 1 | 0 |128760 | - | 63M| 0 | 500 | 500 | 18k| 500 |3055 | 12k| 0 | 0 |-1.045933e+02 |-2.200000e+01 | 78.97%
96.99/97.05 c 97.0s| 1 | 0 |129036 | - | 63M| 0 | 500 | 500 | 18k| 500 |3065 | 12k| 0 | 0 |-1.045675e+02 |-2.200000e+01 | 78.96%
97.80/97.87 c 97.9s| 1 | 0 |129749 | - | 63M| 0 | 500 | 500 | 18k| 500 |3079 | 12k| 0 | 0 |-1.044833e+02 |-2.200000e+01 | 78.94%
98.49/98.56 c 98.6s| 1 | 0 |130056 | - | 63M| 0 | 500 | 500 | 18k| 500 |3094 | 12k| 0 | 0 |-1.044567e+02 |-2.200000e+01 | 78.94%
99.29/99.32 c 99.3s| 1 | 0 |130681 | - | 63M| 0 | 499 | 500 | 18k| 500 |3107 | 12k| 0 | 0 |-1.043935e+02 |-2.200000e+01 | 78.93%
100.00/100.11 c 100s| 1 | 0 |131187 | - | 63M| 0 | 499 | 500 | 18k| 500 |3056 | 12k| 0 | 0 |-1.043362e+02 |-2.200000e+01 | 78.91%
100.80/100.81 c 101s| 1 | 0 |131647 | - | 63M| 0 | 498 | 500 | 18k| 500 |3069 | 12k| 0 | 0 |-1.042971e+02 |-2.200000e+01 | 78.91%
101.39/101.48 c 101s| 1 | 0 |131966 | - | 63M| 0 | 500 | 500 | 18k| 500 |3081 | 12k| 0 | 0 |-1.042614e+02 |-2.200000e+01 | 78.90%
102.09/102.19 c 102s| 1 | 0 |132284 | - | 63M| 0 | 500 | 500 | 18k| 500 |3094 | 12k| 0 | 0 |-1.042099e+02 |-2.200000e+01 | 78.89%
102.89/102.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.89/102.98 c 103s| 1 | 0 |133050 | - | 63M| 0 | 500 | 500 | 18k| 500 |3107 | 12k| 0 | 0 |-1.041699e+02 |-2.200000e+01 | 78.88%
103.59/103.68 c 104s| 1 | 0 |133419 | - | 63M| 0 | 499 | 500 | 18k| 500 |3116 | 12k| 0 | 0 |-1.041503e+02 |-2.200000e+01 | 78.88%
104.29/104.39 c 104s| 1 | 0 |133758 | - | 62M| 0 | 499 | 500 | 18k| 500 |3076 | 12k| 0 | 0 |-1.041318e+02 |-2.200000e+01 | 78.87%
105.19/105.20 c 105s| 1 | 0 |134560 | - | 62M| 0 | 500 | 500 | 18k| 500 |3088 | 12k| 0 | 0 |-1.040562e+02 |-2.200000e+01 | 78.86%
105.89/105.93 c 106s| 1 | 0 |134898 | - | 62M| 0 | 500 | 500 | 18k| 500 |3097 | 12k| 0 | 0 |-1.040256e+02 |-2.200000e+01 | 78.85%
106.60/106.61 c 107s| 1 | 0 |135174 | - | 62M| 0 | 500 | 500 | 18k| 500 |3108 | 12k| 0 | 0 |-1.040072e+02 |-2.200000e+01 | 78.85%
107.29/107.39 c 107s| 1 | 0 |135882 | - | 62M| 0 | 500 | 500 | 18k| 500 |3123 | 12k| 0 | 0 |-1.039602e+02 |-2.200000e+01 | 78.84%
108.09/108.11 c 108s| 1 | 0 |136285 | - | 62M| 0 | 500 | 500 | 18k| 500 |3137 | 12k| 0 | 0 |-1.039164e+02 |-2.200000e+01 | 78.83%
108.80/108.83 c 109s| 1 | 0 |136643 | - | 62M| 0 | 500 | 500 | 18k| 500 |3092 | 12k| 0 | 0 |-1.038925e+02 |-2.200000e+01 | 78.82%
109.49/109.51 c 110s| 1 | 0 |136928 | - | 62M| 0 | 500 | 500 | 18k| 500 |3102 | 12k| 0 | 0 |-1.038687e+02 |-2.200000e+01 | 78.82%
110.19/110.25 c 110s| 1 | 0 |137433 | - | 62M| 0 | 500 | 500 | 18k| 500 |3114 | 12k| 0 | 0 |-1.038265e+02 |-2.200000e+01 | 78.81%
110.90/110.93 c 111s| 1 | 0 |137686 | - | 62M| 0 | 499 | 500 | 18k| 500 |3126 | 12k| 0 | 0 |-1.037975e+02 |-2.200000e+01 | 78.80%
111.59/111.65 c 112s| 1 | 0 |138073 | - | 62M| 0 | 500 | 500 | 18k| 500 |3136 | 12k| 0 | 0 |-1.037505e+02 |-2.200000e+01 | 78.80%
112.39/112.44 c 112s| 1 | 0 |138605 | - | 62M| 0 | 500 | 500 | 18k| 500 |3143 | 12k| 0 | 0 |-1.036996e+02 |-2.200000e+01 | 78.78%
113.20/113.27 c 113s| 1 | 0 |139254 | - | 62M| 0 | 500 | 500 | 18k| 500 |3107 | 12k| 0 | 0 |-1.036353e+02 |-2.200000e+01 | 78.77%
113.90/113.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.90/113.99 c 114s| 1 | 0 |139488 | - | 62M| 0 | 500 | 500 | 18k| 500 |3117 | 12k| 0 | 0 |-1.036084e+02 |-2.200000e+01 | 78.77%
114.69/114.76 c 115s| 1 | 0 |140028 | - | 62M| 0 | 500 | 500 | 18k| 500 |3127 | 12k| 0 | 0 |-1.035821e+02 |-2.200000e+01 | 78.76%
115.41/115.48 c 115s| 1 | 0 |140417 | - | 62M| 0 | 500 | 500 | 18k| 500 |3138 | 12k| 0 | 0 |-1.035622e+02 |-2.200000e+01 | 78.76%
116.19/116.25 c 116s| 1 | 0 |140803 | - | 62M| 0 | 500 | 500 | 18k| 500 |3148 | 12k| 0 | 0 |-1.035271e+02 |-2.200000e+01 | 78.75%
116.90/116.92 c 117s| 1 | 0 |140969 | - | 62M| 0 | 500 | 500 | 18k| 500 |3158 | 12k| 0 | 0 |-1.035163e+02 |-2.200000e+01 | 78.75%
117.71/117.76 c 118s| 1 | 0 |141654 | - | 62M| 0 | 500 | 500 | 18k| 500 |3114 | 12k| 0 | 0 |-1.034610e+02 |-2.200000e+01 | 78.74%
118.49/118.52 c 119s| 1 | 0 |141879 | - | 62M| 0 | 499 | 500 | 18k| 500 |3123 | 12k| 0 | 0 |-1.034468e+02 |-2.200000e+01 | 78.73%
119.19/119.27 c 119s| 1 | 0 |142206 | - | 62M| 0 | 500 | 500 | 18k| 500 |3134 | 12k| 0 | 0 |-1.034121e+02 |-2.200000e+01 | 78.73%
119.99/120.04 c 120s| 1 | 0 |142560 | - | 62M| 0 | 500 | 500 | 18k| 500 |3146 | 12k| 0 | 0 |-1.033873e+02 |-2.200000e+01 | 78.72%
120.79/120.80 c 121s| 1 | 0 |142847 | - | 62M| 0 | 500 | 500 | 18k| 500 |3158 | 12k| 0 | 0 |-1.033632e+02 |-2.200000e+01 | 78.72%
121.49/121.54 c 122s| 1 | 0 |143195 | - | 62M| 0 | 500 | 500 | 18k| 500 |3172 | 12k| 0 | 0 |-1.033323e+02 |-2.200000e+01 | 78.71%
122.20/122.24 c 122s| 1 | 0 |143334 | - | 62M| 0 | 500 | 500 | 18k| 500 |3136 | 12k| 0 | 0 |-1.033208e+02 |-2.200000e+01 | 78.71%
122.89/122.94 c 123s| 1 | 0 |143628 | - | 62M| 0 | 500 | 500 | 18k| 500 |3145 | 12k| 0 | 0 |-1.033026e+02 |-2.200000e+01 | 78.70%
123.69/123.71 c 124s| 1 | 0 |144033 | - | 62M| 0 | 500 | 500 | 18k| 500 |3158 | 12k| 0 | 0 |-1.032571e+02 |-2.200000e+01 | 78.69%
124.40/124.44 c 124s| 1 | 0 |144329 | - | 62M| 0 | 500 | 500 | 18k| 500 |3170 | 12k| 0 | 0 |-1.032438e+02 |-2.200000e+01 | 78.69%
125.19/125.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.19/125.21 c 125s| 1 | 0 |144775 | - | 62M| 0 | 500 | 500 | 18k| 500 |3181 | 12k| 0 | 0 |-1.032194e+02 |-2.200000e+01 | 78.69%
125.89/125.95 c 126s| 1 | 0 |145101 | - | 62M| 0 | 500 | 500 | 18k| 500 |3190 | 13k| 0 | 0 |-1.032000e+02 |-2.200000e+01 | 78.68%
126.60/126.68 c 127s| 1 | 0 |145322 | - | 62M| 0 | 500 | 500 | 18k| 500 |3148 | 13k| 0 | 0 |-1.031794e+02 |-2.200000e+01 | 78.68%
127.50/127.51 c 127s| 1 | 0 |145861 | - | 62M| 0 | 500 | 500 | 18k| 500 |3158 | 13k| 0 | 0 |-1.031385e+02 |-2.200000e+01 | 78.67%
128.19/128.23 c 128s| 1 | 0 |146149 | - | 62M| 0 | 500 | 500 | 18k| 500 |3169 | 13k| 0 | 0 |-1.031207e+02 |-2.200000e+01 | 78.67%
128.89/128.95 c 129s| 1 | 0 |146393 | - | 62M| 0 | 500 | 500 | 18k| 500 |3180 | 13k| 0 | 0 |-1.030972e+02 |-2.200000e+01 | 78.66%
129.70/129.73 c 130s| 1 | 0 |146799 | - | 62M| 0 | 500 | 500 | 18k| 500 |3190 | 13k| 0 | 0 |-1.030761e+02 |-2.200000e+01 | 78.66%
130.39/130.48 c 130s| 1 | 0 |147040 | - | 62M| 0 | 500 | 500 | 18k| 500 |3200 | 13k| 0 | 0 |-1.030567e+02 |-2.200000e+01 | 78.65%
131.29/131.30 c 131s| 1 | 0 |147437 | - | 62M| 0 | 500 | 500 | 18k| 500 |3158 | 13k| 0 | 0 |-1.030333e+02 |-2.200000e+01 | 78.65%
132.01/132.05 c 132s| 1 | 0 |147686 | - | 62M| 0 | 500 | 500 | 18k| 500 |3165 | 13k| 0 | 0 |-1.030236e+02 |-2.200000e+01 | 78.65%
132.69/132.79 c 133s| 1 | 0 |147849 | - | 62M| 0 | 500 | 500 | 18k| 500 |3171 | 13k| 0 | 0 |-1.030162e+02 |-2.200000e+01 | 78.64%
133.49/133.56 c 134s| 1 | 0 |148170 | - | 62M| 0 | 500 | 500 | 18k| 500 |3180 | 13k| 0 | 0 |-1.030033e+02 |-2.200000e+01 | 78.64%
134.20/134.29 c 134s| 1 | 0 |148387 | - | 62M| 0 | 500 | 500 | 18k| 500 |3189 | 13k| 0 | 0 |-1.029942e+02 |-2.200000e+01 | 78.64%
134.99/135.05 c 135s| 1 | 0 |148676 | - | 62M| 0 | 500 | 500 | 18k| 500 |3196 | 13k| 0 | 0 |-1.029819e+02 |-2.200000e+01 | 78.64%
135.70/135.78 c 136s| 1 | 0 |148836 | - | 62M| 0 | 500 | 500 | 18k| 500 |3154 | 13k| 0 | 0 |-1.029753e+02 |-2.200000e+01 | 78.64%
136.41/136.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.41/136.49 c 136s| 1 | 0 |148981 | - | 62M| 0 | 500 | 500 | 18k| 500 |3163 | 13k| 0 | 0 |-1.029704e+02 |-2.200000e+01 | 78.63%
137.19/137.22 c 137s| 1 | 0 |149127 | - | 62M| 0 | 500 | 500 | 18k| 500 |3171 | 13k| 0 | 0 |-1.029661e+02 |-2.200000e+01 | 78.63%
137.89/137.90 c 138s| 1 | 0 |149194 | - | 62M| 0 | 500 | 500 | 18k| 500 |3180 | 13k| 0 | 0 |-1.029645e+02 |-2.200000e+01 | 78.63%
138.50/138.58 c 139s| 1 | 0 |149272 | - | 62M| 0 | 500 | 500 | 18k| 500 |3187 | 13k| 0 | 0 |-1.029623e+02 |-2.200000e+01 | 78.63%
139.19/139.26 c 139s| 1 | 0 |149318 | - | 62M| 0 | 500 | 500 | 18k| 500 |3190 | 13k| 0 | 0 |-1.029613e+02 |-2.200000e+01 | 78.63%
144.90/144.93 c 145s| 1 | 2 |149318 | - | 62M| 0 | 500 | 500 | 18k| 500 |3190 | 13k| 0 | 17 |-1.029613e+02 |-2.200000e+01 | 78.63%
448.10/448.18 o -23
448.10/448.18 c l 448s| 3616 | 3617 | 3068k| 807.4 | 72M| 62 | - | 500 | 18k| 500 | 614 | 44k| 0 |2131 |-9.842186e+01 |-2.300000e+01 | 76.63%
448.10/448.18 o -27
448.10/448.18 c l 448s| 3616 | 3617 | 3068k| 807.4 | 72M| 62 | - | 500 | 18k| 500 | 614 | 44k| 0 |2131 |-9.842186e+01 |-2.700000e+01 | 72.57%
561.20/561.29 o -33
561.20/561.29 c * 561s| 7434 | 7307 | 4431k| 576.2 | 79M| 69 | - | 500 | 18k| 500 | 571 | 119k| 0 |2828 |-9.791352e+01 |-3.300000e+01 | 66.30%
618.40/618.44 c 618s| 10000 | 9671 | 5141k| 499.3 | 83M| 69 | 48 | 500 | 18k| 500 | 619 | 177k| 0 |3179 |-9.766894e+01 |-3.300000e+01 | 66.21%
762.61/762.63 c 763s| 20000 | 17783 | 6979k| 341.5 | 98M| 77 | 63 | 500 | 18k| 500 | 610 | 429k| 0 |3979 |-9.721231e+01 |-3.300000e+01 | 66.05%
862.32/862.37 c 862s| 30000 | 24557 | 8258k| 270.3 | 110M| 92 | 23 | 500 | 18k| 500 | 500 | 671k| 0 |4514 |-9.679927e+01 |-3.300000e+01 | 65.91%
1043.82/1043.86 c 1044s| 40000 | 31481 | 10504k| 258.9 | 123M| 102 | 29 | 500 | 18k| 500 | 558 | 883k| 0 |5304 |-9.556505e+01 |-3.300000e+01 | 65.47%
1102.82/1102.88 c 1103s| 50000 | 36443 | 11288k| 222.8 | 131M| 103 | - | 500 | 18k| 500 | 535 |1105k| 0 |5543 |-9.543313e+01 |-3.300000e+01 | 65.42%
1163.73/1163.71 c 1164s| 60000 | 41363 | 12085k| 198.9 | 140M| 105 | 68 | 500 | 18k| 500 | 590 |1324k| 0 |5809 |-9.525992e+01 |-3.300000e+01 | 65.36%
1216.22/1216.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1216.22/1216.20 c 1216s| 70000 | 45891 | 12781k| 180.5 | 148M| 106 | 41 | 500 | 18k| 500 | 530 |1544k| 0 |6002 |-9.513232e+01 |-3.300000e+01 | 65.31%
1230.32/1230.30 o -34
1230.32/1230.30 c *1230s| 72481 | 45074 | 12958k| 176.7 | 148M| 111 | - | 500 | 18k| 500 | 582 |1599k| 0 |6119 |-9.509627e+01 |-3.400000e+01 | 64.25%
1264.42/1264.47 c 1264s| 80000 | 48015 | 13417k| 165.9 | 153M| 111 | - | 500 | 18k| 500 | 561 |1762k| 0 |6221 |-9.502089e+01 |-3.400000e+01 | 64.22%
1313.22/1313.22 c 1313s| 90000 | 51999 | 14073k| 154.7 | 160M| 111 | 26 | 500 | 18k| 500 | 543 |1973k| 0 |6432 |-9.490521e+01 |-3.400000e+01 | 64.17%
1361.52/1361.54 c 1362s|100000 | 55885 | 14716k| 145.7 | 166M| 111 | 31 | 500 | 18k| 500 | 547 |2185k| 0 |6653 |-9.480070e+01 |-3.400000e+01 | 64.14%
1408.22/1408.22 c 1408s|110000 | 59843 | 15343k| 138.1 | 173M| 111 | - | 500 | 18k| 500 | 582 |2399k| 0 |6860 |-9.470999e+01 |-3.400000e+01 | 64.10%
1457.63/1457.70 c 1458s|120000 | 63941 | 16003k| 132.1 | 181M| 111 | 82 | 500 | 18k| 500 | 623 |2621k| 0 |7066 |-9.461020e+01 |-3.400000e+01 | 64.06%
1502.73/1502.73 c 1503s|130000 | 67933 | 16623k| 126.7 | 187M| 111 | - | 500 | 18k| 500 | 551 |2839k| 0 |7172 |-9.452936e+01 |-3.400000e+01 | 64.03%
1544.72/1544.73 c 1545s|140000 | 71823 | 17202k| 121.8 | 194M| 114 | 51 | 500 | 18k| 500 | 574 |3058k| 0 |7281 |-9.444233e+01 |-3.400000e+01 | 64.00%
1591.74/1591.73 c 1592s|150000 | 75837 | 17833k| 117.9 | 201M| 114 | - | 500 | 18k| 500 | 556 |3269k| 0 |7482 |-9.435355e+01 |-3.400000e+01 | 63.97%
1639.83/1639.80 c 1640s|160000 | 79823 | 18477k| 114.6 | 208M| 114 | 19 | 500 | 18k| 500 | 553 |3486k| 0 |7679 |-9.427902e+01 |-3.400000e+01 | 63.94%
1684.63/1684.66 c 1685s|170000 | 83755 | 19095k| 111.4 | 215M| 114 | 66 | 500 | 18k| 500 | 536 |3703k| 0 |7834 |-9.420698e+01 |-3.400000e+01 | 63.91%
1724.43/1724.43 c 1724s|180000 | 87621 | 19653k| 108.4 | 221M| 116 | - | 500 | 18k| 500 | 557 |3922k| 0 |7873 |-9.414701e+01 |-3.400000e+01 | 63.89%
1764.63/1764.70 c 1765s|190000 | 91415 | 20204k| 105.6 | 228M| 116 | 32 | 500 | 18k| 500 | 545 |4143k| 0 |8069 |-9.406905e+01 |-3.400000e+01 | 63.86%
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 : 197849
1800.04/1800.01 c Primal Bound : -3.40000000000000e+01 (878 solutions)
1800.04/1800.01 c Dual Bound : -9.40002775313438e+01
1800.04/1800.01 c Gap : 63.83 %
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-3450678-1307106652/watcher-3450678-1307106652 -o /tmp/evaluation-result-3450678-1307106652/solver-3450678-1307106652 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450678-1307106652.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.05 2.01 3/446 11466
/proc/meminfo: memFree=31123860/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=13972 CPUtime=0 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 2485 0 0 0 0 0 0 0 25 0 1 0 822263930 14307328 2439 33554432000 4194304 9163163 140733939367952 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11466/statm: 3493 2439 415 1214 0 2275 0
[startup+0.0210939 s]
/proc/loadavg: 2.11 2.05 2.01 3/446 11466
/proc/meminfo: memFree=31123860/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=19472 CPUtime=0.01 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 3782 0 0 0 1 0 0 0 25 0 1 0 822263930 19939328 3737 33554432000 4194304 9163163 140733939367952 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11466/statm: 4868 3762 415 1214 0 3650 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19472
[startup+0.101074 s]
/proc/loadavg: 2.11 2.05 2.01 3/446 11466
/proc/meminfo: memFree=31123860/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=37400 CPUtime=0.09 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 8339 0 0 0 8 1 0 0 25 0 1 0 822263930 38297600 8293 33554432000 4194304 9163163 140733939367952 18446744073709551615 6165459 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11466/statm: 9350 8293 415 1214 0 8132 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37400
[startup+0.301037 s]
/proc/loadavg: 2.11 2.05 2.01 3/446 11466
/proc/meminfo: memFree=31123860/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=85624 CPUtime=0.29 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 19833 0 0 0 27 2 0 0 25 0 1 0 822263930 87678976 19750 33554432000 4194304 9163163 140733939367952 18446744073709551615 4337765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 21406 19750 505 1214 0 20188 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85624
[startup+0.700965 s]
/proc/loadavg: 2.11 2.05 2.01 3/446 11466
/proc/meminfo: memFree=31123860/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=114604 CPUtime=0.69 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 27765 0 0 0 66 3 0 0 25 0 1 0 822263930 117354496 26382 33554432000 4194304 9163163 140733939367952 18446744073709551615 7224016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 28651 26382 812 1214 0 27433 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 114604
[startup+1.50088 s]
/proc/loadavg: 2.11 2.05 2.01 3/447 11467
/proc/meminfo: memFree=31017944/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=116608 CPUtime=1.49 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 31356 0 0 0 145 4 0 0 25 0 1 0 822263930 119406592 27586 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 29152 27586 849 1214 0 27934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116608
[startup+3.1006 s]
/proc/loadavg: 2.10 2.05 2.01 3/447 11467
/proc/meminfo: memFree=31012860/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=119164 CPUtime=3.09 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 32077 0 0 0 303 6 0 0 25 0 1 0 822263930 122023936 28244 33554432000 4194304 9163163 140733939367952 18446744073709551615 7225280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 29791 28244 788 1214 0 28573 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119164
[startup+6.30105 s]
/proc/loadavg: 2.10 2.05 2.01 3/447 11467
/proc/meminfo: memFree=31006672/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=128008 CPUtime=6.29 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 34347 0 0 0 621 8 0 0 25 0 1 0 822263930 131080192 30451 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 32002 30451 725 1214 0 30784 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 128008
[startup+12.7008 s]
/proc/loadavg: 2.09 2.05 2.00 3/447 11467
/proc/meminfo: memFree=30991564/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=143088 CPUtime=12.69 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 38287 0 0 0 1250 19 0 0 25 0 1 0 822263930 146522112 34225 33554432000 4194304 9163163 140733939367952 18446744073709551615 7225331 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 35772 34225 729 1214 0 34554 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 143088
[startup+25.5006 s]
/proc/loadavg: 2.07 2.04 2.00 3/447 11467
/proc/meminfo: memFree=30979404/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=151124 CPUtime=25.49 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 40287 0 0 0 2508 41 0 0 25 0 1 0 822263930 154750976 36195 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 37781 36195 706 1214 0 36563 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 151124
[startup+51.1001 s]
/proc/loadavg: 2.05 2.04 2.00 3/447 11468
/proc/meminfo: memFree=30979448/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=151124 CPUtime=51.09 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 40287 0 0 0 5038 71 0 0 25 0 1 0 822263930 154750976 36195 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 37781 36195 706 1214 0 36563 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 151124
[startup+102.316 s]
/proc/loadavg: 2.07 2.04 2.00 3/447 11469
/proc/meminfo: memFree=30978056/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=151124 CPUtime=102.31 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 40298 0 0 0 10110 121 0 0 25 0 1 0 822263930 154750976 36199 33554432000 4194304 9163163 140733939367952 18446744073709551615 6607048 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 37781 36199 699 1214 0 36563 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 151124
[startup+162.301 s]
/proc/loadavg: 2.07 2.05 2.00 3/447 11471
/proc/meminfo: memFree=30978508/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=150328 CPUtime=162.29 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 43548 0 0 0 16025 204 0 0 25 0 1 0 822263930 153935872 36056 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 37582 36056 719 1214 0 36364 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 150328
[startup+222.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/447 11528
/proc/meminfo: memFree=31181584/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=150328 CPUtime=222.29 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 43551 0 0 0 21776 453 0 0 25 0 1 0 822263930 153935872 36059 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 37582 36059 722 1214 0 36364 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 150328
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 11529
/proc/meminfo: memFree=31162404/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=150328 CPUtime=282.3 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 57041 0 0 0 27492 738 0 0 25 0 1 0 822263930 153935872 36074 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 37582 36074 736 1214 0 36364 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 150328
[startup+342.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/447 11531
/proc/meminfo: memFree=31143408/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=151464 CPUtime=342.3 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 64580 0 0 0 33199 1031 0 0 25 0 1 0 822263930 155099136 36343 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 37866 36343 736 1214 0 36648 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 151464
[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/447 11532
/proc/meminfo: memFree=31128852/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=154988 CPUtime=402.3 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 72678 0 0 0 38900 1330 0 0 25 0 1 0 822263930 158707712 37201 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 38747 37201 736 1214 0 37529 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 154988
[startup+462.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/447 11534
/proc/meminfo: memFree=31107860/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=157972 CPUtime=462.31 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 80724 0 0 0 44599 1632 0 0 25 0 1 0 822263930 161763328 37957 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 39493 37957 736 1214 0 38275 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 157972
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 11536
/proc/meminfo: memFree=31085352/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=163584 CPUtime=522.3 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 96668 0 0 0 50294 1936 0 0 25 0 1 0 822263930 167510016 39379 33554432000 4194304 9163163 140733939367952 18446744073709551615 5264974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 40896 39379 736 1214 0 39678 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 163584
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 11537
/proc/meminfo: memFree=31063612/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=168624 CPUtime=582.3 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 119653 0 0 0 55974 2256 0 0 25 0 1 0 822263930 172670976 40631 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 42156 40631 737 1214 0 40938 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 168624
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 11544
/proc/meminfo: memFree=30997316/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=197504 CPUtime=822.31 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 155173 0 0 0 78683 3548 0 0 25 0 1 0 822263930 202244096 47900 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 49376 47900 739 1214 0 48158 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 197504
[startup+882.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/447 11545
/proc/meminfo: memFree=30984980/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=206908 CPUtime=882.31 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 164768 0 0 0 84360 3871 0 0 25 0 1 0 822263930 211873792 50280 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 51727 50280 739 1214 0 50509 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 206908
[startup+942.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/447 11547
/proc/meminfo: memFree=30980100/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=210220 CPUtime=942.31 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 165610 0 0 0 90058 4173 0 0 25 0 1 0 822263930 215265280 51122 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 52555 51122 739 1214 0 51337 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 210220
[startup+1002.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/447 11548
/proc/meminfo: memFree=30970520/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=213180 CPUtime=1002.32 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 166370 0 0 0 95760 4472 0 0 25 0 1 0 822263930 218296320 51882 33554432000 4194304 9163163 140733939367952 18446744073709551615 7318984 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 53295 51882 739 1214 0 52077 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 213180
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 11550
/proc/meminfo: memFree=30961516/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=218244 CPUtime=1062.32 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 167560 0 0 0 101439 4793 0 0 25 0 1 0 822263930 223481856 53072 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 54561 53072 739 1214 0 53343 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 218244
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 11552
/proc/meminfo: memFree=30940504/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=232068 CPUtime=1122.31 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 185475 0 0 0 107111 5120 0 0 25 0 1 0 822263930 237637632 56643 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 58017 56643 739 1214 0 56799 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 232068
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 11553
/proc/meminfo: memFree=30925460/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=243572 CPUtime=1182.32 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 188285 0 0 0 112784 5448 0 0 25 0 1 0 822263930 249417728 59453 33554432000 4194304 9163163 140733939367952 18446744073709551615 4684016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 60893 59453 739 1214 0 59675 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 243572
[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/447 11555
/proc/meminfo: memFree=30912284/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=250160 CPUtime=1242.32 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 211628 0 0 0 118451 5781 0 0 25 0 1 0 822263930 256163840 61206 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 62540 61206 739 1214 0 61322 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 250160
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/447 11556
/proc/meminfo: memFree=30902184/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=257136 CPUtime=1302.33 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 234817 0 0 0 124109 6124 0 0 25 0 1 0 822263930 263307264 62936 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 64284 62936 742 1214 0 63066 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 257136
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 11558
/proc/meminfo: memFree=30891476/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=268024 CPUtime=1362.32 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 244637 0 0 0 129778 6454 0 0 25 0 1 0 822263930 274456576 65688 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 67006 65688 742 1214 0 65788 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 268024
[startup+1422.32 s]
/proc/loadavg: 2.14 2.05 2.01 3/447 11560
/proc/meminfo: memFree=30881144/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=278392 CPUtime=1422.34 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 247266 0 0 0 135450 6784 0 0 25 0 1 0 822263930 285073408 68317 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 69598 68317 742 1214 0 68380 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 278392
[startup+1482.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/447 11561
/proc/meminfo: memFree=30871672/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=288860 CPUtime=1482.33 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 256573 0 0 0 141116 7117 0 0 25 0 1 0 822263930 295792640 70369 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 72215 70369 742 1214 0 70997 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 288860
[startup+1542.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/447 11563
/proc/meminfo: memFree=30863048/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=298684 CPUtime=1542.32 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 259033 0 0 0 146774 7458 0 0 25 0 1 0 822263930 305852416 72829 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 74671 72829 742 1214 0 73453 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 298684
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 11564
/proc/meminfo: memFree=30851848/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=309228 CPUtime=1602.33 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 261722 0 0 0 152438 7795 0 0 25 0 1 0 822263930 316649472 75518 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 77307 75518 742 1214 0 76089 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 309228
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 11566
/proc/meminfo: memFree=30843996/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=316944 CPUtime=1662.33 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 263674 0 0 0 158100 8133 0 0 25 0 1 0 822263930 324550656 77470 33554432000 4194304 9163163 140733939367952 18446744073709551615 6480279 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 79236 77470 742 1214 0 78018 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 316944
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 11568
/proc/meminfo: memFree=30832688/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=328364 CPUtime=1722.33 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 273821 0 0 0 163757 8476 0 0 25 0 1 0 822263930 336244736 80362 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 82091 80362 742 1214 0 80873 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 328364
[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/447 11569
/proc/meminfo: memFree=30822356/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=337316 CPUtime=1782.33 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 276108 0 0 0 169421 8812 0 0 25 0 1 0 822263930 345411584 82649 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 84329 82649 742 1214 0 83111 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 337316
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.04 2.01 3/447 11570
/proc/meminfo: memFree=30821728/32950928 swapFree=34365992/67111528
[pid=11466] ppid=11464 vsize=338764 CPUtime=1800.04 cores=1,3,5,7
/proc/11466/stat : 11466 (scip-2.0.1.4b.l) R 11464 11466 10081 0 -1 4202496 276469 0 0 0 171083 8921 0 0 25 0 1 0 822263930 346894336 83010 33554432000 4194304 9163163 140733939367952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11466/statm: 84691 83010 742 1214 0 83473 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 338764
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.07
CPU user time (s): 1710.84
CPU system time (s): 89.2304
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 338764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1710.84
system time used= 89.2304
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276469
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= 7
involuntary context switches= 3832
runsolver used 7.57385 second user time and 18.3132 second system time
The end