0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3485118-1307783088.opb>
0.00/0.01 c original problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.01/0.03 o 0
0.01/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.01/0.03 c presolving:
0.01/0.06 c (round 1) 3163 del vars, 500 del conss, 0 add conss, 3163 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12652 impls, 0 clqs
0.01/0.07 c (round 2) 3163 del vars, 500 del conss, 0 add conss, 3163 chg bounds, 0 chg sides, 0 chg coeffs, 3163 upgd conss, 18978 impls, 0 clqs
0.01/0.08 c (0.1s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.01/0.08 c presolving (3 rounds):
0.01/0.08 c 3163 deleted vars, 500 deleted constraints, 0 added constraints, 3163 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.08 c 18978 implications, 0 cliques
0.01/0.08 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 3163 constraints
0.01/0.08 c 3163 constraints of type <logicor>
0.01/0.08 c transformed objective value is always integral (scale: 1)
0.01/0.08 c Presolving Time: 0.07
0.01/0.08 c - non default parameters ----------------------------------------------------------------------
0.01/0.08 c # SCIP version 2.0.1.4
0.01/0.08 c
0.01/0.08 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.08 c conflict/interconss = 0
0.01/0.08 c
0.01/0.08 c # should binary conflicts be preferred?
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c conflict/preferbinary = TRUE
0.01/0.08 c
0.01/0.08 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.08 c constraints/agelimit = 1
0.01/0.08 c
0.01/0.08 c # should enforcement of pseudo solution be disabled?
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/disableenfops = TRUE
0.01/0.08 c
0.01/0.08 c # frequency for displaying node information lines
0.01/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.08 c display/freq = 10000
0.01/0.08 c
0.01/0.08 c # maximal time in seconds to run
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.08 c limits/time = 1797
0.01/0.08 c
0.01/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.08 c limits/memory = 13950
0.01/0.08 c
0.01/0.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.08 c # [type: int, range: [1,2], default: 1]
0.01/0.08 c timing/clocktype = 2
0.01/0.08 c
0.01/0.08 c # belongs reading time to solving time?
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c timing/reading = TRUE
0.01/0.08 c
0.01/0.08 c # should presolving try to simplify inequalities
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/linear/simplifyinequalities = TRUE
0.01/0.08 c
0.01/0.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/indicator/addCouplingCons = TRUE
0.01/0.08 c
0.01/0.08 c # should presolving try to simplify knapsacks
0.01/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.08 c
0.01/0.08 c -----------------------------------------------------------------------------------------------
0.01/0.08 c start solving
0.01/0.08 c
0.09/0.11 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.11 c t 0.1s| 1 | 0 | 563 | - |7965k| 0 | 500 | 500 |3163 | 500 |3163 | 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.09/0.12 o -1
0.09/0.12 c R 0.1s| 1 | 0 | 563 | - |7972k| 0 | 500 | 500 |3163 | 500 |3163 | 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.09/0.13 o -2
0.09/0.13 c s 0.1s| 1 | 0 | 563 | - |7977k| 0 | 500 | 500 |3163 | 500 |3163 | 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.09/0.19 c 0.2s| 1 | 0 | 705 | - |7985k| 0 | 490 | 500 |3163 | 500 |3174 | 11 | 0 | 0 |-2.450000e+02 |-2.000000e+00 | 99.18%
0.09/0.19 o -83
0.09/0.19 c b 0.2s| 1 | 0 | 705 | - |7999k| 0 | 490 | 500 |3163 | 500 |3174 | 11 | 0 | 0 |-2.450000e+02 |-8.300000e+01 | 66.12%
0.19/0.28 c 0.3s| 1 | 0 | 943 | - |8009k| 0 | 483 | 500 |3163 | 500 |3187 | 24 | 0 | 0 |-2.415000e+02 |-8.300000e+01 | 65.63%
0.29/0.37 c 0.4s| 1 | 0 | 1096 | - |8078k| 0 | 475 | 500 |3163 | 500 |3199 | 36 | 0 | 0 |-2.375000e+02 |-8.300000e+01 | 65.05%
0.49/0.51 c 0.5s| 1 | 0 | 1242 | - |8391k| 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 | - |8897k| 0 | 466 | 500 |3163 | 500 |3218 | 55 | 0 | 0 |-2.327500e+02 |-8.300000e+01 | 64.34%
0.79/0.87 c 0.9s| 1 | 0 | 1984 | - |9008k| 0 | 461 | 500 |3163 | 500 |3227 | 64 | 0 | 0 |-2.302500e+02 |-8.300000e+01 | 63.95%
1.00/1.04 c 1.0s| 1 | 0 | 2569 | - |9055k| 0 | 456 | 500 |3163 | 500 |3238 | 75 | 0 | 0 |-2.280000e+02 |-8.300000e+01 | 63.60%
1.19/1.20 c 1.2s| 1 | 0 | 2785 | - |9111k| 0 | 454 | 500 |3163 | 500 |3246 | 83 | 0 | 0 |-2.270000e+02 |-8.300000e+01 | 63.44%
1.39/1.49 c 1.5s| 1 | 0 | 3704 | - |9610k| 0 | 452 | 500 |3163 | 500 |3257 | 94 | 0 | 0 |-2.250000e+02 |-8.300000e+01 | 63.11%
1.59/1.65 c 1.7s| 1 | 0 | 4039 | - |9779k| 0 | 448 | 500 |3163 | 500 |3265 | 102 | 0 | 0 |-2.240000e+02 |-8.300000e+01 | 62.95%
1.79/1.86 c 1.9s| 1 | 0 | 4799 | - |9826k| 0 | 443 | 500 |3163 | 500 | 991 | 112 | 0 | 0 |-2.210000e+02 |-8.300000e+01 | 62.44%
1.89/1.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.94 c 1.9s| 1 | 0 | 5156 | - |9874k| 0 | 430 | 500 |3163 | 500 |1002 | 123 | 0 | 0 |-2.190000e+02 |-8.300000e+01 | 62.10%
1.99/2.03 c 2.0s| 1 | 0 | 5274 | - |9944k| 0 | 439 | 500 |3163 | 500 |1037 | 158 | 0 | 0 |-2.180000e+02 |-8.300000e+01 | 61.93%
2.10/2.20 c 2.2s| 1 | 0 | 5856 | - | 11M| 0 | 446 | 500 |3163 | 500 |1058 | 179 | 0 | 0 |-2.175000e+02 |-8.300000e+01 | 61.84%
2.29/2.33 c 2.3s| 1 | 0 | 6405 | - | 12M| 0 | 442 | 500 |3163 | 500 |1104 | 225 | 0 | 0 |-2.170000e+02 |-8.300000e+01 | 61.75%
2.39/2.45 c 2.5s| 1 | 0 | 6880 | - | 12M| 0 | 425 | 500 |3163 | 500 |1115 | 236 | 0 | 0 |-2.165000e+02 |-8.300000e+01 | 61.66%
2.60/2.66 c 2.7s| 1 | 0 | 7449 | - | 12M| 0 | 444 | 500 |3163 | 500 | 855 | 270 | 0 | 0 |-2.151667e+02 |-8.300000e+01 | 61.43%
2.79/2.83 c 2.8s| 1 | 0 | 8080 | - | 13M| 0 | 419 | 500 |3163 | 500 | 975 | 390 | 0 | 0 |-2.135000e+02 |-8.300000e+01 | 61.12%
2.89/2.92 c 2.9s| 1 | 0 | 8381 | - | 13M| 0 | 442 | 500 |3163 | 500 |1009 | 424 | 0 | 0 |-2.122500e+02 |-8.300000e+01 | 60.90%
2.99/3.06 c 3.1s| 1 | 0 | 8938 | - | 13M| 0 | 444 | 500 |3163 | 500 |1101 | 516 | 0 | 0 |-2.108214e+02 |-8.300000e+01 | 60.63%
3.09/3.18 c 3.2s| 1 | 0 | 9518 | - | 14M| 0 | 427 | 500 |3163 | 500 |1226 | 641 | 0 | 0 |-2.095000e+02 |-8.300000e+01 | 60.38%
3.19/3.26 c 3.3s| 1 | 0 | 9776 | - | 14M| 0 | 434 | 500 |3163 | 500 |1256 | 671 | 0 | 0 |-2.090000e+02 |-8.300000e+01 | 60.29%
3.29/3.39 c 3.4s| 1 | 0 | 10581 | - | 14M| 0 | 419 | 500 |3163 | 500 |1079 | 695 | 0 | 0 |-2.075000e+02 |-8.300000e+01 | 60.00%
3.39/3.46 c 3.5s| 1 | 0 | 10773 | - | 14M| 0 | 408 | 500 |3163 | 500 |1137 | 753 | 0 | 0 |-2.070000e+02 |-8.300000e+01 | 59.90%
3.59/3.67 c 3.7s| 1 | 0 | 11955 | - | 15M| 0 | 465 | 500 |3163 | 500 |1175 | 791 | 0 | 0 |-2.065333e+02 |-8.300000e+01 | 59.81%
3.79/3.84 c 3.8s| 1 | 0 | 12744 | - | 15M| 0 | 411 | 500 |3163 | 500 |1390 |1006 | 0 | 0 |-2.055000e+02 |-8.300000e+01 | 59.61%
3.89/3.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.89/3.97 c 4.0s| 1 | 0 | 13342 | - | 15M| 0 | 408 | 500 |3163 | 500 |1414 |1030 | 0 | 0 |-2.047500e+02 |-8.300000e+01 | 59.46%
4.09/4.13 c 4.1s| 1 | 0 | 14245 | - | 15M| 0 | 401 | 500 |3163 | 500 |1442 |1058 | 0 | 0 |-2.025000e+02 |-8.300000e+01 | 59.01%
4.19/4.28 c 4.3s| 1 | 0 | 15340 | - | 15M| 0 | 465 | 500 |3163 | 500 |1139 |1087 | 0 | 0 |-2.014103e+02 |-8.300000e+01 | 58.79%
4.40/4.43 c 4.4s| 1 | 0 | 16167 | - | 16M| 0 | 397 | 500 |3163 | 500 |1360 |1308 | 0 | 0 |-1.995000e+02 |-8.300000e+01 | 58.40%
4.40/4.47 c 4.5s| 1 | 0 | 16276 | - | 16M| 0 | 398 | 500 |3163 | 500 |1374 |1322 | 0 | 0 |-1.990000e+02 |-8.300000e+01 | 58.29%
4.50/4.56 c 4.6s| 1 | 0 | 16386 | - | 16M| 0 | 402 | 500 |3163 | 500 |1380 |1328 | 0 | 0 |-1.990000e+02 |-8.300000e+01 | 58.29%
4.60/4.68 c 4.7s| 1 | 0 | 16567 | - | 16M| 0 | 402 | 500 |3163 | 500 |1387 |1335 | 0 | 0 |-1.990000e+02 |-8.300000e+01 | 58.29%
4.79/4.84 c 4.8s| 1 | 0 | 17383 | - | 16M| 0 | 403 | 500 |3163 | 500 |1408 |1356 | 0 | 0 |-1.985000e+02 |-8.300000e+01 | 58.19%
4.89/4.96 c 5.0s| 1 | 0 | 17901 | - | 17M| 0 | 424 | 500 |3163 | 500 |1094 |1383 | 0 | 0 |-1.980000e+02 |-8.300000e+01 | 58.08%
5.09/5.12 c 5.1s| 1 | 0 | 19165 | - | 17M| 0 | 421 | 500 |3163 | 500 |1104 |1393 | 0 | 0 |-1.975000e+02 |-8.300000e+01 | 57.97%
5.19/5.21 c 5.2s| 1 | 0 | 19413 | - | 17M| 0 | 458 | 500 |3163 | 500 |1171 |1460 | 0 | 0 |-1.970000e+02 |-8.300000e+01 | 57.87%
5.29/5.38 c 5.4s| 1 | 0 | 20274 | - | 18M| 0 | 438 | 500 |3163 | 500 |1255 |1544 | 0 | 0 |-1.968333e+02 |-8.300000e+01 | 57.83%
5.49/5.52 c 5.5s| 1 | 0 | 20915 | - | 18M| 0 | 474 | 500 |3163 | 500 |1302 |1591 | 0 | 0 |-1.963724e+02 |-8.300000e+01 | 57.73%
5.69/5.71 c 5.7s| 1 | 0 | 21458 | - | 18M| 0 | 471 | 500 |3163 | 500 |1409 |1698 | 0 | 0 |-1.960000e+02 |-8.300000e+01 | 57.65%
5.99/6.07 c 6.1s| 1 | 0 | 23729 | - | 20M| 0 | 475 | 500 |3163 | 500 | 997 |1728 | 0 | 0 |-1.952508e+02 |-8.300000e+01 | 57.49%
6.19/6.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.19/6.26 c 6.3s| 1 | 0 | 24526 | - | 21M| 0 | 489 | 500 |3163 | 500 |1046 |1777 | 0 | 0 |-1.945727e+02 |-8.300000e+01 | 57.34%
6.39/6.44 c 6.4s| 1 | 0 | 25181 | - | 21M| 0 | 468 | 500 |3163 | 500 |1156 |1887 | 0 | 0 |-1.941712e+02 |-8.300000e+01 | 57.25%
6.60/6.62 c 6.6s| 1 | 0 | 25735 | - | 22M| 0 | 478 | 500 |3163 | 500 |1194 |1925 | 0 | 0 |-1.937394e+02 |-8.300000e+01 | 57.16%
6.79/6.83 c 6.8s| 1 | 0 | 26498 | - | 22M| 0 | 481 | 500 |3163 | 500 |1219 |1950 | 0 | 0 |-1.930778e+02 |-8.300000e+01 | 57.01%
7.09/7.10 c 7.1s| 1 | 0 | 27727 | - | 23M| 0 | 477 | 500 |3163 | 500 |1289 |2020 | 0 | 0 |-1.925426e+02 |-8.300000e+01 | 56.89%
7.19/7.26 c 7.3s| 1 | 0 | 28089 | - | 23M| 0 | 482 | 500 |3163 | 500 |1164 |2043 | 0 | 0 |-1.923247e+02 |-8.300000e+01 | 56.84%
7.39/7.41 c 7.4s| 1 | 0 | 28444 | - | 24M| 0 | 488 | 500 |3163 | 500 |1187 |2066 | 0 | 0 |-1.918152e+02 |-8.300000e+01 | 56.73%
7.49/7.59 c 7.6s| 1 | 0 | 28814 | - | 25M| 0 | 478 | 500 |3163 | 500 |1223 |2102 | 0 | 0 |-1.916114e+02 |-8.300000e+01 | 56.68%
7.79/7.82 c 7.8s| 1 | 0 | 29604 | - | 27M| 0 | 485 | 500 |3163 | 500 |1246 |2125 | 0 | 0 |-1.910624e+02 |-8.300000e+01 | 56.56%
7.99/8.07 c 8.1s| 1 | 0 | 30386 | - | 28M| 0 | 478 | 500 |3163 | 500 |1296 |2175 | 0 | 0 |-1.907611e+02 |-8.300000e+01 | 56.49%
8.19/8.26 c 8.3s| 1 | 0 | 30817 | - | 29M| 0 | 477 | 500 |3163 | 500 |1321 |2200 | 0 | 0 |-1.905794e+02 |-8.300000e+01 | 56.45%
8.39/8.49 c 8.5s| 1 | 0 | 31600 | - | 30M| 0 | 489 | 500 |3163 | 500 |1067 |2211 | 0 | 0 |-1.904106e+02 |-8.300000e+01 | 56.41%
8.60/8.67 c 8.7s| 1 | 0 | 32050 | - | 32M| 0 | 484 | 500 |3163 | 500 |1085 |2229 | 0 | 0 |-1.902799e+02 |-8.300000e+01 | 56.38%
8.80/8.85 c 8.9s| 1 | 0 | 32481 | - | 32M| 0 | 494 | 500 |3163 | 500 |1112 |2256 | 0 | 0 |-1.900947e+02 |-8.300000e+01 | 56.34%
8.99/9.03 c 9.0s| 1 | 0 | 32596 | - | 32M| 0 | 490 | 500 |3163 | 500 |1146 |2290 | 0 | 0 |-1.900859e+02 |-8.300000e+01 | 56.34%
9.19/9.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.19/9.22 c 9.2s| 1 | 0 | 32995 | - | 32M| 0 | 487 | 500 |3163 | 500 |1150 |2294 | 0 | 0 |-1.899280e+02 |-8.300000e+01 | 56.30%
9.39/9.44 c 9.4s| 1 | 0 | 33690 | - | 32M| 0 | 494 | 500 |3163 | 500 |1163 |2307 | 0 | 0 |-1.897817e+02 |-8.300000e+01 | 56.27%
9.49/9.59 c 9.6s| 1 | 0 | 33718 | - | 32M| 0 | 490 | 500 |3163 | 500 |1042 |2329 | 0 | 0 |-1.897794e+02 |-8.300000e+01 | 56.27%
9.69/9.74 c 9.7s| 1 | 0 | 33963 | - | 32M| 0 | 488 | 500 |3163 | 500 |1044 |2331 | 0 | 0 |-1.897154e+02 |-8.300000e+01 | 56.25%
9.90/9.92 c 9.9s| 1 | 0 | 34315 | - | 32M| 0 | 491 | 500 |3163 | 500 |1063 |2350 | 0 | 0 |-1.895935e+02 |-8.300000e+01 | 56.22%
9.99/10.07 c 10.1s| 1 | 0 | 34452 | - | 32M| 0 | 492 | 500 |3163 | 500 |1082 |2369 | 0 | 0 |-1.895830e+02 |-8.300000e+01 | 56.22%
10.19/10.27 c 10.3s| 1 | 0 | 34983 | - | 32M| 0 | 491 | 500 |3163 | 500 |1084 |2371 | 0 | 0 |-1.893416e+02 |-8.300000e+01 | 56.16%
10.40/10.43 c 10.4s| 1 | 0 | 35271 | - | 32M| 0 | 496 | 500 |3163 | 500 |1129 |2416 | 0 | 0 |-1.893074e+02 |-8.300000e+01 | 56.16%
10.59/10.61 c 10.6s| 1 | 0 | 35696 | - | 32M| 0 | 496 | 500 |3163 | 500 |1014 |2424 | 0 | 0 |-1.891921e+02 |-8.300000e+01 | 56.13%
10.69/10.75 c 10.8s| 1 | 0 | 35745 | - | 32M| 0 | 496 | 500 |3163 | 500 |1033 |2443 | 0 | 0 |-1.891905e+02 |-8.300000e+01 | 56.13%
10.79/10.89 c 10.9s| 1 | 0 | 35748 | - | 32M| 0 | 496 | 500 |3163 | 500 |1036 |2446 | 0 | 0 |-1.891905e+02 |-8.300000e+01 | 56.13%
14.20/14.27 c 14.3s| 1 | 2 | 35748 | - | 32M| 0 | 496 | 500 |3163 | 500 |1036 |2446 | 0 | 36 |-1.891905e+02 |-8.300000e+01 | 56.13%
167.69/167.79 c 168s| 10000 | 10001 | 1863k| 182.8 | 44M| 45 | 40 | 500 |3163 | 500 | 496 | 525k| 0 |4559 |-1.876122e+02 |-8.300000e+01 | 55.76%
301.30/301.38 c 301s| 20000 | 20001 | 3616k| 179.1 | 54M| 51 | 17 | 500 |3163 | 500 | 496 |1055k| 0 |6482 |-1.873293e+02 |-8.300000e+01 | 55.69%
417.90/417.91 c 418s| 30000 | 30001 | 5175k| 171.3 | 65M| 51 | 20 | 500 |3163 | 500 | 496 |1536k| 0 |8061 |-1.871601e+02 |-8.300000e+01 | 55.65%
529.29/529.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
529.29/529.39 c 529s| 40000 | 40001 | 6690k| 166.4 | 76M| 51 | 24 | 500 |3163 | 500 | 496 |2011k| 0 |9215 |-1.870647e+02 |-8.300000e+01 | 55.63%
635.59/635.68 c 636s| 50000 | 50001 | 8144k| 162.2 | 87M| 55 | 16 | 500 |3163 | 500 | 496 |2475k| 0 | 10k|-1.869832e+02 |-8.300000e+01 | 55.61%
744.48/744.53 c 745s| 60000 | 60001 | 9640k| 160.1 | 98M| 55 | 154 | 500 |3163 | 500 | 579 |2951k| 0 | 11k|-1.868966e+02 |-8.300000e+01 | 55.59%
848.48/848.53 c 849s| 70000 | 70001 | 11091k| 157.9 | 109M| 55 | 22 | 500 |3163 | 500 | 496 |3414k| 0 | 12k|-1.868305e+02 |-8.300000e+01 | 55.57%
952.78/952.87 c 953s| 80000 | 80001 | 12539k| 156.3 | 120M| 55 | 30 | 500 |3163 | 500 | 496 |3881k| 0 | 12k|-1.867720e+02 |-8.300000e+01 | 55.56%
1057.98/1058.05 c 1058s| 90000 | 90001 | 14004k| 155.2 | 130M| 55 | 210 | 500 |3163 | 500 | 625 |4348k| 0 | 13k|-1.867241e+02 |-8.300000e+01 | 55.55%
1158.88/1158.95 c 1159s|100000 |100001 | 15428k| 153.9 | 141M| 55 | 19 | 500 |3163 | 500 | 587 |4819k| 0 | 14k|-1.866786e+02 |-8.300000e+01 | 55.54%
1264.27/1264.30 c 1264s|110000 |110001 | 16896k| 153.3 | 152M| 55 | 226 | 500 |3163 | 500 | 760 |5281k| 0 | 15k|-1.866364e+02 |-8.300000e+01 | 55.53%
1368.27/1368.34 c 1368s|120000 |120001 | 18355k| 152.7 | 163M| 55 | 25 | 500 |3163 | 500 | 496 |5745k| 0 | 15k|-1.866035e+02 |-8.300000e+01 | 55.52%
1469.58/1469.60 c 1470s|130000 |130001 | 19782k| 151.9 | 174M| 55 | 251 | 500 |3163 | 500 | 758 |6208k| 0 | 16k|-1.865700e+02 |-8.300000e+01 | 55.51%
1568.67/1568.76 c 1569s|140000 |140001 | 21177k| 151.0 | 184M| 55 | 150 | 500 |3163 | 500 | 590 |6665k| 0 | 17k|-1.865442e+02 |-8.300000e+01 | 55.51%
1669.47/1669.55 c 1670s|150000 |150001 | 22609k| 150.5 | 195M| 56 | 230 | 500 |3163 | 500 | 716 |7131k| 0 | 17k|-1.865140e+02 |-8.300000e+01 | 55.50%
1774.66/1774.75 c 1775s|160000 |160001 | 24085k| 150.3 | 206M| 56 | 192 | 500 |3163 | 500 | 649 |7586k| 0 | 18k|-1.864881e+02 |-8.300000e+01 | 55.49%
1796.97/1797.00 c
1796.97/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.97/1797.00 c Solving Time (sec) : 1797.00
1796.97/1797.00 c Solving Nodes : 162027
1796.97/1797.00 c Primal Bound : -8.30000000000000e+01 (540 solutions)
1796.97/1797.00 c Dual Bound : -1.86484455958549e+02
1796.97/1797.00 c Gap : 55.49 %
1796.97/1797.00 s SATISFIABLE
1796.97/1797.00 v x500 x499 -x498 -x497 -x496 -x495 -x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 x480 -x479
1796.97/1797.00 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1796.97/1797.00 v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
1796.97/1797.00 v -x436 -x435 x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416
1796.97/1797.00 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395
1796.97/1797.00 v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374
1796.97/1797.00 v -x373 -x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 -x352
1796.97/1797.00 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332
1796.97/1797.00 v -x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310
1796.97/1797.00 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289
1796.97/1797.00 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
1796.97/1797.00 v -x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 -x247
1796.97/1797.00 v -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1796.97/1797.00 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 x210 x209 -x208 -x207 x206 -x205
1796.97/1797.00 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183
1796.97/1797.00 v -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162
1796.97/1797.00 v -x161 -x160 x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140
1796.97/1797.00 v -x139 -x138 x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
1796.97/1797.00 v x118 -x117 -x116 -x115 -x114 -x113 x112 x111 -x110 -x109 x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97
1796.97/1797.00 v -x96 -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
1796.97/1797.00 v -x70 x69 -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
1796.97/1797.00 v -x42 -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
1796.97/1797.00 v x15 x14 -x13 x12 x11 -x10 x9 -x8 x7 -x6 x5 x4 x3 x2 x1
1796.97/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.97/1797.00 c Total Time : 1797.00
1796.97/1797.00 c solving : 1797.00
1796.97/1797.00 c presolving : 0.07 (included in solving)
1796.97/1797.00 c reading : 0.01 (included in solving)
1796.97/1797.00 c Original Problem :
1796.97/1797.00 c Problem name : HOME/instance-3485118-1307783088.opb
1796.97/1797.00 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.97/1797.00 c Constraints : 500 initial, 500 maximal
1796.97/1797.00 c Presolved Problem :
1796.97/1797.00 c Problem name : t_HOME/instance-3485118-1307783088.opb
1796.97/1797.00 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.97/1797.00 c Constraints : 3163 initial, 3163 maximal
1796.97/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.97/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.97/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.97/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.97/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.97/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.97/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1796.97/1797.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1796.97/1797.00 c linear : 0.01 3163 0 0 3163 0 500 0 0 0
1796.97/1797.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1796.97/1797.00 c root node : - 0 - - 0 - - - - -
1796.97/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.97/1797.00 c integral : 0 0 0 196478 0 351713 0 0 0 0 0 324054
1796.97/1797.00 c logicor : 3163 68 261031 34451 0 351709 0 0 1359960 7681945 0 0
1796.97/1797.00 c countsols : 0 0 0 0 0 542 0 0 0 0 0 0
1796.97/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.97/1797.00 c integral : 86.34 0.00 0.00 86.23 0.00 0.10 0.00
1796.97/1797.00 c logicor : 18.69 0.03 4.94 7.17 0.00 6.55 0.00
1796.97/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.97/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.97/1797.00 c vbounds : 0 0 0 0
1796.97/1797.00 c rootredcost : 0 0 0 0
1796.97/1797.00 c pseudoobj : 555258 0 0 0
1796.97/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.97/1797.00 c vbounds : 0.09 0.09 0.00
1796.97/1797.00 c rootredcost : 0.10 0.10 0.00
1796.97/1797.00 c pseudoobj : 4.99 4.99 0.00
1796.97/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.97/1797.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.97/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.97/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.97/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.97/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.97/1797.00 c applied globally : - - - 0 0.0 - - -
1796.97/1797.00 c applied locally : - - - 0 0.0 - - -
1796.97/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.97/1797.00 c cut pool : 0.15 67 - - 338 - (maximal pool size: 4615)
1796.97/1797.00 c redcost : 2.03 196545 0 0 0 0
1796.97/1797.00 c impliedbounds : 0.02 68 0 0 3264 0
1796.97/1797.00 c intobj : 0.00 0 0 0 0 0
1796.97/1797.00 c gomory : 4.41 68 0 0 25588 0
1796.97/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.97/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.97/1797.00 c strongcg : 0.60 20 0 0 10000 0
1796.97/1797.00 c cmir : 0.07 10 0 0 0 0
1796.97/1797.00 c flowcover : 0.05 10 0 0 0 0
1796.97/1797.00 c clique : 0.25 68 0 0 421 0
1796.97/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.97/1797.00 c mcf : 0.00 1 0 0 0 0
1796.97/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.97/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1796.97/1797.00 c Pricers : Time Calls Vars
1796.97/1797.00 c problem variables: 0.00 0 0
1796.97/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.97/1797.00 c relpscost : 86.11 162027 0 0 0 0 324054
1796.97/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.97/1797.00 c inference : 0.00 0 0 0 0 0 0
1796.97/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.97/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.97/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.97/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.97/1797.00 c random : 0.00 0 0 0 0 0 0
1796.97/1797.00 c Primal Heuristics : Time Calls Found
1796.97/1797.00 c LP solutions : 0.00 - 0
1796.97/1797.00 c pseudo solutions : 0.00 - 0
1796.97/1797.00 c oneopt : 0.11 2 1
1796.97/1797.00 c crossover : 0.28 15 4
1796.97/1797.00 c veclendiving : 43.44 3679 76
1796.97/1797.00 c linesearchdiving : 32.79 3679 46
1796.97/1797.00 c guideddiving : 32.39 3679 31
1796.97/1797.00 c fracdiving : 32.40 3680 23
1796.97/1797.00 c trivial : 0.00 2 1
1796.97/1797.00 c shiftandpropagate: 0.00 0 0
1796.97/1797.00 c simplerounding : 5.10 162088 232
1796.97/1797.00 c zirounding : 0.16 1000 0
1796.97/1797.00 c rounding : 16.99 19135 1
1796.97/1797.00 c shifting : 5.38 5597 1
1796.97/1797.00 c intshifting : 0.00 0 0
1796.97/1797.00 c twoopt : 0.00 0 0
1796.97/1797.00 c fixandinfer : 0.00 0 0
1796.97/1797.00 c feaspump : 0.00 0 0
1796.97/1797.00 c clique : 0.00 0 0
1796.97/1797.00 c coefdiving : 32.73 3680 61
1796.97/1797.00 c pscostdiving : 32.66 3679 54
1796.97/1797.00 c intdiving : 0.00 0 0
1796.97/1797.00 c actconsdiving : 0.00 0 0
1796.97/1797.00 c objpscostdiving : 16.57 504 9
1796.97/1797.00 c rootsoldiving : 12.72 1012 0
1796.97/1797.00 c octane : 0.00 0 0
1796.97/1797.00 c rens : 0.01 0 0
1796.97/1797.00 c rins : 0.00 0 0
1796.97/1797.00 c localbranching : 0.00 0 0
1796.97/1797.00 c mutation : 0.00 0 0
1796.97/1797.00 c dins : 0.00 0 0
1796.97/1797.00 c vbounds : 0.00 0 0
1796.97/1797.00 c undercover : 0.00 0 0
1796.97/1797.00 c subnlp : 0.03 0 0
1796.97/1797.00 c trysol : 0.04 0 0
1796.97/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.97/1797.00 c primal LP : 11.53 0 0 0.00 0.00
1796.97/1797.00 c dual LP : 1367.92 196510 21405179 108.93 15647.99
1796.97/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.97/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.97/1797.00 c diving/probing LP: 196.99 165102 2998245 18.16 15219.93
1796.97/1797.00 c strong branching : 80.69 18193 1026343 56.41 12720.04
1796.97/1797.00 c (at root node) : - 36 30808 855.78 -
1796.97/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.97/1797.00 c B&B Tree :
1796.97/1797.00 c number of runs : 1
1796.97/1797.00 c nodes : 162027
1796.97/1797.00 c nodes (total) : 162027
1796.97/1797.00 c nodes left : 162028
1796.97/1797.00 c max depth : 56
1796.97/1797.00 c max depth (total): 56
1796.97/1797.00 c backtracks : 23592 (14.6%)
1796.97/1797.00 c delayed cutoffs : 0
1796.97/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.97/1797.00 c avg switch length: 4.49
1796.97/1797.00 c switching time : 21.54
1796.97/1797.00 c Solution :
1796.97/1797.00 c Solutions found : 540 (4 improvements)
1796.97/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1796.97/1797.00 c Primal Bound : -8.30000000000000e+01 (in run 1, after 1 nodes, 0.19 seconds, depth 0, found by <oneopt>)
1796.97/1797.00 c Dual Bound : -1.86484455958549e+02
1796.97/1797.00 c Gap : 55.49 %
1796.97/1797.00 c Root Dual Bound : -1.89190469709759e+02
1796.97/1797.00 c Root Iterations : 35748
1797.17/1797.27 c Time complete: 1797.24.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3485118-1307783088/watcher-3485118-1307783088 -o /tmp/evaluation-result-3485118-1307783088/solver-3485118-1307783088 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485118-1307783088.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.46 0.43 0.15 2/178 32022
/proc/meminfo: memFree=31380096/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=10388 CPUtime=0 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 1590 0 0 0 0 0 0 0 25 0 1 0 889906645 10637312 1544 33554432000 4194304 8979876 140736602273584 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32022/statm: 2597 1544 367 1169 0 1424 0
[startup+0.0195261 s]
/proc/loadavg: 1.46 0.43 0.15 2/178 32022
/proc/meminfo: memFree=31380096/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=19944 CPUtime=0.01 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 3761 0 0 0 1 0 0 0 25 0 1 0 889906645 20422656 3716 33554432000 4194304 8979876 140736602273584 18446744073709551615 7841099 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32022/statm: 5020 3721 456 1169 0 3847 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19944
[startup+0.100554 s]
/proc/loadavg: 1.46 0.43 0.15 2/178 32022
/proc/meminfo: memFree=31380096/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=31936 CPUtime=0.09 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 7117 0 0 0 8 1 0 0 25 0 1 0 889906645 32702464 6813 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32022/statm: 7984 6813 623 1169 0 6811 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31936
[startup+0.300501 s]
/proc/loadavg: 1.46 0.43 0.15 2/178 32022
/proc/meminfo: memFree=31380096/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=33976 CPUtime=0.29 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 7734 0 0 0 28 1 0 0 25 0 1 0 889906645 34791424 7333 33554432000 4194304 8979876 140736602273584 18446744073709551615 5907779 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32022/statm: 8494 7333 664 1169 0 7321 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33976
[startup+0.700439 s]
/proc/loadavg: 1.46 0.43 0.15 2/178 32022
/proc/meminfo: memFree=31380096/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=42588 CPUtime=0.69 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 9850 0 0 0 67 2 0 0 25 0 1 0 889906645 43610112 9439 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 10647 9439 659 1169 0 9474 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42588
[startup+1.50029 s]
/proc/loadavg: 1.50 0.46 0.16 3/179 32023
/proc/meminfo: memFree=31343040/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=48184 CPUtime=1.49 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 11960 0 0 0 147 2 0 0 25 0 1 0 889906645 49340416 11007 33554432000 4194304 8979876 140736602273584 18446744073709551615 4455399 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 12046 11007 665 1169 0 10873 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48184
[startup+3.101 s]
/proc/loadavg: 1.50 0.46 0.16 3/179 32023
/proc/meminfo: memFree=31332128/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=65396 CPUtime=3.09 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 16739 0 0 0 305 4 0 0 25 0 1 0 889906645 66965504 15275 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 16349 15275 697 1169 0 15176 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65396
[startup+6.30039 s]
/proc/loadavg: 1.50 0.46 0.16 3/179 32023
/proc/meminfo: memFree=31314908/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=77296 CPUtime=6.29 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 19792 0 0 0 622 7 0 0 25 0 1 0 889906645 79151104 18236 33554432000 4194304 8979876 140736602273584 18446744073709551615 6543882 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 19324 18236 660 1169 0 18151 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77296
[startup+12.7002 s]
/proc/loadavg: 1.58 0.51 0.17 3/179 32023
/proc/meminfo: memFree=31296608/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=88972 CPUtime=12.69 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 23267 0 0 0 1257 12 0 0 25 0 1 0 889906645 91107328 21174 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 22243 21174 673 1169 0 21070 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88972
[startup+25.5008 s]
/proc/loadavg: 1.64 0.56 0.19 3/179 32024
/proc/meminfo: memFree=31297312/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=87948 CPUtime=25.5 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 24899 0 0 0 2523 27 0 0 25 0 1 0 889906645 90058752 20940 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 21987 20940 694 1169 0 20814 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 87948
[startup+51.1011 s]
/proc/loadavg: 1.76 0.67 0.24 3/179 32024
/proc/meminfo: memFree=31297468/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=87948 CPUtime=51.09 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 28679 0 0 0 5049 60 0 0 25 0 1 0 889906645 90058752 20950 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 21987 20950 699 1169 0 20814 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87948
[startup+102.307 s]
/proc/loadavg: 1.95 0.91 0.34 3/179 32026
/proc/meminfo: memFree=31293704/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=91912 CPUtime=102.3 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 34360 0 0 0 10097 133 0 0 25 0 1 0 889906645 94117888 21923 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 22978 21923 699 1169 0 21805 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 91912
[startup+162.3 s]
/proc/loadavg: 2.04 1.12 0.45 3/179 32027
/proc/meminfo: memFree=31280748/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=97360 CPUtime=162.29 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 42896 0 0 0 16007 222 0 0 25 0 1 0 889906645 99696640 23322 33554432000 4194304 8979876 140736602273584 18446744073709551615 4777346 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 24340 23322 699 1169 0 23167 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 97360
[startup+222.3 s]
/proc/loadavg: 2.01 1.28 0.54 3/179 32029
/proc/meminfo: memFree=31269556/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=103700 CPUtime=222.29 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 44455 0 0 0 21919 310 0 0 25 0 1 0 889906645 106188800 24879 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 25925 24879 699 1169 0 24752 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 103700
[startup+282.3 s]
/proc/loadavg: 2.00 1.41 0.63 3/179 32031
/proc/meminfo: memFree=31255628/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=107544 CPUtime=282.29 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 47925 0 0 0 27830 399 0 0 25 0 1 0 889906645 110125056 25883 33554432000 4194304 8979876 140736602273584 18446744073709551615 7069337 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 26886 25883 701 1169 0 25713 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 107544
[startup+342.3 s]
/proc/loadavg: 2.08 1.53 0.72 3/179 32032
/proc/meminfo: memFree=31245524/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=116388 CPUtime=342.29 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 52669 0 0 0 33743 486 0 0 25 0 1 0 889906645 119181312 28117 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 29097 28117 701 1169 0 27924 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 116388
[startup+402.301 s]
/proc/loadavg: 2.07 1.63 0.80 3/179 32034
/proc/meminfo: memFree=31233800/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=122968 CPUtime=402.29 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 56674 0 0 0 39647 582 0 0 25 0 1 0 889906645 125919232 29729 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 30742 29729 701 1169 0 29569 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 122968
[startup+462.301 s]
/proc/loadavg: 2.02 1.69 0.87 4/179 32035
/proc/meminfo: memFree=31221128/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=127280 CPUtime=462.29 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 57821 0 0 0 45556 673 0 0 25 0 1 0 889906645 130334720 30876 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 31820 30876 701 1169 0 30647 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 127280
[startup+522.301 s]
/proc/loadavg: 2.01 1.74 0.94 3/179 32037
/proc/meminfo: memFree=31212768/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=134112 CPUtime=522.29 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 64418 0 0 0 51465 764 0 0 25 0 1 0 889906645 137330688 32611 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 33528 32611 701 1169 0 32355 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 134112
[startup+582.301 s]
/proc/loadavg: 2.00 1.79 1.01 3/179 32039
/proc/meminfo: memFree=31206016/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=140624 CPUtime=582.28 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 66012 0 0 0 57371 857 0 0 25 0 1 0 889906645 143998976 34204 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 35156 34204 701 1169 0 33983 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 140624
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31137632/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=198224 CPUtime=1122.27 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 82664 0 0 0 110555 1672 0 0 25 0 1 0 889906645 202981376 48336 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 49556 48336 701 1169 0 48383 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 198224
[startup+1182.3 s]
/proc/loadavg: 2.11 2.02 1.48 3/179 32055
/proc/meminfo: memFree=31128676/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=205604 CPUtime=1182.28 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 84562 0 0 0 116469 1759 0 0 25 0 1 0 889906645 210538496 50233 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 51401 50233 701 1169 0 50228 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 205604
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 1.51 3/179 32056
/proc/meminfo: memFree=31123928/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=209972 CPUtime=1242.28 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 85660 0 0 0 122377 1851 0 0 25 0 1 0 889906645 215011328 51330 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 52493 51330 701 1169 0 51320 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 209972
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.54 3/179 32058
/proc/meminfo: memFree=31116704/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=217672 CPUtime=1302.28 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 87571 0 0 0 128286 1942 0 0 25 0 1 0 889906645 222896128 53241 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 54418 53241 701 1169 0 53245 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 217672
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.56 3/179 32059
/proc/meminfo: memFree=31106392/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=227800 CPUtime=1362.27 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 90105 0 0 0 134194 2033 0 0 25 0 1 0 889906645 233267200 55775 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 56950 55775 701 1169 0 55777 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 227800
[startup+1422.31 s]
/proc/loadavg: 2.08 2.02 1.59 3/179 32061
/proc/meminfo: memFree=31100772/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=233288 CPUtime=1422.28 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 91485 0 0 0 140108 2120 0 0 25 0 1 0 889906645 238886912 57155 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 58322 57155 701 1169 0 57149 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 233288
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.62 3/179 32063
/proc/meminfo: memFree=31093044/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=238132 CPUtime=1482.27 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 92746 0 0 0 146015 2212 0 0 25 0 1 0 889906645 243847168 58413 33554432000 4194304 8979876 140736602273584 18446744073709551615 7047600 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 59533 58413 701 1169 0 58360 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 238132
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.64 3/179 32064
/proc/meminfo: memFree=31086692/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=244748 CPUtime=1542.27 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 94409 0 0 0 151926 2301 0 0 25 0 1 0 889906645 250621952 60076 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 61187 60076 701 1169 0 60014 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 244748
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.66 4/179 32066
/proc/meminfo: memFree=31077976/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=253020 CPUtime=1602.27 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 99064 0 0 0 157834 2393 0 0 25 0 1 0 889906645 259092480 62262 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 63255 62262 708 1169 0 62082 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 253020
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.67 3/179 32067
/proc/meminfo: memFree=31070760/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=260340 CPUtime=1662.27 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 100824 0 0 0 163740 2487 0 0 25 0 1 0 889906645 266588160 64022 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 65085 64022 708 1169 0 63912 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 260340
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.69 3/179 32069
/proc/meminfo: memFree=31064648/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=266072 CPUtime=1722.27 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 102321 0 0 0 169654 2573 0 0 25 0 1 0 889906645 272457728 65519 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 66518 65519 708 1169 0 65345 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 266072
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.71 3/179 32147
/proc/meminfo: memFree=31235996/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=270376 CPUtime=1782.27 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 103458 0 0 0 175567 2660 0 0 25 0 1 0 889906645 276865024 66656 33554432000 4194304 8979876 140736602273584 18446744073709551615 4796121 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 67594 66656 708 1169 0 66421 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 270376
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.71 3/179 32147
/proc/meminfo: memFree=31235252/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=270376 CPUtime=1785.47 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 103463 0 0 0 175883 2664 0 0 25 0 1 0 889906645 276865024 66661 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 67594 66661 708 1169 0 66421 0
Current children cumulated CPU time (s) 1785.47
Current children cumulated vsize (KiB) 270376
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.71 3/179 32147
/proc/meminfo: memFree=31231028/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=271688 CPUtime=1791.88 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 103774 0 0 0 176514 2674 0 0 25 0 1 0 889906645 278208512 66972 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 67922 66972 708 1169 0 66749 0
Current children cumulated CPU time (s) 1791.88
Current children cumulated vsize (KiB) 271688
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.71 3/179 32147
/proc/meminfo: memFree=31229656/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=271688 CPUtime=1795.07 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 103777 0 0 0 176830 2677 0 0 25 0 1 0 889906645 278208512 66975 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 67922 66975 708 1169 0 66749 0
Current children cumulated CPU time (s) 1795.07
Current children cumulated vsize (KiB) 271688
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.71 3/179 32147
/proc/meminfo: memFree=31229656/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=271972 CPUtime=1795.87 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 103853 0 0 0 176909 2678 0 0 25 0 1 0 889906645 278499328 67051 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 67993 67051 708 1169 0 66820 0
Current children cumulated CPU time (s) 1795.87
Current children cumulated vsize (KiB) 271972
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.71 3/179 32147
/proc/meminfo: memFree=31229408/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=271972 CPUtime=1796.67 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 103857 0 0 0 176988 2679 0 0 25 0 1 0 889906645 278499328 67055 33554432000 4194304 8979876 140736602273584 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32022/statm: 67993 67055 708 1169 0 66820 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (KiB) 271972
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 1.71 3/179 32147
/proc/meminfo: memFree=31229408/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=272276 CPUtime=1797.07 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 103910 0 0 0 177027 2680 0 0 25 0 1 0 889906645 278810624 67108 33554432000 4194304 8979876 140736602273584 18446744073709551615 4838968 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32022/statm: 68069 67108 711 1169 0 66896 0
Current children cumulated CPU time (s) 1797.07
Current children cumulated vsize (KiB) 272276
[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 1.71 3/179 32147
/proc/meminfo: memFree=31229408/32951124 swapFree=67072804/67111528
[pid=32022] ppid=32020 vsize=272276 CPUtime=1797.17 cores=0,2,4,6
/proc/32022/stat : 32022 (scip-2.0.1.4_2.) R 32020 32022 31857 0 -1 4202496 103910 0 0 0 177037 2680 0 0 25 0 1 0 889906645 278810624 67108 33554432000 4194304 8979876 140736602273584 18446744073709551615 6783104 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/32022/statm: 68069 67108 711 1169 0 66896 0
Current children cumulated CPU time (s) 1797.17
Current children cumulated vsize (KiB) 272276
Child status: 0
Real time (s): 1797.28
CPU time (s): 1797.25
CPU user time (s): 1770.44
CPU system time (s): 26.8139
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 272276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.44
system time used= 26.8139
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103915
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= 3926
runsolver used 2.66859 second user time and 5.62514 second system time
The end