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-4444125-1721301688.opb>
0.00/0.01 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving:
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.02 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.02 c (round 1, exhaustive) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.03 c (round 2, exhaustive) 0 del vars, 187 del conss, 0 add conss, 0 chg bounds, 44 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.03 c (round 3, exhaustive) 0 del vars, 198 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.03 c (round 4, exhaustive) 0 del vars, 198 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 2509 upgd conss, 0 impls, 143 clqs
0.00/0.04 c (round 5, exhaustive) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 2509 upgd conss, 0 impls, 143 clqs
0.00/0.04 c (0.0s) probing: 51/231 (22.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.04 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.05 c (0.0s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.05 c dynamic symmetry handling statistics:
0.00/0.05 c orbitopal reduction: no components
0.00/0.05 c orbital reduction: 1 components of sizes 1
0.00/0.05 c lexicographic reduction: 1 permutations with support sizes 121
0.00/0.05 c handled 1 out of 1 symmetry components
0.00/0.05 c presolving (6 rounds: 6 fast, 6 medium, 6 exhaustive):
0.00/0.05 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.00/0.05 c 0 implications, 143 cliques
0.00/0.05 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.00/0.05 c 1 constraints of type <knapsack>
0.00/0.05 c 22 constraints of type <setppc>
0.00/0.05 c 2420 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 10.0.0
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.05 c limits/time = 3596.997072
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.05 c limits/memory = 27900
0.00/0.05 c
0.00/0.05 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.05 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.05 c limits/solutions = 1
0.00/0.05 c
0.00/0.05 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.00/0.05 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.05 c misc/usesymmetry = 3
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.05 c
0.00/0.05 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.05 c
0.00/0.05 c # Type of symmetries that shall be computed?
0.00/0.05 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.05 c propagating/symmetry/symtype = 1
0.00/0.05 c
0.00/0.05 c # Should components consisting of a single full reflection be handled?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.07 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.07 c 0.1s| 1 | 0 | 95 | - | 11M | 0 | 231 |2460 |2443 | 0 | 0 | 16 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.21 c 0.2s| 1 | 0 | 1900 | - | 12M | 0 | 231 |2464 |2445 | 2 | 1 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.27 c 0.3s| 1 | 0 | 1917 | - | 14M | 0 | 231 |2466 |2448 | 5 | 2 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.30 c 0.3s| 1 | 0 | 1943 | - | 16M | 0 | 231 |2466 |2454 | 11 | 3 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.34 c 0.3s| 1 | 0 | 1964 | - | 20M | 0 | 231 |2470 |2457 | 14 | 4 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.41 c 0.4s| 1 | 0 | 1999 | - | 23M | 0 | 231 |2472 |2461 | 18 | 5 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.46 c 0.5s| 1 | 0 | 2019 | - | 25M | 0 | 231 |2476 |2465 | 22 | 6 | 32 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.51 c 0.5s| 1 | 0 | 2045 | - | 29M | 0 | 231 |2481 |2469 | 26 | 7 | 37 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.57 c 0.6s| 1 | 0 | 2071 | - | 32M | 0 | 231 |2482 |2473 | 30 | 8 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.64 c 0.6s| 1 | 0 | 2097 | - | 38M | 0 | 231 |2483 |2475 | 32 | 9 | 39 | 0 | 0.000000e+00 | -- | Inf | unknown
0.69/0.70 c 0.7s| 1 | 0 | 2121 | - | 40M | 0 | 231 |2486 |2477 | 34 | 10 | 42 | 0 | 0.000000e+00 | -- | Inf | unknown
0.69/0.70 c 0.7s| 1 | 0 | 2138 | - | 41M | 0 | 231 |2490 |2479 | 36 | 11 | 46 | 0 | 0.000000e+00 | -- | Inf | unknown
0.78/0.82 c 0.8s| 1 | 2 | 2838 | - | 41M | 0 | 231 |2507 |2479 | 36 | 11 | 63 | 20 | 0.000000e+00 | -- | Inf | unknown
1.48/1.52 c 1.5s| 100 | 7 | 4968 | 28.6 | 43M | 20 | 231 |2582 |2455 | 48 | 0 | 140 | 20 | 0.000000e+00 | -- | Inf | 89.05%
1.68/1.78 c 1.8s| 200 | 11 | 6474 | 21.8 | 47M | 20 | 231 |2655 |2456 | 68 | 0 | 213 | 20 | 0.000000e+00 | -- | Inf | 90.81%
2.18/2.21 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.21 c 2.2s| 300 | 9 | 8102 | 19.9 | 48M | 20 | 231 |2731 |2456 | 95 | 0 | 291 | 20 | 0.000000e+00 | -- | Inf | 91.87%
2.38/2.46 c 2.5s| 400 | 7 | 9767 | 19.1 | 50M | 20 | 231 |2836 |2457 | 108 | 1 | 398 | 20 | 0.000000e+00 | -- | Inf | 92.38%
2.78/2.87 c 2.9s| 500 | 5 | 11409 | 18.6 | 55M | 20 | 231 |2923 |2454 | 135 | 0 | 488 | 20 | 0.000000e+00 | -- | Inf | 93.06%
3.08/3.13 c 3.1s| 600 | 7 | 13101 | 18.3 | 57M | 20 | 231 |3055 |2456 | 152 | 1 | 622 | 20 | 0.000000e+00 | -- | Inf | 93.24%
3.28/3.39 c 3.4s| 700 | 5 | 14614 | 17.8 | 58M | 20 | 231 |3166 |2462 | 170 | 2 | 735 | 20 | 0.000000e+00 | -- | Inf | 93.36%
3.57/3.61 c 3.6s| 800 | 7 | 16367 | 17.8 | 58M | 20 | 231 |3230 |2455 | 178 | 1 | 799 | 20 | 0.000000e+00 | -- | Inf | 93.52%
3.98/4.10 c 4.1s| 900 | 7 | 18355 | 18.0 | 58M | 30 | 231 |3329 |2458 | 178 | 0 | 901 | 20 | 0.000000e+00 | -- | Inf | 93.55%
4.37/4.42 c 4.4s| 1000 | 5 | 20287 | 18.2 | 58M | 30 | 231 |3444 |2458 | 178 | 1 |1023 | 20 | 0.000000e+00 | -- | Inf | 93.55%
4.68/4.79 c 4.8s| 1100 | 4 | 22136 | 18.2 | 58M | 31 | 231 |3508 |2454 | 209 | 0 |1094 | 20 | 0.000000e+00 | -- | Inf | 96.43%
5.08/5.12 c 5.1s| 1200 | 4 | 24060 | 18.3 | 58M | 31 | 231 |3569 |2455 | 234 | 0 |1161 | 20 | 0.000000e+00 | -- | Inf | 97.64%
5.27/5.32 c 5.3s| 1300 | 7 | 26083 | 18.4 | 58M | 31 | 231 |3652 | 0 | 266 | 0 |1241 | 20 | 0.000000e+00 | -- | Inf | 98.43%
5.57/5.62 c 5.6s| 1400 | 5 | 28013 | 18.5 | 58M | 31 | 231 |3723 |2455 | 287 | 1 |1317 | 20 | 0.000000e+00 | -- | Inf | 98.82%
5.98/6.00 c 6.0s| 1500 | 5 | 29968 | 18.6 | 58M | 31 | 231 |3784 |2456 | 306 | 0 |1381 | 20 | 0.000000e+00 | -- | Inf | 99.22%
6.17/6.22 c 6.2s| 1600 | 7 | 31748 | 18.5 | 58M | 31 | 231 |3861 |2456 | 325 | 1 |1466 | 20 | 0.000000e+00 | -- | Inf | 99.49%
6.37/6.46 c 6.5s| 1700 | 7 | 33373 | 18.4 | 58M | 31 | 231 |3941 |2456 | 335 | 1 |1556 | 20 | 0.000000e+00 | -- | Inf | 99.55%
6.77/6.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.77/6.89 c 6.9s| 1800 | 7 | 35276 | 18.4 | 58M | 31 | 231 |4020 |2457 | 341 | 0 |1642 | 20 | 0.000000e+00 | -- | Inf | 99.64%
7.17/7.20 c 7.2s| 1900 | 5 | 37152 | 18.4 | 58M | 31 | 231 |4096 |2457 | 341 | 0 |1732 | 20 | 0.000000e+00 | -- | Inf | 99.69%
7.47/7.55 c 7.5s| 2000 | 7 | 38843 | 18.4 | 59M | 32 | 231 |4190 |2457 | 353 | 1 |1835 | 20 | 0.000000e+00 | -- | Inf | 99.73%
7.76/7.86 c 7.9s| 2100 | 6 | 40594 | 18.3 | 59M | 35 | 231 |4302 |2457 | 353 | 0 |1953 | 20 | 0.000000e+00 | -- | Inf | 99.75%
8.07/8.15 c 8.2s| 2200 | 6 | 42167 | 18.2 | 59M | 35 | 231 |4389 |2456 | 354 | 0 |2049 | 20 | 0.000000e+00 | -- | Inf | 99.77%
8.16/8.27 c 8.3s| 2300 | 6 | 43715 | 18.1 | 59M | 35 | 231 |4518 |2456 | 356 | 1 |2185 | 20 | 0.000000e+00 | -- | Inf | 99.77%
8.36/8.40 c 8.4s| 2400 | 6 | 45385 | 18.0 | 59M | 35 | 231 |4635 |2458 | 360 | 1 |2314 | 20 | 0.000000e+00 | -- | Inf | 99.77%
8.46/8.56 c 8.6s| 2500 | 6 | 47299 | 18.1 | 59M | 35 | 231 |4724 |2458 | 367 | 0 |2406 | 20 | 0.000000e+00 | -- | Inf | 99.88%
8.56/8.69 c 8.7s| 2600 | 4 | 49034 | 18.0 | 59M | 35 | 231 |4839 |2458 | 368 | 0 |2524 | 20 | 0.000000e+00 | -- | Inf | 99.89%
8.76/8.82 c 8.8s| 2700 | 6 | 50882 | 18.1 | 57M | 35 | 231 |4959 |2458 | 368 | 0 |2648 | 20 | 0.000000e+00 | -- | Inf | 99.90%
8.86/8.94 c 8.9s| 2800 | 6 | 52451 | 18.0 | 57M | 35 | 231 |5085 |2459 | 371 | 0 |2774 | 20 | 0.000000e+00 | -- | Inf | 99.90%
8.97/9.06 c 9.1s| 2900 | 8 | 54040 | 17.9 | 57M | 35 | 231 |5221 |2459 | 371 | 0 |2912 | 20 | 0.000000e+00 | -- | Inf | 99.90%
9.07/9.18 c 9.2s| 3000 | 6 | 55785 | 17.9 | 57M | 35 | 231 |5334 |2458 | 371 | 0 |3029 | 20 | 0.000000e+00 | -- | Inf | 99.90%
9.26/9.30 c 9.3s| 3100 | 9 | 57446 | 17.8 | 57M | 35 | 231 |5469 |2458 | 371 | 1 |3167 | 20 | 0.000000e+00 | -- | Inf | 99.90%
9.36/9.43 c 9.4s| 3200 | 5 | 59319 | 17.9 | 57M | 35 | 231 |5597 |2458 | 372 | 1 |3298 | 20 | 0.000000e+00 | -- | Inf | 99.90%
9.46/9.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.46/9.54 c 9.5s| 3300 | 5 | 60713 | 17.8 | 57M | 35 | 231 |5739 |2458 | 372 | 0 |3447 | 20 | 0.000000e+00 | -- | Inf | 99.90%
9.66/9.70 c 9.7s| 3400 | 7 | 62987 | 17.9 | 57M | 35 | 231 |5866 |2458 | 372 | 1 |3582 | 20 | 0.000000e+00 | -- | Inf | 99.90%
9.76/9.83 c 9.8s| 3500 | 5 | 64986 | 18.0 | 57M | 35 | 231 |6036 |2458 | 373 | 1 |3754 | 20 | 0.000000e+00 | -- | Inf | 99.90%
9.86/9.95 c 10.0s| 3600 | 7 | 66747 | 18.0 | 58M | 36 | 231 |6199 |2458 | 373 | 1 |3925 | 20 | 0.000000e+00 | -- | Inf | 99.90%
10.06/10.10 c 10.1s| 3700 | 3 | 68974 | 18.1 | 58M | 36 | 231 |6336 |2458 | 373 | 0 |4077 | 20 | 0.000000e+00 | -- | Inf | 99.90%
10.15/10.28 c 10.3s| 3800 | 5 | 71345 | 18.2 | 58M | 36 | 231 |6417 |2458 | 381 | 1 |4181 | 20 | 0.000000e+00 | -- | Inf | 99.95%
10.35/10.44 c 10.4s| 3900 | 3 | 73740 | 18.4 | 58M | 36 | 231 |6497 |2458 | 382 | 1 |4287 | 20 | 0.000000e+00 | -- | Inf | 100.00%
10.45/10.53 c
10.45/10.53 c SCIP Status : problem is solved [infeasible]
10.45/10.53 c Solving Time (sec) : 10.53
10.45/10.53 c Solving Nodes : 3957
10.45/10.53 c Primal Bound : +1.00000000000000e+20 (0 solutions)
10.45/10.53 c Dual Bound : +1.00000000000000e+20
10.45/10.53 c Gap : 0.00 %
10.45/10.53 s UNSATISFIABLE
10.45/10.53 c SCIP Status : problem is solved [infeasible]
10.45/10.53 c Total Time : 10.53
10.45/10.53 c solving : 10.53
10.45/10.53 c presolving : 0.04 (included in solving)
10.45/10.53 c reading : 0.00 (included in solving)
10.45/10.53 c copying : 0.66 (105 #copies) (minimal 0.00, maximal 0.01, average 0.01)
10.45/10.53 c Original Problem :
10.45/10.53 c Problem name : HOME/instance-4444125-1721301688.opb
10.45/10.53 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
10.45/10.53 c Constraints : 2707 initial, 2707 maximal
10.45/10.53 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
10.45/10.53 c Presolved Problem :
10.45/10.53 c Problem name : t_HOME/instance-4444125-1721301688.opb
10.45/10.53 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
10.45/10.53 c Constraints : 2443 initial, 6502 maximal
10.45/10.53 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
10.45/10.53 c Nonzeros : 7612 constraint, 398 clique table
10.45/10.53 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
10.45/10.53 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.53 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.53 c gateextraction : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
10.45/10.53 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
10.45/10.53 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.53 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.53 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
10.45/10.53 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c dualfix : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
10.45/10.53 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.53 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.53 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.53 c knapsack : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
10.45/10.53 c setppc : 0.00 0.00 6 0 0 0 0 0 66 0 0 0
10.45/10.53 c linear : 0.02 0.00 8 0 0 0 0 0 198 0 55 0
10.45/10.53 c logicor : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
10.45/10.53 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
10.45/10.53 c root node : - - - 70 - - 70 - - - - -
10.45/10.53 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
10.45/10.53 c benderslp : 0 0 0 0 1982 0 0 169 0 0 0 0 0 0 0
10.45/10.53 c integral : 0 0 0 0 1982 0 0 169 0 0 0 0 0 0 3964
10.45/10.53 c knapsack : 1+ 7 11 16002 0 0 0 166 941 14 5376 9 3 0 0
10.45/10.53 c setppc : 22+ 30 11 15993 0 0 0 94 25924 55 21126 0 0 0 0
10.45/10.53 c linear : 0+ 20 0 10199 0 0 0 2 0 0 18 0 0 0 0
10.45/10.53 c logicor : 2420+ 6467 11 7295 0 0 0 0 11926 10 20101 0 0 0 0
10.45/10.53 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
10.45/10.53 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c integral : 0.13 0.00 0.00 0.00 0.13 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c setppc : 0.05 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c logicor : 0.24 0.00 0.00 0.23 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c Propagators : #Propagate #ResProp Cutoffs DomReds
10.45/10.53 c dualfix : 1 0 0 0
10.45/10.53 c genvbounds : 0 0 0 0
10.45/10.53 c nlobbt : 0 0 0 0
10.45/10.53 c obbt : 0 0 0 0
10.45/10.53 c probing : 0 0 0 0
10.45/10.53 c pseudoobj : 0 0 0 0
10.45/10.53 c redcost : 0 0 0 0
10.45/10.53 c rootredcost : 0 0 0 0
10.45/10.53 c symmetry : 15389 0 0 10
10.45/10.53 c vbounds : 11214 0 0 0
10.45/10.53 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
10.45/10.53 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
10.45/10.53 c symmetry : 0.12 0.00 0.01 0.11 0.00 0.00
10.45/10.53 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
10.45/10.53 c Symmetry :
10.45/10.53 c orbitopal red. : 0 reductions applied, 0 cutoffs
10.45/10.53 c orbital reduction: 10 reductions applied, 0 cutoffs
10.45/10.53 c lexicographic red: 0 reductions applied, 0 cutoffs
10.45/10.53 c shadow tree time : 0.00 s
10.45/10.53 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
10.45/10.53 c propagation : 0.00 77 76 - 308 11.1 0 0.0 - - -
10.45/10.53 c infeasible LP : 0.20 1914 1837 - 8126 17.8 7 11.9 22 18.9 0
10.45/10.53 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
10.45/10.53 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
10.45/10.53 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
10.45/10.53 c applied globally : 0.02 - - 0 4302 8.4 - - 22 - -
10.45/10.53 c applied locally : - - - 0 0 0.0 - - 0 - -
10.45/10.53 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
10.45/10.53 c cut pool : 0.21 - 380 21 - - 5294 6573 - - - - - (maximal pool size: 3464)
10.45/10.53 c aggregation : 0.04 0.00 105 11 0 0 9 25 0 0 0 0 0
10.45/10.53 c > cmir : - - - - - - - 24 0 0 0 0 -
10.45/10.53 c > flowcover : - - - - - - - 0 0 0 0 0 -
10.45/10.53 c > knapsackcover : - - - - - - - 1 0 0 0 0 -
10.45/10.53 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c clique : 0.00 0.00 11 11 0 0 0 0 0 0 0 0 0
10.45/10.53 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c gomory : 1.69 0.00 104 10 0 0 6697 6498 1434 253 209 44 0
10.45/10.53 c > gomorymi : - - - - - - - 3640 717 106 79 27 -
10.45/10.53 c > strongcg : - - - - - - - 2858 717 147 130 17 -
10.45/10.53 c impliedbounds : 0.00 0.00 105 11 0 0 0 0 0 0 0 0 0
10.45/10.53 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
10.45/10.53 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c multilinear : 0.00 0.00 150 11 0 0 0 0 0 0 0 0 0
10.45/10.53 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
10.45/10.53 c rapidlearning : 3.04 0.00 100 1 0 5483 0 0 0 0 0 0 210
10.45/10.53 c rlt : 0.00 0.00 57 10 0 0 0 0 0 0 0 0 0
10.45/10.53 c zerohalf : 0.05 0.00 105 11 0 0 209 50 187 127 19 108 0
10.45/10.53 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
10.45/10.53 c hybrid : 0.01 0.00 126 11 383 0 7804 36 0 2563
10.45/10.53 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.53 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.53 c Pricers : ExecTime SetupTime Calls Vars
10.45/10.53 c problem variables: 0.00 - 0 0
10.45/10.53 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
10.45/10.53 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.53 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.53 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.53 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.53 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.53 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.53 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.53 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.53 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.53 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.53 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.53 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.53 c random : 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.53 c relpscost : 0.13 0.00 1982 0 0 0 0 0 0 3964
10.45/10.53 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
10.45/10.53 c Primal Heuristics : ExecTime SetupTime Calls Found Best
10.45/10.53 c LP solutions : 0.00 - - 0 0
10.45/10.53 c relax solutions : 0.00 - - 0 0
10.45/10.53 c pseudo solutions : 0.00 - - 0 0
10.45/10.53 c strong branching : 0.00 - - 0 0
10.45/10.53 c actconsdiving : 0.00 0.00 0 0 0
10.45/10.53 c adaptivediving : 0.01 0.00 1 0 0
10.45/10.53 c alns : 0.04 0.00 4 0 0
10.45/10.53 c bound : 0.00 0.00 0 0 0
10.45/10.53 c clique : 0.00 0.00 1 0 0
10.45/10.53 c coefdiving : 0.00 0.00 0 0 0
10.45/10.53 c completesol : 0.00 0.00 0 0 0
10.45/10.53 c conflictdiving : 0.04 0.00 1 0 0
10.45/10.53 c crossover : 0.00 0.00 0 0 0
10.45/10.53 c dins : 0.00 0.00 0 0 0
10.45/10.53 c distributiondivin: 0.02 0.00 0 0 0
10.45/10.53 c dps : 0.00 0.00 0 0 0
10.45/10.53 c dualval : 0.00 0.00 0 0 0
10.45/10.53 c farkasdiving : 0.00 0.00 0 0 0
10.45/10.53 c feasjump : 0.01 0.00 1 0 0
10.45/10.53 c feaspump : 0.07 0.00 1 0 0
10.45/10.53 c fixandinfer : 0.00 0.00 0 0 0
10.45/10.53 c fracdiving : 0.00 0.00 1 0 0
10.45/10.53 c gins : 0.00 0.00 0 0 0
10.45/10.53 c guideddiving : 0.00 0.00 0 0 0
10.45/10.53 c indcoefdiving : 0.00 0.00 0 0 0
10.45/10.53 c indicator : 0.00 0.00 0 0 0
10.45/10.53 c indicatordiving : 0.00 0.00 0 0 0
10.45/10.53 c indoneopt : 0.00 0.00 0 0 0
10.45/10.53 c indrounding : 0.00 0.00 0 0 0
10.45/10.53 c indtwoopt : 0.00 0.00 0 0 0
10.45/10.53 c intdiving : 0.00 0.00 0 0 0
10.45/10.53 c intshifting : 0.00 0.00 0 0 0
10.45/10.53 c linesearchdiving : 0.00 0.00 0 0 0
10.45/10.53 c localbranching : 0.00 0.00 0 0 0
10.45/10.53 c locks : 0.00 0.00 1 0 0
10.45/10.53 c lpface : 0.00 0.00 0 0 0
10.45/10.53 c mpec : 0.00 0.00 0 0 0
10.45/10.53 c multistart : 0.00 0.00 0 0 0
10.45/10.53 c mutation : 0.00 0.00 0 0 0
10.45/10.53 c nlpdiving : 0.00 0.00 0 0 0
10.45/10.53 c objpscostdiving : 0.00 0.00 0 0 0
10.45/10.53 c octane : 0.00 0.00 0 0 0
10.45/10.53 c ofins : 0.00 0.00 0 0 0
10.45/10.53 c oneopt : 0.00 0.00 0 0 0
10.45/10.53 c padm : 0.00 0.00 0 0 0
10.45/10.53 c proximity : 0.00 0.00 0 0 0
10.45/10.53 c pscostdiving : 0.01 0.00 1 0 0
10.45/10.53 c randrounding : 0.01 0.00 175 0 0
10.45/10.53 c rens : 0.01 0.00 1 0 0
10.45/10.53 c reoptsols : 0.00 0.00 0 0 0
10.45/10.53 c repair : 0.00 0.00 0 0 0
10.45/10.53 c rins : 0.00 0.00 0 0 0
10.45/10.53 c rootsoldiving : 0.00 0.00 0 0 0
10.45/10.53 c rounding : 0.03 0.00 610 0 0
10.45/10.53 c scheduler : 0.00 0.00 0 0 0
10.45/10.53 c shiftandpropagate: 0.00 0.00 1 0 0
10.45/10.53 c shifting : 0.04 0.00 205 0 0
10.45/10.53 c simplerounding : 0.00 0.00 0 0 0
10.45/10.53 c smallcard : 0.00 0.00 0 0 0
10.45/10.53 c subnlp : 0.00 0.00 0 0 0
10.45/10.53 c trivial : 0.00 0.00 2 0 0
10.45/10.53 c trivialnegation : 0.00 0.00 0 0 0
10.45/10.53 c trustregion : 0.00 0.00 0 0 0
10.45/10.53 c trysol : 0.00 0.00 0 0 0
10.45/10.53 c twoopt : 0.00 0.00 0 0 0
10.45/10.53 c undercover : 0.00 0.00 0 0 0
10.45/10.53 c vbounds : 0.00 0.00 0 0 0
10.45/10.53 c veclendiving : 0.00 0.00 0 0 0
10.45/10.53 c zeroobj : 0.00 0.00 0 0 0
10.45/10.53 c zirounding : 0.01 0.00 1000 0 0
10.45/10.53 c other solutions : - - - 0 -
10.45/10.53 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
10.45/10.53 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
10.45/10.53 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
10.45/10.53 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
10.45/10.53 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
10.45/10.53 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
10.45/10.53 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
10.45/10.53 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
10.45/10.53 c zeroobjective : 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
10.45/10.53 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
10.45/10.53 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
10.45/10.53 c primal LP : 0.01 61 0 0.00 0.00 0.01 61
10.45/10.53 c dual LP : 3.44 4095 72266 17.72 20983.27 0.00 16
10.45/10.53 c lex dual LP : 0.00 0 0 0.00 -
10.45/10.53 c barrier LP : 0.00 0 0 0.00 - 0.00 0
10.45/10.53 c resolve instable : 0.00 0 0 0.00 -
10.45/10.53 c diving/probing LP: 0.12 50 2939 58.78 23559.87
10.45/10.53 c strong branching : 0.06 20 1062 53.10 18813.78 - - 0
10.45/10.53 c (at root node) : - 20 1062 53.10 -
10.45/10.53 c conflict analysis: 0.00 0 0 0.00 -
10.45/10.53 c B&B Tree :
10.45/10.53 c number of runs : 1
10.45/10.53 c nodes : 3957 (1982 internal, 1975 leaves)
10.45/10.53 c feasible leaves : 0
10.45/10.53 c infeas. leaves : 1975
10.45/10.53 c objective leaves : 0
10.45/10.53 c nodes (total) : 3957 (1982 internal, 1975 leaves)
10.45/10.53 c nodes left : 0
10.45/10.53 c max depth : 36
10.45/10.53 c max depth (total): 36
10.45/10.53 c backtracks : 411 (10.4%)
10.45/10.53 c early backtracks : 0 (0.0%)
10.45/10.53 c nodes exc. ref. : 0 (0.0%)
10.45/10.53 c delayed cutoffs : 8
10.45/10.53 c repropagations : 6925 (5135 domain reductions, 8 cutoffs)
10.45/10.53 c avg switch length: 4.87
10.45/10.53 c switching time : 0.25
10.45/10.53 c Root Node :
10.45/10.53 c First LP value : +0.00000000000000e+00
10.45/10.53 c First LP Iters : 95 (36412.42 Iter/sec)
10.45/10.53 c First LP Time : 0.00
10.45/10.53 c Final Dual Bound : -
10.45/10.53 c Final Root Iters : 2138
10.45/10.53 c Root LP Estimate : +2.45485886109456e-03
10.45/10.53 c Solution :
10.45/10.53 c Solutions found : 0 (0 improvements)
10.45/10.53 c Primal Bound : infeasible
10.45/10.53 c Dual Bound : -
10.45/10.53 c Gap : 0.00 %
10.45/10.53 c Integrals : Total Avg%
10.45/10.53 c primal-dual : - - (problem infeasible)
10.45/10.53 c primal-ref : - - (problem infeasible)
10.45/10.53 c dual-ref : - - (problem infeasible)
10.45/10.54 c Time complete: 10.505.
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 (57629 MiB free)
memory of node 1: 64473 MiB (58679 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444125-1721301688/watcher-4444125-1721301688 -o /tmp/evaluation-result-4444125-1721301688/solver-4444125-1721301688 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721294195-967150 --watchdog 3760 pbscip -f HOME/instance-4444125-1721301688.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=972265, runsolver pid=972262
[startup+0.100098 s]*
/proc/loadavg: 4.12 4.10 4.09 5/257 972266
/proc/meminfo: memFree=119085948/131524600 swapFree=131071216/131071996
[pid=972265] ppid=972262 vsize=67872 memory=29868 CPUtime=0.09 cores=4,6
/proc/972265/stat : 972265 (pbscip) R 972262 972265 967139 0 -1 4194304 4016 0 0 0 9 0 0 0 20 0 1 0 182331202 69500928 7467 134679101440 4194304 18693293 140737272845632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54374400 140737272853507 140737272853606 140737272853606 140737272860622 0
/proc/972265/statm: 16968 7467 3925 3540 0 5225 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67872 KiB
Current children cumulated memory: 29868 KiB
[startup+0.205688 s]*
/proc/loadavg: 4.12 4.10 4.09 5/257 972266
/proc/meminfo: memFree=119076372/131524600 swapFree=131071216/131071996
[pid=972265] ppid=972262 vsize=77916 memory=38640 CPUtime=0.19 cores=4,6
/proc/972265/stat : 972265 (pbscip) R 972262 972265 967139 0 -1 4194304 6192 0 0 0 19 0 0 0 20 0 1 0 182331202 79785984 9660 134679101440 4194304 18693293 140737272845632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54374400 140737272853507 140737272853606 140737272853606 140737272860622 0
/proc/972265/statm: 19479 9660 3941 3540 0 7736 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77916 KiB
Current children cumulated memory: 38640 KiB
[startup+0.305653 s]*
/proc/loadavg: 4.12 4.10 4.09 5/257 972266
/proc/meminfo: memFree=119075912/131524600 swapFree=131071216/131071996
[pid=972265] ppid=972262 vsize=77204 memory=38100 CPUtime=0.29 cores=4,6
/proc/972265/stat : 972265 (pbscip) R 972262 972265 967139 0 -1 4194304 6259 0 0 0 29 0 0 0 20 0 1 0 182331202 79056896 9525 134679101440 4194304 18693293 140737272845632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54374400 140737272853507 140737272853606 140737272853606 140737272860622 0
/proc/972265/statm: 19301 9525 3989 3540 0 7558 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77204 KiB
Current children cumulated memory: 38100 KiB
[startup+0.700235 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 972266
/proc/meminfo: memFree=119067720/131524600 swapFree=131071216/131071996
[pid=972265] ppid=972262 vsize=97144 memory=55520 CPUtime=0.69 cores=4,6
/proc/972265/stat : 972265 (pbscip) R 972262 972265 967139 0 -1 4194304 10567 0 0 0 68 1 0 0 20 0 1 0 182331202 99475456 13880 134679101440 4194304 18693293 140737272845632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54374400 140737272853507 140737272853606 140737272853606 140737272860622 0
/proc/972265/statm: 24286 13880 3989 3540 0 12543 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 97144 KiB
Current children cumulated memory: 55520 KiB
[startup+1.50025 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 972266
/proc/meminfo: memFree=119048948/131524600 swapFree=131071216/131071996
[pid=972265] ppid=972262 vsize=107836 memory=66080 CPUtime=1.48 cores=4,6
/proc/972265/stat : 972265 (pbscip) R 972262 972265 967139 0 -1 4194304 13239 0 0 0 147 1 0 0 20 0 1 0 182331202 110424064 16520 134679101440 4194304 18693293 140737272845632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54374400 140737272853507 140737272853606 140737272853606 140737272860622 0
/proc/972265/statm: 26959 16520 3989 3540 0 15216 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107836 KiB
Current children cumulated memory: 66080 KiB
[startup+3.10556 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 972266
/proc/meminfo: memFree=119033688/131524600 swapFree=131071216/131071996
[pid=972265] ppid=972262 vsize=121544 memory=78140 CPUtime=3.08 cores=4,6
/proc/972265/stat : 972265 (pbscip) R 972262 972265 967139 0 -1 4194304 16692 0 0 0 306 2 0 0 20 0 1 0 182331202 124461056 19535 134679101440 4194304 18693293 140737272845632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54374400 140737272853507 140737272853606 140737272853606 140737272860622 0
/proc/972265/statm: 30386 19535 3989 3540 0 18643 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121544 KiB
Current children cumulated memory: 78140 KiB
[startup+6.30024 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 972266
/proc/meminfo: memFree=119029204/131524600 swapFree=131071216/131071996
[pid=972265] ppid=972262 vsize=125104 memory=82404 CPUtime=6.27 cores=4,6
/proc/972265/stat : 972265 (pbscip) R 972262 972265 967139 0 -1 4194304 18459 0 0 0 624 3 0 0 20 0 1 0 182331202 128106496 20601 134679101440 4194304 18693293 140737272845632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54374400 140737272853507 140737272853606 140737272853606 140737272860622 0
/proc/972265/statm: 31276 20601 3989 3540 0 19533 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 125104 KiB
Current children cumulated memory: 82404 KiB
[startup+10.5485 s]
# the end of solver process 972265 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=10.4738 s, system=0.036865 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40027 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 972266
/proc/meminfo: memFree=119029204/131524600 swapFree=131071216/131071996
[pid=972265] ppid=972262 vsize=125104 memory=82404 CPUtime=6.37 cores=4,6
/proc/972265/stat : 972265 (pbscip) R 972262 972265 967139 0 -1 4194304 18459 0 0 0 634 3 0 0 20 0 1 0 182331202 128106496 20601 134679101440 4194304 18693293 140737272845632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54374400 140737272853507 140737272853606 140737272853606 140737272860622 0
/proc/972265/statm: 31276 20601 3989 3540 0 19533 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 125104 KiB
Current children cumulated memory: 82404 KiB
[startup+8.00023 s]*
/proc/loadavg: 4.10 4.10 4.09 5/257 972268
/proc/meminfo: memFree=119033368/131524600 swapFree=131071216/131071996
[pid=972265] ppid=972262 vsize=125376 memory=82668 CPUtime=7.97 cores=4,6
/proc/972265/stat : 972265 (pbscip) R 972262 972265 967139 0 -1 4194304 18535 0 0 0 794 3 0 0 20 0 1 0 182331202 128385024 20667 134679101440 4194304 18693293 140737272845632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54374400 140737272853507 140737272853606 140737272853606 140737272860622 0
/proc/972265/statm: 31344 20667 3989 3540 0 19601 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 125376 KiB
Current children cumulated memory: 82668 KiB
[startup+9.60022 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 972268
/proc/meminfo: memFree=119031500/131524600 swapFree=131071216/131071996
[pid=972265] ppid=972262 vsize=125376 memory=82668 CPUtime=9.56 cores=4,6
/proc/972265/stat : 972265 (pbscip) R 972262 972265 967139 0 -1 4194304 18535 0 0 0 953 3 0 0 20 0 1 0 182331202 128385024 20667 134679101440 4194304 18693293 140737272845632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54374400 140737272853507 140737272853606 140737272853606 140737272860622 0
/proc/972265/statm: 31344 20667 3989 3540 0 19601 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 125376 KiB
Current children cumulated memory: 82668 KiB
[startup+10.0002 s]*
/proc/loadavg: 4.10 4.10 4.09 5/257 972268
/proc/meminfo: memFree=119027888/131524600 swapFree=131071216/131071996
[pid=972265] ppid=972262 vsize=125376 memory=82668 CPUtime=9.96 cores=4,6
/proc/972265/stat : 972265 (pbscip) R 972262 972265 967139 0 -1 4194304 18535 0 0 0 993 3 0 0 20 0 1 0 182331202 128385024 20667 134679101440 4194304 18693293 140737272845632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54374400 140737272853507 140737272853606 140737272853606 140737272860622 0
/proc/972265/statm: 31344 20667 3989 3540 0 19601 0
Current children cumulated CPU time: 9.96 s
Current children cumulated vsize: 125376 KiB
Current children cumulated memory: 82668 KiB
[startup+10.4002 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 972268
/proc/meminfo: memFree=119027888/131524600 swapFree=131071216/131071996
[pid=972265] ppid=972262 vsize=125376 memory=82668 CPUtime=10.35 cores=4,6
/proc/972265/stat : 972265 (pbscip) R 972262 972265 967139 0 -1 4194304 18535 0 0 0 1032 3 0 0 20 0 1 0 182331202 128385024 20667 134679101440 4194304 18693293 140737272845632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54374400 140737272853507 140737272853606 140737272853606 140737272860622 0
/proc/972265/statm: 31344 20667 3989 3540 0 19601 0
Current children cumulated CPU time: 10.35 s
Current children cumulated vsize: 125376 KiB
Current children cumulated memory: 82668 KiB
[startup+10.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 972268
/proc/meminfo: memFree=119027888/131524600 swapFree=131071216/131071996
[pid=972265] ppid=972262 vsize=125376 memory=82668 CPUtime=10.45 cores=4,6
/proc/972265/stat : 972265 (pbscip) R 972262 972265 967139 0 -1 4194304 18535 0 0 0 1042 3 0 0 20 0 1 0 182331202 128385024 20667 134679101440 4194304 18693293 140737272845632 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54374400 140737272853507 140737272853606 140737272853606 140737272860622 0
/proc/972265/statm: 31344 20667 3989 3540 0 19601 0
Current children cumulated CPU time: 10.45 s
Current children cumulated vsize: 125376 KiB
Current children cumulated memory: 82668 KiB
Child status: 0
Real time (s): 10.5486
CPU time (s): 10.5107
CPU user time (s): 10.4738
CPU system time (s): 0.036865
CPU usage (%): 99.6411
Max. virtual memory (cumulated for all children) (KiB): 125376
Max. memory (cumulated for all children) (KiB): 82668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.4738
system time used= 0.036865
maximum resident set size= 82668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18540
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= 18
# summary of solver processes directly reported to runsolver:
# pid: 972265
# total CPU time (s): 10.5107
# total CPU user time (s): 10.4738
# total CPU system time (s): 0.036865
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038658 second user time and 0.074508 second system time
The end