0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-2703707-1278559747.opb>
0.00/0.02 c original problem has 1260 variables (1260 bin, 0 int, 0 impl, 0 cont) and 104 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 c presolving:
0.00/0.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 120 chg sides, 120 chg coeffs, 0 upgd conss, 0 impls, 4 clqs
0.00/0.04 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 120 chg sides, 120 chg coeffs, 84 upgd conss, 0 impls, 4 clqs
0.03/0.07 c (0.0s) probing: 101/1260 (8.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.07 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.03/0.07 c presolving (3 rounds):
0.03/0.07 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 120 changed sides, 120 changed coefficients
0.03/0.07 c 880 implications, 4 cliques
0.03/0.07 c presolved problem has 1260 variables (1260 bin, 0 int, 0 impl, 0 cont) and 104 constraints
0.03/0.07 c 80 constraints of type <knapsack>
0.03/0.07 c 4 constraints of type <setppc>
0.03/0.07 c 20 constraints of type <linear>
0.03/0.07 c transformed objective value is always integral (scale: 1)
0.03/0.07 c Presolving Time: 0.04
0.03/0.07 c - non default parameters ----------------------------------------------------------------------
0.03/0.07 c # SCIP version 1.2.1.3
0.03/0.07 c
0.03/0.07 c # frequency for displaying node information lines
0.03/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.07 c display/freq = 10000
0.03/0.07 c
0.03/0.07 c # maximal time in seconds to run
0.03/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.07 c limits/time = 1789.99
0.03/0.07 c
0.03/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.07 c limits/memory = 1620
0.03/0.07 c
0.03/0.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.03/0.07 c # [type: int, range: [1,2], default: 1]
0.03/0.07 c timing/clocktype = 2
0.03/0.07 c
0.03/0.07 c # should presolving try to simplify inequalities
0.03/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.07 c constraints/linear/simplifyinequalities = TRUE
0.03/0.07 c
0.03/0.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.03/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.07 c constraints/indicator/addCouplingCons = TRUE
0.03/0.07 c
0.03/0.07 c # should presolving try to simplify knapsacks
0.03/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.07 c
0.03/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.07 c separating/rapidlearning/freq = 0
0.03/0.07 c
0.03/0.07 c -----------------------------------------------------------------------------------------------
0.03/0.07 c start solving
0.03/0.07 c
0.03/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.08 c 0.1s| 1 | 0 | 120 | - |4027k| 0 | 24 |1260 | 104 |1260 | 104 | 0 | 0 | 0 | 4.997120e+04 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 330 | - |4163k| 0 | 46 |1260 | 104 |1260 | 124 | 20 | 0 | 0 | 4.997120e+04 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 365 | - |4248k| 0 | 56 |1260 | 104 |1260 | 149 | 45 | 0 | 0 | 4.997120e+04 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 407 | - |4314k| 0 | 73 |1260 | 104 |1260 | 175 | 71 | 0 | 0 | 4.997120e+04 | -- | Inf
0.29/0.39 c 0.4s| 1 | 0 | 491 | - |4367k| 0 | 76 |1260 | 104 |1260 | 202 | 98 | 0 | 0 | 4.997120e+04 | -- | Inf
0.39/0.47 c 0.5s| 1 | 0 | 566 | - |4413k| 0 | 79 |1260 | 104 |1260 | 226 | 122 | 0 | 0 | 5.021353e+04 | -- | Inf
0.49/0.58 c 0.6s| 1 | 0 | 691 | - |4492k| 0 | 91 |1260 | 104 |1260 | 249 | 145 | 0 | 0 | 5.050759e+04 | -- | Inf
0.59/0.67 c 0.7s| 1 | 0 | 740 | - |4543k| 0 | 99 |1260 | 104 |1260 | 274 | 170 | 0 | 0 | 5.059723e+04 | -- | Inf
0.69/0.78 c 0.8s| 1 | 0 | 849 | - |4599k| 0 | 91 |1260 | 104 |1260 | 301 | 197 | 0 | 0 | 5.059743e+04 | -- | Inf
0.79/0.89 c 0.9s| 1 | 0 | 913 | - |4659k| 0 | 106 |1260 | 104 |1260 | 327 | 223 | 0 | 0 | 5.083974e+04 | -- | Inf
0.99/1.00 c 1.0s| 1 | 0 | 996 | - |4707k| 0 | 120 |1260 | 104 |1260 | 353 | 249 | 0 | 0 | 5.113461e+04 | -- | Inf
0.99/1.08 c 1.1s| 1 | 0 | 1108 | - |4778k| 0 | 117 |1260 | 104 |1260 | 382 | 278 | 0 | 0 | 5.113526e+04 | -- | Inf
1.09/1.16 c 1.1s| 1 | 0 | 1189 | - |4846k| 0 | 115 |1260 | 104 |1260 | 412 | 308 | 0 | 0 | 5.113625e+04 | -- | Inf
1.19/1.24 c 1.2s| 1 | 0 | 1312 | - |4890k| 0 | 136 |1260 | 104 |1260 | 437 | 333 | 0 | 0 | 5.122707e+04 | -- | Inf
1.29/1.34 c 1.3s| 1 | 0 | 1420 | - |4939k| 0 | 144 |1260 | 104 |1260 | 463 | 359 | 0 | 0 | 5.123030e+04 | -- | Inf
1.39/1.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.43 c 1.4s| 1 | 0 | 1543 | - |4993k| 0 | 145 |1260 | 104 |1260 | 495 | 391 | 0 | 0 | 5.125591e+04 | -- | Inf
1.49/1.53 c 1.5s| 1 | 0 | 1634 | - |5036k| 0 | 149 |1260 | 104 |1260 | 519 | 415 | 0 | 0 | 5.147879e+04 | -- | Inf
1.59/1.64 c 1.6s| 1 | 0 | 1758 | - |5108k| 0 | 167 |1260 | 104 |1260 | 535 | 437 | 0 | 0 | 5.177395e+04 | -- | Inf
1.69/1.76 c 1.7s| 1 | 0 | 1889 | - |5172k| 0 | 159 |1260 | 104 |1260 | 557 | 459 | 0 | 0 | 5.186798e+04 | -- | Inf
1.79/1.89 c 1.9s| 1 | 0 | 2071 | - |5221k| 0 | 174 |1260 | 104 |1260 | 582 | 484 | 0 | 0 | 5.190378e+04 | -- | Inf
1.99/2.00 c 2.0s| 1 | 0 | 2149 | - |5286k| 0 | 198 |1260 | 104 |1260 | 612 | 514 | 0 | 0 | 5.215907e+04 | -- | Inf
1.99/2.10 c 2.1s| 1 | 0 | 2239 | - |5332k| 0 | 187 |1260 | 104 |1260 | 639 | 541 | 0 | 0 | 5.245807e+04 | -- | Inf
2.09/2.18 c 2.2s| 1 | 0 | 2309 | - |5381k| 0 | 191 |1260 | 104 |1260 | 663 | 565 | 0 | 0 | 5.254875e+04 | -- | Inf
2.19/2.27 c 2.2s| 1 | 0 | 2384 | - |5428k| 0 | 192 |1260 | 104 |1260 | 667 | 588 | 0 | 0 | 5.256240e+04 | -- | Inf
2.29/2.36 c 2.3s| 1 | 0 | 2451 | - |5505k| 0 | 192 |1260 | 104 |1260 | 690 | 611 | 0 | 0 | 5.256449e+04 | -- | Inf
2.39/2.45 c 2.4s| 1 | 0 | 2498 | - |5555k| 0 | 202 |1260 | 104 |1260 | 710 | 631 | 0 | 0 | 5.256599e+04 | -- | Inf
2.49/2.53 c 2.5s| 1 | 0 | 2547 | - |5597k| 0 | 204 |1260 | 104 |1260 | 731 | 652 | 0 | 0 | 5.256985e+04 | -- | Inf
2.59/2.63 c 2.6s| 1 | 0 | 2608 | - |5659k| 0 | 225 |1260 | 104 |1260 | 751 | 672 | 0 | 0 | 5.257521e+04 | -- | Inf
2.69/2.74 c 2.7s| 1 | 0 | 2682 | - |5708k| 0 | 220 |1260 | 104 |1260 | 780 | 701 | 0 | 0 | 5.258844e+04 | -- | Inf
2.79/2.86 c 2.8s| 1 | 0 | 2817 | - |5757k| 0 | 202 |1260 | 104 |1260 | 775 | 720 | 0 | 0 | 5.282748e+04 | -- | Inf
2.89/2.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.96 c 2.9s| 1 | 0 | 2876 | - |5820k| 0 | 207 |1260 | 104 |1260 | 804 | 749 | 0 | 0 | 5.320750e+04 | -- | Inf
2.99/3.06 c 3.0s| 1 | 0 | 2937 | - |5863k| 0 | 220 |1260 | 104 |1260 | 824 | 769 | 0 | 0 | 5.329813e+04 | -- | Inf
3.09/3.17 c 3.1s| 1 | 0 | 3025 | - |5899k| 0 | 247 |1260 | 104 |1260 | 842 | 787 | 0 | 0 | 5.331582e+04 | -- | Inf
3.19/3.28 c 3.3s| 1 | 0 | 3114 | - |5953k| 0 | 230 |1260 | 104 |1260 | 860 | 805 | 0 | 0 | 5.335920e+04 | -- | Inf
3.39/3.40 c 3.4s| 1 | 0 | 3200 | - |5999k| 0 | 232 |1260 | 104 |1260 | 879 | 824 | 0 | 0 | 5.337180e+04 | -- | Inf
3.49/3.59 c 3.6s| 1 | 0 | 3493 | - |6057k| 0 | 228 |1260 | 104 |1260 | 892 | 845 | 0 | 0 | 5.367483e+04 | -- | Inf
3.69/3.70 c 3.7s| 1 | 0 | 3585 | - |6124k| 0 | 242 |1260 | 104 |1260 | 912 | 865 | 0 | 0 | 5.421691e+04 | -- | Inf
3.79/3.90 c 3.9s| 1 | 0 | 3885 | - |6172k| 0 | 215 |1260 | 104 |1260 | 933 | 886 | 0 | 0 | 5.441654e+04 | -- | Inf
3.99/4.03 c 4.0s| 1 | 0 | 4044 | - |6219k| 0 | 215 |1260 | 104 |1260 | 952 | 905 | 0 | 0 | 5.457591e+04 | -- | Inf
4.09/4.14 c 4.1s| 1 | 0 | 4120 | - |6268k| 0 | 222 |1260 | 104 |1260 | 974 | 927 | 0 | 0 | 5.472674e+04 | -- | Inf
4.19/4.26 c 4.2s| 1 | 0 | 4257 | - |6312k| 0 | 222 |1260 | 104 |1260 | 996 | 949 | 0 | 0 | 5.517908e+04 | -- | Inf
4.29/4.38 c 4.4s| 1 | 0 | 4305 | - |6345k| 0 | 238 |1260 | 104 |1260 |1002 | 969 | 0 | 0 | 5.518142e+04 | -- | Inf
4.40/4.49 c 4.5s| 1 | 0 | 4347 | - |6378k| 0 | 237 |1260 | 104 |1260 |1021 | 988 | 0 | 0 | 5.518634e+04 | -- | Inf
4.59/4.67 c 4.6s| 1 | 0 | 4590 | - |6413k| 0 | 234 |1260 | 104 |1260 |1039 |1006 | 0 | 0 | 5.541867e+04 | -- | Inf
4.69/4.78 c 4.8s| 1 | 0 | 4628 | - |6469k| 0 | 251 |1260 | 104 |1260 |1056 |1023 | 0 | 0 | 5.542117e+04 | -- | Inf
4.79/4.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.79/4.88 c 4.9s| 1 | 0 | 4669 | - |6527k| 0 | 243 |1260 | 104 |1260 |1074 |1041 | 0 | 0 | 5.542436e+04 | -- | Inf
4.99/5.01 c 5.0s| 1 | 0 | 4730 | - |6571k| 0 | 251 |1260 | 104 |1260 |1091 |1058 | 0 | 0 | 5.543076e+04 | -- | Inf
5.09/5.17 c 5.1s| 1 | 0 | 4839 | - |6608k| 0 | 257 |1260 | 104 |1260 |1096 |1077 | 0 | 0 | 5.557848e+04 | -- | Inf
5.29/5.32 c 5.3s| 1 | 0 | 4923 | - |6647k| 0 | 266 |1260 | 104 |1260 |1115 |1096 | 0 | 0 | 5.558355e+04 | -- | Inf
5.49/5.51 c 5.5s| 1 | 0 | 5164 | - |6690k| 0 | 259 |1260 | 104 |1260 |1133 |1114 | 0 | 0 | 5.560815e+04 | -- | Inf
5.59/5.68 c 5.7s| 1 | 0 | 5355 | - |6732k| 0 | 261 |1260 | 104 |1260 |1152 |1133 | 0 | 0 | 5.563217e+04 | -- | Inf
5.79/5.86 c 5.8s| 1 | 0 | 5647 | - |6754k| 0 | 240 |1260 | 104 |1260 |1164 |1145 | 0 | 0 | 5.566283e+04 | -- | Inf
5.99/6.00 c 6.0s| 1 | 0 | 5734 | - |6795k| 0 | 251 |1260 | 104 |1260 |1189 |1170 | 0 | 0 | 5.573968e+04 | -- | Inf
6.09/6.13 c 6.1s| 1 | 0 | 5769 | - |6825k| 0 | 257 |1260 | 104 |1260 |1192 |1186 | 0 | 0 | 5.574095e+04 | -- | Inf
6.19/6.27 c 6.3s| 1 | 0 | 5835 | - |6855k| 0 | 260 |1260 | 104 |1260 |1208 |1202 | 0 | 0 | 5.574526e+04 | -- | Inf
6.39/6.41 c 6.4s| 1 | 0 | 5855 | - |6884k| 0 | 276 |1260 | 104 |1260 |1224 |1218 | 0 | 0 | 5.574650e+04 | -- | Inf
6.50/6.59 c 6.6s| 1 | 0 | 5948 | - |6923k| 0 | 246 |1260 | 104 |1260 |1240 |1234 | 0 | 0 | 5.574976e+04 | -- | Inf
6.69/6.76 c 6.7s| 1 | 0 | 6083 | - |6989k| 0 | 263 |1260 | 104 |1260 |1256 |1250 | 0 | 0 | 5.581963e+04 | -- | Inf
6.79/6.90 c 6.9s| 1 | 0 | 6157 | - |7033k| 0 | 267 |1260 | 104 |1260 |1274 |1268 | 0 | 0 | 5.582182e+04 | -- | Inf
6.99/7.07 c 7.0s| 1 | 0 | 6323 | - |7075k| 0 | 271 |1260 | 104 |1260 |1288 |1285 | 0 | 0 | 5.583551e+04 | -- | Inf
7.28/7.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.28/7.35 c 7.3s| 1 | 0 | 6831 | - |7106k| 0 | 233 |1260 | 104 |1260 |1303 |1300 | 0 | 0 | 5.586464e+04 | -- | Inf
7.39/7.50 c 7.5s| 1 | 0 | 6910 | - |7147k| 0 | 242 |1260 | 104 |1260 |1325 |1322 | 0 | 0 | 5.587937e+04 | -- | Inf
7.60/7.67 c 7.7s| 1 | 0 | 7147 | - |7188k| 0 | 263 |1260 | 104 |1260 |1344 |1341 | 0 | 0 | 5.588597e+04 | -- | Inf
7.79/7.85 c 7.8s| 1 | 0 | 7337 | - |7216k| 0 | 261 |1260 | 104 |1260 |1360 |1357 | 0 | 0 | 5.588958e+04 | -- | Inf
7.89/7.98 c 8.0s| 1 | 0 | 7461 | - |7252k| 0 | 268 |1260 | 104 |1260 |1378 |1375 | 0 | 0 | 5.589464e+04 | -- | Inf
8.19/8.25 c 8.2s| 1 | 0 | 7821 | - |7283k| 0 | 261 |1260 | 104 |1260 |1389 |1391 | 0 | 0 | 5.590297e+04 | -- | Inf
8.39/8.43 c 8.4s| 1 | 0 | 8049 | - |7308k| 0 | 245 |1260 | 104 |1260 |1403 |1405 | 0 | 0 | 5.590650e+04 | -- | Inf
8.49/8.59 c 8.6s| 1 | 0 | 8223 | - |7336k| 0 | 268 |1260 | 104 |1260 |1417 |1419 | 0 | 0 | 5.591180e+04 | -- | Inf
8.79/8.83 c 8.8s| 1 | 0 | 8444 | - |7362k| 0 | 258 |1260 | 104 |1260 |1430 |1432 | 0 | 0 | 5.591825e+04 | -- | Inf
8.88/8.97 c 9.0s| 1 | 0 | 8472 | - |7393k| 0 | 263 |1260 | 104 |1260 |1443 |1445 | 0 | 0 | 5.591874e+04 | -- | Inf
9.09/9.15 c 9.1s| 1 | 0 | 8627 | - |7429k| 0 | 240 |1260 | 104 |1260 |1456 |1458 | 0 | 0 | 5.592509e+04 | -- | Inf
9.19/9.27 c 9.3s| 1 | 0 | 8686 | - |7462k| 0 | 221 |1260 | 104 |1260 |1456 |1471 | 0 | 0 | 5.592614e+04 | -- | Inf
9.29/9.38 c 9.4s| 1 | 0 | 8733 | - |7498k| 0 | 233 |1260 | 104 |1260 |1468 |1483 | 0 | 0 | 5.592808e+04 | -- | Inf
9.49/9.54 c 9.5s| 1 | 0 | 8914 | - |7526k| 0 | 261 |1260 | 104 |1260 |1479 |1494 | 0 | 0 | 5.592924e+04 | -- | Inf
9.59/9.69 c 9.7s| 1 | 0 | 8975 | - |7556k| 0 | 271 |1260 | 104 |1260 |1493 |1508 | 0 | 0 | 5.592985e+04 | -- | Inf
9.79/9.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.79/9.83 c 9.8s| 1 | 0 | 9040 | - |7586k| 0 | 255 |1260 | 104 |1260 |1506 |1521 | 0 | 0 | 5.593108e+04 | -- | Inf
9.89/9.97 c 10.0s| 1 | 0 | 9096 | - |7614k| 0 | 268 |1260 | 104 |1260 |1519 |1534 | 0 | 0 | 5.593187e+04 | -- | Inf
10.08/10.16 c 10.1s| 1 | 0 | 9239 | - |7638k| 0 | 259 |1260 | 104 |1260 |1522 |1545 | 0 | 0 | 5.593261e+04 | -- | Inf
10.19/10.28 c 10.3s| 1 | 0 | 9290 | - |7662k| 0 | 258 |1260 | 104 |1260 |1533 |1556 | 0 | 0 | 5.593503e+04 | -- | Inf
10.39/10.45 c 10.4s| 1 | 0 | 9435 | - |7678k| 0 | 241 |1260 | 104 |1260 |1542 |1565 | 0 | 0 | 5.594071e+04 | -- | Inf
10.69/10.70 c 10.7s| 1 | 0 | 9765 | - |7698k| 0 | 255 |1260 | 104 |1260 |1555 |1578 | 0 | 0 | 5.594510e+04 | -- | Inf
10.79/10.86 c 10.8s| 1 | 0 | 9809 | - |7726k| 0 | 247 |1260 | 104 |1260 |1570 |1593 | 0 | 0 | 5.594786e+04 | -- | Inf
10.89/11.00 c 11.0s| 1 | 0 | 9856 | - |7748k| 0 | 258 |1260 | 104 |1260 |1581 |1604 | 0 | 0 | 5.594931e+04 | -- | Inf
11.09/11.14 c 11.1s| 1 | 0 | 9898 | - |7762k| 0 | 250 |1260 | 104 |1260 |1587 |1612 | 0 | 0 | 5.595023e+04 | -- | Inf
11.19/11.28 c 11.3s| 1 | 0 | 9990 | - |7777k| 0 | 248 |1260 | 104 |1260 |1594 |1619 | 0 | 0 | 5.595123e+04 | -- | Inf
11.38/11.48 c 11.5s| 1 | 0 | 10168 | - |7792k| 0 | 248 |1260 | 104 |1260 |1600 |1625 | 0 | 0 | 5.595680e+04 | -- | Inf
11.69/11.76 c 11.7s| 1 | 0 | 10519 | - |7819k| 0 | 267 |1260 | 104 |1260 |1614 |1639 | 0 | 0 | 5.596942e+04 | -- | Inf
11.99/12.03 c 12.0s| 1 | 0 | 10741 | - |7848k| 0 | 266 |1260 | 104 |1260 |1626 |1651 | 0 | 0 | 5.597423e+04 | -- | Inf
12.10/12.16 c 12.1s| 1 | 0 | 10792 | - |7876k| 0 | 253 |1260 | 104 |1260 |1637 |1662 | 0 | 0 | 5.597623e+04 | -- | Inf
12.29/12.40 c 12.4s| 1 | 0 | 11011 | - |7891k| 0 | 244 |1260 | 104 |1260 |1642 |1670 | 0 | 0 | 5.597742e+04 | -- | Inf
12.49/12.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.49/12.52 c 12.5s| 1 | 0 | 11055 | - |7912k| 0 | 250 |1260 | 104 |1260 |1648 |1676 | 0 | 0 | 5.597823e+04 | -- | Inf
12.69/12.70 c 12.7s| 1 | 0 | 11199 | - |7926k| 0 | 241 |1260 | 104 |1260 |1655 |1683 | 0 | 0 | 5.598059e+04 | -- | Inf
12.79/12.86 c 12.8s| 1 | 0 | 11263 | - |7946k| 0 | 231 |1260 | 104 |1260 |1662 |1690 | 0 | 0 | 5.598128e+04 | -- | Inf
12.89/12.99 c 13.0s| 1 | 0 | 11279 | - |7967k| 0 | 242 |1260 | 104 |1260 |1670 |1698 | 0 | 0 | 5.598163e+04 | -- | Inf
17.18/17.24 c 17.2s| 1 | 2 | 11279 | - |7967k| 0 | 242 |1260 | 104 |1260 |1670 |1698 | 0 | 27 | 5.598163e+04 | -- | Inf
439.56/439.70 c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
567.32/567.57 c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
611.20/611.41 c 611s| 10000 | 9643 | 1032k| 102.1 | 24M| 77 | 55 |1260 |6931 |1260 |1624 |1698 |8811 |5826 | 6.127444e+04 | -- | Inf
905.41/905.72 c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1003.89/1004.23 c 1004s| 20000 | 19347 | 1771k| 88.0 | 35M| 83 | 40 |1260 |3479 |1260 |1624 |1698 | 15k|8319 | 6.239376e+04 | -- | Inf
1241.21/1241.61 c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1356.18/1356.60 c 1357s| 30000 | 29049 | 2416k| 80.2 | 46M| 83 | 33 |1260 |2248 |1260 |1624 |1698 | 21k| 10k| 6.287011e+04 | -- | Inf
1626.81/1627.33 c 1627s| 40000 | 38717 | 2896k| 72.1 | 58M| 93 | 41 |1260 |2973 |1260 |1624 |1698 | 27k| 11k| 6.330562e+04 | -- | Inf
1735.67/1736.25 c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1737.57/1738.14 c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1769.46/1770.05 c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1789.45/1790.01 c
1789.45/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.45/1790.01 c Solving Time (sec) : 1789.99
1789.45/1790.01 c Solving Nodes : 47197
1789.45/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.45/1790.01 c Dual Bound : +6.37943805590202e+04
1789.45/1790.01 c Gap : infinite
1789.45/1790.01 s UNKNOWN
1789.45/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.45/1790.02 c Solving Time : 1789.99
1789.45/1790.02 c Original Problem :
1789.45/1790.02 c Problem name : HOME/instance-2703707-1278559747.opb
1789.45/1790.02 c Variables : 1260 (1260 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.45/1790.02 c Constraints : 104 initial, 104 maximal
1789.45/1790.02 c Presolved Problem :
1789.45/1790.02 c Problem name : t_HOME/instance-2703707-1278559747.opb
1789.45/1790.02 c Variables : 1260 (1260 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.45/1790.02 c Constraints : 104 initial, 7074 maximal
1789.45/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.45/1790.02 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.02 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.02 c implics : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.02 c probing : 0.02 0 0 0 0 0 0 0 0
1789.45/1790.02 c knapsack : 0.01 0 0 0 0 0 0 0 0
1789.45/1790.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.02 c linear : 0.00 0 0 0 0 0 0 120 120
1789.45/1790.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.02 c root node : - 0 - - 0 - - - -
1789.45/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.45/1790.02 c integral : 0 0 0 46857 0 1 433 0 0 92846
1789.45/1790.02 c knapsack : 80 93 276618 0 0 36 88288 490 0 0
1789.45/1790.02 c setppc : 4 93 44624 0 0 0 68348 0 0 0
1789.45/1790.02 c linear : 20 93 276582 0 0 816 6399 2943 0 0
1789.45/1790.02 c logicor : 0+ 0 98500 0 0 122 8979 0 0 0
1789.45/1790.02 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.45/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.45/1790.02 c integral : 177.89 0.00 0.00 177.89 0.00
1789.45/1790.02 c knapsack : 3.58 0.04 3.55 0.00 0.00
1789.45/1790.02 c setppc : 0.33 0.00 0.33 0.00 0.00
1789.45/1790.02 c linear : 12.32 2.10 10.22 0.00 0.00
1789.45/1790.02 c logicor : 2.90 0.00 2.90 0.00 0.00
1789.45/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.45/1790.02 c Propagators : Time Calls Cutoffs DomReds
1789.45/1790.02 c vbounds : 0.24 2 0 0
1789.45/1790.02 c rootredcost : 0.29 0 0 0
1789.45/1790.02 c pseudoobj : 13.07 276608 0 0
1789.45/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.45/1790.02 c propagation : 0.22 974 974 6588 76.5 32 20.7 -
1789.45/1790.02 c infeasible LP : 6.25 12023 9531 31469 32.0 112 24.9 0
1789.45/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.45/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.45/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.45/1790.02 c applied globally : - - - 30682 30.4 - - -
1789.45/1790.02 c applied locally : - - - 2 154.0 - - -
1789.45/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.45/1790.02 c cut pool : 0.01 91 - - 207 - (maximal pool size: 356)
1789.45/1790.02 c redcost : 3.78 46917 0 0 0 0
1789.45/1790.02 c impliedbounds : 0.01 93 0 0 506 0
1789.45/1790.02 c intobj : 0.00 0 0 0 0 0
1789.45/1790.02 c cgmip : 0.00 0 0 0 0 0
1789.45/1790.02 c gomory : 5.25 93 0 0 349 0
1789.45/1790.02 c strongcg : 0.31 20 0 0 112 0
1789.45/1790.02 c cmir : 0.09 10 0 0 37 0
1789.45/1790.02 c flowcover : 0.23 10 0 0 72 0
1789.45/1790.02 c clique : 0.00 93 0 0 0 0
1789.45/1790.02 c zerohalf : 0.00 0 0 0 0 0
1789.45/1790.02 c mcf : 0.00 1 0 0 0 0
1789.45/1790.02 c rapidlearning : 0.06 1 0 0 0 0
1789.45/1790.02 c Pricers : Time Calls Vars
1789.45/1790.02 c problem variables: 0.00 0 0
1789.45/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.45/1790.02 c relpscost : 177.74 46857 1 433 0 0 92846
1789.45/1790.02 c pscost : 0.00 0 0 0 0 0 0
1789.45/1790.02 c inference : 0.00 0 0 0 0 0 0
1789.45/1790.02 c mostinf : 0.00 0 0 0 0 0 0
1789.45/1790.02 c leastinf : 0.00 0 0 0 0 0 0
1789.45/1790.02 c fullstrong : 0.00 0 0 0 0 0 0
1789.45/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0
1789.45/1790.02 c random : 0.00 0 0 0 0 0 0
1789.45/1790.02 c Primal Heuristics : Time Calls Found
1789.45/1790.02 c LP solutions : 0.00 - 0
1789.45/1790.02 c pseudo solutions : 0.00 - 0
1789.45/1790.02 c oneopt : 0.07 0 0
1789.45/1790.02 c crossover : 0.04 0 0
1789.45/1790.02 c veclendiving : 61.13 238 0
1789.45/1790.02 c linesearchdiving : 87.26 238 0
1789.45/1790.02 c pscostdiving : 145.42 239 0
1789.45/1790.02 c trivial : 0.00 2 0
1789.45/1790.02 c simplerounding : 0.05 0 0
1789.45/1790.02 c zirounding : 0.21 1000 0
1789.45/1790.02 c rounding : 0.79 3020 0
1789.45/1790.02 c shifting : 3.00 927 0
1789.45/1790.02 c intshifting : 0.00 0 0
1789.45/1790.02 c twoopt : 0.00 0 0
1789.45/1790.02 c fixandinfer : 0.00 0 0
1789.45/1790.02 c feaspump : 9.01 51 0
1789.45/1790.02 c coefdiving : 133.03 163 0
1789.45/1790.02 c fracdiving : 208.61 239 0
1789.45/1790.02 c intdiving : 0.00 0 0
1789.45/1790.02 c actconsdiving : 0.00 0 0
1789.45/1790.02 c objpscostdiving : 12.14 60 0
1789.45/1790.02 c rootsoldiving : 15.53 20 0
1789.45/1790.02 c guideddiving : 0.00 0 0
1789.45/1790.02 c octane : 0.00 0 0
1789.45/1790.02 c rens : 0.14 1 0
1789.45/1790.02 c rins : 0.00 0 0
1789.45/1790.02 c localbranching : 0.00 0 0
1789.45/1790.02 c mutation : 0.00 0 0
1789.45/1790.02 c dins : 0.00 0 0
1789.45/1790.02 c undercover : 0.00 0 0
1789.45/1790.02 c nlp : 0.04 0 0
1789.45/1790.02 c trysol : 0.04 0 0
1789.45/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec
1789.45/1790.02 c primal LP : 0.05 0 0 0.00 0.00
1789.45/1790.02 c dual LP : 869.84 47552 2474466 52.04 2844.73
1789.45/1790.02 c lex dual LP : 0.00 0 0 0.00 -
1789.45/1790.02 c barrier LP : 0.00 0 0 0.00 -
1789.45/1790.02 c diving/probing LP: 518.29 182325 703827 3.86 1357.98
1789.45/1790.02 c strong branching : 175.46 12124 325168 26.82 1853.26
1789.45/1790.02 c (at root node) : - 27 7711 285.59 -
1789.45/1790.02 c conflict analysis: 0.00 0 0 0.00 -
1789.45/1790.02 c B&B Tree :
1789.45/1790.02 c number of runs : 1
1789.45/1790.02 c nodes : 47197
1789.45/1790.02 c nodes (total) : 47197
1789.45/1790.02 c nodes left : 45650
1789.45/1790.02 c max depth : 95
1789.45/1790.02 c max depth (total): 95
1789.45/1790.02 c backtracks : 1335 (2.8%)
1789.45/1790.02 c delayed cutoffs : 0
1789.45/1790.02 c repropagations : 3459 (626 domain reductions, 0 cutoffs)
1789.45/1790.02 c avg switch length: 2.84
1789.45/1790.02 c switching time : 5.54
1789.45/1790.02 c Solution :
1789.45/1790.02 c Solutions found : 0 (0 improvements)
1789.45/1790.02 c Primal Bound : -
1789.45/1790.02 c Dual Bound : +6.37943805590202e+04
1789.45/1790.02 c Gap : infinite
1789.45/1790.02 c Root Dual Bound : +5.59816290348979e+04
1789.45/1790.02 c Root Iterations : 11279
1789.55/1790.16 c Time complete: 1789.62.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703707-1278559747/watcher-2703707-1278559747 -o /tmp/evaluation-result-2703707-1278559747/solver-2703707-1278559747 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703707-1278559747.opb -t 1800 -m 1800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 1023
/proc/meminfo: memFree=1582164/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=5692 CPUtime=0
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 740 0 0 0 0 0 0 0 18 0 1 0 24187053 5828608 654 1992294400 4194304 8395647 140734875515408 18446744073709551615 5545040 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1023/statm: 1423 658 313 1026 0 393 0
[startup+0.0446921 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 1023
/proc/meminfo: memFree=1582164/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=17628 CPUtime=0.03
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 3638 0 0 0 3 0 0 0 20 0 1 0 24187053 18051072 3195 1992294400 4194304 8395647 140734875515408 18446744073709551615 6347101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 4407 3211 480 1026 0 3377 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17628
[startup+0.100697 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 1023
/proc/meminfo: memFree=1582164/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=19868 CPUtime=0.09
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 4526 0 0 0 8 1 0 0 20 0 1 0 24187053 20344832 4083 1992294400 4194304 8395647 140734875515408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 4967 4083 579 1026 0 3937 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19868
[startup+0.300717 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 1023
/proc/meminfo: memFree=1582164/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=32056 CPUtime=0.29
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 8011 0 0 0 27 2 0 0 20 0 1 0 24187053 32825344 6893 1992294400 4194304 8395647 140734875515408 18446744073709551615 7185512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 8014 6893 649 1026 0 6984 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32056
[startup+0.700757 s]
/proc/loadavg: 1.00 1.00 0.95 3/106 1023
/proc/meminfo: memFree=1582164/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=32056 CPUtime=0.69
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 8109 0 0 0 67 2 0 0 20 0 1 0 24187053 32825344 6969 1992294400 4194304 8395647 140734875515408 18446744073709551615 4904034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 8014 6969 627 1026 0 6984 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32056
[startup+1.50084 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1024
/proc/meminfo: memFree=1556488/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=34064 CPUtime=1.49
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 8534 0 0 0 146 3 0 0 23 0 1 0 24187053 34881536 7394 1992294400 4194304 8395647 140734875515408 18446744073709551615 6126250 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 8516 7394 628 1026 0 7486 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34064
[startup+3.101 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1024
/proc/meminfo: memFree=1553884/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=36216 CPUtime=3.09
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 9037 0 0 0 304 5 0 0 25 0 1 0 24187053 37085184 7897 1992294400 4194304 8395647 140734875515408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 9054 7897 628 1026 0 8024 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36216
[startup+6.30132 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1024
/proc/meminfo: memFree=1549048/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=39300 CPUtime=6.29
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 10081 0 0 0 621 8 0 0 25 0 1 0 24187053 40243200 8911 1992294400 4194304 8395647 140734875515408 18446744073709551615 4904072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 9825 8911 628 1026 0 8795 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39300
[startup+12.701 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1025
/proc/meminfo: memFree=1544460/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=44736 CPUtime=12.69
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 11022 0 0 0 1253 16 0 0 25 0 1 0 24187053 45809664 9852 1992294400 4194304 8395647 140734875515408 18446744073709551615 6723317 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 11184 9852 628 1026 0 10154 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44736
[startup+25.5003 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1025
/proc/meminfo: memFree=1543716/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=44440 CPUtime=25.49
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 16102 0 0 0 2520 29 0 0 25 0 1 0 24187053 45506560 9917 1992294400 4194304 8395647 140734875515408 18446744073709551615 6696995 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 11110 9917 637 1026 0 10080 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 44440
[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1026
/proc/meminfo: memFree=1544336/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=44836 CPUtime=51.07
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 16780 0 0 0 5056 51 0 0 25 0 1 0 24187053 45912064 9925 1992294400 4194304 8395647 140734875515408 18446744073709551615 6585869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 11209 9925 641 1026 0 10179 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44836
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1027
/proc/meminfo: memFree=1543840/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=45096 CPUtime=102.27
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 18399 0 0 0 10129 98 0 0 25 0 1 0 24187053 46178304 10059 1992294400 4194304 8395647 140734875515408 18446744073709551615 6120538 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1023/statm: 11274 10059 642 1026 0 10244 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 45096
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1029
/proc/meminfo: memFree=1542848/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=47004 CPUtime=162.24
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 20175 0 0 0 16073 151 0 0 25 0 1 0 24187053 48132096 10485 1992294400 4194304 8395647 140734875515408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 11751 10485 740 1026 0 10721 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 47004
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1030
/proc/meminfo: memFree=1540492/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=48292 CPUtime=222.22
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 21170 0 0 0 22016 206 0 0 25 0 1 0 24187053 49451008 10977 1992294400 4194304 8395647 140734875515408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 12073 10977 740 1026 0 11043 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 48292
[startup+282.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1032
/proc/meminfo: memFree=1537392/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=51868 CPUtime=282.21
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 22055 0 0 0 27965 256 0 0 25 0 1 0 24187053 53112832 11808 1992294400 4194304 8395647 140734875515408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 12967 11808 740 1026 0 11937 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 51868
[startup+342.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1033
/proc/meminfo: memFree=1533796/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=54992 CPUtime=342.19
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 22897 0 0 0 33909 310 0 0 25 0 1 0 24187053 56311808 12646 1992294400 4194304 8395647 140734875515408 18446744073709551615 4691591 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 13748 12646 741 1026 0 12718 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 54992
[startup+402.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1035
/proc/meminfo: memFree=1531688/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=57084 CPUtime=402.17
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 23427 0 0 0 39852 365 0 0 25 0 1 0 24187053 58454016 13176 1992294400 4194304 8395647 140734875515408 18446744073709551615 6697363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 14271 13176 741 1026 0 13241 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 57084
[startup+462.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1037
/proc/meminfo: memFree=1531068/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=57676 CPUtime=462.15
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 24833 0 0 0 45797 418 0 0 25 0 1 0 24187053 59060224 13311 1992294400 4194304 8395647 140734875515408 18446744073709551615 6652339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1023/statm: 14419 13311 742 1026 0 13389 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 57676
[startup+522.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1038
/proc/meminfo: memFree=1527100/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=61496 CPUtime=522.13
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 25811 0 0 0 51738 475 0 0 25 0 1 0 24187053 62971904 14289 1992294400 4194304 8395647 140734875515408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 15374 14289 742 1026 0 14344 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 61496
[startup+582.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1040
/proc/meminfo: memFree=1525860/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=62636 CPUtime=582.11
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 26134 0 0 0 57681 530 0 0 25 0 1 0 24187053 64139264 14612 1992294400 4194304 8395647 140734875515408 18446744073709551615 6702104 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1023/statm: 15659 14612 742 1026 0 14629 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 62636
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1041
/proc/meminfo: memFree=1523132/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=65592 CPUtime=642.09
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 26806 0 0 0 63620 589 0 0 25 0 1 0 24187053 67166208 15284 1992294400 4194304 8395647 140734875515408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 16398 15284 742 1026 0 15368 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 65592
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1511724/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=76200 CPUtime=1001.99
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 30219 0 0 0 99281 918 0 0 25 0 1 0 24187053 78028800 18028 1992294400 4194304 8395647 140734875515408 18446744073709551615 6574281 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 19050 18028 742 1026 0 18020 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 76200
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1053
/proc/meminfo: memFree=1508748/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=79380 CPUtime=1061.97
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 30981 0 0 0 105228 969 0 0 25 0 1 0 24187053 81285120 18790 1992294400 4194304 8395647 140734875515408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 19845 18790 742 1026 0 18815 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 79380
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1054
/proc/meminfo: memFree=1506640/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=81324 CPUtime=1121.95
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 31503 0 0 0 111171 1024 0 0 25 0 1 0 24187053 83275776 19312 1992294400 4194304 8395647 140734875515408 18446744073709551615 6697367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 20331 19312 742 1026 0 19301 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 81324
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 1056
/proc/meminfo: memFree=1503912/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=84012 CPUtime=1181.93
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 32176 0 0 0 117110 1083 0 0 25 0 1 0 24187053 86028288 19985 1992294400 4194304 8395647 140734875515408 18446744073709551615 6701738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 21003 19985 742 1026 0 19973 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 84012
[startup+1242.3 s]
/proc/loadavg: 1.04 1.01 0.96 2/107 1057
/proc/meminfo: memFree=1503292/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=84300 CPUtime=1241.92
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 32242 0 0 0 123055 1137 0 0 25 0 1 0 24187053 86323200 20051 1992294400 4194304 8395647 140734875515408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 21075 20051 742 1026 0 20045 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 84300
[startup+1302.3 s]
/proc/loadavg: 1.01 1.01 0.96 2/107 1059
/proc/meminfo: memFree=1500812/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=86716 CPUtime=1301.9
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 32863 0 0 0 129003 1187 0 0 25 0 1 0 24187053 88797184 20672 1992294400 4194304 8395647 140734875515408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 21679 20672 742 1026 0 20649 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 86716
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 1061
/proc/meminfo: memFree=1499076/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=88428 CPUtime=1361.88
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 33298 0 0 0 134947 1241 0 0 25 0 1 0 24187053 90550272 21107 1992294400 4194304 8395647 140734875515408 18446744073709551615 6586906 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 22107 21107 742 1026 0 21077 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 88428
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 1062
/proc/meminfo: memFree=1497092/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=90624 CPUtime=1421.87
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 33799 0 0 0 140895 1292 0 0 25 0 1 0 24187053 92798976 21608 1992294400 4194304 8395647 140734875515408 18446744073709551615 6652339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 22656 21608 742 1026 0 21626 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 90624
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 1064
/proc/meminfo: memFree=1495356/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=92156 CPUtime=1481.85
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 34218 0 0 0 146837 1348 0 0 25 0 1 0 24187053 94367744 22027 1992294400 4194304 8395647 140734875515408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 23039 22027 742 1026 0 22009 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 92156
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 1065
/proc/meminfo: memFree=1490644/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=96704 CPUtime=1541.83
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 35518 0 0 0 152779 1404 0 0 25 0 1 0 24187053 99024896 23199 1992294400 4194304 8395647 140734875515408 18446744073709551615 6311140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 24176 23199 742 1026 0 23146 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 96704
[startup+1602.3 s]
/proc/loadavg: 1.07 1.02 0.96 2/107 1067
/proc/meminfo: memFree=1487420/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=100076 CPUtime=1601.81
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 36334 0 0 0 158723 1458 0 0 25 0 1 0 24187053 102477824 23988 1992294400 4194304 8395647 140734875515408 18446744073709551615 6697714 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 25019 23988 742 1026 0 23989 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 100076
[startup+1662.3 s]
/proc/loadavg: 1.08 1.03 0.97 2/107 1069
/proc/meminfo: memFree=1484072/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=103172 CPUtime=1661.79
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 37232 0 0 0 164671 1508 0 0 25 0 1 0 24187053 105648128 24834 1992294400 4194304 8395647 140734875515408 18446744073709551615 6120558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 25793 24834 742 1026 0 24763 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 103172
[startup+1722.3 s]
/proc/loadavg: 1.09 1.04 0.97 2/107 1070
/proc/meminfo: memFree=1482212/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=105200 CPUtime=1721.78
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 37697 0 0 0 170619 1559 0 0 25 0 1 0 24187053 107724800 25297 1992294400 4194304 8395647 140734875515408 18446744073709551615 6721310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 26300 25297 742 1026 0 25270 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 105200
[startup+1782.3 s]
/proc/loadavg: 1.08 1.04 0.98 2/107 1072
/proc/meminfo: memFree=1478492/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=108292 CPUtime=1781.75
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 38540 0 0 0 176566 1609 0 0 25 0 1 0 24187053 110891008 26140 1992294400 4194304 8395647 140734875515408 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 27073 26140 742 1026 0 26043 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 108292
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.08 1.04 0.98 2/107 1072
/proc/meminfo: memFree=1478492/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=108292 CPUtime=1784.96
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 38541 0 0 0 176883 1613 0 0 25 0 1 0 24187053 110891008 26141 1992294400 4194304 8395647 140734875515408 18446744073709551615 6652301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 27073 26141 742 1026 0 26043 0
Current children cumulated CPU time (s) 1784.96
Current children cumulated vsize (KiB) 108292
[startup+1788.7 s]
/proc/loadavg: 1.08 1.04 0.98 2/107 1072
/proc/meminfo: memFree=1477872/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=108952 CPUtime=1788.16
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 38697 0 0 0 177200 1616 0 0 25 0 1 0 24187053 111566848 26297 1992294400 4194304 8395647 140734875515408 18446744073709551615 6697587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 27238 26297 742 1026 0 26208 0
Current children cumulated CPU time (s) 1788.16
Current children cumulated vsize (KiB) 108952
[startup+1789.5 s]
/proc/loadavg: 1.08 1.04 0.98 2/107 1072
/proc/meminfo: memFree=1477872/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=108952 CPUtime=1788.95
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 38697 0 0 0 177279 1616 0 0 25 0 1 0 24187053 111566848 26297 1992294400 4194304 8395647 140734875515408 18446744073709551615 6721238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 27238 26297 742 1026 0 26208 0
Current children cumulated CPU time (s) 1788.95
Current children cumulated vsize (KiB) 108952
[startup+1789.9 s]
/proc/loadavg: 1.08 1.04 0.98 2/107 1072
/proc/meminfo: memFree=1477872/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=108952 CPUtime=1789.35
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 38697 0 0 0 177319 1616 0 0 25 0 1 0 24187053 111566848 26297 1992294400 4194304 8395647 140734875515408 18446744073709551615 6574285 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1023/statm: 27238 26297 742 1026 0 26208 0
Current children cumulated CPU time (s) 1789.35
Current children cumulated vsize (KiB) 108952
[startup+1790.1 s]
/proc/loadavg: 1.08 1.04 0.98 2/107 1072
/proc/meminfo: memFree=1477872/2059040 swapFree=4139504/4192956
[pid=1023] ppid=1021 vsize=108952 CPUtime=1789.55
/proc/1023/stat : 1023 (pbscip.linux.x8) R 1021 1023 31762 0 -1 4202496 38699 0 0 0 177339 1616 0 0 25 0 1 0 24187053 111566848 26299 1992294400 4194304 8395647 140734875515408 18446744073709551615 4664167 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1023/statm: 27238 26299 744 1026 0 26208 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (KiB) 108952
Child status: 0
Real time (s): 1790.17
CPU time (s): 1789.63
CPU user time (s): 1773.45
CPU system time (s): 16.1795
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 108952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.45
system time used= 16.1795
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38700
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= 2
involuntary context switches= 2993
runsolver used 2.93755 second user time and 8.46671 second system time
The end