| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3588.22 | 3597.08 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K101.opb |
| MD5SUM | 169808018047e4e4c90ba93c1e86b926 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 4.34712 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6868 |
| Total number of constraints | 7072 |
| Number of constraints which are clauses | 6971 |
| Number of constraints which are cardinality constraints (but not clauses) | 101 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 101 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 102 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-4507454-1751187766.opb>
0.00/0.03 c original problem has 6868 variables (6868 bin, 0 int, 0 impl, 0 cont) and 7072 constraints
0.00/0.03 c problem read in 0.02
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.05 c presolving:
0.00/0.06 c (round 1, fast) 148 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1373 clqs
0.00/0.06 c (round 2, fast) 392 del vars, 155 del conss, 0 add conss, 66 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1360 clqs
0.00/0.06 c (round 3, fast) 506 del vars, 237 del conss, 0 add conss, 114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1365 clqs
0.00/0.07 c (round 4, fast) 570 del vars, 294 del conss, 0 add conss, 139 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1391 clqs
0.00/0.07 c (round 5, fast) 581 del vars, 303 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1406 clqs
0.00/0.08 c (0.1s) running MILP presolver
0.09/0.13 c (0.1s) MILP presolver (4 rounds): 0 aggregations, 101 fixings, 0 bound changes
0.09/0.13 c (round 6, medium) 684 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1407 clqs
0.09/0.14 c (round 7, fast) 684 del vars, 406 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1411 clqs
0.09/0.14 c (round 8, exhaustive) 684 del vars, 505 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1411 clqs
0.09/0.17 c (round 9, exhaustive) 684 del vars, 505 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 6567 upgd conss, 0 impls, 1411 clqs
0.09/0.20 c (round 10, exhaustive) 745 del vars, 505 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 6567 upgd conss, 0 impls, 1399 clqs
0.09/0.21 c (round 11, fast) 806 del vars, 566 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 6567 upgd conss, 0 impls, 1399 clqs
1.09/1.13 c (round 12, exhaustive) 833 del vars, 567 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 6567 upgd conss, 0 impls, 34663 clqs
1.09/1.13 c (round 13, fast) 833 del vars, 594 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 125 chg coeffs, 6567 upgd conss, 0 impls, 34681 clqs
1.68/1.79 c (round 14, exhaustive) 859 del vars, 594 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 125 chg coeffs, 6567 upgd conss, 0 impls, 41029 clqs
1.68/1.79 c (round 15, fast) 859 del vars, 620 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 177 chg coeffs, 6567 upgd conss, 0 impls, 41035 clqs
1.88/1.99 c (round 16, exhaustive) 885 del vars, 620 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 177 chg coeffs, 6567 upgd conss, 0 impls, 41038 clqs
1.88/1.99 c (round 17, fast) 886 del vars, 646 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 232 chg coeffs, 6567 upgd conss, 0 impls, 41041 clqs
2.38/2.48 c (round 18, exhaustive) 911 del vars, 646 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 232 chg coeffs, 6567 upgd conss, 0 impls, 41041 clqs
2.38/2.48 c (round 19, fast) 911 del vars, 671 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 274 chg coeffs, 6567 upgd conss, 0 impls, 41047 clqs
2.48/2.53 c (round 20, exhaustive) 936 del vars, 671 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 274 chg coeffs, 6567 upgd conss, 0 impls, 40995 clqs
2.48/2.53 c (round 21, fast) 936 del vars, 696 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 310 chg coeffs, 6567 upgd conss, 0 impls, 40998 clqs
2.48/2.59 c (round 22, exhaustive) 961 del vars, 696 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 310 chg coeffs, 6567 upgd conss, 0 impls, 40928 clqs
2.48/2.59 c (round 23, fast) 961 del vars, 721 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 334 chg coeffs, 6567 upgd conss, 0 impls, 40928 clqs
2.78/2.80 c (2.8s) probing: 1000/6344 (15.8%) - 156 fixings, 1 aggregations, 633457 implications, 0 bound changes
3.98/4.07 c (4.1s) probing: 2000/6344 (31.5%) - 160 fixings, 1 aggregations, 1207884 implications, 0 bound changes
4.98/5.08 c (5.1s) probing: 3000/6344 (47.3%) - 170 fixings, 1 aggregations, 1642212 implications, 0 bound changes
5.37/5.41 c (round 24, exhaustive) 986 del vars, 721 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 334 chg coeffs, 6567 upgd conss, 0 impls, 41048 clqs
5.37/5.41 c (round 25, fast) 986 del vars, 746 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 382 chg coeffs, 6567 upgd conss, 0 impls, 41056 clqs
5.37/5.46 c (round 26, exhaustive) 1011 del vars, 746 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 382 chg coeffs, 6567 upgd conss, 0 impls, 41098 clqs
5.37/5.46 c (round 27, fast) 1011 del vars, 771 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 422 chg coeffs, 6567 upgd conss, 0 impls, 41103 clqs
6.27/6.33 c (6.3s) probing: 4000/6344 (63.1%) - 213 fixings, 1 aggregations, 2048601 implications, 0 bound changes
7.17/7.22 c (7.2s) probing: 5000/6344 (78.8%) - 222 fixings, 1 aggregations, 2451457 implications, 0 bound changes
7.87/7.96 c (8.0s) probing: 5851/6344 (92.2%) - 222 fixings, 1 aggregations, 2782533 implications, 0 bound changes
7.87/7.96 c (8.0s) probing aborted: 1000/1000 successive useless probings
7.87/7.96 c (round 28, exhaustive) 1031 del vars, 771 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 422 chg coeffs, 6567 upgd conss, 0 impls, 41120 clqs
7.87/7.96 c (round 29, fast) 1031 del vars, 791 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 452 chg coeffs, 6567 upgd conss, 0 impls, 41120 clqs
7.97/8.09 c (8.1s) probing: 5951/6344 (93.8%) - 222 fixings, 1 aggregations, 2816605 implications, 0 bound changes
7.97/8.09 c (8.1s) probing aborted: 1000/1000 successive useless probings
7.97/8.10 c (8.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
8.07/8.13 c (8.1s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
8.07/8.13 c dynamic symmetry handling statistics:
8.07/8.13 c orbitopal reduction: no components
8.07/8.13 c orbital reduction: no components
8.07/8.13 c lexicographic reduction: 4 permutations with support sizes 190, 376, 190, 174
8.07/8.13 c handled 5 out of 5 symmetry components
8.07/8.13 c (round 30, exhaustive) 1037 del vars, 791 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 452 chg coeffs, 6567 upgd conss, 0 impls, 41135 clqs
8.07/8.13 c (round 31, fast) 1037 del vars, 797 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 464 chg coeffs, 6567 upgd conss, 0 impls, 41135 clqs
8.16/8.21 c (8.2s) probing: 6000/6344 (94.6%) - 222 fixings, 1 aggregations, 2831443 implications, 0 bound changes
8.16/8.25 c (8.2s) probing: 6051/6344 (95.4%) - 222 fixings, 1 aggregations, 2848330 implications, 0 bound changes
8.16/8.25 c (8.2s) probing aborted: 1000/1000 successive useless probings
8.16/8.26 c presolving (32 rounds: 32 fast, 15 medium, 14 exhaustive):
8.16/8.26 c 1037 deleted vars, 797 deleted constraints, 1 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 464 changed coefficients
8.16/8.26 c 0 implications, 41147 cliques
8.16/8.26 c presolved problem has 6114 variables (6114 bin, 0 int, 0 impl, 0 cont) and 6276 constraints
8.16/8.26 c 1330 constraints of type <setppc>
8.16/8.26 c 1 constraints of type <orbitope>
8.16/8.26 c 4945 constraints of type <logicor>
8.16/8.26 c transformed objective value is always integral (scale: 1)
8.16/8.26 c Presolving Time: 8.21
8.16/8.26 c - non default parameters ----------------------------------------------------------------------
8.16/8.26 c # SCIP version 10.0.0
8.16/8.26 c
8.16/8.26 c # maximal time in seconds to run
8.16/8.26 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
8.16/8.26 c limits/time = 3596.998008
8.16/8.26 c
8.16/8.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.16/8.26 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
8.16/8.26 c limits/memory = 27900
8.16/8.26 c
8.16/8.26 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
8.16/8.26 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
8.16/8.26 c limits/solutions = 1
8.16/8.26 c
8.16/8.26 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.
8.16/8.26 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
8.16/8.26 c misc/usesymmetry = 3
8.16/8.26 c
8.16/8.26 c # belongs reading time to solving time?
8.16/8.26 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
8.16/8.26 c timing/reading = TRUE
8.16/8.26 c
8.16/8.26 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
8.16/8.26 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
8.16/8.26 c propagating/symmetry/detectdoublelex = FALSE
8.16/8.26 c
8.16/8.26 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
8.16/8.26 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
8.16/8.26 c propagating/symmetry/detectsubgroups = FALSE
8.16/8.26 c
8.16/8.26 c # Type of symmetries that shall be computed?
8.16/8.26 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
8.16/8.26 c propagating/symmetry/symtype = 1
8.16/8.26 c
8.16/8.26 c # Should components consisting of a single full reflection be handled?
8.16/8.26 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
8.16/8.26 c propagating/symmetry/usesimplesgncomp = FALSE
8.16/8.26 c
8.16/8.26 c -----------------------------------------------------------------------------------------------
8.16/8.26 c start solving
8.16/8.26 c
12.35/12.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.35/12.40 c 12.4s| 1 | 0 | 10975 | - | 93M | 0 |6114 |6441 |6275 | 0 | 0 | 165 | 0 | 0.000000e+00 | -- | Inf | unknown
54.25/54.46 c 54.5s| 1 | 0 | 66951 | - | 105M | 0 |6114 |6641 |6279 | 4 | 1 | 166 | 0 | 0.000000e+00 | -- | Inf | unknown
56.24/56.43 c 56.4s| 1 | 0 | 70153 | - | 110M | 0 |6114 |6650 |6287 | 12 | 2 | 175 | 0 | 0.000000e+00 | -- | Inf | unknown
58.94/59.13 c 59.1s| 1 | 0 | 74777 | - | 113M | 0 |6114 |6655 |6291 | 16 | 3 | 180 | 0 | 0.000000e+00 | -- | Inf | unknown
62.03/62.27 c 62.3s| 1 | 0 | 80186 | - | 114M | 0 |6114 |6653 |6296 | 21 | 4 | 182 | 0 | 0.000000e+00 | -- | Inf | unknown
65.82/66.06 c 66.1s| 1 | 0 | 86984 | - | 114M | 0 |6114 |6647 |6307 | 32 | 5 | 183 | 0 | 0.000000e+00 | -- | Inf | unknown
69.81/70.02 c 70.0s| 1 | 0 | 93906 | - | 115M | 0 |6114 |6636 |6317 | 42 | 6 | 185 | 0 | 0.000000e+00 | -- | Inf | unknown
74.20/74.41 c 74.4s| 1 | 0 |101502 | - | 117M | 0 |6114 |6635 |6330 | 55 | 7 | 186 | 0 | 0.000000e+00 | -- | Inf | unknown
79.59/79.86 c 79.9s| 1 | 0 |111248 | - | 117M | 0 |6114 |6633 |6344 | 69 | 8 | 191 | 0 | 0.000000e+00 | -- | Inf | unknown
83.88/84.19 c 84.2s| 1 | 0 |118298 | - | 121M | 0 |6114 |6638 |6353 | 78 | 9 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown
90.56/90.81 c 90.8s| 1 | 0 |128858 | - | 122M | 0 |6114 |6642 |6366 | 91 | 10 | 204 | 0 | 0.000000e+00 | -- | Inf | unknown
96.94/97.22 c 97.2s| 1 | 0 |138994 | - | 123M | 0 |6114 |6636 |6376 | 101 | 11 | 209 | 0 | 0.000000e+00 | -- | Inf | unknown
137.55/138.00 c 138s| 1 | 2 |201274 | - | 123M | 0 |6114 |6618 |6376 | 101 | 11 | 214 | 10 | 0.000000e+00 | -- | Inf | unknown
497.67/498.96 c 499s| 100 | 79 |913934 |7827.7 | 141M | 27 |6114 |6855 |6322 | 125 | 1 | 586 | 10 | 0.000000e+00 | -- | Inf | unknown
739.69/741.56 c 742s| 200 | 140 | 1475k|6718.0 | 150M | 32 |6114 |6781 |6337 | 224 | 1 | 711 | 10 | 0.000000e+00 | -- | Inf | 0.83%
924.25/926.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
924.25/926.56 c 927s| 300 | 182 | 1939k|6021.8 | 170M | 32 |6114 |6837 |6337 | 335 | 1 | 831 | 10 | 0.000000e+00 | -- | Inf | 1.76%
987.90/990.34 c 990s| 400 | 196 | 2106k|4930.9 | 172M | 32 |6114 |6827 |6344 | 365 | 0 | 844 | 10 | 0.000000e+00 | -- | Inf | 1.77%
1046.76/1049.37 c 1049s| 500 | 210 | 2252k|4234.5 | 174M | 32 |6114 |6854 |6340 | 399 | 1 | 966 | 10 | 0.000000e+00 | -- | Inf | 1.77%
1058.33/1060.93 c 1061s| 600 | 206 | 2295k|3600.3 | 176M | 35 |6114 |6878 |6341 | 412 | 0 |1027 | 10 | 0.000000e+00 | -- | Inf | 1.77%
1069.90/1072.54 c 1073s| 700 | 212 | 2339k|3147.6 | 177M | 38 |6114 |7000 |6340 | 441 | 0 |1235 | 10 | 0.000000e+00 | -- | Inf | 1.77%
1085.17/1087.88 c 1088s| 800 | 208 | 2394k|2822.6 | 179M | 40 |6114 |7062 |6341 | 476 | 0 |1336 | 10 | 0.000000e+00 | -- | Inf | 1.77%
1096.64/1099.35 c 1099s| 900 | 211 | 2436k|2555.9 | 180M | 40 |6114 |7033 |6340 | 492 | 0 |1359 | 10 | 0.000000e+00 | -- | Inf | 1.77%
1106.12/1108.85 c 1109s| 1000 | 213 | 2472k|2336.1 | 182M | 40 |6114 |7052 |6343 | 513 | 1 |1404 | 10 | 0.000000e+00 | -- | Inf | 1.77%
1122.98/1125.75 c 1126s| 1100 | 211 | 2531k|2177.3 | 187M | 40 |6114 |7075 |6351 | 578 | 0 |1456 | 10 | 0.000000e+00 | -- | Inf | 1.77%
1139.64/1142.42 c 1142s| 1200 | 211 | 2592k|2046.1 | 189M | 40 |6114 |7046 |6349 | 620 | 1 |1479 | 10 | 0.000000e+00 | -- | Inf | 1.77%
1151.41/1154.26 c 1154s| 1300 | 211 | 2635k|1922.1 | 189M | 40 |6114 |7078 |6341 | 660 | 1 |1560 | 10 | 0.000000e+00 | -- | Inf | 1.77%
1165.87/1168.77 c 1169s| 1400 | 207 | 2688k|1822.3 | 192M | 40 |6114 |7033 |6332 | 719 | 1 |1582 | 10 | 0.000000e+00 | -- | Inf | 1.80%
1189.61/1192.50 c 1192s| 1500 | 205 | 2767k|1753.6 | 192M | 40 |6114 |7003 |6339 | 787 | 1 |1635 | 10 | 0.000000e+00 | -- | Inf | 1.86%
1207.27/1210.29 c 1210s| 1600 | 201 | 2827k|1681.2 | 192M | 40 |6114 |7008 |6349 | 842 | 0 |1695 | 10 | 0.000000e+00 | -- | Inf | 1.96%
1256.86/1259.94 c 1260s| 1700 | 217 | 2977k|1670.5 | 193M | 40 |6114 |6975 |6337 | 914 | 0 |1819 | 10 | 0.000000e+00 | -- | Inf | 1.96%
1279.20/1282.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1279.20/1282.31 c 1282s| 1800 | 217 | 3050k|1618.3 | 197M | 40 |6114 |7010 |6347 |1004 | 0 |1904 | 10 | 0.000000e+00 | -- | Inf | 1.96%
1299.65/1302.87 c 1303s| 1900 | 219 | 3118k|1569.1 | 197M | 40 |6114 |7031 |6354 |1060 | 1 |1950 | 10 | 0.000000e+00 | -- | Inf | 1.96%
1310.13/1313.35 c 1313s| 2000 | 217 | 3158k|1510.5 | 198M | 40 |6114 |7049 |6348 |1094 | 0 |1979 | 10 | 0.000000e+00 | -- | Inf | 1.96%
1329.28/1332.57 c 1333s| 2100 | 219 | 3225k|1470.4 | 201M | 40 |6114 |7043 |6350 |1141 | 0 |1998 | 10 | 0.000000e+00 | -- | Inf | 1.96%
1346.64/1349.98 c 1350s| 2200 | 215 | 3285k|1430.9 | 203M | 40 |6114 |7059 |6352 |1159 | 0 |2022 | 10 | 0.000000e+00 | -- | Inf | 1.96%
1369.69/1373.03 c 1373s| 2300 | 211 | 3365k|1403.4 | 204M | 40 |6114 |6986 |6351 |1278 | 0 |2029 | 10 | 0.000000e+00 | -- | Inf | 1.99%
1373.97/1377.36 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1374.27/1377.63 c (run 1, node 2320) performing user restart
1374.27/1377.63 c
1374.27/1377.64 c (restart) converted 58 cuts from the global cut pool into linear constraints
1374.27/1377.64 c
1374.27/1377.66 c presolving:
1374.27/1377.67 c (round 1, fast) 3 del vars, 29 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 0 impls, 41144 clqs
1374.27/1377.69 c (round 2, exhaustive) 3 del vars, 33 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 28 chg coeffs, 0 upgd conss, 0 impls, 41144 clqs
1374.37/1377.70 c (round 3, exhaustive) 3 del vars, 33 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 28 chg coeffs, 251 upgd conss, 0 impls, 41144 clqs
1374.37/1377.71 c (round 4, medium) 3 del vars, 41 del conss, 15 add conss, 0 chg bounds, 37 chg sides, 91 chg coeffs, 251 upgd conss, 0 impls, 41144 clqs
1374.37/1377.73 c (round 5, exhaustive) 3 del vars, 67 del conss, 16 add conss, 0 chg bounds, 37 chg sides, 116 chg coeffs, 251 upgd conss, 0 impls, 41144 clqs
1374.57/1377.98 c (round 6, exhaustive) 3 del vars, 102 del conss, 17 add conss, 0 chg bounds, 37 chg sides, 2529 chg coeffs, 251 upgd conss, 0 impls, 41144 clqs
1374.77/1378.18 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
1374.77/1378.18 c 3 deleted vars, 102 deleted constraints, 17 added constraints, 0 tightened bounds, 0 added holes, 37 changed sides, 2588 changed coefficients
1374.77/1378.18 c 0 implications, 41144 cliques
1374.77/1378.18 c presolved problem has 6111 variables (6111 bin, 0 int, 0 impl, 0 cont) and 6964 constraints
1374.77/1378.18 c 31 constraints of type <knapsack>
1374.77/1378.18 c 1495 constraints of type <setppc>
1374.77/1378.18 c 7 constraints of type <linear>
1374.77/1378.18 c 1 constraints of type <orbitope>
1374.77/1378.18 c 5430 constraints of type <logicor>
1374.77/1378.18 c transformed objective value is always integral (scale: 1)
1374.77/1378.18 c Presolving Time: 8.74
1374.77/1378.19 c
1379.06/1382.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1379.06/1382.40 c 1382s| 1 | 0 | 3392k| - | 208M | 0 |6111 |6920 |6316 | 0 | 0 |2050 | 10 | 0.000000e+00 | -- | Inf | unknown
1384.44/1387.80 c 1388s| 1 | 0 | 3402k| - | 209M | 0 |6111 |6871 |6329 | 13 | 1 |2055 | 10 | 0.000000e+00 | -- | Inf | unknown
1388.33/1391.74 c 1392s| 1 | 0 | 3409k| - | 211M | 0 |6111 |6869 |6339 | 23 | 2 |2064 | 10 | 0.000000e+00 | -- | Inf | unknown
1394.62/1398.04 c 1398s| 1 | 0 | 3420k| - | 212M | 0 |6111 |6871 |6357 | 41 | 3 |2070 | 10 | 0.000000e+00 | -- | Inf | unknown
1398.71/1402.13 c 1402s| 1 | 0 | 3427k| - | 213M | 0 |6111 |6873 |6367 | 51 | 4 |2080 | 10 | 0.000000e+00 | -- | Inf | unknown
1401.70/1405.12 c 1405s| 1 | 0 | 3431k| - | 213M | 0 |6111 |6867 |6375 | 59 | 5 |2087 | 10 | 0.000000e+00 | -- | Inf | unknown
1405.69/1409.13 c 1409s| 1 | 0 | 3438k| - | 214M | 0 |6111 |6860 |6384 | 68 | 6 |2090 | 10 | 0.000000e+00 | -- | Inf | unknown
1413.07/1416.55 c 1417s| 1 | 0 | 3450k| - | 216M | 0 |6111 |6856 |6395 | 79 | 7 |2091 | 10 | 0.000000e+00 | -- | Inf | unknown
1419.66/1423.12 c 1423s| 1 | 0 | 3460k| - | 216M | 0 |6111 |6861 |6409 | 93 | 8 |2101 | 10 | 0.000000e+00 | -- | Inf | unknown
1426.34/1429.84 c 1430s| 1 | 0 | 3470k| - | 217M | 0 |6111 |6852 |6424 | 108 | 9 |2102 | 10 | 0.000000e+00 | -- | Inf | unknown
1430.03/1433.58 c 1434s| 1 | 0 | 3475k| - | 217M | 0 |6111 |6847 |6393 | 118 | 10 |2103 | 10 | 0.000000e+00 | -- | Inf | unknown
1434.53/1438.02 c 1438s| 1 | 0 | 3483k| - | 218M | 0 |6111 |6848 |6403 | 128 | 11 |2108 | 10 | 0.000000e+00 | -- | Inf | unknown
1466.94/1470.50 c 1470s| 1 | 2 | 3528k| - | 219M | 0 |6111 |6828 |6403 | 128 | 11 |2122 | 21 | 0.000000e+00 | -- | Inf | unknown
1593.84/1597.72 c 1598s| 100 | 27 | 3828k|1482.7 | 220M | 20 |6111 |6849 |6333 | 164 | 1 |2184 | 21 | 0.000000e+00 | -- | Inf | unknown
1632.45/1636.46 c 1636s| 200 | 29 | 3932k|1465.2 | 221M | 32 |6111 |6873 |6337 | 192 | 1 |2222 | 21 | 0.000000e+00 | -- | Inf | unknown
1657.79/1661.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1657.79/1661.81 c 1662s| 300 | 27 | 4010k|1439.1 | 227M | 40 |6111 |6897 |6342 | 220 | 0 |2287 | 21 | 0.000000e+00 | -- | Inf | unknown
1696.40/1700.50 c 1700s| 400 | 38 | 4116k|1425.2 | 229M | 40 |6111 |6938 |6345 | 253 | 1 |2424 | 21 | 0.000000e+00 | -- | Inf | unknown
1743.89/1748.15 c 1748s| 500 | 42 | 4246k|1420.6 | 232M | 40 |6111 |6989 |6344 | 312 | 0 |2504 | 21 | 0.000000e+00 | -- | Inf | unknown
1770.82/1775.19 c 1775s| 600 | 40 | 4324k|1398.9 | 236M | 54 |6111 |7025 |6348 | 383 | 0 |2601 | 21 | 0.000000e+00 | -- | Inf | unknown
1803.73/1808.14 c 1808s| 700 | 40 | 4422k|1385.0 | 238M | 54 |6111 |7025 |6347 | 448 | 1 |2680 | 21 | 0.000000e+00 | -- | Inf | unknown
1834.85/1839.30 c 1839s| 800 | 38 | 4514k|1370.0 | 239M | 54 |6111 |7075 |6366 | 534 | 2 |2786 | 21 | 0.000000e+00 | -- | Inf | unknown
1865.09/1869.69 c 1870s| 900 | 46 | 4606k|1356.2 | 240M | 54 |6111 |7159 |6332 | 548 | 0 |2906 | 21 | 0.000000e+00 | -- | Inf | unknown
1890.43/1895.04 c 1895s| 1000 | 49 | 4693k|1341.4 | 241M | 54 |6111 |7142 |6333 | 559 | 1 |2979 | 21 | 0.000000e+00 | -- | Inf | unknown
1919.66/1924.31 c 1924s| 1100 | 45 | 4793k|1331.3 | 242M | 54 |6111 |7137 |6335 | 594 | 0 |3001 | 21 | 0.000000e+00 | -- | Inf | unknown
1952.48/1957.29 c 1957s| 1200 | 43 | 4903k|1324.9 | 243M | 54 |6111 |7161 |6344 | 634 | 0 |3051 | 21 | 0.000000e+00 | -- | Inf | unknown
1984.40/1989.27 c 1989s| 1300 | 43 | 5012k|1318.4 | 243M | 54 |6111 |7155 |6344 | 680 | 0 |3075 | 21 | 0.000000e+00 | -- | Inf | unknown
2014.23/2019.11 c 2019s| 1400 | 45 | 5112k|1309.9 | 243M | 54 |6111 |7164 |6348 | 765 | 1 |3087 | 21 | 0.000000e+00 | -- | Inf | unknown
2041.56/2046.52 c 2047s| 1500 | 45 | 5202k|1299.1 | 244M | 54 |6111 |7186 |6345 | 823 | 0 |3119 | 21 | 0.000000e+00 | -- | Inf | unknown
2076.98/2082.01 c 2082s| 1600 | 43 | 5316k|1295.1 | 245M | 54 |6111 |7196 |6349 | 907 | 0 |3139 | 21 | 0.000000e+00 | -- | Inf | unknown
2113.39/2118.56 c 2119s| 1700 | 43 | 5434k|1292.1 | 246M | 54 |6111 |7210 |6340 | 985 | 1 |3164 | 21 | 0.000000e+00 | -- | Inf | unknown
2153.29/2158.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2153.29/2158.59 c 2159s| 1800 | 44 | 5559k|1291.2 | 247M | 54 |6111 |7207 |6344 |1082 | 1 |3235 | 21 | 0.000000e+00 | -- | Inf | unknown
2187.39/2192.72 c 2193s| 1900 | 46 | 5669k|1286.5 | 248M | 54 |6111 |7210 |6357 |1138 | 0 |3255 | 21 | 0.000000e+00 | -- | Inf | unknown
2219.50/2224.94 c 2225s| 2000 | 50 | 5768k|1279.7 | 254M | 54 |6111 |7243 |6363 |1200 | 1 |3297 | 21 | 0.000000e+00 | -- | Inf | unknown
2255.29/2260.87 c 2261s| 2100 | 48 | 5881k|1276.4 | 257M | 54 |6111 |7256 |6358 |1290 | 0 |3322 | 21 | 0.000000e+00 | -- | Inf | unknown
2288.79/2294.42 c 2294s| 2200 | 46 | 5986k|1271.2 | 260M | 55 |6111 |7287 |6354 |1354 | 1 |3390 | 21 | 0.000000e+00 | -- | Inf | unknown
2328.68/2334.49 c 2334s| 2300 | 46 | 6110k|1270.6 | 261M | 55 |6111 |7279 |6349 |1400 | 1 |3431 | 21 | 0.000000e+00 | -- | Inf | unknown
2357.60/2363.47 c 2363s| 2400 | 42 | 6203k|1263.3 | 262M | 55 |6111 |7292 |6347 |1439 | 0 |3480 | 21 | 0.000000e+00 | -- | Inf | unknown
2396.78/2402.78 c 2403s| 2500 | 41 | 6327k|1263.0 | 263M | 55 |6111 |7257 |6348 |1529 | 1 |3515 | 21 | 0.000000e+00 | -- | Inf | unknown
2433.38/2439.46 c 2439s| 2600 | 44 | 6445k|1261.2 | 263M | 55 |6111 |7141 |6345 |1582 | 0 |3569 | 21 | 0.000000e+00 | -- | Inf | unknown
2461.90/2468.05 c 2468s| 2700 | 42 | 6538k|1254.6 | 264M | 55 |6111 |7142 |6343 |1630 | 1 |3614 | 21 | 0.000000e+00 | -- | Inf | unknown
2485.33/2491.55 c 2492s| 2800 | 44 | 6610k|1244.1 | 264M | 55 |6111 |7087 |6337 |1639 | 1 |3639 | 21 | 0.000000e+00 | -- | Inf | unknown
2514.75/2521.09 c 2521s| 2900 | 43 | 6701k|1237.7 | 264M | 55 |6111 |7085 |6338 |1648 | 1 |3660 | 21 | 0.000000e+00 | -- | Inf | unknown
2539.48/2545.88 c 2546s| 3000 | 41 | 6777k|1228.9 | 264M | 55 |6111 |7096 | 0 |1669 | 0 |3680 | 21 | 0.000000e+00 | -- | Inf | unknown
2563.02/2569.42 c 2569s| 3100 | 41 | 6846k|1219.0 | 264M | 55 |6111 |7105 |6345 |1716 | 0 |3729 | 21 | 0.000000e+00 | -- | Inf | unknown
2597.24/2603.73 c 2604s| 3200 | 39 | 6951k|1215.7 | 264M | 55 |6111 |7100 |6352 |1780 | 0 |3733 | 21 | 0.000000e+00 | -- | Inf | unknown
2625.37/2631.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2625.37/2631.99 c 2632s| 3300 | 43 | 7044k|1210.7 | 265M | 55 |6111 |7110 |6351 |1812 | 1 |3750 | 21 | 0.000000e+00 | -- | Inf | unknown
2653.90/2660.52 c 2661s| 3400 | 41 | 7133k|1205.1 | 265M | 55 |6111 |7110 |6348 |1867 | 0 |3766 | 21 | 0.000000e+00 | -- | Inf | unknown
2690.21/2696.94 c 2697s| 3500 | 43 | 7240k|1202.7 | 265M | 55 |6111 |7098 |6348 |1950 | 1 |3771 | 21 | 0.000000e+00 | -- | Inf | unknown
2721.74/2728.50 c 2728s| 3600 | 41 | 7332k|1198.0 | 266M | 55 |6111 |7087 |6358 |2008 | 1 |3775 | 21 | 0.000000e+00 | -- | Inf | unknown
2757.75/2764.69 c 2765s| 3700 | 41 | 7439k|1196.0 | 266M | 55 |6111 |7080 |6351 |2062 | 1 |3783 | 21 | 0.000000e+00 | -- | Inf | unknown
2796.36/2803.38 c 2803s| 3800 | 39 | 7556k|1195.4 | 266M | 55 |6111 |7066 |6345 |2142 | 0 |3785 | 21 | 0.000000e+00 | -- | Inf | unknown
2826.58/2833.61 c 2834s| 3900 | 41 | 7647k|1190.8 | 266M | 55 |6111 |7064 |6342 |2195 | 1 |3790 | 21 | 0.000000e+00 | -- | Inf | unknown
2854.71/2861.87 c 2862s| 4000 | 39 | 7732k|1185.5 | 266M | 55 |6111 |7064 |6345 |2248 | 0 |3795 | 21 | 0.000000e+00 | -- | Inf | unknown
2884.85/2892.01 c 2892s| 4100 | 37 | 7822k|1181.1 | 266M | 55 |6111 |7061 |6355 |2308 | 2 |3797 | 21 | 0.000000e+00 | -- | Inf | unknown
2911.18/2918.42 c 2918s| 4200 | 39 | 7903k|1175.3 | 266M | 55 |6111 |7057 |6348 |2340 | 0 |3801 | 21 | 0.000000e+00 | -- | Inf | unknown
2939.51/2946.88 c 2947s| 4300 | 41 | 7988k|1170.4 | 266M | 55 |6111 |7058 |6348 |2409 | 1 |3803 | 21 | 0.000000e+00 | -- | Inf | unknown
2970.23/2977.67 c 2978s| 4400 | 41 | 8079k|1166.6 | 266M | 55 |6111 |7056 |6347 |2444 | 1 |3803 | 21 | 0.000000e+00 | -- | Inf | unknown
2999.46/3006.90 c 3007s| 4500 | 37 | 8167k|1162.3 | 266M | 55 |6111 |7053 |6350 |2482 | 0 |3803 | 21 | 0.000000e+00 | -- | Inf | unknown
3032.38/3039.99 c 3040s| 4600 | 39 | 8265k|1159.7 | 266M | 55 |6111 |7052 |6347 |2563 | 1 |3803 | 21 | 0.000000e+00 | -- | Inf | unknown
3060.81/3068.45 c 3068s| 4700 | 41 | 8349k|1155.2 | 266M | 55 |6111 |7051 |6347 |2605 | 1 |3803 | 21 | 0.000000e+00 | -- | Inf | unknown
3092.23/3099.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3092.23/3099.98 c 3100s| 4800 | 37 | 8441k|1151.9 | 267M | 55 |6111 |7055 |6357 |2676 | 0 |3807 | 21 | 0.000000e+00 | -- | Inf | unknown
3128.85/3136.60 c 3137s| 4900 | 41 | 8548k|1150.8 | 267M | 55 |6111 |7054 |6355 |2755 | 1 |3807 | 21 | 0.000000e+00 | -- | Inf | unknown
3168.05/3175.91 c 3176s| 5000 | 39 | 8662k|1150.5 | 267M | 55 |6111 |7049 |6354 |2859 | 1 |3807 | 21 | 0.000000e+00 | -- | Inf | unknown
3202.37/3210.30 c 3210s| 5100 | 39 | 8759k|1148.1 | 267M | 55 |6111 |7052 |6359 |2920 | 0 |3810 | 21 | 0.000000e+00 | -- | Inf | unknown
3245.98/3254.09 c 3254s| 5200 | 37 | 8884k|1149.4 | 268M | 55 |6111 |7049 |6353 |3016 | 0 |3811 | 21 | 0.000000e+00 | -- | Inf | unknown
3295.15/3303.36 c 3303s| 5300 | 39 | 9024k|1152.8 | 271M | 55 |6111 |7048 |6363 |3098 | 1 |3811 | 21 | 0.000000e+00 | -- | Inf | unknown
3342.24/3350.56 c 3351s| 5400 | 41 | 9158k|1155.2 | 272M | 55 |6111 |7047 |6374 |3178 | 1 |3811 | 21 | 0.000000e+00 | -- | Inf | unknown
3373.36/3381.72 c 3382s| 5500 | 41 | 9244k|1151.4 | 274M | 55 |6111 |7061 |6362 |3229 | 1 |3827 | 21 | 0.000000e+00 | -- | Inf | unknown
3417.66/3426.18 c 3426s| 5600 | 39 | 9368k|1152.6 | 277M | 55 |6111 |7068 |6361 |3355 | 0 |3835 | 21 | 0.000000e+00 | -- | Inf | unknown
3460.64/3469.23 c 3469s| 5700 | 39 | 9486k|1152.9 | 281M | 55 |6111 |7069 |6374 |3449 | 2 |3836 | 21 | 0.000000e+00 | -- | Inf | unknown
3494.76/3503.48 c 3503s| 5800 | 39 | 9583k|1150.7 | 281M | 55 |6111 |7070 |6355 |3502 | 1 |3839 | 21 | 0.000000e+00 | -- | Inf | unknown
3535.87/3544.61 c 3545s| 5900 | 37 | 9697k|1150.5 | 282M | 55 |6111 |7067 |6371 |3579 | 0 |3839 | 21 | 0.000000e+00 | -- | Inf | unknown
3577.17/3586.10 c 3586s| 6000 | 37 | 9817k|1151.1 | 283M | 55 |6111 |7068 |6357 |3624 | 1 |3840 | 21 | 0.000000e+00 | -- | Inf | unknown
3588.14/3597.00 c
3588.14/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.14/3597.00 c Solving Time (sec) : 3597.00
3588.14/3597.00 c Solving Nodes : 6036 (total of 8356 nodes in 2 runs)
3588.14/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3588.14/3597.00 c Dual Bound : +0.00000000000000e+00
3588.14/3597.00 c Gap : infinite
3588.14/3597.00 s UNKNOWN
3588.14/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.14/3597.00 c Total Time : 3597.00
3588.14/3597.00 c solving : 3597.00
3588.14/3597.00 c presolving : 8.74 (included in solving)
3588.14/3597.00 c reading : 0.02 (included in solving)
3588.14/3597.00 c copying : 1.70 (105 #copies) (minimal 0.01, maximal 0.02, average 0.02)
3588.14/3597.00 c Original Problem :
3588.14/3597.00 c Problem name : HOME/instance-4507454-1751187766.opb
3588.14/3597.00 c Variables : 6868 (6868 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.14/3597.00 c Constraints : 7072 initial, 7072 maximal
3588.14/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.14/3597.00 c Presolved Problem :
3588.14/3597.00 c Problem name : t_HOME/instance-4507454-1751187766.opb
3588.14/3597.00 c Variables : 6111 (6111 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.14/3597.00 c Constraints : 6964 initial, 7300 maximal
3588.14/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.14/3597.00 c Nonzeros : 103247 constraint, 88332 clique table
3588.14/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.14/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c domcol : 0.11 0.00 12 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c gateextraction : 0.05 0.00 17 0 0 0 0 0 5 1 0 0
3588.14/3597.00 c implics : 0.00 0.00 21 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c milp : 0.06 0.00 1 101 0 0 0 0 0 0 0 0
3588.14/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c sparsify : 1.03 0.00 3 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c trivial : 0.00 0.00 39 286 0 0 0 0 0 0 0 0
3588.14/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c dualfix : 0.00 0.00 39 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c probing : 6.46 0.00 11 222 1 0 0 0 0 0 0 0
3588.14/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c symmetry : 0.03 0.00 1 6 0 0 0 0 0 1 0 0
3588.14/3597.00 c vbounds : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c knapsack : 0.01 0.00 18 0 0 0 0 0 0 15 33 115
3588.14/3597.00 c setppc : 0.05 0.00 65 0 0 0 0 0 120 0 0 0
3588.14/3597.00 c and : 0.00 0.00 2 0 0 0 0 0 1 1 0 0
3588.14/3597.00 c linear : 0.06 0.00 22 141 0 0 141 0 509 0 4 0
3588.14/3597.00 c orbitope : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c logicor : 0.79 0.01 62 61 0 0 0 0 264 0 0 2937
3588.14/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c root node : - - - 3 - - 3 - - - - -
3588.14/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.14/3597.00 c benderslp : 0 0 0 0 4309 0 0 428 0 0 0 0 0 0 0
3588.14/3597.00 c integral : 0 0 0 0 4309 0 0 428 0 0 0 0 0 0 8618
3588.14/3597.00 c knapsack : 31+ 33 11 55386 0 0 0 0 20050 1 25644 6 2 0 0
3588.14/3597.00 c setppc : 1495+ 1577 22 210923 0 0 0 423 779691 265 297933 0 0 0 0
3588.14/3597.00 c linear : 7+ 20 11 70502 0 0 0 3 437 12 1553 1 1 0 0
3588.14/3597.00 c orbitope : 1 1 0 78106 0 0 0 0 7920 18 5740 0 0 0 0
3588.14/3597.00 c logicor : 5430+ 5698 22 144965 0 0 0 0 1563773 500 480758 78 41 0 0
3588.14/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.14/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.14/3597.00 c integral : 13.02 0.00 0.00 0.00 13.02 0.00 0.00 0.00 0.00 0.00
3588.14/3597.00 c knapsack : 0.32 0.00 0.09 0.22 0.00 0.00 0.00 0.00 0.01 0.00
3588.14/3597.00 c setppc : 1.77 0.00 0.00 1.57 0.00 0.00 0.00 0.00 0.17 0.03
3588.14/3597.00 c linear : 0.11 0.00 0.00 0.08 0.00 0.00 0.00 0.00 0.00 0.01
3588.14/3597.00 c orbitope : 0.18 0.00 0.00 0.17 0.00 0.00 0.00 0.00 0.00 0.00
3588.14/3597.00 c logicor : 3.87 0.01 0.02 3.23 0.00 0.00 0.00 0.00 0.59 0.01
3588.14/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.14/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.14/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.14/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.14/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.14/3597.00 c dualfix : 2 0 0 0
3588.14/3597.00 c genvbounds : 0 0 0 0
3588.14/3597.00 c nlobbt : 0 0 0 0
3588.14/3597.00 c obbt : 0 0 0 0
3588.14/3597.00 c probing : 0 0 0 0
3588.14/3597.00 c pseudoobj : 0 0 0 0
3588.14/3597.00 c redcost : 0 0 0 0
3588.14/3597.00 c rootredcost : 0 0 0 0
3588.14/3597.00 c symmetry : 30073 0 0 11
3588.14/3597.00 c vbounds : 48979 0 0 0
3588.14/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.14/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3588.14/3597.00 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3588.14/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.14/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.14/3597.00 c probing : 6.46 0.00 6.46 0.00 0.00 0.00
3588.14/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3588.14/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3588.14/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3588.14/3597.00 c symmetry : 0.11 0.00 0.03 0.08 0.00 0.00
3588.14/3597.00 c vbounds : 0.44 0.00 0.01 0.43 0.00 0.00
3588.14/3597.00 c Symmetry :
3588.14/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3588.14/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3588.14/3597.00 c lexicographic red: 11 reductions applied, 0 cutoffs
3588.14/3597.00 c shadow tree time : 0.02 s
3588.14/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3588.14/3597.00 c propagation : 0.29 774 626 - 4193 139.5 78 36.6 - - -
3588.14/3597.00 c infeasible LP : 10.37 3756 606 - 13798 1347.4 31 10.4 39 453.7 0
3588.14/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.14/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.14/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.14/3597.00 c applied globally : 0.18 - - 0 3799 219.3 - - 39 - -
3588.14/3597.00 c applied locally : - - - 0 2 1577.5 - - 0 - -
3588.14/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.14/3597.00 c cut pool : 0.47 - 1243 42 - - 4673 60784 - - - - - (maximal pool size: 1649)
3588.14/3597.00 c aggregation : 0.27 0.00 241 22 0 0 2 1 1 0 0 0 0
3588.14/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3588.14/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3588.14/3597.00 c > knapsackcover : - - - - - - - 1 1 0 0 0 -
3588.14/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c clique : 0.87 0.00 22 22 0 0 185 931 0 171 171 0 0
3588.14/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c gomory : 21.98 0.00 239 20 0 0 5235 58114 1042 3323 3294 29 0
3588.14/3597.00 c > gomorymi : - - - - - - - 24666 538 1698 1677 21 -
3588.14/3597.00 c > strongcg : - - - - - - - 33448 504 1625 1617 8 -
3588.14/3597.00 c impliedbounds : 0.32 0.00 241 22 0 0 112 583 0 316 316 0 0
3588.14/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c multilinear : 0.00 0.00 58 22 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c rapidlearning : 34.62 0.00 100 2 0 34511 0 0 0 0 0 0 487
3588.14/3597.00 c rlt : 0.00 0.00 176 20 0 0 0 0 0 0 0 0 0
3588.14/3597.00 c zerohalf : 8.87 0.00 241 22 0 0 694 1155 512 1081 636 445 0
3588.14/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.14/3597.00 c hybrid : 0.11 0.00 900 22 4954 0 57197 229 0 390
3588.14/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.14/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.14/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3588.14/3597.00 c problem variables: 0.00 - 0 0
3588.14/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.14/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.14/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.14/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.14/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.14/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.14/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.14/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.14/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.14/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.14/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.14/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.14/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.14/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.14/3597.00 c relpscost : 13.01 0.00 4309 0 0 0 0 0 0 8618
3588.14/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.14/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.14/3597.00 c LP solutions : 0.00 - - 0 0
3588.14/3597.00 c relax solutions : 0.00 - - 0 0
3588.14/3597.00 c pseudo solutions : 0.00 - - 0 0
3588.14/3597.00 c strong branching : 0.00 - - 0 0
3588.14/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3588.14/3597.00 c adaptivediving : 34.72 0.00 5 0 0
3588.14/3597.00 c alns : 5.03 0.00 3 0 0
3588.14/3597.00 c bound : 0.00 0.00 0 0 0
3588.14/3597.00 c clique : 0.03 0.00 1 0 0
3588.14/3597.00 c coefdiving : 0.00 0.00 0 0 0
3588.14/3597.00 c completesol : 0.00 0.00 0 0 0
3588.14/3597.00 c conflictdiving : 113.83 0.00 13 0 0
3588.14/3597.00 c crossover : 0.00 0.00 0 0 0
3588.14/3597.00 c dins : 0.00 0.00 0 0 0
3588.14/3597.00 c distributiondivin: 22.33 0.00 9 0 0
3588.14/3597.00 c dps : 0.00 0.00 0 0 0
3588.14/3597.00 c dualval : 0.00 0.00 0 0 0
3588.14/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3588.14/3597.00 c feasjump : 0.05 0.00 2 0 0
3588.14/3597.00 c feaspump : 42.95 0.00 5 0 0
3588.14/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3588.14/3597.00 c fracdiving : 19.26 0.00 10 0 0
3588.14/3597.00 c gins : 0.00 0.00 0 0 0
3588.14/3597.00 c guideddiving : 0.00 0.00 0 0 0
3588.14/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3588.14/3597.00 c indicator : 0.00 0.00 0 0 0
3588.14/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3588.14/3597.00 c indoneopt : 0.00 0.00 0 0 0
3588.14/3597.00 c indrounding : 0.00 0.00 0 0 0
3588.14/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3588.14/3597.00 c intdiving : 0.00 0.00 0 0 0
3588.14/3597.00 c intshifting : 0.00 0.00 0 0 0
3588.14/3597.00 c linesearchdiving : 48.81 0.00 11 0 0
3588.14/3597.00 c localbranching : 0.00 0.00 0 0 0
3588.14/3597.00 c locks : 0.02 0.00 1 0 0
3588.14/3597.00 c lpface : 0.05 0.00 0 0 0
3588.14/3597.00 c mpec : 0.00 0.00 0 0 0
3588.14/3597.00 c multistart : 0.00 0.00 0 0 0
3588.14/3597.00 c mutation : 0.00 0.00 0 0 0
3588.14/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3588.14/3597.00 c objpscostdiving : 97.03 0.00 4 0 0
3588.14/3597.00 c octane : 0.00 0.00 0 0 0
3588.14/3597.00 c ofins : 0.00 0.00 0 0 0
3588.14/3597.00 c oneopt : 0.00 0.00 0 0 0
3588.14/3597.00 c padm : 0.00 0.00 0 0 0
3588.14/3597.00 c proximity : 0.00 0.00 0 0 0
3588.14/3597.00 c pscostdiving : 57.16 0.00 10 0 0
3588.14/3597.00 c randrounding : 0.33 0.00 438 0 0
3588.14/3597.00 c rens : 0.17 0.00 2 0 0
3588.14/3597.00 c reoptsols : 0.00 0.00 0 0 0
3588.14/3597.00 c repair : 0.00 0.00 0 0 0
3588.14/3597.00 c rins : 0.00 0.00 0 0 0
3588.14/3597.00 c rootsoldiving : 20.60 0.00 5 0 0
3588.14/3597.00 c rounding : 0.17 0.00 968 0 0
3588.14/3597.00 c scheduler : 0.00 0.00 0 0 0
3588.14/3597.00 c shiftandpropagate: 0.04 0.00 2 0 0
3588.14/3597.00 c shifting : 0.60 0.00 469 0 0
3588.14/3597.00 c simplerounding : 0.00 0.00 0 0 0
3588.14/3597.00 c smallcard : 0.00 0.00 0 0 0
3588.14/3597.00 c subnlp : 0.00 0.00 0 0 0
3588.14/3597.00 c trivial : 0.01 0.00 4 0 0
3588.14/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3588.14/3597.00 c trustregion : 0.00 0.00 0 0 0
3588.14/3597.00 c trysol : 0.00 0.00 0 0 0
3588.14/3597.00 c twoopt : 0.00 0.00 0 0 0
3588.14/3597.00 c undercover : 0.00 0.00 0 0 0
3588.14/3597.00 c vbounds : 0.03 0.00 2 0 0
3588.14/3597.00 c veclendiving : 117.74 0.00 8 0 0
3588.14/3597.00 c zeroobj : 0.00 0.00 0 0 0
3588.14/3597.00 c zirounding : 0.07 0.00 1000 0 0
3588.14/3597.00 c other solutions : - - - 0 -
3588.14/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3588.14/3597.00 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
3588.14/3597.00 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
3588.14/3597.00 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
3588.14/3597.00 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
3588.14/3597.00 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
3588.14/3597.00 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
3588.14/3597.00 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
3588.14/3597.00 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
3588.14/3597.00 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
3588.14/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.14/3597.00 c primal LP : 1.72 406 0 0.00 0.00 1.72 406
3588.14/3597.00 c dual LP : 2899.00 8998 8607150 963.52 2969.01 0.13 65
3588.14/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3588.14/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.14/3597.00 c resolve instable : 0.00 0 0 0.00 -
3588.14/3597.00 c diving/probing LP: 573.00 1695 1242543 733.06 2168.48
3588.14/3597.00 c strong branching : 9.34 21 17047 811.76 1825.12 - - 27
3588.14/3597.00 c (at root node) : - 21 17047 811.76 -
3588.14/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3588.14/3597.00 c B&B Tree :
3588.14/3597.00 c number of runs : 2
3588.14/3597.00 c nodes : 6036 (3041 internal, 2995 leaves)
3588.14/3597.00 c feasible leaves : 0
3588.14/3597.00 c infeas. leaves : 2994
3588.14/3597.00 c objective leaves : 0
3588.14/3597.00 c nodes (total) : 8356 (4309 internal, 4047 leaves)
3588.14/3597.00 c nodes left : 36
3588.14/3597.00 c max depth : 55
3588.14/3597.00 c max depth (total): 55
3588.14/3597.00 c backtracks : 771 (12.8%)
3588.14/3597.00 c early backtracks : 0 (0.0%)
3588.14/3597.00 c nodes exc. ref. : 0 (0.0%)
3588.14/3597.00 c delayed cutoffs : 12
3588.14/3597.00 c repropagations : 2213 (7043 domain reductions, 10 cutoffs)
3588.14/3597.00 c avg switch length: 3.09
3588.14/3597.00 c switching time : 4.25
3588.14/3597.00 c Root Node :
3588.14/3597.00 c First LP value : +0.00000000000000e+00
3588.14/3597.00 c First LP Iters : 10975 (2719.85 Iter/sec)
3588.14/3597.00 c First LP Time : 4.04
3588.14/3597.00 c Final Dual Bound : +0.00000000000000e+00
3588.14/3597.00 c Final Root Iters : 241458
3588.14/3597.00 c Root LP Estimate : +2.94728887607282e-02
3588.14/3597.00 c Solution :
3588.14/3597.00 c Solutions found : 0 (0 improvements)
3588.14/3597.00 c Primal Bound : -
3588.14/3597.00 c Dual Bound : +0.00000000000000e+00
3588.14/3597.00 c Gap : infinite
3588.14/3597.00 c Integrals : Total Avg%
3588.14/3597.00 c primal-dual : 359699.85 100.00
3588.14/3597.00 c primal-ref : - - (not evaluated)
3588.14/3597.00 c dual-ref : - - (not evaluated)
3588.14/3597.08 c Time complete: 3588.22.
ERROR: no interpretation found !
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: 63665 MiB (63039 MiB free)
memory of node 1: 64507 MiB (63341 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507454-1751187766/watcher-4507454-1751187766 -o /tmp/evaluation-result-4507454-1751187766/solver-4507454-1751187766 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751184166-19932 --watchdog 3760 pbscip -f HOME/instance-4507454-1751187766.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=20307, runsolver pid=20304
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.11 4.19 4.16 5/264 20308
/proc/meminfo: memFree=129378532/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=82656 memory=56004 CPUtime=0.09 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 11644 0 0 0 7 2 0 0 20 0 1 0 34456172 84639744 14001 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 20664 14001 3680 3530 0 12115 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82656 KiB
Current children cumulated memory: 56004 KiB
[startup+0.205398 s]*
/proc/loadavg: 4.11 4.19 4.16 5/264 20308
/proc/meminfo: memFree=129378608/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=87528 memory=60608 CPUtime=0.2 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 13461 0 0 0 18 2 0 0 20 0 1 0 34456172 89628672 15152 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 21882 15152 3680 3530 0 13333 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 87528 KiB
Current children cumulated memory: 60608 KiB
[startup+0.305455 s]*
/proc/loadavg: 4.11 4.19 4.16 5/264 20308
/proc/meminfo: memFree=129370796/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=99892 memory=72112 CPUtime=0.29 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 15874 0 0 0 27 2 0 0 20 0 1 0 34456172 102289408 18028 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 24973 18028 3712 3530 0 16424 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 99892 KiB
Current children cumulated memory: 72112 KiB
[startup+0.700131 s]
/proc/loadavg: 4.11 4.19 4.16 5/264 20308
/proc/meminfo: memFree=129367268/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=107136 memory=79664 CPUtime=0.68 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 17746 0 0 0 66 2 0 0 20 0 1 0 34456172 109707264 19916 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 26784 19916 3744 3530 0 18235 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107136 KiB
Current children cumulated memory: 79664 KiB
[startup+1.50014 s]
/proc/loadavg: 4.11 4.19 4.16 4/260 20316
/proc/meminfo: memFree=129835032/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=109868 memory=82224 CPUtime=1.48 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 18398 0 0 0 145 3 0 0 20 0 1 0 34456172 112504832 20556 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 27467 20556 3744 3530 0 18918 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109868 KiB
Current children cumulated memory: 82224 KiB
[startup+3.1053 s]
/proc/loadavg: 4.10 4.18 4.16 5/264 20353
/proc/meminfo: memFree=129791180/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=110060 memory=82864 CPUtime=3.08 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 18567 0 0 0 305 3 0 0 20 0 1 0 34456172 112701440 20716 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 27515 20716 3744 3530 0 18966 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 110060 KiB
Current children cumulated memory: 82864 KiB
[startup+6.30014 s]
/proc/loadavg: 4.10 4.18 4.16 5/264 20353
/proc/meminfo: memFree=129739620/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=111084 memory=83888 CPUtime=6.27 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 18823 0 0 0 624 3 0 0 20 0 1 0 34456172 113750016 20972 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 27771 20972 3744 3530 0 19222 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 111084 KiB
Current children cumulated memory: 83888 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.18 4.16 5/264 20353
/proc/meminfo: memFree=129688976/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=148468 memory=112232 CPUtime=12.65 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 27160 0 0 0 1261 4 0 0 20 0 1 0 34456172 152031232 28058 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 37117 28058 3968 3530 0 28568 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 148468 KiB
Current children cumulated memory: 112232 KiB
[startup+25.5001 s]
/proc/loadavg: 4.07 4.17 4.16 5/264 20354
/proc/meminfo: memFree=129668728/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=149648 memory=113640 CPUtime=25.42 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 27513 0 0 0 2538 4 0 0 20 0 1 0 34456172 153239552 28410 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 37412 28410 3968 3530 0 28863 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 149648 KiB
Current children cumulated memory: 113640 KiB
[startup+51.1052 s]
/proc/loadavg: 4.05 4.16 4.15 5/263 20354
/proc/meminfo: memFree=129267080/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=257084 memory=216976 CPUtime=50.96 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 53493 0 0 0 5087 9 0 0 20 0 1 0 34456172 263254016 54244 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 64271 54244 3968 3530 0 55722 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 257084 KiB
Current children cumulated memory: 216976 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/263 20357
/proc/meminfo: memFree=129184968/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=273104 memory=234000 CPUtime=102.03 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 57749 0 0 0 10194 9 0 0 20 0 1 0 34456172 279658496 58500 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 68276 58500 3968 3530 0 59727 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 273104 KiB
Current children cumulated memory: 234000 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.16 4.15 5/263 20359
/proc/meminfo: memFree=129180604/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=273104 memory=236176 CPUtime=161.89 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 58243 0 0 0 16180 9 0 0 20 0 1 0 34456172 279658496 59044 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 68276 59044 4000 3530 0 59727 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 273104 KiB
Current children cumulated memory: 236176 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/263 20361
/proc/meminfo: memFree=129150280/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=273104 memory=236176 CPUtime=221.75 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 58243 0 0 0 22166 9 0 0 20 0 1 0 34456172 279658496 59044 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 68276 59044 4000 3530 0 59727 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 273104 KiB
Current children cumulated memory: 236176 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.15 4.15 5/263 20363
/proc/meminfo: memFree=129143092/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=273104 memory=236176 CPUtime=281.6 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 58243 0 0 0 28151 9 0 0 20 0 1 0 34456172 279658496 59044 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 68276 59044 4000 3530 0 59727 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 273104 KiB
Current children cumulated memory: 236176 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/263 20365
/proc/meminfo: memFree=129182680/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=273104 memory=237584 CPUtime=341.46 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 58246 0 0 0 34137 9 0 0 20 0 1 0 34456172 279658496 59396 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 68276 59396 4000 3530 0 59727 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 273104 KiB
Current children cumulated memory: 237584 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/263 20370
/proc/meminfo: memFree=129177572/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=273104 memory=239376 CPUtime=401.3 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 58296 0 0 0 40121 9 0 0 20 0 1 0 34456172 279658496 59844 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 68276 59844 4000 3530 0 59727 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 273104 KiB
Current children cumulated memory: 239376 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/263 20374
/proc/meminfo: memFree=129170572/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=273104 memory=245264 CPUtime=461.16 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 58375 0 0 0 46107 9 0 0 20 0 1 0 34456172 279658496 61316 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 68276 61316 4000 3530 0 59727 0
################
# More data... #
################
/proc/loadavg: 4.24 4.17 4.12 5/263 20520
/proc/meminfo: memFree=128950336/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=333476 memory=305488 CPUtime=3154.48 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 83213 0 0 0 315435 13 0 0 20 0 1 0 34456172 341479424 76372 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 83369 76372 4000 3530 0 74820 0
Current children cumulated CPU time: 3154.48 s
Current children cumulated vsize: 333476 KiB
Current children cumulated memory: 305488 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/263 20522
/proc/meminfo: memFree=128950480/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=333476 memory=305488 CPUtime=3214.34 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 83213 0 0 0 321421 13 0 0 20 0 1 0 34456172 341479424 76372 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 83369 76372 4000 3530 0 74820 0
Current children cumulated CPU time: 3214.34 s
Current children cumulated vsize: 333476 KiB
Current children cumulated memory: 305488 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/263 20524
/proc/meminfo: memFree=128950812/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=333476 memory=305488 CPUtime=3274.2 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 83213 0 0 0 327406 14 0 0 20 0 1 0 34456172 341479424 76372 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 83369 76372 4000 3530 0 74820 0
Current children cumulated CPU time: 3274.2 s
Current children cumulated vsize: 333476 KiB
Current children cumulated memory: 305488 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/262 20526
/proc/meminfo: memFree=128950920/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=334776 memory=306256 CPUtime=3334.06 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 83387 0 0 0 333392 14 0 0 20 0 1 0 34456172 342810624 76564 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 83694 76564 4000 3530 0 75145 0
Current children cumulated CPU time: 3334.06 s
Current children cumulated vsize: 334776 KiB
Current children cumulated memory: 306256 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 20532
/proc/meminfo: memFree=128951456/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=337784 memory=307280 CPUtime=3393.91 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 83654 0 0 0 339377 14 0 0 20 0 1 0 34456172 345890816 76820 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 84446 76820 4000 3530 0 75897 0
Current children cumulated CPU time: 3393.91 s
Current children cumulated vsize: 337784 KiB
Current children cumulated memory: 307280 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 20537
/proc/meminfo: memFree=128943312/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=343696 memory=313168 CPUtime=3453.76 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 85156 0 0 0 345362 14 0 0 20 0 1 0 34456172 351944704 78292 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 85924 78292 4000 3530 0 77375 0
Current children cumulated CPU time: 3453.76 s
Current children cumulated vsize: 343696 KiB
Current children cumulated memory: 313168 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 20550
/proc/meminfo: memFree=128942684/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=344680 memory=313680 CPUtime=3513.62 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 85271 0 0 0 351347 15 0 0 20 0 1 0 34456172 352952320 78420 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 86170 78420 4000 3530 0 77621 0
Current children cumulated CPU time: 3513.62 s
Current children cumulated vsize: 344680 KiB
Current children cumulated memory: 313680 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 20551
/proc/meminfo: memFree=128942780/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=345712 memory=314832 CPUtime=3573.48 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 85599 0 0 0 357333 15 0 0 20 0 1 0 34456172 354009088 78708 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 86428 78708 4000 3530 0 77879 0
Current children cumulated CPU time: 3573.48 s
Current children cumulated vsize: 345712 KiB
Current children cumulated memory: 314832 KiB
[startup+3597.08 s]
# the end of solver process 20307 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.06 s, system=0.163006 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.06 4.09 4.09 5/265 20552
/proc/meminfo: memFree=128942788/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=345712 memory=314832 CPUtime=3575.18 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 85599 0 0 0 357503 15 0 0 20 0 1 0 34456172 354009088 78708 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 86428 78708 4000 3530 0 77879 0
Current children cumulated CPU time: 3575.18 s
Current children cumulated vsize: 345712 KiB
Current children cumulated memory: 314832 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 20552
/proc/meminfo: memFree=128942788/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=345712 memory=314832 CPUtime=3581.56 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 85599 0 0 0 358141 15 0 0 20 0 1 0 34456172 354009088 78708 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 86428 78708 4000 3530 0 77879 0
Current children cumulated CPU time: 3581.56 s
Current children cumulated vsize: 345712 KiB
Current children cumulated memory: 314832 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 20552
/proc/meminfo: memFree=128942788/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=345712 memory=314832 CPUtime=3584.75 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 85599 0 0 0 358460 15 0 0 20 0 1 0 34456172 354009088 78708 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 86428 78708 4000 3530 0 77879 0
Current children cumulated CPU time: 3584.75 s
Current children cumulated vsize: 345712 KiB
Current children cumulated memory: 314832 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 20552
/proc/meminfo: memFree=128942788/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=345712 memory=314832 CPUtime=3586.34 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 85599 0 0 0 358619 15 0 0 20 0 1 0 34456172 354009088 78708 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 86428 78708 4000 3530 0 77879 0
Current children cumulated CPU time: 3586.34 s
Current children cumulated vsize: 345712 KiB
Current children cumulated memory: 314832 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.10 4.09 3/257 20568
/proc/meminfo: memFree=129454388/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=345712 memory=314832 CPUtime=3587.15 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 85599 0 0 0 358700 15 0 0 20 0 1 0 34456172 354009088 78708 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 86428 78708 4000 3530 0 77879 0
Current children cumulated CPU time: 3587.15 s
Current children cumulated vsize: 345712 KiB
Current children cumulated memory: 314832 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.10 4.09 3/257 20568
/proc/meminfo: memFree=129454388/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=345712 memory=314832 CPUtime=3587.93 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 85599 0 0 0 358777 16 0 0 20 0 1 0 34456172 354009088 78708 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 86428 78708 4000 3530 0 77879 0
Current children cumulated CPU time: 3587.93 s
Current children cumulated vsize: 345712 KiB
Current children cumulated memory: 314832 KiB
[startup+3597 s]*
/proc/loadavg: 4.12 4.10 4.09 5/265 20642
/proc/meminfo: memFree=129406464/131249996 swapFree=33010684/33010684
[pid=20307] ppid=20304 vsize=345712 memory=314832 CPUtime=3588.14 cores=4,6
/proc/20307/stat : 20307 (pbscip) R 20304 20307 19921 0 -1 4194304 85599 0 0 0 358798 16 0 0 20 0 1 0 34456172 354009088 78708 18446744073709551615 4235264 18693293 140736241591056 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29310976 140736241596809 140736241596908 140736241596908 140736241602510 0
/proc/20307/statm: 86428 78708 4000 3530 0 77879 0
Current children cumulated CPU time: 3588.14 s
Current children cumulated vsize: 345712 KiB
Current children cumulated memory: 314832 KiB
Child status: 0
Real time (s): 3597.08
CPU time (s): 3588.22
CPU user time (s): 3588.06
CPU system time (s): 0.163006
CPU usage (%): 99.7536
Max. virtual memory (cumulated for all children) (KiB): 345712
Max. memory (cumulated for all children) (KiB): 314832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.06
system time used= 0.163006
maximum resident set size= 314832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85607
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= 120
involuntary context switches= 1194
# summary of solver processes directly reported to runsolver:
# pid: 20307
# total CPU time (s): 3588.22
# total CPU user time (s): 3588.06
# total CPU system time (s): 0.163006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.16793 second user time and 13.8022 second system time
The end
Begin job on nodeC030 at 2025-06-29 11:02:46 IDJOB=4507454 IDBENCH=158353 IDSOLVER=3365 FILE ID=nodeC030/4507454-1751187766 RUNJOBID= nodeC030-1751184166-19932 SLURM_JOB_ID= 9587575 Free space on /tmp= 432980 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K101.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507454-1751187766/watcher-4507454-1751187766 -o /tmp/evaluation-result-4507454-1751187766/solver-4507454-1751187766 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751184166-19932 --watchdog 3760 pbscip -f HOME/instance-4507454-1751187766.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 169808018047e4e4c90ba93c1e86b926 RANDOM SEED=1362224997 nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.232 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.322 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.689 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3590.205 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.305 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.317 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3713.512 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.267 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129414316 kB MemAvailable: 129174568 kB Buffers: 3280 kB Cached: 570716 kB SwapCached: 0 kB Active: 958268 kB Inactive: 313972 kB Active(anon): 716312 kB Inactive(anon): 0 kB Active(file): 241956 kB Inactive(file): 313972 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 57440 kB Writeback: 4 kB AnonPages: 699912 kB Mapped: 136596 kB Shmem: 18064 kB KReclaimable: 86728 kB Slab: 171772 kB SReclaimable: 86728 kB SUnreclaim: 85044 kB KernelStack: 4272 kB PageTables: 4524 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1087104 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 485376 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 189140 kB DirectMap2M: 9019392 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432964 MiB End job on nodeC030 at 2025-06-29 12:02:43