| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3585.31 | 3597.09 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-ns903616.0.u.opb |
| MD5SUM | 851dd7bb62635ec66e2461b484912a91 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 21582 |
| Total number of constraints | 17547 |
| Number of constraints which are clauses | 6313 |
| Number of constraints which are cardinality constraints (but not clauses) | 344 |
| Number of constraints which are nor clauses,nor cardinality constraints | 10890 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 221 |
| 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 | 18 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 221 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-4452425-1721442110.opb>
0.00/0.06 c original problem has 21582 variables (21582 bin, 0 int, 0 impl, 0 cont) and 17547 constraints
0.00/0.06 c problem read in 0.06
0.00/0.06 c No objective function, only one solution is needed.
0.09/0.11 c presolving:
0.09/0.16 c (round 1, fast) 5373 del vars, 4070 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 13083 clqs
0.09/0.17 c (round 2, fast) 5988 del vars, 4604 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12942 clqs
0.09/0.20 c (0.2s) running MILP presolver
0.49/0.53 c (0.5s) MILP presolver (16 rounds): 2 aggregations, 213 fixings, 0 bound changes
0.49/0.54 c (round 3, medium) 6217 del vars, 4604 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12808 clqs
0.49/0.54 c (round 4, fast) 6290 del vars, 4759 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12775 clqs
0.49/0.54 c (round 5, fast) 6290 del vars, 4771 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 12775 clqs
0.49/0.60 c (round 6, exhaustive) 6290 del vars, 4771 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 12775 clqs
0.89/0.99 c (round 7, exhaustive) 6316 del vars, 4771 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 27492 clqs
0.89/0.99 c (round 8, fast) 6316 del vars, 4784 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 27492 clqs
1.19/1.25 c (round 9, exhaustive) 6341 del vars, 4784 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 39918 clqs
1.19/1.25 c (round 10, fast) 6341 del vars, 4808 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 39918 clqs
1.59/1.64 c (round 11, exhaustive) 6367 del vars, 4808 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 55555 clqs
1.59/1.64 c (round 12, fast) 6367 del vars, 4825 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 55555 clqs
2.18/2.22 c (round 13, exhaustive) 6401 del vars, 4825 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70058 clqs
2.18/2.22 c (round 14, fast) 6410 del vars, 4843 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70058 clqs
2.48/2.51 c (round 15, exhaustive) 6435 del vars, 4843 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70550 clqs
2.48/2.52 c (round 16, fast) 6435 del vars, 4861 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70550 clqs
2.58/2.61 c (2.6s) probing: 1000/15766 (6.3%) - 132 fixings, 0 aggregations, 87596 implications, 0 bound changes
2.68/2.75 c (round 17, exhaustive) 6461 del vars, 4861 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70544 clqs
2.68/2.76 c (round 18, fast) 6461 del vars, 4880 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70544 clqs
2.99/3.03 c (round 19, exhaustive) 6486 del vars, 4880 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70674 clqs
2.99/3.03 c (round 20, fast) 6486 del vars, 4901 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70674 clqs
2.99/3.05 c (round 21, exhaustive) 6486 del vars, 5005 del conss, 0 add conss, 4883 chg bounds, 0 chg sides, 0 chg coeffs, 12776 upgd conss, 0 impls, 70674 clqs
2.99/3.06 c (round 22, medium) 6501 del vars, 5010 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 70522 clqs
3.48/3.55 c (round 23, exhaustive) 6528 del vars, 5011 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 70718 clqs
3.48/3.56 c (round 24, fast) 6528 del vars, 5030 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 70718 clqs
3.58/3.69 c (round 25, exhaustive) 6528 del vars, 7302 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 70718 clqs
3.58/3.70 c (round 26, fast) 6701 del vars, 7353 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 70048 clqs
3.68/3.70 c (round 27, fast) 6769 del vars, 7417 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 69740 clqs
3.68/3.70 c (round 28, fast) 6854 del vars, 7448 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 69424 clqs
3.68/3.71 c (round 29, fast) 6886 del vars, 7476 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 69305 clqs
3.68/3.71 c (round 30, fast) 6926 del vars, 7490 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 69134 clqs
3.68/3.71 c (round 31, fast) 6940 del vars, 7503 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 69036 clqs
3.68/3.72 c (round 32, fast) 6959 del vars, 7508 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 68955 clqs
3.68/3.73 c (round 33, medium) 7069 del vars, 7607 del conss, 0 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 65510 clqs
3.68/3.73 c (round 34, fast) 7073 del vars, 7631 del conss, 24 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 65516 clqs
3.68/3.77 c (round 35, exhaustive) 7074 del vars, 7794 del conss, 24 add conss, 4883 chg bounds, 1 chg sides, 1 chg coeffs, 12776 upgd conss, 0 impls, 65490 clqs
3.68/3.78 c (round 36, medium) 7090 del vars, 7802 del conss, 24 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12776 upgd conss, 0 impls, 65429 clqs
3.78/3.80 c (round 37, exhaustive) 7095 del vars, 7806 del conss, 24 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12800 upgd conss, 0 impls, 65416 clqs
3.78/3.80 c (round 38, medium) 7112 del vars, 7823 del conss, 24 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12800 upgd conss, 0 impls, 64738 clqs
3.78/3.82 c (round 39, exhaustive) 7114 del vars, 7827 del conss, 26 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12802 upgd conss, 0 impls, 64627 clqs
4.18/4.25 c (round 40, exhaustive) 7141 del vars, 7830 del conss, 27 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12803 upgd conss, 0 impls, 71457 clqs
4.18/4.26 c (round 41, fast) 7144 del vars, 7854 del conss, 27 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12803 upgd conss, 0 impls, 71420 clqs
4.18/4.28 c (round 42, medium) 7162 del vars, 7870 del conss, 27 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12803 upgd conss, 0 impls, 71279 clqs
4.18/4.29 c (round 43, fast) 7162 del vars, 7874 del conss, 31 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12803 upgd conss, 0 impls, 71289 clqs
4.58/4.65 c (4.6s) probing: 2000/15766 (12.7%) - 245 fixings, 0 aggregations, 181005 implications, 0 bound changes
4.77/4.81 c (round 44, exhaustive) 7188 del vars, 7875 del conss, 31 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12807 upgd conss, 0 impls, 71427 clqs
4.77/4.82 c (round 45, fast) 7188 del vars, 7895 del conss, 31 add conss, 4883 chg bounds, 2 chg sides, 2 chg coeffs, 12807 upgd conss, 0 impls, 71427 clqs
4.77/4.83 c (round 46, medium) 7209 del vars, 7910 del conss, 31 add conss, 4883 chg bounds, 3 chg sides, 3 chg coeffs, 12807 upgd conss, 0 impls, 71321 clqs
4.77/4.83 c (round 47, fast) 7212 del vars, 7918 del conss, 38 add conss, 4883 chg bounds, 3 chg sides, 3 chg coeffs, 12807 upgd conss, 0 impls, 71326 clqs
4.77/4.85 c (round 48, exhaustive) 7213 del vars, 7932 del conss, 38 add conss, 4883 chg bounds, 3 chg sides, 3 chg coeffs, 12807 upgd conss, 0 impls, 71324 clqs
5.37/5.40 c (round 49, exhaustive) 7239 del vars, 7932 del conss, 38 add conss, 4883 chg bounds, 3 chg sides, 3 chg coeffs, 12814 upgd conss, 0 impls, 71274 clqs
5.37/5.41 c (round 50, fast) 7241 del vars, 7950 del conss, 38 add conss, 4883 chg bounds, 3 chg sides, 3 chg coeffs, 12814 upgd conss, 0 impls, 71239 clqs
5.37/5.42 c (round 51, medium) 7263 del vars, 7961 del conss, 38 add conss, 4883 chg bounds, 6 chg sides, 6 chg coeffs, 12814 upgd conss, 0 impls, 71189 clqs
5.37/5.42 c (round 52, fast) 7291 del vars, 7968 del conss, 42 add conss, 4883 chg bounds, 6 chg sides, 6 chg coeffs, 12814 upgd conss, 0 impls, 71056 clqs
5.37/5.43 c (round 53, exhaustive) 7293 del vars, 7971 del conss, 43 add conss, 4883 chg bounds, 6 chg sides, 6 chg coeffs, 12819 upgd conss, 0 impls, 71052 clqs
6.08/6.12 c (round 54, exhaustive) 7326 del vars, 7975 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71583 clqs
6.08/6.13 c (round 55, fast) 7348 del vars, 8001 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71534 clqs
6.08/6.14 c (round 56, medium) 7357 del vars, 8010 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71372 clqs
6.08/6.15 c (round 57, exhaustive) 7358 del vars, 8018 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71372 clqs
6.17/6.25 c (6.3s) probing: 3000/15766 (19.0%) - 307 fixings, 0 aggregations, 280909 implications, 0 bound changes
6.67/6.72 c (round 58, exhaustive) 7383 del vars, 8018 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71611 clqs
6.67/6.72 c (round 59, fast) 7385 del vars, 8040 del conss, 44 add conss, 4883 chg bounds, 7 chg sides, 7 chg coeffs, 12820 upgd conss, 0 impls, 71605 clqs
6.67/6.73 c (round 60, medium) 7401 del vars, 8046 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 71521 clqs
6.67/6.74 c (round 61, fast) 7414 del vars, 8047 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 71465 clqs
7.37/7.46 c (round 62, exhaustive) 7805 del vars, 8048 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 70027 clqs
7.37/7.47 c (round 63, fast) 7877 del vars, 8363 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 69763 clqs
7.37/7.47 c (round 64, fast) 7978 del vars, 8413 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 69222 clqs
7.37/7.48 c (round 65, fast) 8053 del vars, 8461 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 68851 clqs
7.37/7.48 c (round 66, fast) 8092 del vars, 8480 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 68696 clqs
7.37/7.48 c (round 67, fast) 8105 del vars, 8490 del conss, 44 add conss, 4883 chg bounds, 8 chg sides, 8 chg coeffs, 12820 upgd conss, 0 impls, 68656 clqs
7.47/7.51 c (7.5s) running MILP presolver
7.47/7.59 c (7.6s) MILP presolver (6 rounds): 1 aggregations, 63 fixings, 0 bound changes
7.47/7.60 c (round 68, medium) 8211 del vars, 8570 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12820 upgd conss, 0 impls, 67654 clqs
7.56/7.64 c (round 69, exhaustive) 8579 del vars, 8571 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 70860 clqs
7.56/7.64 c (round 70, fast) 8649 del vars, 8874 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 70532 clqs
7.56/7.65 c (round 71, fast) 8743 del vars, 8927 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 69994 clqs
7.56/7.65 c (round 72, fast) 8814 del vars, 8967 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 69561 clqs
7.56/7.65 c (round 73, fast) 8841 del vars, 8983 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 69427 clqs
7.56/7.66 c (round 74, medium) 8857 del vars, 8997 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 9 chg coeffs, 12821 upgd conss, 0 impls, 69202 clqs
7.66/7.76 c (round 75, exhaustive) 9249 del vars, 8997 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 70971 clqs
7.66/7.76 c (round 76, fast) 9337 del vars, 9331 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 70589 clqs
7.66/7.77 c (round 77, fast) 9444 del vars, 9386 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 69872 clqs
7.66/7.77 c (round 78, fast) 9525 del vars, 9434 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 69350 clqs
7.66/7.78 c (round 79, fast) 9560 del vars, 9456 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 69180 clqs
7.66/7.78 c (round 80, fast) 9571 del vars, 9463 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 69073 clqs
7.76/7.80 c (round 81, medium) 9583 del vars, 9475 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 11 chg coeffs, 12821 upgd conss, 0 impls, 68740 clqs
7.86/7.91 c (round 82, exhaustive) 9977 del vars, 9476 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 12 chg coeffs, 12821 upgd conss, 0 impls, 68347 clqs
7.86/7.92 c (round 83, fast) 10059 del vars, 9806 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 12 chg coeffs, 12821 upgd conss, 0 impls, 67850 clqs
7.86/7.92 c (round 84, fast) 10162 del vars, 9856 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 12 chg coeffs, 12821 upgd conss, 0 impls, 67001 clqs
7.86/7.93 c (round 85, fast) 10240 del vars, 9907 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 12 chg coeffs, 12821 upgd conss, 0 impls, 66293 clqs
7.86/7.93 c (round 86, fast) 10269 del vars, 9927 del conss, 45 add conss, 4883 chg bounds, 9 chg sides, 12 chg coeffs, 12821 upgd conss, 0 impls, 66132 clqs
7.86/7.95 c (round 87, medium) 10296 del vars, 9961 del conss, 53 add conss, 4883 chg bounds, 20 chg sides, 31 chg coeffs, 12821 upgd conss, 0 impls, 58736 clqs
8.16/8.21 c (8.2s) probing: 4000/15766 (25.4%) - 1871 fixings, 0 aggregations, 426754 implications, 0 bound changes
9.46/9.53 c (9.5s) probing: 5000/15766 (31.7%) - 1873 fixings, 0 aggregations, 529394 implications, 0 bound changes
10.85/10.96 c (11.0s) probing: 6000/15766 (38.1%) - 1874 fixings, 0 aggregations, 642735 implications, 0 bound changes
12.15/12.22 c (12.2s) probing: 6917/15766 (43.9%) - 1874 fixings, 0 aggregations, 741953 implications, 0 bound changes
12.15/12.22 c (12.2s) probing aborted: 1000/1000 successive useless probings
12.15/12.24 c (12.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
12.15/12.26 c (12.3s) no symmetry present (symcode time: 0.01)
12.15/12.27 c presolving (88 rounds: 88 fast, 41 medium, 27 exhaustive):
12.15/12.27 c 10301 deleted vars, 9961 deleted constraints, 53 added constraints, 4883 tightened bounds, 0 added holes, 20 changed sides, 31 changed coefficients
12.15/12.27 c 0 implications, 75616 cliques
12.15/12.27 c presolved problem has 11764 variables (11764 bin, 0 int, 0 impl, 0 cont) and 7639 constraints
12.15/12.27 c 7639 constraints of type <setppc>
12.15/12.27 c transformed objective value is always integral (scale: 1)
12.15/12.27 c Presolving Time: 12.16
12.15/12.27 c - non default parameters ----------------------------------------------------------------------
12.15/12.27 c # SCIP version 10.0.0
12.15/12.27 c
12.15/12.27 c # maximal time in seconds to run
12.15/12.27 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
12.15/12.27 c limits/time = 3596.997011
12.15/12.27 c
12.15/12.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
12.15/12.27 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
12.15/12.27 c limits/memory = 27900
12.15/12.27 c
12.15/12.27 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
12.15/12.27 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
12.15/12.27 c limits/solutions = 1
12.15/12.27 c
12.15/12.27 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.
12.15/12.27 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
12.15/12.27 c misc/usesymmetry = 3
12.15/12.27 c
12.15/12.27 c # belongs reading time to solving time?
12.15/12.27 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
12.15/12.27 c timing/reading = TRUE
12.15/12.27 c
12.15/12.27 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
12.15/12.27 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
12.15/12.27 c propagating/symmetry/detectdoublelex = FALSE
12.15/12.27 c
12.15/12.27 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
12.15/12.27 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
12.15/12.27 c propagating/symmetry/detectsubgroups = FALSE
12.15/12.27 c
12.15/12.27 c # Type of symmetries that shall be computed?
12.15/12.27 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
12.15/12.27 c propagating/symmetry/symtype = 1
12.15/12.27 c
12.15/12.27 c # Should components consisting of a single full reflection be handled?
12.15/12.27 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
12.15/12.27 c propagating/symmetry/usesimplesgncomp = FALSE
12.15/12.27 c
12.15/12.27 c -----------------------------------------------------------------------------------------------
12.15/12.27 c start solving
12.15/12.27 c
17.14/17.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.14/17.28 c 17.3s| 1 | 0 | 13222 | - | 148M | 0 | 11k|7675 |7639 | 0 | 0 | 35 | 0 | 0.000000e+00 | -- | Inf | unknown
26.40/26.53 c 26.5s| 1 | 0 | 37181 | - | 158M | 0 | 11k|7681 |7658 | 19 | 1 | 41 | 0 | 0.000000e+00 | -- | Inf | unknown
28.69/28.82 c 28.8s| 1 | 0 | 40066 | - | 162M | 0 | 11k|7682 |7668 | 29 | 2 | 42 | 0 | 0.000000e+00 | -- | Inf | unknown
38.17/38.36 c 38.4s| 1 | 0 | 54143 | - | 165M | 0 | 11k|7683 |7677 | 38 | 3 | 43 | 0 | 0.000000e+00 | -- | Inf | unknown
47.93/48.10 c 48.1s| 1 | 0 | 67797 | - | 168M | 0 | 11k|7684 |7689 | 50 | 4 | 44 | 0 | 0.000000e+00 | -- | Inf | unknown
57.49/57.75 c 57.7s| 1 | 0 | 81514 | - | 169M | 0 | 11k|7687 |7706 | 67 | 5 | 47 | 0 | 0.000000e+00 | -- | Inf | unknown
66.77/67.07 c 67.1s| 1 | 0 | 94584 | - | 170M | 0 | 11k|7692 |7723 | 84 | 6 | 52 | 0 | 0.000000e+00 | -- | Inf | unknown
76.74/77.09 c 77.1s| 1 | 0 |108146 | - | 172M | 0 | 11k|7693 |7735 | 96 | 7 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
86.49/86.84 c 86.8s| 1 | 0 |121247 | - | 173M | 0 | 11k|7695 |7747 | 108 | 8 | 55 | 0 | 0.000000e+00 | -- | Inf | unknown
96.46/96.80 c 96.8s| 1 | 0 |134444 | - | 175M | 0 | 11k|7698 |7756 | 117 | 9 | 58 | 0 | 0.000000e+00 | -- | Inf | unknown
100.75/101.15 c 101s| 1 | 0 |139816 | - | 176M | 0 | 11k|7700 |7765 | 126 | 10 | 60 | 0 | 0.000000e+00 | -- | Inf | unknown
103.23/103.61 c 104s| 1 | 0 |143250 | - | 177M | 0 | 11k|7701 |7782 | 143 | 11 | 61 | 0 | 0.000000e+00 | -- | Inf | unknown
104.13/104.58 c 105s| 1 | 0 |144359 | - | 179M | 0 | 11k|7711 |7788 | 149 | 12 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
106.82/107.21 c 107s| 1 | 0 |148045 | - | 180M | 0 | 11k|7712 |7771 | 161 | 13 | 72 | 0 | 0.000000e+00 | -- | Inf | unknown
189.05/189.79 c 190s| 1 | 2 |273557 | - | 182M | 0 | 11k|7735 |7771 | 161 | 13 | 95 | 19 | 0.000000e+00 | -- | Inf | unknown
1172.62/1176.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1172.62/1176.67 c 1177s| 100 | 101 | 1778k|16473.8 | 260M | 32 | 11k|8154 |7713 | 284 | 1 | 517 | 19 | 0.000000e+00 | -- | Inf | unknown
1335.37/1339.95 c 1340s| 200 | 155 | 2082k|9719.7 | 268M | 61 | 11k|8261 |7739 | 351 | 0 | 624 | 19 | 0.000000e+00 | -- | Inf | unknown
1490.48/1495.58 c 1496s| 300 | 161 | 2361k|7404.5 | 271M | 61 | 11k|8289 |7739 | 390 | 1 | 654 | 19 | 0.000000e+00 | -- | Inf | unknown
1583.10/1588.40 c 1588s| 400 | 175 | 2542k|6002.1 | 274M | 61 | 11k|8352 |7740 | 415 | 2 | 720 | 19 | 0.000000e+00 | -- | Inf | unknown
1643.21/1648.70 c 1649s| 500 | 185 | 2668k|5050.6 | 275M | 61 | 11k|8378 |7740 | 430 | 0 | 750 | 19 | 0.000000e+00 | -- | Inf | unknown
1709.00/1714.71 c 1715s| 600 | 179 | 2804k|4435.6 | 277M | 61 | 11k|8417 |7737 | 448 | 1 | 790 | 19 | 0.000000e+00 | -- | Inf | unknown
1779.78/1785.77 c 1786s| 700 | 179 | 2952k|4012.5 | 278M | 61 | 11k|8447 |7741 | 462 | 0 | 872 | 19 | 0.000000e+00 | -- | Inf | unknown
1841.29/1847.43 c 1847s| 800 | 197 | 3082k|3673.0 | 280M | 61 | 11k|8506 |7739 | 490 | 0 | 957 | 19 | 0.000000e+00 | -- | Inf | unknown
1907.98/1914.34 c 1914s| 900 | 185 | 3222k|3419.6 | 282M | 63 | 11k|8566 |7739 | 501 | 0 |1041 | 19 | 0.000000e+00 | -- | Inf | unknown
1981.94/1988.54 c 1989s| 1000 | 193 | 3377k|3232.3 | 283M | 63 | 11k|8592 |7738 | 537 | 1 |1085 | 19 | 0.000000e+00 | -- | Inf | unknown
2051.61/2058.45 c 2058s| 1100 | 197 | 3521k|3070.0 | 284M | 63 | 11k|8603 |7739 | 550 | 1 |1113 | 19 | 0.000000e+00 | -- | Inf | unknown
2124.57/2131.67 c 2132s| 1200 | 193 | 3674k|2941.2 | 285M | 63 | 11k|8711 |7738 | 572 | 0 |1241 | 19 | 0.000000e+00 | -- | Inf | unknown
2194.64/2201.91 c 2202s| 1300 | 189 | 3821k|2827.7 | 285M | 63 | 11k|8708 |7736 | 576 | 0 |1290 | 19 | 0.000000e+00 | -- | Inf | unknown
2271.19/2278.75 c 2279s| 1400 | 171 | 3983k|2741.4 | 287M | 63 | 11k|8769 |7736 | 594 | 1 |1420 | 19 | 0.000000e+00 | -- | Inf | unknown
2354.13/2361.98 c 2362s| 1500 | 179 | 4155k|2673.7 | 289M | 63 | 11k|8817 |7736 | 634 | 1 |1557 | 19 | 0.000000e+00 | -- | Inf | unknown
2449.51/2457.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2449.51/2457.67 c 2458s| 1600 | 193 | 4353k|2630.2 | 292M | 63 | 11k|8955 |7739 | 683 | 0 |1733 | 19 | 0.000000e+00 | -- | Inf | unknown
2526.07/2534.49 c 2534s| 1700 | 179 | 4515k|2570.4 | 293M | 63 | 11k|9020 |7736 | 702 | 1 |1850 | 19 | 0.000000e+00 | -- | Inf | unknown
2600.72/2609.38 c 2609s| 1800 | 169 | 4670k|2514.1 | 294M | 63 | 11k|9000 |7736 | 718 | 1 |1898 | 19 | 0.000000e+00 | -- | Inf | unknown
2694.71/2703.68 c 2704s| 1900 | 190 | 4861k|2482.2 | 295M | 63 | 11k|8957 |7711 | 747 | 1 |1947 | 19 | 0.000000e+00 | -- | Inf | unknown
2811.83/2821.11 c 2821s| 2000 | 179 | 5097k|2475.8 | 297M | 63 | 11k|9025 |7708 | 779 | 1 |2084 | 19 | 0.000000e+00 | -- | Inf | unknown
2897.05/2906.69 c 2907s| 2100 | 180 | 5268k|2439.5 | 297M | 63 | 11k|9000 |7707 | 810 | 1 |2094 | 19 | 0.000000e+00 | -- | Inf | unknown
2978.78/2988.64 c 2989s| 2200 | 168 | 5429k|2401.9 | 297M | 63 | 11k|9009 |7707 | 825 | 0 |2114 | 19 | 0.000000e+00 | -- | Inf | unknown
3126.01/3136.32 c 3136s| 2300 | 172 | 5711k|2420.0 | 301M | 63 | 11k|9008 |7744 | 863 | 1 |2173 | 19 | 0.000000e+00 | -- | Inf | unknown
3190.40/3200.92 c 3201s| 2400 | 210 | 5844k|2374.6 | 302M | 68 | 11k|9037 |7746 | 874 | 1 |2211 | 19 | 0.000000e+00 | -- | Inf | unknown
3243.52/3254.27 c 3254s| 2500 | 228 | 5955k|2323.8 | 303M | 74 | 11k|9078 |7746 | 874 | 1 |2261 | 19 | 0.000000e+00 | -- | Inf | unknown
3299.45/3310.36 c 3310s| 2600 | 210 | 6073k|2279.9 | 304M | 75 | 11k|9127 |7746 | 876 | 0 |2358 | 19 | 0.000000e+00 | -- | Inf | unknown
3362.23/3373.31 c 3373s| 2700 | 206 | 6205k|2244.5 | 305M | 75 | 11k|9191 |7748 | 881 | 0 |2461 | 19 | 0.000000e+00 | -- | Inf | unknown
3420.83/3432.18 c 3432s| 2800 | 208 | 6330k|2208.6 | 305M | 75 | 11k|9114 |7749 | 885 | 1 |2473 | 19 | 0.000000e+00 | -- | Inf | unknown
3490.39/3501.96 c 3502s| 2900 | 246 | 6472k|2181.7 | 305M | 80 | 11k|9003 |7745 | 892 | 1 |2484 | 19 | 0.000000e+00 | -- | Inf | unknown
3542.83/3554.56 c 3555s| 3000 | 236 | 6586k|2146.9 | 306M | 83 | 11k|9029 |7745 | 892 | 1 |2521 | 19 | 0.000000e+00 | -- | Inf | unknown
3585.11/3597.00 c
3585.11/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.11/3597.00 c Solving Time (sec) : 3597.00
3585.11/3597.00 c Solving Nodes : 3082
3585.11/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.11/3597.00 c Dual Bound : +0.00000000000000e+00
3585.11/3597.00 c Gap : infinite
3585.11/3597.00 s UNKNOWN
3585.11/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.11/3597.00 c Total Time : 3597.00
3585.11/3597.00 c solving : 3597.00
3585.11/3597.00 c presolving : 12.16 (included in solving)
3585.11/3597.00 c reading : 0.06 (included in solving)
3585.11/3597.00 c copying : 0.12 (4 #copies) (minimal 0.02, maximal 0.03, average 0.03)
3585.11/3597.00 c Original Problem :
3585.11/3597.00 c Problem name : HOME/instance-4452425-1721442110.opb
3585.11/3597.00 c Variables : 21582 (21582 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.11/3597.00 c Constraints : 17547 initial, 17547 maximal
3585.11/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.11/3597.00 c Presolved Problem :
3585.11/3597.00 c Problem name : t_HOME/instance-4452425-1721442110.opb
3585.11/3597.00 c Variables : 11764 (11764 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.11/3597.00 c Constraints : 7639 initial, 9191 maximal
3585.21/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.21/3597.00 c Nonzeros : 45893 constraint, 182127 clique table
3585.21/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.21/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c domcol : 0.20 0.00 18 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c implics : 0.00 0.00 41 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c milp : 0.46 0.00 2 276 3 0 0 0 0 0 0 0
3585.21/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c sparsify : 0.21 0.00 4 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c trivial : 0.02 0.00 88 523 0 0 0 0 0 0 0 0
3585.21/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c dualfix : 0.02 0.00 88 54 0 0 0 0 0 0 0 0
3585.21/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c probing : 10.17 0.00 18 1874 0 0 0 0 0 0 0 0
3585.21/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c vbounds : 0.06 0.00 7 15 0 0 0 0 0 0 0 0
3585.21/3597.00 c knapsack : 0.00 0.00 144 0 0 0 0 0 1 8 11 22
3585.21/3597.00 c setppc : 0.77 0.00 147 1227 773 0 0 0 5189 45 9 9
3585.21/3597.00 c linear : 0.10 0.01 28 4883 190 0 4883 0 4771 0 0 0
3585.21/3597.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c root node : - - - 0 - - 0 - - - - -
3585.21/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.21/3597.00 c benderslp : 0 0 0 0 1661 0 0 107 0 0 0 0 0 0 0
3585.21/3597.00 c integral : 0 0 0 0 1661 0 0 107 0 0 0 0 0 0 3322
3585.21/3597.00 c knapsack : 0+ 3 0 78441 0 0 0 0 5 6 0 0 0 0 0
3585.21/3597.00 c setppc : 7639+ 7669 13 129486 0 0 0 103 663070 99 140278 0 0 0 0
3585.21/3597.00 c logicor : 0+ 1523 13 4666 0 0 0 0 1726 13 1055 2 1 0 0
3585.21/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.21/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c integral : 10.18 0.00 0.00 0.00 10.18 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c setppc : 2.71 0.00 0.01 2.50 0.00 0.00 0.00 0.00 0.19 0.00
3585.21/3597.00 c logicor : 0.06 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.21/3597.00 c dualfix : 1 0 0 0
3585.21/3597.00 c genvbounds : 0 0 0 0
3585.21/3597.00 c nlobbt : 0 0 0 0
3585.21/3597.00 c obbt : 0 0 0 0
3585.21/3597.00 c probing : 0 0 0 0
3585.21/3597.00 c pseudoobj : 0 0 0 0
3585.21/3597.00 c redcost : 0 0 0 0
3585.21/3597.00 c rootredcost : 0 0 0 0
3585.21/3597.00 c symmetry : 0 0 0 0
3585.21/3597.00 c vbounds : 46218 0 0 0
3585.21/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.21/3597.00 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3585.21/3597.00 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3585.21/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c probing : 10.17 0.00 10.17 0.00 0.00 0.00
3585.21/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3585.21/3597.00 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3585.21/3597.00 c symmetry : 0.03 0.00 0.02 0.01 0.00 0.00
3585.21/3597.00 c vbounds : 0.37 0.00 0.06 0.31 0.00 0.00
3585.21/3597.00 c Symmetry :
3585.21/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.21/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.21/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.21/3597.00 c shadow tree time : 0.00 s
3585.21/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.21/3597.00 c propagation : 0.01 109 95 - 454 107.7 28 5.8 - - -
3585.21/3597.00 c infeasible LP : 5.68 1484 236 - 10901 1395.1 51 25.5 4 734.5 0
3585.21/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.21/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.21/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.21/3597.00 c applied globally : 0.12 - - 0 2554 644.1 - - 4 - -
3585.21/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.21/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.21/3597.00 c cut pool : 0.05 - 333 25 - - 1403 4734 - - - - - (maximal pool size: 1249)
3585.21/3597.00 c aggregation : 0.08 0.00 29 13 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3585.21/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.21/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3585.21/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c clique : 1.59 0.00 13 13 0 0 82 162 0 35 35 0 0
3585.21/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c gomory : 6.86 0.00 26 10 0 0 889 3721 50 469 466 3 0
3585.21/3597.00 c > gomorymi : - - - - - - - 2112 25 302 299 3 -
3585.21/3597.00 c > strongcg : - - - - - - - 1609 25 167 167 0 -
3585.21/3597.00 c impliedbounds : 0.13 0.00 29 13 0 0 376 484 0 68 68 0 0
3585.21/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c multilinear : 0.00 0.00 49 13 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c rlt : 0.00 0.00 19 10 0 0 0 0 0 0 0 0 0
3585.21/3597.00 c zerohalf : 1.96 0.00 29 13 0 0 165 367 59 324 273 51 0
3585.21/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.21/3597.00 c hybrid : 0.00 0.00 205 13 897 0 3948 161 0 796
3585.21/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3585.21/3597.00 c problem variables: 0.00 - 0 0
3585.21/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.21/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c relpscost : 10.18 0.00 1661 0 0 0 0 0 0 3322
3585.21/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.21/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.21/3597.00 c LP solutions : 0.00 - - 0 0
3585.21/3597.00 c relax solutions : 0.00 - - 0 0
3585.21/3597.00 c pseudo solutions : 0.00 - - 0 0
3585.21/3597.00 c strong branching : 0.00 - - 0 0
3585.21/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3585.21/3597.00 c adaptivediving : 40.11 0.00 9 0 0
3585.21/3597.00 c alns : 15.37 0.00 4 0 0
3585.21/3597.00 c bound : 0.00 0.00 0 0 0
3585.21/3597.00 c clique : 0.03 0.00 1 0 0
3585.21/3597.00 c coefdiving : 0.00 0.00 0 0 0
3585.21/3597.00 c completesol : 0.00 0.00 0 0 0
3585.21/3597.00 c conflictdiving : 151.19 0.00 7 0 0
3585.21/3597.00 c crossover : 0.00 0.00 0 0 0
3585.21/3597.00 c dins : 0.00 0.00 0 0 0
3585.21/3597.00 c distributiondivin: 76.91 0.00 6 0 0
3585.21/3597.00 c dps : 0.00 0.00 0 0 0
3585.21/3597.00 c dualval : 0.00 0.00 0 0 0
3585.21/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3585.21/3597.00 c feasjump : 0.02 0.00 1 0 0
3585.21/3597.00 c feaspump : 17.31 0.00 3 0 0
3585.21/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3585.21/3597.00 c fracdiving : 66.76 0.00 6 0 0
3585.21/3597.00 c gins : 0.00 0.00 0 0 0
3585.21/3597.00 c guideddiving : 0.00 0.00 0 0 0
3585.21/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3585.21/3597.00 c indicator : 0.00 0.00 0 0 0
3585.21/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3585.21/3597.00 c indoneopt : 0.00 0.00 0 0 0
3585.21/3597.00 c indrounding : 0.00 0.00 0 0 0
3585.21/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3585.21/3597.00 c intdiving : 0.00 0.00 0 0 0
3585.21/3597.00 c intshifting : 0.00 0.00 0 0 0
3585.21/3597.00 c linesearchdiving : 73.91 0.00 7 0 0
3585.21/3597.00 c localbranching : 0.00 0.00 0 0 0
3585.21/3597.00 c locks : 0.00 0.00 1 0 0
3585.21/3597.00 c lpface : 0.04 0.00 0 0 0
3585.21/3597.00 c mpec : 0.00 0.00 0 0 0
3585.21/3597.00 c multistart : 0.00 0.00 0 0 0
3585.21/3597.00 c mutation : 0.00 0.00 0 0 0
3585.21/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3585.21/3597.00 c objpscostdiving : 177.58 0.00 3 0 0
3585.21/3597.00 c octane : 0.00 0.00 0 0 0
3585.21/3597.00 c ofins : 0.00 0.00 0 0 0
3585.21/3597.00 c oneopt : 0.00 0.00 0 0 0
3585.21/3597.00 c padm : 0.00 0.00 0 0 0
3585.21/3597.00 c proximity : 0.00 0.00 0 0 0
3585.21/3597.00 c pscostdiving : 66.03 0.00 7 0 0
3585.21/3597.00 c randrounding : 0.17 0.00 114 0 0
3585.21/3597.00 c rens : 0.09 0.00 1 0 0
3585.21/3597.00 c reoptsols : 0.00 0.00 0 0 0
3585.21/3597.00 c repair : 0.00 0.00 0 0 0
3585.21/3597.00 c rins : 0.00 0.00 0 0 0
3585.21/3597.00 c rootsoldiving : 33.06 0.00 3 0 0
3585.21/3597.00 c rounding : 0.29 0.00 562 0 0
3585.21/3597.00 c scheduler : 0.00 0.00 0 0 0
3585.21/3597.00 c shiftandpropagate: 0.01 0.00 1 0 0
3585.21/3597.00 c shifting : 0.38 0.00 221 0 0
3585.21/3597.00 c simplerounding : 0.00 0.00 0 0 0
3585.21/3597.00 c smallcard : 0.00 0.00 0 0 0
3585.21/3597.00 c subnlp : 0.00 0.00 0 0 0
3585.21/3597.00 c trivial : 0.01 0.00 2 0 0
3585.21/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3585.21/3597.00 c trustregion : 0.00 0.00 0 0 0
3585.21/3597.00 c trysol : 0.00 0.00 0 0 0
3585.21/3597.00 c twoopt : 0.00 0.00 0 0 0
3585.21/3597.00 c undercover : 0.00 0.00 0 0 0
3585.21/3597.00 c vbounds : 0.02 0.00 1 0 0
3585.21/3597.00 c veclendiving : 79.10 0.00 6 0 0
3585.21/3597.00 c zeroobj : 0.00 0.00 0 0 0
3585.21/3597.00 c zirounding : 0.12 0.00 1000 0 0
3585.21/3597.00 c other solutions : - - - 0 -
3585.21/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
3585.21/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
3585.21/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
3585.21/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
3585.21/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
3585.21/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
3585.21/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
3585.21/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
3585.21/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
3585.21/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
3585.21/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.21/3597.00 c primal LP : 0.88 139 0 0.00 0.00 0.88 139
3585.21/3597.00 c dual LP : 2752.26 3283 5399095 1645.06 1961.70 0.00 1
3585.21/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3585.21/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.21/3597.00 c resolve instable : 25.85 28 51289 1831.75 1984.39
3585.21/3597.00 c diving/probing LP: 775.32 2036 1280169 628.77 1651.15
3585.21/3597.00 c strong branching : 8.80 19 12836 675.58 1458.57 - - 21
3585.21/3597.00 c (at root node) : - 19 12836 675.58 -
3585.21/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3585.21/3597.00 c B&B Tree :
3585.21/3597.00 c number of runs : 1
3585.21/3597.00 c nodes : 3082 (1661 internal, 1421 leaves)
3585.21/3597.00 c feasible leaves : 0
3585.21/3597.00 c infeas. leaves : 1420
3585.21/3597.00 c objective leaves : 0
3585.21/3597.00 c nodes (total) : 3082 (1661 internal, 1421 leaves)
3585.21/3597.00 c nodes left : 239
3585.21/3597.00 c max depth : 83
3585.21/3597.00 c max depth (total): 83
3585.21/3597.00 c backtracks : 777 (25.2%)
3585.21/3597.00 c early backtracks : 0 (0.0%)
3585.21/3597.00 c nodes exc. ref. : 0 (0.0%)
3585.21/3597.00 c delayed cutoffs : 3
3585.21/3597.00 c repropagations : 650 (4548 domain reductions, 1 cutoffs)
3585.21/3597.00 c avg switch length: 4.09
3585.21/3597.00 c switching time : 1.56
3585.21/3597.00 c Root Node :
3585.21/3597.00 c First LP value : +0.00000000000000e+00
3585.21/3597.00 c First LP Iters : 13222 (2688.20 Iter/sec)
3585.21/3597.00 c First LP Time : 4.92
3585.21/3597.00 c Final Dual Bound : +0.00000000000000e+00
3585.21/3597.00 c Final Root Iters : 148045
3585.21/3597.00 c Root LP Estimate : +3.32821658502563e-02
3585.21/3597.00 c Solution :
3585.21/3597.00 c Solutions found : 0 (0 improvements)
3585.21/3597.00 c Primal Bound : -
3585.21/3597.00 c Dual Bound : +0.00000000000000e+00
3585.21/3597.00 c Gap : infinite
3585.21/3597.00 c Integrals : Total Avg%
3585.21/3597.00 c primal-dual : 359699.79 100.00
3585.21/3597.00 c primal-ref : - - (not evaluated)
3585.21/3597.00 c dual-ref : - - (not evaluated)
3585.21/3597.08 c Time complete: 3585.3.
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: 63968 MiB (61813 MiB free)
memory of node 1: 64473 MiB (61447 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452425-1721442110/watcher-4452425-1721442110 -o /tmp/evaluation-result-4452425-1721442110/solver-4452425-1721442110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721434856-1036356 --watchdog 3760 pbscip -f HOME/instance-4452425-1721442110.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1041258, runsolver pid=1041255
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.10 4.10 4.10 5/257 1041259
/proc/meminfo: memFree=126153108/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=122640 memory=83128 CPUtime=0.09 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 17677 0 0 0 7 2 0 0 20 0 1 0 196375975 125583360 20782 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 30660 20782 3534 3540 0 18917 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 122640 KiB
Current children cumulated memory: 83128 KiB
[startup+0.205551 s]*
/proc/loadavg: 4.10 4.10 4.10 5/257 1041259
/proc/meminfo: memFree=126124688/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=153648 memory=111104 CPUtime=0.2 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 26281 0 0 0 17 3 0 0 20 0 1 0 196375975 157335552 27776 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 38412 27776 3645 3540 0 26669 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 153648 KiB
Current children cumulated memory: 111104 KiB
[startup+0.305386 s]*
/proc/loadavg: 4.10 4.10 4.10 5/257 1041259
/proc/meminfo: memFree=126121188/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=153648 memory=111104 CPUtime=0.29 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 26282 0 0 0 26 3 0 0 20 0 1 0 196375975 157335552 27776 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 38412 27776 3645 3540 0 26669 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 153648 KiB
Current children cumulated memory: 111104 KiB
[startup+0.700231 s]
/proc/loadavg: 4.10 4.10 4.10 5/257 1041259
/proc/meminfo: memFree=126121048/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=156360 memory=113120 CPUtime=0.68 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 28833 0 0 0 65 3 0 0 20 0 1 0 196375975 160112640 28280 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 39090 28280 3741 3540 0 27347 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 156360 KiB
Current children cumulated memory: 113120 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.10 4.10 5/257 1041259
/proc/meminfo: memFree=126114804/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=162100 memory=119840 CPUtime=1.49 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 30477 0 0 0 145 4 0 0 20 0 1 0 196375975 165990400 29960 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 40525 29960 3773 3540 0 28782 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 162100 KiB
Current children cumulated memory: 119840 KiB
[startup+3.10533 s]
/proc/loadavg: 4.09 4.10 4.10 5/257 1041261
/proc/meminfo: memFree=126105968/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=168840 memory=126176 CPUtime=3.09 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 32084 0 0 0 305 4 0 0 20 0 1 0 196375975 172892160 31544 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 42210 31544 3773 3540 0 30467 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 168840 KiB
Current children cumulated memory: 126176 KiB
[startup+6.30022 s]
/proc/loadavg: 4.09 4.10 4.10 5/257 1041261
/proc/meminfo: memFree=126105808/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=168992 memory=126440 CPUtime=6.27 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 32124 0 0 0 623 4 0 0 20 0 1 0 196375975 173047808 31610 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 42248 31610 3773 3540 0 30505 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 168992 KiB
Current children cumulated memory: 126440 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.10 5/257 1041261
/proc/meminfo: memFree=126100972/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=216152 memory=157996 CPUtime=12.64 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 42049 0 0 0 1259 5 0 0 20 0 1 0 196375975 221339648 39499 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 54038 39499 3965 3540 0 42295 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 216152 KiB
Current children cumulated memory: 157996 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.09 4.10 5/257 1041264
/proc/meminfo: memFree=126031008/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=256696 memory=197120 CPUtime=25.41 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 46145 0 0 0 2534 7 0 0 20 0 1 0 196375975 262856704 49280 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 64174 49280 3981 3540 0 52431 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 256696 KiB
Current children cumulated memory: 197120 KiB
[startup+51.1055 s]
/proc/loadavg: 4.04 4.09 4.09 5/257 1041267
/proc/meminfo: memFree=125543780/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=268752 memory=207500 CPUtime=50.92 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 48793 0 0 0 5084 8 0 0 20 0 1 0 196375975 275202048 51875 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 67188 51875 3981 3540 0 55445 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 268752 KiB
Current children cumulated memory: 207500 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/258 1041277
/proc/meminfo: memFree=125485164/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=278228 memory=214628 CPUtime=101.94 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 50688 0 0 0 10185 9 0 0 20 0 1 0 196375975 284905472 53657 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 69557 53657 3981 3540 0 57814 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 278228 KiB
Current children cumulated memory: 214628 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 1041288
/proc/meminfo: memFree=125198156/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=280824 memory=217296 CPUtime=161.74 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 51177 0 0 0 16164 10 0 0 20 0 1 0 196375975 287563776 54324 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 70206 54324 4130 3540 0 58463 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 280824 KiB
Current children cumulated memory: 217296 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/256 1041681
/proc/meminfo: memFree=125141232/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=324464 memory=256896 CPUtime=221.54 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 61112 0 0 0 22142 12 0 0 20 0 1 0 196375975 332251136 64224 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 81116 64224 4130 3540 0 69373 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 324464 KiB
Current children cumulated memory: 256896 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 4.13 4.10 5/256 1041691
/proc/meminfo: memFree=125082144/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=324464 memory=257380 CPUtime=281.34 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 61155 0 0 0 28121 13 0 0 20 0 1 0 196375975 332251136 64345 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 81116 64345 4194 3540 0 69373 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 324464 KiB
Current children cumulated memory: 257380 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 1041702
/proc/meminfo: memFree=125031716/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=324464 memory=257380 CPUtime=341.13 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 61161 0 0 0 34100 13 0 0 20 0 1 0 196375975 332251136 64345 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 81116 64345 4194 3540 0 69373 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 324464 KiB
Current children cumulated memory: 257380 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 1041883
/proc/meminfo: memFree=125012808/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=324464 memory=257380 CPUtime=400.94 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 61161 0 0 0 40080 14 0 0 20 0 1 0 196375975 332251136 64345 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 81116 64345 4194 3540 0 69373 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 324464 KiB
Current children cumulated memory: 257380 KiB
[startup+462.3 s]
/proc/loadavg: 4.27 4.18 4.11 5/257 1041893
/proc/meminfo: memFree=124870436/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=324464 memory=257380 CPUtime=460.74 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 61161 0 0 0 46060 14 0 0 20 0 1 0 196375975 332251136 64345 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 81116 64345 4194 3540 0 69373 0
################
# More data... #
################
/proc/loadavg: 4.12 4.10 4.09 5/255 1043199
/proc/meminfo: memFree=124138432/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3151.93 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 88105 0 0 0 315160 33 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3151.93 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB
[startup+3222.3 s]
/proc/loadavg: 4.26 4.13 4.10 5/254 1043209
/proc/meminfo: memFree=124133212/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3211.73 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 88251 0 0 0 321140 33 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3211.73 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.16 4.11 5/254 1043220
/proc/meminfo: memFree=124123504/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3271.53 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 88395 0 0 0 327120 33 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3271.53 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/254 1043232
/proc/meminfo: memFree=124116636/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3331.34 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 88543 0 0 0 333100 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3331.34 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/254 1043242
/proc/meminfo: memFree=124109412/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3391.13 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 88688 0 0 0 339079 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3391.13 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/254 1043252
/proc/meminfo: memFree=124099124/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3450.92 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 88833 0 0 0 345058 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3450.92 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/256 1043266
/proc/meminfo: memFree=124093976/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3510.72 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 88978 0 0 0 351038 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3510.72 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB
[startup+3582.3 s]
/proc/loadavg: 3.46 3.93 4.03 4/249 1043308
/proc/meminfo: memFree=125697496/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3570.55 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 89125 0 0 0 357021 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3570.55 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB
[startup+3597.09 s]
# the end of solver process 1041258 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.95 s, system=0.354409 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.50 3.93 4.03 4/249 1043310
/proc/meminfo: memFree=125697432/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3572.24 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 89125 0 0 0 357190 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB
[startup+3590.4 s]
/proc/loadavg: 3.46 3.92 4.02 4/249 1043311
/proc/meminfo: memFree=125697292/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3578.62 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 89126 0 0 0 357828 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3578.62 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB
[startup+3593.6 s]
/proc/loadavg: 3.46 3.92 4.02 4/249 1043312
/proc/meminfo: memFree=125697244/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3581.81 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 89126 0 0 0 358147 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3581.81 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB
[startup+3595.2 s]
/proc/loadavg: 3.42 3.90 4.02 4/249 1043312
/proc/meminfo: memFree=125697244/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3583.41 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 89126 0 0 0 358307 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3583.41 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB
[startup+3596 s]*
/proc/loadavg: 3.42 3.90 4.02 4/249 1043312
/proc/meminfo: memFree=125697244/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3584.21 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 89164 0 0 0 358387 34 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3584.21 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB
[startup+3596.8 s]
/proc/loadavg: 3.42 3.90 4.02 4/249 1043312
/proc/meminfo: memFree=125697244/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3585.01 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 89228 0 0 0 358466 35 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3585.01 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB
[startup+3597 s]*
/proc/loadavg: 3.42 3.90 4.02 4/249 1043312
/proc/meminfo: memFree=125697244/131524600 swapFree=131070704/131071996
[pid=1041258] ppid=1041255 vsize=407004 memory=361420 CPUtime=3585.21 cores=0,2
/proc/1041258/stat : 1041258 (pbscip) R 1041255 1041258 1036346 0 -1 4194304 89244 0 0 0 358486 35 0 0 20 0 1 0 196375975 416772096 90355 134679101440 4194304 18693293 140733969479296 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 40677376 140733969486850 140733969486949 140733969486949 140733969493966 0
/proc/1041258/statm: 101751 90355 4194 3540 0 90008 0
Current children cumulated CPU time: 3585.21 s
Current children cumulated vsize: 407004 KiB
Current children cumulated memory: 361420 KiB
Child status: 0
Real time (s): 3597.09
CPU time (s): 3585.31
CPU user time (s): 3584.95
CPU system time (s): 0.354409
CPU usage (%): 99.6724
Max. virtual memory (cumulated for all children) (KiB): 407004
Max. memory (cumulated for all children) (KiB): 361420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.95
system time used= 0.354409
maximum resident set size= 361420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89454
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= 30
involuntary context switches= 25309
# summary of solver processes directly reported to runsolver:
# pid: 1041258
# total CPU time (s): 3585.31
# total CPU user time (s): 3584.95
# total CPU system time (s): 0.354409
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72499 second user time and 15.6213 second system time
The end
Begin job on nodeC023 at 2024-07-20 04:22:03 IDJOB=4452425 IDBENCH=164356 IDSOLVER=3059 FILE ID=nodeC023/4452425-1721442110 RUNJOBID= nodeC023-1721434856-1036356 SLURM_JOB_ID= 7545638 Free space on /tmp= 890020 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-ns903616.0.u.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-4452425-1721442110/watcher-4452425-1721442110 -o /tmp/evaluation-result-4452425-1721442110/solver-4452425-1721442110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721434856-1036356 --watchdog 3760 pbscip -f HOME/instance-4452425-1721442110.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 851dd7bb62635ec66e2461b484912a91 RANDOM SEED=660384415 nodeC023.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 : 3665.041 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 : 3678.878 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 : 7005.48 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 : 3670.985 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 : 3600.276 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 : 7005.48 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 : 3669.759 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 : 3678.880 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 : 7005.48 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 : 3600.207 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 : 3600.399 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 : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126219104 kB MemAvailable: 128479572 kB Buffers: 581860 kB Cached: 2514744 kB SwapCached: 80 kB Active: 1218808 kB Inactive: 3515752 kB Active(anon): 1580 kB Inactive(anon): 1682104 kB Active(file): 1217228 kB Inactive(file): 1833648 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070704 kB Dirty: 19692 kB Writeback: 0 kB AnonPages: 1637880 kB Mapped: 138828 kB Shmem: 45728 kB KReclaimable: 98828 kB Slab: 192792 kB SReclaimable: 98828 kB SUnreclaim: 93964 kB KernelStack: 4128 kB PageTables: 12720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2115476 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 33760 kB HardwareCorrupted: 0 kB AnonHugePages: 606208 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: 316116 kB DirectMap2M: 38254592 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 890024 MiB End job on nodeC023 at 2024-07-20 05:22:00