| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3587.98 | 3598.56 |
| Name | PB24/normalized-PB11/DEC-LIN/ lopes/normalized-139.opb |
| MD5SUM | b1a9bb408d678f4e4f75286e8bd2bbb9 |
| 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 | 23.2372 |
| 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 | 35834 |
| Total number of constraints | 835510 |
| Number of constraints which are clauses | 750303 |
| Number of constraints which are cardinality constraints (but not clauses) | 2782 |
| Number of constraints which are nor clauses,nor cardinality constraints | 82425 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 690 |
| 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 | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 691 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-4446375-1721332366.opb>
1.79/1.87 c original problem has 35834 variables (35834 bin, 0 int, 0 impl, 0 cont) and 835510 constraints
1.79/1.87 c problem read in 1.87
1.79/1.88 c No objective function, only one solution is needed.
3.18/3.22 c presolving:
4.38/4.44 c (round 1, fast) 7012 del vars, 119964 del conss, 0 add conss, 7012 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 102369 clqs
4.58/4.67 c (round 2, fast) 7492 del vars, 202716 del conss, 0 add conss, 7012 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 101889 clqs
5.77/5.83 c (5.8s) running MILP presolver
7.17/7.26 c (7.2s) MILP presolver (4 rounds): 902 aggregations, 0 fixings, 0 bound changes
7.26/7.31 c (round 3, medium) 10959 del vars, 202716 del conss, 0 add conss, 7012 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 94955 clqs
7.47/7.57 c (round 4, fast) 10959 del vars, 217251 del conss, 0 add conss, 7012 chg bounds, 3091 chg sides, 3700 chg coeffs, 0 upgd conss, 0 impls, 95020 clqs
9.26/9.33 c (round 5, exhaustive) 10959 del vars, 217260 del conss, 0 add conss, 7012 chg bounds, 3100 chg sides, 3700 chg coeffs, 618249 upgd conss, 0 impls, 95020 clqs
11.36/11.42 c (round 6, exhaustive) 10959 del vars, 229347 del conss, 33 add conss, 7012 chg bounds, 3165 chg sides, 22684 chg coeffs, 618249 upgd conss, 0 impls, 95020 clqs
15.55/15.63 c (round 7, exhaustive) 10989 del vars, 229348 del conss, 34 add conss, 7012 chg bounds, 3165 chg sides, 22896 chg coeffs, 618249 upgd conss, 0 impls, 94960 clqs
15.74/15.81 c (round 8, fast) 10989 del vars, 229853 del conss, 124 add conss, 7012 chg bounds, 3165 chg sides, 23252 chg coeffs, 618249 upgd conss, 0 impls, 94992 clqs
19.23/19.38 c (round 9, exhaustive) 11019 del vars, 229855 del conss, 124 add conss, 7012 chg bounds, 3165 chg sides, 23442 chg coeffs, 618249 upgd conss, 0 impls, 94932 clqs
19.43/19.57 c (round 10, fast) 11019 del vars, 230355 del conss, 214 add conss, 7012 chg bounds, 3165 chg sides, 23794 chg coeffs, 618249 upgd conss, 0 impls, 94934 clqs
23.04/23.12 c (round 11, exhaustive) 11049 del vars, 230355 del conss, 214 add conss, 7012 chg bounds, 3165 chg sides, 23801 chg coeffs, 618249 upgd conss, 0 impls, 94874 clqs
23.23/23.31 c (round 12, fast) 11049 del vars, 230836 del conss, 305 add conss, 7012 chg bounds, 3165 chg sides, 24137 chg coeffs, 618249 upgd conss, 0 impls, 94881 clqs
27.52/27.64 c (round 13, exhaustive) 11079 del vars, 230836 del conss, 305 add conss, 7012 chg bounds, 3165 chg sides, 24162 chg coeffs, 618249 upgd conss, 0 impls, 94821 clqs
27.72/27.83 c (round 14, fast) 11079 del vars, 231334 del conss, 397 add conss, 7012 chg bounds, 3165 chg sides, 24509 chg coeffs, 618249 upgd conss, 0 impls, 94830 clqs
31.31/31.40 c (round 15, exhaustive) 11109 del vars, 231337 del conss, 397 add conss, 7012 chg bounds, 3165 chg sides, 24546 chg coeffs, 618249 upgd conss, 0 impls, 94770 clqs
31.41/31.59 c (round 16, fast) 11109 del vars, 231830 del conss, 490 add conss, 7012 chg bounds, 3165 chg sides, 24881 chg coeffs, 618249 upgd conss, 0 impls, 94784 clqs
35.01/35.16 c (round 17, exhaustive) 11139 del vars, 231836 del conss, 490 add conss, 7012 chg bounds, 3165 chg sides, 24937 chg coeffs, 618249 upgd conss, 0 impls, 94724 clqs
35.20/35.35 c (round 18, fast) 11139 del vars, 232336 del conss, 589 add conss, 7012 chg bounds, 3165 chg sides, 25272 chg coeffs, 618249 upgd conss, 0 impls, 94744 clqs
38.79/38.93 c (round 19, exhaustive) 11169 del vars, 232342 del conss, 589 add conss, 7012 chg bounds, 3165 chg sides, 25371 chg coeffs, 618249 upgd conss, 0 impls, 94684 clqs
39.00/39.12 c (round 20, fast) 11169 del vars, 232854 del conss, 689 add conss, 7012 chg bounds, 3165 chg sides, 25716 chg coeffs, 618249 upgd conss, 0 impls, 94700 clqs
42.48/42.68 c (round 21, exhaustive) 11199 del vars, 232867 del conss, 689 add conss, 7012 chg bounds, 3165 chg sides, 25833 chg coeffs, 618249 upgd conss, 0 impls, 94640 clqs
42.68/42.87 c (round 22, fast) 11199 del vars, 233379 del conss, 785 add conss, 7012 chg bounds, 3165 chg sides, 26183 chg coeffs, 618249 upgd conss, 0 impls, 94650 clqs
47.07/47.20 c (round 23, exhaustive) 11229 del vars, 233398 del conss, 785 add conss, 7012 chg bounds, 3165 chg sides, 26278 chg coeffs, 618249 upgd conss, 0 impls, 94590 clqs
47.17/47.39 c (round 24, fast) 11229 del vars, 233906 del conss, 878 add conss, 7012 chg bounds, 3165 chg sides, 26628 chg coeffs, 618249 upgd conss, 0 impls, 94597 clqs
50.77/50.96 c (round 25, exhaustive) 11259 del vars, 233917 del conss, 878 add conss, 7012 chg bounds, 3165 chg sides, 26688 chg coeffs, 618249 upgd conss, 0 impls, 94537 clqs
50.97/51.15 c (round 26, fast) 11259 del vars, 234422 del conss, 972 add conss, 7012 chg bounds, 3165 chg sides, 27040 chg coeffs, 618249 upgd conss, 0 impls, 94543 clqs
54.56/54.74 c (round 27, exhaustive) 11289 del vars, 234427 del conss, 972 add conss, 7012 chg bounds, 3165 chg sides, 27084 chg coeffs, 618249 upgd conss, 0 impls, 94483 clqs
54.76/54.93 c (round 28, fast) 11289 del vars, 234939 del conss, 1063 add conss, 7012 chg bounds, 3165 chg sides, 27444 chg coeffs, 618249 upgd conss, 0 impls, 94485 clqs
58.35/58.50 c (round 29, exhaustive) 11319 del vars, 234950 del conss, 1063 add conss, 7012 chg bounds, 3165 chg sides, 27467 chg coeffs, 618249 upgd conss, 0 impls, 94425 clqs
58.55/58.70 c (round 30, fast) 11319 del vars, 235460 del conss, 1153 add conss, 7012 chg bounds, 3165 chg sides, 27827 chg coeffs, 618249 upgd conss, 0 impls, 94425 clqs
61.84/62.08 c (round 31, exhaustive) 11349 del vars, 235461 del conss, 1153 add conss, 7012 chg bounds, 3165 chg sides, 27831 chg coeffs, 618249 upgd conss, 0 impls, 94365 clqs
62.04/62.26 c (round 32, fast) 11349 del vars, 235971 del conss, 1243 add conss, 7012 chg bounds, 3165 chg sides, 28191 chg coeffs, 618249 upgd conss, 0 impls, 94365 clqs
65.42/65.64 c (round 33, exhaustive) 11379 del vars, 235971 del conss, 1243 add conss, 7012 chg bounds, 3165 chg sides, 28191 chg coeffs, 618249 upgd conss, 0 impls, 94305 clqs
65.62/65.83 c (round 34, fast) 11379 del vars, 236481 del conss, 1333 add conss, 7012 chg bounds, 3165 chg sides, 28551 chg coeffs, 618249 upgd conss, 0 impls, 94305 clqs
69.02/69.21 c (round 35, exhaustive) 11409 del vars, 236481 del conss, 1333 add conss, 7012 chg bounds, 3165 chg sides, 28551 chg coeffs, 618249 upgd conss, 0 impls, 94245 clqs
69.11/69.39 c (round 36, fast) 11409 del vars, 236991 del conss, 1423 add conss, 7012 chg bounds, 3165 chg sides, 28911 chg coeffs, 618249 upgd conss, 0 impls, 94245 clqs
73.30/73.54 c (round 37, exhaustive) 11439 del vars, 236991 del conss, 1423 add conss, 7012 chg bounds, 3165 chg sides, 28911 chg coeffs, 618249 upgd conss, 0 impls, 94185 clqs
73.50/73.73 c (round 38, fast) 11439 del vars, 237501 del conss, 1513 add conss, 7012 chg bounds, 3165 chg sides, 29271 chg coeffs, 618249 upgd conss, 0 impls, 94185 clqs
76.81/77.10 c (round 39, exhaustive) 11469 del vars, 237501 del conss, 1513 add conss, 7012 chg bounds, 3165 chg sides, 29271 chg coeffs, 618249 upgd conss, 0 impls, 94125 clqs
77.00/77.28 c (round 40, fast) 11469 del vars, 238011 del conss, 1603 add conss, 7012 chg bounds, 3165 chg sides, 29631 chg coeffs, 618249 upgd conss, 0 impls, 94125 clqs
80.39/80.67 c (round 41, exhaustive) 11499 del vars, 238011 del conss, 1603 add conss, 7012 chg bounds, 3165 chg sides, 29631 chg coeffs, 618249 upgd conss, 0 impls, 94065 clqs
80.59/80.85 c (round 42, fast) 11499 del vars, 238521 del conss, 1693 add conss, 7012 chg bounds, 3165 chg sides, 29991 chg coeffs, 618249 upgd conss, 0 impls, 94065 clqs
83.98/84.23 c (round 43, exhaustive) 11529 del vars, 238521 del conss, 1693 add conss, 7012 chg bounds, 3165 chg sides, 29991 chg coeffs, 618249 upgd conss, 0 impls, 94005 clqs
84.18/84.42 c (round 44, fast) 11529 del vars, 239031 del conss, 1783 add conss, 7012 chg bounds, 3165 chg sides, 30351 chg coeffs, 618249 upgd conss, 0 impls, 94005 clqs
87.57/87.80 c (round 45, exhaustive) 11559 del vars, 239031 del conss, 1783 add conss, 7012 chg bounds, 3165 chg sides, 30351 chg coeffs, 618249 upgd conss, 0 impls, 93945 clqs
87.67/88.00 c (round 46, fast) 11559 del vars, 239541 del conss, 1873 add conss, 7012 chg bounds, 3165 chg sides, 30711 chg coeffs, 618249 upgd conss, 0 impls, 93945 clqs
91.06/91.39 c (round 47, exhaustive) 11589 del vars, 239541 del conss, 1873 add conss, 7012 chg bounds, 3165 chg sides, 30711 chg coeffs, 618249 upgd conss, 0 impls, 93885 clqs
91.26/91.58 c (round 48, fast) 11589 del vars, 240051 del conss, 1963 add conss, 7012 chg bounds, 3165 chg sides, 31071 chg coeffs, 618249 upgd conss, 0 impls, 93885 clqs
94.66/94.96 c (round 49, exhaustive) 11619 del vars, 240051 del conss, 1963 add conss, 7012 chg bounds, 3165 chg sides, 31071 chg coeffs, 618249 upgd conss, 0 impls, 93825 clqs
94.86/95.14 c (round 50, fast) 11619 del vars, 240561 del conss, 2053 add conss, 7012 chg bounds, 3165 chg sides, 31431 chg coeffs, 618249 upgd conss, 0 impls, 93825 clqs
98.25/98.52 c (round 51, exhaustive) 11649 del vars, 240561 del conss, 2053 add conss, 7012 chg bounds, 3165 chg sides, 31431 chg coeffs, 618249 upgd conss, 0 impls, 93765 clqs
98.45/98.70 c (round 52, fast) 11649 del vars, 241071 del conss, 2143 add conss, 7012 chg bounds, 3165 chg sides, 31791 chg coeffs, 618249 upgd conss, 0 impls, 93765 clqs
101.74/102.08 c (round 53, exhaustive) 11679 del vars, 241071 del conss, 2143 add conss, 7012 chg bounds, 3165 chg sides, 31791 chg coeffs, 618249 upgd conss, 0 impls, 93705 clqs
101.94/102.28 c (round 54, fast) 11679 del vars, 241581 del conss, 2233 add conss, 7012 chg bounds, 3165 chg sides, 32151 chg coeffs, 618249 upgd conss, 0 impls, 93705 clqs
106.13/106.43 c (round 55, exhaustive) 11709 del vars, 241581 del conss, 2233 add conss, 7012 chg bounds, 3165 chg sides, 32151 chg coeffs, 618249 upgd conss, 0 impls, 93645 clqs
106.33/106.62 c (round 56, fast) 11709 del vars, 242091 del conss, 2323 add conss, 7012 chg bounds, 3165 chg sides, 32511 chg coeffs, 618249 upgd conss, 0 impls, 93645 clqs
109.62/109.98 c (round 57, exhaustive) 11739 del vars, 242091 del conss, 2323 add conss, 7012 chg bounds, 3165 chg sides, 32511 chg coeffs, 618249 upgd conss, 0 impls, 93585 clqs
109.82/110.17 c (round 58, fast) 11739 del vars, 242601 del conss, 2413 add conss, 7012 chg bounds, 3165 chg sides, 32871 chg coeffs, 618249 upgd conss, 0 impls, 93585 clqs
113.31/113.64 c (round 59, exhaustive) 11769 del vars, 242601 del conss, 2413 add conss, 7012 chg bounds, 3165 chg sides, 32871 chg coeffs, 618249 upgd conss, 0 impls, 93525 clqs
113.51/113.83 c (round 60, fast) 11769 del vars, 243111 del conss, 2503 add conss, 7012 chg bounds, 3165 chg sides, 33231 chg coeffs, 618249 upgd conss, 0 impls, 93525 clqs
117.10/117.42 c (round 61, exhaustive) 11799 del vars, 243111 del conss, 2503 add conss, 7012 chg bounds, 3165 chg sides, 33231 chg coeffs, 618249 upgd conss, 0 impls, 93465 clqs
117.30/117.63 c (round 62, fast) 11799 del vars, 243621 del conss, 2593 add conss, 7012 chg bounds, 3165 chg sides, 33591 chg coeffs, 618249 upgd conss, 0 impls, 93465 clqs
120.89/121.26 c (round 63, exhaustive) 11829 del vars, 243621 del conss, 2593 add conss, 7012 chg bounds, 3165 chg sides, 33591 chg coeffs, 618249 upgd conss, 0 impls, 93405 clqs
121.09/121.46 c (round 64, fast) 11829 del vars, 244131 del conss, 2683 add conss, 7012 chg bounds, 3165 chg sides, 33951 chg coeffs, 618249 upgd conss, 0 impls, 93405 clqs
124.79/125.11 c (round 65, exhaustive) 11859 del vars, 244131 del conss, 2683 add conss, 7012 chg bounds, 3165 chg sides, 33951 chg coeffs, 618249 upgd conss, 0 impls, 93345 clqs
124.98/125.31 c (round 66, fast) 11859 del vars, 244641 del conss, 2773 add conss, 7012 chg bounds, 3165 chg sides, 34311 chg coeffs, 618249 upgd conss, 0 impls, 93345 clqs
128.57/128.93 c (round 67, exhaustive) 11889 del vars, 244641 del conss, 2773 add conss, 7012 chg bounds, 3165 chg sides, 34311 chg coeffs, 618249 upgd conss, 0 impls, 93285 clqs
128.78/129.13 c (round 68, fast) 11889 del vars, 245151 del conss, 2863 add conss, 7012 chg bounds, 3165 chg sides, 34671 chg coeffs, 618249 upgd conss, 0 impls, 93285 clqs
132.36/132.75 c (round 69, exhaustive) 11919 del vars, 245151 del conss, 2863 add conss, 7012 chg bounds, 3165 chg sides, 34671 chg coeffs, 618249 upgd conss, 0 impls, 93225 clqs
132.56/132.96 c (round 70, fast) 11919 del vars, 245661 del conss, 2953 add conss, 7012 chg bounds, 3165 chg sides, 35031 chg coeffs, 618249 upgd conss, 0 impls, 93225 clqs
136.15/136.60 c (round 71, exhaustive) 11949 del vars, 245661 del conss, 2953 add conss, 7012 chg bounds, 3165 chg sides, 35031 chg coeffs, 618249 upgd conss, 0 impls, 93165 clqs
136.44/136.80 c (round 72, fast) 11949 del vars, 246171 del conss, 3043 add conss, 7012 chg bounds, 3165 chg sides, 35391 chg coeffs, 618249 upgd conss, 0 impls, 93165 clqs
139.94/140.34 c (round 73, exhaustive) 11979 del vars, 246171 del conss, 3043 add conss, 7012 chg bounds, 3165 chg sides, 35391 chg coeffs, 618249 upgd conss, 0 impls, 93105 clqs
140.14/140.54 c (round 74, fast) 11979 del vars, 246681 del conss, 3133 add conss, 7012 chg bounds, 3165 chg sides, 35751 chg coeffs, 618249 upgd conss, 0 impls, 93105 clqs
143.64/144.07 c (round 75, exhaustive) 12005 del vars, 246681 del conss, 3133 add conss, 7012 chg bounds, 3165 chg sides, 35751 chg coeffs, 618249 upgd conss, 0 impls, 93053 clqs
143.83/144.27 c (round 76, fast) 12005 del vars, 247178 del conss, 3229 add conss, 7012 chg bounds, 3165 chg sides, 36107 chg coeffs, 618249 upgd conss, 0 impls, 93060 clqs
148.32/148.77 c (round 77, exhaustive) 12030 del vars, 247180 del conss, 3229 add conss, 7012 chg bounds, 3165 chg sides, 36128 chg coeffs, 618249 upgd conss, 0 impls, 93010 clqs
148.52/148.97 c (round 78, fast) 12030 del vars, 247605 del conss, 3304 add conss, 7012 chg bounds, 3165 chg sides, 36428 chg coeffs, 618249 upgd conss, 0 impls, 93013 clqs
152.21/152.65 c (round 79, exhaustive) 12056 del vars, 247606 del conss, 3304 add conss, 7012 chg bounds, 3165 chg sides, 36447 chg coeffs, 618249 upgd conss, 0 impls, 92961 clqs
152.41/152.86 c (round 80, fast) 12056 del vars, 248200 del conss, 3418 add conss, 7012 chg bounds, 3165 chg sides, 36877 chg coeffs, 618249 upgd conss, 0 impls, 92970 clqs
156.39/156.87 c (round 81, exhaustive) 12084 del vars, 248201 del conss, 3418 add conss, 7012 chg bounds, 3165 chg sides, 36908 chg coeffs, 618249 upgd conss, 0 impls, 92914 clqs
156.60/157.07 c (round 82, fast) 12084 del vars, 248682 del conss, 3503 add conss, 7012 chg bounds, 3165 chg sides, 37240 chg coeffs, 618249 upgd conss, 0 impls, 92923 clqs
160.59/161.03 c (round 83, exhaustive) 12112 del vars, 248685 del conss, 3503 add conss, 7012 chg bounds, 3165 chg sides, 37297 chg coeffs, 618249 upgd conss, 0 impls, 92867 clqs
160.78/161.24 c (round 84, fast) 12112 del vars, 249164 del conss, 3588 add conss, 7012 chg bounds, 3165 chg sides, 37631 chg coeffs, 618249 upgd conss, 0 impls, 92873 clqs
164.77/165.26 c (round 85, exhaustive) 12140 del vars, 249169 del conss, 3588 add conss, 7012 chg bounds, 3165 chg sides, 37678 chg coeffs, 618249 upgd conss, 0 impls, 92817 clqs
164.97/165.46 c (round 86, fast) 12140 del vars, 249652 del conss, 3674 add conss, 7012 chg bounds, 3165 chg sides, 38009 chg coeffs, 618249 upgd conss, 0 impls, 92827 clqs
168.86/169.34 c (round 87, exhaustive) 12168 del vars, 249665 del conss, 3674 add conss, 7012 chg bounds, 3165 chg sides, 38072 chg coeffs, 618249 upgd conss, 0 impls, 92771 clqs
169.06/169.54 c (round 88, fast) 12168 del vars, 250147 del conss, 3759 add conss, 7012 chg bounds, 3165 chg sides, 38405 chg coeffs, 618249 upgd conss, 0 impls, 92779 clqs
172.85/173.38 c (round 89, exhaustive) 12196 del vars, 250176 del conss, 3759 add conss, 7012 chg bounds, 3165 chg sides, 38488 chg coeffs, 618249 upgd conss, 0 impls, 92723 clqs
173.05/173.58 c (round 90, fast) 12196 del vars, 250654 del conss, 3843 add conss, 7012 chg bounds, 3165 chg sides, 38822 chg coeffs, 618249 upgd conss, 0 impls, 92729 clqs
176.84/177.36 c (round 91, exhaustive) 12224 del vars, 250666 del conss, 3843 add conss, 7012 chg bounds, 3165 chg sides, 38857 chg coeffs, 618249 upgd conss, 0 impls, 92673 clqs
177.04/177.56 c (round 92, fast) 12224 del vars, 251143 del conss, 3927 add conss, 7012 chg bounds, 3165 chg sides, 39192 chg coeffs, 618249 upgd conss, 0 impls, 92676 clqs
180.93/181.41 c (round 93, exhaustive) 12252 del vars, 251150 del conss, 3927 add conss, 7012 chg bounds, 3165 chg sides, 39219 chg coeffs, 618249 upgd conss, 0 impls, 92620 clqs
181.13/181.60 c (round 94, fast) 12252 del vars, 251628 del conss, 4011 add conss, 7012 chg bounds, 3165 chg sides, 39553 chg coeffs, 618249 upgd conss, 0 impls, 92622 clqs
184.91/185.46 c (round 95, exhaustive) 12280 del vars, 251630 del conss, 4011 add conss, 7012 chg bounds, 3165 chg sides, 39577 chg coeffs, 618249 upgd conss, 0 impls, 92566 clqs
185.11/185.66 c (round 96, fast) 12280 del vars, 252106 del conss, 4095 add conss, 7012 chg bounds, 3165 chg sides, 39913 chg coeffs, 618249 upgd conss, 0 impls, 92566 clqs
188.91/189.40 c (round 97, exhaustive) 12308 del vars, 252106 del conss, 4095 add conss, 7012 chg bounds, 3165 chg sides, 39921 chg coeffs, 618249 upgd conss, 0 impls, 92510 clqs
189.11/189.60 c (round 98, fast) 12308 del vars, 252582 del conss, 4179 add conss, 7012 chg bounds, 3165 chg sides, 40257 chg coeffs, 618249 upgd conss, 0 impls, 92510 clqs
192.70/193.26 c (round 99, exhaustive) 12336 del vars, 252582 del conss, 4179 add conss, 7012 chg bounds, 3165 chg sides, 40257 chg coeffs, 618249 upgd conss, 0 impls, 92454 clqs
192.90/193.46 c (round 100, fast) 12336 del vars, 253058 del conss, 4263 add conss, 7012 chg bounds, 3165 chg sides, 40593 chg coeffs, 618249 upgd conss, 0 impls, 92454 clqs
196.69/197.22 c (round 101, exhaustive) 12364 del vars, 253058 del conss, 4263 add conss, 7012 chg bounds, 3165 chg sides, 40593 chg coeffs, 618249 upgd conss, 0 impls, 92398 clqs
196.89/197.42 c (round 102, fast) 12364 del vars, 253534 del conss, 4347 add conss, 7012 chg bounds, 3165 chg sides, 40929 chg coeffs, 618249 upgd conss, 0 impls, 92398 clqs
201.28/201.83 c (round 103, exhaustive) 12392 del vars, 253534 del conss, 4347 add conss, 7012 chg bounds, 3165 chg sides, 40929 chg coeffs, 618249 upgd conss, 0 impls, 92342 clqs
201.48/202.02 c (round 104, fast) 12392 del vars, 254010 del conss, 4431 add conss, 7012 chg bounds, 3165 chg sides, 41265 chg coeffs, 618249 upgd conss, 0 impls, 92342 clqs
205.06/205.62 c (round 105, exhaustive) 12420 del vars, 254010 del conss, 4431 add conss, 7012 chg bounds, 3165 chg sides, 41265 chg coeffs, 618249 upgd conss, 0 impls, 92286 clqs
205.26/205.82 c (round 106, fast) 12420 del vars, 254486 del conss, 4515 add conss, 7012 chg bounds, 3165 chg sides, 41601 chg coeffs, 618249 upgd conss, 0 impls, 92286 clqs
208.86/209.43 c (round 107, exhaustive) 12448 del vars, 254486 del conss, 4515 add conss, 7012 chg bounds, 3165 chg sides, 41601 chg coeffs, 618249 upgd conss, 0 impls, 92230 clqs
209.06/209.63 c (round 108, fast) 12448 del vars, 254962 del conss, 4599 add conss, 7012 chg bounds, 3165 chg sides, 41937 chg coeffs, 618249 upgd conss, 0 impls, 92230 clqs
212.75/213.35 c (round 109, exhaustive) 12476 del vars, 254962 del conss, 4599 add conss, 7012 chg bounds, 3165 chg sides, 41937 chg coeffs, 618249 upgd conss, 0 impls, 92174 clqs
212.95/213.55 c (round 110, fast) 12476 del vars, 255438 del conss, 4683 add conss, 7012 chg bounds, 3165 chg sides, 42273 chg coeffs, 618249 upgd conss, 0 impls, 92174 clqs
216.63/217.29 c (round 111, exhaustive) 12504 del vars, 255438 del conss, 4683 add conss, 7012 chg bounds, 3165 chg sides, 42273 chg coeffs, 618249 upgd conss, 0 impls, 92118 clqs
216.83/217.48 c (round 112, fast) 12504 del vars, 255914 del conss, 4767 add conss, 7012 chg bounds, 3165 chg sides, 42609 chg coeffs, 618249 upgd conss, 0 impls, 92118 clqs
220.53/221.17 c (round 113, exhaustive) 12532 del vars, 255914 del conss, 4767 add conss, 7012 chg bounds, 3165 chg sides, 42609 chg coeffs, 618249 upgd conss, 0 impls, 92062 clqs
220.72/221.37 c (round 114, fast) 12532 del vars, 256390 del conss, 4851 add conss, 7012 chg bounds, 3165 chg sides, 42945 chg coeffs, 618249 upgd conss, 0 impls, 92062 clqs
221.92/222.58 c (222.6s) running MILP presolver
223.02/223.63 c (223.6s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
226.61/227.24 c (round 115, exhaustive) 12560 del vars, 256390 del conss, 4851 add conss, 7012 chg bounds, 3165 chg sides, 42945 chg coeffs, 618249 upgd conss, 0 impls, 92006 clqs
226.81/227.43 c (round 116, fast) 12560 del vars, 256866 del conss, 4935 add conss, 7012 chg bounds, 3165 chg sides, 43281 chg coeffs, 618249 upgd conss, 0 impls, 92006 clqs
230.40/231.09 c (round 117, exhaustive) 12588 del vars, 256866 del conss, 4935 add conss, 7012 chg bounds, 3165 chg sides, 43281 chg coeffs, 618249 upgd conss, 0 impls, 91950 clqs
230.60/231.29 c (round 118, fast) 12588 del vars, 257342 del conss, 5019 add conss, 7012 chg bounds, 3165 chg sides, 43617 chg coeffs, 618249 upgd conss, 0 impls, 91950 clqs
234.29/234.95 c (round 119, exhaustive) 12616 del vars, 257342 del conss, 5019 add conss, 7012 chg bounds, 3165 chg sides, 43617 chg coeffs, 618249 upgd conss, 0 impls, 91894 clqs
234.50/235.15 c (round 120, fast) 12616 del vars, 257818 del conss, 5103 add conss, 7012 chg bounds, 3165 chg sides, 43953 chg coeffs, 618249 upgd conss, 0 impls, 91894 clqs
238.18/238.81 c (round 121, exhaustive) 12644 del vars, 257818 del conss, 5103 add conss, 7012 chg bounds, 3165 chg sides, 43953 chg coeffs, 618249 upgd conss, 0 impls, 91838 clqs
238.38/239.01 c (round 122, fast) 12644 del vars, 258294 del conss, 5187 add conss, 7012 chg bounds, 3165 chg sides, 44289 chg coeffs, 618249 upgd conss, 0 impls, 91838 clqs
241.97/242.66 c (round 123, exhaustive) 12672 del vars, 258294 del conss, 5187 add conss, 7012 chg bounds, 3165 chg sides, 44289 chg coeffs, 618249 upgd conss, 0 impls, 91782 clqs
242.17/242.86 c (round 124, fast) 12672 del vars, 258770 del conss, 5271 add conss, 7012 chg bounds, 3165 chg sides, 44625 chg coeffs, 618249 upgd conss, 0 impls, 91782 clqs
245.86/246.51 c (round 125, exhaustive) 12700 del vars, 258770 del conss, 5271 add conss, 7012 chg bounds, 3165 chg sides, 44625 chg coeffs, 618249 upgd conss, 0 impls, 91726 clqs
246.06/246.71 c (round 126, fast) 12700 del vars, 259246 del conss, 5355 add conss, 7012 chg bounds, 3165 chg sides, 44961 chg coeffs, 618249 upgd conss, 0 impls, 91726 clqs
249.65/250.36 c (round 127, exhaustive) 12728 del vars, 259246 del conss, 5355 add conss, 7012 chg bounds, 3165 chg sides, 44961 chg coeffs, 618249 upgd conss, 0 impls, 91670 clqs
249.85/250.55 c (round 128, fast) 12728 del vars, 259722 del conss, 5439 add conss, 7012 chg bounds, 3165 chg sides, 45297 chg coeffs, 618249 upgd conss, 0 impls, 91670 clqs
253.53/254.22 c (round 129, exhaustive) 12756 del vars, 259722 del conss, 5439 add conss, 7012 chg bounds, 3165 chg sides, 45297 chg coeffs, 618249 upgd conss, 0 impls, 91614 clqs
253.73/254.41 c (round 130, fast) 12756 del vars, 260198 del conss, 5523 add conss, 7012 chg bounds, 3165 chg sides, 45633 chg coeffs, 618249 upgd conss, 0 impls, 91614 clqs
257.34/258.08 c (round 131, exhaustive) 12784 del vars, 260198 del conss, 5523 add conss, 7012 chg bounds, 3165 chg sides, 45633 chg coeffs, 618249 upgd conss, 0 impls, 91558 clqs
257.53/258.27 c (round 132, fast) 12784 del vars, 260674 del conss, 5607 add conss, 7012 chg bounds, 3165 chg sides, 45969 chg coeffs, 618249 upgd conss, 0 impls, 91558 clqs
261.91/262.68 c (round 133, exhaustive) 12812 del vars, 260674 del conss, 5607 add conss, 7012 chg bounds, 3165 chg sides, 45969 chg coeffs, 618249 upgd conss, 0 impls, 91502 clqs
262.11/262.87 c (round 134, fast) 12812 del vars, 261150 del conss, 5691 add conss, 7012 chg bounds, 3165 chg sides, 46305 chg coeffs, 618249 upgd conss, 0 impls, 91502 clqs
265.70/266.46 c (round 135, exhaustive) 12838 del vars, 261150 del conss, 5691 add conss, 7012 chg bounds, 3165 chg sides, 46305 chg coeffs, 618249 upgd conss, 0 impls, 91450 clqs
265.90/266.65 c (round 136, fast) 12838 del vars, 261832 del conss, 5823 add conss, 7012 chg bounds, 3165 chg sides, 46809 chg coeffs, 618249 upgd conss, 0 impls, 91456 clqs
269.79/270.54 c (round 137, exhaustive) 12866 del vars, 261832 del conss, 5823 add conss, 7012 chg bounds, 3165 chg sides, 46829 chg coeffs, 618249 upgd conss, 0 impls, 91400 clqs
269.99/270.73 c (round 138, fast) 12866 del vars, 262308 del conss, 5907 add conss, 7012 chg bounds, 3165 chg sides, 47165 chg coeffs, 618249 upgd conss, 0 impls, 91402 clqs
273.69/274.41 c (round 139, exhaustive) 12894 del vars, 262308 del conss, 5907 add conss, 7012 chg bounds, 3165 chg sides, 47183 chg coeffs, 618249 upgd conss, 0 impls, 91346 clqs
273.88/274.61 c (round 140, fast) 12894 del vars, 262784 del conss, 5991 add conss, 7012 chg bounds, 3165 chg sides, 47519 chg coeffs, 618249 upgd conss, 0 impls, 91346 clqs
277.47/278.29 c (round 141, exhaustive) 12922 del vars, 262784 del conss, 5991 add conss, 7012 chg bounds, 3165 chg sides, 47519 chg coeffs, 618249 upgd conss, 0 impls, 91290 clqs
277.67/278.48 c (round 142, fast) 12922 del vars, 263260 del conss, 6075 add conss, 7012 chg bounds, 3165 chg sides, 47855 chg coeffs, 618249 upgd conss, 0 impls, 91290 clqs
281.37/282.11 c (round 143, exhaustive) 12950 del vars, 263260 del conss, 6075 add conss, 7012 chg bounds, 3165 chg sides, 47855 chg coeffs, 618249 upgd conss, 0 impls, 91234 clqs
281.57/282.31 c (round 144, fast) 12950 del vars, 263736 del conss, 6159 add conss, 7012 chg bounds, 3165 chg sides, 48191 chg coeffs, 618249 upgd conss, 0 impls, 91234 clqs
285.16/285.98 c (round 145, exhaustive) 12978 del vars, 263736 del conss, 6159 add conss, 7012 chg bounds, 3165 chg sides, 48191 chg coeffs, 618249 upgd conss, 0 impls, 91178 clqs
285.36/286.18 c (round 146, fast) 12978 del vars, 264212 del conss, 6243 add conss, 7012 chg bounds, 3165 chg sides, 48527 chg coeffs, 618249 upgd conss, 0 impls, 91178 clqs
289.04/289.85 c (round 147, exhaustive) 13006 del vars, 264212 del conss, 6243 add conss, 7012 chg bounds, 3165 chg sides, 48527 chg coeffs, 618249 upgd conss, 0 impls, 91122 clqs
289.25/290.04 c (round 148, fast) 13006 del vars, 264688 del conss, 6327 add conss, 7012 chg bounds, 3165 chg sides, 48863 chg coeffs, 618249 upgd conss, 0 impls, 91122 clqs
292.93/293.73 c (round 149, exhaustive) 13034 del vars, 264688 del conss, 6327 add conss, 7012 chg bounds, 3165 chg sides, 48863 chg coeffs, 618249 upgd conss, 0 impls, 91066 clqs
293.13/293.93 c (round 150, fast) 13034 del vars, 265164 del conss, 6411 add conss, 7012 chg bounds, 3165 chg sides, 49199 chg coeffs, 618249 upgd conss, 0 impls, 91066 clqs
296.73/297.57 c (round 151, exhaustive) 13062 del vars, 265164 del conss, 6411 add conss, 7012 chg bounds, 3165 chg sides, 49199 chg coeffs, 618249 upgd conss, 0 impls, 91010 clqs
296.93/297.77 c (round 152, fast) 13062 del vars, 265640 del conss, 6495 add conss, 7012 chg bounds, 3165 chg sides, 49535 chg coeffs, 618249 upgd conss, 0 impls, 91010 clqs
303.60/304.49 c (304.5s) probing: 494/24875 (2.0%) - 2127 fixings, 0 aggregations, 0 implications, 0 bound changes
303.60/304.49 c (304.5s) probing aborted: 50/50 successive totally useless probings
303.60/304.49 c (round 153, exhaustive) 13086 del vars, 265640 del conss, 6495 add conss, 7012 chg bounds, 3165 chg sides, 49535 chg coeffs, 618249 upgd conss, 0 impls, 90962 clqs
303.80/304.69 c (round 154, fast) 13086 del vars, 266048 del conss, 6567 add conss, 7012 chg bounds, 3165 chg sides, 49823 chg coeffs, 618249 upgd conss, 0 impls, 90962 clqs
307.39/308.22 c (308.2s) probing: 499/24875 (2.0%) - 2127 fixings, 0 aggregations, 0 implications, 0 bound changes
307.39/308.22 c (308.2s) probing aborted: 50/50 successive totally useless probings
311.09/311.91 c (311.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
312.68/313.56 c (313.6s) no symmetry present (symcode time: 0.22)
313.78/314.69 c presolving (155 rounds: 155 fast, 78 medium, 77 exhaustive):
313.78/314.69 c 13086 deleted vars, 266048 deleted constraints, 6567 added constraints, 7012 tightened bounds, 0 added holes, 3165 changed sides, 49823 changed coefficients
313.78/314.69 c 0 implications, 90962 cliques
313.78/314.69 c presolved problem has 22748 variables (22748 bin, 0 int, 0 impl, 0 cont) and 576029 constraints
313.78/314.69 c 75187 constraints of type <knapsack>
313.78/314.69 c 90911 constraints of type <setppc>
313.78/314.69 c 1 constraints of type <linear>
313.78/314.69 c 409930 constraints of type <logicor>
313.78/314.69 c transformed objective value is always integral (scale: 1)
313.78/314.69 c Presolving Time: 311.48
313.78/314.69 c - non default parameters ----------------------------------------------------------------------
313.78/314.69 c # SCIP version 10.0.0
313.78/314.69 c
313.78/314.69 c # maximal time in seconds to run
313.78/314.69 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
313.78/314.69 c limits/time = 3596.997014
313.78/314.69 c
313.78/314.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
313.78/314.69 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
313.78/314.69 c limits/memory = 27900
313.78/314.69 c
313.78/314.69 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
313.78/314.69 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
313.78/314.69 c limits/solutions = 1
313.78/314.69 c
313.78/314.69 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.
313.78/314.69 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
313.78/314.69 c misc/usesymmetry = 3
313.78/314.69 c
313.78/314.69 c # belongs reading time to solving time?
313.78/314.69 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
313.78/314.69 c timing/reading = TRUE
313.78/314.69 c
313.78/314.69 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
313.78/314.69 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
313.78/314.69 c propagating/symmetry/detectdoublelex = FALSE
313.78/314.69 c
313.78/314.69 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
313.78/314.69 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
313.78/314.69 c propagating/symmetry/detectsubgroups = FALSE
313.78/314.69 c
313.78/314.69 c # Type of symmetries that shall be computed?
313.78/314.69 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
313.78/314.69 c propagating/symmetry/symtype = 1
313.78/314.69 c
313.78/314.69 c # Should components consisting of a single full reflection be handled?
313.78/314.69 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
313.78/314.69 c propagating/symmetry/usesimplesgncomp = FALSE
313.78/314.69 c
313.78/314.69 c -----------------------------------------------------------------------------------------------
313.78/314.69 c start solving
313.88/314.72 c
318.47/319.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
318.47/319.38 c 319s| 1 | 0 | 3004 | - | 3559M | 0 | 22k| 576k| 576k| 0 | 0 | 114 | 0 | 0.000000e+00 | -- | Inf | unknown
478.71/480.19 c 480s| 1 | 0 | 8742 | - | 3635M | 0 | 22k| 575k| 576k| 8 | 1 | 115 | 0 | 0.000000e+00 | -- | Inf | unknown
599.08/600.96 c 601s| 1 | 0 | 9466 | - | 3691M | 0 | 22k| 575k| 576k| 24 | 2 | 115 | 0 | 0.000000e+00 | -- | Inf | unknown
694.15/696.36 c 696s| 1 | 0 | 9620 | - | 3747M | 0 | 22k| 575k| 576k| 31 | 3 | 116 | 0 | 0.000000e+00 | -- | Inf | unknown
880.70/883.50 c 883s| 1 | 0 | 9792 | - | 3818M | 0 | 22k| 575k| 576k| 37 | 4 | 118 | 0 | 0.000000e+00 | -- | Inf | unknown
1044.60/1048.02 c 1048s| 1 | 0 | 9903 | - | 3890M | 0 | 22k| 575k| 576k| 48 | 5 | 118 | 0 | 0.000000e+00 | -- | Inf | unknown
1256.17/1260.47 c 1260s| 1 | 0 | 10836 | - | 3968M | 0 | 22k| 575k| 576k| 55 | 6 | 118 | 0 | 0.000000e+00 | -- | Inf | unknown
1335.93/1340.58 c 1341s| 1 | 0 | 11459 | - | 4024M | 0 | 22k| 575k| 576k| 65 | 7 | 119 | 0 | 0.000000e+00 | -- | Inf | unknown
1357.73/1362.47 c 1362s| 1 | 0 | 11701 | - | 4080M | 0 | 22k| 575k| 576k| 79 | 8 | 121 | 0 | 0.000000e+00 | -- | Inf | unknown
1374.06/1378.90 c 1379s| 1 | 0 | 12170 | - | 4137M | 0 | 22k| 575k| 576k| 88 | 9 | 122 | 0 | 0.000000e+00 | -- | Inf | unknown
1387.31/1392.12 c 1392s| 1 | 0 | 12916 | - | 4192M | 0 | 22k| 575k| 576k| 98 | 10 | 129 | 0 | 0.000000e+00 | -- | Inf | unknown
1391.69/1396.54 c 1397s| 1 | 0 | 13637 | - | 4247M | 0 | 22k| 575k| 576k| 112 | 11 | 139 | 0 | 0.000000e+00 | -- | Inf | unknown
1395.19/1400.06 c 1400s| 1 | 0 | 14213 | - | 4303M | 0 | 22k| 575k| 576k| 129 | 12 | 147 | 0 | 0.000000e+00 | -- | Inf | unknown
1397.08/1402.00 c 1402s| 1 | 0 | 14435 | - | 4358M | 0 | 22k| 575k| 576k| 142 | 13 | 148 | 0 | 0.000000e+00 | -- | Inf | unknown
1398.18/1403.07 c 1403s| 1 | 0 | 14502 | - | 4413M | 0 | 22k| 575k| 576k| 152 | 14 | 151 | 0 | 0.000000e+00 | -- | Inf | unknown
1452.50/1457.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1452.50/1457.56 c 1458s| 1 | 2 | 25843 | - | 4422M | 0 | 22k| 575k| 576k| 152 | 14 | 163 | 19 | 0.000000e+00 | -- | Inf | unknown
3586.43/3597.05 c
3586.43/3597.05 c SCIP Status : solving was interrupted [time limit reached]
3586.43/3597.05 c Solving Time (sec) : 3597.04
3586.43/3597.05 c Solving Nodes : 11
3586.43/3597.05 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.43/3597.05 c Dual Bound : +0.00000000000000e+00
3586.43/3597.05 c Gap : infinite
3586.43/3597.05 s UNKNOWN
3586.43/3597.05 c SCIP Status : solving was interrupted [time limit reached]
3586.43/3597.05 c Total Time : 3597.04
3586.43/3597.05 c solving : 3597.04
3586.43/3597.05 c presolving : 311.48 (included in solving)
3586.43/3597.05 c reading : 1.87 (included in solving)
3586.43/3597.05 c copying : 1.82 (2 #copies) (minimal 0.89, maximal 0.93, average 0.91)
3586.43/3597.05 c Original Problem :
3586.43/3597.05 c Problem name : HOME/instance-4446375-1721332366.opb
3586.43/3597.05 c Variables : 35834 (35834 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.43/3597.05 c Constraints : 835510 initial, 835510 maximal
3586.43/3597.05 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.43/3597.05 c Presolved Problem :
3586.43/3597.05 c Problem name : t_HOME/instance-4446375-1721332366.opb
3586.43/3597.05 c Variables : 22748 (22748 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.43/3597.05 c Constraints : 576029 initial, 576124 maximal
3586.43/3597.05 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.43/3597.05 c Nonzeros : 2360116 constraint, 188174 clique table
3586.43/3597.05 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.43/3597.05 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c domcol : 29.22 0.00 75 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c dualsparsify : 3.69 0.00 1 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c gateextraction : 24.22 0.00 76 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c implics : 0.04 0.00 78 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c milp : 4.63 0.00 2 0 902 0 0 0 0 0 0 0
3586.43/3597.05 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c sparsify : 6.08 0.00 8 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c trivial : 0.13 0.00 155 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c dualfix : 0.12 0.00 155 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c probing : 31.03 0.00 75 2127 0 0 0 0 0 0 0 0
3586.43/3597.05 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c symmetry : 1.65 0.00 1 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c vbounds : 0.05 0.00 1 427 2138 0 0 0 0 0 0 0
3586.43/3597.05 c knapsack : 4.67 0.01 302 0 0 0 0 0 6566 6567 65 200
3586.43/3597.05 c setppc : 11.12 0.01 302 0 0 0 0 0 4287 0 0 0
3586.43/3597.05 c linear : 2.78 0.34 232 7012 480 0 7012 0 217260 0 3100 3700
3586.43/3597.05 c logicor : 190.14 0.84 302 0 0 0 0 0 37935 0 0 45923
3586.43/3597.05 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c components : 0.25 0.00 1 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c root node : - - - 21 - - 21 - - - - -
3586.43/3597.05 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.43/3597.05 c benderslp : 0 0 0 0 11 0 0 10 0 0 0 0 0 0 0
3586.43/3597.05 c integral : 0 0 0 0 11 0 0 10 0 0 0 0 0 0 22
3586.43/3597.05 c knapsack : 75187 75187 14 20189 0 0 0 6 95 11 0 136 21 0 0
3586.43/3597.05 c setppc : 90911+ 90924 14 20178 0 0 0 3 853 67 3348 0 0 0 0
3586.43/3597.05 c linear : 1 1 14 20111 0 0 0 3 0 1 0 0 0 0 0
3586.43/3597.05 c logicor : 409930+ 410017 14 9509 0 0 0 0 449 17 9 23 5 0 0
3586.43/3597.05 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.43/3597.05 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c integral : 26.66 0.00 0.00 0.00 26.66 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c knapsack : 9.20 0.01 0.74 8.37 0.00 0.00 0.00 0.09 0.00 0.00
3586.43/3597.05 c setppc : 4.74 0.01 0.09 4.61 0.00 0.00 0.00 0.00 0.00 0.03
3586.43/3597.05 c linear : 0.34 0.34 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c logicor : 3.03 0.84 0.81 1.34 0.00 0.00 0.00 0.00 0.00 0.04
3586.43/3597.05 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.43/3597.05 c dualfix : 1 0 0 0
3586.43/3597.05 c genvbounds : 0 0 0 0
3586.43/3597.05 c nlobbt : 0 0 0 0
3586.43/3597.05 c obbt : 0 0 0 0
3586.43/3597.05 c probing : 0 0 0 0
3586.43/3597.05 c pseudoobj : 0 0 0 0
3586.43/3597.05 c redcost : 0 0 0 0
3586.43/3597.05 c rootredcost : 0 0 0 0
3586.43/3597.05 c symmetry : 0 0 0 0
3586.43/3597.05 c vbounds : 7015 0 0 0
3586.43/3597.05 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.43/3597.05 c dualfix : 0.12 0.00 0.12 0.00 0.00 0.00
3586.43/3597.05 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c probing : 31.04 0.00 31.03 0.00 0.00 0.00
3586.43/3597.05 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.05 c symmetry : 1.65 0.00 1.65 0.00 0.00 0.00
3586.43/3597.05 c vbounds : 0.06 0.00 0.05 0.01 0.00 0.00
3586.43/3597.05 c Symmetry :
3586.43/3597.05 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.43/3597.05 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.43/3597.05 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.43/3597.05 c shadow tree time : 0.00 s
3586.43/3597.05 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.43/3597.05 c propagation : 0.00 85 85 - 284 71.8 8 8.1 - - -
3586.43/3597.05 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.43/3597.05 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.43/3597.05 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.43/3597.05 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.43/3597.05 c applied globally : 0.00 - - 0 223 20.4 - - 0 - -
3586.43/3597.05 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.43/3597.05 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.43/3597.05 c cut pool : 0.01 - 27 27 - - 1761 2837 - - - - - (maximal pool size: 1761)
3586.43/3597.05 c aggregation : 0.56 0.00 14 14 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.43/3597.05 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.43/3597.05 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.43/3597.05 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c clique : 2.15 0.00 14 14 0 0 87 191 0 50 50 0 0
3586.43/3597.05 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c gomory : 1047.09 0.00 10 10 0 0 1617 2573 0 27 27 0 0
3586.43/3597.05 c > gomorymi : - - - - - - - 1292 0 9 9 0 -
3586.43/3597.05 c > strongcg : - - - - - - - 1281 0 18 18 0 -
3586.43/3597.05 c impliedbounds : 0.08 0.00 14 14 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c mcf : 0.38 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c multilinear : 0.00 0.00 16 14 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.43/3597.05 c zerohalf : 0.74 0.00 14 14 0 0 57 73 0 49 49 0 0
3586.43/3597.05 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.43/3597.05 c hybrid : 0.01 0.00 14 14 152 0 2844 152 0 2844
3586.43/3597.05 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c Pricers : ExecTime SetupTime Calls Vars
3586.43/3597.05 c problem variables: 0.00 - 0 0
3586.43/3597.05 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.43/3597.05 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c relpscost : 26.66 0.00 11 0 0 0 0 0 0 22
3586.43/3597.05 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.05 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.43/3597.05 c LP solutions : 0.00 - - 0 0
3586.43/3597.05 c relax solutions : 0.00 - - 0 0
3586.43/3597.05 c pseudo solutions : 0.00 - - 0 0
3586.43/3597.05 c strong branching : 0.00 - - 0 0
3586.43/3597.05 c actconsdiving : 0.00 0.00 0 0 0
3586.43/3597.05 c adaptivediving : 44.92 0.00 2 0 0
3586.43/3597.05 c alns : 2.34 0.00 1 0 0
3586.43/3597.05 c bound : 0.00 0.00 0 0 0
3586.43/3597.05 c clique : 1.25 0.00 1 0 0
3586.43/3597.05 c coefdiving : 0.00 0.00 0 0 0
3586.43/3597.05 c completesol : 0.00 0.00 0 0 0
3586.43/3597.05 c conflictdiving : 22.06 0.00 1 0 0
3586.43/3597.05 c crossover : 0.00 0.00 0 0 0
3586.43/3597.05 c dins : 0.00 0.00 0 0 0
3586.43/3597.05 c distributiondivin: 127.91 0.00 2 0 0
3586.43/3597.05 c dps : 0.00 0.00 0 0 0
3586.43/3597.05 c dualval : 0.00 0.00 0 0 0
3586.43/3597.05 c farkasdiving : 0.00 0.00 0 0 0
3586.43/3597.05 c feasjump : 0.62 0.00 1 0 0
3586.43/3597.05 c feaspump : 6.10 0.00 1 0 0
3586.43/3597.05 c fixandinfer : 0.00 0.00 0 0 0
3586.43/3597.05 c fracdiving : 1.00 0.00 3 0 0
3586.43/3597.05 c gins : 0.00 0.00 0 0 0
3586.43/3597.05 c guideddiving : 0.00 0.00 0 0 0
3586.43/3597.05 c indcoefdiving : 0.00 0.00 0 0 0
3586.43/3597.05 c indicator : 0.00 0.00 0 0 0
3586.43/3597.05 c indicatordiving : 0.00 0.00 0 0 0
3586.43/3597.05 c indoneopt : 0.00 0.00 0 0 0
3586.43/3597.05 c indrounding : 0.00 0.00 0 0 0
3586.43/3597.05 c indtwoopt : 0.00 0.00 0 0 0
3586.43/3597.05 c intdiving : 0.00 0.00 0 0 0
3586.43/3597.05 c intshifting : 0.00 0.00 0 0 0
3586.43/3597.05 c linesearchdiving : 0.00 0.00 0 0 0
3586.43/3597.05 c localbranching : 0.00 0.00 0 0 0
3586.43/3597.05 c locks : 0.45 0.00 1 0 0
3586.43/3597.05 c lpface : 0.00 0.00 0 0 0
3586.43/3597.05 c mpec : 0.00 0.00 0 0 0
3586.43/3597.05 c multistart : 0.00 0.00 0 0 0
3586.43/3597.05 c mutation : 0.00 0.00 0 0 0
3586.43/3597.05 c nlpdiving : 0.00 0.00 0 0 0
3586.43/3597.05 c objpscostdiving : 1887.82 0.00 1 0 0
3586.43/3597.05 c octane : 0.00 0.00 0 0 0
3586.43/3597.05 c ofins : 0.00 0.00 0 0 0
3586.43/3597.05 c oneopt : 0.00 0.00 0 0 0
3586.43/3597.05 c padm : 0.00 0.00 0 0 0
3586.43/3597.05 c proximity : 0.00 0.00 0 0 0
3586.43/3597.05 c pscostdiving : 47.63 0.00 1 0 0
3586.43/3597.05 c randrounding : 0.94 0.00 15 0 0
3586.43/3597.05 c rens : 2.43 0.00 1 0 0
3586.43/3597.05 c reoptsols : 0.00 0.00 0 0 0
3586.43/3597.05 c repair : 0.00 0.00 0 0 0
3586.43/3597.05 c rins : 0.00 0.00 0 0 0
3586.43/3597.05 c rootsoldiving : 0.00 0.00 0 0 0
3586.43/3597.05 c rounding : 0.62 0.00 25 0 0
3586.43/3597.05 c scheduler : 0.00 0.00 0 0 0
3586.43/3597.05 c shiftandpropagate: 0.35 0.00 1 0 0
3586.43/3597.05 c shifting : 4.79 0.00 15 0 0
3586.43/3597.05 c simplerounding : 0.00 0.00 0 0 0
3586.43/3597.05 c smallcard : 0.00 0.00 0 0 0
3586.43/3597.05 c subnlp : 0.00 0.00 0 0 0
3586.43/3597.05 c trivial : 0.05 0.00 2 0 0
3586.43/3597.05 c trivialnegation : 0.00 0.00 0 0 0
3586.43/3597.05 c trustregion : 0.00 0.00 0 0 0
3586.43/3597.05 c trysol : 0.00 0.00 0 0 0
3586.43/3597.05 c twoopt : 0.00 0.00 0 0 0
3586.43/3597.05 c undercover : 0.00 0.00 0 0 0
3586.43/3597.05 c vbounds : 1.25 0.00 1 0 0
3586.43/3597.05 c veclendiving : 0.15 0.00 1 0 0
3586.43/3597.05 c zeroobj : 0.00 0.00 0 0 0
3586.43/3597.05 c zirounding : 0.17 0.00 10 0 0
3586.43/3597.05 c other solutions : - - - 0 -
3586.43/3597.05 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.43/3597.05 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
3586.43/3597.05 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
3586.43/3597.05 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
3586.43/3597.05 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
3586.43/3597.05 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
3586.43/3597.05 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
3586.43/3597.05 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
3586.43/3597.05 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
3586.43/3597.05 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
3586.43/3597.05 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.43/3597.05 c primal LP : 0.13 2 0 0.00 0.00 0.13 2
3586.43/3597.05 c dual LP : 48.78 25 28934 1157.36 593.19 0.00 0
3586.43/3597.05 c lex dual LP : 0.00 0 0 0.00 -
3586.43/3597.05 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.43/3597.05 c resolve instable : 0.00 0 0 0.00 -
3586.43/3597.05 c diving/probing LP: 2118.49 578 131160 226.92 61.91
3586.43/3597.05 c strong branching : 23.33 19 11706 616.11 501.78 - - 18
3586.43/3597.05 c (at root node) : - 19 11706 616.11 -
3586.43/3597.05 c conflict analysis: 0.00 0 0 0.00 -
3586.43/3597.05 c B&B Tree :
3586.43/3597.05 c number of runs : 1
3586.43/3597.05 c nodes : 11 (11 internal, 0 leaves)
3586.43/3597.05 c feasible leaves : 0
3586.43/3597.05 c infeas. leaves : 0
3586.43/3597.05 c objective leaves : 0
3586.43/3597.05 c nodes (total) : 11 (11 internal, 0 leaves)
3586.43/3597.05 c nodes left : 12
3586.43/3597.05 c max depth : 6
3586.43/3597.05 c max depth (total): 6
3586.43/3597.05 c backtracks : 5 (45.5%)
3586.43/3597.05 c early backtracks : 0 (0.0%)
3586.43/3597.05 c nodes exc. ref. : 0 (0.0%)
3586.43/3597.05 c delayed cutoffs : 0
3586.43/3597.05 c repropagations : 1 (0 domain reductions, 0 cutoffs)
3586.43/3597.05 c avg switch length: 2.09
3586.43/3597.05 c switching time : 0.14
3586.43/3597.05 c Root Node :
3586.43/3597.05 c First LP value : +0.00000000000000e+00
3586.43/3597.05 c First LP Iters : 3004 (4406.12 Iter/sec)
3586.43/3597.05 c First LP Time : 0.68
3586.43/3597.05 c Final Dual Bound : +0.00000000000000e+00
3586.43/3597.05 c Final Root Iters : 14502
3586.43/3597.05 c Root LP Estimate : +2.88776739993828e-03
3586.43/3597.05 c Solution :
3586.43/3597.05 c Solutions found : 0 (0 improvements)
3586.43/3597.05 c Primal Bound : -
3586.43/3597.05 c Dual Bound : +0.00000000000000e+00
3586.43/3597.05 c Gap : infinite
3586.43/3597.05 c Integrals : Total Avg%
3586.43/3597.05 c primal-dual : 359704.02 100.00
3586.43/3597.05 c primal-ref : - - (not evaluated)
3586.43/3597.05 c dual-ref : - - (not evaluated)
3587.92/3598.53 c Time complete: 3587.96.
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: 63931 MiB (61772 MiB free)
memory of node 1: 64510 MiB (56082 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446375-1721332366/watcher-4446375-1721332366 -o /tmp/evaluation-result-4446375-1721332366/solver-4446375-1721332366 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721328778-973106 --watchdog 3760 pbscip -f HOME/instance-4446375-1721332366.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
solver pid=975329, runsolver pid=975326
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.44 4.31 4.19 5/257 975330
/proc/meminfo: memFree=120652944/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=84988 memory=44508 CPUtime=0.1 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 8171 0 0 0 9 1 0 0 20 0 1 0 185396882 87027712 11127 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 21247 11127 3297 3540 0 9504 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 84988 KiB
Current children cumulated memory: 44508 KiB
[startup+0.205681 s]*
/proc/loadavg: 4.44 4.31 4.19 5/257 975330
/proc/meminfo: memFree=120626232/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=112168 memory=71152 CPUtime=0.2 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 14800 0 0 0 18 2 0 0 20 0 1 0 185396882 114860032 17788 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 28042 17788 3297 3540 0 16299 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112168 KiB
Current children cumulated memory: 71152 KiB
[startup+0.305587 s]*
/proc/loadavg: 4.44 4.31 4.19 5/257 975330
/proc/meminfo: memFree=120599884/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=140248 memory=98476 CPUtime=0.3 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 21675 0 0 0 28 2 0 0 20 0 1 0 185396882 143613952 24619 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 35062 24619 3297 3540 0 23319 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 140248 KiB
Current children cumulated memory: 98476 KiB
[startup+0.70022 s]
/proc/loadavg: 4.44 4.31 4.19 5/257 975330
/proc/meminfo: memFree=120553040/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=232420 memory=191404 CPUtime=0.69 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 44365 0 0 0 63 6 0 0 20 0 1 0 185396882 237998080 47851 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 58105 47851 3297 3540 0 46362 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 232420 KiB
Current children cumulated memory: 191404 KiB
[startup+1.50023 s]
/proc/loadavg: 4.44 4.31 4.19 5/257 975330
/proc/meminfo: memFree=120435612/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=422684 memory=381548 CPUtime=1.48 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 89861 0 0 0 136 12 0 0 20 0 1 0 185396882 432828416 95387 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 105671 95387 3297 3540 0 93928 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 422684 KiB
Current children cumulated memory: 381548 KiB
[startup+3.10584 s]
/proc/loadavg: 4.40 4.31 4.18 5/257 975330
/proc/meminfo: memFree=119665816/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=1136244 memory=1091872 CPUtime=3.08 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 258319 0 0 0 268 40 0 0 20 0 1 0 185396882 1163513856 272968 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 284061 272968 3585 3540 0 272318 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1136244 KiB
Current children cumulated memory: 1091872 KiB
[startup+6.30022 s]
/proc/loadavg: 4.40 4.31 4.18 5/257 975332
/proc/meminfo: memFree=119095144/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=1681604 memory=1625824 CPUtime=6.27 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 304217 0 0 0 566 61 0 0 20 0 1 0 185396882 1721962496 406456 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 420401 406456 3760 3540 0 408658 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1681604 KiB
Current children cumulated memory: 1625824 KiB
[startup+12.7002 s]
/proc/loadavg: 4.34 4.29 4.18 5/257 975332
/proc/meminfo: memFree=118599708/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=1647168 memory=1591868 CPUtime=12.66 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 375419 0 0 0 1192 74 0 0 20 0 1 0 185396882 1686700032 397967 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 411792 397967 3808 3540 0 400049 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1647168 KiB
Current children cumulated memory: 1591868 KiB
[startup+25.5002 s]
/proc/loadavg: 4.29 4.28 4.18 5/257 975336
/proc/meminfo: memFree=118547572/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=1661764 memory=1606104 CPUtime=25.42 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 376983 0 0 0 2467 75 0 0 20 0 1 0 185396882 1701646336 401526 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 415441 401526 3824 3540 0 403698 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1661764 KiB
Current children cumulated memory: 1606104 KiB
[startup+51.1055 s]
/proc/loadavg: 4.26 4.28 4.18 5/257 975385
/proc/meminfo: memFree=123362988/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=1677292 memory=1621488 CPUtime=50.97 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 380455 0 0 0 5020 77 0 0 20 0 1 0 185396882 1717547008 405372 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 419323 405372 3824 3540 0 407580 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1677292 KiB
Current children cumulated memory: 1621488 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.26 4.18 5/257 975396
/proc/meminfo: memFree=123259312/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=1708152 memory=1652252 CPUtime=102.04 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 387272 0 0 0 10125 79 0 0 20 0 1 0 185396882 1749147648 413063 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 427038 413063 3824 3540 0 415295 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1708152 KiB
Current children cumulated memory: 1652252 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.21 4.17 5/257 975789
/proc/meminfo: memFree=122990464/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=1745832 memory=1689540 CPUtime=161.88 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 395646 0 0 0 16106 82 0 0 20 0 1 0 185396882 1787731968 422385 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 436458 422385 3824 3540 0 424715 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 1745832 KiB
Current children cumulated memory: 1689540 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.20 4.17 5/258 975801
/proc/meminfo: memFree=122477756/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=1922068 memory=1857324 CPUtime=221.72 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 414690 0 0 0 22084 88 0 0 20 0 1 0 185396882 1968197632 464331 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 480517 464331 3824 3540 0 468774 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 1922068 KiB
Current children cumulated memory: 1857324 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.19 4.17 5/258 975812
/proc/meminfo: memFree=122424648/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=1908208 memory=1845216 CPUtime=281.57 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 442904 0 0 0 28052 105 0 0 20 0 1 0 185396882 1954004992 461304 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 477052 461304 3824 3540 0 465309 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 1908208 KiB
Current children cumulated memory: 1845216 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.17 4.16 5/257 975991
/proc/meminfo: memFree=120607664/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=3888596 memory=3656928 CPUtime=341.39 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 610427 0 0 0 33982 157 0 0 20 0 1 0 185396882 3981922304 914232 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 972149 914232 4016 3540 0 960406 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 3888596 KiB
Current children cumulated memory: 3656928 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.15 4.16 5/257 976001
/proc/meminfo: memFree=120586612/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=3888596 memory=3657056 CPUtime=401.16 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 610468 0 0 0 39959 157 0 0 20 0 1 0 185396882 3981922304 914264 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 972149 914264 4016 3540 0 960406 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 3888596 KiB
Current children cumulated memory: 3657056 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/256 976013
/proc/meminfo: memFree=120442040/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=3888596 memory=3657056 CPUtime=460.96 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 610558 0 0 0 45937 159 0 0 20 0 1 0 185396882 3981922304 914264 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 972149 914264 4016 3540 0 960406 0
################
# More data... #
################
/proc/loadavg: 4.04 4.10 4.09 5/255 977196
/proc/meminfo: memFree=121015560/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=5525588 memory=4572376 CPUtime=3212.66 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 833829 0 0 0 320972 294 0 0 20 0 1 0 185396882 5658202112 1143094 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 1381397 1143094 4064 3540 0 1369654 0
Current children cumulated CPU time: 3212.66 s
Current children cumulated vsize: 5525588 KiB
Current children cumulated memory: 4572376 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 977207
/proc/meminfo: memFree=121013460/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=5525588 memory=4573716 CPUtime=3272.5 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 834587 0 0 0 326955 295 0 0 20 0 1 0 185396882 5658202112 1143429 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 1381397 1143429 4064 3540 0 1369654 0
Current children cumulated CPU time: 3272.5 s
Current children cumulated vsize: 5525588 KiB
Current children cumulated memory: 4573716 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 977218
/proc/meminfo: memFree=121010584/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=5525588 memory=4575832 CPUtime=3332.34 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 835212 0 0 0 332937 297 0 0 20 0 1 0 185396882 5658202112 1143958 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 1381397 1143958 4064 3540 0 1369654 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 5525588 KiB
Current children cumulated memory: 4575832 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 977229
/proc/meminfo: memFree=121009444/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=5525588 memory=4576276 CPUtime=3392.18 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 835697 0 0 0 338921 297 0 0 20 0 1 0 185396882 5658202112 1144069 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 1381397 1144069 4064 3540 0 1369654 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 5525588 KiB
Current children cumulated memory: 4576276 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/257 977243
/proc/meminfo: memFree=121006508/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=5525588 memory=4576456 CPUtime=3452.04 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 836338 0 0 0 344906 298 0 0 20 0 1 0 185396882 5658202112 1144114 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 1381397 1144114 4064 3540 0 1369654 0
Current children cumulated CPU time: 3452.04 s
Current children cumulated vsize: 5525588 KiB
Current children cumulated memory: 4576456 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 977254
/proc/meminfo: memFree=121002132/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=5525588 memory=4580072 CPUtime=3511.9 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 836965 0 0 0 350890 300 0 0 20 0 1 0 185396882 5658202112 1145018 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 1381397 1145018 4064 3540 0 1369654 0
Current children cumulated CPU time: 3511.9 s
Current children cumulated vsize: 5525588 KiB
Current children cumulated memory: 4580072 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/256 977264
/proc/meminfo: memFree=121001312/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=5525588 memory=4580072 CPUtime=3571.76 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 838010 0 0 0 356875 301 0 0 20 0 1 0 185396882 5658202112 1145018 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 1381397 1145018 4064 3540 0 1369654 0
Current children cumulated CPU time: 3571.76 s
Current children cumulated vsize: 5525588 KiB
Current children cumulated memory: 4580072 KiB
[startup+3598.56 s]
# the end of solver process 975329 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.9 s, system=3.07888 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.29 4.14 4.10 5/256 977264
/proc/meminfo: memFree=121001312/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=5525588 memory=4580072 CPUtime=3573.46 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 838010 0 0 0 357045 301 0 0 20 0 1 0 185396882 5658202112 1145018 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 1381397 1145018 4064 3540 0 1369654 0
Current children cumulated CPU time: 3573.46 s
Current children cumulated vsize: 5525588 KiB
Current children cumulated memory: 4580072 KiB
[startup+3590.4 s]
/proc/loadavg: 4.34 4.16 4.11 5/256 977266
/proc/meminfo: memFree=121001312/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=5525588 memory=4580072 CPUtime=3579.84 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 838011 0 0 0 357683 301 0 0 20 0 1 0 185396882 5658202112 1145018 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 1381397 1145018 4064 3540 0 1369654 0
Current children cumulated CPU time: 3579.84 s
Current children cumulated vsize: 5525588 KiB
Current children cumulated memory: 4580072 KiB
[startup+3593.6 s]
/proc/loadavg: 4.40 4.17 4.11 5/256 977266
/proc/meminfo: memFree=121001168/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=5525588 memory=4580072 CPUtime=3583.03 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 838011 0 0 0 358002 301 0 0 20 0 1 0 185396882 5658202112 1145018 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 1381397 1145018 4064 3540 0 1369654 0
Current children cumulated CPU time: 3583.03 s
Current children cumulated vsize: 5525588 KiB
Current children cumulated memory: 4580072 KiB
[startup+3596.8 s]
/proc/loadavg: 4.40 4.17 4.11 5/256 977313
/proc/meminfo: memFree=122098268/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=5525588 memory=4580072 CPUtime=3586.22 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 838276 0 0 0 358321 301 0 0 20 0 1 0 185396882 5658202112 1145018 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 1381397 1145018 4064 3540 0 1369654 0
Current children cumulated CPU time: 3586.22 s
Current children cumulated vsize: 5525588 KiB
Current children cumulated memory: 4580072 KiB
[startup+3597.6 s]
/proc/loadavg: 4.40 4.17 4.11 5/256 977313
/proc/meminfo: memFree=122084612/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=5466500 memory=4520984 CPUtime=3587.02 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 838625 0 0 0 358401 301 0 0 20 0 1 0 185396882 5597696000 1130246 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 1366625 1130246 4064 3540 0 1354882 0
Current children cumulated CPU time: 3587.02 s
Current children cumulated vsize: 5466500 KiB
Current children cumulated memory: 4520984 KiB
[startup+3598 s]*
/proc/loadavg: 4.45 4.19 4.12 5/256 977313
/proc/meminfo: memFree=122143672/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=5466500 memory=4520984 CPUtime=3587.42 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 838639 0 0 0 358441 301 0 0 20 0 1 0 185396882 5597696000 1130246 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 1366625 1130246 4064 3540 0 1354882 0
Current children cumulated CPU time: 3587.42 s
Current children cumulated vsize: 5466500 KiB
Current children cumulated memory: 4520984 KiB
[startup+3598.4 s]
/proc/loadavg: 4.45 4.19 4.12 5/256 977313
/proc/meminfo: memFree=122143672/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=4893532 memory=3958484 CPUtime=3587.82 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 841031 0 0 0 358479 303 0 0 20 0 1 0 185396882 5010976768 989621 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 1223383 989621 4064 3540 0 1211640 0
Current children cumulated CPU time: 3587.82 s
Current children cumulated vsize: 4893532 KiB
Current children cumulated memory: 3958484 KiB
[startup+3598.5 s]
/proc/loadavg: 4.45 4.19 4.12 5/256 977313
/proc/meminfo: memFree=122143672/131524600 swapFree=131071996/131071996
[pid=975329] ppid=975326 vsize=4761604 memory=3825968 CPUtime=3587.92 cores=4,6
/proc/975329/stat : 975329 (pbscip) R 975326 975329 973095 0 -1 4194304 841592 0 0 0 358488 304 0 0 20 0 1 0 185396882 4875882496 956590 134679101440 4194304 18693293 140723887531200 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29216768 140723887535107 140723887535206 140723887535206 140723887542222 0
/proc/975329/statm: 1190303 956541 4064 3540 0 1178560 0
Current children cumulated CPU time: 3587.92 s
Current children cumulated vsize: 4761604 KiB
Current children cumulated memory: 3825968 KiB
Child status: 0
Real time (s): 3598.56
CPU time (s): 3587.98
CPU user time (s): 3584.9
CPU system time (s): 3.07888
CPU usage (%): 99.7062
Max. virtual memory (cumulated for all children) (KiB): 5527172
Max. memory (cumulated for all children) (KiB): 4580072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.9
system time used= 3.07888
maximum resident set size= 4580072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 841934
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= 24
involuntary context switches= 1408
# summary of solver processes directly reported to runsolver:
# pid: 975329
# total CPU time (s): 3587.98
# total CPU user time (s): 3584.9
# total CPU system time (s): 3.07888
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95096 second user time and 16.7364 second system time
The end
Begin job on nodeC015 at 2024-07-18 21:52:59 IDJOB=4446375 IDBENCH=155570 IDSOLVER=3059 FILE ID=nodeC015/4446375-1721332366 RUNJOBID= nodeC015-1721328778-973106 SLURM_JOB_ID= 7542690 Free space on /tmp= 889932 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-139.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446375-1721332366/watcher-4446375-1721332366 -o /tmp/evaluation-result-4446375-1721332366/solver-4446375-1721332366 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721328778-973106 --watchdog 3760 pbscip -f HOME/instance-4446375-1721332366.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b1a9bb408d678f4e4f75286e8bd2bbb9 RANDOM SEED=140154675 nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3672.528 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3686.328 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 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 : 3603.750 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3599.853 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 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 : 3670.476 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3686.325 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 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 : 3665.432 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3599.875 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 120683764 kB MemAvailable: 121900108 kB Buffers: 501668 kB Cached: 1541660 kB SwapCached: 0 kB Active: 1671372 kB Inactive: 8519656 kB Active(anon): 1556 kB Inactive(anon): 8183856 kB Active(file): 1669816 kB Inactive(file): 335800 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 55288 kB Writeback: 0 kB AnonPages: 8146024 kB Mapped: 140032 kB Shmem: 37720 kB KReclaimable: 100752 kB Slab: 213444 kB SReclaimable: 100752 kB SUnreclaim: 112692 kB KernelStack: 4128 kB PageTables: 26116 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 11766384 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 68224 kB HardwareCorrupted: 0 kB AnonHugePages: 5668864 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 291540 kB DirectMap2M: 38279168 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 889964 MiB End job on nodeC015 at 2024-07-18 22:52:57