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-4460048-1721939465.opb>
0.00/0.00 c original problem has 876 variables (91 bin, 0 int, 785 impl, 0 cont) and 1266 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 o 527
0.00/0.01 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 5.270000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1, fast) 1 del vars, 1 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1570 clqs
0.00/0.01 c (round 2, exhaustive) 1 del vars, 241 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1570 clqs
0.00/0.02 c (0.0s) probing: 51/875 (5.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.02 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.02 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.02 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
0.00/0.02 c 1 deleted vars, 241 deleted constraints, 0 added constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 1570 cliques
0.00/0.02 c presolved problem has 875 variables (90 bin, 0 int, 785 impl, 0 cont) and 1025 constraints
0.00/0.02 c 785 constraints of type <and>
0.00/0.02 c 240 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 10.0.0
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.02 c limits/time = 3596.997079
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.02 c limits/memory = 27900
0.00/0.02 c
0.00/0.02 c # belongs reading time to solving time?
0.00/0.02 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c timing/reading = TRUE
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c transformed 1/1 original solutions to the transformed problem space
0.00/0.02 c
0.00/0.03 o 521
0.00/0.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.03 c p 0.0s| 1 | 0 | 0 | - | clique| 0 | 875 |1025 |1810 | 0 | 0 | 0 | 0 |-4.900000e+02 | 5.210000e+02 | Inf | unknown
0.00/0.04 o 502
0.00/0.04 c p 0.0s| 1 | 0 | 7 | - | vbounds| 0 | 875 |1025 |1810 | 0 | 0 | 0 | 0 |-4.900000e+02 | 5.020000e+02 | Inf | unknown
0.00/0.10 c 0.1s| 1 | 0 | 1215 | - | 11M | 0 | 875 |1025 |1810 | 0 | 0 | 0 | 0 | 1.120000e+02 | 5.020000e+02 | 348.21%| unknown
0.09/0.12 o 482
0.09/0.12 c L 0.1s| 1 | 0 | 1215 | - |undercov| 0 | 875 |1025 |1810 | 0 | 0 | 0 | 0 | 1.120000e+02 | 4.820000e+02 | 330.36%| unknown
0.09/0.13 c 0.1s| 1 | 0 | 1217 | - | 12M | 0 | 875 |1025 |2180 | 370 | 1 | 0 | 0 | 1.120000e+02 | 4.820000e+02 | 330.36%| unknown
0.09/0.14 o 381
0.09/0.14 c i 0.1s| 1 | 0 | 1546 | - | oneopt| 0 | 875 |1025 |2180 | 370 | 1 | 0 | 0 | 1.120000e+02 | 3.810000e+02 | 240.18%| unknown
0.09/0.14 c 0.1s| 1 | 0 | 1568 | - | 12M | 0 | 875 |1025 |2550 | 740 | 2 | 0 | 0 | 1.120000e+02 | 3.810000e+02 | 240.18%| unknown
0.30/0.32 c 0.3s| 1 | 0 | 1723 | - | 14M | 0 | 875 |1025 |2567 | 757 | 3 | 0 | 0 | 1.270000e+02 | 3.810000e+02 | 200.00%| unknown
0.50/0.51 c 0.5s| 1 | 0 | 1815 | - | 15M | 0 | 875 |1025 |2584 | 774 | 4 | 0 | 0 | 1.330000e+02 | 3.810000e+02 | 186.47%| unknown
0.69/0.71 c 0.7s| 1 | 0 | 1918 | - | 15M | 0 | 875 |1025 |2599 | 789 | 5 | 0 | 0 | 1.390000e+02 | 3.810000e+02 | 174.10%| unknown
0.79/0.89 c 0.9s| 1 | 0 | 2019 | - | 16M | 0 | 875 |1025 |2614 | 804 | 6 | 0 | 0 | 1.420000e+02 | 3.810000e+02 | 168.31%| unknown
1.00/1.09 c 1.1s| 1 | 0 | 2227 | - | 17M | 0 | 875 |1025 |2632 | 822 | 7 | 0 | 0 | 1.505000e+02 | 3.810000e+02 | 153.16%| unknown
1.19/1.29 c 1.3s| 1 | 0 | 2398 | - | 18M | 0 | 875 |1025 |2652 | 842 | 8 | 0 | 0 | 1.560000e+02 | 3.810000e+02 | 144.23%| unknown
1.49/1.53 c 1.5s| 1 | 0 | 2743 | - | 19M | 0 | 875 |1025 |2676 | 866 | 9 | 0 | 0 | 1.640000e+02 | 3.810000e+02 | 132.32%| unknown
1.69/1.77 c 1.8s| 1 | 0 | 2957 | - | 20M | 0 | 875 |1025 |2701 | 891 | 10 | 0 | 0 | 1.680000e+02 | 3.810000e+02 | 126.79%| unknown
1.79/1.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.79/1.83 c 1.8s| 1 | 0 | 3281 | - | 21M | 0 | 875 |1025 |2726 | 916 | 11 | 0 | 0 | 1.750000e+02 | 3.810000e+02 | 117.71%| unknown
1.89/1.91 c 1.9s| 1 | 0 | 3575 | - | 25M | 0 | 875 |1025 |2751 | 941 | 12 | 0 | 0 | 1.790000e+02 | 3.810000e+02 | 112.85%| unknown
1.89/1.94 c 1.9s| 1 | 0 | 3888 | - | 25M | 0 | 875 |1025 |2771 | 961 | 13 | 0 | 0 | 1.820833e+02 | 3.810000e+02 | 109.24%| unknown
1.89/1.99 c 2.0s| 1 | 0 | 4397 | - | 25M | 0 | 875 |1025 |2787 | 979 | 14 | 0 | 0 | 1.820833e+02 | 3.810000e+02 | 109.24%| unknown
1.89/1.99 c 2.0s| 1 | 0 | 4397 | - | 25M | 0 | 875 |1025 |2787 | 979 | 14 | 0 | 0 | 1.841250e+02 | 3.810000e+02 | 106.92%| unknown
1.99/2.04 c 2.0s| 1 | 0 | 4786 | - | 27M | 0 | 875 |1025 |2800 | 992 | 15 | 0 | 0 | 1.841250e+02 | 3.810000e+02 | 106.92%| unknown
1.99/2.04 c 2.0s| 1 | 0 | 4791 | - | 27M | 0 | 875 |1025 |2800 | 992 | 15 | 0 | 0 | 1.867500e+02 | 3.810000e+02 | 104.02%| unknown
2.09/2.10 c 2.1s| 1 | 0 | 5437 | - | 27M | 0 | 875 |1025 |2818 |1010 | 16 | 0 | 0 | 1.867500e+02 | 3.810000e+02 | 104.02%| unknown
2.09/2.11 c 2.1s| 1 | 0 | 5470 | - | 27M | 0 | 875 |1025 |2804 |1010 | 16 | 0 | 0 | 1.902155e+02 | 3.810000e+02 | 100.30%| unknown
2.09/2.16 c 2.2s| 1 | 0 | 5974 | - | 27M | 0 | 875 |1025 |2817 |1023 | 17 | 0 | 0 | 1.902155e+02 | 3.810000e+02 | 100.30%| unknown
2.09/2.16 c 2.2s| 1 | 0 | 5979 | - | 27M | 0 | 875 |1025 |2817 |1023 | 17 | 0 | 0 | 1.935556e+02 | 3.810000e+02 | 96.84%| unknown
2.18/2.20 c 2.2s| 1 | 0 | 6342 | - | 28M | 0 | 875 |1026 |2804 |1036 | 18 | 1 | 0 | 1.935556e+02 | 3.810000e+02 | 96.84%| unknown
2.18/2.21 c 2.2s| 1 | 0 | 6342 | - | 28M | 0 | 875 |1026 |2804 |1036 | 18 | 1 | 0 | 1.960833e+02 | 3.810000e+02 | 94.31%| unknown
2.18/2.24 c 2.2s| 1 | 0 | 6639 | - | 28M | 0 | 875 |1026 |2819 |1051 | 19 | 1 | 0 | 1.960833e+02 | 3.810000e+02 | 94.31%| unknown
2.18/2.24 c 2.2s| 1 | 0 | 6639 | - | 28M | 0 | 875 |1026 |2819 |1051 | 19 | 1 | 0 | 1.970924e+02 | 3.810000e+02 | 93.31%| unknown
2.18/2.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.18/2.27 c 2.3s| 1 | 0 | 7012 | - | 28M | 0 | 875 |1026 |2832 |1064 | 20 | 1 | 0 | 1.970924e+02 | 3.810000e+02 | 93.31%| unknown
2.18/2.27 c 2.3s| 1 | 0 | 7012 | - | 28M | 0 | 875 |1026 |2832 |1064 | 20 | 1 | 0 | 1.980068e+02 | 3.810000e+02 | 92.42%| unknown
2.28/2.30 c 2.3s| 1 | 0 | 7148 | - | 29M | 0 | 875 |1026 |2823 |1075 | 21 | 1 | 0 | 1.980068e+02 | 3.810000e+02 | 92.42%| unknown
2.28/2.30 c 2.3s| 1 | 0 | 7148 | - | 29M | 0 | 875 |1026 |2823 |1075 | 21 | 1 | 0 | 1.987639e+02 | 3.810000e+02 | 91.68%| unknown
2.28/2.32 c 2.3s| 1 | 0 | 7270 | - | 29M | 0 | 875 |1026 |2834 |1086 | 22 | 1 | 0 | 1.987639e+02 | 3.810000e+02 | 91.68%| unknown
2.28/2.32 c 2.3s| 1 | 0 | 7273 | - | 29M | 0 | 875 |1026 |2834 |1086 | 22 | 1 | 0 | 1.988750e+02 | 3.810000e+02 | 91.58%| unknown
2.28/2.34 c 2.3s| 1 | 0 | 7416 | - | 29M | 0 | 875 |1026 |2843 |1095 | 23 | 1 | 0 | 1.988750e+02 | 3.810000e+02 | 91.58%| unknown
2.28/2.34 c 2.3s| 1 | 0 | 7416 | - | 29M | 0 | 875 |1026 |2843 |1095 | 23 | 1 | 0 | 1.990833e+02 | 3.810000e+02 | 91.38%| unknown
2.28/2.35 c 2.3s| 1 | 0 | 7490 | - | 29M | 0 | 875 |1027 |2831 |1101 | 24 | 2 | 0 | 1.990833e+02 | 3.810000e+02 | 91.38%| unknown
2.28/2.35 c 2.3s| 1 | 0 | 7490 | - | 29M | 0 | 875 |1027 |2831 |1101 | 24 | 2 | 0 | 1.991109e+02 | 3.810000e+02 | 91.35%| unknown
2.28/2.36 c 2.4s| 1 | 0 | 7505 | - | 29M | 0 | 875 |1027 |2839 |1109 | 25 | 2 | 0 | 1.991109e+02 | 3.810000e+02 | 91.35%| unknown
2.28/2.37 c 2.4s| 1 | 0 | 7524 | - | 29M | 0 | 875 |1027 |2843 |1113 | 26 | 2 | 0 | 1.991109e+02 | 3.810000e+02 | 91.35%| unknown
2.28/2.37 c 2.4s| 1 | 0 | 7524 | - | 29M | 0 | 875 |1027 |2843 |1113 | 26 | 2 | 0 | 1.991245e+02 | 3.810000e+02 | 91.34%| unknown
2.28/2.37 c 2.4s| 1 | 0 | 7528 | - | 29M | 0 | 875 |1028 |2845 |1115 | 27 | 3 | 0 | 1.991245e+02 | 3.810000e+02 | 91.34%| unknown
4.98/5.01 c 5.0s| 1 | 2 | 15783 | - | 29M | 0 | 875 |1028 |2845 |1115 | 28 | 3 | 37 | 1.991245e+02 | 3.810000e+02 | 91.34%| unknown
10.36/10.48 o 308
10.36/10.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.36/10.48 c *10.5s| 9 | 8 | 19206 |1460.6 |strongbr| 8 | 875 |1028 |2785 |1115 | 1 | 3 | 163 | 1.991245e+02 | 3.080000e+02 | 54.68%| unknown
13.85/13.96 o 304
13.85/13.96 c r14.0s| 48 | 17 | 37285 | 633.3 |simplero| 10 | 875 |1028 |2788 |1212 | 0 | 3 | 228 | 2.067911e+02 | 3.040000e+02 | 47.01%| 7.30%
13.85/13.97 o 298
13.85/13.97 c r14.0s| 49 | 16 | 37363 | 621.7 |simplero| 10 | 875 |1028 |2788 |1212 | 0 | 3 | 228 | 2.067911e+02 | 2.980000e+02 | 44.11%| 7.44%
15.14/15.25 o 286
15.14/15.25 c r15.3s| 86 | 27 | 49280 | 491.3 |simplero| 10 | 875 |1028 |2818 |1365 | 0 | 3 | 230 | 2.067917e+02 | 2.860000e+02 | 38.30%| 10.70%
15.14/15.25 o 285
15.14/15.25 c r15.3s| 87 | 25 | 49281 | 485.6 |simplero| 10 | 875 |1028 |2818 |1365 | 0 | 3 | 230 | 2.067917e+02 | 2.850000e+02 | 37.82%| 10.87%
15.14/15.26 o 283
15.14/15.26 c r15.3s| 89 | 24 | 49285 | 474.6 |simplero| 10 | 875 |1028 |2818 |1365 | 0 | 3 | 230 | 2.067917e+02 | 2.830000e+02 | 36.85%| 10.95%
15.44/15.54 c 15.5s| 100 | 27 | 53049 | 459.9 | 39M | 10 | 875 |1028 |2798 |1365 | 1 | 3 | 230 | 2.067917e+02 | 2.830000e+02 | 36.85%| 13.31%
16.84/16.94 o 282
16.84/16.94 c r16.9s| 139 | 36 | 70623 | 457.3 |simplero| 10 | 875 |1028 |2789 |1410 | 0 | 3 | 230 | 2.153750e+02 | 2.820000e+02 | 30.93%| 19.18%
19.63/19.75 c 19.8s| 200 | 43 |103601 | 482.8 | 41M | 10 | 875 |1028 |2802 |1502 | 1 | 3 | 237 | 2.217500e+02 | 2.820000e+02 | 27.17%| 28.90%
21.13/21.21 o 279
21.13/21.21 c r21.2s| 228 | 37 |117382 | 484.0 |simplero| 10 | 875 |1028 |2816 |1554 | 0 | 3 | 249 | 2.218000e+02 | 2.790000e+02 | 25.79%| 35.39%
24.43/24.52 o 276
24.43/24.52 c r24.5s| 294 | 33 |154071 | 500.2 |simplero| 10 | 875 |1028 |2801 |1554 | 0 | 3 | 270 | 2.250000e+02 | 2.760000e+02 | 22.67%| 47.74%
24.53/24.66 c 24.7s| 300 | 33 |155955 | 496.4 | 80M | 10 | 875 |1028 |2799 |1554 | 0 | 3 | 270 | 2.250000e+02 | 2.760000e+02 | 22.67%| 49.77%
28.81/28.97 c 29.0s| 400 | 25 |201436 | 486.0 | 81M | 10 | 875 |1029 |2802 |1554 | 1 | 4 | 310 | 2.315000e+02 | 2.760000e+02 | 19.22%| 69.15%
32.30/32.42 c 32.4s| 500 | 11 |243663 | 473.2 | 81M | 10 | 875 |1029 |2796 |1554 | 0 | 4 | 326 | 2.376667e+02 | 2.760000e+02 | 16.13%| 87.12%
35.50/35.62 c
35.50/35.62 c SCIP Status : problem is solved [optimal solution found]
35.50/35.62 c Solving Time (sec) : 35.62
35.50/35.62 c Solving Nodes : 579
35.50/35.62 c Primal Bound : +2.76000000000000e+02 (19 solutions)
35.50/35.62 c Dual Bound : +2.76000000000000e+02
35.50/35.62 c Gap : 0.00 %
35.50/35.62 s OPTIMUM FOUND
35.50/35.62 v x91 x45 -x44 -x43 x42 x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 x30 -x29 x28 -x27 x26 x25 x24 -x23 x22 -x21 x20 x75 x19
35.50/35.62 v x61 x49 -x18 x17 x16 x15 x14 x13 x12 -x11 -x10 x9 x8 -x67 x7 -x81 x6 -x88 -x68 -x59 x57 x46 x5 x55 x53 x51 x48 x4 -x60 -x58
35.50/35.62 v -x47 x3 x90 -x89 -x86 x85 -x83 -x82 -x79 -x78 -x77 x76 -x74 x73 -x69 -x66 x65 x64 -x63 x2 x87 -x84 -x80 x72 x71 x70 -x62 -x56
35.50/35.62 v -x54 -x52 -x50 x1
35.50/35.62 c SCIP Status : problem is solved [optimal solution found]
35.50/35.62 c Total Time : 35.62
35.50/35.62 c solving : 35.62
35.50/35.62 c presolving : 0.01 (included in solving)
35.50/35.62 c reading : 0.00 (included in solving)
35.50/35.62 c copying : 0.01 (2 #copies) (minimal 0.00, maximal 0.00, average 0.00)
35.50/35.62 c Original Problem :
35.50/35.62 c Problem name : HOME/instance-4460048-1721939465.opb
35.50/35.62 c Variables : 876 (91 binary, 0 integer, 785 implicit integer, 0 continuous)
35.50/35.62 c Constraints : 1266 initial, 1266 maximal
35.50/35.62 c Objective : minimize, 872 non-zeros (abs.min = 1, abs.max = 527)
35.50/35.62 c Presolved Problem :
35.50/35.62 c Problem name : t_HOME/instance-4460048-1721939465.opb
35.50/35.62 c Variables : 875 (90 binary, 0 integer, 785 implicit integer, 0 continuous)
35.50/35.62 c Constraints : 1025 initial, 1029 maximal
35.50/35.62 c Objective : minimize, 871 non-zeros (abs.min = 1, abs.max = 16)
35.50/35.62 c Nonzeros : 3075 constraint, 3140 clique table
35.50/35.62 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
35.50/35.62 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
35.50/35.62 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
35.50/35.62 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
35.50/35.62 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
35.50/35.62 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c trivial : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
35.50/35.62 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c dualfix : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
35.50/35.62 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
35.50/35.62 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
35.50/35.62 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
35.50/35.62 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
35.50/35.62 c and : 0.01 0.00 5 0 0 0 0 0 0 0 0 0
35.50/35.62 c linear : 0.00 0.00 5 1 0 0 1 0 241 0 0 0
35.50/35.62 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
35.50/35.62 c root node : - - - 70 - - 70 - - - - -
35.50/35.62 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
35.50/35.62 c benderslp : 0 0 0 0 290 0 0 93 0 0 0 0 0 0 0
35.50/35.62 c integral : 0 0 0 0 290 0 0 93 0 0 0 0 0 0 580
35.50/35.62 c and : 785 785 336 5002 0 0 0 91 2 0 15618 741 741 0 0
35.50/35.62 c linear : 240 240 28 4961 0 0 0 21 6 4 762 0 0 0 0
35.50/35.62 c logicor : 0+ 4 11 255 0 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c benders : 0 0 0 0 0 0 0 22 0 0 0 0 0 0 0
35.50/35.62 c fixedvar : 0 0 0 0 0 0 0 22 0 0 0 0 0 0 0
35.50/35.62 c countsols : 0 0 0 0 0 0 0 22 0 0 0 0 0 0 0
35.50/35.62 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
35.50/35.62 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
35.50/35.62 c integral : 12.31 0.00 0.00 0.00 12.31 0.00 0.00 0.00 0.00 0.00
35.50/35.62 c and : 0.12 0.00 0.04 0.06 0.00 0.00 0.00 0.00 0.00 0.03
35.50/35.62 c linear : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
35.50/35.62 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
35.50/35.62 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
35.50/35.62 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
35.50/35.62 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
35.50/35.62 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
35.50/35.62 c Propagators : #Propagate #ResProp Cutoffs DomReds
35.50/35.62 c dualfix : 2 0 0 0
35.50/35.62 c genvbounds : 0 0 0 0
35.50/35.62 c nlobbt : 0 0 0 0
35.50/35.62 c obbt : 0 0 0 0
35.50/35.62 c probing : 0 0 0 0
35.50/35.62 c pseudoobj : 1803 0 0 0
35.50/35.62 c redcost : 657 0 0 1664
35.50/35.62 c rootredcost : 10 0 0 0
35.50/35.62 c symmetry : 0 0 0 0
35.50/35.62 c vbounds : 2888 0 0 0
35.50/35.62 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
35.50/35.62 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
35.50/35.62 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
35.50/35.62 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
35.50/35.62 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
35.50/35.62 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
35.50/35.62 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
35.50/35.62 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
35.50/35.62 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
35.50/35.62 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
35.50/35.62 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
35.50/35.62 c Symmetry :
35.50/35.62 c orbitopal red. : 0 reductions applied, 0 cutoffs
35.50/35.62 c orbital reduction: 0 reductions applied, 0 cutoffs
35.50/35.62 c lexicographic red: 0 reductions applied, 0 cutoffs
35.50/35.62 c shadow tree time : 0.00 s
35.50/35.62 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
35.50/35.62 c propagation : 0.00 4 4 - 4 4.5 0 0.0 - - -
35.50/35.62 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
35.50/35.62 c bound exceed. LP : 0.00 4 0 - 0 0.0 0 0.0 0 0.0 40
35.50/35.62 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
35.50/35.62 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
35.50/35.62 c applied globally : 0.00 - - 0 4 4.5 - - 0 - -
35.50/35.62 c applied locally : - - - 0 0 0.0 - - 0 - -
35.50/35.62 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
35.50/35.62 c cut pool : 0.02 - 79 45 - - 3394 6260 - - - - - (maximal pool size: 3394)
35.50/35.62 c aggregation : 0.12 0.00 43 26 0 0 0 0 0 0 0 0 0
35.50/35.62 c > cmir : - - - - - - - 0 0 0 0 0 -
35.50/35.62 c > flowcover : - - - - - - - 0 0 0 0 0 -
35.50/35.62 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
35.50/35.62 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c clique : 0.00 0.00 26 26 0 0 0 0 0 0 0 0 0
35.50/35.62 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c gomory : 0.70 0.00 27 10 0 0 2806 5118 0 237 237 0 0
35.50/35.62 c > gomorymi : - - - - - - - 712 0 8 8 0 -
35.50/35.62 c > strongcg : - - - - - - - 4406 0 229 229 0 -
35.50/35.62 c impliedbounds : 0.00 0.00 43 26 0 0 0 0 0 0 0 0 0
35.50/35.62 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
35.50/35.62 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c mixing : 0.00 0.00 45 28 0 0 0 0 0 0 0 0 0
35.50/35.62 c multilinear : 0.00 0.00 47 28 0 0 0 0 0 0 0 0 0
35.50/35.62 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.50/35.62 c rlt : 2.47 0.00 20 10 0 0 327 563 0 407 407 0 0
35.50/35.62 c zerohalf : 0.18 0.00 37 20 0 0 261 579 0 252 252 0 0
35.50/35.62 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
35.50/35.62 c hybrid : 0.01 0.00 45 27 1637 0 5364 1115 0 3786
35.50/35.62 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
35.50/35.62 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
35.50/35.62 c Pricers : ExecTime SetupTime Calls Vars
35.50/35.62 c problem variables: 0.01 - 1226 1567
35.50/35.62 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
35.50/35.62 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
35.50/35.62 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
35.50/35.62 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
35.50/35.62 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
35.50/35.62 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
35.50/35.62 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
35.50/35.62 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
35.50/35.62 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
35.50/35.62 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
35.50/35.62 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
35.50/35.62 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
35.50/35.62 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
35.50/35.62 c random : 0.00 0.00 0 0 0 0 0 0 0 0
35.50/35.62 c relpscost : 12.31 0.00 290 0 0 0 0 0 0 580
35.50/35.62 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
35.50/35.62 c Primal Heuristics : ExecTime SetupTime Calls Found Best
35.50/35.62 c LP solutions : 0.00 - - 0 0
35.50/35.62 c relax solutions : 0.00 - - 0 0
35.50/35.62 c pseudo solutions : 0.00 - - 0 0
35.50/35.62 c strong branching : 0.00 - - 1 1
35.50/35.62 c actconsdiving : 0.00 0.00 0 0 0
35.50/35.62 c adaptivediving : 0.08 0.00 1 0 0
35.50/35.62 c alns : 0.01 0.00 1 0 0
35.50/35.62 c bound : 0.00 0.00 0 0 0
35.50/35.62 c clique : 0.01 0.00 1 1 1
35.50/35.62 c coefdiving : 0.00 0.00 0 0 0
35.50/35.62 c completesol : 0.00 0.00 0 0 0
35.50/35.62 c conflictdiving : 0.05 0.00 1 0 0
35.50/35.62 c crossover : 0.00 0.00 0 0 0
35.50/35.62 c dins : 0.00 0.00 0 0 0
35.50/35.62 c distributiondivin: 0.14 0.00 1 0 0
35.50/35.62 c dps : 0.00 0.00 0 0 0
35.50/35.62 c dualval : 0.00 0.00 0 0 0
35.50/35.62 c farkasdiving : 0.24 0.00 1 0 0
35.50/35.62 c feasjump : 0.00 0.00 0 0 0
35.50/35.62 c feaspump : 0.23 0.00 1 1 0
35.50/35.62 c fixandinfer : 0.00 0.00 0 0 0
35.50/35.62 c fracdiving : 0.07 0.00 1 0 0
35.50/35.62 c gins : 0.00 0.00 0 0 0
35.50/35.62 c guideddiving : 0.05 0.00 1 0 0
35.50/35.62 c indcoefdiving : 0.00 0.00 0 0 0
35.50/35.62 c indicator : 0.00 0.00 0 0 0
35.50/35.62 c indicatordiving : 0.00 0.00 0 0 0
35.50/35.62 c indoneopt : 0.00 0.00 0 0 0
35.50/35.62 c indrounding : 0.00 0.00 0 0 0
35.50/35.62 c indtwoopt : 0.00 0.00 0 0 0
35.50/35.62 c intdiving : 0.00 0.00 0 0 0
35.50/35.62 c intshifting : 0.00 0.00 0 0 0
35.50/35.62 c linesearchdiving : 0.07 0.00 1 0 0
35.50/35.62 c localbranching : 0.00 0.00 0 0 0
35.50/35.62 c locks : 0.00 0.00 1 0 0
35.50/35.62 c lpface : 0.00 0.00 0 0 0
35.50/35.62 c mpec : 0.00 0.00 0 0 0
35.50/35.62 c multistart : 0.00 0.00 0 0 0
35.50/35.62 c mutation : 0.00 0.00 0 0 0
35.50/35.62 c nlpdiving : 0.00 0.00 0 0 0
35.50/35.62 c objpscostdiving : 0.54 0.00 1 1 0
35.50/35.62 c octane : 0.00 0.00 0 0 0
35.50/35.62 c ofins : 0.00 0.00 0 0 0
35.50/35.62 c oneopt : 0.01 0.00 11 1 1
35.50/35.62 c padm : 0.00 0.00 0 0 0
35.50/35.62 c proximity : 0.00 0.00 0 0 0
35.50/35.62 c pscostdiving : 0.07 0.00 1 0 0
35.50/35.62 c randrounding : 0.04 0.00 27 0 0
35.50/35.62 c rens : 0.00 0.00 0 0 0
35.50/35.62 c reoptsols : 0.00 0.00 0 0 0
35.50/35.62 c repair : 0.00 0.00 0 0 0
35.50/35.62 c rins : 0.00 0.00 0 0 0
35.50/35.62 c rootsoldiving : 0.13 0.00 1 1 0
35.50/35.62 c rounding : 0.01 0.00 214 0 0
35.50/35.62 c scheduler : 0.00 0.00 0 0 0
35.50/35.62 c shiftandpropagate: 0.00 0.00 0 0 0
35.50/35.62 c shifting : 0.02 0.00 43 1 0
35.50/35.62 c simplerounding : 0.02 0.00 685 8 8
35.50/35.62 c smallcard : 0.00 0.00 0 0 0
35.50/35.62 c subnlp : 0.00 0.00 0 0 0
35.50/35.62 c trivial : 0.00 0.00 2 2 1
35.50/35.62 c trivialnegation : 0.00 0.00 0 0 0
35.50/35.62 c trustregion : 0.00 0.00 0 0 0
35.50/35.62 c trysol : 0.00 0.00 0 0 0
35.50/35.62 c twoopt : 0.00 0.00 0 0 0
35.50/35.62 c undercover : 0.03 0.00 1 1 1
35.50/35.62 c vbounds : 0.01 0.00 1 1 1
35.50/35.62 c veclendiving : 0.10 0.00 1 0 0
35.50/35.62 c zeroobj : 0.00 0.00 0 0 0
35.50/35.62 c zirounding : 0.06 0.00 290 0 0
35.50/35.62 c other solutions : - - - 0 -
35.50/35.62 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
35.50/35.62 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
35.50/35.62 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
35.50/35.62 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
35.50/35.62 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
35.50/35.62 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
35.50/35.62 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
35.50/35.62 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
35.50/35.62 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
35.50/35.62 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
35.50/35.62 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
35.50/35.62 c primal LP : 3.99 624 51655 115.82 12938.81 0.10 178
35.50/35.62 c dual LP : 13.23 661 200417 321.18 15146.56 0.02 37
35.50/35.62 c lex dual LP : 0.00 0 0 0.00 -
35.50/35.62 c barrier LP : 0.00 0 0 0.00 - 0.00 0
35.50/35.62 c resolve instable : 0.00 0 0 0.00 -
35.50/35.62 c diving/probing LP: 1.83 94 30232 321.62 16548.69
35.50/35.62 c strong branching : 11.95 326 181341 556.26 15173.13 - - 108
35.50/35.62 c (at root node) : - 37 31612 854.38 -
35.50/35.62 c conflict analysis: 0.00 6 40 6.67 -
35.50/35.62 c B&B Tree :
35.50/35.62 c number of runs : 1
35.50/35.62 c nodes : 579 (290 internal, 289 leaves)
35.50/35.62 c feasible leaves : 0
35.50/35.62 c infeas. leaves : 289
35.50/35.62 c objective leaves : 0
35.50/35.62 c nodes (total) : 579 (290 internal, 289 leaves)
35.50/35.62 c nodes left : 0
35.50/35.62 c max depth : 10
35.50/35.62 c max depth (total): 10
35.50/35.62 c backtracks : 174 (30.1%)
35.50/35.62 c early backtracks : 0 (0.0%)
35.50/35.62 c nodes exc. ref. : 0 (0.0%)
35.50/35.62 c delayed cutoffs : 0
35.50/35.62 c repropagations : 2 (0 domain reductions, 0 cutoffs)
35.50/35.62 c avg switch length: 3.78
35.50/35.62 c switching time : 0.06
35.50/35.62 c Root Node :
35.50/35.62 c First LP value : +1.12000000000000e+02
35.50/35.62 c First LP Iters : 1208 (20801.41 Iter/sec)
35.50/35.62 c First LP Time : 0.06
35.50/35.62 c Final Dual Bound : +1.99124547101449e+02
35.50/35.62 c Final Root Iters : 7521
35.50/35.62 c Root LP Estimate : +7.93793702826145e+02
35.50/35.62 c Solution :
35.50/35.62 c Solutions found : 19 (14 improvements)
35.50/35.62 c First Solution : +5.27000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
35.50/35.62 c Gap First Sol. : infinite
35.50/35.62 c Gap Last Sol. : 22.67 %
35.50/35.62 c Primal Bound : +2.76000000000000e+02 (in run 1, after 294 nodes, 24.52 seconds, depth 7, found by <simplerounding>)
35.50/35.62 c Dual Bound : +2.76000000000000e+02
35.50/35.62 c Gap : 0.00 %
35.50/35.62 c Integrals : Total Avg%
35.50/35.62 c primal-dual : 1056.75 29.67
35.50/35.62 c primal-ref : - - (not evaluated)
35.50/35.62 c dual-ref : - - (not evaluated)
35.50/35.64 c Time complete: 35.548.
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 (59201 MiB free)
memory of node 1: 64473 MiB (60246 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460048-1721939465/watcher-4460048-1721939465 -o /tmp/evaluation-result-4460048-1721939465/solver-4460048-1721939465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721939462-253743 --watchdog 3760 pbscip -f HOME/instance-4460048-1721939465.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=253933, runsolver pid=253930
[startup+0.100085 s]*
/proc/loadavg: 0.08 0.10 0.17 5/257 253944
/proc/meminfo: memFree=122275340/131524600 swapFree=131060368/131071996
[pid=253933] ppid=253930 vsize=68516 memory=28732 CPUtime=0.09 cores=4,6
/proc/253933/stat : 253933 (pbscip) R 253930 253933 253732 0 -1 4194304 3693 0 0 0 9 0 0 0 20 0 1 0 30474453 70160384 7183 134679101440 4194304 18693293 140722700020880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33685504 140722700026887 140722700026986 140722700026986 140722700033998 0
/proc/253933/statm: 17129 7183 3859 3540 0 5386 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68516 KiB
Current children cumulated memory: 28732 KiB
[startup+0.205571 s]*
/proc/loadavg: 0.08 0.10 0.17 5/257 253944
/proc/meminfo: memFree=122262392/131524600 swapFree=131060368/131071996
[pid=253933] ppid=253930 vsize=79452 memory=40212 CPUtime=0.2 cores=4,6
/proc/253933/stat : 253933 (pbscip) R 253930 253933 253732 0 -1 4194304 6465 0 0 0 19 1 0 0 20 0 1 0 30474453 81358848 10053 134679101440 4194304 18693293 140722700020880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33685504 140722700026887 140722700026986 140722700026986 140722700033998 0
/proc/253933/statm: 19863 10053 3970 3540 0 8120 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 79452 KiB
Current children cumulated memory: 40212 KiB
[startup+0.305588 s]*
/proc/loadavg: 0.08 0.10 0.17 5/257 253944
/proc/meminfo: memFree=122262392/131524600 swapFree=131060368/131071996
[pid=253933] ppid=253930 vsize=79452 memory=40212 CPUtime=0.3 cores=4,6
/proc/253933/stat : 253933 (pbscip) R 253930 253933 253732 0 -1 4194304 6465 0 0 0 29 1 0 0 20 0 1 0 30474453 81358848 10053 134679101440 4194304 18693293 140722700020880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33685504 140722700026887 140722700026986 140722700026986 140722700033998 0
/proc/253933/statm: 19863 10053 3970 3540 0 8120 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79452 KiB
Current children cumulated memory: 40212 KiB
[startup+0.700219 s]
/proc/loadavg: 0.08 0.10 0.17 5/257 253944
/proc/meminfo: memFree=122256864/131524600 swapFree=131060368/131071996
[pid=253933] ppid=253930 vsize=79452 memory=40212 CPUtime=0.69 cores=4,6
/proc/253933/stat : 253933 (pbscip) R 253930 253933 253732 0 -1 4194304 6470 0 0 0 68 1 0 0 20 0 1 0 30474453 81358848 10053 134679101440 4194304 18693293 140722700020880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33685504 140722700026887 140722700026986 140722700026986 140722700033998 0
/proc/253933/statm: 19863 10053 3970 3540 0 8120 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 79452 KiB
Current children cumulated memory: 40212 KiB
[startup+1.50024 s]
/proc/loadavg: 0.08 0.10 0.17 5/257 253944
/proc/meminfo: memFree=122191284/131524600 swapFree=131060368/131071996
[pid=253933] ppid=253930 vsize=80136 memory=41080 CPUtime=1.49 cores=4,6
/proc/253933/stat : 253933 (pbscip) R 253930 253933 253732 0 -1 4194304 6631 0 0 0 148 1 0 0 20 0 1 0 30474453 82059264 10270 134679101440 4194304 18693293 140722700020880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33685504 140722700026887 140722700026986 140722700026986 140722700033998 0
/proc/253933/statm: 20034 10270 4002 3540 0 8291 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 80136 KiB
Current children cumulated memory: 41080 KiB
[startup+3.10528 s]
/proc/loadavg: 0.39 0.16 0.19 5/256 253946
/proc/meminfo: memFree=122125248/131524600 swapFree=131060368/131071996
[pid=253933] ppid=253930 vsize=96152 memory=52696 CPUtime=3.08 cores=4,6
/proc/253933/stat : 253933 (pbscip) R 253930 253933 253732 0 -1 4194304 9534 0 0 0 307 1 0 0 20 0 1 0 30474453 98459648 13174 134679101440 4194304 18693293 140722700020880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33685504 140722700026887 140722700026986 140722700026986 140722700033998 0
/proc/253933/statm: 24038 13174 4002 3540 0 12295 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 96152 KiB
Current children cumulated memory: 52696 KiB
[startup+6.30023 s]
/proc/loadavg: 0.39 0.16 0.19 5/257 253947
/proc/meminfo: memFree=122036292/131524600 swapFree=131060368/131071996
[pid=253933] ppid=253930 vsize=96152 memory=52696 CPUtime=6.27 cores=4,6
/proc/253933/stat : 253933 (pbscip) R 253930 253933 253732 0 -1 4194304 9541 0 0 0 626 1 0 0 20 0 1 0 30474453 98459648 13174 134679101440 4194304 18693293 140722700020880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33685504 140722700026887 140722700026986 140722700026986 140722700033998 0
/proc/253933/statm: 24038 13174 4002 3540 0 12295 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 96152 KiB
Current children cumulated memory: 52696 KiB
[startup+12.7002 s]
/proc/loadavg: 1.03 0.31 0.23 5/257 253948
/proc/meminfo: memFree=122006892/131524600 swapFree=131060368/131071996
[pid=253933] ppid=253930 vsize=96152 memory=52764 CPUtime=12.65 cores=4,6
/proc/253933/stat : 253933 (pbscip) R 253930 253933 253732 0 -1 4194304 9644 0 0 0 1264 1 0 0 20 0 1 0 30474453 98459648 13191 134679101440 4194304 18693293 140722700020880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33685504 140722700026887 140722700026986 140722700026986 140722700033998 0
/proc/253933/statm: 24038 13191 4002 3540 0 12295 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 96152 KiB
Current children cumulated memory: 52764 KiB
[startup+25.5002 s]
/proc/loadavg: 1.48 0.43 0.28 5/258 253951
/proc/meminfo: memFree=121934784/131524600 swapFree=131060368/131071996
[pid=253933] ppid=253930 vsize=141380 memory=93140 CPUtime=25.42 cores=4,6
/proc/253933/stat : 253933 (pbscip) R 253930 253933 253732 0 -1 4194304 15408 0 0 0 2539 3 0 0 20 0 1 0 30474453 144773120 23285 134679101440 4194304 18693293 140722700020880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33685504 140722700026887 140722700026986 140722700026986 140722700033998 0
/proc/253933/statm: 35345 23285 4034 3540 0 23602 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 141380 KiB
Current children cumulated memory: 93140 KiB
[startup+35.6511 s]
# the end of solver process 253933 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=35.5177 s, system=0.035797 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 1.48 0.43 0.28 5/258 253951
/proc/meminfo: memFree=121934784/131524600 swapFree=131060368/131071996
[pid=253933] ppid=253930 vsize=141380 memory=93140 CPUtime=25.52 cores=4,6
/proc/253933/stat : 253933 (pbscip) R 253930 253933 253732 0 -1 4194304 15408 0 0 0 2549 3 0 0 20 0 1 0 30474453 144773120 23285 134679101440 4194304 18693293 140722700020880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33685504 140722700026887 140722700026986 140722700026986 140722700033998 0
/proc/253933/statm: 35345 23285 4034 3540 0 23602 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 141380 KiB
Current children cumulated memory: 93140 KiB
[startup+32.0002 s]*
/proc/loadavg: 1.87 0.55 0.32 5/258 253952
/proc/meminfo: memFree=121918304/131524600 swapFree=131060368/131071996
[pid=253933] ppid=253930 vsize=141380 memory=93140 CPUtime=31.91 cores=4,6
/proc/253933/stat : 253933 (pbscip) R 253930 253933 253732 0 -1 4194304 15414 0 0 0 3188 3 0 0 20 0 1 0 30474453 144773120 23285 134679101440 4194304 18693293 140722700020880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33685504 140722700026887 140722700026986 140722700026986 140722700033998 0
/proc/253933/statm: 35345 23285 4034 3540 0 23602 0
Current children cumulated CPU time: 31.91 s
Current children cumulated vsize: 141380 KiB
Current children cumulated memory: 93140 KiB
[startup+33.6002 s]
/proc/loadavg: 1.87 0.55 0.32 5/258 253952
/proc/meminfo: memFree=121911892/131524600 swapFree=131060368/131071996
[pid=253933] ppid=253930 vsize=141704 memory=93404 CPUtime=33.5 cores=4,6
/proc/253933/stat : 253933 (pbscip) R 253930 253933 253732 0 -1 4194304 15446 0 0 0 3347 3 0 0 20 0 1 0 30474453 145104896 23351 134679101440 4194304 18693293 140722700020880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33685504 140722700026887 140722700026986 140722700026986 140722700033998 0
/proc/253933/statm: 35426 23351 4034 3540 0 23683 0
Current children cumulated CPU time: 33.5 s
Current children cumulated vsize: 141704 KiB
Current children cumulated memory: 93404 KiB
[startup+34.4002 s]
/proc/loadavg: 1.87 0.55 0.32 5/258 253952
/proc/meminfo: memFree=121899048/131524600 swapFree=131060368/131071996
[pid=253933] ppid=253930 vsize=141704 memory=93404 CPUtime=34.3 cores=4,6
/proc/253933/stat : 253933 (pbscip) R 253930 253933 253732 0 -1 4194304 15446 0 0 0 3427 3 0 0 20 0 1 0 30474453 145104896 23351 134679101440 4194304 18693293 140722700020880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33685504 140722700026887 140722700026986 140722700026986 140722700033998 0
/proc/253933/statm: 35426 23351 4034 3540 0 23683 0
Current children cumulated CPU time: 34.3 s
Current children cumulated vsize: 141704 KiB
Current children cumulated memory: 93404 KiB
[startup+35.2002 s]
/proc/loadavg: 1.87 0.55 0.32 5/258 253952
/proc/meminfo: memFree=121891536/131524600 swapFree=131060368/131071996
[pid=253933] ppid=253930 vsize=141704 memory=93404 CPUtime=35.1 cores=4,6
/proc/253933/stat : 253933 (pbscip) R 253930 253933 253732 0 -1 4194304 15447 0 0 0 3507 3 0 0 20 0 1 0 30474453 145104896 23351 134679101440 4194304 18693293 140722700020880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33685504 140722700026887 140722700026986 140722700026986 140722700033998 0
/proc/253933/statm: 35426 23351 4034 3540 0 23683 0
Current children cumulated CPU time: 35.1 s
Current children cumulated vsize: 141704 KiB
Current children cumulated memory: 93404 KiB
[startup+35.6002 s]
/proc/loadavg: 1.87 0.55 0.32 5/258 253952
/proc/meminfo: memFree=121891536/131524600 swapFree=131060368/131071996
[pid=253933] ppid=253930 vsize=141704 memory=93404 CPUtime=35.5 cores=4,6
/proc/253933/stat : 253933 (pbscip) R 253930 253933 253732 0 -1 4194304 15471 0 0 0 3547 3 0 0 20 0 1 0 30474453 145104896 23351 134679101440 4194304 18693293 140722700020880 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33685504 140722700026887 140722700026986 140722700026986 140722700033998 0
/proc/253933/statm: 35426 23351 4034 3540 0 23683 0
Current children cumulated CPU time: 35.5 s
Current children cumulated vsize: 141704 KiB
Current children cumulated memory: 93404 KiB
Child status: 0
Real time (s): 35.6511
CPU time (s): 35.5535
CPU user time (s): 35.5177
CPU system time (s): 0.035797
CPU usage (%): 99.7263
Max. virtual memory (cumulated for all children) (KiB): 141704
Max. memory (cumulated for all children) (KiB): 93404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.5177
system time used= 0.035797
maximum resident set size= 93468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15554
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= 53
# summary of solver processes directly reported to runsolver:
# pid: 253933
# total CPU time (s): 35.5535
# total CPU user time (s): 35.5177
# total CPU system time (s): 0.035797
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.085523 second user time and 0.178818 second system time
The end