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-3450664-1307105829.opb>
0.09/0.10 c original problem has 19183 variables (19183 bin, 0 int, 0 impl, 0 cont) and 19683 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.37 c (round 1) 18683 del vars, 1000 del conss, 0 add conss, 18683 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74732 impls, 0 clqs
0.39/0.42 c (round 2) 18683 del vars, 1000 del conss, 0 add conss, 18683 chg bounds, 0 chg sides, 0 chg coeffs, 18683 upgd conss, 112098 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 18683 deleted vars, 1000 deleted constraints, 0 added constraints, 18683 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.58 c 112098 implications, 0 cliques
0.49/0.58 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18683 constraints
0.49/0.58 c 18683 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 | 509 | - | 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 | 509 | - | 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 | 509 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
1.00/1.05 c 1.1s| 1 | 0 | 636 | - | 60M| 0 | 486 | 500 | 18k| 500 | 18k| 12 | 0 | 0 |-2.430000e+02 |-2.000000e+00 | 99.18%
1.00/1.06 o -25
1.00/1.06 c b 1.1s| 1 | 0 | 636 | - | 60M| 0 | 486 | 500 | 18k| 500 | 18k| 12 | 0 | 0 |-2.430000e+02 |-2.500000e+01 | 89.71%
1.39/1.45 c 1.4s| 1 | 0 | 918 | - | 60M| 0 | 474 | 500 | 18k| 500 | 18k| 24 | 0 | 0 |-2.370000e+02 |-2.500000e+01 | 89.45%
1.89/1.94 c 1.9s| 1 | 0 | 1298 | - | 60M| 0 | 465 | 500 | 18k| 500 | 18k| 33 | 0 | 0 |-2.325000e+02 |-2.500000e+01 | 89.25%
2.29/2.39 c 2.4s| 1 | 0 | 1586 | - | 60M| 0 | 455 | 500 | 18k| 500 | 18k| 42 | 0 | 0 |-2.270000e+02 |-2.500000e+01 | 88.99%
2.79/2.87 c 2.9s| 1 | 0 | 1872 | - | 60M| 0 | 447 | 500 | 18k| 500 | 18k| 54 | 0 | 0 |-2.230000e+02 |-2.500000e+01 | 88.79%
3.39/3.40 c 3.4s| 1 | 0 | 2303 | - | 60M| 0 | 435 | 500 | 18k| 500 | 18k| 64 | 0 | 0 |-2.175000e+02 |-2.500000e+01 | 88.51%
3.79/3.86 c 3.9s| 1 | 0 | 2562 | - | 60M| 0 | 427 | 500 | 18k| 500 | 18k| 77 | 0 | 0 |-2.130000e+02 |-2.500000e+01 | 88.26%
4.30/4.38 c 4.4s| 1 | 0 | 2839 | - | 60M| 0 | 426 | 500 | 18k| 500 | 18k| 86 | 0 | 0 |-2.125000e+02 |-2.500000e+01 | 88.24%
4.89/4.92 c 4.9s| 1 | 0 | 3091 | - | 61M| 0 | 427 | 500 | 18k| 500 | 18k| 93 | 0 | 0 |-2.115000e+02 |-2.500000e+01 | 88.18%
5.69/5.78 c 5.8s| 1 | 0 | 3940 | - | 61M| 0 | 418 | 500 | 18k| 500 | 18k| 104 | 0 | 0 |-2.075000e+02 |-2.500000e+01 | 87.95%
6.19/6.28 c 6.3s| 1 | 0 | 4423 | - | 62M| 0 | 410 | 500 | 18k| 500 |1032 | 115 | 0 | 0 |-2.040000e+02 |-2.500000e+01 | 87.75%
6.39/6.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.39/6.41 c 6.4s| 1 | 0 | 5108 | - | 62M| 0 | 407 | 500 | 18k| 500 |1044 | 127 | 0 | 0 |-2.007500e+02 |-2.500000e+01 | 87.55%
6.50/6.59 c 6.6s| 1 | 0 | 6019 | - | 62M| 0 | 386 | 500 | 18k| 500 |1415 | 498 | 0 | 0 |-1.970000e+02 |-2.500000e+01 | 87.31%
6.69/6.71 c 6.7s| 1 | 0 | 6476 | - | 62M| 0 | 381 | 500 | 18k| 500 |1643 | 726 | 0 | 0 |-1.955000e+02 |-2.500000e+01 | 87.21%
6.79/6.85 c 6.8s| 1 | 0 | 7178 | - | 63M| 0 | 390 | 500 | 18k| 500 |1902 | 985 | 0 | 0 |-1.928333e+02 |-2.500000e+01 | 87.04%
6.89/6.98 c 7.0s| 1 | 0 | 7544 | - | 63M| 0 | 383 | 500 | 18k| 500 |2204 |1287 | 0 | 0 |-1.915000e+02 |-2.500000e+01 | 86.95%
7.09/7.16 c 7.2s| 1 | 0 | 8113 | - | 63M| 0 | 402 | 500 | 18k| 500 |1843 |1295 | 0 | 0 |-1.898214e+02 |-2.500000e+01 | 86.83%
7.39/7.43 c 7.4s| 1 | 0 | 9069 | - | 64M| 0 | 363 | 500 | 18k| 500 |2676 |2128 | 0 | 0 |-1.845000e+02 |-2.500000e+01 | 86.45%
7.49/7.54 c 7.5s| 1 | 0 | 9377 | - | 64M| 0 | 365 | 500 | 18k| 500 |2831 |2283 | 0 | 0 |-1.825000e+02 |-2.500000e+01 | 86.30%
7.61/7.70 c 7.7s| 1 | 0 | 10086 | - | 64M| 0 | 399 | 500 | 18k| 500 |2839 |2291 | 0 | 0 |-1.816667e+02 |-2.500000e+01 | 86.24%
7.89/7.93 c 7.9s| 1 | 0 | 10188 | - | 65M| 0 | 365 | 500 | 18k| 500 |4452 |3904 | 0 | 0 |-1.812500e+02 |-2.500000e+01 | 86.21%
7.99/8.07 c 8.1s| 1 | 0 | 10641 | - | 65M| 0 | 361 | 500 | 18k| 500 |4461 |3913 | 0 | 0 |-1.792500e+02 |-2.500000e+01 | 86.05%
8.19/8.24 c 8.2s| 1 | 0 | 11392 | - | 65M| 0 | 363 | 500 | 18k| 500 |3916 |3922 | 0 | 0 |-1.770000e+02 |-2.500000e+01 | 85.88%
8.29/8.32 c 8.3s| 1 | 0 | 11528 | - | 65M| 0 | 370 | 500 | 18k| 500 |4017 |4023 | 0 | 0 |-1.767500e+02 |-2.500000e+01 | 85.86%
8.39/8.48 c 8.5s| 1 | 0 | 12080 | - | 65M| 0 | 366 | 500 | 18k| 500 |4071 |4077 | 0 | 0 |-1.751250e+02 |-2.500000e+01 | 85.72%
8.59/8.67 c 8.7s| 1 | 0 | 12823 | - | 65M| 0 | 345 | 500 | 18k| 500 |4226 |4232 | 0 | 0 |-1.716250e+02 |-2.500000e+01 | 85.43%
8.80/8.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.80/8.88 c 8.9s| 1 | 0 | 13744 | - | 65M| 0 | 344 | 500 | 18k| 500 |4276 |4282 | 0 | 0 |-1.701667e+02 |-2.500000e+01 | 85.31%
9.09/9.16 c 9.2s| 1 | 0 | 15012 | - | 65M| 0 | 381 | 500 | 18k| 500 |4420 |4426 | 0 | 0 |-1.686286e+02 |-2.500000e+01 | 85.17%
9.39/9.48 c 9.5s| 1 | 0 | 15335 | - | 66M| 0 | 357 | 500 | 18k| 500 |4307 |6144 | 0 | 0 |-1.684667e+02 |-2.500000e+01 | 85.16%
9.69/9.74 c 9.7s| 1 | 0 | 16316 | - | 66M| 0 | 342 | 500 | 18k| 500 |4314 |6151 | 0 | 0 |-1.667500e+02 |-2.500000e+01 | 85.01%
9.81/9.91 c 9.9s| 1 | 0 | 16949 | - | 66M| 0 | 359 | 500 | 18k| 500 |4325 |6162 | 0 | 0 |-1.647500e+02 |-2.500000e+01 | 84.83%
10.19/10.22 c 10.2s| 1 | 0 | 18361 | - | 66M| 0 | 344 | 500 | 18k| 500 |4384 |6221 | 0 | 0 |-1.622500e+02 |-2.500000e+01 | 84.59%
10.49/10.54 c 10.5s| 1 | 0 | 19724 | - | 67M| 0 | 335 | 500 | 18k| 500 |4434 |6271 | 0 | 0 |-1.607500e+02 |-2.500000e+01 | 84.45%
10.79/10.83 c 10.8s| 1 | 0 | 20806 | - | 67M| 0 | 352 | 500 | 18k| 500 |4534 |6371 | 0 | 0 |-1.582600e+02 |-2.500000e+01 | 84.20%
11.19/11.24 c 11.2s| 1 | 0 | 22308 | - | 68M| 0 | 376 | 500 | 18k| 500 |3206 |6678 | 0 | 0 |-1.555056e+02 |-2.500000e+01 | 83.92%
11.49/11.51 c 11.5s| 1 | 0 | 23331 | - | 69M| 0 | 349 | 500 | 18k| 500 |3504 |6976 | 0 | 0 |-1.535278e+02 |-2.500000e+01 | 83.72%
11.80/11.83 c 11.8s| 1 | 0 | 25085 | - | 69M| 0 | 356 | 500 | 18k| 500 |3697 |7169 | 0 | 0 |-1.519110e+02 |-2.500000e+01 | 83.54%
12.11/12.14 c 12.1s| 1 | 0 | 26263 | - | 70M| 0 | 312 | 500 | 18k| 500 |4145 |7617 | 0 | 0 |-1.494500e+02 |-2.500000e+01 | 83.27%
12.39/12.40 c 12.4s| 1 | 0 | 27252 | - | 70M| 0 | 351 | 500 | 18k| 500 |4341 |7813 | 0 | 0 |-1.481167e+02 |-2.500000e+01 | 83.12%
12.69/12.75 c 12.7s| 1 | 0 | 28524 | - | 71M| 0 | 323 | 500 | 18k| 500 |4531 |8003 | 0 | 0 |-1.458333e+02 |-2.500000e+01 | 82.86%
12.99/13.08 c 13.1s| 1 | 0 | 29671 | - | 72M| 0 | 363 | 500 | 18k| 500 |2610 |8072 | 0 | 0 |-1.446000e+02 |-2.500000e+01 | 82.71%
13.21/13.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.21/13.25 c 13.3s| 1 | 0 | 30176 | - | 73M| 0 | 350 | 500 | 18k| 500 |2787 |8249 | 0 | 0 |-1.439641e+02 |-2.500000e+01 | 82.63%
13.39/13.40 c 13.4s| 1 | 0 | 30612 | - | 74M| 0 | 371 | 500 | 18k| 500 |2863 |8325 | 0 | 0 |-1.436095e+02 |-2.500000e+01 | 82.59%
13.69/13.77 c 13.8s| 1 | 0 | 31424 | - | 74M| 0 | 369 | 500 | 18k| 500 |3090 |8552 | 0 | 0 |-1.428115e+02 |-2.500000e+01 | 82.49%
13.99/14.04 c 14.0s| 1 | 0 | 32270 | - | 76M| 0 | 373 | 500 | 18k| 500 |3263 |8725 | 0 | 0 |-1.420867e+02 |-2.500000e+01 | 82.41%
14.39/14.48 c 14.5s| 1 | 0 | 34229 | - | 77M| 0 | 387 | 500 | 18k| 500 |3332 |8794 | 0 | 0 |-1.402230e+02 |-2.500000e+01 | 82.17%
15.09/15.19 c 15.2s| 1 | 0 | 35202 | - | 78M| 0 | 366 | 500 | 18k| 500 |3172 |9580 | 0 | 0 |-1.390599e+02 |-2.500000e+01 | 82.02%
15.49/15.52 c 15.5s| 1 | 0 | 36722 | - | 79M| 0 | 373 | 500 | 18k| 500 |3206 |9614 | 0 | 0 |-1.374093e+02 |-2.500000e+01 | 81.81%
15.89/15.90 c 15.9s| 1 | 0 | 37174 | - | 79M| 0 | 372 | 500 | 18k| 500 |3391 |9799 | 0 | 0 |-1.369421e+02 |-2.500000e+01 | 81.74%
16.19/16.20 c 16.2s| 1 | 0 | 38131 | - | 81M| 0 | 386 | 500 | 18k| 500 |3432 |9840 | 0 | 0 |-1.361618e+02 |-2.500000e+01 | 81.64%
16.79/16.86 c 16.9s| 1 | 0 | 39523 | - | 81M| 0 | 378 | 500 | 18k| 500 |3585 |9993 | 0 | 0 |-1.347976e+02 |-2.500000e+01 | 81.45%
17.79/17.80 c 17.8s| 1 | 0 | 42537 | - | 81M| 0 | 373 | 500 | 18k| 500 |3772 | 10k| 0 | 0 |-1.324946e+02 |-2.500000e+01 | 81.13%
18.40/18.47 c 18.5s| 1 | 0 | 44049 | - | 81M| 0 | 389 | 500 | 18k| 500 |3195 | 10k| 0 | 0 |-1.312682e+02 |-2.500000e+01 | 80.96%
19.09/19.18 c 19.2s| 1 | 0 | 45757 | - | 81M| 0 | 392 | 500 | 18k| 500 |3412 | 10k| 0 | 0 |-1.298007e+02 |-2.500000e+01 | 80.74%
19.81/19.82 c 19.8s| 1 | 0 | 46812 | - | 81M| 0 | 404 | 500 | 18k| 500 |3523 | 10k| 0 | 0 |-1.287127e+02 |-2.500000e+01 | 80.58%
20.39/20.48 c 20.5s| 1 | 0 | 47543 | - | 81M| 0 | 394 | 500 | 18k| 500 |3673 | 10k| 0 | 0 |-1.280344e+02 |-2.500000e+01 | 80.47%
21.09/21.19 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.19 c 21.2s| 1 | 0 | 48838 | - | 81M| 0 | 398 | 500 | 18k| 500 |3719 | 10k| 0 | 0 |-1.272008e+02 |-2.500000e+01 | 80.35%
22.01/22.03 c 22.0s| 1 | 0 | 50713 | - | 81M| 0 | 403 | 500 | 18k| 500 |3799 | 10k| 0 | 0 |-1.259262e+02 |-2.500000e+01 | 80.15%
22.79/22.89 c 22.9s| 1 | 0 | 52472 | - | 81M| 0 | 397 | 500 | 18k| 500 |2955 | 10k| 0 | 0 |-1.252031e+02 |-2.500000e+01 | 80.03%
23.49/23.51 c 23.5s| 1 | 0 | 53698 | - | 81M| 0 | 402 | 500 | 18k| 500 |2989 | 10k| 0 | 0 |-1.245637e+02 |-2.500000e+01 | 79.93%
24.11/24.21 c 24.2s| 1 | 0 | 55279 | - | 81M| 0 | 413 | 500 | 18k| 500 |3053 | 11k| 0 | 0 |-1.239007e+02 |-2.500000e+01 | 79.82%
25.09/25.13 c 25.1s| 1 | 0 | 57998 | - | 81M| 0 | 403 | 500 | 18k| 500 |3137 | 11k| 0 | 0 |-1.230761e+02 |-2.500000e+01 | 79.69%
25.69/25.79 c 25.8s| 1 | 0 | 59089 | - | 81M| 0 | 399 | 500 | 18k| 500 |3239 | 11k| 0 | 0 |-1.226874e+02 |-2.500000e+01 | 79.62%
26.41/26.45 c 26.5s| 1 | 0 | 60119 | - | 81M| 0 | 413 | 500 | 18k| 500 |3300 | 11k| 0 | 0 |-1.221688e+02 |-2.500000e+01 | 79.54%
27.19/27.20 c 27.2s| 1 | 0 | 61447 | - | 81M| 0 | 414 | 500 | 18k| 500 |2852 | 11k| 0 | 0 |-1.216760e+02 |-2.500000e+01 | 79.45%
27.89/27.95 c 28.0s| 1 | 0 | 63432 | - | 81M| 0 | 417 | 500 | 18k| 500 |2914 | 11k| 0 | 0 |-1.206555e+02 |-2.500000e+01 | 79.28%
28.69/28.73 c 28.7s| 1 | 0 | 65160 | - | 81M| 0 | 426 | 500 | 18k| 500 |3005 | 11k| 0 | 0 |-1.198940e+02 |-2.500000e+01 | 79.15%
29.29/29.38 c 29.4s| 1 | 0 | 66100 | - | 81M| 0 | 418 | 500 | 18k| 500 |3058 | 11k| 0 | 0 |-1.195583e+02 |-2.500000e+01 | 79.09%
30.09/30.11 c 30.1s| 1 | 0 | 67475 | - | 82M| 0 | 417 | 500 | 18k| 500 |3089 | 11k| 0 | 0 |-1.190183e+02 |-2.500000e+01 | 78.99%
30.89/30.95 c 31.0s| 1 | 0 | 69269 | - | 82M| 0 | 423 | 500 | 18k| 500 |3138 | 11k| 0 | 0 |-1.183729e+02 |-2.500000e+01 | 78.88%
31.59/31.68 c 31.7s| 1 | 0 | 70499 | - | 82M| 0 | 423 | 500 | 18k| 500 |2974 | 11k| 0 | 0 |-1.180354e+02 |-2.500000e+01 | 78.82%
32.29/32.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.29/32.39 c 32.4s| 1 | 0 | 71788 | - | 82M| 0 | 417 | 500 | 18k| 500 |3019 | 11k| 0 | 0 |-1.175092e+02 |-2.500000e+01 | 78.73%
33.09/33.12 c 33.1s| 1 | 0 | 73107 | - | 82M| 0 | 420 | 500 | 18k| 500 |3057 | 11k| 0 | 0 |-1.169217e+02 |-2.500000e+01 | 78.62%
33.69/33.76 c 33.8s| 1 | 0 | 74027 | - | 82M| 0 | 430 | 500 | 18k| 500 |3079 | 11k| 0 | 0 |-1.165695e+02 |-2.500000e+01 | 78.55%
34.38/34.47 c 34.5s| 1 | 0 | 75176 | - | 82M| 0 | 433 | 500 | 18k| 500 |3127 | 11k| 0 | 0 |-1.160507e+02 |-2.500000e+01 | 78.46%
35.10/35.17 c 35.2s| 1 | 0 | 76244 | - | 82M| 0 | 430 | 500 | 18k| 500 |3188 | 11k| 0 | 0 |-1.156185e+02 |-2.500000e+01 | 78.38%
35.79/35.88 c 35.9s| 1 | 0 | 76955 | - | 82M| 0 | 434 | 500 | 18k| 500 |2984 | 11k| 0 | 0 |-1.153720e+02 |-2.500000e+01 | 78.33%
36.49/36.54 c 36.5s| 1 | 0 | 77821 | - | 82M| 0 | 438 | 500 | 18k| 500 |3001 | 11k| 0 | 0 |-1.151338e+02 |-2.500000e+01 | 78.29%
37.09/37.17 c 37.2s| 1 | 0 | 78459 | - | 82M| 0 | 438 | 500 | 18k| 500 |3016 | 11k| 0 | 0 |-1.149540e+02 |-2.500000e+01 | 78.25%
37.69/37.76 c 37.8s| 1 | 0 | 78897 | - | 82M| 0 | 435 | 500 | 18k| 500 |3034 | 11k| 0 | 0 |-1.147158e+02 |-2.500000e+01 | 78.21%
38.29/38.41 c 38.4s| 1 | 0 | 79398 | - | 82M| 0 | 443 | 500 | 18k| 500 |3051 | 12k| 0 | 0 |-1.144960e+02 |-2.500000e+01 | 78.17%
38.99/39.05 c 39.1s| 1 | 0 | 79973 | - | 82M| 0 | 446 | 500 | 18k| 500 |3067 | 12k| 0 | 0 |-1.143572e+02 |-2.500000e+01 | 78.14%
39.69/39.74 c 39.7s| 1 | 0 | 80602 | - | 82M| 0 | 453 | 500 | 18k| 500 |2952 | 12k| 0 | 0 |-1.141056e+02 |-2.500000e+01 | 78.09%
40.29/40.34 c 40.3s| 1 | 0 | 81052 | - | 82M| 0 | 449 | 500 | 18k| 500 |2970 | 12k| 0 | 0 |-1.139430e+02 |-2.500000e+01 | 78.06%
40.99/41.02 c 41.0s| 1 | 0 | 81874 | - | 82M| 0 | 446 | 500 | 18k| 500 |3001 | 12k| 0 | 0 |-1.137647e+02 |-2.500000e+01 | 78.02%
41.59/41.68 c 41.7s| 1 | 0 | 82571 | - | 82M| 0 | 450 | 500 | 18k| 500 |3019 | 12k| 0 | 0 |-1.135118e+02 |-2.500000e+01 | 77.98%
42.28/42.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.28/42.32 c 42.3s| 1 | 0 | 83125 | - | 82M| 0 | 453 | 500 | 18k| 500 |3036 | 12k| 0 | 0 |-1.133635e+02 |-2.500000e+01 | 77.95%
42.99/43.01 c 43.0s| 1 | 0 | 83816 | - | 82M| 0 | 449 | 500 | 18k| 500 |3053 | 12k| 0 | 0 |-1.131957e+02 |-2.500000e+01 | 77.91%
43.59/43.63 c 43.6s| 1 | 0 | 84146 | - | 82M| 0 | 460 | 500 | 18k| 500 |2999 | 12k| 0 | 0 |-1.130677e+02 |-2.500000e+01 | 77.89%
44.28/44.32 c 44.3s| 1 | 0 | 84947 | - | 82M| 0 | 456 | 500 | 18k| 500 |3017 | 12k| 0 | 0 |-1.128901e+02 |-2.500000e+01 | 77.85%
44.88/44.99 c 45.0s| 1 | 0 | 85571 | - | 82M| 0 | 450 | 500 | 18k| 500 |3028 | 12k| 0 | 0 |-1.126019e+02 |-2.500000e+01 | 77.80%
45.69/45.70 c 45.7s| 1 | 0 | 86433 | - | 82M| 0 | 458 | 500 | 18k| 500 |3054 | 12k| 0 | 0 |-1.122337e+02 |-2.500000e+01 | 77.73%
46.39/46.43 c 46.4s| 1 | 0 | 87244 | - | 82M| 0 | 460 | 500 | 18k| 500 |3069 | 12k| 0 | 0 |-1.118778e+02 |-2.500000e+01 | 77.65%
46.98/47.10 c 47.1s| 1 | 0 | 87747 | - | 82M| 0 | 468 | 500 | 18k| 500 |3090 | 12k| 0 | 0 |-1.117270e+02 |-2.500000e+01 | 77.62%
47.79/47.81 c 47.8s| 1 | 0 | 88443 | - | 82M| 0 | 465 | 500 | 18k| 500 |3040 | 12k| 0 | 0 |-1.115620e+02 |-2.500000e+01 | 77.59%
48.49/48.54 c 48.5s| 1 | 0 | 89255 | - | 82M| 0 | 465 | 500 | 18k| 500 |3054 | 12k| 0 | 0 |-1.112734e+02 |-2.500000e+01 | 77.53%
49.19/49.20 c 49.2s| 1 | 0 | 89758 | - | 82M| 0 | 471 | 500 | 18k| 500 |3068 | 12k| 0 | 0 |-1.111472e+02 |-2.500000e+01 | 77.51%
49.79/49.86 c 49.9s| 1 | 0 | 90177 | - | 82M| 0 | 475 | 500 | 18k| 500 |3085 | 12k| 0 | 0 |-1.109940e+02 |-2.500000e+01 | 77.48%
50.50/50.56 c 50.6s| 1 | 0 | 90590 | - | 82M| 0 | 475 | 500 | 18k| 500 |3094 | 12k| 0 | 0 |-1.108537e+02 |-2.500000e+01 | 77.45%
51.19/51.22 c 51.2s| 1 | 0 | 90980 | - | 82M| 0 | 477 | 500 | 18k| 500 |3111 | 12k| 0 | 0 |-1.107403e+02 |-2.500000e+01 | 77.42%
51.78/51.89 c 51.9s| 1 | 0 | 91342 | - | 82M| 0 | 473 | 500 | 18k| 500 |3089 | 12k| 0 | 0 |-1.106638e+02 |-2.500000e+01 | 77.41%
52.59/52.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.59/52.60 c 52.6s| 1 | 0 | 91728 | - | 82M| 0 | 477 | 500 | 18k| 500 |3103 | 12k| 0 | 0 |-1.105366e+02 |-2.500000e+01 | 77.38%
53.29/53.35 c 53.4s| 1 | 0 | 92162 | - | 82M| 0 | 479 | 500 | 18k| 500 |3110 | 12k| 0 | 0 |-1.103899e+02 |-2.500000e+01 | 77.35%
53.98/54.07 c 54.1s| 1 | 0 | 92428 | - | 82M| 0 | 476 | 500 | 18k| 500 |3119 | 12k| 0 | 0 |-1.103148e+02 |-2.500000e+01 | 77.34%
54.78/54.86 c 54.9s| 1 | 0 | 93025 | - | 82M| 0 | 477 | 500 | 18k| 500 |3132 | 12k| 0 | 0 |-1.100744e+02 |-2.500000e+01 | 77.29%
55.59/55.60 c 55.6s| 1 | 0 | 93415 | - | 82M| 0 | 480 | 500 | 18k| 500 |3143 | 12k| 0 | 0 |-1.100039e+02 |-2.500000e+01 | 77.27%
56.29/56.32 c 56.3s| 1 | 0 | 93793 | - | 82M| 0 | 478 | 500 | 18k| 500 |3099 | 12k| 0 | 0 |-1.099322e+02 |-2.500000e+01 | 77.26%
57.10/57.17 c 57.2s| 1 | 0 | 94494 | - | 82M| 0 | 479 | 500 | 18k| 500 |3109 | 12k| 0 | 0 |-1.097136e+02 |-2.500000e+01 | 77.21%
57.88/57.97 c 58.0s| 1 | 0 | 95028 | - | 82M| 0 | 483 | 500 | 18k| 500 |3130 | 12k| 0 | 0 |-1.095742e+02 |-2.500000e+01 | 77.18%
58.59/58.69 c 58.7s| 1 | 0 | 95334 | - | 81M| 0 | 485 | 500 | 18k| 500 |3140 | 12k| 0 | 0 |-1.095252e+02 |-2.500000e+01 | 77.17%
59.49/59.55 c 59.5s| 1 | 0 | 95941 | - | 81M| 0 | 483 | 500 | 18k| 500 |3149 | 12k| 0 | 0 |-1.094355e+02 |-2.500000e+01 | 77.16%
60.28/60.34 c 60.3s| 1 | 0 | 96381 | - | 80M| 0 | 482 | 500 | 18k| 500 |3156 | 12k| 0 | 0 |-1.093447e+02 |-2.500000e+01 | 77.14%
61.08/61.17 c 61.2s| 1 | 0 | 96997 | - | 80M| 0 | 481 | 500 | 18k| 500 |3123 | 12k| 0 | 0 |-1.091542e+02 |-2.500000e+01 | 77.10%
61.99/62.01 c 62.0s| 1 | 0 | 97644 | - | 80M| 0 | 486 | 500 | 18k| 500 |3138 | 12k| 0 | 0 |-1.088959e+02 |-2.500000e+01 | 77.04%
62.78/62.84 c 62.8s| 1 | 0 | 98355 | - | 80M| 0 | 487 | 500 | 18k| 500 |3150 | 12k| 0 | 0 |-1.087830e+02 |-2.500000e+01 | 77.02%
63.59/63.62 c 63.6s| 1 | 0 | 98739 | - | 80M| 0 | 488 | 500 | 18k| 500 |3159 | 12k| 0 | 0 |-1.086969e+02 |-2.500000e+01 | 77.00%
64.39/64.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.39/64.41 c 64.4s| 1 | 0 | 99154 | - | 80M| 0 | 489 | 500 | 18k| 500 |3172 | 12k| 0 | 0 |-1.086078e+02 |-2.500000e+01 | 76.98%
65.19/65.22 c 65.2s| 1 | 0 | 99653 | - | 80M| 0 | 488 | 500 | 18k| 500 |3185 | 12k| 0 | 0 |-1.084639e+02 |-2.500000e+01 | 76.95%
66.01/66.08 c 66.1s| 1 | 0 |100317 | - | 79M| 0 | 493 | 500 | 18k| 500 |3148 | 12k| 0 | 0 |-1.083452e+02 |-2.500000e+01 | 76.93%
66.79/66.82 c 66.8s| 1 | 0 |100581 | - | 79M| 0 | 496 | 500 | 18k| 500 |3158 | 12k| 0 | 0 |-1.082978e+02 |-2.500000e+01 | 76.92%
67.49/67.57 c 67.6s| 1 | 0 |100943 | - | 79M| 0 | 492 | 500 | 18k| 500 |3166 | 12k| 0 | 0 |-1.081962e+02 |-2.500000e+01 | 76.89%
68.39/68.45 c 68.4s| 1 | 0 |101488 | - | 79M| 0 | 491 | 500 | 18k| 500 |3177 | 12k| 0 | 0 |-1.080522e+02 |-2.500000e+01 | 76.86%
69.20/69.23 c 69.2s| 1 | 0 |101891 | - | 79M| 0 | 491 | 500 | 18k| 500 |3188 | 12k| 0 | 0 |-1.079555e+02 |-2.500000e+01 | 76.84%
69.98/70.06 c 70.1s| 1 | 0 |102378 | - | 79M| 0 | 495 | 500 | 18k| 500 |3199 | 12k| 0 | 0 |-1.078265e+02 |-2.500000e+01 | 76.81%
70.78/70.86 c 70.9s| 1 | 0 |102759 | - | 79M| 0 | 496 | 500 | 18k| 500 |3160 | 12k| 0 | 0 |-1.077570e+02 |-2.500000e+01 | 76.80%
71.69/71.71 c 71.7s| 1 | 0 |103350 | - | 79M| 0 | 493 | 500 | 18k| 500 |3175 | 12k| 0 | 0 |-1.076407e+02 |-2.500000e+01 | 76.77%
72.50/72.55 c 72.5s| 1 | 0 |104050 | - | 79M| 0 | 497 | 500 | 18k| 500 |3187 | 12k| 0 | 0 |-1.075309e+02 |-2.500000e+01 | 76.75%
73.39/73.42 c 73.4s| 1 | 0 |104723 | - | 79M| 0 | 497 | 500 | 18k| 500 |3205 | 12k| 0 | 0 |-1.074268e+02 |-2.500000e+01 | 76.73%
74.09/74.16 c 74.2s| 1 | 0 |104954 | - | 79M| 0 | 495 | 500 | 18k| 500 |3216 | 12k| 0 | 0 |-1.074036e+02 |-2.500000e+01 | 76.72%
74.88/74.97 c 75.0s| 1 | 0 |105462 | - | 78M| 0 | 494 | 500 | 18k| 500 |3226 | 12k| 0 | 0 |-1.073208e+02 |-2.500000e+01 | 76.71%
75.80/75.83 c 75.8s| 1 | 0 |105913 | - | 78M| 0 | 499 | 500 | 18k| 500 |3183 | 12k| 0 | 0 |-1.072096e+02 |-2.500000e+01 | 76.68%
76.59/76.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.59/76.61 c 76.6s| 1 | 0 |106258 | - | 78M| 0 | 497 | 500 | 18k| 500 |3199 | 12k| 0 | 0 |-1.071217e+02 |-2.500000e+01 | 76.66%
77.39/77.42 c 77.4s| 1 | 0 |106543 | - | 78M| 0 | 498 | 500 | 18k| 500 |3210 | 12k| 0 | 0 |-1.070663e+02 |-2.500000e+01 | 76.65%
78.18/78.25 c 78.2s| 1 | 0 |106993 | - | 78M| 0 | 499 | 500 | 18k| 500 |3224 | 12k| 0 | 0 |-1.069893e+02 |-2.500000e+01 | 76.63%
79.10/79.13 c 79.1s| 1 | 0 |107555 | - | 77M| 0 | 498 | 500 | 18k| 500 |3238 | 12k| 0 | 0 |-1.068806e+02 |-2.500000e+01 | 76.61%
79.98/80.02 c 80.0s| 1 | 0 |108209 | - | 76M| 0 | 497 | 500 | 18k| 500 |3253 | 12k| 0 | 0 |-1.068247e+02 |-2.500000e+01 | 76.60%
80.69/80.79 c 80.8s| 1 | 0 |108443 | - | 76M| 0 | 498 | 500 | 18k| 500 |3220 | 12k| 0 | 0 |-1.067826e+02 |-2.500000e+01 | 76.59%
81.58/81.60 c 81.6s| 1 | 0 |108902 | - | 75M| 0 | 497 | 500 | 18k| 500 |3230 | 12k| 0 | 0 |-1.067299e+02 |-2.500000e+01 | 76.58%
82.40/82.49 c 82.5s| 1 | 0 |109501 | - | 75M| 0 | 499 | 500 | 18k| 500 |3246 | 12k| 0 | 0 |-1.066222e+02 |-2.500000e+01 | 76.55%
83.29/83.35 c 83.3s| 1 | 0 |110007 | - | 74M| 0 | 499 | 500 | 18k| 500 |3256 | 12k| 0 | 0 |-1.065131e+02 |-2.500000e+01 | 76.53%
84.08/84.19 c 84.2s| 1 | 0 |110472 | - | 74M| 0 | 498 | 500 | 18k| 500 |3271 | 12k| 0 | 0 |-1.064242e+02 |-2.500000e+01 | 76.51%
84.99/85.02 c 85.0s| 1 | 0 |110876 | - | 74M| 0 | 499 | 500 | 18k| 500 |3280 | 12k| 0 | 0 |-1.063418e+02 |-2.500000e+01 | 76.49%
85.89/85.92 c 85.9s| 1 | 0 |111390 | - | 73M| 0 | 496 | 500 | 18k| 500 |3252 | 12k| 0 | 0 |-1.062558e+02 |-2.500000e+01 | 76.47%
86.59/86.67 c 86.7s| 1 | 0 |111647 | - | 71M| 0 | 498 | 500 | 18k| 500 |3262 | 12k| 0 | 0 |-1.062157e+02 |-2.500000e+01 | 76.46%
87.38/87.43 c 87.4s| 1 | 0 |111964 | - | 70M| 0 | 499 | 500 | 18k| 500 |3274 | 12k| 0 | 0 |-1.061802e+02 |-2.500000e+01 | 76.46%
88.18/88.27 c 88.3s| 1 | 0 |112465 | - | 70M| 0 | 499 | 500 | 18k| 500 |3286 | 12k| 0 | 0 |-1.061340e+02 |-2.500000e+01 | 76.44%
89.11/89.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.11/89.12 c 89.1s| 1 | 0 |112859 | - | 69M| 0 | 500 | 500 | 18k| 500 |3295 | 12k| 0 | 0 |-1.060598e+02 |-2.500000e+01 | 76.43%
89.79/89.89 c 89.9s| 1 | 0 |113181 | - | 67M| 0 | 499 | 500 | 18k| 500 |3306 | 12k| 0 | 0 |-1.060299e+02 |-2.500000e+01 | 76.42%
90.78/90.81 c 90.8s| 1 | 0 |113836 | - | 67M| 0 | 499 | 500 | 18k| 500 |3259 | 12k| 0 | 0 |-1.059695e+02 |-2.500000e+01 | 76.41%
91.59/91.62 c 91.6s| 1 | 0 |114223 | - | 65M| 0 | 499 | 500 | 18k| 500 |3272 | 12k| 0 | 0 |-1.059163e+02 |-2.500000e+01 | 76.40%
92.49/92.56 c 92.6s| 1 | 0 |114874 | - | 65M| 0 | 500 | 500 | 18k| 500 |3284 | 12k| 0 | 0 |-1.058236e+02 |-2.500000e+01 | 76.38%
93.40/93.43 c 93.4s| 1 | 0 |115415 | - | 63M| 0 | 497 | 500 | 18k| 500 |3298 | 12k| 0 | 0 |-1.057245e+02 |-2.500000e+01 | 76.35%
94.18/94.22 c 94.2s| 1 | 0 |115729 | - | 63M| 0 | 499 | 500 | 18k| 500 |3312 | 12k| 0 | 0 |-1.056703e+02 |-2.500000e+01 | 76.34%
94.99/95.09 c 95.1s| 1 | 0 |116135 | - | 63M| 0 | 500 | 500 | 18k| 500 |3324 | 13k| 0 | 0 |-1.056053e+02 |-2.500000e+01 | 76.33%
95.89/95.99 c 96.0s| 1 | 0 |116704 | - | 63M| 0 | 499 | 500 | 18k| 500 |3280 | 13k| 0 | 0 |-1.055372e+02 |-2.500000e+01 | 76.31%
96.70/96.73 c 96.7s| 1 | 0 |116842 | - | 63M| 0 | 499 | 500 | 18k| 500 |3291 | 13k| 0 | 0 |-1.055099e+02 |-2.500000e+01 | 76.31%
97.48/97.58 c 97.6s| 1 | 0 |117361 | - | 63M| 0 | 495 | 500 | 18k| 500 |3303 | 13k| 0 | 0 |-1.054181e+02 |-2.500000e+01 | 76.28%
98.29/98.38 c 98.4s| 1 | 0 |117662 | - | 63M| 0 | 496 | 500 | 18k| 500 |3314 | 13k| 0 | 0 |-1.053634e+02 |-2.500000e+01 | 76.27%
99.18/99.24 c 99.2s| 1 | 0 |118090 | - | 63M| 0 | 498 | 500 | 18k| 500 |3324 | 13k| 0 | 0 |-1.053020e+02 |-2.500000e+01 | 76.26%
100.00/100.10 c 100s| 1 | 0 |118620 | - | 63M| 0 | 498 | 500 | 18k| 500 |3338 | 13k| 0 | 0 |-1.052523e+02 |-2.500000e+01 | 76.25%
100.99/101.00 c 101s| 1 | 0 |119161 | - | 63M| 0 | 498 | 500 | 18k| 500 |3294 | 13k| 0 | 0 |-1.052011e+02 |-2.500000e+01 | 76.24%
101.68/101.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.68/101.76 c 102s| 1 | 0 |119400 | - | 63M| 0 | 498 | 500 | 18k| 500 |3301 | 13k| 0 | 0 |-1.051689e+02 |-2.500000e+01 | 76.23%
102.59/102.66 c 103s| 1 | 0 |119989 | - | 63M| 0 | 499 | 500 | 18k| 500 |3312 | 13k| 0 | 0 |-1.050242e+02 |-2.500000e+01 | 76.20%
103.49/103.53 c 104s| 1 | 0 |120362 | - | 63M| 0 | 499 | 500 | 18k| 500 |3327 | 13k| 0 | 0 |-1.049794e+02 |-2.500000e+01 | 76.19%
104.29/104.31 c 104s| 1 | 0 |120580 | - | 63M| 0 | 500 | 500 | 18k| 500 |3338 | 13k| 0 | 0 |-1.049539e+02 |-2.500000e+01 | 76.18%
105.09/105.19 c 105s| 1 | 0 |121034 | - | 63M| 0 | 500 | 500 | 18k| 500 |3349 | 13k| 0 | 0 |-1.049130e+02 |-2.500000e+01 | 76.17%
106.08/106.10 c 106s| 1 | 0 |121561 | - | 62M| 0 | 499 | 500 | 18k| 500 |3306 | 13k| 0 | 0 |-1.048480e+02 |-2.500000e+01 | 76.16%
106.88/106.94 c 107s| 1 | 0 |122014 | - | 62M| 0 | 500 | 500 | 18k| 500 |3321 | 13k| 0 | 0 |-1.047933e+02 |-2.500000e+01 | 76.14%
107.70/107.76 c 108s| 1 | 0 |122320 | - | 62M| 0 | 500 | 500 | 18k| 500 |3331 | 13k| 0 | 0 |-1.047487e+02 |-2.500000e+01 | 76.13%
108.49/108.58 c 109s| 1 | 0 |122572 | - | 62M| 0 | 500 | 500 | 18k| 500 |3340 | 13k| 0 | 0 |-1.047017e+02 |-2.500000e+01 | 76.12%
109.38/109.45 c 109s| 1 | 0 |122970 | - | 62M| 0 | 500 | 500 | 18k| 500 |3352 | 13k| 0 | 0 |-1.046253e+02 |-2.500000e+01 | 76.11%
110.29/110.32 c 110s| 1 | 0 |123371 | - | 62M| 0 | 499 | 500 | 18k| 500 |3363 | 13k| 0 | 0 |-1.045786e+02 |-2.500000e+01 | 76.09%
111.18/111.23 c 111s| 1 | 0 |123897 | - | 62M| 0 | 500 | 500 | 18k| 500 |3309 | 13k| 0 | 0 |-1.045121e+02 |-2.500000e+01 | 76.08%
111.98/112.03 c 112s| 1 | 0 |124145 | - | 62M| 0 | 500 | 500 | 18k| 500 |3324 | 13k| 0 | 0 |-1.044719e+02 |-2.500000e+01 | 76.07%
112.89/112.91 c 113s| 1 | 0 |124598 | - | 62M| 0 | 500 | 500 | 18k| 500 |3333 | 13k| 0 | 0 |-1.044091e+02 |-2.500000e+01 | 76.06%
113.69/113.72 c 114s| 1 | 0 |124948 | - | 62M| 0 | 500 | 500 | 18k| 500 |3346 | 13k| 0 | 0 |-1.043438e+02 |-2.500000e+01 | 76.04%
114.48/114.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.48/114.55 c 115s| 1 | 0 |125195 | - | 62M| 0 | 500 | 500 | 18k| 500 |3354 | 13k| 0 | 0 |-1.043099e+02 |-2.500000e+01 | 76.03%
115.28/115.35 c 115s| 1 | 0 |125401 | - | 62M| 0 | 500 | 500 | 18k| 500 |3369 | 13k| 0 | 0 |-1.042806e+02 |-2.500000e+01 | 76.03%
116.19/116.20 c 116s| 1 | 0 |125671 | - | 62M| 0 | 500 | 500 | 18k| 500 |3329 | 13k| 0 | 0 |-1.042395e+02 |-2.500000e+01 | 76.02%
117.09/117.10 c 117s| 1 | 0 |126270 | - | 62M| 0 | 500 | 500 | 18k| 500 |3341 | 13k| 0 | 0 |-1.041517e+02 |-2.500000e+01 | 76.00%
117.89/117.93 c 118s| 1 | 0 |126585 | - | 62M| 0 | 500 | 500 | 18k| 500 |3364 | 13k| 0 | 0 |-1.041232e+02 |-2.500000e+01 | 75.99%
118.81/118.86 c 119s| 1 | 0 |127067 | - | 62M| 0 | 500 | 500 | 18k| 500 |3375 | 13k| 0 | 0 |-1.040604e+02 |-2.500000e+01 | 75.98%
119.69/119.77 c 120s| 1 | 0 |127571 | - | 62M| 0 | 500 | 500 | 18k| 500 |3391 | 13k| 0 | 0 |-1.039961e+02 |-2.500000e+01 | 75.96%
120.59/120.63 c 121s| 1 | 0 |127988 | - | 62M| 0 | 500 | 500 | 18k| 500 |3400 | 13k| 0 | 0 |-1.039528e+02 |-2.500000e+01 | 75.95%
121.38/121.48 c 121s| 1 | 0 |128338 | - | 62M| 0 | 499 | 500 | 18k| 500 |3368 | 13k| 0 | 0 |-1.039201e+02 |-2.500000e+01 | 75.94%
122.39/122.41 c 122s| 1 | 0 |128850 | - | 62M| 0 | 500 | 500 | 18k| 500 |3382 | 13k| 0 | 0 |-1.038630e+02 |-2.500000e+01 | 75.93%
123.20/123.29 c 123s| 1 | 0 |129295 | - | 62M| 0 | 500 | 500 | 18k| 500 |3396 | 13k| 0 | 0 |-1.038303e+02 |-2.500000e+01 | 75.92%
124.09/124.19 c 124s| 1 | 0 |129724 | - | 62M| 0 | 500 | 500 | 18k| 500 |3405 | 13k| 0 | 0 |-1.038005e+02 |-2.500000e+01 | 75.92%
124.99/125.05 c 125s| 1 | 0 |130001 | - | 62M| 0 | 500 | 500 | 18k| 500 |3416 | 13k| 0 | 0 |-1.037768e+02 |-2.500000e+01 | 75.91%
125.89/125.92 c 126s| 1 | 0 |130390 | - | 62M| 0 | 500 | 500 | 18k| 500 |3427 | 13k| 0 | 0 |-1.037224e+02 |-2.500000e+01 | 75.90%
126.79/126.83 c 127s| 1 | 0 |130787 | - | 62M| 0 | 500 | 500 | 18k| 500 |3379 | 13k| 0 | 0 |-1.036976e+02 |-2.500000e+01 | 75.89%
127.60/127.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.60/127.65 c 128s| 1 | 0 |130968 | - | 62M| 0 | 500 | 500 | 18k| 500 |3391 | 13k| 0 | 0 |-1.036839e+02 |-2.500000e+01 | 75.89%
128.39/128.46 c 128s| 1 | 0 |131225 | - | 62M| 0 | 500 | 500 | 18k| 500 |3402 | 13k| 0 | 0 |-1.036666e+02 |-2.500000e+01 | 75.88%
129.29/129.34 c 129s| 1 | 0 |131453 | - | 62M| 0 | 500 | 500 | 18k| 500 |3408 | 13k| 0 | 0 |-1.036513e+02 |-2.500000e+01 | 75.88%
130.18/130.22 c 130s| 1 | 0 |131737 | - | 62M| 0 | 500 | 500 | 18k| 500 |3418 | 13k| 0 | 0 |-1.036356e+02 |-2.500000e+01 | 75.88%
131.09/131.11 c 131s| 1 | 0 |132005 | - | 62M| 0 | 500 | 500 | 18k| 500 |3424 | 13k| 0 | 0 |-1.036121e+02 |-2.500000e+01 | 75.87%
131.90/131.97 c 132s| 1 | 0 |132311 | - | 62M| 0 | 500 | 500 | 18k| 500 |3370 | 13k| 0 | 0 |-1.035956e+02 |-2.500000e+01 | 75.87%
132.69/132.79 c 133s| 1 | 0 |132556 | - | 62M| 0 | 500 | 500 | 18k| 500 |3380 | 13k| 0 | 0 |-1.035705e+02 |-2.500000e+01 | 75.86%
133.58/133.64 c 134s| 1 | 0 |132867 | - | 62M| 0 | 500 | 500 | 18k| 500 |3396 | 13k| 0 | 0 |-1.035425e+02 |-2.500000e+01 | 75.86%
134.49/134.51 c 135s| 1 | 0 |133232 | - | 62M| 0 | 500 | 500 | 18k| 500 |3411 | 13k| 0 | 0 |-1.035237e+02 |-2.500000e+01 | 75.85%
135.30/135.32 c 135s| 1 | 0 |133436 | - | 62M| 0 | 500 | 500 | 18k| 500 |3422 | 13k| 0 | 0 |-1.034970e+02 |-2.500000e+01 | 75.84%
136.18/136.22 c 136s| 1 | 0 |133759 | - | 62M| 0 | 500 | 500 | 18k| 500 |3432 | 13k| 0 | 0 |-1.034657e+02 |-2.500000e+01 | 75.84%
137.09/137.14 c 137s| 1 | 0 |134268 | - | 62M| 0 | 500 | 500 | 18k| 500 |3390 | 13k| 0 | 0 |-1.034449e+02 |-2.500000e+01 | 75.83%
138.08/138.12 c 138s| 1 | 0 |134930 | - | 62M| 0 | 500 | 500 | 18k| 500 |3402 | 13k| 0 | 0 |-1.033948e+02 |-2.500000e+01 | 75.82%
138.89/138.97 c 139s| 1 | 0 |135196 | - | 62M| 0 | 500 | 500 | 18k| 500 |3416 | 13k| 0 | 0 |-1.033712e+02 |-2.500000e+01 | 75.82%
139.79/139.84 c 140s| 1 | 0 |135646 | - | 62M| 0 | 500 | 500 | 18k| 500 |3431 | 13k| 0 | 0 |-1.033399e+02 |-2.500000e+01 | 75.81%
140.70/140.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.70/140.72 c 141s| 1 | 0 |135876 | - | 62M| 0 | 500 | 500 | 18k| 500 |3440 | 13k| 0 | 0 |-1.033189e+02 |-2.500000e+01 | 75.80%
141.49/141.58 c 142s| 1 | 0 |136162 | - | 62M| 0 | 500 | 500 | 18k| 500 |3448 | 13k| 0 | 0 |-1.032956e+02 |-2.500000e+01 | 75.80%
142.29/142.38 c 142s| 1 | 0 |136329 | - | 62M| 0 | 500 | 500 | 18k| 500 |3407 | 13k| 0 | 0 |-1.032843e+02 |-2.500000e+01 | 75.79%
143.19/143.24 c 143s| 1 | 0 |136611 | - | 62M| 0 | 500 | 500 | 18k| 500 |3414 | 13k| 0 | 0 |-1.032647e+02 |-2.500000e+01 | 75.79%
144.11/144.16 c 144s| 1 | 0 |137062 | - | 62M| 0 | 500 | 500 | 18k| 500 |3423 | 13k| 0 | 0 |-1.032406e+02 |-2.500000e+01 | 75.78%
144.89/144.99 c 145s| 1 | 0 |137311 | - | 62M| 0 | 500 | 500 | 18k| 500 |3433 | 13k| 0 | 0 |-1.032253e+02 |-2.500000e+01 | 75.78%
145.79/145.86 c 146s| 1 | 0 |137547 | - | 62M| 0 | 500 | 500 | 18k| 500 |3441 | 13k| 0 | 0 |-1.032112e+02 |-2.500000e+01 | 75.78%
146.58/146.65 c 147s| 1 | 0 |137697 | - | 62M| 0 | 500 | 500 | 18k| 500 |3450 | 13k| 0 | 0 |-1.032034e+02 |-2.500000e+01 | 75.78%
147.49/147.56 c 148s| 1 | 0 |138080 | - | 62M| 0 | 500 | 500 | 18k| 500 |3398 | 13k| 0 | 0 |-1.031777e+02 |-2.500000e+01 | 75.77%
148.29/148.41 c 148s| 1 | 0 |138297 | - | 62M| 0 | 500 | 500 | 18k| 500 |3407 | 13k| 0 | 0 |-1.031678e+02 |-2.500000e+01 | 75.77%
149.29/149.30 c 149s| 1 | 0 |138590 | - | 62M| 0 | 500 | 500 | 18k| 500 |3419 | 13k| 0 | 0 |-1.031444e+02 |-2.500000e+01 | 75.76%
150.09/150.18 c 150s| 1 | 0 |138815 | - | 62M| 0 | 500 | 500 | 18k| 500 |3430 | 13k| 0 | 0 |-1.031276e+02 |-2.500000e+01 | 75.76%
150.98/151.01 c 151s| 1 | 0 |139081 | - | 62M| 0 | 500 | 500 | 18k| 500 |3441 | 13k| 0 | 0 |-1.031181e+02 |-2.500000e+01 | 75.76%
151.81/151.86 c 152s| 1 | 0 |139381 | - | 62M| 0 | 500 | 500 | 18k| 500 |3451 | 13k| 0 | 0 |-1.031083e+02 |-2.500000e+01 | 75.75%
152.69/152.73 c 153s| 1 | 0 |139609 | - | 62M| 0 | 500 | 500 | 18k| 500 |3420 | 13k| 0 | 0 |-1.030911e+02 |-2.500000e+01 | 75.75%
153.48/153.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.48/153.57 c 154s| 1 | 0 |139764 | - | 62M| 0 | 500 | 500 | 18k| 500 |3429 | 13k| 0 | 0 |-1.030834e+02 |-2.500000e+01 | 75.75%
154.29/154.38 c 154s| 1 | 0 |139878 | - | 62M| 0 | 500 | 500 | 18k| 500 |3439 | 13k| 0 | 0 |-1.030786e+02 |-2.500000e+01 | 75.75%
155.19/155.22 c 155s| 1 | 0 |140006 | - | 62M| 0 | 500 | 500 | 18k| 500 |3447 | 13k| 0 | 0 |-1.030725e+02 |-2.500000e+01 | 75.75%
155.99/156.08 c 156s| 1 | 0 |140100 | - | 62M| 0 | 500 | 500 | 18k| 500 |3452 | 13k| 0 | 0 |-1.030701e+02 |-2.500000e+01 | 75.74%
156.88/156.94 c 157s| 1 | 0 |140161 | - | 62M| 0 | 500 | 500 | 18k| 500 |3455 | 13k| 0 | 0 |-1.030692e+02 |-2.500000e+01 | 75.74%
157.69/157.79 c 158s| 1 | 0 |140185 | - | 62M| 0 | 500 | 500 | 18k| 500 |3402 | 13k| 0 | 0 |-1.030690e+02 |-2.500000e+01 | 75.74%
158.49/158.59 c 159s| 1 | 0 |140208 | - | 62M| 0 | 500 | 500 | 18k| 500 |3405 | 13k| 0 | 0 |-1.030680e+02 |-2.500000e+01 | 75.74%
165.01/165.02 c 165s| 1 | 2 |140208 | - | 62M| 0 | 500 | 500 | 18k| 500 |3405 | 13k| 0 | 17 |-1.030680e+02 |-2.500000e+01 | 75.74%
479.00/479.11 o -26
479.00/479.11 c v 479s| 4636 | 4635 | 3085k| 635.4 | 73M| 66 | - | 500 | 18k| 500 | 569 | 64k| 0 |2473 |-9.884016e+01 |-2.600000e+01 | 73.69%
510.40/510.59 o -28
510.40/510.59 c l 511s| 5994 | 5990 | 3491k| 559.3 | 76M| 66 | - | 500 | 18k| 500 | 577 | 92k| 0 |2556 |-9.861345e+01 |-2.800000e+01 | 71.61%
514.10/514.25 o -31
514.10/514.25 c * 514s| 6205 | 6146 | 3541k| 548.2 | 76M| 66 | - | 500 | 18k| 500 | 560 | 98k| 0 |2556 |-9.858167e+01 |-3.100000e+01 | 68.55%
580.10/580.23 o -32
580.10/580.23 c * 580s| 9049 | 8779 | 4310k| 460.9 | 81M| 72 | - | 500 | 18k| 500 | 579 | 158k| 0 |3016 |-9.827097e+01 |-3.200000e+01 | 67.44%
595.02/595.12 c 595s| 10000 | 9580 | 4493k| 435.3 | 82M| 78 | - | 500 | 18k| 500 | 578 | 181k| 0 |3076 |-9.818158e+01 |-3.200000e+01 | 67.41%
712.31/712.45 c 712s| 20000 | 17312 | 5965k| 291.3 | 95M| 85 | 42 | 500 | 18k| 500 | 555 | 417k| 0 |3891 |-9.755280e+01 |-3.200000e+01 | 67.20%
732.42/732.52 o -33
732.42/732.52 c * 733s| 22345 | 18275 | 6235k| 272.8 | 97M| 85 | - | 500 | 18k| 500 | 591 | 473k| 0 |3962 |-9.746829e+01 |-3.300000e+01 | 66.14%
796.70/796.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
796.70/796.89 c 797s| 30000 | 23126 | 7031k| 229.7 | 105M| 89 | - | 500 | 18k| 500 | 560 | 656k| 0 |4386 |-9.728922e+01 |-3.300000e+01 | 66.08%
921.41/921.54 c 922s| 40000 | 29208 | 8580k| 211.0 | 116M| 102 | 10 | 500 | 18k| 500 | 500 | 876k| 0 |4933 |-9.650628e+01 |-3.300000e+01 | 65.81%
930.31/930.43 o -35
930.31/930.43 c * 930s| 41624 | 27859 | 8702k| 205.7 | 116M| 102 | - | 500 | 18k| 500 | 578 | 912k| 0 |4933 |-9.647501e+01 |-3.500000e+01 | 63.72%
982.13/982.29 c 982s| 50000 | 31587 | 9375k| 184.7 | 122M| 103 | 8 | 500 | 18k| 500 | 556 |1101k| 0 |5175 |-9.629062e+01 |-3.500000e+01 | 63.65%
1036.91/1037.00 c 1037s| 60000 | 35943 | 10114k| 166.2 | 130M| 105 | 39 | 500 | 18k| 500 | 525 |1320k| 0 |5410 |-9.614408e+01 |-3.500000e+01 | 63.60%
1095.91/1096.08 c 1096s| 70000 | 40237 | 10884k| 153.5 | 138M| 111 | 72 | 500 | 18k| 500 | 585 |1536k| 0 |5829 |-9.597563e+01 |-3.500000e+01 | 63.53%
1150.21/1150.33 c 1150s| 80000 | 44323 | 11601k| 143.3 | 145M| 111 | - | 500 | 18k| 500 | 571 |1757k| 0 |6120 |-9.583715e+01 |-3.500000e+01 | 63.48%
1200.41/1200.54 c 1201s| 90000 | 48263 | 12270k| 134.8 | 152M| 118 | 68 | 500 | 18k| 500 | 529 |1974k| 0 |6325 |-9.570970e+01 |-3.500000e+01 | 63.43%
1247.11/1247.29 c 1247s|100000 | 52167 | 12896k| 127.6 | 158M| 118 | 30 | 500 | 18k| 500 | 533 |2190k| 0 |6505 |-9.561344e+01 |-3.500000e+01 | 63.39%
1302.22/1302.38 c 1302s|110000 | 56153 | 13628k| 122.6 | 166M| 118 | 110 | 500 | 18k| 500 | 500 |2398k| 0 |6753 |-9.549524e+01 |-3.500000e+01 | 63.35%
1349.71/1349.82 c 1350s|120000 | 59945 | 14272k| 117.8 | 172M| 118 | 26 | 500 | 18k| 500 | 548 |2606k| 0 |7000 |-9.536703e+01 |-3.500000e+01 | 63.30%
1398.61/1398.79 c 1399s|130000 | 63697 | 14938k| 113.8 | 179M| 118 | - | 500 | 18k| 500 | 551 |2819k| 0 |7161 |-9.525840e+01 |-3.500000e+01 | 63.26%
1449.42/1449.58 c 1450s|140000 | 67467 | 15625k| 110.6 | 186M| 118 | 83 | 500 | 18k| 500 | 636 |3029k| 0 |7364 |-9.514656e+01 |-3.500000e+01 | 63.21%
1506.32/1506.49 c 1506s|150000 | 71489 | 16394k| 108.4 | 193M| 121 | 3 | 500 | 18k| 500 | 500 |3238k| 0 |7554 |-9.505883e+01 |-3.500000e+01 | 63.18%
1552.82/1552.97 c 1553s|160000 | 75065 | 17030k| 105.6 | 199M| 122 | 35 | 500 | 18k| 500 | 523 |3444k| 0 |7686 |-9.495977e+01 |-3.500000e+01 | 63.14%
1600.22/1600.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1600.22/1600.30 c 1600s|170000 | 78765 | 17658k| 103.0 | 206M| 122 | - | 500 | 18k| 500 | 570 |3648k| 0 |7892 |-9.486690e+01 |-3.500000e+01 | 63.11%
1647.52/1647.66 c 1648s|180000 | 82495 | 18294k| 100.9 | 213M| 122 | 163 | 500 | 18k| 500 | 500 |3866k| 0 |8100 |-9.478239e+01 |-3.500000e+01 | 63.07%
1697.82/1697.98 c 1698s|190000 | 86261 | 18975k| 99.1 | 219M| 124 | 6 | 500 | 18k| 500 | 553 |4068k| 0 |8288 |-9.467170e+01 |-3.500000e+01 | 63.03%
1747.42/1747.56 c 1748s|200000 | 90059 | 19657k| 97.6 | 226M| 125 | 53 | 500 | 18k| 500 | 607 |4272k| 0 |8449 |-9.456140e+01 |-3.500000e+01 | 62.99%
1788.82/1788.91 c 1789s|210000 | 93725 | 20230k| 95.7 | 232M| 125 | 11 | 500 | 18k| 500 | 537 |4484k| 0 |8538 |-9.448333e+01 |-3.500000e+01 | 62.96%
1799.92/1800.02 c
1799.92/1800.02 c SCIP Status : solving was interrupted [time limit reached]
1799.92/1800.02 c Solving Time (sec) : 1800.01
1799.92/1800.02 c Solving Nodes : 212763
1799.92/1800.02 c Primal Bound : -3.50000000000000e+01 (866 solutions)
1799.92/1800.02 c Dual Bound : -9.44669106087494e+01
1799.92/1800.03 c Gap : 62.95 %
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-3450664-1307105829/watcher-3450664-1307105829 -o /tmp/evaluation-result-3450664-1307105829/solver-3450664-1307105829 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450664-1307105829.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.99 2.02 2.00 3/498 11448
/proc/meminfo: memFree=29015956/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=16976 CPUtime=0 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 3249 0 0 0 0 0 0 0 25 0 1 0 822182481 17383424 3202 33554432000 4194304 9163163 140734228753712 18446744073709551615 6919044 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11448/statm: 4244 3202 415 1214 0 3026 0
[startup+0.0321051 s]
/proc/loadavg: 1.99 2.02 2.00 3/498 11448
/proc/meminfo: memFree=29015956/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=23732 CPUtime=0.02 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 4923 0 0 0 2 0 0 0 25 0 1 0 822182481 24301568 4876 33554432000 4194304 9163163 140734228753712 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11448/statm: 5933 4876 415 1214 0 4715 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23732
[startup+0.101126 s]
/proc/loadavg: 1.99 2.02 2.00 3/498 11448
/proc/meminfo: memFree=29015956/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=37492 CPUtime=0.09 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 8357 0 0 0 9 0 0 0 25 0 1 0 822182481 38391808 8310 33554432000 4194304 9163163 140734228753712 18446744073709551615 7994651 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11448/statm: 9373 8310 415 1214 0 8155 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37492
[startup+0.301089 s]
/proc/loadavg: 1.99 2.02 2.00 3/498 11448
/proc/meminfo: memFree=29015956/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=85488 CPUtime=0.29 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 19835 0 0 0 27 2 0 0 25 0 1 0 822182481 87539712 19543 33554432000 4194304 9163163 140734228753712 18446744073709551615 8095719 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11448/statm: 20618 18997 505 1214 0 19400 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85488
[startup+0.701039 s]
/proc/loadavg: 1.99 2.02 2.00 3/498 11448
/proc/meminfo: memFree=29015956/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=113928 CPUtime=0.69 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 27753 0 0 0 66 3 0 0 18 0 1 0 822182481 116662272 26303 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11448/statm: 28482 26303 775 1214 0 27264 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 113928
[startup+1.5009 s]
/proc/loadavg: 1.99 2.02 2.00 3/499 11449
/proc/meminfo: memFree=28909804/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=115628 CPUtime=1.49 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 30748 0 0 0 146 3 0 0 19 0 1 0 822182481 118403072 27300 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11448/statm: 28907 27300 781 1214 0 27689 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 115628
[startup+3.10063 s]
/proc/loadavg: 1.99 2.02 2.00 3/499 11449
/proc/meminfo: memFree=28906304/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=119460 CPUtime=3.09 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 31687 0 0 0 305 4 0 0 22 0 1 0 822182481 122327040 28232 33554432000 4194304 9163163 140734228753712 18446744073709551615 6284276 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11448/statm: 29865 28232 775 1214 0 28647 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 119460
[startup+6.3011 s]
/proc/loadavg: 1.99 2.02 2.00 3/499 11449
/proc/meminfo: memFree=28893912/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=132852 CPUtime=6.29 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 35134 0 0 0 624 5 0 0 25 0 1 0 822182481 136040448 31639 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11448/statm: 33213 31639 857 1214 0 31995 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 132852
[startup+12.701 s]
/proc/loadavg: 1.99 2.02 2.00 3/499 11451
/proc/meminfo: memFree=28868284/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=143412 CPUtime=12.69 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 38076 0 0 0 1260 9 0 0 25 0 1 0 822182481 146853888 34339 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11448/statm: 35853 34339 703 1214 0 34635 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 143412
[startup+25.5008 s]
/proc/loadavg: 1.99 2.02 2.00 3/499 11451
/proc/meminfo: memFree=28850436/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=157128 CPUtime=25.49 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 41387 0 0 0 2533 16 0 0 25 0 1 0 822182481 160899072 37595 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11448/statm: 39282 37595 701 1214 0 38064 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 157128
[startup+51.1005 s]
/proc/loadavg: 1.99 2.01 2.00 3/499 11451
/proc/meminfo: memFree=28851644/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=157128 CPUtime=51.09 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 41387 0 0 0 5080 29 0 0 25 0 1 0 822182481 160899072 37595 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11448/statm: 39282 37595 701 1214 0 38064 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 157128
[startup+102.319 s]
/proc/loadavg: 1.99 2.01 2.00 3/499 11453
/proc/meminfo: memFree=28849220/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=157128 CPUtime=102.31 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 41388 0 0 0 10181 50 0 0 25 0 1 0 822182481 160899072 37596 33554432000 4194304 9163163 140734228753712 18446744073709551615 6668688 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11448/statm: 39282 37596 701 1214 0 38064 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 157128
[startup+162.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/499 11455
/proc/meminfo: memFree=28845576/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=156408 CPUtime=162.29 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 45033 0 0 0 16157 72 0 0 25 0 1 0 822182481 160161792 37499 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11448/statm: 39102 37499 717 1214 0 37884 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 156408
[startup+222.301 s]
/proc/loadavg: 2.06 2.04 2.01 3/499 11455
/proc/meminfo: memFree=28838372/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=156408 CPUtime=222.29 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 45052 0 0 0 22105 124 0 0 25 0 1 0 822182481 160161792 37518 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11448/statm: 39102 37518 722 1214 0 37884 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 156408
[startup+282.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 11466
/proc/meminfo: memFree=28829528/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=155720 CPUtime=282.2 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 51774 0 0 0 28025 195 0 0 25 0 1 0 822182481 159457280 37374 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 38930 37374 736 1214 0 37712 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 155720
[startup+342.3 s]
/proc/loadavg: 2.20 2.08 2.02 3/499 11468
/proc/meminfo: memFree=28821576/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=157544 CPUtime=342.2 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 59204 0 0 0 33953 267 0 0 25 0 1 0 822182481 161325056 37799 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 39386 37799 736 1214 0 38168 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 157544
[startup+402.3 s]
/proc/loadavg: 2.12 2.08 2.02 3/499 11470
/proc/meminfo: memFree=28809900/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=161400 CPUtime=402.2 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 67213 0 0 0 39876 344 0 0 25 0 1 0 822182481 165273600 38587 33554432000 4194304 9163163 140734228753712 18446744073709551615 7390504 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 40350 38587 736 1214 0 39132 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 161400
[startup+462.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/499 11472
/proc/meminfo: memFree=28799964/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=165324 CPUtime=462.2 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 75422 0 0 0 45796 424 0 0 25 0 1 0 822182481 169291776 39571 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 41331 39571 736 1214 0 40113 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 165324
[startup+522.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/499 11472
/proc/meminfo: memFree=28784204/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=170452 CPUtime=522.21 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 105984 0 0 0 51720 501 0 0 25 0 1 0 822182481 174542848 40863 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 42613 40863 737 1214 0 41395 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 170452
[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/499 11477
/proc/meminfo: memFree=28772056/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=176400 CPUtime=582.21 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 129179 0 0 0 57642 579 0 0 25 0 1 0 822182481 180633600 42349 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 44100 42349 737 1214 0 42882 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 176400
[startup+642.301 s]
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/499 11487
/proc/meminfo: memFree=28680084/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=219796 CPUtime=942.21 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 240282 0 0 0 93151 1070 0 0 25 0 1 0 822182481 225071104 53300 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 54949 53300 739 1214 0 53731 0
Current children cumulated CPU time (s) 942.21
Current children cumulated vsize (KiB) 219796
[startup+1002.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/499 11489
/proc/meminfo: memFree=28659124/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=229368 CPUtime=1002.21 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 256974 0 0 0 99066 1155 0 0 25 0 1 0 822182481 234872832 55635 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 57342 55635 739 1214 0 56124 0
Current children cumulated CPU time (s) 1002.21
Current children cumulated vsize (KiB) 229368
[startup+1062.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/499 11491
/proc/meminfo: memFree=28638524/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=240796 CPUtime=1062.21 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 267060 0 0 0 104985 1236 0 0 25 0 1 0 822182481 246575104 58566 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 60199 58566 739 1214 0 58981 0
Current children cumulated CPU time (s) 1062.21
Current children cumulated vsize (KiB) 240796
[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 11491
/proc/meminfo: memFree=28625864/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=246624 CPUtime=1122.21 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 275785 0 0 0 110901 1320 0 0 25 0 1 0 822182481 252542976 60037 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 61656 60037 739 1214 0 60438 0
Current children cumulated CPU time (s) 1122.21
Current children cumulated vsize (KiB) 246624
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 11493
/proc/meminfo: memFree=28609736/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=252504 CPUtime=1182.21 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 277241 0 0 0 116817 1404 0 0 25 0 1 0 822182481 258564096 61493 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 63126 61493 739 1214 0 61908 0
Current children cumulated CPU time (s) 1182.21
Current children cumulated vsize (KiB) 252504
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 11495
/proc/meminfo: memFree=28593236/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=264444 CPUtime=1242.21 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 287293 0 0 0 122733 1488 0 0 25 0 1 0 822182481 270790656 64472 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 66111 64472 739 1214 0 64893 0
Current children cumulated CPU time (s) 1242.21
Current children cumulated vsize (KiB) 264444
[startup+1302.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/499 11497
/proc/meminfo: memFree=28570404/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=274280 CPUtime=1302.22 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 289784 0 0 0 128646 1576 0 0 25 0 1 0 822182481 280862720 66963 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 68570 66963 739 1214 0 67352 0
Current children cumulated CPU time (s) 1302.22
Current children cumulated vsize (KiB) 274280
[startup+1362.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/499 11499
/proc/meminfo: memFree=28551172/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=285888 CPUtime=1362.22 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 292723 0 0 0 134566 1656 0 0 25 0 1 0 822182481 292749312 69902 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 71472 69902 739 1214 0 70254 0
Current children cumulated CPU time (s) 1362.22
Current children cumulated vsize (KiB) 285888
[startup+1422.32 s]
/proc/loadavg: 2.04 2.04 2.00 3/499 11499
/proc/meminfo: memFree=28540632/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=289920 CPUtime=1422.23 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 293791 0 0 0 140487 1736 0 0 25 0 1 0 822182481 296878080 70970 33554432000 4194304 9163163 140734228753712 18446744073709551615 6555954 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 72480 70970 739 1214 0 71262 0
Current children cumulated CPU time (s) 1422.23
Current children cumulated vsize (KiB) 289920
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 11501
/proc/meminfo: memFree=28523016/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=301508 CPUtime=1482.22 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 303271 0 0 0 146404 1818 0 0 25 0 1 0 822182481 308744192 73360 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 75377 73360 739 1214 0 74159 0
Current children cumulated CPU time (s) 1482.22
Current children cumulated vsize (KiB) 301508
[startup+1542.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/499 11503
/proc/meminfo: memFree=28504776/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=310652 CPUtime=1542.22 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 305520 0 0 0 152318 1904 0 0 25 0 1 0 822182481 318107648 75609 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 77663 75609 739 1214 0 76445 0
Current children cumulated CPU time (s) 1542.22
Current children cumulated vsize (KiB) 310652
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/499 11505
/proc/meminfo: memFree=28484540/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=322168 CPUtime=1602.22 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 308432 0 0 0 158233 1989 0 0 25 0 1 0 822182481 329900032 78521 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 80542 78521 739 1214 0 79324 0
Current children cumulated CPU time (s) 1602.22
Current children cumulated vsize (KiB) 322168
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 11507
/proc/meminfo: memFree=28468524/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=330712 CPUtime=1662.22 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 310580 0 0 0 164151 2071 0 0 25 0 1 0 822182481 338649088 80669 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 82678 80669 739 1214 0 81460 0
Current children cumulated CPU time (s) 1662.22
Current children cumulated vsize (KiB) 330712
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 11507
/proc/meminfo: memFree=28452896/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=340772 CPUtime=1722.22 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 313123 0 0 0 170069 2153 0 0 25 0 1 0 822182481 348950528 83212 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 85193 83212 739 1214 0 83975 0
Current children cumulated CPU time (s) 1722.22
Current children cumulated vsize (KiB) 340772
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 11509
/proc/meminfo: memFree=28436272/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=345772 CPUtime=1782.23 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 314357 0 0 0 175989 2234 0 0 25 0 1 0 822182481 354070528 84446 33554432000 4194304 9163163 140734228753712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11448/statm: 86443 84446 739 1214 0 85225 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 345772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 1.93 1.99 1.99 3/499 11537
/proc/meminfo: memFree=28661340/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=348744 CPUtime=1800.03 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4202496 315111 0 0 0 177742 2261 0 0 25 0 1 0 822182481 357113856 85200 33554432000 4194304 9163163 140734228753712 18446744073709551615 4693093 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11448/statm: 87186 85200 739 1214 0 85968 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 348744
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.22 s]
/proc/loadavg: 1.93 1.99 1.99 3/499 11537
/proc/meminfo: memFree=28661340/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=0 CPUtime=1800.13 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4203524 315111 0 0 0 177743 2270 0 0 25 0 1 0 822182481 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11448/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
[startup+1800.3 s]
/proc/loadavg: 1.93 1.99 1.99 3/499 11537
/proc/meminfo: memFree=28661340/32951132 swapFree=57925096/67111528
[pid=11448] ppid=11446 vsize=0 CPUtime=1800.22 cores=0,2,4,6
/proc/11448/stat : 11448 (scip-2.0.1.4b.l) R 11446 11448 10513 0 -1 4203524 315111 0 0 0 177743 2279 0 0 25 0 1 0 822182481 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11448/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.33
CPU time (s): 1800.25
CPU user time (s): 1777.43
CPU system time (s): 22.8175
CPU usage (%): 99.9958
Max. virtual memory (cumulated for all children) (KiB): 348744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.43
system time used= 22.8175
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315111
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2608
runsolver used 9.54655 second user time and 19.963 second system time
The end