0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute 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-4449758-1721403115.opb>
0.00/0.01 c original problem has 242 variables (242 bin, 0 int, 0 impl, 0 cont) and 6358 constraints
0.00/0.01 c problem read in 0.01
0.00/0.02 c presolving:
0.00/0.03 c (0.0s) running MILP presolver
0.00/0.03 c (0.0s) MILP presolver found nothing
0.00/0.04 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6358 upgd conss, 0 impls, 11 clqs
0.00/0.06 c (0.1s) probing: 51/242 (21.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.14 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.16 c (0.2s) symmetry computation finished: 24 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 0.02)
0.09/0.16 c dynamic symmetry handling statistics:
0.09/0.16 c orbitopal reduction: no components
0.09/0.16 c orbital reduction: 1 components of sizes 24
0.09/0.16 c lexicographic reduction: 24 permutations with support sizes 22, 22, 22, 22, 50, 24, 50, 24, 50, 24, 50, 24, 50, 24, 50, 24, 50, 24, 50, 24, 50, 24, 50, 24
0.09/0.16 c handled 1 out of 1 symmetry components
0.09/0.17 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.09/0.17 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17 c 0 implications, 11 cliques
0.09/0.17 c presolved problem has 242 variables (242 bin, 0 int, 0 impl, 0 cont) and 6358 constraints
0.09/0.17 c 11 constraints of type <setppc>
0.09/0.17 c 6347 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.15
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 10.0.0
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.17 c limits/time = 3596.998008
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.17 c limits/memory = 27900
0.09/0.17 c
0.09/0.17 c # belongs reading time to solving time?
0.09/0.17 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c timing/reading = TRUE
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 o 11
0.09/0.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.18 c p 0.2s| 1 | 0 | 0 | - |shiftand| 0 | 242 |6360 |6358 | 0 | 0 | 2 | 0 | 0.000000e+00 | 1.100000e+01 | Inf | unknown
0.09/0.18 o 10
0.09/0.18 c i 0.2s| 1 | 0 | 0 | - | oneopt| 0 | 242 |6360 |6358 | 0 | 0 | 2 | 0 | 0.000000e+00 | 1.000000e+01 | Inf | unknown
0.09/0.18 c 0.2s| 1 | 0 | 105 | - | 56M | 0 | 242 |6360 |6358 | 0 | 0 | 2 | 0 | 0.000000e+00 | 1.000000e+01 | Inf | unknown
0.29/0.32 c 0.3s| 1 | 0 | 150 | - | 58M | 0 | 242 |6360 |6366 | 8 | 1 | 2 | 0 | 0.000000e+00 | 1.000000e+01 | Inf | unknown
0.29/0.33 o 6
0.29/0.33 c r 0.3s| 1 | 0 | 150 | - |shifting| 0 | 242 |6360 |6366 | 8 | 1 | 2 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
0.49/0.60 c 0.6s| 1 | 0 | 188 | - | 59M | 0 | 242 |6360 |6372 | 14 | 2 | 2 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
0.68/0.70 c 0.7s| 1 | 0 | 214 | - | 62M | 0 | 242 |6360 |6375 | 17 | 3 | 2 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
0.78/0.84 c 0.8s| 1 | 0 | 260 | - | 64M | 0 | 242 |6360 |6378 | 20 | 4 | 2 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
0.88/0.97 c 1.0s| 1 | 0 | 276 | - | 66M | 0 | 242 |6360 |6382 | 24 | 5 | 2 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
0.98/1.07 c 1.1s| 1 | 0 | 290 | - | 69M | 0 | 242 |6361 |6385 | 27 | 6 | 3 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
1.08/1.18 c 1.2s| 1 | 0 | 311 | - | 71M | 0 | 242 |6361 |6388 | 30 | 7 | 3 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
1.28/1.37 c 1.4s| 1 | 0 | 336 | - | 73M | 0 | 242 |6361 |6391 | 33 | 8 | 3 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
1.38/1.47 c 1.5s| 1 | 0 | 372 | - | 75M | 0 | 242 |6361 |6394 | 36 | 9 | 3 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
1.48/1.59 c 1.6s| 1 | 0 | 409 | - | 78M | 0 | 242 |6361 |6397 | 39 | 10 | 3 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
1.59/1.60 c 1.6s| 1 | 0 | 452 | - | 79M | 0 | 242 |6361 |6393 | 43 | 11 | 3 | 0 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
1.78/1.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.78/1.80 c 1.8s| 1 | 2 | 1096 | - | 79M | 0 | 242 |6365 |6393 | 43 | 11 | 7 | 23 | 0.000000e+00 | 6.000000e+00 | Inf | unknown
2.98/3.00 c 3.0s| 100 | 45 | 2662 | 22.3 | 81M | 24 | 242 |6553 |6376 | 65 | 1 | 200 | 358 | 0.000000e+00 | 6.000000e+00 | Inf | 63.80%
2.98/3.04 c r 3.0s| 105 | 46 | 2732 | 21.9 |shifting| 24 | 242 |6560 |6376 | 65 | 0 | 207 | 369 | 0.000000e+00 | 6.000000e+00 | Inf | 63.80%
3.77/3.82 c 3.8s| 200 | 86 | 4208 | 18.9 | 82M | 29 | 242 |6784 |6375 | 83 | 3 | 452 | 572 | 0.000000e+00 | 6.000000e+00 | Inf | 63.82%
4.57/4.69 c 4.7s| 300 | 129 | 5765 | 17.8 | 84M | 29 | 242 |6970 |6377 | 110 | 1 | 676 | 764 | 0.000000e+00 | 6.000000e+00 | Inf | 63.90%
4.97/5.06 c 5.1s| 400 | 145 | 6735 | 15.7 | 84M | 29 | 242 |7109 |6376 | 113 | 1 | 852 | 820 | 0.000000e+00 | 6.000000e+00 | Inf | 64.09%
5.47/5.56 c 5.6s| 500 | 159 | 7785 | 14.7 | 85M | 29 | 242 |7218 | 0 | 125 | 0 |1021 | 892 | 0.000000e+00 | 6.000000e+00 | Inf | 64.10%
7.56/7.69 c 7.7s| 600 | 216 | 10478 | 16.7 | 88M | 29 | 242 |7257 |6371 | 175 | 1 |1159 | 964 | 1.000000e+00 | 6.000000e+00 | 500.00%| 69.53%
7.86/7.92 c 7.9s| 700 | 251 | 11815 | 16.3 | 88M | 29 | 242 |7353 |6370 | 178 | 1 |1310 | 972 | 1.000000e+00 | 6.000000e+00 | 500.00%| 69.55%
8.36/8.40 c 8.4s| 800 | 297 | 14495 | 17.6 | 88M | 29 | 242 |7483 |6370 | 197 | 1 |1574 | 981 | 1.000000e+00 | 6.000000e+00 | 500.00%| 69.58%
8.56/8.64 c 8.6s| 900 | 356 | 16358 | 17.7 | 89M | 29 | 242 |7595 | 0 | 198 | 0 |1811 | 982 | 1.000000e+00 | 6.000000e+00 | 500.00%| 69.61%
8.96/9.03 c 9.0s| 1000 | 398 | 18558 | 18.1 | 89M | 29 | 242 |7674 |6370 | 198 | 1 |1994 | 988 | 1.000000e+00 | 6.000000e+00 | 500.00%| 69.62%
9.25/9.32 c 9.3s| 1100 | 431 | 21094 | 18.8 | 90M | 29 | 242 |7712 |6373 | 198 | 1 |2192 | 990 | 1.000000e+00 | 6.000000e+00 | 500.00%| 69.63%
9.55/9.62 c 9.6s| 1200 | 474 | 23531 | 19.2 | 90M | 29 | 242 |7757 | 0 | 209 | 0 |2396 | 990 | 1.000000e+00 | 6.000000e+00 | 500.00%| 69.64%
9.85/9.90 c 9.9s| 1300 | 500 | 24974 | 18.9 | 91M | 29 | 242 |7847 |6371 | 219 | 1 |2627 | 991 | 1.000000e+00 | 6.000000e+00 | 500.00%| 69.94%
10.05/10.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.05/10.16 c 10.2s| 1400 | 527 | 26364 | 18.5 | 91M | 29 | 242 |7915 |6370 | 230 | 1 |2830 | 992 | 1.000000e+00 | 6.000000e+00 | 500.00%| 69.99%
10.35/10.43 c 10.4s| 1500 | 557 | 28004 | 18.4 | 91M | 29 | 242 |7911 |6373 | 239 | 1 |2977 | 992 | 1.000000e+00 | 6.000000e+00 | 500.00%| 69.99%
10.55/10.60 c 10.6s| 1600 | 568 | 29257 | 18.0 | 91M | 29 | 242 |7937 |6373 | 240 | 1 |3135 | 992 | 1.000000e+00 | 6.000000e+00 | 500.00%| 70.00%
11.25/11.35 c 11.3s| 1700 | 608 | 31027 | 18.0 | 92M | 29 | 242 |7945 | 0 | 285 | 0 |3308 | 998 | 1.000000e+00 | 6.000000e+00 | 500.00%| 71.74%
11.45/11.57 c 11.6s| 1800 | 645 | 32346 | 17.7 | 93M | 29 | 242 |8041 |6376 | 291 | 1 |3561 | 998 | 1.000000e+00 | 6.000000e+00 | 500.00%| 71.74%
11.74/11.88 c 11.9s| 1900 | 676 | 33907 | 17.6 | 93M | 29 | 242 |8139 | 0 | 294 | 0 |3794 | 998 | 1.000000e+00 | 6.000000e+00 | 500.00%| 71.75%
12.05/12.14 c 12.1s| 2000 | 696 | 35017 | 17.3 | 93M | 29 | 242 |8126 |6376 | 305 | 1 |3910 | 998 | 1.000000e+00 | 6.000000e+00 | 500.00%| 71.76%
13.15/13.25 c 13.2s| 2100 | 721 | 36649 | 17.2 | 94M | 29 | 242 |8150 |6370 | 318 | 1 |4101 | 998 | 1.000000e+00 | 6.000000e+00 | 500.00%| 71.77%
13.35/13.42 c 13.4s| 2200 | 741 | 37750 | 17.0 | 94M | 29 | 242 |8242 |6374 | 320 | 2 |4332 | 998 | 1.000000e+00 | 6.000000e+00 | 500.00%| 71.77%
13.54/13.62 c 13.6s| 2300 | 763 | 39067 | 16.8 | 94M | 29 | 242 |8313 |6373 | 321 | 1 |4557 | 998 | 1.000000e+00 | 6.000000e+00 | 500.00%| 71.78%
13.74/13.83 c 13.8s| 2400 | 774 | 40322 | 16.6 | 94M | 29 | 242 |8360 |6371 | 323 | 1 |4720 | 998 | 1.000000e+00 | 6.000000e+00 | 500.00%| 71.79%
13.95/14.10 c 14.1s| 2500 | 797 | 41711 | 16.5 | 94M | 29 | 242 |8408 |6371 | 327 | 1 |4911 |1000 | 1.000000e+00 | 6.000000e+00 | 500.00%| 71.79%
14.14/14.27 c 14.3s| 2600 | 812 | 42448 | 16.2 | 94M | 29 | 242 |8396 |6369 | 327 | 1 |5060 |1000 | 1.000000e+00 | 6.000000e+00 | 500.00%| 71.80%
14.34/14.44 c 14.4s| 2700 | 832 | 43441 | 15.9 | 94M | 29 | 242 |8443 | 0 | 329 | 0 |5231 |1000 | 1.000000e+00 | 6.000000e+00 | 500.00%| 71.83%
14.44/14.57 c 14.6s| 2800 | 826 | 44106 | 15.6 | 94M | 29 | 242 |8450 |6376 | 329 | 1 |5361 |1000 | 1.000000e+00 | 6.000000e+00 | 500.00%| 71.85%
14.64/14.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.64/14.71 c 14.7s| 2900 | 830 | 44726 | 15.3 | 95M | 29 | 242 |8518 |6377 | 333 | 1 |5520 |1000 | 1.000000e+00 | 6.000000e+00 | 500.00%| 71.85%
14.74/14.89 c 14.9s| 3000 | 835 | 45471 | 15.0 | 95M | 29 | 242 |8562 | 0 | 333 | 0 |5674 |1000 | 1.000000e+00 | 6.000000e+00 | 500.00%| 71.85%
15.04/15.14 c 15.1s| 3100 | 849 | 46533 | 14.9 | 95M | 29 | 242 |8648 |6374 | 333 | 1 |5871 |1000 | 1.000000e+00 | 6.000000e+00 | 500.00%| 71.86%
15.24/15.30 c 15.3s| 3200 | 843 | 47356 | 14.7 | 95M | 29 | 242 |8709 | 0 | 334 | 0 |6028 |1000 | 1.200000e+00 | 6.000000e+00 | 400.00%| 73.20%
15.44/15.58 c 15.6s| 3300 | 848 | 48290 | 14.5 | 95M | 29 | 242 |8748 |6370 | 342 | 1 |6186 |1000 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.44%
15.64/15.79 c 15.8s| 3400 | 857 | 49047 | 14.3 | 95M | 29 | 242 |8824 | 0 | 342 | 0 |6364 |1000 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.47%
15.94/16.03 c 16.0s| 3500 | 866 | 49762 | 14.1 | 95M | 31 | 242 |8882 |6370 | 344 | 1 |6514 |1000 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.48%
16.04/16.15 c 16.1s| 3600 | 867 | 50196 | 13.8 | 95M | 31 | 242 |8954 |6371 | 344 | 1 |6643 |1000 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.49%
16.33/16.48 c 16.5s| 3700 | 858 | 50924 | 13.6 | 95M | 31 | 242 |8955 |6371 | 353 | 1 |6759 |1002 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.49%
16.43/16.59 c 16.6s| 3800 | 839 | 51287 | 13.4 | 95M | 32 | 242 |8931 |6373 | 355 | 1 |6867 |1002 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.51%
16.63/16.76 c 16.8s| 3900 | 829 | 51812 | 13.2 | 95M | 35 | 242 |8923 |6371 | 355 | 1 |6977 |1002 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.52%
16.73/16.87 c 16.9s| 4000 | 811 | 52220 | 12.9 | 95M | 35 | 242 |8930 |6378 | 355 | 1 |7090 |1002 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.53%
16.94/17.03 c 17.0s| 4100 | 813 | 52926 | 12.8 | 95M | 35 | 242 |8939 | 0 | 355 | 0 |7192 |1002 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.55%
17.13/17.27 c 17.3s| 4200 | 821 | 53570 | 12.7 | 95M | 35 | 242 |8994 | 0 | 355 | 0 |7334 |1002 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.56%
17.23/17.38 c 17.4s| 4300 | 814 | 53832 | 12.4 | 95M | 35 | 242 |8994 |6373 | 358 | 1 |7425 |1002 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.57%
18.33/18.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.33/18.46 c 18.5s| 4400 | 795 | 54450 | 12.3 | 95M | 35 | 242 |8995 | 0 | 358 | 0 |7535 |1002 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.57%
18.53/18.62 c 18.6s| 4500 | 773 | 54917 | 12.1 | 96M | 35 | 242 |8946 |6373 | 359 | 1 |7617 |1002 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.58%
18.63/18.73 c 18.7s| 4600 | 764 | 55351 | 11.9 | 96M | 35 | 242 |8982 | 0 | 361 | 0 |7736 |1002 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.58%
18.82/18.92 c 18.9s| 4700 | 760 | 55711 | 11.8 | 96M | 35 | 242 |9001 | 0 | 367 | 0 |7845 |1006 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.59%
18.93/19.02 c 19.0s| 4800 | 753 | 56040 | 11.6 | 96M | 35 | 242 |8993 | 0 | 368 | 0 |7919 |1006 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.60%
19.03/19.14 c 19.1s| 4900 | 763 | 56577 | 11.5 | 96M | 35 | 242 |9045 |6377 | 369 | 1 |8034 |1006 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.60%
19.22/19.32 c 19.3s| 5000 | 764 | 57285 | 11.4 | 96M | 35 | 242 |9075 |6376 | 369 | 1 |8143 |1006 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.62%
19.32/19.44 c 19.4s| 5100 | 770 | 57723 | 11.2 | 96M | 35 | 242 |9169 | 0 | 372 | 0 |8283 |1006 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.62%
19.42/19.57 c 19.6s| 5200 | 760 | 58039 | 11.1 | 97M | 35 | 242 |9202 |6371 | 372 | 1 |8412 |1006 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.70%
19.72/19.82 c 19.8s| 5300 | 747 | 58569 | 11.0 | 97M | 36 | 242 |9216 | 0 | 380 | 0 |8519 |1006 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.72%
20.02/20.12 c 20.1s| 5400 | 759 | 59171 | 10.9 | 97M | 36 | 242 |9238 | 0 | 391 | 0 |8600 |1006 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.75%
20.12/20.27 c 20.3s| 5500 | 750 | 59632 | 10.8 | 97M | 36 | 242 |9212 | 0 | 393 | 0 |8684 |1006 | 2.000000e+00 | 6.000000e+00 | 200.00%| 77.76%
20.22/20.38 c 20.4s| 5600 | 732 | 59997 | 10.6 | 97M | 36 | 242 |9206 | 0 | 395 | 0 |8813 |1006 | 2.200000e+00 | 6.000000e+00 | 172.73%| 78.98%
20.42/20.54 c 20.5s| 5700 | 731 | 60457 | 10.5 | 97M | 36 | 242 |9211 |6376 | 403 | 1 |8924 |1006 | 2.250000e+00 | 6.000000e+00 | 166.67%| 79.24%
20.72/20.88 c 20.9s| 5800 | 706 | 60981 | 10.4 | 97M | 36 | 242 |9183 |6372 | 407 | 1 |9026 |1006 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.21%
20.92/21.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.92/21.05 c 21.1s| 5900 | 695 | 61583 | 10.4 | 97M | 36 | 242 |9182 | 0 | 408 | 0 |9141 |1008 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.23%
21.22/21.34 c 21.3s| 6000 | 671 | 62048 | 10.3 | 97M | 36 | 242 |9207 |6370 | 420 | 1 |9260 |1010 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.25%
21.61/21.71 c 21.7s| 6100 | 656 | 62790 | 10.2 | 97M | 36 | 242 |9216 |6373 | 428 | 0 |9377 |1010 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.26%
21.71/21.85 c 21.8s| 6200 | 642 | 63240 | 10.1 | 97M | 36 | 242 |9235 | 0 | 430 | 0 |9484 |1010 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.27%
22.71/22.88 c 22.9s| 6300 | 633 | 63677 | 10.0 | 97M | 36 | 242 |9234 |6374 | 431 | 1 |9576 |1010 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.28%
23.01/23.11 c 23.1s| 6400 | 633 | 64104 | 9.9 | 97M | 36 | 242 |9257 |6376 | 432 | 1 |9664 |1010 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.28%
23.11/23.26 c 23.3s| 6500 | 598 | 64330 | 9.8 | 97M | 36 | 242 |9294 | 0 | 432 | 0 |9798 |1010 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.29%
23.31/23.42 c 23.4s| 6600 | 582 | 64665 | 9.7 | 97M | 36 | 242 |9323 |6372 | 434 | 1 |9956 |1010 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.31%
23.51/23.67 c 23.7s| 6700 | 549 | 64969 | 9.6 | 97M | 36 | 242 |9332 |6376 | 436 | 1 | 10k|1010 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.33%
23.81/23.91 c 23.9s| 6800 | 543 | 65351 | 9.5 | 97M | 36 | 242 |9348 |6372 | 441 | 1 | 10k|1013 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.36%
24.01/24.17 c 24.2s| 6900 | 539 | 66002 | 9.5 | 97M | 36 | 242 |9366 |6378 | 444 | 2 | 10k|1013 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.36%
24.20/24.35 c 24.3s| 7000 | 515 | 66352 | 9.4 | 97M | 36 | 242 |9355 |6371 | 444 | 1 | 10k|1013 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.51%
24.40/24.52 c 24.5s| 7100 | 501 | 66652 | 9.3 | 97M | 36 | 242 |9386 | 0 | 444 | 0 | 10k|1013 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.52%
24.50/24.64 c 24.6s| 7200 | 513 | 67204 | 9.3 | 97M | 36 | 242 |9390 | 0 | 444 | 0 | 10k|1013 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.53%
24.70/24.85 c 24.8s| 7300 | 508 | 67799 | 9.2 | 97M | 36 | 242 |9418 |6373 | 444 | 1 | 10k|1013 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.53%
24.80/24.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.80/24.96 c 25.0s| 7400 | 512 | 68445 | 9.2 | 97M | 36 | 242 |9420 | 0 | 446 | 0 | 10k|1013 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.54%
25.01/25.11 c 25.1s| 7500 | 488 | 68831 | 9.1 | 97M | 36 | 242 |9445 |6372 | 446 | 1 | 10k|1013 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.56%
25.20/25.37 c 25.4s| 7600 | 480 | 69253 | 9.1 | 97M | 36 | 242 |9460 |6373 | 451 | 1 | 11k|1019 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.58%
25.40/25.53 c 25.5s| 7700 | 444 | 69747 | 9.0 | 97M | 36 | 242 |9464 |6371 | 451 | 1 | 11k|1019 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.59%
25.60/25.76 c 25.8s| 7800 | 426 | 70165 | 8.9 | 98M | 36 | 242 |9457 |6378 | 458 | 1 | 11k|1019 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.60%
25.80/25.98 c 26.0s| 7900 | 420 | 70651 | 8.9 | 98M | 36 | 242 |9490 |6371 | 465 | 0 | 11k|1019 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.64%
26.10/26.25 c 26.3s| 8000 | 412 | 71034 | 8.8 | 98M | 36 | 242 |9505 | 0 | 465 | 0 | 11k|1019 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.65%
26.30/26.42 c 26.4s| 8100 | 395 | 71377 | 8.8 | 98M | 36 | 242 |9519 |6371 | 465 | 1 | 11k|1019 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.65%
26.50/26.68 c 26.7s| 8200 | 382 | 71785 | 8.7 | 98M | 36 | 242 |9501 |6372 | 465 | 1 | 11k|1019 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.67%
26.60/26.79 c 26.8s| 8300 | 375 | 72322 | 8.7 | 98M | 36 | 242 |9490 |6372 | 466 | 1 | 11k|1019 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.69%
26.70/26.89 c 26.9s| 8400 | 352 | 72649 | 8.6 | 98M | 36 | 242 |9491 |6373 | 466 | 0 | 11k|1019 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.70%
27.00/27.17 c 27.2s| 8500 | 351 | 73421 | 8.6 | 98M | 36 | 242 |9507 | 0 | 485 | 0 | 11k|1019 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.73%
27.09/27.28 c 27.3s| 8600 | 322 | 73753 | 8.5 | 98M | 36 | 242 |9529 |6373 | 486 | 0 | 12k|1020 | 3.000000e+00 | 6.000000e+00 | 100.00%| 83.74%
27.19/27.38 c 27.4s| 8700 | 300 | 74098 | 8.5 | 98M | 36 | 242 |9539 | 0 | 490 | 0 | 12k|1020 | 3.200000e+00 | 6.000000e+00 | 87.50%| 84.89%
27.39/27.50 c 27.5s| 8800 | 280 | 74529 | 8.4 | 98M | 36 | 242 |9564 | 0 | 491 | 0 | 12k|1024 | 4.000000e+00 | 6.000000e+00 | 50.00%| 89.12%
27.49/27.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
27.49/27.61 c 27.6s| 8900 | 253 | 74874 | 8.4 | 98M | 36 | 242 |9552 | 0 | 491 | 0 | 12k|1028 | 4.000000e+00 | 6.000000e+00 | 50.00%| 89.16%
27.59/27.72 c 27.7s| 9000 | 238 | 75315 | 8.3 | 98M | 36 | 242 |9524 | 0 | 491 | 0 | 12k|1031 | 4.000000e+00 | 6.000000e+00 | 50.00%| 89.17%
27.69/27.88 c 27.9s| 9100 | 231 | 75657 | 8.3 | 98M | 36 | 242 |9439 |6376 | 491 | 1 | 12k|1036 | 4.000000e+00 | 6.000000e+00 | 50.00%| 89.19%
27.79/27.98 c 28.0s| 9200 | 217 | 76103 | 8.2 | 98M | 36 | 242 |9435 |6378 | 491 | 0 | 12k|1036 | 4.000000e+00 | 6.000000e+00 | 50.00%| 89.19%
28.00/28.11 c 28.1s| 9300 | 208 | 76564 | 8.2 | 98M | 36 | 242 |9440 |6371 | 491 | 1 | 12k|1037 | 4.000000e+00 | 6.000000e+00 | 50.00%| 89.21%
28.09/28.28 c 28.3s| 9400 | 197 | 77051 | 8.1 | 98M | 36 | 242 |9461 |6375 | 496 | 1 | 12k|1038 | 4.000000e+00 | 6.000000e+00 | 50.00%| 89.24%
29.29/29.40 c 29.4s| 9500 | 182 | 77366 | 8.1 | 98M | 36 | 242 |9465 |6373 | 498 | 1 | 12k|1038 | 4.000000e+00 | 6.000000e+00 | 50.00%| 89.24%
29.39/29.50 c 29.5s| 9600 | 139 | 77664 | 8.0 | 98M | 36 | 242 |9385 | 0 | 498 | 0 | 13k|1038 | 4.000000e+00 | 6.000000e+00 | 50.00%| 89.27%
29.49/29.61 c 29.6s| 9700 | 135 | 78033 | 8.0 | 98M | 36 | 242 |9381 |6373 | 498 | 1 | 13k|1038 | 4.000000e+00 | 6.000000e+00 | 50.00%| 89.27%
29.59/29.71 c 29.7s| 9800 | 111 | 78387 | 8.0 | 98M | 36 | 242 |9451 | 0 | 500 | 0 | 13k|1038 | 4.000000e+00 | 6.000000e+00 | 50.00%| 89.28%
29.69/29.80 c 29.8s| 9900 | 77 | 78602 | 7.9 | 98M | 36 | 242 |9450 | 0 | 500 | 0 | 13k|1038 | 4.000000e+00 | 6.000000e+00 | 50.00%| 89.30%
29.69/29.89 c 29.9s| 10000 | 36 | 78931 | 7.8 | 98M | 36 | 242 |9425 | 0 | 500 | 0 | 13k|1039 | 4.250000e+00 | 6.000000e+00 | 41.18%| 90.65%
29.79/29.99 c 30.0s| 10100 | 16 | 79257 | 7.8 | 98M | 36 | 242 |9398 | 0 | 500 | 0 | 13k|1039 | 5.000000e+00 | 6.000000e+00 | 20.00%| 94.64%
29.89/30.09 c 30.1s| 10200 | 13 | 79625 | 7.8 | 98M | 36 | 242 |9434 |6372 | 500 | 1 | 13k|1041 | 5.000000e+00 | 6.000000e+00 | 20.00%| 94.66%
29.99/30.18 c 30.2s| 10300 | 2 | 79958 | 7.7 | 98M | 36 | 242 |9434 |6372 | 500 | 0 | 13k|1042 | 5.000000e+00 | 6.000000e+00 | 20.00%| 94.72%
29.99/30.19 c
29.99/30.19 c SCIP Status : problem is solved [optimal solution found]
29.99/30.19 c Solving Time (sec) : 30.19
29.99/30.19 c Solving Nodes : 10314
29.99/30.19 c Primal Bound : +6.00000000000000e+00 (134 solutions)
29.99/30.19 c Dual Bound : +6.00000000000000e+00
29.99/30.19 c Gap : 0.00 %
29.99/30.20 s OPTIMUM FOUND
29.99/30.20 v -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 x228 x227 -x226 -x225 -x224 -x223 -x222 -x221
29.99/30.20 v -x220 -x219 x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 x200 -x199
29.99/30.20 v -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 x189 -x188 x55 x54 -x53 x52 x51 x50 -x49 -x48 -x47 x46 x45 -x44 -x43
29.99/30.20 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 -x15 -x14
29.99/30.20 v -x13 x12 x11 x10 x9 x8 -x7 x6 x5 -x4 -x3 -x2 x1 -x187 -x176 -x165 -x154 -x143 -x132 -x121 -x110 -x99 -x88 -x77 -x186 -x175
29.99/30.20 v -x164 -x153 -x142 -x131 x120 -x109 -x98 -x87 -x76 -x185 -x174 -x163 x152 -x141 -x130 -x119 -x108 -x97 -x86 -x75 -x184 -x173 -x162
29.99/30.20 v -x151 -x140 -x129 -x118 -x107 -x96 -x85 -x74 -x183 -x172 -x161 -x150 -x139 -x128 -x117 -x106 -x95 -x84 -x73 -x182 -x171
29.99/30.20 v -x160 -x149 -x138 -x127 -x116 -x105 -x94 -x83 -x72 -x181 -x170 -x159 -x148 -x137 -x126 -x115 -x104 -x93 -x82 -x71 -x180 -x169
29.99/30.20 v -x158 -x147 -x136 -x125 -x114 x103 -x92 -x81 -x70 -x179 -x168 -x157 -x146 -x135 -x124 -x113 -x102 -x91 -x80 -x69 -x178 -x167
29.99/30.20 v -x156 -x145 -x134 x123 -x112 -x101 -x90 -x79 -x68 x177 -x166 -x155 -x144 -x133 -x122 -x111 -x100 -x89 -x78 -x67 x66 -x65 -x64
29.99/30.20 v x63 x62 x61 x60 -x59 x58 -x57 -x56
29.99/30.20 c SCIP Status : problem is solved [optimal solution found]
29.99/30.20 c Total Time : 30.19
29.99/30.20 c solving : 30.19
29.99/30.20 c presolving : 0.15 (included in solving)
29.99/30.20 c reading : 0.01 (included in solving)
29.99/30.20 c copying : 1.46 (117 #copies) (minimal 0.01, maximal 0.02, average 0.01)
29.99/30.20 c Original Problem :
29.99/30.20 c Problem name : HOME/instance-4449758-1721403115.opb
29.99/30.20 c Variables : 242 (242 binary, 0 integer, 0 implicit integer, 0 continuous)
29.99/30.20 c Constraints : 6358 initial, 6358 maximal
29.99/30.20 c Objective : minimize, 11 non-zeros (abs.min = 1, abs.max = 1)
29.99/30.20 c Presolved Problem :
29.99/30.20 c Problem name : t_HOME/instance-4449758-1721403115.opb
29.99/30.20 c Variables : 242 (242 binary, 0 integer, 0 implicit integer, 0 continuous)
29.99/30.20 c Constraints : 6358 initial, 9600 maximal
29.99/30.20 c Objective : minimize, 11 non-zeros (abs.min = 1, abs.max = 1)
29.99/30.20 c Nonzeros : 19283 constraint, 99 clique table
29.99/30.20 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
29.99/30.20 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
29.99/30.20 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c dualsparsify : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
29.99/30.20 c gateextraction : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
29.99/30.20 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
29.99/30.20 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
29.99/30.20 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
29.99/30.20 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
29.99/30.20 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
29.99/30.20 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
29.99/30.20 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
29.99/30.20 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
29.99/30.20 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
29.99/30.20 c linear : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
29.99/30.20 c logicor : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
29.99/30.20 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
29.99/30.20 c root node : - - - 136 - - 136 - - - - -
29.99/30.20 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
29.99/30.20 c benderslp : 0 0 0 0 6069 0 0 886 0 0 0 0 0 0 0
29.99/30.20 c integral : 0 0 0 0 6069 0 0 886 0 0 396 0 0 602 11884
29.99/30.20 c knapsack : 0+ 3 0 49915 0 0 0 0 573 237 637 0 0 0 0
29.99/30.20 c setppc : 11 11 11 58847 0 0 0 880 29510 71 19084 0 0 0 0
29.99/30.20 c linear : 0+ 24 0 35293 0 0 0 3 13 32 54 0 0 0 0
29.99/30.20 c logicor : 6347+ 9587 11 50491 0 0 0 651 140155 5977 87045 0 0 0 0
29.99/30.20 c benders : 0 0 0 0 0 0 0 171 0 0 0 0 0 0 0
29.99/30.20 c fixedvar : 0 0 0 0 0 0 0 171 0 0 0 0 0 0 0
29.99/30.20 c countsols : 0 0 0 0 0 0 0 171 0 0 0 0 0 0 0
29.99/30.20 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
29.99/30.20 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.20 c integral : 2.59 0.00 0.00 0.00 2.59 0.00 0.00 0.00 0.00 0.00
29.99/30.20 c knapsack : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.20 c setppc : 0.04 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.20 c linear : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.20 c logicor : 1.46 0.00 0.01 1.31 0.00 0.00 0.00 0.04 0.05 0.05
29.99/30.20 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.20 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.20 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.20 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.20 c Propagators : #Propagate #ResProp Cutoffs DomReds
29.99/30.20 c dualfix : 2 0 0 0
29.99/30.20 c genvbounds : 0 0 0 0
29.99/30.20 c nlobbt : 0 0 0 0
29.99/30.20 c obbt : 0 0 0 0
29.99/30.20 c probing : 0 0 0 0
29.99/30.20 c pseudoobj : 48997 730 839 3309
29.99/30.20 c redcost : 13023 0 0 6624
29.99/30.20 c rootredcost : 1 0 0 0
29.99/30.20 c symmetry : 52532 0 490 13609
29.99/30.20 c vbounds : 20447 0 0 0
29.99/30.20 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
29.99/30.20 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.20 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.20 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.20 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.20 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
29.99/30.20 c pseudoobj : 0.06 0.00 0.00 0.06 0.00 0.00
29.99/30.20 c redcost : 0.05 0.00 0.00 0.05 0.00 0.00
29.99/30.20 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
29.99/30.20 c symmetry : 1.33 0.00 0.02 1.26 0.00 0.04
29.99/30.20 c vbounds : 0.02 0.00 0.00 0.02 0.00 0.00
29.99/30.20 c Symmetry :
29.99/30.20 c orbitopal red. : 0 reductions applied, 0 cutoffs
29.99/30.20 c orbital reduction: 12834 reductions applied, 419 cutoffs
29.99/30.20 c lexicographic red: 889 reductions applied, 71 cutoffs
29.99/30.20 c shadow tree time : 0.01 s
29.99/30.20 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
29.99/30.20 c propagation : 0.17 7155 6903 - 35134 26.9 306 27.2 - - -
29.99/30.20 c infeasible LP : 0.01 78 78 - 297 16.7 5 31.2 64 10.3 0
29.99/30.20 c bound exceed. LP : 0.01 23 20 - 103 39.3 1 48.0 4 23.5 40
29.99/30.20 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
29.99/30.20 c pseudo solution : 0.00 2 2 - 2 6.0 0 0.0 - - -
29.99/30.20 c applied globally : 0.02 - - 0 13035 15.8 - - 68 - -
29.99/30.20 c applied locally : - - - 0 563 40.9 - - 0 - -
29.99/30.20 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
29.99/30.20 c cut pool : 0.08 - 940 21 - - 3587 5091 - - - - - (maximal pool size: 2475)
29.99/30.20 c aggregation : 0.03 0.00 92 11 0 0 0 0 0 0 0 0 0
29.99/30.20 c > cmir : - - - - - - - 0 0 0 0 0 -
29.99/30.20 c > flowcover : - - - - - - - 0 0 0 0 0 -
29.99/30.20 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
29.99/30.20 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c clique : 0.00 0.00 11 11 0 0 0 0 0 0 0 0 0
29.99/30.20 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c gomory : 4.59 0.00 91 10 0 0 3495 4374 164 179 176 3 0
29.99/30.20 c > gomorymi : - - - - - - - 1703 82 45 44 1 -
29.99/30.20 c > strongcg : - - - - - - - 2671 82 134 132 2 -
29.99/30.20 c impliedbounds : 0.00 0.00 92 11 0 0 0 0 0 0 0 0 0
29.99/30.20 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
29.99/30.20 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c multilinear : 0.00 0.00 467 11 0 0 0 0 0 0 0 0 0
29.99/30.20 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
29.99/30.20 c rapidlearning : 3.08 0.00 100 1 0 1270 0 0 0 0 0 0 20
29.99/30.20 c rlt : 0.00 0.00 48 10 0 0 0 0 0 0 0 0 0
29.99/30.20 c zerohalf : 0.04 0.00 92 11 0 0 282 717 26 321 309 12 0
29.99/30.20 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
29.99/30.20 c hybrid : 0.00 0.00 203 11 500 0 4685 43 0 2149
29.99/30.20 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.20 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.20 c Pricers : ExecTime SetupTime Calls Vars
29.99/30.20 c problem variables: 0.00 - 0 0
29.99/30.20 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
29.99/30.20 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.20 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.20 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.20 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.20 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.20 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.20 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.20 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.20 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.20 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.20 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.20 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.20 c random : 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.20 c relpscost : 2.59 0.00 6069 0 0 0 396 0 620 11884
29.99/30.20 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
29.99/30.20 c Primal Heuristics : ExecTime SetupTime Calls Found Best
29.99/30.20 c LP solutions : 0.00 - - 0 0
29.99/30.20 c relax solutions : 0.00 - - 0 0
29.99/30.20 c pseudo solutions : 0.00 - - 0 0
29.99/30.20 c strong branching : 0.00 - - 0 0
29.99/30.20 c actconsdiving : 0.00 0.00 0 0 0
29.99/30.20 c adaptivediving : 0.15 0.00 48 0 0
29.99/30.20 c alns : 0.10 0.00 6 0 0
29.99/30.20 c bound : 0.00 0.00 0 0 0
29.99/30.20 c clique : 0.01 0.00 1 0 0
29.99/30.20 c coefdiving : 0.00 0.00 0 0 0
29.99/30.20 c completesol : 0.00 0.00 0 0 0
29.99/30.20 c conflictdiving : 0.16 0.00 126 0 0
29.99/30.20 c crossover : 0.13 0.00 3 0 0
29.99/30.20 c dins : 0.00 0.00 0 0 0
29.99/30.20 c distributiondivin: 0.53 0.00 99 0 0
29.99/30.20 c dps : 0.00 0.00 0 0 0
29.99/30.20 c dualval : 0.00 0.00 0 0 0
29.99/30.20 c farkasdiving : 0.00 0.00 0 0 0
29.99/30.20 c feasjump : 0.00 0.00 0 0 0
29.99/30.20 c feaspump : 0.03 0.00 1 1 0
29.99/30.20 c fixandinfer : 0.00 0.00 0 0 0
29.99/30.20 c fracdiving : 0.20 0.00 118 0 0
29.99/30.20 c gins : 0.00 0.00 0 0 0
29.99/30.20 c guideddiving : 0.08 0.00 124 0 0
29.99/30.20 c indcoefdiving : 0.00 0.00 0 0 0
29.99/30.20 c indicator : 0.00 0.00 0 0 0
29.99/30.20 c indicatordiving : 0.00 0.00 0 0 0
29.99/30.20 c indoneopt : 0.00 0.00 0 0 0
29.99/30.20 c indrounding : 0.00 0.00 0 0 0
29.99/30.20 c indtwoopt : 0.00 0.00 0 0 0
29.99/30.20 c intdiving : 0.00 0.00 0 0 0
29.99/30.20 c intshifting : 0.00 0.00 0 0 0
29.99/30.20 c linesearchdiving : 0.13 0.00 119 0 0
29.99/30.20 c localbranching : 0.00 0.00 0 0 0
29.99/30.20 c locks : 0.00 0.00 1 0 0
29.99/30.20 c lpface : 4.48 0.00 5 0 0
29.99/30.20 c mpec : 0.00 0.00 0 0 0
29.99/30.20 c multistart : 0.00 0.00 0 0 0
29.99/30.20 c mutation : 0.00 0.00 0 0 0
29.99/30.20 c nlpdiving : 0.00 0.00 0 0 0
29.99/30.20 c objpscostdiving : 0.23 0.00 21 4 0
29.99/30.20 c octane : 0.00 0.00 0 0 0
29.99/30.20 c ofins : 0.00 0.00 0 0 0
29.99/30.20 c oneopt : 0.00 0.00 3 1 1
29.99/30.20 c padm : 0.00 0.00 0 0 0
29.99/30.20 c proximity : 0.00 0.00 0 0 0
29.99/30.20 c pscostdiving : 0.33 0.00 110 0 0
29.99/30.20 c randrounding : 0.04 0.00 746 0 0
29.99/30.20 c rens : 0.02 0.00 1 0 0
29.99/30.20 c reoptsols : 0.00 0.00 0 0 0
29.99/30.20 c repair : 0.00 0.00 0 0 0
29.99/30.20 c rins : 0.22 0.00 7 5 0
29.99/30.20 c rootsoldiving : 0.30 0.00 27 4 0
29.99/30.20 c rounding : 0.08 0.00 1049 0 0
29.99/30.20 c scheduler : 0.00 0.00 0 0 0
29.99/30.20 c shiftandpropagate: 0.00 0.00 1 1 1
29.99/30.20 c shifting : 0.23 0.00 903 110 1
29.99/30.20 c simplerounding : 0.01 0.00 6966 0 0
29.99/30.20 c smallcard : 0.00 0.00 0 0 0
29.99/30.20 c subnlp : 0.00 0.00 0 0 0
29.99/30.20 c trivial : 0.00 0.00 2 0 0
29.99/30.20 c trivialnegation : 0.00 0.00 0 0 0
29.99/30.20 c trustregion : 0.00 0.00 0 0 0
29.99/30.20 c trysol : 0.00 0.00 0 0 0
29.99/30.20 c twoopt : 0.00 0.00 0 0 0
29.99/30.20 c undercover : 0.00 0.00 0 0 0
29.99/30.20 c vbounds : 0.00 0.00 0 0 0
29.99/30.20 c veclendiving : 0.17 0.00 116 0 0
29.99/30.20 c zeroobj : 0.00 0.00 0 0 0
29.99/30.20 c zirounding : 0.10 0.00 1000 8 0
29.99/30.20 c other solutions : - - - 0 -
29.99/30.20 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
29.99/30.20 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
29.99/30.20 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
29.99/30.20 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
29.99/30.20 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
29.99/30.20 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
29.99/30.20 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
29.99/30.20 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
29.99/30.20 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
29.99/30.20 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
29.99/30.20 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
29.99/30.20 c primal LP : 0.05 109 0 0.00 0.00 0.05 109
29.99/30.20 c dual LP : 5.45 7351 52851 8.06 9702.10 0.44 797
29.99/30.20 c lex dual LP : 0.00 0 0 0.00 -
29.99/30.20 c barrier LP : 0.00 0 0 0.00 - 0.00 0
29.99/30.20 c resolve instable : 0.00 0 0 0.00 -
29.99/30.20 c diving/probing LP: 1.70 1404 27153 19.34 15956.05
29.99/30.20 c strong branching : 1.30 1042 12040 11.55 9271.18 - - 86
29.99/30.20 c (at root node) : - 23 978 42.52 -
29.99/30.20 c conflict analysis: 0.00 4 40 10.00 -
29.99/30.20 c B&B Tree :
29.99/30.20 c number of runs : 1
29.99/30.20 c nodes : 10314 (5942 internal, 4372 leaves)
29.99/30.20 c feasible leaves : 0
29.99/30.20 c infeas. leaves : 4229
29.99/30.20 c objective leaves : 143
29.99/30.20 c nodes (total) : 10314 (5942 internal, 4372 leaves)
29.99/30.20 c nodes left : 0
29.99/30.20 c max depth : 36
29.99/30.20 c max depth (total): 36
29.99/30.20 c backtracks : 3507 (34.0%)
29.99/30.20 c early backtracks : 0 (0.0%)
29.99/30.20 c nodes exc. ref. : 0 (0.0%)
29.99/30.20 c delayed cutoffs : 1571
29.99/30.20 c repropagations : 8139 (20168 domain reductions, 1054 cutoffs)
29.99/30.20 c avg switch length: 8.67
29.99/30.20 c switching time : 1.27
29.99/30.20 c Root Node :
29.99/30.20 c First LP value : +0.00000000000000e+00
29.99/30.20 c First LP Iters : 105 (20223.42 Iter/sec)
29.99/30.20 c First LP Time : 0.01
29.99/30.20 c Final Dual Bound : +0.00000000000000e+00
29.99/30.20 c Final Root Iters : 452
29.99/30.20 c Root LP Estimate : +6.69832950984653e+00
29.99/30.20 c Solution :
29.99/30.20 c Solutions found : 134 (3 improvements)
29.99/30.20 c First Solution : +1.10000000000000e+01 (in run 1, after 1 nodes, 0.18 seconds, depth 73, found by <shiftandpropagate>)
29.99/30.20 c Gap First Sol. : infinite
29.99/30.20 c Gap Last Sol. : infinite
29.99/30.20 c Primal Bound : +6.00000000000000e+00 (in run 1, after 105 nodes, 3.04 seconds, depth 20, found by <shifting>)
29.99/30.20 c Dual Bound : +6.00000000000000e+00
29.99/30.20 c Gap : 0.00 %
29.99/30.20 c Integrals : Total Avg%
29.99/30.20 c primal-dual : 2184.74 72.36
29.99/30.20 c primal-ref : - - (not evaluated)
29.99/30.20 c dual-ref : - - (not evaluated)
30.08/30.21 c Time complete: 30.1063.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61636 MiB free)
memory of node 1: 64473 MiB (61936 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449758-1721403115/watcher-4449758-1721403115 -o /tmp/evaluation-result-4449758-1721403115/solver-4449758-1721403115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721403126-1020635 --watchdog 3760 pbscip -f HOME/instance-4449758-1721403115.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1020742, runsolver pid=1020739
[startup+0.100911 s]*
/proc/loadavg: 1.11 1.20 1.61 6/259 1020743
/proc/meminfo: memFree=126393816/131524600 swapFree=131071996/131071996
[pid=1020742] ppid=1020739 vsize=96520 memory=52292 CPUtime=0.09 cores=1,3
/proc/1020742/stat : 1020742 (pbscip) R 1020739 1020742 1018507 0 -1 4194304 9763 0 0 0 8 1 0 0 20 0 1 0 192482299 98836480 13073 134679101440 4194304 18693293 140733626152624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44687360 140733626156034 140733626156133 140733626156133 140733626163150 0
/proc/1020742/statm: 24130 13073 3764 3540 0 12387 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 96520 KiB
Current children cumulated memory: 52292 KiB
[startup+0.205561 s]*
/proc/loadavg: 1.11 1.20 1.61 5/259 1020743
/proc/meminfo: memFree=126347892/131524600 swapFree=131071996/131071996
[pid=1020742] ppid=1020739 vsize=114296 memory=70644 CPUtime=0.2 cores=1,3
/proc/1020742/stat : 1020742 (pbscip) R 1020739 1020742 1018507 0 -1 4194304 13683 0 0 0 18 2 0 0 20 0 1 0 192482299 117039104 17661 134679101440 4194304 18693293 140733626152624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44687360 140733626156034 140733626156133 140733626156133 140733626163150 0
/proc/1020742/statm: 28574 17661 3956 3540 0 16831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 114296 KiB
Current children cumulated memory: 70644 KiB
[startup+0.305524 s]*
/proc/loadavg: 1.11 1.20 1.61 5/259 1020743
/proc/meminfo: memFree=126365560/131524600 swapFree=131071996/131071996
[pid=1020742] ppid=1020739 vsize=132904 memory=87272 CPUtime=0.29 cores=1,3
/proc/1020742/stat : 1020742 (pbscip) R 1020739 1020742 1018507 0 -1 4194304 17850 0 0 0 27 2 0 0 20 0 1 0 192482299 136093696 21818 134679101440 4194304 18693293 140733626152624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44687360 140733626156034 140733626156133 140733626156133 140733626163150 0
/proc/1020742/statm: 33226 21818 3956 3540 0 21483 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 132904 KiB
Current children cumulated memory: 87272 KiB
[startup+0.700213 s]
/proc/loadavg: 1.11 1.20 1.61 5/259 1020743
/proc/meminfo: memFree=126275588/131524600 swapFree=131071996/131071996
[pid=1020742] ppid=1020739 vsize=129112 memory=83720 CPUtime=0.68 cores=1,3
/proc/1020742/stat : 1020742 (pbscip) R 1020739 1020742 1018507 0 -1 4194304 17880 0 0 0 66 2 0 0 20 0 1 0 192482299 132210688 20930 134679101440 4194304 18693293 140733626152624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44687360 140733626156034 140733626156133 140733626156133 140733626163150 0
/proc/1020742/statm: 32278 20930 3981 3540 0 20535 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 129112 KiB
Current children cumulated memory: 83720 KiB
[startup+1.50021 s]
/proc/loadavg: 1.11 1.20 1.61 5/259 1020743
/proc/meminfo: memFree=126223748/131524600 swapFree=131071996/131071996
[pid=1020742] ppid=1020739 vsize=133844 memory=87412 CPUtime=1.48 cores=1,3
/proc/1020742/stat : 1020742 (pbscip) R 1020739 1020742 1018507 0 -1 4194304 18795 0 0 0 146 2 0 0 20 0 1 0 192482299 137056256 21853 134679101440 4194304 18693293 140733626152624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44687360 140733626156034 140733626156133 140733626156133 140733626163150 0
/proc/1020742/statm: 33461 21853 3981 3540 0 21718 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 133844 KiB
Current children cumulated memory: 87412 KiB
[startup+3.10549 s]
/proc/loadavg: 1.34 1.25 1.63 5/259 1020743
/proc/meminfo: memFree=125948704/131524600 swapFree=131071996/131071996
[pid=1020742] ppid=1020739 vsize=152576 memory=104552 CPUtime=3.08 cores=1,3
/proc/1020742/stat : 1020742 (pbscip) R 1020739 1020742 1018507 0 -1 4194304 23104 0 0 0 305 3 0 0 20 0 1 0 192482299 156237824 26138 134679101440 4194304 18693293 140733626152624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44687360 140733626156034 140733626156133 140733626156133 140733626163150 0
/proc/1020742/statm: 38144 26138 3981 3540 0 26401 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 152576 KiB
Current children cumulated memory: 104552 KiB
[startup+6.30018 s]
/proc/loadavg: 1.34 1.25 1.63 5/259 1020745
/proc/meminfo: memFree=125839412/131524600 swapFree=131071996/131071996
[pid=1020742] ppid=1020739 vsize=157800 memory=110360 CPUtime=6.26 cores=1,3
/proc/1020742/stat : 1020742 (pbscip) R 1020739 1020742 1018507 0 -1 4194304 24526 0 0 0 623 3 0 0 20 0 1 0 192482299 161587200 27590 134679101440 4194304 18693293 140733626152624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44687360 140733626156034 140733626156133 140733626156133 140733626163150 0
/proc/1020742/statm: 39450 27590 3981 3540 0 27707 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 157800 KiB
Current children cumulated memory: 110360 KiB
[startup+12.7002 s]
/proc/loadavg: 1.75 1.34 1.65 5/259 1020746
/proc/meminfo: memFree=125779412/131524600 swapFree=131071996/131071996
[pid=1020742] ppid=1020739 vsize=184812 memory=136492 CPUtime=12.64 cores=1,3
/proc/1020742/stat : 1020742 (pbscip) R 1020739 1020742 1018507 0 -1 4194304 31079 0 0 0 1260 4 0 0 20 0 1 0 192482299 189247488 34123 134679101440 4194304 18693293 140733626152624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44687360 140733626156034 140733626156133 140733626156133 140733626163150 0
/proc/1020742/statm: 46203 34123 3981 3540 0 34460 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 184812 KiB
Current children cumulated memory: 136492 KiB
[startup+25.5002 s]
/proc/loadavg: 2.10 1.43 1.68 5/259 1020750
/proc/meminfo: memFree=125623504/131524600 swapFree=131071996/131071996
[pid=1020742] ppid=1020739 vsize=196436 memory=148900 CPUtime=25.4 cores=1,3
/proc/1020742/stat : 1020742 (pbscip) R 1020739 1020742 1018507 0 -1 4194304 34182 0 0 0 2535 5 0 0 20 0 1 0 192482299 201150464 37225 134679101440 4194304 18693293 140733626152624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44687360 140733626156034 140733626156133 140733626156133 140733626163150 0
/proc/1020742/statm: 49109 37225 3981 3540 0 37366 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 196436 KiB
Current children cumulated memory: 148900 KiB
[startup+30.2194 s]
# the end of solver process 1020742 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=30.0504 s, system=0.06376 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 2.10 1.43 1.68 5/259 1020750
/proc/meminfo: memFree=125623504/131524600 swapFree=131071996/131071996
[pid=1020742] ppid=1020739 vsize=196436 memory=148900 CPUtime=25.5 cores=1,3
/proc/1020742/stat : 1020742 (pbscip) R 1020739 1020742 1018507 0 -1 4194304 34182 0 0 0 2545 5 0 0 20 0 1 0 192482299 201150464 37225 134679101440 4194304 18693293 140733626152624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44687360 140733626156034 140733626156133 140733626156133 140733626163150 0
/proc/1020742/statm: 49109 37225 3981 3540 0 37366 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 196436 KiB
Current children cumulated memory: 148900 KiB
[startup+28.8002 s]
/proc/loadavg: 2.25 1.47 1.69 5/259 1020796
/proc/meminfo: memFree=125564224/131524600 swapFree=131071996/131071996
[pid=1020742] ppid=1020739 vsize=196436 memory=148900 CPUtime=28.69 cores=1,3
/proc/1020742/stat : 1020742 (pbscip) R 1020739 1020742 1018507 0 -1 4194304 34182 0 0 0 2864 5 0 0 20 0 1 0 192482299 201150464 37225 134679101440 4194304 18693293 140733626152624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44687360 140733626156034 140733626156133 140733626156133 140733626163150 0
/proc/1020742/statm: 49109 37225 3981 3540 0 37366 0
Current children cumulated CPU time: 28.69 s
Current children cumulated vsize: 196436 KiB
Current children cumulated memory: 148900 KiB
[startup+29.6002 s]
/proc/loadavg: 2.25 1.47 1.69 5/259 1020796
/proc/meminfo: memFree=125552220/131524600 swapFree=131071996/131071996
[pid=1020742] ppid=1020739 vsize=199064 memory=151540 CPUtime=29.49 cores=1,3
/proc/1020742/stat : 1020742 (pbscip) R 1020739 1020742 1018507 0 -1 4194304 34840 0 0 0 2944 5 0 0 20 0 1 0 192482299 203841536 37885 134679101440 4194304 18693293 140733626152624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44687360 140733626156034 140733626156133 140733626156133 140733626163150 0
/proc/1020742/statm: 49766 37885 3981 3540 0 38023 0
Current children cumulated CPU time: 29.49 s
Current children cumulated vsize: 199064 KiB
Current children cumulated memory: 151540 KiB
[startup+30.0002 s]*
/proc/loadavg: 2.25 1.47 1.69 5/259 1020796
/proc/meminfo: memFree=125542064/131524600 swapFree=131071996/131071996
[pid=1020742] ppid=1020739 vsize=199064 memory=151540 CPUtime=29.89 cores=1,3
/proc/1020742/stat : 1020742 (pbscip) R 1020739 1020742 1018507 0 -1 4194304 34840 0 0 0 2984 5 0 0 20 0 1 0 192482299 203841536 37885 134679101440 4194304 18693293 140733626152624 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44687360 140733626156034 140733626156133 140733626156133 140733626163150 0
/proc/1020742/statm: 49766 37885 3981 3540 0 38023 0
Current children cumulated CPU time: 29.89 s
Current children cumulated vsize: 199064 KiB
Current children cumulated memory: 151540 KiB
[startup+30.2007 s]
/proc/loadavg: 2.25 1.47 1.69 5/259 1020796
/proc/meminfo: memFree=125542064/131524600 swapFree=131071996/131071996
[pid=1020742] ppid=1020739 vsize=199064 memory=151540 CPUtime=30.08 cores=1,3
/proc/1020742/stat : 1020742 (pbscip) R 1020739 1020742 1018507 0 -1 4194304 34841 0 0 0 3003 5 0 0 20 0 1 0 192482299 203841536 37885 134679101440 4194304 18693293 140733626152624 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44687360 140733626156034 140733626156133 140733626156133 140733626163150 0
/proc/1020742/statm: 49766 37885 3981 3540 0 38023 0
Current children cumulated CPU time: 30.08 s
Current children cumulated vsize: 199064 KiB
Current children cumulated memory: 151540 KiB
Child status: 0
Real time (s): 30.2194
CPU time (s): 30.1142
CPU user time (s): 30.0504
CPU system time (s): 0.06376
CPU usage (%): 99.6518
Max. virtual memory (cumulated for all children) (KiB): 199064
Max. memory (cumulated for all children) (KiB): 151540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.0504
system time used= 0.06376
maximum resident set size= 151636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34847
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= 7
involuntary context switches= 44
# summary of solver processes directly reported to runsolver:
# pid: 1020742
# total CPU time (s): 30.1142
# total CPU user time (s): 30.0504
# total CPU system time (s): 0.06376
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.076058 second user time and 0.162831 second system time
The end