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-3450640-1307104650.opb>
0.00/0.02 c original problem has 3663 variables (3663 bin, 0 int, 0 impl, 0 cont) and 4163 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.04 o 0
0.00/0.04 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.04 c presolving:
0.00/0.07 c (round 1) 3163 del vars, 1000 del conss, 0 add conss, 3163 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12652 impls, 0 clqs
0.07/0.08 c (round 2) 3163 del vars, 1000 del conss, 0 add conss, 3163 chg bounds, 0 chg sides, 0 chg coeffs, 3163 upgd conss, 18978 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (3 rounds):
0.09/0.10 c 3163 deleted vars, 1000 deleted constraints, 0 added constraints, 3163 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10 c 18978 implications, 0 cliques
0.09/0.10 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 3163 constraints
0.09/0.10 c 3163 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.06
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 2.0.1.5
0.09/0.10 c
0.09/0.10 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c conflict/interconss = 0
0.09/0.10 c
0.09/0.10 c # should binary conflicts be preferred?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c conflict/preferbinary = TRUE
0.09/0.10 c
0.09/0.10 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.10 c constraints/agelimit = 1
0.09/0.10 c
0.09/0.10 c # should enforcement of pseudo solution be disabled?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/disableenfops = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1800
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 13950
0.09/0.10 c
0.09/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.10 c # [type: int, range: [1,2], default: 1]
0.09/0.10 c timing/clocktype = 2
0.09/0.10 c
0.09/0.10 c # belongs reading time to solving time?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c timing/reading = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/indicator/addCouplingCons = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.13 c t 0.1s| 1 | 0 | 563 | - | 11M| 0 | 500 | 500 |3163 | 500 |3163 | 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.09/0.14 o -1
0.09/0.14 c R 0.1s| 1 | 0 | 563 | - | 11M| 0 | 500 | 500 |3163 | 500 |3163 | 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.09/0.15 o -2
0.09/0.15 c s 0.1s| 1 | 0 | 563 | - | 11M| 0 | 500 | 500 |3163 | 500 |3163 | 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.19/0.22 c 0.2s| 1 | 0 | 705 | - | 11M| 0 | 490 | 500 |3163 | 500 |3174 | 11 | 0 | 0 |-2.450000e+02 |-2.000000e+00 | 99.18%
0.19/0.22 o -83
0.19/0.22 c b 0.2s| 1 | 0 | 705 | - | 11M| 0 | 490 | 500 |3163 | 500 |3174 | 11 | 0 | 0 |-2.450000e+02 |-8.300000e+01 | 66.12%
0.29/0.32 c 0.3s| 1 | 0 | 943 | - | 11M| 0 | 483 | 500 |3163 | 500 |3187 | 24 | 0 | 0 |-2.415000e+02 |-8.300000e+01 | 65.63%
0.39/0.40 c 0.4s| 1 | 0 | 1096 | - | 11M| 0 | 475 | 500 |3163 | 500 |3199 | 36 | 0 | 0 |-2.375000e+02 |-8.300000e+01 | 65.05%
0.49/0.53 c 0.5s| 1 | 0 | 1242 | - | 12M| 0 | 472 | 500 |3163 | 500 |3208 | 45 | 0 | 0 |-2.360000e+02 |-8.300000e+01 | 64.83%
0.69/0.73 c 0.7s| 1 | 0 | 1776 | - | 12M| 0 | 466 | 500 |3163 | 500 |3218 | 55 | 0 | 0 |-2.327500e+02 |-8.300000e+01 | 64.34%
0.79/0.86 c 0.9s| 1 | 0 | 1984 | - | 12M| 0 | 461 | 500 |3163 | 500 |3227 | 64 | 0 | 0 |-2.302500e+02 |-8.300000e+01 | 63.95%
0.89/1.01 c 1.0s| 1 | 0 | 2569 | - | 12M| 0 | 456 | 500 |3163 | 500 |3238 | 75 | 0 | 0 |-2.280000e+02 |-8.300000e+01 | 63.60%
1.10/1.16 c 1.2s| 1 | 0 | 2785 | - | 12M| 0 | 454 | 500 |3163 | 500 |3246 | 83 | 0 | 0 |-2.270000e+02 |-8.300000e+01 | 63.44%
1.39/1.42 c 1.4s| 1 | 0 | 3704 | - | 13M| 0 | 452 | 500 |3163 | 500 |3257 | 94 | 0 | 0 |-2.250000e+02 |-8.300000e+01 | 63.11%
1.49/1.57 c 1.6s| 1 | 0 | 4039 | - | 13M| 0 | 448 | 500 |3163 | 500 |3265 | 102 | 0 | 0 |-2.240000e+02 |-8.300000e+01 | 62.95%
1.69/1.76 c 1.8s| 1 | 0 | 4799 | - | 13M| 0 | 443 | 500 |3163 | 500 | 991 | 112 | 0 | 0 |-2.210000e+02 |-8.300000e+01 | 62.44%
1.79/1.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.79/1.83 c 1.8s| 1 | 0 | 5156 | - | 13M| 0 | 430 | 500 |3163 | 500 |1002 | 123 | 0 | 0 |-2.190000e+02 |-8.300000e+01 | 62.10%
1.89/1.91 c 1.9s| 1 | 0 | 5274 | - | 13M| 0 | 439 | 500 |3163 | 500 |1037 | 158 | 0 | 0 |-2.180000e+02 |-8.300000e+01 | 61.93%
1.99/2.07 c 2.1s| 1 | 0 | 5856 | - | 15M| 0 | 446 | 500 |3163 | 500 |1058 | 179 | 0 | 0 |-2.175000e+02 |-8.300000e+01 | 61.84%
2.11/2.19 c 2.2s| 1 | 0 | 6405 | - | 15M| 0 | 442 | 500 |3163 | 500 |1104 | 225 | 0 | 0 |-2.170000e+02 |-8.300000e+01 | 61.75%
2.29/2.30 c 2.3s| 1 | 0 | 6880 | - | 16M| 0 | 425 | 500 |3163 | 500 |1115 | 236 | 0 | 0 |-2.165000e+02 |-8.300000e+01 | 61.66%
2.39/2.48 c 2.5s| 1 | 0 | 7449 | - | 16M| 0 | 444 | 500 |3163 | 500 | 855 | 270 | 0 | 0 |-2.151667e+02 |-8.300000e+01 | 61.43%
2.59/2.63 c 2.6s| 1 | 0 | 8080 | - | 16M| 0 | 419 | 500 |3163 | 500 | 975 | 390 | 0 | 0 |-2.135000e+02 |-8.300000e+01 | 61.12%
2.69/2.72 c 2.7s| 1 | 0 | 8381 | - | 17M| 0 | 442 | 500 |3163 | 500 |1009 | 424 | 0 | 0 |-2.122500e+02 |-8.300000e+01 | 60.90%
2.79/2.84 c 2.8s| 1 | 0 | 8938 | - | 17M| 0 | 444 | 500 |3163 | 500 |1101 | 516 | 0 | 0 |-2.108214e+02 |-8.300000e+01 | 60.63%
2.89/2.96 c 3.0s| 1 | 0 | 9518 | - | 18M| 0 | 427 | 500 |3163 | 500 |1226 | 641 | 0 | 0 |-2.095000e+02 |-8.300000e+01 | 60.38%
2.99/3.03 c 3.0s| 1 | 0 | 9776 | - | 18M| 0 | 434 | 500 |3163 | 500 |1256 | 671 | 0 | 0 |-2.090000e+02 |-8.300000e+01 | 60.29%
3.09/3.14 c 3.1s| 1 | 0 | 10581 | - | 18M| 0 | 419 | 500 |3163 | 500 |1079 | 695 | 0 | 0 |-2.075000e+02 |-8.300000e+01 | 60.00%
3.09/3.21 c 3.2s| 1 | 0 | 10773 | - | 18M| 0 | 408 | 500 |3163 | 500 |1137 | 753 | 0 | 0 |-2.070000e+02 |-8.300000e+01 | 59.90%
3.39/3.40 c 3.4s| 1 | 0 | 11955 | - | 19M| 0 | 465 | 500 |3163 | 500 |1175 | 791 | 0 | 0 |-2.065333e+02 |-8.300000e+01 | 59.81%
3.49/3.55 c 3.6s| 1 | 0 | 12744 | - | 19M| 0 | 411 | 500 |3163 | 500 |1390 |1006 | 0 | 0 |-2.055000e+02 |-8.300000e+01 | 59.61%
3.59/3.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.59/3.67 c 3.7s| 1 | 0 | 13342 | - | 19M| 0 | 408 | 500 |3163 | 500 |1414 |1030 | 0 | 0 |-2.047500e+02 |-8.300000e+01 | 59.46%
3.79/3.82 c 3.8s| 1 | 0 | 14245 | - | 19M| 0 | 401 | 500 |3163 | 500 |1442 |1058 | 0 | 0 |-2.025000e+02 |-8.300000e+01 | 59.01%
3.89/3.95 c 4.0s| 1 | 0 | 15340 | - | 19M| 0 | 465 | 500 |3163 | 500 |1139 |1087 | 0 | 0 |-2.014103e+02 |-8.300000e+01 | 58.79%
3.99/4.09 c 4.1s| 1 | 0 | 16167 | - | 20M| 0 | 397 | 500 |3163 | 500 |1360 |1308 | 0 | 0 |-1.995000e+02 |-8.300000e+01 | 58.40%
4.09/4.13 c 4.1s| 1 | 0 | 16276 | - | 20M| 0 | 398 | 500 |3163 | 500 |1374 |1322 | 0 | 0 |-1.990000e+02 |-8.300000e+01 | 58.29%
4.19/4.21 c 4.2s| 1 | 0 | 16386 | - | 20M| 0 | 402 | 500 |3163 | 500 |1380 |1328 | 0 | 0 |-1.990000e+02 |-8.300000e+01 | 58.29%
4.30/4.32 c 4.3s| 1 | 0 | 16567 | - | 20M| 0 | 402 | 500 |3163 | 500 |1387 |1335 | 0 | 0 |-1.990000e+02 |-8.300000e+01 | 58.29%
4.41/4.48 c 4.5s| 1 | 0 | 17383 | - | 20M| 0 | 403 | 500 |3163 | 500 |1408 |1356 | 0 | 0 |-1.985000e+02 |-8.300000e+01 | 58.19%
4.49/4.59 c 4.6s| 1 | 0 | 17901 | - | 21M| 0 | 424 | 500 |3163 | 500 |1094 |1383 | 0 | 0 |-1.980000e+02 |-8.300000e+01 | 58.08%
4.69/4.74 c 4.7s| 1 | 0 | 19165 | - | 21M| 0 | 421 | 500 |3163 | 500 |1104 |1393 | 0 | 0 |-1.975000e+02 |-8.300000e+01 | 57.97%
4.79/4.82 c 4.8s| 1 | 0 | 19413 | - | 21M| 0 | 458 | 500 |3163 | 500 |1171 |1460 | 0 | 0 |-1.970000e+02 |-8.300000e+01 | 57.87%
4.89/4.98 c 5.0s| 1 | 0 | 20274 | - | 21M| 0 | 438 | 500 |3163 | 500 |1255 |1544 | 0 | 0 |-1.968333e+02 |-8.300000e+01 | 57.83%
5.10/5.11 c 5.1s| 1 | 0 | 20915 | - | 22M| 0 | 474 | 500 |3163 | 500 |1302 |1591 | 0 | 0 |-1.963724e+02 |-8.300000e+01 | 57.73%
5.19/5.28 c 5.3s| 1 | 0 | 21458 | - | 22M| 0 | 471 | 500 |3163 | 500 |1409 |1698 | 0 | 0 |-1.960000e+02 |-8.300000e+01 | 57.65%
5.59/5.60 c 5.6s| 1 | 0 | 23729 | - | 23M| 0 | 475 | 500 |3163 | 500 | 997 |1728 | 0 | 0 |-1.952508e+02 |-8.300000e+01 | 57.49%
5.69/5.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.69/5.78 c 5.8s| 1 | 0 | 24526 | - | 24M| 0 | 489 | 500 |3163 | 500 |1046 |1777 | 0 | 0 |-1.945727e+02 |-8.300000e+01 | 57.34%
5.89/5.94 c 5.9s| 1 | 0 | 25181 | - | 24M| 0 | 468 | 500 |3163 | 500 |1156 |1887 | 0 | 0 |-1.941712e+02 |-8.300000e+01 | 57.25%
6.09/6.11 c 6.1s| 1 | 0 | 25735 | - | 26M| 0 | 478 | 500 |3163 | 500 |1194 |1925 | 0 | 0 |-1.937394e+02 |-8.300000e+01 | 57.16%
6.30/6.30 c 6.3s| 1 | 0 | 26498 | - | 26M| 0 | 481 | 500 |3163 | 500 |1219 |1950 | 0 | 0 |-1.930778e+02 |-8.300000e+01 | 57.01%
6.50/6.54 c 6.5s| 1 | 0 | 27727 | - | 27M| 0 | 477 | 500 |3163 | 500 |1289 |2020 | 0 | 0 |-1.925426e+02 |-8.300000e+01 | 56.89%
6.61/6.69 c 6.7s| 1 | 0 | 28089 | - | 27M| 0 | 482 | 500 |3163 | 500 |1164 |2043 | 0 | 0 |-1.923247e+02 |-8.300000e+01 | 56.84%
6.79/6.83 c 6.8s| 1 | 0 | 28444 | - | 28M| 0 | 488 | 500 |3163 | 500 |1187 |2066 | 0 | 0 |-1.918152e+02 |-8.300000e+01 | 56.73%
6.89/6.99 c 7.0s| 1 | 0 | 28814 | - | 29M| 0 | 478 | 500 |3163 | 500 |1223 |2102 | 0 | 0 |-1.916114e+02 |-8.300000e+01 | 56.68%
7.19/7.20 c 7.2s| 1 | 0 | 29604 | - | 31M| 0 | 485 | 500 |3163 | 500 |1246 |2125 | 0 | 0 |-1.910624e+02 |-8.300000e+01 | 56.56%
7.39/7.42 c 7.4s| 1 | 0 | 30386 | - | 32M| 0 | 478 | 500 |3163 | 500 |1296 |2175 | 0 | 0 |-1.907611e+02 |-8.300000e+01 | 56.49%
7.49/7.60 c 7.6s| 1 | 0 | 30817 | - | 33M| 0 | 477 | 500 |3163 | 500 |1321 |2200 | 0 | 0 |-1.905794e+02 |-8.300000e+01 | 56.45%
7.79/7.81 c 7.8s| 1 | 0 | 31600 | - | 34M| 0 | 489 | 500 |3163 | 500 |1067 |2211 | 0 | 0 |-1.904106e+02 |-8.300000e+01 | 56.41%
7.89/7.97 c 8.0s| 1 | 0 | 32050 | - | 35M| 0 | 484 | 500 |3163 | 500 |1085 |2229 | 0 | 0 |-1.902799e+02 |-8.300000e+01 | 56.38%
8.09/8.14 c 8.1s| 1 | 0 | 32481 | - | 35M| 0 | 494 | 500 |3163 | 500 |1112 |2256 | 0 | 0 |-1.900947e+02 |-8.300000e+01 | 56.34%
8.19/8.30 c 8.3s| 1 | 0 | 32596 | - | 35M| 0 | 490 | 500 |3163 | 500 |1146 |2290 | 0 | 0 |-1.900859e+02 |-8.300000e+01 | 56.34%
8.39/8.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.39/8.47 c 8.5s| 1 | 0 | 32995 | - | 35M| 0 | 487 | 500 |3163 | 500 |1150 |2294 | 0 | 0 |-1.899280e+02 |-8.300000e+01 | 56.30%
8.59/8.67 c 8.7s| 1 | 0 | 33690 | - | 35M| 0 | 494 | 500 |3163 | 500 |1163 |2307 | 0 | 0 |-1.897817e+02 |-8.300000e+01 | 56.27%
8.80/8.81 c 8.8s| 1 | 0 | 33718 | - | 35M| 0 | 490 | 500 |3163 | 500 |1042 |2329 | 0 | 0 |-1.897794e+02 |-8.300000e+01 | 56.27%
8.89/8.95 c 8.9s| 1 | 0 | 33963 | - | 35M| 0 | 488 | 500 |3163 | 500 |1044 |2331 | 0 | 0 |-1.897154e+02 |-8.300000e+01 | 56.25%
9.09/9.11 c 9.1s| 1 | 0 | 34315 | - | 36M| 0 | 491 | 500 |3163 | 500 |1063 |2350 | 0 | 0 |-1.895935e+02 |-8.300000e+01 | 56.22%
9.19/9.25 c 9.2s| 1 | 0 | 34452 | - | 36M| 0 | 492 | 500 |3163 | 500 |1082 |2369 | 0 | 0 |-1.895830e+02 |-8.300000e+01 | 56.22%
9.39/9.43 c 9.4s| 1 | 0 | 34983 | - | 36M| 0 | 491 | 500 |3163 | 500 |1084 |2371 | 0 | 0 |-1.893416e+02 |-8.300000e+01 | 56.16%
9.49/9.58 c 9.6s| 1 | 0 | 35271 | - | 36M| 0 | 496 | 500 |3163 | 500 |1129 |2416 | 0 | 0 |-1.893074e+02 |-8.300000e+01 | 56.16%
9.69/9.75 c 9.7s| 1 | 0 | 35696 | - | 36M| 0 | 496 | 500 |3163 | 500 |1014 |2424 | 0 | 0 |-1.891921e+02 |-8.300000e+01 | 56.13%
9.80/9.87 c 9.9s| 1 | 0 | 35745 | - | 36M| 0 | 496 | 500 |3163 | 500 |1033 |2443 | 0 | 0 |-1.891905e+02 |-8.300000e+01 | 56.13%
9.99/10.00 c 10.0s| 1 | 0 | 35748 | - | 36M| 0 | 496 | 500 |3163 | 500 |1036 |2446 | 0 | 0 |-1.891905e+02 |-8.300000e+01 | 56.13%
12.99/13.08 c 13.1s| 1 | 2 | 35748 | - | 36M| 0 | 496 | 500 |3163 | 500 |1036 |2446 | 0 | 36 |-1.891905e+02 |-8.300000e+01 | 56.13%
152.30/152.36 c 152s| 10000 | 10001 | 1863k| 182.8 | 47M| 45 | 40 | 500 |3163 | 500 | 496 | 525k| 0 |4559 |-1.876122e+02 |-8.300000e+01 | 55.76%
273.50/273.59 c 274s| 20000 | 20001 | 3616k| 179.1 | 58M| 51 | 17 | 500 |3163 | 500 | 496 |1055k| 0 |6482 |-1.873293e+02 |-8.300000e+01 | 55.69%
379.10/379.13 c 379s| 30000 | 30001 | 5175k| 171.3 | 69M| 51 | 20 | 500 |3163 | 500 | 496 |1536k| 0 |8061 |-1.871601e+02 |-8.300000e+01 | 55.65%
448.40/448.48 o -84
448.40/448.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
448.40/448.48 c C 448s| 36859 | 36860 | 6209k| 167.5 | 77M| 51 | 24 | 500 |3163 | 500 | 496 |1862k| 0 |8951 |-1.870909e+02 |-8.400000e+01 | 55.10%
479.80/479.82 c 480s| 40000 | 40001 | 6682k| 166.2 | 80M| 51 | 278 | 500 |3163 | 500 | 750 |2009k| 0 |9209 |-1.870603e+02 |-8.400000e+01 | 55.09%
578.91/578.92 c 579s| 50000 | 50001 | 8193k| 163.2 | 91M| 52 | 217 | 500 |3163 | 500 | 766 |2495k| 0 | 10k|-1.869836e+02 |-8.400000e+01 | 55.08%
673.22/673.23 c 673s| 60000 | 60001 | 9638k| 160.0 | 102M| 52 | 141 | 500 |3163 | 500 | 577 |2971k| 0 | 11k|-1.869010e+02 |-8.400000e+01 | 55.06%
769.11/769.17 c 769s| 70000 | 70001 | 11103k| 158.1 | 113M| 53 | 245 | 500 |3163 | 500 | 774 |3437k| 0 | 12k|-1.868276e+02 |-8.400000e+01 | 55.04%
864.69/864.72 c 865s| 80000 | 80001 | 12571k| 156.7 | 123M| 53 | 44 | 500 |3163 | 500 | 586 |3912k| 0 | 13k|-1.867701e+02 |-8.400000e+01 | 55.02%
959.47/959.51 c 960s| 90000 | 90001 | 14022k| 155.4 | 134M| 54 | 137 | 500 |3163 | 500 | 635 |4385k| 0 | 13k|-1.867135e+02 |-8.400000e+01 | 55.01%
1054.68/1054.75 c 1055s|100000 |100001 | 15485k| 154.5 | 145M| 54 | 205 | 500 |3163 | 500 | 744 |4849k| 0 | 14k|-1.866714e+02 |-8.400000e+01 | 55.00%
1147.78/1147.85 c 1148s|110000 |110001 | 16921k| 153.5 | 156M| 54 | 198 | 500 |3163 | 500 | 735 |5315k| 0 | 15k|-1.866272e+02 |-8.400000e+01 | 54.99%
1246.20/1246.24 c 1246s|120000 |120001 | 18436k| 153.3 | 167M| 54 | 152 | 500 |3163 | 500 | 579 |5771k| 0 | 15k|-1.865910e+02 |-8.400000e+01 | 54.98%
1338.38/1338.47 c 1338s|130000 |130001 | 19870k| 152.6 | 178M| 55 | 88 | 500 |3163 | 500 | 697 |6230k| 0 | 16k|-1.865565e+02 |-8.400000e+01 | 54.97%
1429.78/1429.91 c 1430s|140000 |140001 | 21292k| 151.8 | 188M| 55 | 30 | 500 |3163 | 500 | 496 |6676k| 0 | 16k|-1.865191e+02 |-8.400000e+01 | 54.96%
1523.58/1523.61 c 1524s|150000 |150001 | 22748k| 151.4 | 199M| 55 | 5 | 500 |3163 | 500 | 496 |7135k| 0 | 17k|-1.864874e+02 |-8.400000e+01 | 54.96%
1609.59/1609.61 c 1610s|160000 |160001 | 24087k| 150.3 | 210M| 65 | 208 | 500 |3163 | 500 | 718 |7577k| 0 | 17k|-1.864639e+02 |-8.400000e+01 | 54.95%
1695.88/1695.91 c 1696s|170000 |170001 | 25424k| 149.3 | 221M| 65 | 73 | 500 |3163 | 500 | 496 |8004k| 0 | 18k|-1.864413e+02 |-8.400000e+01 | 54.95%
1780.99/1781.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.99/1781.02 c 1781s|180000 |180001 | 26750k| 148.4 | 232M| 65 | 189 | 500 |3163 | 500 | 584 |8450k| 0 | 18k|-1.864231e+02 |-8.400000e+01 | 54.94%
1799.98/1800.00 c
1799.98/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.98/1800.00 c Solving Time (sec) : 1800.00
1799.98/1800.00 c Solving Nodes : 182213
1799.98/1800.00 c Primal Bound : -8.40000000000000e+01 (543 solutions)
1799.98/1800.00 c Dual Bound : -1.86416938110749e+02
1799.98/1800.00 c Gap : 54.94 %
1799.98/1800.00 s SATISFIABLE
1799.98/1800.00 v x500 x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 x482 -x481 x480 x479 -x478
1799.98/1800.00 v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1799.98/1800.00 v -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436
1799.98/1800.00 v -x435 x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415
1799.98/1800.00 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 x395 -x394
1799.98/1800.00 v x393 -x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 x373
1799.98/1800.00 v -x372 x371 x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 -x351
1799.98/1800.00 v -x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 x330
1799.98/1800.00 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
1799.98/1800.00 v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287
1799.98/1800.00 v -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1799.98/1800.00 v -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 x245
1799.98/1800.00 v x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224
1799.98/1800.00 v -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 x209 x208 -x207 -x206 -x205 -x204 -x203
1799.98/1800.00 v -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181
1799.98/1800.00 v -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160
1799.98/1800.01 v -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1799.98/1800.01 v -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 x118
1799.98/1800.01 v -x117 -x116 -x115 -x114 -x113 x112 x111 -x110 -x109 x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96
1799.98/1800.01 v -x95 x94 x93 -x92 x91 -x90 x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 x69
1799.98/1800.01 v -x68 -x67 -x66 -x65 x64 -x63 x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 x51 x50 -x49 x48 -x47 x46 -x45 -x44 -x43 -x42
1799.98/1800.01 v -x41 -x40 -x39 -x38 x37 -x36 x35 x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 x23 x22 x21 x20 -x19 -x18 -x17 -x16
1799.98/1800.01 v x15 x14 -x13 x12 x11 -x10 x9 -x8 x7 -x6 x5 x4 x3 x2 -x1
1799.98/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1799.98/1800.01 c Total Time : 1800.00
1799.98/1800.01 c solving : 1800.00
1799.98/1800.01 c presolving : 0.06 (included in solving)
1799.98/1800.01 c reading : 0.02 (included in solving)
1799.98/1800.01 c Original Problem :
1799.98/1800.01 c Problem name : HOME/instance-3450640-1307104650.opb
1799.98/1800.01 c Variables : 3663 (3663 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.98/1800.01 c Constraints : 4163 initial, 4163 maximal
1799.98/1800.01 c Presolved Problem :
1799.98/1800.01 c Problem name : t_HOME/instance-3450640-1307104650.opb
1799.98/1800.01 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.98/1800.01 c Constraints : 3163 initial, 3163 maximal
1799.98/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.98/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c and : 0.03 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c linear : 0.01 3163 0 0 3163 0 500 0 0 0
1799.98/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c pseudoboolean : 0.00 0 0 0 0 0 500 0 0 0
1799.98/1800.01 c root node : - 0 - - 0 - - - - -
1799.98/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.98/1800.01 c integral : 0 0 0 220739 0 386415 0 0 0 0 0 364424
1799.98/1800.01 c logicor : 3163 68 290866 38527 0 386411 0 0 1536272 8549222 0 0
1799.98/1800.01 c countsols : 0 0 0 0 0 545 0 0 0 0 0 0
1799.98/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.98/1800.01 c integral : 82.29 0.00 0.00 82.20 0.00 0.09 0.00
1799.98/1800.01 c logicor : 19.18 0.03 5.75 7.08 0.00 6.33 0.00
1799.98/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.98/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.98/1800.01 c vbounds : 0 0 0 0
1799.98/1800.01 c rootredcost : 1 0 0 0
1799.98/1800.01 c pseudoobj : 617651 0 0 0
1799.98/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1799.98/1800.01 c vbounds : 0.10 0.10 0.00
1799.98/1800.01 c rootredcost : 0.12 0.12 0.00
1799.98/1800.01 c pseudoobj : 5.37 5.37 0.00
1799.98/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.98/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1799.98/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1799.98/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.98/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.98/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.98/1800.01 c applied globally : - - - 0 0.0 - - -
1799.98/1800.01 c applied locally : - - - 0 0.0 - - -
1799.98/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.98/1800.01 c cut pool : 0.13 67 - - 338 - (maximal pool size: 4615)
1799.98/1800.01 c redcost : 2.14 220806 0 0 0 0
1799.98/1800.01 c impliedbounds : 0.02 68 0 0 3264 0
1799.98/1800.01 c intobj : 0.00 0 0 0 0 0
1799.98/1800.01 c gomory : 4.03 68 0 0 25588 0
1799.98/1800.01 c cgmip : 0.00 0 0 0 0 0
1799.98/1800.01 c closecuts : 0.00 0 0 0 0 0
1799.98/1800.01 c strongcg : 0.55 20 0 0 10000 0
1799.98/1800.01 c cmir : 0.07 10 0 0 0 0
1799.98/1800.01 c flowcover : 0.05 10 0 0 0 0
1799.98/1800.01 c clique : 0.23 68 0 0 421 0
1799.98/1800.01 c zerohalf : 0.00 0 0 0 0 0
1799.98/1800.01 c mcf : 0.00 1 0 0 0 0
1799.98/1800.01 c oddcycle : 0.00 0 0 0 0 0
1799.98/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1799.98/1800.01 c Pricers : Time Calls Vars
1799.98/1800.01 c problem variables: 0.00 0 0
1799.98/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.98/1800.01 c relpscost : 82.07 182212 0 0 0 0 364424
1799.98/1800.01 c pscost : 0.00 0 0 0 0 0 0
1799.98/1800.01 c inference : 0.00 1 0 0 0 0 2
1799.98/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1799.98/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1799.98/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1799.98/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1799.98/1800.01 c random : 0.00 0 0 0 0 0 0
1799.98/1800.01 c Primal Heuristics : Time Calls Found
1799.98/1800.01 c LP solutions : 0.00 - 0
1799.98/1800.01 c pseudo solutions : 0.00 - 0
1799.98/1800.01 c oneopt : 0.05 3 1
1799.98/1800.01 c crossover : 0.64 24 6
1799.98/1800.01 c rootsoldiving : 12.88 1102 0
1799.98/1800.01 c coefdiving : 32.62 4045 69
1799.98/1800.01 c pscostdiving : 31.63 4045 66
1799.98/1800.01 c veclendiving : 42.11 4046 75
1799.98/1800.01 c guideddiving : 32.04 4046 31
1799.98/1800.01 c fracdiving : 31.44 4046 17
1799.98/1800.01 c linesearchdiving : 31.82 4046 37
1799.98/1800.01 c trivial : 0.00 2 1
1799.98/1800.01 c shiftandpropagate: 0.00 0 0
1799.98/1800.01 c simplerounding : 5.17 182274 227
1799.98/1800.01 c zirounding : 0.16 1000 0
1799.98/1800.01 c rounding : 16.93 20327 1
1799.98/1800.01 c shifting : 5.49 5984 1
1799.98/1800.01 c intshifting : 0.00 0 0
1799.98/1800.01 c twoopt : 0.00 0 0
1799.98/1800.01 c fixandinfer : 0.00 0 0
1799.98/1800.01 c feaspump : 0.00 0 0
1799.98/1800.01 c clique : 0.00 0 0
1799.98/1800.01 c intdiving : 0.00 0 0
1799.98/1800.01 c actconsdiving : 0.00 0 0
1799.98/1800.01 c objpscostdiving : 16.61 606 11
1799.98/1800.01 c octane : 0.00 0 0
1799.98/1800.01 c rens : 0.01 0 0
1799.98/1800.01 c rins : 0.00 0 0
1799.98/1800.01 c localbranching : 0.00 0 0
1799.98/1800.01 c mutation : 0.00 0 0
1799.98/1800.01 c dins : 0.00 0 0
1799.98/1800.01 c vbounds : 0.00 0 0
1799.98/1800.01 c undercover : 0.01 1 0
1799.98/1800.01 c subnlp : 0.03 0 0
1799.98/1800.01 c trysol : 0.05 0 0
1799.98/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1799.98/1800.01 c primal LP : 11.38 0 0 0.00 0.00
1799.98/1800.01 c dual LP : 1378.64 220781 23784894 107.73 17252.40
1799.98/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1799.98/1800.01 c barrier LP : 0.00 0 0 0.00 -
1799.98/1800.01 c diving/probing LP: 193.06 180586 3261744 18.06 16895.26
1799.98/1800.01 c strong branching : 76.53 18930 1082160 57.17 14140.77
1799.98/1800.01 c (at root node) : - 36 30808 855.78 -
1799.98/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1799.98/1800.01 c B&B Tree :
1799.98/1800.01 c number of runs : 1
1799.98/1800.01 c nodes : 182213
1799.98/1800.01 c nodes (total) : 182213
1799.98/1800.01 c nodes left : 182214
1799.98/1800.01 c max depth : 65
1799.98/1800.01 c max depth (total): 65
1799.98/1800.01 c backtracks : 25982 (14.3%)
1799.98/1800.01 c delayed cutoffs : 0
1799.98/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1799.98/1800.01 c avg switch length: 4.50
1799.98/1800.01 c switching time : 22.45
1799.98/1800.01 c Solution :
1799.98/1800.01 c Solutions found : 543 (5 improvements)
1799.98/1800.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1799.98/1800.01 c Primal Bound : -8.40000000000000e+01 (in run 1, after 36859 nodes, 448.48 seconds, depth 29, found by <crossover>)
1799.98/1800.01 c Dual Bound : -1.86416938110749e+02
1799.98/1800.01 c Gap : 54.94 %
1799.98/1800.01 c Root Dual Bound : -1.89190469709759e+02
1799.98/1800.01 c Root Iterations : 35748
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-3450640-1307104650/watcher-3450640-1307104650 -o /tmp/evaluation-result-3450640-1307104650/solver-3450640-1307104650 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450640-1307104650.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 2.02 1.99 2/434 32617
/proc/meminfo: memFree=12344604/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=16896 CPUtime=0.01 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 3214 0 0 0 1 0 0 0 23 0 1 0 822064642 17301504 3168 33554432000 4194304 9163163 140736576017456 18446744073709551615 6922376 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32617/statm: 4224 3168 415 1214 0 3006 0
[startup+0.081806 s]
/proc/loadavg: 1.93 2.02 1.99 2/434 32617
/proc/meminfo: memFree=12344604/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=32392 CPUtime=0.07 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 7091 0 0 0 7 0 0 0 23 0 1 0 822064642 33169408 6787 33554432000 4194304 9163163 140736576017456 18446744073709551615 4518972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 8098 6787 529 1214 0 6880 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 32392
[startup+0.100801 s]
/proc/loadavg: 1.93 2.02 1.99 2/434 32617
/proc/meminfo: memFree=12344604/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=33248 CPUtime=0.09 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 7321 0 0 0 9 0 0 0 23 0 1 0 822064642 34045952 7017 33554432000 4194304 9163163 140736576017456 18446744073709551615 5275468 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 8312 7017 543 1214 0 7094 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33248
[startup+0.30077 s]
/proc/loadavg: 1.93 2.02 1.99 2/434 32617
/proc/meminfo: memFree=12344604/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=39536 CPUtime=0.29 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 11681 0 0 0 28 1 0 0 18 0 1 0 822064642 40484864 8695 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 9884 8695 701 1214 0 8666 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39536
[startup+0.700707 s]
/proc/loadavg: 1.93 2.02 1.99 2/434 32617
/proc/meminfo: memFree=12344604/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=48368 CPUtime=0.69 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 13903 0 0 0 66 3 0 0 18 0 1 0 822064642 49528832 10908 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 12092 10908 692 1214 0 10874 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48368
[startup+1.50057 s]
/proc/loadavg: 1.93 2.02 1.99 3/435 32618
/proc/meminfo: memFree=12301444/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=54004 CPUtime=1.49 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 15484 0 0 0 144 5 0 0 19 0 1 0 822064642 55300096 12442 33554432000 4194304 9163163 140736576017456 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 13501 12442 693 1214 0 12283 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54004
[startup+3.10029 s]
/proc/loadavg: 1.93 2.02 1.99 3/435 32618
/proc/meminfo: memFree=12287556/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=71376 CPUtime=3.09 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 19857 0 0 0 298 11 0 0 24 0 1 0 822064642 73089024 16798 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 17844 16798 693 1214 0 16626 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 71376
[startup+6.30074 s]
/proc/loadavg: 2.10 2.05 2.01 4/435 32618
/proc/meminfo: memFree=12266364/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=85000 CPUtime=6.3 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 23264 0 0 0 609 21 0 0 25 0 1 0 822064642 87040000 20160 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 21250 20160 731 1214 0 20032 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 85000
[startup+12.7006 s]
/proc/loadavg: 2.09 2.05 2.00 3/435 32618
/proc/meminfo: memFree=12252728/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=93436 CPUtime=12.69 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 26852 0 0 0 1230 39 0 0 25 0 1 0 822064642 95678464 22318 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 23359 22318 724 1214 0 22141 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93436
[startup+25.5004 s]
/proc/loadavg: 2.14 2.06 2.01 3/435 32618
/proc/meminfo: memFree=12250724/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=93436 CPUtime=25.49 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 29619 0 0 0 2431 118 0 0 25 0 1 0 822064642 95678464 22331 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 23359 22331 723 1214 0 22141 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 93436
[startup+51.101 s]
/proc/loadavg: 2.09 2.06 2.01 3/435 32619
/proc/meminfo: memFree=12246704/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=93436 CPUtime=51.09 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 35434 0 0 0 4836 273 0 0 25 0 1 0 822064642 95678464 22336 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 23359 22336 723 1214 0 22141 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 93436
[startup+102.316 s]
/proc/loadavg: 2.04 2.05 2.00 3/435 32620
/proc/meminfo: memFree=12234988/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=98500 CPUtime=102.31 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 50785 0 0 0 9632 599 0 0 25 0 1 0 822064642 100864000 23580 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 24625 23580 723 1214 0 23407 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 98500
[startup+162.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/435 32622
/proc/meminfo: memFree=12221456/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=104948 CPUtime=162.29 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 55918 0 0 0 15251 978 0 0 25 0 1 0 822064642 107466752 25163 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 26237 25163 723 1214 0 25019 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 104948
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/435 32624
/proc/meminfo: memFree=12204208/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=111292 CPUtime=222.3 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 57589 0 0 0 20869 1361 0 0 25 0 1 0 822064642 113963008 26833 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 27823 26833 723 1214 0 26605 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 111292
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 32625
/proc/meminfo: memFree=12188568/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=117204 CPUtime=282.3 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 62617 0 0 0 26483 1747 0 0 25 0 1 0 822064642 120016896 28331 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 29301 28331 723 1214 0 28083 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 117204
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 32627
/proc/meminfo: memFree=12170956/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=126256 CPUtime=342.3 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 71921 0 0 0 32097 2133 0 0 25 0 1 0 822064642 129286144 30575 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 31564 30575 723 1214 0 30346 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 126256
[startup+402.301 s]
/proc/loadavg: 2.16 2.04 2.01 3/435 32628
/proc/meminfo: memFree=12155448/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=130700 CPUtime=402.3 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 73115 0 0 0 37719 2511 0 0 25 0 1 0 822064642 133836800 31768 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 32675 31768 723 1214 0 31457 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 130700
[startup+462.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/435 32630
/proc/meminfo: memFree=12140812/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=137976 CPUtime=462.3 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 88960 0 0 0 43329 2901 0 0 25 0 1 0 822064642 141287424 33596 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 34494 33596 730 1214 0 33276 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 137976
[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/435 32632
/proc/meminfo: memFree=12121212/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=146108 CPUtime=522.3 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 101514 0 0 0 48943 3287 0 0 25 0 1 0 822064642 149614592 35658 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 36527 35658 730 1214 0 35309 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 146108
[startup+582.301 s]
/proc/loadavg: 2.08 2.03 2.01 3/435 32633
/proc/meminfo: memFree=12107560/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=151208 CPUtime=582.3 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 106275 0 0 0 54554 3676 0 0 25 0 1 0 822064642 154836992 36942 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 37802 36942 730 1214 0 36584 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 151208
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.05 2.04 2.01 3/435 32696
/proc/meminfo: memFree=12183600/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=189276 CPUtime=882.29 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 118952 0 0 0 82602 5627 0 0 25 0 1 0 822064642 193818624 46044 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 47319 46044 730 1214 0 46101 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 189276
[startup+942.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/435 32698
/proc/meminfo: memFree=12178020/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=195260 CPUtime=942.28 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 123967 0 0 0 88209 6019 0 0 25 0 1 0 822064642 199946240 47572 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 48815 47572 730 1214 0 47597 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 195260
[startup+1002.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/435 32699
/proc/meminfo: memFree=12169700/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=203440 CPUtime=1002.28 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 126010 0 0 0 93824 6404 0 0 25 0 1 0 822064642 208322560 49615 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 50860 49615 730 1214 0 49642 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 203440
[startup+1062.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/435 32701
/proc/meminfo: memFree=12159776/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=212276 CPUtime=1062.28 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 128247 0 0 0 99438 6790 0 0 25 0 1 0 822064642 217370624 51847 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 53069 51847 730 1214 0 51851 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 212276
[startup+1122.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/435 32703
/proc/meminfo: memFree=12155052/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=214112 CPUtime=1122.28 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 132369 0 0 0 105048 7180 0 0 25 0 1 0 822064642 219250688 52375 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 53528 52375 730 1214 0 52310 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 214112
[startup+1182.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/435 32704
/proc/meminfo: memFree=12143136/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=223772 CPUtime=1182.28 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 141747 0 0 0 110657 7571 0 0 25 0 1 0 822064642 229142528 54743 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 55943 54743 730 1214 0 54725 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 223772
[startup+1242.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/435 32706
/proc/meminfo: memFree=12128368/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=234792 CPUtime=1242.28 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 144589 0 0 0 116267 7961 0 0 25 0 1 0 822064642 240427008 57585 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 58698 57585 730 1214 0 57480 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 234792
[startup+1302.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/435 32707
/proc/meminfo: memFree=12117196/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=241188 CPUtime=1302.3 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 146139 0 0 0 121875 8355 0 0 25 0 1 0 822064642 246976512 59135 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 60297 59135 730 1214 0 59079 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 241188
[startup+1362.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/435 32709
/proc/meminfo: memFree=12109620/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=246120 CPUtime=1362.28 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 147409 0 0 0 127480 8748 0 0 25 0 1 0 822064642 252026880 60405 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 61530 60405 730 1214 0 60312 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 246120
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 32720
/proc/meminfo: memFree=12096108/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=252236 CPUtime=1422.31 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 148994 0 0 0 133095 9136 0 0 25 0 1 0 822064642 258289664 61990 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 63059 61990 730 1214 0 61841 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 252236
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 32721
/proc/meminfo: memFree=12083392/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=260304 CPUtime=1482.28 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 151040 0 0 0 138702 9526 0 0 25 0 1 0 822064642 266551296 64033 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 65076 64033 730 1214 0 63858 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 260304
[startup+1542.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/435 32723
/proc/meminfo: memFree=12069740/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=269276 CPUtime=1542.28 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 153306 0 0 0 144315 9913 0 0 25 0 1 0 822064642 275738624 66295 33554432000 4194304 9163163 140736576017456 18446744073709551615 7375968 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 67319 66295 730 1214 0 66101 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 269276
[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/435 32724
/proc/meminfo: memFree=12056828/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=274224 CPUtime=1602.28 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 154569 0 0 0 149908 10320 0 0 25 0 1 0 822064642 280805376 67558 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 68556 67558 730 1214 0 67338 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 274224
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/435 32726
/proc/meminfo: memFree=12043916/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=280932 CPUtime=1662.28 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 156230 0 0 0 155513 10715 0 0 25 0 1 0 822064642 287674368 69218 33554432000 4194304 9163163 140736576017456 18446744073709551615 6687952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 70233 69218 730 1214 0 69015 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 280932
[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/435 32731
/proc/meminfo: memFree=12026988/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=288728 CPUtime=1722.29 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 158291 0 0 0 161112 11117 0 0 25 0 1 0 822064642 295657472 71273 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 72182 71273 730 1214 0 70964 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 288728
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/435 32732
/proc/meminfo: memFree=12009672/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=296168 CPUtime=1782.28 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 160120 0 0 0 166716 11512 0 0 25 0 1 0 822064642 303276032 73102 33554432000 4194304 9163163 140736576017456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32617/statm: 74042 73102 730 1214 0 72824 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 296168
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.05 2.04 2.00 3/435 32733
/proc/meminfo: memFree=12006448/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=297860 CPUtime=1800.1 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 160600 0 0 0 168383 11627 0 0 25 0 1 0 822064642 305008640 73582 33554432000 4194304 9163163 140736576017456 18446744073709551615 6637789 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32617/statm: 74465 73582 732 1214 0 73247 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 297860
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.05 2.04 2.00 3/435 32733
/proc/meminfo: memFree=12006448/32951132 swapFree=67093840/67111528
[pid=32617] ppid=32615 vsize=297860 CPUtime=1800.1 cores=1,3,5,7
/proc/32617/stat : 32617 (scip-2.0.1.4b.l) R 32615 32617 27022 0 -1 4202496 160600 0 0 0 168383 11627 0 0 25 0 1 0 822064642 305008640 73582 33554432000 4194304 9163163 140736576017456 18446744073709551615 6637789 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32617/statm: 74465 73582 732 1214 0 73247 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 297860
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.13
CPU time (s): 1800.12
CPU user time (s): 1683.83
CPU system time (s): 116.289
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 297860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1683.83
system time used= 116.289
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160600
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= 1899
runsolver used 7.2389 second user time and 17.4853 second system time
The end