0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3451043-1307081761.opb>
0.00/0.03 c original problem has 1060 variables (1060 bin, 0 int, 0 impl, 0 cont) and 3737 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 20 del vars, 20 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23420 impls, 0 clqs
0.00/0.05 c (round 2) 20 del vars, 30 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3327 upgd conss, 23420 impls, 0 clqs
0.00/0.06 c (round 3) 20 del vars, 30 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3707 upgd conss, 23420 impls, 0 clqs
0.00/0.08 c (0.1s) probing: 101/1040 (9.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.08 c presolving (4 rounds):
0.00/0.08 c 20 deleted vars, 30 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.08 c 23420 implications, 0 cliques
0.00/0.08 c presolved problem has 1040 variables (1040 bin, 0 int, 0 impl, 0 cont) and 3707 constraints
0.00/0.08 c 3550 constraints of type <setppc>
0.00/0.08 c 157 constraints of type <logicor>
0.00/0.08 c transformed objective value is always integral (scale: 1)
0.00/0.08 c Presolving Time: 0.05
0.00/0.08 c - non default parameters ----------------------------------------------------------------------
0.00/0.08 c # SCIP version 2.0.1.5
0.00/0.08 c
0.00/0.08 c # frequency for displaying node information lines
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.08 c display/freq = 10000
0.00/0.08 c
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/time = 1800
0.00/0.08 c
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/memory = 13950
0.00/0.08 c
0.00/0.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.08 c # [type: int, range: [1,2], default: 1]
0.00/0.08 c timing/clocktype = 2
0.00/0.08 c
0.00/0.08 c # belongs reading time to solving time?
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c timing/reading = TRUE
0.00/0.08 c
0.00/0.08 c # should presolving try to simplify inequalities
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c constraints/linear/simplifyinequalities = TRUE
0.00/0.08 c
0.00/0.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c constraints/indicator/addCouplingCons = TRUE
0.00/0.08 c
0.00/0.08 c # should presolving try to simplify knapsacks
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.08 c
0.00/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.08 c separating/rapidlearning/freq = 0
0.00/0.08 c
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving
0.00/0.08 c
0.19/0.21 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.21 c 0.2s| 1 | 0 | 1576 | - |7901k| 0 | 744 |1040 |3722 |1040 |3707 | 0 | 15 | 0 | 2.407500e+02 | -- | Inf
0.69/0.77 o 493
0.69/0.77 c y 0.8s| 1 | 0 | 5561 | - |8758k| 0 | 744 |1040 |3722 |1040 |3707 | 0 | 15 | 0 | 2.407500e+02 | 4.930000e+02 | 104.78%
0.79/0.81 c 0.8s| 1 | 0 | 5752 | - |8124k| 0 | 739 |1040 |3781 |1040 |3720 | 13 | 15 | 0 | 2.491250e+02 | 4.930000e+02 | 97.89%
0.79/0.81 o 478
0.79/0.81 c b 0.8s| 1 | 0 | 5752 | - |8152k| 0 | 739 |1040 |3781 |1040 |3720 | 13 | 15 | 0 | 2.491250e+02 | 4.780000e+02 | 91.87%
0.79/0.89 c 0.9s| 1 | 0 | 5956 | - |8182k| 0 | 732 |1040 |3781 |1040 |3736 | 29 | 15 | 0 | 2.576250e+02 | 4.780000e+02 | 85.54%
0.89/0.97 c 1.0s| 1 | 0 | 6193 | - |8247k| 0 | 709 |1040 |3781 |1040 |3748 | 41 | 15 | 0 | 2.623036e+02 | 4.780000e+02 | 82.23%
1.01/1.07 c 1.1s| 1 | 0 | 6477 | - |8333k| 0 | 711 |1040 |3781 |1040 |3765 | 58 | 15 | 0 | 2.651905e+02 | 4.780000e+02 | 80.25%
1.11/1.16 c 1.2s| 1 | 0 | 6768 | - |8494k| 0 | 716 |1040 |3781 |1040 |3785 | 78 | 15 | 0 | 2.690541e+02 | 4.780000e+02 | 77.66%
1.19/1.27 c 1.3s| 1 | 0 | 7106 | - |8840k| 0 | 706 |1040 |3781 |1040 |3799 | 92 | 15 | 0 | 2.718787e+02 | 4.780000e+02 | 75.81%
1.29/1.39 c 1.4s| 1 | 0 | 7516 | - |9074k| 0 | 714 |1040 |3781 |1040 |3818 | 111 | 15 | 0 | 2.736892e+02 | 4.780000e+02 | 74.65%
1.49/1.52 c 1.5s| 1 | 0 | 7913 | - |9422k| 0 | 715 |1040 |3781 |1040 |3835 | 128 | 15 | 0 | 2.762116e+02 | 4.780000e+02 | 73.06%
1.59/1.69 c 1.7s| 1 | 0 | 8418 | - |9773k| 0 | 711 |1040 |3781 |1040 |3853 | 146 | 15 | 0 | 2.787110e+02 | 4.780000e+02 | 71.50%
1.89/1.90 c 1.9s| 1 | 0 | 8824 | - | 10M| 0 | 716 |1040 |3781 |1040 |3866 | 159 | 15 | 0 | 2.800928e+02 | 4.780000e+02 | 70.66%
2.11/2.15 c 2.1s| 1 | 0 | 9222 | - | 10M| 0 | 717 |1040 |3781 |1040 |3877 | 170 | 15 | 0 | 2.805429e+02 | 4.780000e+02 | 70.38%
2.39/2.40 c 2.4s| 1 | 0 | 9664 | - | 10M| 0 | 723 |1040 |3781 |1040 |3888 | 181 | 15 | 0 | 2.808821e+02 | 4.780000e+02 | 70.18%
2.69/2.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.69/2.71 c 2.7s| 1 | 0 | 10032 | - | 11M| 0 | 712 |1040 |3781 |1040 |3892 | 194 | 15 | 0 | 2.811072e+02 | 4.780000e+02 | 70.04%
2.99/3.03 c 3.0s| 1 | 0 | 10411 | - | 11M| 0 | 708 |1040 |3781 |1040 |3903 | 205 | 15 | 0 | 2.812200e+02 | 4.780000e+02 | 69.97%
3.30/3.36 c 3.4s| 1 | 0 | 10792 | - | 11M| 0 | 709 |1040 |3781 |1040 |3913 | 215 | 15 | 0 | 2.821130e+02 | 4.780000e+02 | 69.44%
3.59/3.70 c 3.7s| 1 | 0 | 11122 | - | 11M| 0 | 716 |1040 |3781 |1040 |3921 | 223 | 15 | 0 | 2.821790e+02 | 4.780000e+02 | 69.40%
3.99/4.02 c 4.0s| 1 | 0 | 11284 | - | 12M| 0 | 712 |1040 |3781 |1040 |3929 | 231 | 15 | 0 | 2.821922e+02 | 4.780000e+02 | 69.39%
4.30/4.35 c 4.3s| 1 | 0 | 11552 | - | 12M| 0 | 719 |1040 |3781 |1040 |3935 | 237 | 15 | 0 | 2.822333e+02 | 4.780000e+02 | 69.36%
4.59/4.68 c 4.7s| 1 | 0 | 11745 | - | 12M| 0 | 719 |1040 |3781 |1040 |3915 | 243 | 15 | 0 | 2.822660e+02 | 4.780000e+02 | 69.34%
4.99/5.02 c 5.0s| 1 | 0 | 11983 | - | 12M| 0 | 725 |1040 |3781 |1040 |3921 | 249 | 15 | 0 | 2.822993e+02 | 4.780000e+02 | 69.32%
5.09/5.19 c 5.2s| 1 | 0 | 12034 | - | 12M| 0 | 726 |1040 |3781 |1040 |3924 | 252 | 15 | 0 | 2.823058e+02 | 4.780000e+02 | 69.32%
5.29/5.35 c 5.4s| 1 | 0 | 12046 | - | 12M| 0 | 726 |1040 |3781 |1040 |3926 | 254 | 15 | 0 | 2.823059e+02 | 4.780000e+02 | 69.32%
5.51/5.52 c 5.5s| 1 | 0 | 12051 | - | 12M| 0 | 726 |1040 |3781 |1040 |3927 | 255 | 15 | 0 | 2.823060e+02 | 4.780000e+02 | 69.32%
6.39/6.40 c 6.4s| 1 | 2 | 12051 | - | 12M| 0 | 726 |1040 |3781 |1040 |3927 | 255 | 15 | 15 | 2.823060e+02 | 4.780000e+02 | 69.32%
17.39/17.40 o 436
17.39/17.40 c p17.4s| 19 | 18 | 17366 | 295.3 | 12M| 12 | - |1040 |3785 |1040 |3862 | 255 | 19 | 300 | 2.831242e+02 | 4.360000e+02 | 54.00%
17.39/17.41 o 435
17.39/17.41 c b17.4s| 20 | 17 | 17366 | 279.7 | 12M| 12 | - |1040 |3785 |1040 |3862 | 255 | 19 | 300 | 2.831242e+02 | 4.350000e+02 | 53.64%
25.59/25.65 o 429
25.59/25.65 c o25.7s| 55 | 54 | 24349 | 227.7 | 12M| 14 | 0 |1040 |3805 |1040 |3862 | 255 | 39 | 543 | 2.834044e+02 | 4.290000e+02 | 51.37%
25.59/25.66 o 428
25.59/25.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.59/25.66 c b25.7s| 55 | 54 | 24349 | 227.7 | 12M| 14 | 440 |1040 |3805 |1040 |3862 | 255 | 39 | 543 | 2.834044e+02 | 4.280000e+02 | 51.02%
29.29/29.30 o 421
29.29/29.30 c g29.3s| 165 | 164 | 41643 | 180.4 | 13M| 21 | - |1040 |3834 |1040 |3862 | 255 | 68 | 588 | 2.834044e+02 | 4.210000e+02 | 48.55%
29.29/29.34 o 418
29.29/29.34 c b29.3s| 166 | 165 | 41806 | 180.3 | 13M| 21 | 618 |1040 |3834 |1040 |3862 | 255 | 68 | 588 | 2.834044e+02 | 4.180000e+02 | 47.49%
31.69/31.76 o 400
31.69/31.76 c v31.8s| 243 | 242 | 53350 | 170.7 | 13M| 24 | - |1040 |3836 |1040 |3862 | 255 | 70 | 624 | 2.836882e+02 | 4.000000e+02 | 41.00%
31.69/31.76 o 398
31.69/31.76 c b31.8s| 244 | 239 | 53353 | 170.0 | 13M| 24 | 652 |1040 |3836 |1040 |3862 | 255 | 70 | 624 | 2.836882e+02 | 3.980000e+02 | 40.29%
35.89/35.98 o 395
35.89/35.98 c l36.0s| 402 | 374 | 72742 | 151.3 | 14M| 25 | - |1040 |3841 |1040 |3862 | 255 | 75 | 714 | 2.840800e+02 | 3.950000e+02 | 39.05%
42.09/42.20 o 389
42.09/42.20 c l42.2s| 554 | 497 |102738 | 164.0 | 14M| 26 | - |1040 |3859 |1040 |3862 | 255 | 93 | 813 | 2.842285e+02 | 3.890000e+02 | 36.86%
42.19/42.23 o 387
42.19/42.23 c b42.2s| 555 | 489 |102926 | 164.0 | 14M| 26 | 528 |1040 |3859 |1040 |3862 | 255 | 93 | 813 | 2.842285e+02 | 3.870000e+02 | 36.16%
45.01/45.06 o 383
45.01/45.06 c l45.1s| 578 | 490 |119648 | 186.5 | 14M| 26 | - |1040 |3887 |1040 |3862 | 255 | 121 | 822 | 2.842908e+02 | 3.830000e+02 | 34.72%
53.99/54.01 o 370
53.99/54.01 c f54.0s| 660 | 475 |168213 | 237.0 | 14M| 26 | - |1040 |3964 |1040 |3862 | 255 | 198 | 867 | 2.846057e+02 | 3.700000e+02 | 30.00%
56.59/56.67 o 367
56.59/56.67 c g56.7s| 687 | 487 |182587 | 248.6 | 15M| 26 | - |1040 |3970 |1040 |3862 | 255 | 204 | 876 | 2.849132e+02 | 3.670000e+02 | 28.81%
57.30/57.38 o 361
57.30/57.38 c v57.4s| 693 | 459 |185717 | 251.0 | 14M| 26 | - |1040 |3991 |1040 |3862 | 255 | 225 | 885 | 2.850576e+02 | 3.610000e+02 | 26.64%
58.99/59.00 o 347
58.99/59.00 c g59.0s| 711 | 398 |194236 | 256.6 | 14M| 26 | - |1040 |3993 |1040 |3862 | 255 | 227 | 894 | 2.850576e+02 | 3.470000e+02 | 21.73%
249.09/249.17 c 249s| 10000 | 3414 | 1247k| 123.5 | 28M| 48 | - |1040 |3920 |1040 |3862 | 255 | 977 |3305 | 2.958539e+02 | 3.470000e+02 | 17.29%
250.71/250.80 o 345
250.71/250.80 c * 251s| 10116 | 3135 | 1254k| 122.8 | 26M| 48 | - |1040 |3908 |1040 |3862 | 255 | 977 |3349 | 2.958861e+02 | 3.450000e+02 | 16.60%
250.81/250.84 o 343
250.81/250.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.81/250.84 c * 251s| 10125 | 2878 | 1254k| 122.7 | 25M| 48 | - |1040 |3908 |1040 |3862 | 255 | 977 |3349 | 2.958861e+02 | 3.430000e+02 | 15.92%
377.40/377.47 c 377s| 20000 | 4369 | 1947k| 96.8 | 32M| 48 | - |1040 |3818 |1040 |3862 | 255 |1347 |5302 | 2.983502e+02 | 3.430000e+02 | 14.97%
479.20/479.22 c 479s| 30000 | 5497 | 2518k| 83.6 | 37M| 53 | - |1040 |3886 |1040 |3862 | 255 |1573 |6733 | 3.001026e+02 | 3.430000e+02 | 14.29%
564.41/564.40 c 564s| 40000 | 6187 | 2999k| 74.7 | 41M| 53 | - |1040 |3833 |1040 |3862 | 255 |1775 |7832 | 3.013652e+02 | 3.430000e+02 | 13.82%
635.82/635.88 c 636s| 50000 | 6797 | 3447k| 68.7 | 44M| 53 | 345 |1040 |3818 |1040 |3862 | 255 |1816 |8224 | 3.020294e+02 | 3.430000e+02 | 13.57%
714.10/714.16 c 714s| 60000 | 7352 | 3867k| 64.3 | 46M| 56 | 376 |1040 |3820 |1040 |3862 | 255 |1910 |9479 | 3.027444e+02 | 3.430000e+02 | 13.30%
789.11/789.16 c 789s| 70000 | 8034 | 4298k| 61.2 | 49M| 56 | - |1040 |3810 |1040 |3862 | 255 |1965 | 10k| 3.035131e+02 | 3.430000e+02 | 13.01%
862.81/862.81 c 863s| 80000 | 8688 | 4728k| 59.0 | 52M| 60 | - |1040 |3805 |1040 |3862 | 255 |2000 | 11k| 3.041189e+02 | 3.430000e+02 | 12.78%
933.71/933.72 c 934s| 90000 | 9160 | 5098k| 56.5 | 55M| 61 | - |1040 |3803 |1040 |3862 | 255 |2030 | 12k| 3.046158e+02 | 3.430000e+02 | 12.60%
999.32/999.32 c 999s|100000 | 9672 | 5485k| 54.7 | 57M| 61 | 423 |1040 |3809 |1040 |3862 | 255 |2079 | 12k| 3.050169e+02 | 3.430000e+02 | 12.45%
1069.32/1069.37 c 1069s|110000 | 10148 | 5873k| 53.3 | 59M| 61 | 191 |1040 |3805 |1040 |3862 | 255 |2115 | 13k| 3.054746e+02 | 3.430000e+02 | 12.28%
1137.92/1137.91 c 1138s|120000 | 10624 | 6267k| 52.1 | 61M| 61 | 405 |1040 |3796 |1040 |3862 | 255 |2148 | 14k| 3.059732e+02 | 3.430000e+02 | 12.10%
1205.64/1205.68 c 1206s|130000 | 11076 | 6660k| 51.1 | 63M| 61 | 389 |1040 |3809 |1040 |3862 | 255 |2217 | 15k| 3.064918e+02 | 3.430000e+02 | 11.91%
1275.22/1275.24 c 1275s|140000 | 11570 | 7053k| 50.3 | 66M| 61 | 183 |1040 |3802 |1040 |3862 | 255 |2264 | 16k| 3.070101e+02 | 3.430000e+02 | 11.72%
1340.72/1340.78 c 1341s|150000 | 12012 | 7439k| 49.5 | 68M| 61 | - |1040 |3798 |1040 |3862 | 255 |2279 | 16k| 3.073637e+02 | 3.430000e+02 | 11.59%
1408.22/1408.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1408.22/1408.25 c 1408s|160000 | 12490 | 7817k| 48.8 | 70M| 61 | - |1040 |3801 |1040 |3862 | 255 |2284 | 17k| 3.077984e+02 | 3.430000e+02 | 11.44%
1472.52/1472.57 c 1473s|170000 | 12916 | 8196k| 48.1 | 72M| 61 | 174 |1040 |3800 |1040 |3862 | 255 |2294 | 18k| 3.082010e+02 | 3.430000e+02 | 11.29%
1544.52/1544.56 c 1545s|180000 | 13372 | 8607k| 47.8 | 74M| 61 | 383 |1040 |3817 |1040 |3862 | 255 |2365 | 18k| 3.085591e+02 | 3.430000e+02 | 11.16%
1610.62/1610.66 c 1611s|190000 | 13754 | 8988k| 47.2 | 76M| 61 | 321 |1040 |3798 |1040 |3862 | 255 |2372 | 19k| 3.088548e+02 | 3.430000e+02 | 11.06%
1674.53/1674.59 c 1675s|200000 | 14142 | 9362k| 46.8 | 78M| 62 | 462 |1040 |3803 |1040 |3862 | 255 |2388 | 20k| 3.091357e+02 | 3.430000e+02 | 10.95%
1740.73/1740.77 c 1741s|210000 | 14392 | 9725k| 46.3 | 79M| 62 | 353 |1040 |3801 |1040 |3862 | 255 |2390 | 20k| 3.094293e+02 | 3.430000e+02 | 10.85%
1800.04/1800.02 c
1800.04/1800.02 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.02 c Solving Time (sec) : 1800.00
1800.04/1800.02 c Solving Nodes : 219915
1800.04/1800.02 c Primal Bound : +3.43000000000000e+02 (170 solutions)
1800.04/1800.02 c Dual Bound : +3.09724349946743e+02
1800.04/1800.02 c Gap : 10.74 %
1800.04/1800.02 s SATISFIABLE
1800.04/1800.02 v -x1060 -x1059 x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042
1800.04/1800.02 v x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 x1025 -x1024
1800.04/1800.02 v -x1023 -x1022 -x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 x1011 -x1010 -x1009 -x1008 -x1007 -x1006
1800.04/1800.02 v -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986
1800.04/1800.02 v -x985 -x984 -x983 -x982 x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965
1800.04/1800.02 v x964 -x963 -x962 x961 x960 -x959 x958 -x957 x956 -x955 x954 -x953 x952 -x951 x950 -x949 x948 -x947 x946 -x945 -x944 x943 x942
1800.04/1800.02 v -x941 -x940 -x939 x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 x921
1800.04/1800.02 v x920 -x919 x918 -x917 x916 -x915 x914 -x913 x912 -x911 x910 -x909 x908 -x907 x906 -x905 -x904 x903 x902 -x901 -x900 -x899
1800.04/1800.02 v x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 x884 -x883 -x882 x881 -x880 -x879 x878 -x877
1800.04/1800.02 v -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 x864 -x863 -x862 x861 -x860 -x859 -x858 -x857 -x856
1800.04/1800.02 v -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 x841 -x840 -x839 x838 -x837 -x836 -x835
1800.04/1800.02 v -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 x824 -x823 -x822 x821 -x820 x819 x818 -x817 -x816 -x815 -x814 -x813
1800.04/1800.02 v -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 x798 -x797 -x796 -x795 -x794 -x793 -x792
1800.04/1800.02 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 x780 -x779 -x778 x777 x776 -x775 x774 -x773 x772 -x771 x770
1800.04/1800.02 v -x769 x768 -x767 x766 -x765 x764 -x763 x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1800.04/1800.02 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 x741 -x740 -x739 x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
1800.04/1800.02 v -x726 -x725 x724 -x723 -x722 x721 -x720 -x719 x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706
1800.04/1800.02 v -x705 x704 -x703 -x702 x701 x700 -x699 -x698 x697 x696 -x695 x694 -x693 x692 -x691 x690 -x689 x688 -x687 x686 -x685 x684 -x683
1800.04/1800.02 v x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 x664 -x663 -x662
1800.04/1800.02 v x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641
1800.04/1800.02 v -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 x621 -x620
1800.04/1800.02 v -x619 x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601 x600 -x599
1800.04/1800.02 v x598 -x597 x596 -x595 x594 -x593 x592 -x591 x590 -x589 x588 -x587 x586 -x585 -x584 x583 x582 -x581 x580 -x579 x578 -x577 x576
1800.04/1800.02 v -x575 x574 -x573 x572 -x571 x570 -x569 x568 -x567 x566 -x565 -x564 x563 x562 -x561 x560 -x559 x558 -x557 x556 -x555 x554 -x553
1800.04/1800.02 v x552 -x551 x550 -x549 x548 -x547 x546 -x545 -x544 x543 x542 -x541 -x540 -x539 x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531
1800.04/1800.02 v -x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 x521 -x520 -x519 x518 -x517 -x516 -x515 -x514 -x513 -x512 x511 -x510
1800.04/1800.02 v -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489
1800.04/1800.02 v -x488 -x487 -x486 -x485 x484 -x483 -x482 x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467
1800.04/1800.02 v -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 x447 -x446
1800.04/1800.02 v -x445 x444 -x443 -x442 -x441 x440 -x439 x438 -x437 x436 -x435 x434 -x433 x432 -x431 x430 -x429 x428 -x427 x426 -x425 -x424
1800.04/1800.02 v x423 x422 -x421 x420 -x419 x418 -x417 x416 -x415 x414 -x413 x412 -x411 x410 -x409 x408 -x407 x406 -x405 -x404 x403 x402 -x401
1800.04/1800.02 v x400 -x399 -x398 x397 x396 -x395 x394 -x393 x392 -x391 x390 -x389 x388 -x387 x386 -x385 x384 -x383 x382 -x381 x380 -x379 x378
1800.04/1800.02 v -x377 x376 -x375 x374 -x373 x372 -x371 x370 -x369 x368 -x367 x366 -x365 -x364 x363 x362 -x361 x360 -x359 x358 -x357 x356 -x355
1800.04/1800.02 v x354 -x353 x352 -x351 x350 -x349 x348 -x347 x346 -x345 -x344 x343 x342 -x341 x340 -x339 -x338 x337 x336 -x335 x334 -x333
1800.04/1800.02 v x332 -x331 x330 -x329 x328 -x327 x326 -x325 x324 -x323 x322 -x321 -x320 x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310
1800.04/1800.02 v x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 x296 -x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287
1800.04/1800.02 v -x286 x285 x284 -x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269 x268 -x267 -x266 x265 -x264
1800.04/1800.02 v x263 -x262 x261 -x260 x259 -x258 x257 -x256 x255 -x254 x253 -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242
1800.04/1800.02 v x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 x232 -x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219
1800.04/1800.02 v -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 x200 -x199 -x198 x197 -x196
1800.04/1800.02 v x195 -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174
1800.04/1800.02 v x173 -x172 x171 -x170 x169 x168 -x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151
1800.04/1800.02 v -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 x136 -x135 -x134 x133 -x132 x131 -x130 x129 -x128
1800.04/1800.02 v x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105
1800.04/1800.02 v x104 -x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 x79
1800.04/1800.02 v -x78 x77 -x76 x75 -x74 x73 x72 -x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 x56 -x55 -x54 x53 -x52 x51
1800.04/1800.02 v -x50 x49 -x48 x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28 x27 -x26 x25 -x24 x23
1800.04/1800.02 v -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9 x8 -x7 -x6 x5 -x4 x3 -x2 x1
1800.04/1800.02 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.02 c Total Time : 1800.00
1800.04/1800.02 c solving : 1800.00
1800.04/1800.02 c presolving : 0.05 (included in solving)
1800.04/1800.02 c reading : 0.02 (included in solving)
1800.04/1800.02 c Original Problem :
1800.04/1800.02 c Problem name : HOME/instance-3451043-1307081761.opb
1800.04/1800.02 c Variables : 1060 (1060 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.02 c Constraints : 3737 initial, 3737 maximal
1800.04/1800.02 c Presolved Problem :
1800.04/1800.02 c Problem name : t_HOME/instance-3451043-1307081761.opb
1800.04/1800.02 c Variables : 1040 (1040 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.02 c Constraints : 3707 initial, 4026 maximal
1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c dualfix : 0.00 20 0 0 0 0 0 0 0 0
1800.04/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c probing : 0.02 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c setppc : 0.01 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c linear : 0.02 0 0 0 0 0 30 0 0 0
1800.04/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c root node : - 0 - - 0 - - - - -
1800.04/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c integral : 0 0 0 120403 0 174 0 225 6052 0 0 235414
1800.04/1800.02 c setppc : 3550 24 831019 2 2 171 18500 234 4630498 0 0 0
1800.04/1800.02 c linear : 0+ 24 658231 0 0 0 4 2 189 4 0 0
1800.04/1800.02 c logicor : 157+ 24 364883 2 2 168 1785 274 199913 2 0 0
1800.04/1800.02 c countsols : 0 0 0 2 2 170 0 0 0 0 0 0
1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.02 c integral : 221.83 0.00 0.00 221.83 0.00 0.00 0.00
1800.04/1800.02 c setppc : 33.60 0.00 33.58 0.00 0.00 0.01 0.01
1800.04/1800.02 c linear : 0.26 0.00 0.26 0.00 0.00 0.00 0.00
1800.04/1800.02 c logicor : 1.45 0.00 1.44 0.00 0.00 0.00 0.00
1800.04/1800.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.02 c vbounds : 0 0 0 0
1800.04/1800.02 c rootredcost : 16 0 0 0
1800.04/1800.02 c pseudoobj : 833055 0 0 0
1800.04/1800.02 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.02 c vbounds : 0.14 0.14 0.00
1800.04/1800.02 c rootredcost : 0.16 0.16 0.00
1800.04/1800.02 c pseudoobj : 12.59 12.59 0.00
1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.02 c propagation : 0.01 510 510 1311 15.4 29 9.8 -
1800.04/1800.02 c infeasible LP : 0.04 327 327 1149 28.4 25 3.7 0
1800.04/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.02 c applied globally : - - - 2396 20.8 - - -
1800.04/1800.02 c applied locally : - - - 0 0.0 - - -
1800.04/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.02 c cut pool : 0.01 23 - - 760 - (maximal pool size: 2234)
1800.04/1800.02 c redcost : 2.68 151323 0 202989 0 0
1800.04/1800.02 c impliedbounds : 0.01 24 0 0 0 0
1800.04/1800.02 c intobj : 0.00 0 0 0 0 0
1800.04/1800.02 c gomory : 2.37 24 0 0 6376 0
1800.04/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.02 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.02 c strongcg : 1.43 20 0 0 8288 0
1800.04/1800.02 c cmir : 0.11 10 0 0 0 0
1800.04/1800.02 c flowcover : 0.09 10 0 0 0 0
1800.04/1800.02 c clique : 0.00 1 0 0 0 0
1800.04/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.02 c mcf : 0.00 1 0 0 0 0
1800.04/1800.02 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.02 c rapidlearning : 0.18 1 0 0 0 59
1800.04/1800.02 c Pricers : Time Calls Vars
1800.04/1800.02 c problem variables: 0.00 0 0
1800.04/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c relpscost : 221.72 120401 225 6052 0 0 235414
1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c inference : 0.00 2 0 0 0 0 4
1800.04/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c random : 0.00 0 0 0 0 0 0
1800.04/1800.02 c Primal Heuristics : Time Calls Found
1800.04/1800.02 c LP solutions : 0.00 - 2
1800.04/1800.02 c pseudo solutions : 0.00 - 0
1800.04/1800.02 c oneopt : 0.07 20 6
1800.04/1800.02 c feaspump : 0.34 1 0
1800.04/1800.02 c crossover : 0.45 7 1
1800.04/1800.02 c veclendiving : 23.87 225 2
1800.04/1800.02 c pscostdiving : 28.30 225 1
1800.04/1800.02 c fracdiving : 23.48 225 1
1800.04/1800.02 c linesearchdiving : 29.04 225 3
1800.04/1800.02 c guideddiving : 25.55 225 3
1800.04/1800.02 c coefdiving : 21.45 225 0
1800.04/1800.02 c objpscostdiving : 45.73 113 92
1800.04/1800.02 c rootsoldiving : 13.81 113 56
1800.04/1800.02 c trivial : 0.00 2 0
1800.04/1800.02 c shiftandpropagate: 0.02 1 0
1800.04/1800.02 c simplerounding : 0.07 0 0
1800.04/1800.02 c zirounding : 0.30 1000 0
1800.04/1800.02 c rounding : 1.73 4874 0
1800.04/1800.02 c shifting : 2.35 2494 2
1800.04/1800.02 c intshifting : 0.00 0 0
1800.04/1800.02 c twoopt : 0.00 0 0
1800.04/1800.02 c fixandinfer : 0.00 0 0
1800.04/1800.02 c clique : 0.00 0 0
1800.04/1800.02 c intdiving : 0.00 0 0
1800.04/1800.02 c actconsdiving : 0.00 0 0
1800.04/1800.02 c octane : 0.00 0 0
1800.04/1800.02 c rens : 0.01 0 0
1800.04/1800.02 c rins : 0.00 0 0
1800.04/1800.02 c localbranching : 0.00 0 0
1800.04/1800.02 c mutation : 0.00 0 0
1800.04/1800.02 c dins : 0.00 0 0
1800.04/1800.02 c vbounds : 0.00 0 0
1800.04/1800.02 c undercover : 0.00 0 0
1800.04/1800.02 c subnlp : 0.04 0 0
1800.04/1800.02 c trysol : 0.05 0 0
1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.02 c primal LP : 0.01 0 0 0.00 -
1800.04/1800.02 c dual LP : 1215.65 222272 8753282 39.38 7200.50
1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.02 c diving/probing LP: 188.31 58541 1342391 22.93 7128.78
1800.04/1800.02 c strong branching : 211.11 21019 1336611 63.59 6331.41
1800.04/1800.02 c (at root node) : - 15 4311 287.40 -
1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.02 c B&B Tree :
1800.04/1800.02 c number of runs : 1
1800.04/1800.02 c nodes : 219915
1800.04/1800.02 c nodes (total) : 219915
1800.04/1800.02 c nodes left : 14643
1800.04/1800.02 c max depth : 62
1800.04/1800.02 c max depth (total): 62
1800.04/1800.02 c backtracks : 27916 (12.7%)
1800.04/1800.02 c delayed cutoffs : 6
1800.04/1800.02 c repropagations : 1784 (5234 domain reductions, 2 cutoffs)
1800.04/1800.02 c avg switch length: 4.97
1800.04/1800.02 c switching time : 19.69
1800.04/1800.02 c Solution :
1800.04/1800.02 c Solutions found : 170 (20 improvements)
1800.04/1800.02 c First Solution : +4.93000000000000e+02 (in run 1, after 1 nodes, 0.77 seconds, depth 0, found by <trysol>)
1800.04/1800.02 c Primal Bound : +3.43000000000000e+02 (in run 1, after 10125 nodes, 250.84 seconds, depth 47, found by <relaxation>)
1800.04/1800.02 c Dual Bound : +3.09724349946743e+02
1800.04/1800.02 c Gap : 10.74 %
1800.04/1800.02 c Root Dual Bound : +2.82306029237611e+02
1800.04/1800.02 c Root Iterations : 12051
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-3451043-1307081761/watcher-3451043-1307081761 -o /tmp/evaluation-result-3451043-1307081761/solver-3451043-1307081761 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451043-1307081761.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.05 1.94 3/511 28113
/proc/meminfo: memFree=16824424/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=15000 CPUtime=0.01 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 2724 0 0 0 1 0 0 0 23 0 1 0 800592252 15360000 2678 33554432000 4194304 9163163 140736662193360 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28113/statm: 3750 2678 395 1214 0 2532 0
[startup+0.0990999 s]
/proc/loadavg: 2.02 2.05 1.94 3/511 28113
/proc/meminfo: memFree=16824424/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=32596 CPUtime=0.09 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 7281 0 0 0 9 0 0 0 23 0 1 0 800592252 33378304 6975 33554432000 4194304 9163163 140736662193360 18446744073709551615 5460491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 8149 6975 595 1214 0 6931 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32596
[startup+0.101082 s]
/proc/loadavg: 2.02 2.05 1.94 3/511 28113
/proc/meminfo: memFree=16824424/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=32596 CPUtime=0.09 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 7281 0 0 0 9 0 0 0 23 0 1 0 800592252 33378304 6975 33554432000 4194304 9163163 140736662193360 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 8149 6975 595 1214 0 6931 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32596
[startup+0.301049 s]
/proc/loadavg: 2.02 2.05 1.94 3/511 28113
/proc/meminfo: memFree=16824424/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=35520 CPUtime=0.29 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 8255 0 0 0 28 1 0 0 25 0 1 0 800592252 36372480 7848 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 8880 7848 669 1214 0 7662 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35520
[startup+0.700979 s]
/proc/loadavg: 2.02 2.05 1.94 3/511 28113
/proc/meminfo: memFree=16824424/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=56448 CPUtime=0.69 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 13272 0 0 0 67 2 0 0 25 0 1 0 800592252 57802752 12855 33554432000 4194304 9163163 140736662193360 18446744073709551615 6801638 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 14112 12855 695 1214 0 12894 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56448
[startup+1.50084 s]
/proc/loadavg: 2.02 2.05 1.94 3/512 28114
/proc/meminfo: memFree=16769360/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=54900 CPUtime=1.49 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 13883 0 0 0 144 5 0 0 25 0 1 0 800592252 56217600 12753 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 13725 12753 711 1214 0 12507 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54900
[startup+3.10056 s]
/proc/loadavg: 2.02 2.05 1.94 3/512 28141
/proc/meminfo: memFree=16756704/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=55308 CPUtime=3.09 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 13989 0 0 0 300 9 0 0 25 0 1 0 800592252 56635392 12858 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 13827 12858 710 1214 0 12609 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55308
[startup+6.30101 s]
/proc/loadavg: 2.02 2.05 1.94 3/512 28141
/proc/meminfo: memFree=16733392/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=55992 CPUtime=6.29 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 14216 0 0 0 612 17 0 0 25 0 1 0 800592252 57335808 13085 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 13998 13085 721 1214 0 12780 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55992
[startup+12.7009 s]
/proc/loadavg: 2.02 2.04 1.94 3/512 28141
/proc/meminfo: memFree=16728600/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=55992 CPUtime=12.69 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 14216 0 0 0 1239 30 0 0 25 0 1 0 800592252 57335808 13085 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 13998 13085 721 1214 0 12780 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55992
[startup+25.5006 s]
/proc/loadavg: 2.01 2.04 1.94 3/512 28141
/proc/meminfo: memFree=16729724/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=55992 CPUtime=25.49 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 14217 0 0 0 2497 52 0 0 25 0 1 0 800592252 57335808 13086 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 13998 13086 722 1214 0 12780 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55992
[startup+51.1011 s]
/proc/loadavg: 2.01 2.04 1.94 3/512 28142
/proc/meminfo: memFree=16731292/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=55992 CPUtime=51.09 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 14219 0 0 0 5009 100 0 0 25 0 1 0 800592252 57335808 13088 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 13998 13088 723 1214 0 12780 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 55992
[startup+102.319 s]
/proc/loadavg: 2.15 2.07 1.96 3/512 28143
/proc/meminfo: memFree=16729032/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=55512 CPUtime=102.31 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 20369 0 0 0 10034 197 0 0 25 0 1 0 800592252 56844288 13011 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 13878 13011 727 1214 0 12660 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 55512
[startup+162.301 s]
/proc/loadavg: 2.25 2.12 1.98 3/512 28145
/proc/meminfo: memFree=16727144/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=58136 CPUtime=162.29 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 28184 0 0 0 15911 318 0 0 25 0 1 0 800592252 59531264 13570 33554432000 4194304 9163163 140736662193360 18446744073709551615 7375435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 14534 13570 728 1214 0 13316 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 58136
[startup+222.301 s]
/proc/loadavg: 2.08 2.09 1.98 3/512 28146
/proc/meminfo: memFree=16722400/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=63404 CPUtime=222.3 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 31792 0 0 0 21791 439 0 0 25 0 1 0 800592252 64925696 14851 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 15851 14851 728 1214 0 14633 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 63404
[startup+282.301 s]
/proc/loadavg: 2.03 2.07 1.98 3/509 28169
/proc/meminfo: memFree=16784252/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=65556 CPUtime=282.3 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 43144 0 0 0 27666 564 0 0 25 0 1 0 800592252 67129344 15473 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 16389 15473 728 1214 0 15171 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 65556
[startup+342.301 s]
/proc/loadavg: 2.01 2.06 1.98 3/512 28231
/proc/meminfo: memFree=16613084/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=69804 CPUtime=342.3 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 50858 0 0 0 33495 735 0 0 25 0 1 0 800592252 71479296 16463 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 17451 16463 728 1214 0 16233 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 69804
[startup+402.3 s]
/proc/loadavg: 2.00 2.05 1.98 3/512 28232
/proc/meminfo: memFree=16609864/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=74520 CPUtime=402.3 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 54357 0 0 0 39327 903 0 0 25 0 1 0 800592252 76308480 17589 33554432000 4194304 9163163 140736662193360 18446744073709551615 5459270 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 18630 17589 728 1214 0 17412 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 74520
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 1.98 3/512 28234
/proc/meminfo: memFree=16605352/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=78104 CPUtime=462.3 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 55359 0 0 0 45152 1078 0 0 25 0 1 0 800592252 79978496 18591 33554432000 4194304 9163163 140736662193360 18446744073709551615 6686985 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 19526 18591 728 1214 0 18308 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 78104
[startup+522.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/512 28235
/proc/meminfo: memFree=16601344/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=79496 CPUtime=522.3 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 57892 0 0 0 50986 1244 0 0 25 0 1 0 800592252 81403904 18902 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 19874 18902 728 1214 0 18656 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 79496
[startup+582.301 s]
/proc/loadavg: 2.05 2.04 1.99 3/512 28240
/proc/meminfo: memFree=16603416/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=82656 CPUtime=582.3 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 58676 0 0 0 56821 1409 0 0 25 0 1 0 800592252 84639744 19686 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 20664 19686 728 1214 0 19446 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 82656
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/512 28246
/proc/meminfo: memFree=16588332/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=92424 CPUtime=822.3 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 63371 0 0 0 80161 2069 0 0 25 0 1 0 800592252 94642176 22141 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 23106 22141 728 1214 0 21888 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 92424
[startup+882.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 28248
/proc/meminfo: memFree=16583212/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=96324 CPUtime=882.31 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 64339 0 0 0 85996 2235 0 0 25 0 1 0 800592252 98635776 23109 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 24081 23109 728 1214 0 22863 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 96324
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 28250
/proc/meminfo: memFree=16585392/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=99144 CPUtime=942.31 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 65075 0 0 0 91836 2395 0 0 25 0 1 0 800592252 101523456 23845 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 24786 23845 728 1214 0 23568 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 99144
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 28251
/proc/meminfo: memFree=16581012/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=100204 CPUtime=1002.32 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 65363 0 0 0 97675 2557 0 0 25 0 1 0 800592252 102608896 24133 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 25051 24133 728 1214 0 23833 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 100204
[startup+1062.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/512 28253
/proc/meminfo: memFree=16584200/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=101700 CPUtime=1062.31 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 65687 0 0 0 103513 2718 0 0 25 0 1 0 800592252 104140800 24457 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 25425 24457 728 1214 0 24207 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 101700
[startup+1122.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/512 28254
/proc/meminfo: memFree=16576712/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=104644 CPUtime=1122.32 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 68726 0 0 0 109343 2889 0 0 25 0 1 0 800592252 107155456 25276 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 26161 25276 728 1214 0 24943 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 104644
[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/512 28256
/proc/meminfo: memFree=16574184/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=106820 CPUtime=1182.31 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 69207 0 0 0 115181 3050 0 0 25 0 1 0 800592252 109383680 25744 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 26705 25744 728 1214 0 25487 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 106820
[startup+1242.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/512 28258
/proc/meminfo: memFree=16569076/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=110940 CPUtime=1242.32 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 70240 0 0 0 121016 3216 0 0 25 0 1 0 800592252 113602560 26747 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 27735 26747 728 1214 0 26517 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 110940
[startup+1302.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/512 28259
/proc/meminfo: memFree=16570040/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=112504 CPUtime=1302.34 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 70793 0 0 0 126853 3381 0 0 25 0 1 0 800592252 115204096 27243 33554432000 4194304 9163163 140736662193360 18446744073709551615 7379333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 28126 27243 728 1214 0 26908 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 112504
[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/512 28261
/proc/meminfo: memFree=16562688/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=115256 CPUtime=1362.32 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 71522 0 0 0 132688 3544 0 0 25 0 1 0 800592252 118022144 27928 33554432000 4194304 9163163 140736662193360 18446744073709551615 7376333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 28814 27928 729 1214 0 27596 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 115256
[startup+1422.32 s]
/proc/loadavg: 2.01 2.04 2.00 3/512 28262
/proc/meminfo: memFree=16558196/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=116980 CPUtime=1422.34 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 71960 0 0 0 138528 3706 0 0 25 0 1 0 800592252 119787520 28365 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 29245 28365 728 1214 0 28027 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 116980
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 28264
/proc/meminfo: memFree=16555932/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=120716 CPUtime=1482.33 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 72835 0 0 0 144366 3867 0 0 25 0 1 0 800592252 123613184 29240 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 30179 29240 728 1214 0 28961 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 120716
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 28266
/proc/meminfo: memFree=16551692/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=121476 CPUtime=1542.33 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 73010 0 0 0 150199 4034 0 0 25 0 1 0 800592252 124391424 29415 33554432000 4194304 9163163 140736662193360 18446744073709551615 6890206 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 30369 29415 728 1214 0 29151 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 121476
[startup+1602.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/512 28267
/proc/meminfo: memFree=16555128/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=123424 CPUtime=1602.32 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 73627 0 0 0 156037 4195 0 0 25 0 1 0 800592252 126386176 29975 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 30856 29975 728 1214 0 29638 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 123424
[startup+1662.3 s]
/proc/loadavg: 2.19 2.07 2.02 3/512 28269
/proc/meminfo: memFree=16549008/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=124680 CPUtime=1662.33 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 73933 0 0 0 161879 4354 0 0 25 0 1 0 800592252 127672320 30281 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 31170 30281 728 1214 0 29952 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 124680
[startup+1722.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/512 28270
/proc/meminfo: memFree=16542008/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=125588 CPUtime=1722.33 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 74105 0 0 0 167714 4519 0 0 25 0 1 0 800592252 128602112 30453 33554432000 4194304 9163163 140736662193360 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 31397 30453 728 1214 0 30179 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 125588
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/512 28272
/proc/meminfo: memFree=16538492/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=127040 CPUtime=1782.33 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 76548 0 0 0 173551 4682 0 0 25 0 1 0 800592252 130088960 30767 33554432000 4194304 9163163 140736662193360 18446744073709551615 6922706 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28113/statm: 31760 30767 728 1214 0 30542 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 127040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.16 2.07 2.01 3/512 28273
/proc/meminfo: memFree=16538608/32951124 swapFree=67111204/67111528
[pid=28113] ppid=28111 vsize=127040 CPUtime=1800.04 cores=1,3,5,7
/proc/28113/stat : 28113 (scip-2.0.1.4b.l) R 28111 28113 22279 0 -1 4202496 76612 0 0 0 175274 4730 0 0 25 0 1 0 800592252 130088960 30831 33554432000 4194304 9163163 140736662193360 18446744073709551615 4748318 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28113/statm: 31760 30831 731 1214 0 30542 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 127040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1752.75
CPU system time (s): 47.3148
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 127040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1752.75
system time used= 47.3148
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76612
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= 20442
runsolver used 8.48871 second user time and 21.1248 second system time
The end