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-3450693-1307107632.opb>
0.00/0.05 c original problem has 8377 variables (8377 bin, 0 int, 0 impl, 0 cont) and 8877 constraints
0.00/0.05 c problem read
0.00/0.05 c presolving settings loaded
0.07/0.09 o 0
0.07/0.09 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.07/0.09 c presolving:
0.09/0.15 c (round 1) 7877 del vars, 1000 del conss, 0 add conss, 7877 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 31508 impls, 0 clqs
0.09/0.17 c (round 2) 7877 del vars, 1000 del conss, 0 add conss, 7877 chg bounds, 0 chg sides, 0 chg coeffs, 7877 upgd conss, 47262 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 7877 deleted vars, 1000 deleted constraints, 0 added constraints, 7877 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21 c 47262 implications, 0 cliques
0.19/0.21 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 7877 constraints
0.19/0.21 c 7877 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 | 525 | - | 26M| 0 | 500 | 500 |7877 | 500 |7877 | 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 | 525 | - | 26M| 0 | 500 | 500 |7877 | 500 |7877 | 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 | 525 | - | 26M| 0 | 500 | 500 |7877 | 500 |7877 | 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.39/0.44 c 0.4s| 1 | 0 | 686 | - | 26M| 0 | 492 | 500 |7877 | 500 |7885 | 8 | 0 | 0 |-2.460000e+02 |-2.000000e+00 | 99.19%
0.39/0.44 o -51
0.39/0.44 c b 0.4s| 1 | 0 | 686 | - | 26M| 0 | 492 | 500 |7877 | 500 |7885 | 8 | 0 | 0 |-2.460000e+02 |-5.100000e+01 | 79.27%
0.49/0.59 c 0.6s| 1 | 0 | 852 | - | 26M| 0 | 484 | 500 |7877 | 500 |7897 | 20 | 0 | 0 |-2.420000e+02 |-5.100000e+01 | 78.93%
0.69/0.74 c 0.7s| 1 | 0 | 955 | - | 26M| 0 | 480 | 500 |7877 | 500 |7906 | 29 | 0 | 0 |-2.400000e+02 |-5.100000e+01 | 78.75%
0.89/0.92 c 0.9s| 1 | 0 | 1134 | - | 26M| 0 | 477 | 500 |7877 | 500 |7914 | 37 | 0 | 0 |-2.385000e+02 |-5.100000e+01 | 78.62%
1.00/1.08 c 1.1s| 1 | 0 | 1286 | - | 26M| 0 | 473 | 500 |7877 | 500 |7921 | 44 | 0 | 0 |-2.365000e+02 |-5.100000e+01 | 78.44%
1.19/1.27 c 1.3s| 1 | 0 | 1422 | - | 26M| 0 | 473 | 500 |7877 | 500 |7929 | 52 | 0 | 0 |-2.345000e+02 |-5.100000e+01 | 78.25%
1.39/1.47 c 1.5s| 1 | 0 | 1577 | - | 27M| 0 | 466 | 500 |7877 | 500 |7940 | 63 | 0 | 0 |-2.330000e+02 |-5.100000e+01 | 78.11%
1.69/1.73 c 1.7s| 1 | 0 | 2081 | - | 27M| 0 | 460 | 500 |7877 | 500 |7953 | 76 | 0 | 0 |-2.300000e+02 |-5.100000e+01 | 77.83%
1.89/1.91 c 1.9s| 1 | 0 | 2233 | - | 27M| 0 | 457 | 500 |7877 | 500 |7961 | 84 | 0 | 0 |-2.285000e+02 |-5.100000e+01 | 77.68%
2.11/2.14 c 2.1s| 1 | 0 | 2475 | - | 27M| 0 | 454 | 500 |7877 | 500 |7968 | 91 | 0 | 0 |-2.270000e+02 |-5.100000e+01 | 77.53%
2.39/2.43 c 2.4s| 1 | 0 | 2833 | - | 27M| 0 | 455 | 500 |7877 | 500 | 948 | 99 | 0 | 0 |-2.260000e+02 |-5.100000e+01 | 77.43%
2.49/2.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.49/2.53 c 2.5s| 1 | 0 | 3375 | - | 27M| 0 | 451 | 500 |7877 | 500 | 958 | 109 | 0 | 0 |-2.247500e+02 |-5.100000e+01 | 77.31%
2.59/2.64 c 2.6s| 1 | 0 | 3943 | - | 28M| 0 | 438 | 500 |7877 | 500 |1157 | 308 | 0 | 0 |-2.230000e+02 |-5.100000e+01 | 77.13%
2.80/2.81 c 2.8s| 1 | 0 | 4976 | - | 28M| 0 | 435 | 500 |7877 | 500 |1248 | 399 | 0 | 0 |-2.210000e+02 |-5.100000e+01 | 76.92%
2.90/2.93 c 2.9s| 1 | 0 | 5413 | - | 28M| 0 | 445 | 500 |7877 | 500 |1364 | 515 | 0 | 0 |-2.187500e+02 |-5.100000e+01 | 76.69%
2.99/3.04 c 3.0s| 1 | 0 | 5861 | - | 28M| 0 | 440 | 500 |7877 | 500 |1444 | 595 | 0 | 0 |-2.172500e+02 |-5.100000e+01 | 76.52%
3.09/3.18 c 3.2s| 1 | 0 | 6774 | - | 28M| 0 | 432 | 500 |7877 | 500 |1169 | 604 | 0 | 0 |-2.163333e+02 |-5.100000e+01 | 76.43%
3.31/3.32 c 3.3s| 1 | 0 | 7906 | - | 29M| 0 | 415 | 500 |7877 | 500 |1300 | 735 | 0 | 0 |-2.145000e+02 |-5.100000e+01 | 76.22%
3.39/3.49 c 3.5s| 1 | 0 | 8497 | - | 29M| 0 | 411 | 500 |7877 | 500 |1458 | 893 | 0 | 0 |-2.125000e+02 |-5.100000e+01 | 76.00%
3.59/3.62 c 3.6s| 1 | 0 | 8880 | - | 29M| 0 | 415 | 500 |7877 | 500 |1606 |1041 | 0 | 0 |-2.115000e+02 |-5.100000e+01 | 75.89%
3.69/3.77 c 3.8s| 1 | 0 | 10108 | - | 29M| 0 | 420 | 500 |7877 | 500 |1707 |1142 | 0 | 0 |-2.087500e+02 |-5.100000e+01 | 75.57%
3.89/3.95 c 3.9s| 1 | 0 | 11192 | - | 30M| 0 | 447 | 500 |7877 | 500 |1840 |1275 | 0 | 0 |-2.077895e+02 |-5.100000e+01 | 75.46%
4.09/4.19 c 4.2s| 1 | 0 | 11849 | - | 30M| 0 | 408 | 500 |7877 | 500 |2397 |2183 | 0 | 0 |-2.050000e+02 |-5.100000e+01 | 75.12%
4.19/4.26 c 4.3s| 1 | 0 | 12091 | - | 30M| 0 | 411 | 500 |7877 | 500 |2428 |2214 | 0 | 0 |-2.040000e+02 |-5.100000e+01 | 75.00%
4.41/4.47 c 4.5s| 1 | 0 | 13257 | - | 31M| 0 | 409 | 500 |7877 | 500 |2487 |2273 | 0 | 0 |-2.020000e+02 |-5.100000e+01 | 74.75%
4.49/4.56 c 4.6s| 1 | 0 | 13566 | - | 31M| 0 | 403 | 500 |7877 | 500 |2512 |2298 | 0 | 0 |-2.005000e+02 |-5.100000e+01 | 74.56%
4.69/4.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.69/4.71 c 4.7s| 1 | 0 | 14241 | - | 31M| 0 | 391 | 500 |7877 | 500 |2591 |2377 | 0 | 0 |-1.975000e+02 |-5.100000e+01 | 74.18%
4.79/4.83 c 4.8s| 1 | 0 | 15071 | - | 31M| 0 | 383 | 500 |7877 | 500 |2640 |2426 | 0 | 0 |-1.955000e+02 |-5.100000e+01 | 73.91%
4.99/5.01 c 5.0s| 1 | 0 | 16377 | - | 31M| 0 | 386 | 500 |7877 | 500 |2126 |2522 | 0 | 0 |-1.930000e+02 |-5.100000e+01 | 73.58%
4.99/5.08 c 5.1s| 1 | 0 | 16592 | - | 31M| 0 | 409 | 500 |7877 | 500 |2137 |2533 | 0 | 0 |-1.920000e+02 |-5.100000e+01 | 73.44%
5.19/5.24 c 5.2s| 1 | 0 | 17598 | - | 32M| 0 | 378 | 500 |7877 | 500 |2380 |2776 | 0 | 0 |-1.901667e+02 |-5.100000e+01 | 73.18%
5.40/5.43 c 5.4s| 1 | 0 | 18623 | - | 32M| 0 | 373 | 500 |7877 | 500 |2601 |2997 | 0 | 0 |-1.875000e+02 |-5.100000e+01 | 72.80%
5.51/5.57 c 5.6s| 1 | 0 | 19283 | - | 32M| 0 | 368 | 500 |7877 | 500 |2643 |3039 | 0 | 0 |-1.860000e+02 |-5.100000e+01 | 72.58%
5.59/5.69 c 5.7s| 1 | 0 | 19947 | - | 32M| 0 | 366 | 500 |7877 | 500 |2698 |3094 | 0 | 0 |-1.853333e+02 |-5.100000e+01 | 72.48%
5.79/5.83 c 5.8s| 1 | 0 | 20861 | - | 32M| 0 | 367 | 500 |7877 | 500 |1417 |3181 | 0 | 0 |-1.843750e+02 |-5.100000e+01 | 72.34%
5.89/5.94 c 5.9s| 1 | 0 | 21524 | - | 32M| 0 | 382 | 500 |7877 | 500 |1480 |3244 | 0 | 0 |-1.832500e+02 |-5.100000e+01 | 72.17%
6.09/6.11 c 6.1s| 1 | 0 | 22555 | - | 33M| 0 | 396 | 500 |7877 | 500 |1791 |3555 | 0 | 0 |-1.817500e+02 |-5.100000e+01 | 71.94%
6.19/6.28 c 6.3s| 1 | 0 | 23418 | - | 34M| 0 | 402 | 500 |7877 | 500 |1914 |3678 | 0 | 0 |-1.810000e+02 |-5.100000e+01 | 71.82%
6.39/6.44 c 6.4s| 1 | 0 | 24314 | - | 35M| 0 | 358 | 500 |7877 | 500 |1973 |3737 | 0 | 0 |-1.800000e+02 |-5.100000e+01 | 71.67%
6.49/6.60 c 6.6s| 1 | 0 | 25457 | - | 35M| 0 | 353 | 500 |7877 | 500 |2020 |3784 | 0 | 0 |-1.795000e+02 |-5.100000e+01 | 71.59%
6.67/6.73 c 6.7s| 1 | 0 | 26182 | - | 35M| 0 | 360 | 500 |7877 | 500 |1564 |3847 | 0 | 0 |-1.790000e+02 |-5.100000e+01 | 71.51%
6.77/6.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.77/6.86 c 6.9s| 1 | 0 | 26596 | - | 35M| 0 | 415 | 500 |7877 | 500 |1595 |3878 | 0 | 0 |-1.790000e+02 |-5.100000e+01 | 71.51%
7.07/7.19 c 7.2s| 1 | 0 | 29937 | - | 35M| 0 | 435 | 500 |7877 | 500 |1766 |4049 | 0 | 0 |-1.774436e+02 |-5.100000e+01 | 71.26%
7.47/7.52 c 7.5s| 1 | 0 | 30697 | - | 37M| 0 | 410 | 500 |7877 | 500 |2608 |4891 | 0 | 0 |-1.765469e+02 |-5.100000e+01 | 71.11%
7.58/7.68 c 7.7s| 1 | 0 | 31248 | - | 37M| 0 | 438 | 500 |7877 | 500 |2650 |4933 | 0 | 0 |-1.756820e+02 |-5.100000e+01 | 70.97%
7.87/7.91 c 7.9s| 1 | 0 | 32134 | - | 38M| 0 | 401 | 500 |7877 | 500 |2770 |5053 | 0 | 0 |-1.747500e+02 |-5.100000e+01 | 70.82%
8.17/8.20 c 8.2s| 1 | 0 | 33935 | - | 39M| 0 | 427 | 500 |7877 | 500 |2153 |5086 | 0 | 0 |-1.737532e+02 |-5.100000e+01 | 70.65%
8.27/8.38 c 8.4s| 1 | 0 | 34473 | - | 40M| 0 | 395 | 500 |7877 | 500 |2185 |5118 | 0 | 0 |-1.732500e+02 |-5.100000e+01 | 70.56%
8.47/8.60 c 8.6s| 1 | 0 | 35366 | - | 41M| 0 | 421 | 500 |7877 | 500 |2266 |5199 | 0 | 0 |-1.725526e+02 |-5.100000e+01 | 70.44%
8.79/8.87 c 8.9s| 1 | 0 | 36328 | - | 43M| 0 | 425 | 500 |7877 | 500 |2301 |5234 | 0 | 0 |-1.713548e+02 |-5.100000e+01 | 70.24%
9.07/9.14 c 9.1s| 1 | 0 | 37542 | - | 46M| 0 | 419 | 500 |7877 | 500 |2407 |5340 | 0 | 0 |-1.699683e+02 |-5.100000e+01 | 69.99%
9.28/9.38 c 9.4s| 1 | 0 | 38337 | - | 47M| 0 | 444 | 500 |7877 | 500 |2510 |5443 | 0 | 0 |-1.695765e+02 |-5.100000e+01 | 69.93%
9.67/9.76 c 9.8s| 1 | 0 | 39224 | - | 47M| 0 | 437 | 500 |7877 | 500 |2278 |5579 | 0 | 0 |-1.688690e+02 |-5.100000e+01 | 69.80%
10.07/10.15 c 10.2s| 1 | 0 | 40405 | - | 48M| 0 | 434 | 500 |7877 | 500 |2349 |5650 | 0 | 0 |-1.680820e+02 |-5.100000e+01 | 69.66%
10.47/10.53 c 10.5s| 1 | 0 | 41505 | - | 48M| 0 | 445 | 500 |7877 | 500 |2414 |5715 | 0 | 0 |-1.675093e+02 |-5.100000e+01 | 69.55%
10.88/10.94 c 10.9s| 1 | 0 | 42355 | - | 48M| 0 | 456 | 500 |7877 | 500 |2500 |5801 | 0 | 0 |-1.665273e+02 |-5.100000e+01 | 69.37%
11.38/11.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.38/11.45 c 11.5s| 1 | 0 | 43737 | - | 48M| 0 | 451 | 500 |7877 | 500 |2592 |5893 | 0 | 0 |-1.655686e+02 |-5.100000e+01 | 69.20%
11.87/11.97 c 12.0s| 1 | 0 | 45112 | - | 48M| 0 | 459 | 500 |7877 | 500 |2633 |5934 | 0 | 0 |-1.645616e+02 |-5.100000e+01 | 69.01%
12.67/12.74 c 12.7s| 1 | 0 | 47642 | - | 48M| 0 | 463 | 500 |7877 | 500 |2147 |6124 | 0 | 0 |-1.635676e+02 |-5.100000e+01 | 68.82%
13.19/13.24 c 13.2s| 1 | 0 | 49175 | - | 48M| 0 | 475 | 500 |7877 | 500 |2219 |6196 | 0 | 0 |-1.628018e+02 |-5.100000e+01 | 68.67%
13.67/13.73 c 13.7s| 1 | 0 | 50566 | - | 48M| 0 | 467 | 500 |7877 | 500 |2296 |6273 | 0 | 0 |-1.621515e+02 |-5.100000e+01 | 68.55%
14.07/14.18 c 14.2s| 1 | 0 | 51615 | - | 48M| 0 | 468 | 500 |7877 | 500 |2354 |6331 | 0 | 0 |-1.613791e+02 |-5.100000e+01 | 68.40%
14.57/14.68 c 14.7s| 1 | 0 | 52951 | - | 48M| 0 | 474 | 500 |7877 | 500 |2392 |6369 | 0 | 0 |-1.603762e+02 |-5.100000e+01 | 68.20%
15.07/15.17 c 15.2s| 1 | 0 | 54055 | - | 48M| 0 | 479 | 500 |7877 | 500 |2440 |6417 | 0 | 0 |-1.599795e+02 |-5.100000e+01 | 68.12%
15.67/15.77 c 15.8s| 1 | 0 | 54996 | - | 48M| 0 | 484 | 500 |7877 | 500 |2142 |6481 | 0 | 0 |-1.593482e+02 |-5.100000e+01 | 67.99%
16.17/16.23 c 16.2s| 1 | 0 | 56066 | - | 48M| 0 | 484 | 500 |7877 | 500 |2189 |6528 | 0 | 0 |-1.585630e+02 |-5.100000e+01 | 67.84%
16.57/16.62 c 16.6s| 1 | 0 | 56547 | - | 48M| 0 | 485 | 500 |7877 | 500 |2247 |6586 | 0 | 0 |-1.583696e+02 |-5.100000e+01 | 67.80%
17.08/17.12 c 17.1s| 1 | 0 | 57762 | - | 48M| 0 | 484 | 500 |7877 | 500 |2281 |6620 | 0 | 0 |-1.576058e+02 |-5.100000e+01 | 67.64%
17.49/17.55 c 17.6s| 1 | 0 | 58477 | - | 48M| 0 | 485 | 500 |7877 | 500 |2300 |6639 | 0 | 0 |-1.571969e+02 |-5.100000e+01 | 67.56%
17.87/17.97 c 18.0s| 1 | 0 | 59031 | - | 48M| 0 | 485 | 500 |7877 | 500 |2315 |6654 | 0 | 0 |-1.569353e+02 |-5.100000e+01 | 67.50%
18.47/18.50 c 18.5s| 1 | 0 | 60494 | - | 48M| 0 | 482 | 500 |7877 | 500 |2030 |6675 | 0 | 0 |-1.564470e+02 |-5.100000e+01 | 67.40%
18.87/18.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.87/18.92 c 18.9s| 1 | 0 | 61453 | - | 48M| 0 | 482 | 500 |7877 | 500 |2057 |6702 | 0 | 0 |-1.558862e+02 |-5.100000e+01 | 67.28%
19.17/19.28 c 19.3s| 1 | 0 | 61963 | - | 48M| 0 | 483 | 500 |7877 | 500 |2092 |6737 | 0 | 0 |-1.555657e+02 |-5.100000e+01 | 67.22%
19.57/19.69 c 19.7s| 1 | 0 | 62694 | - | 48M| 0 | 486 | 500 |7877 | 500 |2114 |6759 | 0 | 0 |-1.550968e+02 |-5.100000e+01 | 67.12%
20.07/20.15 c 20.1s| 1 | 0 | 63723 | - | 48M| 0 | 480 | 500 |7877 | 500 |2145 |6790 | 0 | 0 |-1.546790e+02 |-5.100000e+01 | 67.03%
20.57/20.63 c 20.6s| 1 | 0 | 64963 | - | 48M| 0 | 476 | 500 |7877 | 500 |2176 |6821 | 0 | 0 |-1.542331e+02 |-5.100000e+01 | 66.93%
20.97/21.06 c 21.1s| 1 | 0 | 65749 | - | 48M| 0 | 478 | 500 |7877 | 500 |2047 |6857 | 0 | 0 |-1.538727e+02 |-5.100000e+01 | 66.86%
21.37/21.40 c 21.4s| 1 | 0 | 66048 | - | 48M| 0 | 482 | 500 |7877 | 500 |2080 |6890 | 0 | 0 |-1.537985e+02 |-5.100000e+01 | 66.84%
21.67/21.77 c 21.8s| 1 | 0 | 66520 | - | 48M| 0 | 482 | 500 |7877 | 500 |2100 |6910 | 0 | 0 |-1.535892e+02 |-5.100000e+01 | 66.79%
22.07/22.16 c 22.2s| 1 | 0 | 67173 | - | 48M| 0 | 485 | 500 |7877 | 500 |2121 |6931 | 0 | 0 |-1.533660e+02 |-5.100000e+01 | 66.75%
22.47/22.54 c 22.5s| 1 | 0 | 67554 | - | 48M| 0 | 483 | 500 |7877 | 500 |2141 |6951 | 0 | 0 |-1.531649e+02 |-5.100000e+01 | 66.70%
22.88/22.98 c 23.0s| 1 | 0 | 68269 | - | 48M| 0 | 485 | 500 |7877 | 500 |2169 |6979 | 0 | 0 |-1.526582e+02 |-5.100000e+01 | 66.59%
23.37/23.42 c 23.4s| 1 | 0 | 68965 | - | 48M| 0 | 490 | 500 |7877 | 500 |2102 |7009 | 0 | 0 |-1.524020e+02 |-5.100000e+01 | 66.54%
23.67/23.79 c 23.8s| 1 | 0 | 69209 | - | 48M| 0 | 489 | 500 |7877 | 500 |2110 |7017 | 0 | 0 |-1.523441e+02 |-5.100000e+01 | 66.52%
24.09/24.18 c 24.2s| 1 | 0 | 69704 | - | 48M| 0 | 488 | 500 |7877 | 500 |2122 |7029 | 0 | 0 |-1.519027e+02 |-5.100000e+01 | 66.43%
24.47/24.59 c 24.6s| 1 | 0 | 70309 | - | 48M| 0 | 493 | 500 |7877 | 500 |2141 |7048 | 0 | 0 |-1.515800e+02 |-5.100000e+01 | 66.35%
24.87/24.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.87/24.98 c 25.0s| 1 | 0 | 70715 | - | 48M| 0 | 492 | 500 |7877 | 500 |2158 |7065 | 0 | 0 |-1.513815e+02 |-5.100000e+01 | 66.31%
25.29/25.37 c 25.4s| 1 | 0 | 71052 | - | 48M| 0 | 491 | 500 |7877 | 500 |2173 |7080 | 0 | 0 |-1.512347e+02 |-5.100000e+01 | 66.28%
25.67/25.76 c 25.8s| 1 | 0 | 71406 | - | 48M| 0 | 493 | 500 |7877 | 500 |2089 |7094 | 0 | 0 |-1.511141e+02 |-5.100000e+01 | 66.25%
26.08/26.15 c 26.1s| 1 | 0 | 71771 | - | 48M| 0 | 496 | 500 |7877 | 500 |2101 |7106 | 0 | 0 |-1.509197e+02 |-5.100000e+01 | 66.21%
26.47/26.52 c 26.5s| 1 | 0 | 72065 | - | 48M| 0 | 496 | 500 |7877 | 500 |2120 |7125 | 0 | 0 |-1.507783e+02 |-5.100000e+01 | 66.18%
26.87/26.92 c 26.9s| 1 | 0 | 72503 | - | 48M| 0 | 496 | 500 |7877 | 500 |2133 |7138 | 0 | 0 |-1.505776e+02 |-5.100000e+01 | 66.13%
27.27/27.31 c 27.3s| 1 | 0 | 72803 | - | 48M| 0 | 497 | 500 |7877 | 500 |2154 |7159 | 0 | 0 |-1.504574e+02 |-5.100000e+01 | 66.10%
27.67/27.75 c 27.7s| 1 | 0 | 73459 | - | 48M| 0 | 493 | 500 |7877 | 500 |2171 |7176 | 0 | 0 |-1.502572e+02 |-5.100000e+01 | 66.06%
28.07/28.16 c 28.2s| 1 | 0 | 73807 | - | 48M| 0 | 497 | 500 |7877 | 500 |2134 |7193 | 0 | 0 |-1.501244e+02 |-5.100000e+01 | 66.03%
28.49/28.55 c 28.6s| 1 | 0 | 74225 | - | 48M| 0 | 499 | 500 |7877 | 500 |2147 |7206 | 0 | 0 |-1.499471e+02 |-5.100000e+01 | 65.99%
28.88/28.96 c 29.0s| 1 | 0 | 74716 | - | 48M| 0 | 495 | 500 |7877 | 500 |2161 |7220 | 0 | 0 |-1.497635e+02 |-5.100000e+01 | 65.95%
29.27/29.34 c 29.3s| 1 | 0 | 75044 | - | 48M| 0 | 496 | 500 |7877 | 500 |2174 |7233 | 0 | 0 |-1.496344e+02 |-5.100000e+01 | 65.92%
29.69/29.74 c 29.7s| 1 | 0 | 75328 | - | 48M| 0 | 495 | 500 |7877 | 500 |2184 |7243 | 0 | 0 |-1.495627e+02 |-5.100000e+01 | 65.90%
30.07/30.13 c 30.1s| 1 | 0 | 75746 | - | 48M| 0 | 497 | 500 |7877 | 500 |2197 |7256 | 0 | 0 |-1.494641e+02 |-5.100000e+01 | 65.88%
30.58/30.61 c 30.6s| 1 | 0 | 76612 | - | 48M| 0 | 497 | 500 |7877 | 500 |2169 |7267 | 0 | 0 |-1.491978e+02 |-5.100000e+01 | 65.82%
30.87/30.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.87/30.99 c 31.0s| 1 | 0 | 76986 | - | 48M| 0 | 496 | 500 |7877 | 500 |2183 |7281 | 0 | 0 |-1.490796e+02 |-5.100000e+01 | 65.79%
31.27/31.38 c 31.4s| 1 | 0 | 77349 | - | 48M| 0 | 494 | 500 |7877 | 500 |2196 |7294 | 0 | 0 |-1.489975e+02 |-5.100000e+01 | 65.77%
31.67/31.74 c 31.7s| 1 | 0 | 77611 | - | 48M| 0 | 496 | 500 |7877 | 500 |2204 |7302 | 0 | 0 |-1.489405e+02 |-5.100000e+01 | 65.76%
32.08/32.13 c 32.1s| 1 | 0 | 78058 | - | 48M| 0 | 496 | 500 |7877 | 500 |2216 |7314 | 0 | 0 |-1.488777e+02 |-5.100000e+01 | 65.74%
32.48/32.50 c 32.5s| 1 | 0 | 78396 | - | 48M| 0 | 496 | 500 |7877 | 500 |2227 |7325 | 0 | 0 |-1.487849e+02 |-5.100000e+01 | 65.72%
32.77/32.85 c 32.8s| 1 | 0 | 78506 | - | 48M| 0 | 496 | 500 |7877 | 500 |2181 |7335 | 0 | 0 |-1.487695e+02 |-5.100000e+01 | 65.72%
33.17/33.22 c 33.2s| 1 | 0 | 78860 | - | 48M| 0 | 496 | 500 |7877 | 500 |2190 |7344 | 0 | 0 |-1.486866e+02 |-5.100000e+01 | 65.70%
33.47/33.56 c 33.6s| 1 | 0 | 79104 | - | 48M| 0 | 496 | 500 |7877 | 500 |2201 |7355 | 0 | 0 |-1.486502e+02 |-5.100000e+01 | 65.69%
33.87/33.92 c 33.9s| 1 | 0 | 79370 | - | 48M| 0 | 497 | 500 |7877 | 500 |2213 |7367 | 0 | 0 |-1.486200e+02 |-5.100000e+01 | 65.68%
34.17/34.27 c 34.3s| 1 | 0 | 79533 | - | 48M| 0 | 497 | 500 |7877 | 500 |2226 |7380 | 0 | 0 |-1.486017e+02 |-5.100000e+01 | 65.68%
34.57/34.63 c 34.6s| 1 | 0 | 79854 | - | 47M| 0 | 500 | 500 |7877 | 500 |2236 |7390 | 0 | 0 |-1.485388e+02 |-5.100000e+01 | 65.67%
34.97/35.00 c 35.0s| 1 | 0 | 80148 | - | 47M| 0 | 500 | 500 |7877 | 500 |2186 |7400 | 0 | 0 |-1.484992e+02 |-5.100000e+01 | 65.66%
35.27/35.39 c 35.4s| 1 | 0 | 80422 | - | 47M| 0 | 499 | 500 |7877 | 500 |2195 |7409 | 0 | 0 |-1.484658e+02 |-5.100000e+01 | 65.65%
35.67/35.75 c 35.7s| 1 | 0 | 80718 | - | 47M| 0 | 499 | 500 |7877 | 500 |2206 |7420 | 0 | 0 |-1.484093e+02 |-5.100000e+01 | 65.64%
36.07/36.10 c 36.1s| 1 | 0 | 81015 | - | 47M| 0 | 500 | 500 |7877 | 500 |2220 |7434 | 0 | 0 |-1.483874e+02 |-5.100000e+01 | 65.63%
36.37/36.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.37/36.45 c 36.4s| 1 | 0 | 81294 | - | 47M| 0 | 500 | 500 |7877 | 500 |2233 |7447 | 0 | 0 |-1.483564e+02 |-5.100000e+01 | 65.62%
36.67/36.77 c 36.8s| 1 | 0 | 81466 | - | 47M| 0 | 500 | 500 |7877 | 500 |2241 |7455 | 0 | 0 |-1.483421e+02 |-5.100000e+01 | 65.62%
36.97/37.08 c 37.1s| 1 | 0 | 81499 | - | 47M| 0 | 445 | 500 |7877 | 500 |2189 |7465 | 0 | 0 |-1.483333e+02 |-5.100000e+01 | 65.62%
37.28/37.34 c 37.3s| 1 | 0 | 81500 | - | 46M| 0 | 445 | 500 |7877 | 500 |2190 |7466 | 0 | 0 |-1.483333e+02 |-5.100000e+01 | 65.62%
40.59/40.71 c 40.7s| 1 | 2 | 81500 | - | 46M| 0 | 445 | 500 |7877 | 500 |2190 |7466 | 0 | 25 |-1.483333e+02 |-5.100000e+01 | 65.62%
174.58/174.62 c 175s| 10000 | 10001 | 1811k| 173.0 | 61M| 47 | 70 | 500 |7877 | 500 | 561 | 564k| 0 |3164 |-1.432982e+02 |-5.100000e+01 | 64.41%
262.38/262.49 c 262s| 20000 | 20001 | 3166k| 154.3 | 74M| 56 | 14 | 500 |7877 | 500 | 500 |1115k| 0 |4760 |-1.425978e+02 |-5.100000e+01 | 64.24%
332.27/332.30 c 332s| 30000 | 30001 | 4294k| 140.4 | 88M| 56 | 168 | 500 |7877 | 500 | 728 |1654k| 0 |5914 |-1.422643e+02 |-5.100000e+01 | 64.15%
400.30/400.39 c 400s| 40000 | 40001 | 5391k| 132.7 | 101M| 63 | 149 | 500 |7877 | 500 | 619 |2178k| 0 |7044 |-1.419877e+02 |-5.100000e+01 | 64.08%
465.68/465.77 c 466s| 50000 | 50001 | 6462k| 127.6 | 114M| 63 | 149 | 500 |7877 | 500 | 550 |2675k| 0 |7901 |-1.417846e+02 |-5.100000e+01 | 64.03%
531.78/531.84 c 532s| 60000 | 60001 | 7546k| 124.4 | 128M| 63 | 141 | 500 |7877 | 500 | 569 |3185k| 0 |8720 |-1.416153e+02 |-5.100000e+01 | 63.99%
592.90/592.98 c 593s| 70000 | 70001 | 8574k| 121.3 | 141M| 63 | 136 | 500 |7877 | 500 | 719 |3696k| 0 |9487 |-1.414535e+02 |-5.100000e+01 | 63.95%
656.78/656.84 c 657s| 80000 | 80001 | 9629k| 119.4 | 155M| 63 | 12 | 500 |7877 | 500 | 500 |4194k| 0 | 10k|-1.413104e+02 |-5.100000e+01 | 63.91%
718.49/718.51 c 719s| 90000 | 90001 | 10673k| 117.7 | 168M| 68 | 40 | 500 |7877 | 500 | 570 |4715k| 0 | 10k|-1.411740e+02 |-5.100000e+01 | 63.87%
778.98/779.05 c 779s|100000 |100001 | 11696k| 116.2 | 182M| 68 | 159 | 500 |7877 | 500 | 766 |5236k| 0 | 11k|-1.410469e+02 |-5.100000e+01 | 63.84%
838.10/838.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
838.10/838.17 c 838s|110000 |110001 | 12704k| 114.8 | 195M| 68 | 111 | 500 |7877 | 500 | 559 |5750k| 0 | 12k|-1.409381e+02 |-5.100000e+01 | 63.81%
894.48/894.51 c 895s|120000 |120001 | 13671k| 113.2 | 208M| 68 | 24 | 500 |7877 | 500 | 557 |6256k| 0 | 12k|-1.408326e+02 |-5.100000e+01 | 63.79%
954.19/954.27 c 954s|130000 |130001 | 14693k| 112.4 | 222M| 68 | 27 | 500 |7877 | 500 | 564 |6761k| 0 | 13k|-1.407355e+02 |-5.100000e+01 | 63.76%
1012.19/1012.29 c 1012s|140000 |140001 | 15685k| 111.5 | 235M| 68 | 58 | 500 |7877 | 500 | 500 |7260k| 0 | 13k|-1.406595e+02 |-5.100000e+01 | 63.74%
1074.39/1074.44 c 1074s|150000 |150001 | 16728k| 111.0 | 249M| 68 | 116 | 500 |7877 | 500 | 750 |7767k| 0 | 14k|-1.405826e+02 |-5.100000e+01 | 63.72%
1133.19/1133.24 c 1133s|160000 |160001 | 17735k| 110.3 | 262M| 68 | 146 | 500 |7877 | 500 | 562 |8281k| 0 | 14k|-1.404994e+02 |-5.100000e+01 | 63.70%
1189.89/1189.98 c 1190s|170000 |170001 | 18715k| 109.6 | 275M| 68 | 117 | 500 |7877 | 500 | 698 |8790k| 0 | 15k|-1.404374e+02 |-5.100000e+01 | 63.68%
1245.39/1245.49 c 1245s|180000 |180001 | 19667k| 108.8 | 288M| 77 | 96 | 500 |7877 | 500 | 562 |9285k| 0 | 15k|-1.403715e+02 |-5.100000e+01 | 63.67%
1299.19/1299.26 c 1299s|190000 |190001 | 20591k| 107.9 | 302M| 77 | 94 | 500 |7877 | 500 | 600 |9761k| 0 | 16k|-1.403082e+02 |-5.100000e+01 | 63.65%
1351.19/1351.26 c 1351s|200000 |200001 | 21500k| 107.1 | 315M| 77 | 99 | 500 |7877 | 500 | 679 | 10M| 0 | 16k|-1.402504e+02 |-5.100000e+01 | 63.64%
1405.89/1405.92 c 1406s|210000 |210001 | 22440k| 106.5 | 328M| 77 | 133 | 500 |7877 | 500 | 571 | 10M| 0 | 16k|-1.401851e+02 |-5.100000e+01 | 63.62%
1458.51/1458.53 c 1459s|220000 |220001 | 23361k| 105.8 | 342M| 77 | 79 | 500 |7877 | 500 | 592 | 11M| 0 | 17k|-1.401313e+02 |-5.100000e+01 | 63.61%
1512.00/1512.04 c 1512s|230000 |230001 | 24286k| 105.2 | 355M| 77 | 131 | 500 |7877 | 500 | 563 | 11M| 0 | 17k|-1.400774e+02 |-5.100000e+01 | 63.59%
1564.22/1564.29 c 1564s|240000 |240001 | 25199k| 104.7 | 368M| 77 | 46 | 500 |7877 | 500 | 583 | 12M| 0 | 17k|-1.400169e+02 |-5.100000e+01 | 63.58%
1617.90/1617.99 c 1618s|250000 |250001 | 26117k| 104.1 | 381M| 77 | 6 | 500 |7877 | 500 | 500 | 12M| 0 | 18k|-1.399764e+02 |-5.100000e+01 | 63.57%
1668.90/1668.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.90/1668.97 c 1669s|260000 |260001 | 27019k| 103.6 | 394M| 77 | 62 | 500 |7877 | 500 | 558 | 13M| 0 | 18k|-1.399188e+02 |-5.100000e+01 | 63.55%
1722.70/1722.77 c 1723s|270000 |270001 | 27951k| 103.2 | 408M| 77 | 4 | 500 |7877 | 500 | 565 | 13M| 0 | 19k|-1.398635e+02 |-5.100000e+01 | 63.54%
1772.01/1772.09 c 1772s|280000 |280001 | 28819k| 102.6 | 420M| 83 | 46 | 500 |7877 | 500 | 609 | 14M| 0 | 19k|-1.398288e+02 |-5.100000e+01 | 63.53%
1800.00/1800.01 c
1800.00/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.01 c Solving Time (sec) : 1800.01
1800.00/1800.01 c Solving Nodes : 286016
1800.00/1800.01 c Primal Bound : -5.10000000000000e+01 (866 solutions)
1800.00/1800.01 c Dual Bound : -1.39810140545199e+02
1800.00/1800.01 c Gap : 63.52 %
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-3450693-1307107632/watcher-3450693-1307107632 -o /tmp/evaluation-result-3450693-1307107632/solver-3450693-1307107632 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450693-1307107632.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: 2.33 2.08 2.02 2/498 11591
/proc/meminfo: memFree=28997052/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=16720 CPUtime=0 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 3149 0 0 0 0 0 0 0 25 0 1 0 822362825 17121280 3102 33554432000 4194304 9163163 140737386075456 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11591/statm: 4180 3117 415 1214 0 2962 0
[startup+0.0724661 s]
/proc/loadavg: 2.33 2.08 2.02 2/498 11591
/proc/meminfo: memFree=28997052/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=38112 CPUtime=0.07 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 8509 0 0 0 6 1 0 0 25 0 1 0 822362825 39026688 8461 33554432000 4194304 9163163 140737386075456 18446744073709551615 4214503 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11591/statm: 9528 8461 453 1214 0 8310 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 38112
[startup+0.100462 s]
/proc/loadavg: 2.33 2.08 2.02 2/498 11591
/proc/meminfo: memFree=28997052/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=43368 CPUtime=0.09 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 9505 0 0 0 8 1 0 0 25 0 1 0 822362825 44408832 9457 33554432000 4194304 9163163 140737386075456 18446744073709551615 6555265 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11591/statm: 10842 9457 505 1214 0 9624 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43368
[startup+0.300438 s]
/proc/loadavg: 2.33 2.08 2.02 2/498 11591
/proc/meminfo: memFree=28997052/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=63204 CPUtime=0.29 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 15098 0 0 0 27 2 0 0 25 0 1 0 822362825 64720896 14538 33554432000 4194304 9163163 140737386075456 18446744073709551615 6919012 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11591/statm: 15801 14540 667 1214 0 14583 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 63204
[startup+0.700369 s]
/proc/loadavg: 2.33 2.08 2.02 2/498 11591
/proc/meminfo: memFree=28997052/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=62416 CPUtime=0.69 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 17420 0 0 0 67 2 0 0 25 0 1 0 822362825 63913984 14498 33554432000 4194304 9163163 140737386075456 18446744073709551615 6284278 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11591/statm: 15604 14498 691 1214 0 14386 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62416
[startup+1.50024 s]
/proc/loadavg: 2.33 2.08 2.02 3/499 11592
/proc/meminfo: memFree=28935664/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=70304 CPUtime=1.49 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 19108 0 0 0 146 3 0 0 25 0 1 0 822362825 71991296 16186 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11591/statm: 17576 16186 692 1214 0 16358 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70304
[startup+3.10095 s]
/proc/loadavg: 2.33 2.08 2.02 3/499 11592
/proc/meminfo: memFree=28924556/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=82920 CPUtime=3.09 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 22636 0 0 0 305 4 0 0 25 0 1 0 822362825 84910080 19586 33554432000 4194304 9163163 140737386075456 18446744073709551615 6213554 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11591/statm: 20730 19586 728 1214 0 19512 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82920
[startup+6.30038 s]
/proc/loadavg: 2.47 2.11 2.03 3/499 11594
/proc/meminfo: memFree=28902300/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=93648 CPUtime=6.29 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 25444 0 0 0 622 7 0 0 25 0 1 0 822362825 95895552 22303 33554432000 4194304 9163163 140737386075456 18446744073709551615 6644262 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11591/statm: 23412 22303 745 1214 0 22194 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93648
[startup+12.7003 s]
/proc/loadavg: 2.43 2.11 2.03 3/499 11594
/proc/meminfo: memFree=28887912/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=106384 CPUtime=12.67 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 28615 0 0 0 1256 11 0 0 25 0 1 0 822362825 108937216 25370 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 26596 25370 693 1214 0 25378 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 106384
[startup+25.5012 s]
/proc/loadavg: 2.33 2.10 2.03 3/499 11594
/proc/meminfo: memFree=28887900/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=106752 CPUtime=25.47 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 28653 0 0 0 2530 17 0 0 25 0 1 0 822362825 109314048 25408 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 26688 25408 693 1214 0 25470 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 106752
[startup+51.1009 s]
/proc/loadavg: 2.22 2.09 2.03 3/499 11594
/proc/meminfo: memFree=28889364/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=104940 CPUtime=51.08 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 30516 0 0 0 5071 37 0 0 25 0 1 0 822362825 107458560 25016 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 26235 25016 716 1214 0 25017 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 104940
[startup+102.319 s]
/proc/loadavg: 2.19 2.10 2.03 3/499 11596
/proc/meminfo: memFree=28882948/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=107812 CPUtime=102.29 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 49122 0 0 0 10117 112 0 0 25 0 1 0 822362825 110399488 25731 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 26953 25731 730 1214 0 25735 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 107812
[startup+162.301 s]
/proc/loadavg: 2.11 2.10 2.03 3/499 11598
/proc/meminfo: memFree=28860372/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=117584 CPUtime=162.27 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 70608 0 0 0 16021 206 0 0 25 0 1 0 822362825 120406016 28216 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 29396 28216 730 1214 0 28178 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 117584
[startup+222.301 s]
/proc/loadavg: 2.04 2.08 2.03 3/499 11598
/proc/meminfo: memFree=28837788/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=125496 CPUtime=222.28 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 77350 0 0 0 21927 301 0 0 25 0 1 0 822362825 128507904 30219 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 31374 30219 730 1214 0 30156 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 125496
[startup+282.301 s]
/proc/loadavg: 2.01 2.06 2.02 3/499 11600
/proc/meminfo: memFree=28815216/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=138280 CPUtime=282.27 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 80522 0 0 0 27826 401 0 0 25 0 1 0 822362825 141598720 33388 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 34570 33388 730 1214 0 33352 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 138280
[startup+342.301 s]
/proc/loadavg: 2.11 2.08 2.03 3/499 11602
/proc/meminfo: memFree=28786428/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=150884 CPUtime=342.27 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 88513 0 0 0 33725 502 0 0 25 0 1 0 822362825 154505216 36608 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 37721 36608 730 1214 0 36503 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 150884
[startup+402.301 s]
/proc/loadavg: 2.09 2.08 2.03 3/499 11604
/proc/meminfo: memFree=28758272/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=165348 CPUtime=402.28 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 92167 0 0 0 39622 606 0 0 25 0 1 0 822362825 169316352 40259 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 41337 40259 730 1214 0 40119 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 165348
[startup+462.301 s]
/proc/loadavg: 2.03 2.06 2.02 3/499 11606
/proc/meminfo: memFree=28730964/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=177836 CPUtime=462.27 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 95277 0 0 0 45516 711 0 0 25 0 1 0 822362825 182104064 43369 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 44459 43369 730 1214 0 43241 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 177836
[startup+522.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/499 11606
/proc/meminfo: memFree=28701060/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=193876 CPUtime=522.28 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 104125 0 0 0 51421 807 0 0 25 0 1 0 822362825 198529024 47449 33554432000 4194304 9163163 140737386075456 18446744073709551615 4207311 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 48469 47449 730 1214 0 47251 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 193876
[startup+582.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/499 11608
/proc/meminfo: memFree=28676112/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=207432 CPUtime=582.28 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 111765 0 0 0 57320 908 0 0 25 0 1 0 822362825 212410368 50296 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 51858 50296 730 1214 0 50640 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 207432
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 11614
/proc/meminfo: memFree=28564456/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=260180 CPUtime=822.29 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 125203 0 0 0 80931 1298 0 0 25 0 1 0 822362825 266424320 63721 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 65045 63721 730 1214 0 63827 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 260180
[startup+882.301 s]
/proc/loadavg: 2.15 2.06 2.01 3/499 11616
/proc/meminfo: memFree=28528496/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=275128 CPUtime=882.28 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 128934 0 0 0 86830 1398 0 0 25 0 1 0 822362825 281731072 67452 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 68782 67452 730 1214 0 67564 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 275128
[startup+942.301 s]
/proc/loadavg: 2.19 2.08 2.02 3/499 11618
/proc/meminfo: memFree=28500956/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=286928 CPUtime=942.29 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 131947 0 0 0 92729 1500 0 0 25 0 1 0 822362825 293814272 70465 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 71732 70465 730 1214 0 70514 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 286928
[startup+1002.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/499 11620
/proc/meminfo: memFree=28476256/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=299628 CPUtime=1002.28 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 135100 0 0 0 98627 1601 0 0 25 0 1 0 822362825 306819072 73618 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 74907 73618 730 1214 0 73689 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 299628
[startup+1062.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/499 11622
/proc/meminfo: memFree=28450340/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=313600 CPUtime=1062.29 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 138634 0 0 0 104518 1711 0 0 25 0 1 0 822362825 321126400 77152 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 78400 77152 730 1214 0 77182 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 313600
[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 11622
/proc/meminfo: memFree=28416720/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=328492 CPUtime=1122.29 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 142410 0 0 0 110416 1813 0 0 25 0 1 0 822362825 336375808 80928 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 82123 80928 730 1214 0 80905 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 328492
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 11624
/proc/meminfo: memFree=28384964/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=343880 CPUtime=1182.29 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 146290 0 0 0 116315 1914 0 0 25 0 1 0 822362825 352133120 84808 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 85970 84808 730 1214 0 84752 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 343880
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 11626
/proc/meminfo: memFree=28357032/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=356812 CPUtime=1242.29 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 149571 0 0 0 122216 2013 0 0 25 0 1 0 822362825 365375488 88089 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 89203 88089 730 1214 0 87985 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 356812
[startup+1302.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/499 11628
/proc/meminfo: memFree=28326380/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=370904 CPUtime=1302.31 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 153168 0 0 0 128112 2119 0 0 25 0 1 0 822362825 379805696 91686 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 92726 91686 730 1214 0 91508 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 370904
[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/499 11630
/proc/meminfo: memFree=28303928/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=383864 CPUtime=1362.29 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 155430 0 0 0 134010 2219 0 0 25 0 1 0 822362825 393076736 93948 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 95966 93948 730 1214 0 94748 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 383864
[startup+1422.32 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 11630
/proc/meminfo: memFree=28264104/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=405200 CPUtime=1422.31 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 165583 0 0 0 139905 2326 0 0 25 0 1 0 822362825 414924800 99305 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 101300 99305 730 1214 0 100082 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 405200
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 11632
/proc/meminfo: memFree=28236564/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=420428 CPUtime=1482.3 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 169435 0 0 0 145802 2428 0 0 25 0 1 0 822362825 430518272 103157 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 105107 103157 730 1214 0 103889 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 420428
[startup+1542.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/499 11634
/proc/meminfo: memFree=28202440/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=433348 CPUtime=1542.29 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 172747 0 0 0 151694 2535 0 0 25 0 1 0 822362825 443748352 106469 33554432000 4194304 9163163 140737386075456 18446744073709551615 4690982 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 108337 106469 730 1214 0 107119 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 433348
[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/499 11636
/proc/meminfo: memFree=28170192/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=452064 CPUtime=1602.3 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 177433 0 0 0 157594 2636 0 0 25 0 1 0 822362825 462913536 111155 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 113016 111155 730 1214 0 111798 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 452064
[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 11638
/proc/meminfo: memFree=28135072/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=468508 CPUtime=1662.3 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 181589 0 0 0 163492 2738 0 0 25 0 1 0 822362825 479752192 115311 33554432000 4194304 9163163 140737386075456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 117127 115311 730 1214 0 115909 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 468508
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 11638
/proc/meminfo: memFree=28104180/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=479544 CPUtime=1722.3 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 184391 0 0 0 169382 2848 0 0 25 0 1 0 822362825 491053056 118113 33554432000 4194304 9163163 140737386075456 18446744073709551615 7375715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 119886 118113 730 1214 0 118668 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 479544
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 11640
/proc/meminfo: memFree=28070324/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=496840 CPUtime=1782.3 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 188745 0 0 0 175280 2950 0 0 25 0 1 0 822362825 508764160 122467 33554432000 4194304 9163163 140737386075456 18446744073709551615 6648092 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11591/statm: 124210 122467 730 1214 0 122992 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 496840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.85 1.99 1.99 2/493 11658
/proc/meminfo: memFree=28610416/32951132 swapFree=57925096/67111528
[pid=11591] ppid=11589 vsize=502000 CPUtime=1800.02 cores=0,2,4,6
/proc/11591/stat : 11591 (scip-2.0.1.4b.l) R 11589 11591 10513 0 -1 4202496 190064 0 0 0 177021 2981 0 0 25 0 1 0 822362825 514048000 123786 33554432000 4194304 9163163 140737386075456 18446744073709551615 6494397 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11591/statm: 125500 123786 730 1214 0 124282 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 502000
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.05
CPU user time (s): 1770.22
CPU system time (s): 29.8305
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 502000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.22
system time used= 29.8305
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190064
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= 3
involuntary context switches= 1917
runsolver used 9.61754 second user time and 19.907 second system time
The end