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-3450658-1307105649.opb>
0.02/0.04 c original problem has 8353 variables (8353 bin, 0 int, 0 impl, 0 cont) and 8853 constraints
0.02/0.04 c problem read
0.02/0.04 c presolving settings loaded
0.02/0.09 o 0
0.02/0.09 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.02/0.09 c presolving:
0.09/0.15 c (round 1) 7853 del vars, 1000 del conss, 0 add conss, 7853 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 31412 impls, 0 clqs
0.09/0.17 c (round 2) 7853 del vars, 1000 del conss, 0 add conss, 7853 chg bounds, 0 chg sides, 0 chg coeffs, 7853 upgd conss, 47118 impls, 0 clqs
0.19/0.21 c (0.2s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (3 rounds):
0.19/0.21 c 7853 deleted vars, 1000 deleted constraints, 0 added constraints, 7853 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21 c 47118 implications, 0 cliques
0.19/0.21 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 7853 constraints
0.19/0.21 c 7853 constraints of type <logicor>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.13
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 2.0.1.5
0.19/0.21 c
0.19/0.21 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c conflict/interconss = 0
0.19/0.21 c
0.19/0.21 c # should binary conflicts be preferred?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c conflict/preferbinary = TRUE
0.19/0.21 c
0.19/0.21 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21 c constraints/agelimit = 1
0.19/0.21 c
0.19/0.21 c # should enforcement of pseudo solution be disabled?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/disableenfops = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1800
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 13950
0.19/0.21 c
0.19/0.21 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.21 c # [type: int, range: [1,2], default: 1]
0.19/0.21 c timing/clocktype = 2
0.19/0.21 c
0.19/0.21 c # belongs reading time to solving time?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c timing/reading = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/indicator/addCouplingCons = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.21 c
0.19/0.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.27 c t 0.3s| 1 | 0 | 519 | - | 26M| 0 | 500 | 500 |7853 | 500 |7853 | 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.19/0.28 o -1
0.19/0.28 c R 0.3s| 1 | 0 | 519 | - | 26M| 0 | 500 | 500 |7853 | 500 |7853 | 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.19/0.29 o -2
0.19/0.29 c s 0.3s| 1 | 0 | 519 | - | 26M| 0 | 500 | 500 |7853 | 500 |7853 | 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.39/0.43 c 0.4s| 1 | 0 | 650 | - | 26M| 0 | 493 | 500 |7853 | 500 |7861 | 8 | 0 | 0 |-2.465000e+02 |-2.000000e+00 | 99.19%
0.39/0.43 o -44
0.39/0.43 c b 0.4s| 1 | 0 | 650 | - | 26M| 0 | 493 | 500 |7853 | 500 |7861 | 8 | 0 | 0 |-2.465000e+02 |-4.400000e+01 | 82.15%
0.49/0.55 c 0.6s| 1 | 0 | 718 | - | 26M| 0 | 487 | 500 |7853 | 500 |7870 | 17 | 0 | 0 |-2.435000e+02 |-4.400000e+01 | 81.93%
0.69/0.70 c 0.7s| 1 | 0 | 809 | - | 26M| 0 | 483 | 500 |7853 | 500 |7879 | 26 | 0 | 0 |-2.415000e+02 |-4.400000e+01 | 81.78%
0.79/0.85 c 0.9s| 1 | 0 | 906 | - | 26M| 0 | 480 | 500 |7853 | 500 |7888 | 35 | 0 | 0 |-2.400000e+02 |-4.400000e+01 | 81.67%
1.00/1.10 c 1.1s| 1 | 0 | 1226 | - | 26M| 0 | 479 | 500 |7853 | 500 |7899 | 46 | 0 | 0 |-2.377500e+02 |-4.400000e+01 | 81.49%
1.29/1.31 c 1.3s| 1 | 0 | 1452 | - | 26M| 0 | 469 | 500 |7853 | 500 |7912 | 59 | 0 | 0 |-2.340000e+02 |-4.400000e+01 | 81.20%
1.49/1.57 c 1.6s| 1 | 0 | 1825 | - | 27M| 0 | 466 | 500 |7853 | 500 |7925 | 72 | 0 | 0 |-2.312500e+02 |-4.400000e+01 | 80.97%
1.69/1.79 c 1.8s| 1 | 0 | 2104 | - | 27M| 0 | 459 | 500 |7853 | 500 |7938 | 85 | 0 | 0 |-2.282500e+02 |-4.400000e+01 | 80.72%
1.89/1.94 c 1.9s| 1 | 0 | 2217 | - | 27M| 0 | 453 | 500 |7853 | 500 |7948 | 95 | 0 | 0 |-2.265000e+02 |-4.400000e+01 | 80.57%
2.10/2.17 c 2.2s| 1 | 0 | 2439 | - | 27M| 0 | 452 | 500 |7853 | 500 |7959 | 106 | 0 | 0 |-2.247500e+02 |-4.400000e+01 | 80.42%
2.29/2.39 c 2.4s| 1 | 0 | 2764 | - | 27M| 0 | 448 | 500 |7853 | 500 | 939 | 117 | 0 | 0 |-2.227500e+02 |-4.400000e+01 | 80.25%
2.39/2.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.46 c 2.5s| 1 | 0 | 3013 | - | 27M| 0 | 441 | 500 |7853 | 500 | 947 | 125 | 0 | 0 |-2.220000e+02 |-4.400000e+01 | 80.18%
2.49/2.58 c 2.6s| 1 | 0 | 3934 | - | 27M| 0 | 435 | 500 |7853 | 500 |1052 | 230 | 0 | 0 |-2.200000e+02 |-4.400000e+01 | 80.00%
2.59/2.69 c 2.7s| 1 | 0 | 4652 | - | 27M| 0 | 420 | 500 |7853 | 500 |1185 | 363 | 0 | 0 |-2.170000e+02 |-4.400000e+01 | 79.72%
2.79/2.82 c 2.8s| 1 | 0 | 5001 | - | 27M| 0 | 428 | 500 |7853 | 500 |1357 | 535 | 0 | 0 |-2.150000e+02 |-4.400000e+01 | 79.53%
2.89/2.95 c 3.0s| 1 | 0 | 5356 | - | 28M| 0 | 436 | 500 |7853 | 500 |1426 | 604 | 0 | 0 |-2.131667e+02 |-4.400000e+01 | 79.36%
3.09/3.13 c 3.1s| 1 | 0 | 5966 | - | 29M| 0 | 438 | 500 |7853 | 500 |1228 | 703 | 0 | 0 |-2.106667e+02 |-4.400000e+01 | 79.11%
3.30/3.33 c 3.3s| 1 | 0 | 7084 | - | 30M| 0 | 412 | 500 |7853 | 500 |1406 | 881 | 0 | 0 |-2.080000e+02 |-4.400000e+01 | 78.85%
3.39/3.45 c 3.4s| 1 | 0 | 7620 | - | 30M| 0 | 410 | 500 |7853 | 500 |1500 | 975 | 0 | 0 |-2.065000e+02 |-4.400000e+01 | 78.69%
3.59/3.65 c 3.7s| 1 | 0 | 8531 | - | 30M| 0 | 430 | 500 |7853 | 500 |1544 |1019 | 0 | 0 |-2.045000e+02 |-4.400000e+01 | 78.48%
3.79/3.80 c 3.8s| 1 | 0 | 9118 | - | 31M| 0 | 415 | 500 |7853 | 500 |2066 |1541 | 0 | 0 |-2.025000e+02 |-4.400000e+01 | 78.27%
3.89/3.95 c 3.9s| 1 | 0 | 10034 | - | 31M| 0 | 410 | 500 |7853 | 500 |2110 |1585 | 0 | 0 |-2.011667e+02 |-4.400000e+01 | 78.13%
3.99/4.04 c 4.0s| 1 | 0 | 10330 | - | 31M| 0 | 412 | 500 |7853 | 500 |2015 |1710 | 0 | 0 |-2.004000e+02 |-4.400000e+01 | 78.04%
4.09/4.15 c 4.1s| 1 | 0 | 10864 | - | 31M| 0 | 398 | 500 |7853 | 500 |2037 |1732 | 0 | 0 |-1.986667e+02 |-4.400000e+01 | 77.85%
4.19/4.27 c 4.3s| 1 | 0 | 11598 | - | 32M| 0 | 413 | 500 |7853 | 500 |2050 |1745 | 0 | 0 |-1.968333e+02 |-4.400000e+01 | 77.65%
4.30/4.40 c 4.4s| 1 | 0 | 11915 | - | 32M| 0 | 393 | 500 |7853 | 500 |2440 |2135 | 0 | 0 |-1.952500e+02 |-4.400000e+01 | 77.46%
4.41/4.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.41/4.49 c 4.5s| 1 | 0 | 12185 | - | 33M| 0 | 390 | 500 |7853 | 500 |2454 |2149 | 0 | 0 |-1.950000e+02 |-4.400000e+01 | 77.44%
4.59/4.60 c 4.6s| 1 | 0 | 12711 | - | 33M| 0 | 400 | 500 |7853 | 500 |2485 |2180 | 0 | 0 |-1.935000e+02 |-4.400000e+01 | 77.26%
4.79/4.81 c 4.8s| 1 | 0 | 14325 | - | 33M| 0 | 399 | 500 |7853 | 500 |1733 |2195 | 0 | 0 |-1.915000e+02 |-4.400000e+01 | 77.02%
4.99/5.00 c 5.0s| 1 | 0 | 15717 | - | 33M| 0 | 410 | 500 |7853 | 500 |1781 |2243 | 0 | 0 |-1.907500e+02 |-4.400000e+01 | 76.93%
5.19/5.27 c 5.3s| 1 | 0 | 17519 | - | 34M| 0 | 375 | 500 |7853 | 500 |1946 |2408 | 0 | 0 |-1.900000e+02 |-4.400000e+01 | 76.84%
5.40/5.43 c 5.4s| 1 | 0 | 18360 | - | 34M| 0 | 390 | 500 |7853 | 500 |2047 |2509 | 0 | 0 |-1.885000e+02 |-4.400000e+01 | 76.66%
5.69/5.70 c 5.7s| 1 | 0 | 20143 | - | 34M| 0 | 391 | 500 |7853 | 500 |2076 |2538 | 0 | 0 |-1.870000e+02 |-4.400000e+01 | 76.47%
5.89/5.96 c 6.0s| 1 | 0 | 21864 | - | 34M| 0 | 443 | 500 |7853 | 500 |2113 |2575 | 0 | 0 |-1.864867e+02 |-4.400000e+01 | 76.41%
6.29/6.36 c 6.4s| 1 | 0 | 22862 | - | 35M| 0 | 414 | 500 |7853 | 500 |2220 |3424 | 0 | 0 |-1.845000e+02 |-4.400000e+01 | 76.15%
6.50/6.57 c 6.6s| 1 | 0 | 23551 | - | 36M| 0 | 401 | 500 |7853 | 500 |2273 |3477 | 0 | 0 |-1.825000e+02 |-4.400000e+01 | 75.89%
6.69/6.71 c 6.7s| 1 | 0 | 24271 | - | 36M| 0 | 402 | 500 |7853 | 500 |2318 |3522 | 0 | 0 |-1.816250e+02 |-4.400000e+01 | 75.77%
6.79/6.88 c 6.9s| 1 | 0 | 25024 | - | 37M| 0 | 403 | 500 |7853 | 500 |2358 |3562 | 0 | 0 |-1.803750e+02 |-4.400000e+01 | 75.61%
7.09/7.14 c 7.1s| 1 | 0 | 26480 | - | 38M| 0 | 410 | 500 |7853 | 500 |2426 |3630 | 0 | 0 |-1.786250e+02 |-4.400000e+01 | 75.37%
7.29/7.30 c 7.3s| 1 | 0 | 27284 | - | 38M| 0 | 414 | 500 |7853 | 500 |2493 |3697 | 0 | 0 |-1.773333e+02 |-4.400000e+01 | 75.19%
7.39/7.45 c 7.5s| 1 | 0 | 27810 | - | 39M| 0 | 395 | 500 |7853 | 500 |1970 |3811 | 0 | 0 |-1.760000e+02 |-4.400000e+01 | 75.00%
7.60/7.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.60/7.64 c 7.6s| 1 | 0 | 28548 | - | 40M| 0 | 399 | 500 |7853 | 500 |2009 |3850 | 0 | 0 |-1.754369e+02 |-4.400000e+01 | 74.92%
7.79/7.86 c 7.9s| 1 | 0 | 29224 | - | 40M| 0 | 401 | 500 |7853 | 500 |2387 |4228 | 0 | 0 |-1.750749e+02 |-4.400000e+01 | 74.87%
7.99/8.05 c 8.1s| 1 | 0 | 30035 | - | 41M| 0 | 416 | 500 |7853 | 500 |2497 |4338 | 0 | 0 |-1.744613e+02 |-4.400000e+01 | 74.78%
8.29/8.33 c 8.3s| 1 | 0 | 31089 | - | 41M| 0 | 401 | 500 |7853 | 500 |2566 |4407 | 0 | 0 |-1.737191e+02 |-4.400000e+01 | 74.67%
8.49/8.56 c 8.6s| 1 | 0 | 32062 | - | 41M| 0 | 404 | 500 |7853 | 500 |2590 |4431 | 0 | 0 |-1.732769e+02 |-4.400000e+01 | 74.61%
8.70/8.79 c 8.8s| 1 | 0 | 32746 | - | 42M| 0 | 414 | 500 |7853 | 500 |1733 |4495 | 0 | 0 |-1.726916e+02 |-4.400000e+01 | 74.52%
8.99/9.05 c 9.0s| 1 | 0 | 33928 | - | 42M| 0 | 390 | 500 |7853 | 500 |1744 |4506 | 0 | 0 |-1.709111e+02 |-4.400000e+01 | 74.26%
9.09/9.19 c 9.2s| 1 | 0 | 34483 | - | 43M| 0 | 418 | 500 |7853 | 500 |1850 |4612 | 0 | 0 |-1.703567e+02 |-4.400000e+01 | 74.17%
9.39/9.47 c 9.5s| 1 | 0 | 35460 | - | 44M| 0 | 423 | 500 |7853 | 500 |2048 |4810 | 0 | 0 |-1.694232e+02 |-4.400000e+01 | 74.03%
9.69/9.70 c 9.7s| 1 | 0 | 36288 | - | 45M| 0 | 436 | 500 |7853 | 500 |2171 |4933 | 0 | 0 |-1.689767e+02 |-4.400000e+01 | 73.96%
9.99/10.09 c 10.1s| 1 | 0 | 37692 | - | 45M| 0 | 417 | 500 |7853 | 500 |2234 |4996 | 0 | 0 |-1.681417e+02 |-4.400000e+01 | 73.83%
10.29/10.33 c 10.3s| 1 | 0 | 38733 | - | 47M| 0 | 408 | 500 |7853 | 500 |1736 |5058 | 0 | 0 |-1.671875e+02 |-4.400000e+01 | 73.68%
10.59/10.66 c 10.7s| 1 | 0 | 40754 | - | 47M| 0 | 432 | 500 |7853 | 500 |1748 |5070 | 0 | 0 |-1.663264e+02 |-4.400000e+01 | 73.55%
10.90/10.94 c 10.9s| 1 | 0 | 41628 | - | 48M| 0 | 449 | 500 |7853 | 500 |1833 |5155 | 0 | 0 |-1.653772e+02 |-4.400000e+01 | 73.39%
11.19/11.28 c 11.3s| 1 | 0 | 43014 | - | 48M| 0 | 446 | 500 |7853 | 500 |1949 |5271 | 0 | 0 |-1.644577e+02 |-4.400000e+01 | 73.25%
11.49/11.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.49/11.55 c 11.5s| 1 | 0 | 43617 | - | 48M| 0 | 456 | 500 |7853 | 500 |2016 |5338 | 0 | 0 |-1.642502e+02 |-4.400000e+01 | 73.21%
11.79/11.88 c 11.9s| 1 | 0 | 44426 | - | 48M| 0 | 442 | 500 |7853 | 500 |2055 |5377 | 0 | 0 |-1.637659e+02 |-4.400000e+01 | 73.13%
12.19/12.28 c 12.3s| 1 | 0 | 46187 | - | 49M| 0 | 457 | 500 |7853 | 500 |1832 |5478 | 0 | 0 |-1.627246e+02 |-4.400000e+01 | 72.96%
12.59/12.60 c 12.6s| 1 | 0 | 46959 | - | 49M| 0 | 454 | 500 |7853 | 500 |2088 |5734 | 0 | 0 |-1.621529e+02 |-4.400000e+01 | 72.87%
12.89/12.90 c 12.9s| 1 | 0 | 47738 | - | 49M| 0 | 447 | 500 |7853 | 500 |2114 |5760 | 0 | 0 |-1.613232e+02 |-4.400000e+01 | 72.73%
13.29/13.30 c 13.3s| 1 | 0 | 49092 | - | 49M| 0 | 466 | 500 |7853 | 500 |2174 |5820 | 0 | 0 |-1.605667e+02 |-4.400000e+01 | 72.60%
13.69/13.71 c 13.7s| 1 | 0 | 50299 | - | 49M| 0 | 468 | 500 |7853 | 500 |2252 |5898 | 0 | 0 |-1.598387e+02 |-4.400000e+01 | 72.47%
14.09/14.19 c 14.2s| 1 | 0 | 51761 | - | 49M| 0 | 473 | 500 |7853 | 500 |2300 |5946 | 0 | 0 |-1.593044e+02 |-4.400000e+01 | 72.38%
14.59/14.69 c 14.7s| 1 | 0 | 53062 | - | 49M| 0 | 463 | 500 |7853 | 500 |1995 |6018 | 0 | 0 |-1.587860e+02 |-4.400000e+01 | 72.29%
14.99/15.09 c 15.1s| 1 | 0 | 54309 | - | 49M| 0 | 471 | 500 |7853 | 500 |2017 |6040 | 0 | 0 |-1.584398e+02 |-4.400000e+01 | 72.23%
15.49/15.51 c 15.5s| 1 | 0 | 55353 | - | 49M| 0 | 472 | 500 |7853 | 500 |2058 |6081 | 0 | 0 |-1.576332e+02 |-4.400000e+01 | 72.09%
15.79/15.88 c 15.9s| 1 | 0 | 55941 | - | 49M| 0 | 476 | 500 |7853 | 500 |2128 |6151 | 0 | 0 |-1.573668e+02 |-4.400000e+01 | 72.04%
16.19/16.27 c 16.3s| 1 | 0 | 56722 | - | 49M| 0 | 478 | 500 |7853 | 500 |2166 |6189 | 0 | 0 |-1.568235e+02 |-4.400000e+01 | 71.94%
16.69/16.70 c 16.7s| 1 | 0 | 57615 | - | 49M| 0 | 480 | 500 |7853 | 500 |2224 |6247 | 0 | 0 |-1.563759e+02 |-4.400000e+01 | 71.86%
17.19/17.27 c 17.3s| 1 | 0 | 59381 | - | 49M| 0 | 482 | 500 |7853 | 500 |1935 |6270 | 0 | 0 |-1.559664e+02 |-4.400000e+01 | 71.79%
17.60/17.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.60/17.65 c 17.6s| 1 | 0 | 60133 | - | 49M| 0 | 487 | 500 |7853 | 500 |1973 |6308 | 0 | 0 |-1.556666e+02 |-4.400000e+01 | 71.73%
17.99/18.03 c 18.0s| 1 | 0 | 60825 | - | 49M| 0 | 484 | 500 |7853 | 500 |2005 |6340 | 0 | 0 |-1.552783e+02 |-4.400000e+01 | 71.66%
18.49/18.51 c 18.5s| 1 | 0 | 62129 | - | 49M| 0 | 485 | 500 |7853 | 500 |2038 |6373 | 0 | 0 |-1.547806e+02 |-4.400000e+01 | 71.57%
18.89/18.96 c 19.0s| 1 | 0 | 63219 | - | 49M| 0 | 487 | 500 |7853 | 500 |2075 |6410 | 0 | 0 |-1.544516e+02 |-4.400000e+01 | 71.51%
19.29/19.35 c 19.3s| 1 | 0 | 63833 | - | 49M| 0 | 483 | 500 |7853 | 500 |2092 |6427 | 0 | 0 |-1.541706e+02 |-4.400000e+01 | 71.46%
19.59/19.69 c 19.7s| 1 | 0 | 64064 | - | 49M| 0 | 483 | 500 |7853 | 500 |1914 |6459 | 0 | 0 |-1.540849e+02 |-4.400000e+01 | 71.44%
19.99/20.04 c 20.0s| 1 | 0 | 64525 | - | 49M| 0 | 487 | 500 |7853 | 500 |1930 |6475 | 0 | 0 |-1.538092e+02 |-4.400000e+01 | 71.39%
20.29/20.38 c 20.4s| 1 | 0 | 64979 | - | 49M| 0 | 485 | 500 |7853 | 500 |1952 |6497 | 0 | 0 |-1.536323e+02 |-4.400000e+01 | 71.36%
20.80/20.82 c 20.8s| 1 | 0 | 66144 | - | 49M| 0 | 484 | 500 |7853 | 500 |1973 |6518 | 0 | 0 |-1.531682e+02 |-4.400000e+01 | 71.27%
21.19/21.20 c 21.2s| 1 | 0 | 66860 | - | 49M| 0 | 485 | 500 |7853 | 500 |2010 |6555 | 0 | 0 |-1.527983e+02 |-4.400000e+01 | 71.20%
21.49/21.57 c 21.6s| 1 | 0 | 67393 | - | 49M| 0 | 491 | 500 |7853 | 500 |2031 |6576 | 0 | 0 |-1.526334e+02 |-4.400000e+01 | 71.17%
21.90/21.92 c 21.9s| 1 | 0 | 67682 | - | 49M| 0 | 488 | 500 |7853 | 500 |1930 |6592 | 0 | 0 |-1.525567e+02 |-4.400000e+01 | 71.16%
22.29/22.32 c 22.3s| 1 | 0 | 68511 | - | 49M| 0 | 488 | 500 |7853 | 500 |1943 |6605 | 0 | 0 |-1.523125e+02 |-4.400000e+01 | 71.11%
22.60/22.68 c 22.7s| 1 | 0 | 68968 | - | 49M| 0 | 486 | 500 |7853 | 500 |1965 |6627 | 0 | 0 |-1.521188e+02 |-4.400000e+01 | 71.08%
23.00/23.08 c 23.1s| 1 | 0 | 69704 | - | 49M| 0 | 488 | 500 |7853 | 500 |1990 |6652 | 0 | 0 |-1.517794e+02 |-4.400000e+01 | 71.01%
23.39/23.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.39/23.48 c 23.5s| 1 | 0 | 70333 | - | 49M| 0 | 485 | 500 |7853 | 500 |2006 |6668 | 0 | 0 |-1.515673e+02 |-4.400000e+01 | 70.97%
23.79/23.83 c 23.8s| 1 | 0 | 70646 | - | 49M| 0 | 490 | 500 |7853 | 500 |2046 |6708 | 0 | 0 |-1.514134e+02 |-4.400000e+01 | 70.94%
24.21/24.21 c 24.2s| 1 | 0 | 71049 | - | 49M| 0 | 488 | 500 |7853 | 500 |1977 |6721 | 0 | 0 |-1.512507e+02 |-4.400000e+01 | 70.91%
24.49/24.58 c 24.6s| 1 | 0 | 71541 | - | 49M| 0 | 486 | 500 |7853 | 500 |1993 |6737 | 0 | 0 |-1.510228e+02 |-4.400000e+01 | 70.87%
24.89/24.96 c 25.0s| 1 | 0 | 72056 | - | 49M| 0 | 492 | 500 |7853 | 500 |2009 |6753 | 0 | 0 |-1.508485e+02 |-4.400000e+01 | 70.83%
25.39/25.40 c 25.4s| 1 | 0 | 72950 | - | 49M| 0 | 492 | 500 |7853 | 500 |2020 |6764 | 0 | 0 |-1.505292e+02 |-4.400000e+01 | 70.77%
25.69/25.77 c 25.8s| 1 | 0 | 73383 | - | 49M| 0 | 489 | 500 |7853 | 500 |2028 |6772 | 0 | 0 |-1.503005e+02 |-4.400000e+01 | 70.73%
26.09/26.12 c 26.1s| 1 | 0 | 73694 | - | 49M| 0 | 493 | 500 |7853 | 500 |2043 |6787 | 0 | 0 |-1.501669e+02 |-4.400000e+01 | 70.70%
26.40/26.48 c 26.5s| 1 | 0 | 73985 | - | 49M| 0 | 494 | 500 |7853 | 500 |2003 |6802 | 0 | 0 |-1.500859e+02 |-4.400000e+01 | 70.68%
26.79/26.81 c 26.8s| 1 | 0 | 74254 | - | 49M| 0 | 495 | 500 |7853 | 500 |2014 |6813 | 0 | 0 |-1.499871e+02 |-4.400000e+01 | 70.66%
27.09/27.16 c 27.2s| 1 | 0 | 74689 | - | 49M| 0 | 495 | 500 |7853 | 500 |2025 |6824 | 0 | 0 |-1.498464e+02 |-4.400000e+01 | 70.64%
27.40/27.50 c 27.5s| 1 | 0 | 74888 | - | 49M| 0 | 497 | 500 |7853 | 500 |2038 |6837 | 0 | 0 |-1.498015e+02 |-4.400000e+01 | 70.63%
27.79/27.84 c 27.8s| 1 | 0 | 75176 | - | 49M| 0 | 497 | 500 |7853 | 500 |2047 |6846 | 0 | 0 |-1.497459e+02 |-4.400000e+01 | 70.62%
28.09/28.19 c 28.2s| 1 | 0 | 75510 | - | 49M| 0 | 493 | 500 |7853 | 500 |2053 |6852 | 0 | 0 |-1.496322e+02 |-4.400000e+01 | 70.59%
28.50/28.54 c 28.5s| 1 | 0 | 75848 | - | 49M| 0 | 490 | 500 |7853 | 500 |1992 |6861 | 0 | 0 |-1.495666e+02 |-4.400000e+01 | 70.58%
28.79/28.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.79/28.84 c 28.8s| 1 | 0 | 75941 | - | 49M| 0 | 494 | 500 |7853 | 500 |2002 |6871 | 0 | 0 |-1.495531e+02 |-4.400000e+01 | 70.58%
29.09/29.16 c 29.2s| 1 | 0 | 76210 | - | 49M| 0 | 494 | 500 |7853 | 500 |2012 |6881 | 0 | 0 |-1.495227e+02 |-4.400000e+01 | 70.57%
29.39/29.48 c 29.5s| 1 | 0 | 76459 | - | 49M| 0 | 496 | 500 |7853 | 500 |2020 |6889 | 0 | 0 |-1.494852e+02 |-4.400000e+01 | 70.57%
29.79/29.85 c 29.8s| 1 | 0 | 76950 | - | 49M| 0 | 495 | 500 |7853 | 500 |2031 |6900 | 0 | 0 |-1.494085e+02 |-4.400000e+01 | 70.55%
30.09/30.19 c 30.2s| 1 | 0 | 77336 | - | 49M| 0 | 496 | 500 |7853 | 500 |2042 |6911 | 0 | 0 |-1.493235e+02 |-4.400000e+01 | 70.53%
30.49/30.54 c 30.5s| 1 | 0 | 77671 | - | 49M| 0 | 497 | 500 |7853 | 500 |1987 |6916 | 0 | 0 |-1.492455e+02 |-4.400000e+01 | 70.52%
30.81/30.88 c 30.9s| 1 | 0 | 78036 | - | 49M| 0 | 497 | 500 |7853 | 500 |1999 |6928 | 0 | 0 |-1.491527e+02 |-4.400000e+01 | 70.50%
31.19/31.21 c 31.2s| 1 | 0 | 78266 | - | 49M| 0 | 498 | 500 |7853 | 500 |2011 |6940 | 0 | 0 |-1.490863e+02 |-4.400000e+01 | 70.49%
31.49/31.53 c 31.5s| 1 | 0 | 78505 | - | 49M| 0 | 497 | 500 |7853 | 500 |2023 |6952 | 0 | 0 |-1.490391e+02 |-4.400000e+01 | 70.48%
31.81/31.86 c 31.9s| 1 | 0 | 78852 | - | 48M| 0 | 497 | 500 |7853 | 500 |2033 |6962 | 0 | 0 |-1.489998e+02 |-4.400000e+01 | 70.47%
32.09/32.18 c 32.2s| 1 | 0 | 79165 | - | 48M| 0 | 497 | 500 |7853 | 500 |2043 |6972 | 0 | 0 |-1.489601e+02 |-4.400000e+01 | 70.46%
32.50/32.50 c 32.5s| 1 | 0 | 79562 | - | 48M| 0 | 496 | 500 |7853 | 500 |2015 |6984 | 0 | 0 |-1.489409e+02 |-4.400000e+01 | 70.46%
32.79/32.80 c 32.8s| 1 | 0 | 79790 | - | 48M| 0 | 496 | 500 |7853 | 500 |2027 |6996 | 0 | 0 |-1.489304e+02 |-4.400000e+01 | 70.46%
33.09/33.10 c 33.1s| 1 | 0 | 79973 | - | 48M| 0 | 498 | 500 |7853 | 500 |2036 |7005 | 0 | 0 |-1.489228e+02 |-4.400000e+01 | 70.45%
33.39/33.42 c 33.4s| 1 | 0 | 80320 | - | 48M| 0 | 497 | 500 |7853 | 500 |2044 |7013 | 0 | 0 |-1.488973e+02 |-4.400000e+01 | 70.45%
33.69/33.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.69/33.73 c 33.7s| 1 | 0 | 80628 | - | 48M| 0 | 498 | 500 |7853 | 500 |2053 |7022 | 0 | 0 |-1.488866e+02 |-4.400000e+01 | 70.45%
34.00/34.01 c 34.0s| 1 | 0 | 80784 | - | 47M| 0 | 498 | 500 |7853 | 500 |2062 |7031 | 0 | 0 |-1.488720e+02 |-4.400000e+01 | 70.44%
34.29/34.31 c 34.3s| 1 | 0 | 80998 | - | 46M| 0 | 500 | 500 |7853 | 500 |2031 |7040 | 0 | 0 |-1.488583e+02 |-4.400000e+01 | 70.44%
34.59/34.62 c 34.6s| 1 | 0 | 81314 | - | 46M| 0 | 499 | 500 |7853 | 500 |2040 |7049 | 0 | 0 |-1.488332e+02 |-4.400000e+01 | 70.44%
34.89/34.92 c 34.9s| 1 | 0 | 81596 | - | 45M| 0 | 498 | 500 |7853 | 500 |2051 |7060 | 0 | 0 |-1.488223e+02 |-4.400000e+01 | 70.43%
35.20/35.22 c 35.2s| 1 | 0 | 81841 | - | 45M| 0 | 499 | 500 |7853 | 500 |2057 |7066 | 0 | 0 |-1.488158e+02 |-4.400000e+01 | 70.43%
35.50/35.53 c 35.5s| 1 | 0 | 82131 | - | 45M| 0 | 500 | 500 |7853 | 500 |2066 |7075 | 0 | 0 |-1.487987e+02 |-4.400000e+01 | 70.43%
35.69/35.79 c 35.8s| 1 | 0 | 82135 | - | 45M| 0 | 500 | 500 |7853 | 500 |2071 |7080 | 0 | 0 |-1.487987e+02 |-4.400000e+01 | 70.43%
35.99/36.09 c 36.1s| 1 | 0 | 82370 | - | 45M| 0 | 500 | 500 |7853 | 500 |2027 |7085 | 0 | 0 |-1.487926e+02 |-4.400000e+01 | 70.43%
36.31/36.38 c 36.4s| 1 | 0 | 82581 | - | 45M| 0 | 499 | 500 |7853 | 500 |2031 |7089 | 0 | 0 |-1.487864e+02 |-4.400000e+01 | 70.43%
36.59/36.67 c 36.7s| 1 | 0 | 82753 | - | 44M| 0 | 499 | 500 |7853 | 500 |2039 |7097 | 0 | 0 |-1.487789e+02 |-4.400000e+01 | 70.43%
36.89/36.94 c 36.9s| 1 | 0 | 82764 | - | 44M| 0 | 475 | 500 |7853 | 500 |2048 |7106 | 0 | 0 |-1.487778e+02 |-4.400000e+01 | 70.43%
40.79/40.89 c 40.9s| 1 | 2 | 82764 | - | 44M| 0 | 475 | 500 |7853 | 500 |2048 |7106 | 0 | 31 |-1.487778e+02 |-4.400000e+01 | 70.43%
157.07/157.14 c 157s| 10000 | 10001 | 1545k| 146.2 | 58M| 55 | 197 | 500 |7853 | 500 | 778 | 586k| 0 |2960 |-1.447759e+02 |-4.400000e+01 | 69.61%
238.70/238.73 c 239s| 20000 | 20001 | 2811k| 136.4 | 72M| 61 | 106 | 500 |7853 | 500 | 562 |1160k| 0 |4405 |-1.441548e+02 |-4.400000e+01 | 69.48%
295.59/295.65 o -46
295.59/295.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
295.59/295.65 c C 296s| 28605 | 28606 | 3718k| 127.1 | 83M| 66 | 24 | 500 |7853 | 500 | 499 |1600k| 0 |5508 |-1.437990e+02 |-4.600000e+01 | 68.01%
304.48/304.61 c 305s| 30000 | 30001 | 3864k| 126.1 | 85M| 66 | 161 | 500 |7853 | 500 | 566 |1672k| 0 |5616 |-1.437767e+02 |-4.600000e+01 | 68.01%
315.78/315.81 o -47
315.78/315.81 c C 316s| 31605 | 31606 | 4040k| 125.2 | 87M| 66 | 28 | 500 |7853 | 500 | 499 |1753k| 0 |5874 |-1.437257e+02 |-4.700000e+01 | 67.30%
367.78/367.85 c 368s| 40000 | 40001 | 4893k| 120.3 | 98M| 71 | 123 | 500 |7853 | 500 | 610 |2189k| 0 |6497 |-1.434365e+02 |-4.700000e+01 | 67.23%
426.29/426.33 c 426s| 50000 | 50001 | 5864k| 115.6 | 111M| 71 | 15 | 500 |7853 | 500 | 568 |2703k| 0 |7494 |-1.431747e+02 |-4.700000e+01 | 67.17%
484.19/484.25 c 484s| 60000 | 60001 | 6838k| 112.6 | 124M| 71 | 23 | 500 |7853 | 500 | 563 |3206k| 0 |8200 |-1.429891e+02 |-4.700000e+01 | 67.13%
544.09/544.13 c 544s| 70000 | 70001 | 7836k| 110.8 | 138M| 77 | 132 | 500 |7853 | 500 | 720 |3732k| 0 |9040 |-1.428012e+02 |-4.700000e+01 | 67.09%
600.10/600.14 c 600s| 80000 | 80001 | 8784k| 108.8 | 151M| 77 | 53 | 500 |7853 | 500 | 499 |4241k| 0 |9649 |-1.426507e+02 |-4.700000e+01 | 67.05%
656.29/656.38 c 656s| 90000 | 90001 | 9736k| 107.3 | 164M| 77 | 145 | 500 |7853 | 500 | 756 |4764k| 0 | 10k|-1.425165e+02 |-4.700000e+01 | 67.02%
710.89/710.91 c 711s|100000 |100001 | 10672k| 105.9 | 177M| 77 | 183 | 500 |7853 | 500 | 569 |5287k| 0 | 10k|-1.423889e+02 |-4.700000e+01 | 66.99%
765.79/765.89 c 766s|110000 |110001 | 11614k| 104.8 | 190M| 77 | 175 | 500 |7853 | 500 | 730 |5797k| 0 | 11k|-1.422658e+02 |-4.700000e+01 | 66.96%
821.00/821.03 c 821s|120000 |120001 | 12568k| 104.0 | 203M| 77 | 33 | 500 |7853 | 500 | 499 |6320k| 0 | 11k|-1.421498e+02 |-4.700000e+01 | 66.94%
876.50/876.61 c 877s|130000 |130001 | 13523k| 103.4 | 217M| 77 | 10 | 500 |7853 | 500 | 499 |6841k| 0 | 12k|-1.420396e+02 |-4.700000e+01 | 66.91%
929.00/929.08 c 929s|140000 |140001 | 14441k| 102.6 | 230M| 77 | 134 | 500 |7853 | 500 | 689 |7377k| 0 | 13k|-1.419641e+02 |-4.700000e+01 | 66.89%
984.80/984.80 c 985s|150000 |150001 | 15394k| 102.1 | 243M| 77 | 140 | 500 |7853 | 500 | 614 |7896k| 0 | 13k|-1.418876e+02 |-4.700000e+01 | 66.88%
1037.10/1037.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1037.10/1037.11 c 1037s|160000 |160001 | 16302k| 101.4 | 256M| 77 | 66 | 500 |7853 | 500 | 570 |8407k| 0 | 14k|-1.417909e+02 |-4.700000e+01 | 66.85%
1087.92/1087.98 c 1088s|170000 |170001 | 17197k| 100.7 | 269M| 77 | 82 | 500 |7853 | 500 | 567 |8937k| 0 | 14k|-1.417311e+02 |-4.700000e+01 | 66.84%
1142.50/1142.51 c 1143s|180000 |180001 | 18147k| 100.4 | 282M| 77 | 166 | 500 |7853 | 500 | 745 |9463k| 0 | 14k|-1.416584e+02 |-4.700000e+01 | 66.82%
1196.41/1196.45 c 1196s|190000 |190001 | 19080k| 100.0 | 295M| 77 | 102 | 500 |7853 | 500 | 612 |9979k| 0 | 15k|-1.415947e+02 |-4.700000e+01 | 66.81%
1205.11/1205.18 o -51
1205.11/1205.18 c C1205s|191462 |191463 | 19229k| 100.0 | 297M| 77 | 12 | 500 |7853 | 500 | 499 | 10M| 0 | 15k|-1.415807e+02 |-5.100000e+01 | 63.98%
1209.51/1209.55 o -52
1209.51/1209.55 c C1210s|192124 |192125 | 19292k| 100.0 | 298M| 77 | 58 | 500 |7853 | 500 | 585 | 10M| 0 | 15k|-1.415776e+02 |-5.200000e+01 | 63.27%
1251.61/1251.71 c 1252s|200000 |200001 | 20017k| 99.7 | 308M| 79 | 50 | 500 |7853 | 500 | 563 | 10M| 0 | 15k|-1.415233e+02 |-5.200000e+01 | 63.26%
1299.31/1299.31 c 1299s|210000 |210001 | 20865k| 99.0 | 321M| 81 | 51 | 500 |7853 | 500 | 561 | 10M| 0 | 16k|-1.414863e+02 |-5.200000e+01 | 63.25%
1346.33/1346.34 c 1346s|220000 |220001 | 21688k| 98.2 | 334M| 86 | 32 | 500 |7853 | 500 | 602 | 11M| 0 | 16k|-1.414444e+02 |-5.200000e+01 | 63.24%
1395.83/1395.84 c 1396s|230000 |230001 | 22569k| 97.8 | 347M| 86 | 102 | 500 |7853 | 500 | 596 | 12M| 0 | 16k|-1.413998e+02 |-5.200000e+01 | 63.22%
1401.72/1401.73 o -54
1401.72/1401.73 c c1402s|231259 |231260 | 22672k| 97.7 | 349M| 86 | - | 500 |7853 | 500 | 671 | 12M| 0 | 16k|-1.413933e+02 |-5.400000e+01 | 61.81%
1445.52/1445.55 c 1446s|240000 |240001 | 23431k| 97.3 | 360M| 91 | 81 | 500 |7853 | 500 | 569 | 12M| 0 | 17k|-1.413363e+02 |-5.400000e+01 | 61.79%
1514.63/1514.65 c 1515s|250000 |250001 | 24574k| 98.0 | 374M| 91 | 99 | 500 |7853 | 500 | 556 | 12M| 0 | 17k|-1.411530e+02 |-5.400000e+01 | 61.74%
1611.03/1611.01 c 1611s|260000 |260001 | 26089k| 100.0 | 389M| 91 | 113 | 500 |7853 | 500 | 560 | 13M| 0 | 18k|-1.408399e+02 |-5.400000e+01 | 61.66%
1709.52/1709.54 c 1710s|270000 |270001 | 27635k| 102.0 | 405M| 91 | 113 | 500 |7853 | 500 | 558 | 13M| 0 | 18k|-1.405316e+02 |-5.400000e+01 | 61.57%
1800.02/1800.01 c
1800.02/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.02/1800.01 c Solving Time (sec) : 1800.01
1800.02/1800.01 c Solving Nodes : 279214
1800.02/1800.01 c Primal Bound : -5.40000000000000e+01 (855 solutions)
1800.02/1800.01 c Dual Bound : -1.40266457635369e+02
1800.02/1800.01 c Gap : 61.50 %
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-3450658-1307105649/watcher-3450658-1307105649 -o /tmp/evaluation-result-3450658-1307105649/solver-3450658-1307105649 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450658-1307105649.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 2.01 1.99 2/424 24643
/proc/meminfo: memFree=25929736/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=15568 CPUtime=0 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 2909 0 0 0 0 0 0 0 25 0 1 0 822163093 15941632 2862 33554432000 4194304 9163163 140734658377104 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24643/statm: 3892 2862 415 1214 0 2674 0
[startup+0.034198 s]
/proc/loadavg: 1.94 2.01 1.99 2/424 24643
/proc/meminfo: memFree=25929736/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=22304 CPUtime=0.02 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 4582 0 0 0 2 0 0 0 25 0 1 0 822163093 22839296 4535 33554432000 4194304 9163163 140734658377104 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/24643/statm: 5576 4535 415 1214 0 4358 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22304
[startup+0.100184 s]
/proc/loadavg: 1.94 2.01 1.99 2/424 24643
/proc/meminfo: memFree=25929736/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=43292 CPUtime=0.09 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 9466 0 0 0 9 0 0 0 25 0 1 0 822163093 44331008 9418 33554432000 4194304 9163163 140734658377104 18446744073709551615 8045061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24643/statm: 10823 9418 505 1214 0 9605 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43292
[startup+0.301161 s]
/proc/loadavg: 1.94 2.01 1.99 2/424 24643
/proc/meminfo: memFree=25929736/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=64932 CPUtime=0.29 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 15546 0 0 0 28 1 0 0 25 0 1 0 822163093 66490368 15045 33554432000 4194304 9163163 140734658377104 18446744073709551615 4214496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24643/statm: 16233 15045 724 1214 0 15015 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 64932
[startup+0.70109 s]
/proc/loadavg: 1.94 2.01 1.99 2/424 24643
/proc/meminfo: memFree=25929736/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=62092 CPUtime=0.69 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 17243 0 0 0 67 2 0 0 25 0 1 0 822163093 63582208 14259 33554432000 4194304 9163163 140734658377104 18446744073709551615 6706936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24643/statm: 15523 14259 698 1214 0 14305 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62092
[startup+1.50094 s]
/proc/loadavg: 1.94 2.01 1.99 3/425 24644
/proc/meminfo: memFree=25868224/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=71884 CPUtime=1.49 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 19606 0 0 0 146 3 0 0 25 0 1 0 822163093 73609216 16568 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24643/statm: 17971 16568 697 1214 0 16753 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71884
[startup+3.10065 s]
/proc/loadavg: 1.94 2.01 1.99 3/425 24644
/proc/meminfo: memFree=25859104/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=81468 CPUtime=3.09 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 22383 0 0 0 302 7 0 0 25 0 1 0 822163093 83423232 19278 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24643/statm: 20367 19278 742 1214 0 19149 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81468
[startup+6.30107 s]
/proc/loadavg: 2.03 2.02 2.00 3/425 24698
/proc/meminfo: memFree=25768604/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=92020 CPUtime=6.29 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 25066 0 0 0 615 14 0 0 25 0 1 0 822163093 94228480 21852 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24643/statm: 23005 21852 754 1214 0 21787 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92020
[startup+12.7009 s]
/proc/loadavg: 2.03 2.02 2.00 3/425 24698
/proc/meminfo: memFree=25742620/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=104340 CPUtime=12.69 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 28176 0 0 0 1246 23 0 0 25 0 1 0 822163093 106844160 24903 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24643/statm: 26085 24903 703 1214 0 24867 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 104340
[startup+25.5006 s]
/proc/loadavg: 2.02 2.02 2.00 3/425 24699
/proc/meminfo: memFree=25726880/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=105064 CPUtime=25.49 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 28271 0 0 0 2511 38 0 0 25 0 1 0 822163093 107585536 24994 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24643/statm: 26266 24994 699 1214 0 25048 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 105064
[startup+51.1009 s]
/proc/loadavg: 2.01 2.02 2.00 3/425 24699
/proc/meminfo: memFree=25725680/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=104704 CPUtime=51.09 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 30310 0 0 0 5007 102 0 0 25 0 1 0 822163093 107216896 24959 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24643/statm: 26176 24959 718 1214 0 24958 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 104704
[startup+102.316 s]
/proc/loadavg: 2.00 2.01 2.00 4/425 24701
/proc/meminfo: memFree=25721532/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=107476 CPUtime=102.29 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 53126 0 0 0 9903 326 0 0 25 0 1 0 822163093 110055424 25663 33554432000 4194304 9163163 140734658377104 18446744073709551615 5276077 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 26869 25663 727 1214 0 25651 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 107476
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 24702
/proc/meminfo: memFree=25709716/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=119060 CPUtime=162.28 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 70078 0 0 0 15616 612 0 0 25 0 1 0 822163093 121917440 28505 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 29765 28505 727 1214 0 28547 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 119060
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/425 24704
/proc/meminfo: memFree=25697048/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=131764 CPUtime=222.28 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 73286 0 0 0 21316 912 0 0 25 0 1 0 822163093 134926336 31710 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 32941 31710 727 1214 0 31723 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 131764
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/425 24705
/proc/meminfo: memFree=25685740/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=143464 CPUtime=282.28 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 76275 0 0 0 27005 1223 0 0 25 0 1 0 822163093 146907136 34694 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 35866 34694 727 1214 0 34648 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 143464
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/425 24707
/proc/meminfo: memFree=25671460/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=158208 CPUtime=342.28 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 122537 0 0 0 32684 1544 0 0 25 0 1 0 822163093 162004992 38410 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 39552 38410 735 1214 0 38334 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 158208
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/425 24709
/proc/meminfo: memFree=25658044/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=169676 CPUtime=402.29 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 134971 0 0 0 38372 1857 0 0 25 0 1 0 822163093 173748224 41350 33554432000 4194304 9163163 140734658377104 18446744073709551615 8006775 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 42419 41350 735 1214 0 41201 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 169676
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/425 24719
/proc/meminfo: memFree=25637996/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=184660 CPUtime=462.29 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 138713 0 0 0 44051 2178 0 0 25 0 1 0 822163093 189091840 45078 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 46165 45078 735 1214 0 44947 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 184660
[startup+522.301 s]
/proc/loadavg: 2.18 2.05 2.01 3/425 24721
/proc/meminfo: memFree=25618740/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=201888 CPUtime=522.29 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 147300 0 0 0 49724 2505 0 0 25 0 1 0 822163093 206733312 48959 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 50472 48959 735 1214 0 49254 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 201888
[startup+582.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/425 24722
/proc/meminfo: memFree=25599860/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=216376 CPUtime=582.29 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 150977 0 0 0 55394 2835 0 0 25 0 1 0 822163093 221569024 52636 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 54094 52636 735 1214 0 52876 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 216376
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/425 24732
/proc/meminfo: memFree=25520928/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=272444 CPUtime=822.3 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 169921 0 0 0 78077 4153 0 0 25 0 1 0 822163093 278982656 66793 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 68111 66793 735 1214 0 66893 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 272444
[startup+882.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/425 24733
/proc/meminfo: memFree=25497848/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=287068 CPUtime=882.3 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 178409 0 0 0 83734 4496 0 0 25 0 1 0 822163093 293957632 70479 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 71767 70479 735 1214 0 70549 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 287068
[startup+942.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 24735
/proc/meminfo: memFree=25477608/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=301092 CPUtime=942.31 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 181961 0 0 0 89399 4832 0 0 25 0 1 0 822163093 308318208 74031 33554432000 4194304 9163163 140734658377104 18446744073709551615 7375368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 75273 74031 735 1214 0 74055 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 301092
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/425 24737
/proc/meminfo: memFree=25452908/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=318168 CPUtime=1002.3 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 186278 0 0 0 95063 5167 0 0 25 0 1 0 822163093 325804032 78348 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 79542 78348 735 1214 0 78324 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 318168
[startup+1062.3 s]
/proc/loadavg: 2.16 2.05 2.01 4/425 24738
/proc/meminfo: memFree=25430188/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=333252 CPUtime=1062.31 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 190100 0 0 0 100726 5505 0 0 25 0 1 0 822163093 341250048 82170 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 83313 82170 735 1214 0 82095 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 333252
[startup+1122.3 s]
/proc/loadavg: 2.30 2.10 2.03 3/425 24740
/proc/meminfo: memFree=25407720/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=345128 CPUtime=1122.31 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 193115 0 0 0 106379 5852 0 0 25 0 1 0 822163093 353411072 85185 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 86282 85185 735 1214 0 85064 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 345128
[startup+1182.3 s]
/proc/loadavg: 2.11 2.08 2.02 4/425 24741
/proc/meminfo: memFree=25382280/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=363592 CPUtime=1182.31 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 197747 0 0 0 112033 6198 0 0 25 0 1 0 822163093 372318208 89817 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 90898 89817 735 1214 0 89680 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 363592
[startup+1242.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/425 24743
/proc/meminfo: memFree=25363040/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=375976 CPUtime=1242.31 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 238877 0 0 0 117694 6537 0 0 25 0 1 0 822163093 384999424 91931 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 93994 91931 735 1214 0 92776 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 375976
[startup+1302.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/425 24745
/proc/meminfo: memFree=25335720/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=398312 CPUtime=1302.32 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 254203 0 0 0 123362 6870 0 0 25 0 1 0 822163093 407871488 97637 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 99578 97637 735 1214 0 98360 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 398312
[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/425 24746
/proc/meminfo: memFree=25312268/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=415512 CPUtime=1362.31 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 263263 0 0 0 129017 7214 0 0 25 0 1 0 822163093 425484288 101916 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 103878 101916 735 1214 0 102660 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 415512
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 4/425 24748
/proc/meminfo: memFree=25296484/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=425800 CPUtime=1422.33 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 285069 0 0 0 134677 7556 0 0 25 0 1 0 822163093 436019200 104575 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 106450 104575 735 1214 0 105232 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 425800
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/425 24749
/proc/meminfo: memFree=25270548/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=441336 CPUtime=1482.32 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 298619 0 0 0 140343 7889 0 0 25 0 1 0 822163093 451928064 108483 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 110334 108483 735 1214 0 109116 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 441336
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/425 24751
/proc/meminfo: memFree=25254144/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=449368 CPUtime=1542.32 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 300630 0 0 0 146038 8194 0 0 25 0 1 0 822163093 460152832 110494 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 112342 110494 735 1214 0 111124 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 449368
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/425 24753
/proc/meminfo: memFree=25238500/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=458288 CPUtime=1602.32 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 307688 0 0 0 151744 8488 0 0 25 0 1 0 822163093 469286912 112753 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 114572 112753 735 1214 0 113354 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 458288
[startup+1662.3 s]
/proc/loadavg: 2.18 2.07 2.01 4/425 24754
/proc/meminfo: memFree=25219880/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=469500 CPUtime=1662.32 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 310497 0 0 0 157446 8786 0 0 25 0 1 0 822163093 480768000 115562 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 117375 115562 735 1214 0 116157 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 469500
[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 4/425 24756
/proc/meminfo: memFree=25199404/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=481408 CPUtime=1722.32 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 313512 0 0 0 163144 9088 0 0 25 0 1 0 822163093 492961792 118577 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 120352 118577 735 1214 0 119134 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 481408
[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/425 24757
/proc/meminfo: memFree=25182624/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=490788 CPUtime=1782.33 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 315886 0 0 0 168844 9389 0 0 25 0 1 0 822163093 502566912 120951 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 122697 120951 735 1214 0 121479 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 490788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.05 2.01 3/425 24758
/proc/meminfo: memFree=25179524/32951124 swapFree=44043512/67111528
[pid=24643] ppid=24641 vsize=494072 CPUtime=1800.03 cores=1,3,5,7
/proc/24643/stat : 24643 (scip-2.0.1.4b.l) R 24641 24643 23890 0 -1 4202496 316699 0 0 0 170531 9472 0 0 25 0 1 0 822163093 505929728 121764 33554432000 4194304 9163163 140734658377104 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24643/statm: 123518 121764 735 1214 0 122300 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 494072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.07
CPU user time (s): 1705.32
CPU system time (s): 94.7496
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 494072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1705.32
system time used= 94.7496
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316699
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= 1610
runsolver used 7.2539 second user time and 17.2824 second system time
The end