Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | 522 | 3586.6 | 3597.07 |
| Name | PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-edgecross20-080.opb |
| MD5SUM | 09771aef0beb4a695febed49a69e8ae9 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 517 |
| Best CPU time to get the best result obtained on this benchmark | 3587.82 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 381 |
| Total number of constraints | 4561 |
| Number of constraints which are clauses | 4560 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 3099 |
| Biggest coefficient in the objective function | 1457 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 8717 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 1457 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 8717 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 2761 |
| Sum of products size (including duplicates) | 5522 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4512191-1751271854.opb>
0.00/0.02 c original problem has 3142 variables (381 bin, 0 int, 2761 impl, 0 cont) and 7322 constraints
0.00/0.02 c problem read in 0.01
0.00/0.03 o 1457
0.00/0.03 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 1.457000e+03
0.00/0.03 c presolving:
0.00/0.05 c (round 1, exhaustive) 1 del vars, 2281 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5522 clqs
0.00/0.07 c (0.1s) probing: 51/3141 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.07 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.07 c (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.08 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.00/0.08 c 1 deleted vars, 2281 deleted constraints, 0 added constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.08 c 0 implications, 5522 cliques
0.00/0.08 c presolved problem has 3141 variables (380 bin, 0 int, 2761 impl, 0 cont) and 5041 constraints
0.00/0.08 c 2761 constraints of type <and>
0.00/0.08 c 2280 constraints of type <linear>
0.00/0.08 c transformed objective value is always integral (scale: 1)
0.00/0.08 c Presolving Time: 0.04
0.00/0.08 c - non default parameters ----------------------------------------------------------------------
0.00/0.08 c # SCIP version 10.0.0
0.00/0.08 c
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.08 c limits/time = 3596.998008
0.00/0.08 c
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.08 c limits/memory = 27900
0.00/0.08 c
0.00/0.08 c # belongs reading time to solving time?
0.00/0.08 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c timing/reading = TRUE
0.00/0.08 c
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving
0.00/0.08 c transformed 1/1 original solutions to the transformed problem space
0.00/0.08 c
0.08/0.11 o 1408
0.08/0.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.08/0.11 c p 0.1s| 1 | 0 | 0 | - | clique| 0 |3141 |5041 |7802 | 0 | 0 | 0 | 0 |-2.173000e+03 | 1.408000e+03 | Inf | unknown
2.28/2.39 c 2.4s| 1 | 0 | 10908 | - | 40M | 0 |3141 |5041 |7802 | 0 | 0 | 0 | 0 | 5.200000e+01 | 1.408000e+03 |2607.69%| unknown
2.38/2.46 o 1384
2.38/2.46 c L 2.5s| 1 | 0 | 10908 | - |undercov| 0 |3141 |5041 |7802 | 0 | 0 | 0 | 0 | 5.200000e+01 | 1.384000e+03 |2561.54%| unknown
2.47/2.53 c 2.5s| 1 | 0 | 10933 | - | 43M | 0 |3141 |5041 |9134 |1332 | 1 | 0 | 0 | 5.200000e+01 | 1.384000e+03 |2561.54%| unknown
2.57/2.60 o 1145
2.57/2.60 c i 2.6s| 1 | 0 | 12410 | - | oneopt| 0 |3141 |5041 |9134 |1332 | 1 | 0 | 0 | 5.200000e+01 | 1.145000e+03 |2101.92%| unknown
3.47/3.59 c 3.6s| 1 | 0 | 12804 | - | 49M | 0 |3141 |5041 |9173 |1371 | 2 | 0 | 0 | 6.800000e+01 | 1.145000e+03 |1583.82%| unknown
4.67/4.77 c 4.8s| 1 | 0 | 13214 | - | 68M | 0 |3141 |5041 |9341 |1539 | 3 | 0 | 0 | 8.000000e+01 | 1.145000e+03 |1331.25%| unknown
5.77/5.86 c 5.8s| 1 | 0 | 13601 | - | 71M | 0 |3141 |5041 |9373 |1571 | 4 | 0 | 0 | 9.000000e+01 | 1.145000e+03 |1172.22%| unknown
6.97/7.03 c 7.0s| 1 | 0 | 14374 | - | 74M | 0 |3141 |5041 |9410 |1608 | 5 | 0 | 0 | 1.026667e+02 | 1.145000e+03 |1015.26%| unknown
8.06/8.19 c 8.2s| 1 | 0 | 15072 | - | 77M | 0 |3141 |5041 |9458 |1656 | 6 | 0 | 0 | 1.180000e+02 | 1.145000e+03 | 870.34%| unknown
9.25/9.35 c 9.3s| 1 | 0 | 15504 | - | 82M | 0 |3141 |5042 |9503 |1701 | 7 | 1 | 0 | 1.210000e+02 | 1.145000e+03 | 846.28%| unknown
10.55/10.64 c 10.6s| 1 | 0 | 16542 | - | 87M | 0 |3141 |5042 |9552 |1750 | 8 | 1 | 0 | 1.291867e+02 | 1.145000e+03 | 786.31%| unknown
11.85/11.96 c 12.0s| 1 | 0 | 17405 | - | 89M | 0 |3141 |5043 |9598 |1796 | 9 | 2 | 0 | 1.398333e+02 | 1.145000e+03 | 718.83%| unknown
13.64/13.74 c 13.7s| 1 | 0 | 20306 | - | 92M | 0 |3141 |5043 |9653 |1851 | 10 | 2 | 0 | 1.541944e+02 | 1.145000e+03 | 642.57%| unknown
14.14/14.20 c 14.2s| 1 | 0 | 21819 | - | 93M | 0 |3141 |5044 |9695 |1893 | 11 | 3 | 0 | 1.633214e+02 | 1.145000e+03 | 601.07%| unknown
14.44/14.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.44/14.58 c 14.6s| 1 | 0 | 23138 | - | 94M | 0 |3141 |5044 |9728 |1926 | 12 | 3 | 0 | 1.682129e+02 | 1.145000e+03 | 580.69%| unknown
14.83/14.92 c 14.9s| 1 | 0 | 24293 | - | 95M | 0 |3141 |5044 |9757 |1955 | 13 | 3 | 0 | 1.726611e+02 | 1.145000e+03 | 563.15%| unknown
15.13/15.24 c 15.2s| 1 | 0 | 25222 | - | 96M | 0 |3141 |5044 |9696 |1977 | 14 | 3 | 0 | 1.726611e+02 | 1.145000e+03 | 563.15%| unknown
15.13/15.24 c 15.2s| 1 | 0 | 25222 | - | 96M | 0 |3141 |5044 |9696 |1977 | 14 | 3 | 0 | 1.776667e+02 | 1.145000e+03 | 544.47%| unknown
15.43/15.58 c 15.6s| 1 | 0 | 26508 | - | 98M | 0 |3141 |5044 |9717 |1998 | 15 | 3 | 0 | 1.776667e+02 | 1.145000e+03 | 544.47%| unknown
15.53/15.60 c 15.6s| 1 | 0 | 26569 | - | 98M | 0 |3141 |5044 |9717 |1998 | 15 | 3 | 0 | 1.814029e+02 | 1.145000e+03 | 531.19%| unknown
15.83/15.98 c 16.0s| 1 | 0 | 27873 | - | 99M | 0 |3141 |5045 |9701 |2015 | 16 | 4 | 0 | 1.814029e+02 | 1.145000e+03 | 531.19%| unknown
15.83/15.99 c 16.0s| 1 | 0 | 27898 | - | 99M | 0 |3141 |5045 |9701 |2015 | 16 | 4 | 0 | 1.853459e+02 | 1.145000e+03 | 517.76%| unknown
16.13/16.27 c 16.3s| 1 | 0 | 28856 | - | 100M | 0 |3141 |5046 |9720 |2034 | 17 | 5 | 0 | 1.853459e+02 | 1.145000e+03 | 517.76%| unknown
16.23/16.31 c 16.3s| 1 | 0 | 28913 | - | 100M | 0 |3141 |5046 |9663 |2034 | 17 | 5 | 0 | 1.882989e+02 | 1.145000e+03 | 508.08%| unknown
16.43/16.57 c 16.6s| 1 | 0 | 29782 | - | 101M | 0 |3141 |5046 |9683 |2054 | 18 | 5 | 0 | 1.882989e+02 | 1.145000e+03 | 508.08%| unknown
16.53/16.60 c 16.6s| 1 | 0 | 29847 | - | 101M | 0 |3141 |5046 |9683 |2054 | 18 | 5 | 0 | 1.933522e+02 | 1.145000e+03 | 492.18%| unknown
16.83/16.95 c 16.9s| 1 | 0 | 31053 | - | 102M | 0 |3141 |5047 |9687 |2075 | 19 | 6 | 0 | 1.933522e+02 | 1.145000e+03 | 492.18%| unknown
16.83/16.97 c 17.0s| 1 | 0 | 31084 | - | 102M | 0 |3141 |5047 |9687 |2075 | 19 | 6 | 0 | 1.988980e+02 | 1.145000e+03 | 475.67%| unknown
17.43/17.55 c 17.5s| 1 | 0 | 33357 | - | 103M | 0 |3141 |5047 |9714 |2102 | 20 | 6 | 0 | 1.988980e+02 | 1.145000e+03 | 475.67%| unknown
17.63/17.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.63/17.77 c 17.8s| 1 | 0 | 34052 | - | 103M | 0 |3141 |5047 |9693 |2102 | 20 | 6 | 0 | 2.036138e+02 | 1.145000e+03 | 462.34%| unknown
18.04/18.10 c 18.1s| 1 | 0 | 35163 | - | 104M | 0 |3141 |5048 |9717 |2126 | 21 | 7 | 0 | 2.036138e+02 | 1.145000e+03 | 462.34%| unknown
18.04/18.14 c 18.1s| 1 | 0 | 35273 | - | 104M | 0 |3141 |5048 |9717 |2126 | 21 | 7 | 0 | 2.076915e+02 | 1.145000e+03 | 451.30%| unknown
18.13/18.26 c 18.2s| 1 | 0 | 35577 | - | 104M | 0 |3141 |5048 |9728 |2160 | 22 | 7 | 0 | 2.076915e+02 | 1.145000e+03 | 451.30%| unknown
18.13/18.26 c 18.3s| 1 | 0 | 35579 | - | 104M | 0 |3141 |5048 |9728 |2160 | 22 | 7 | 0 | 2.082888e+02 | 1.145000e+03 | 449.72%| unknown
18.23/18.34 c 18.3s| 1 | 0 | 35739 | - | 104M | 0 |3141 |5048 |9734 |2166 | 23 | 7 | 0 | 2.082888e+02 | 1.145000e+03 | 449.72%| unknown
18.23/18.34 c 18.3s| 1 | 0 | 35739 | - | 104M | 0 |3141 |5048 |9734 |2166 | 23 | 7 | 0 | 2.083460e+02 | 1.145000e+03 | 449.57%| unknown
18.23/18.38 c 18.4s| 1 | 0 | 35772 | - | 104M | 0 |3141 |5049 |9742 |2174 | 24 | 8 | 0 | 2.083460e+02 | 1.145000e+03 | 449.57%| unknown
18.23/18.38 c 18.4s| 1 | 0 | 35772 | - | 104M | 0 |3141 |5049 |9742 |2174 | 24 | 8 | 0 | 2.083479e+02 | 1.145000e+03 | 449.56%| unknown
18.33/18.42 c 18.4s| 1 | 0 | 35775 | - | 104M | 0 |3141 |5049 |9746 |2178 | 25 | 8 | 0 | 2.083479e+02 | 1.145000e+03 | 449.56%| unknown
24.21/24.30 o 897
24.21/24.30 c d24.3s| 1 | 0 | 61284 | - |farkasdi| 0 |3141 |5055 |9746 | 0 | 26 | 14 | 0 | 2.083479e+02 | 8.970000e+02 | 330.53%| unknown
28.01/28.18 c 28.2s| 1 | 0 | 79315 | - | 105M | 0 |3141 |5055 |9746 |2178 | 26 | 14 | 0 | 2.083479e+02 | 8.970000e+02 | 330.53%| unknown
28.09/28.25 c 28.2s| 1 | 0 | 79349 | - | 105M | 0 |3141 |5055 |9731 |2189 | 27 | 14 | 0 | 2.083479e+02 | 8.970000e+02 | 330.53%| unknown
28.09/28.25 c 28.2s| 1 | 0 | 79349 | - | 105M | 0 |3141 |5055 |9731 |2189 | 27 | 14 | 0 | 2.083479e+02 | 8.970000e+02 | 330.53%| unknown
28.09/28.28 c 28.3s| 1 | 0 | 79357 | - | 105M | 0 |3141 |5055 |9736 |2194 | 28 | 14 | 0 | 2.083479e+02 | 8.970000e+02 | 330.53%| unknown
36.27/36.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.27/36.41 c 36.4s| 1 | 2 | 79380 | - | 105M | 0 |3141 |5055 |9736 |2194 | 28 | 14 | 34 | 2.083479e+02 | 8.970000e+02 | 330.53%| unknown
95.70/96.06 o 883
95.70/96.06 c d96.0s| 20 | 21 |163681 |6730.2 |adaptive| 13 |3141 |5055 |9758 | 0 | 2 | 14 | 194 | 2.396394e+02 | 8.830000e+02 | 268.47%| unknown
187.64/188.24 o 871
187.64/188.24 c L 188s| 55 | 56 |447433 |7622.7 | alns| 20 |3141 |5057 | 10k|3825 | 3 | 16 | 283 | 2.532042e+02 | 8.710000e+02 | 243.99%| unknown
187.64/188.24 o 865
187.64/188.24 c L 188s| 55 | 56 |447433 |7622.7 | alns| 20 |3141 |5057 | 10k|3825 | 3 | 16 | 283 | 2.532042e+02 | 8.650000e+02 | 241.62%| unknown
187.64/188.24 o 861
187.64/188.24 c L 188s| 55 | 56 |447433 |7622.7 | alns| 20 |3141 |5057 | 10k|3825 | 3 | 16 | 283 | 2.532042e+02 | 8.610000e+02 | 240.04%| unknown
188.45/189.03 o 784
188.45/189.03 c r 189s| 66 | 64 |451379 |6393.4 |simplero| 28 |3141 |5057 | 10k|3888 | 0 | 16 | 283 | 2.532042e+02 | 7.840000e+02 | 209.63%| unknown
188.75/189.38 o 781
188.75/189.38 c r 189s| 78 | 62 |453174 |5420.4 |simplero| 28 |3141 |5057 | 10k|3912 | 0 | 16 | 283 | 2.532042e+02 | 7.810000e+02 | 208.45%| unknown
188.75/189.39 o 775
188.75/189.39 c r 189s| 79 | 61 |453232 |5351.6 |simplero| 28 |3141 |5057 | 10k|3912 | 0 | 16 | 283 | 2.532042e+02 | 7.750000e+02 | 206.08%| unknown
200.42/201.09 o 763
200.42/201.09 c d 201s| 83 | 59 |489440 |5532.1 |farkasdi| 28 |3141 |5058 | 10k| 0 | 2 | 17 | 296 | 2.566875e+02 | 7.630000e+02 | 197.25%| unknown
202.11/202.77 o 729
202.11/202.77 c r 203s| 94 | 58 |497969 |4969.5 |simplero| 28 |3141 |5058 | 10k|3979 | 0 | 17 | 296 | 2.566875e+02 | 7.290000e+02 | 184.00%| unknown
205.40/206.02 c 206s| 100 | 60 |502564 |4714.7 | 256M | 28 |3141 |5058 | 10k|4011 | 1 | 17 | 310 | 2.566875e+02 | 7.290000e+02 | 184.00%| unknown
205.60/206.21 o 722
205.60/206.21 c r 206s| 113 | 60 |503220 |4173.3 |simplero| 28 |3141 |5058 | 10k|4017 | 0 | 17 | 310 | 2.566875e+02 | 7.220000e+02 | 181.28%| unknown
219.06/219.79 o 682
219.06/219.79 c L 220s| 142 | 59 |548419 |3635.5 | alns| 28 |3141 |5058 | 10k|4092 | 2 | 17 | 319 | 2.730381e+02 | 6.820000e+02 | 149.78%| unknown
219.06/219.79 o 654
219.06/219.79 c L 220s| 142 | 58 |548419 |3635.5 | alns| 28 |3141 |5058 | 10k|4092 | 2 | 17 | 319 | 2.730381e+02 | 6.540000e+02 | 139.53%| unknown
219.06/219.79 o 652
219.06/219.79 c L 220s| 142 | 58 |548419 |3635.5 | alns| 28 |3141 |5058 | 10k|4092 | 2 | 17 | 319 | 2.730381e+02 | 6.520000e+02 | 138.79%| unknown
252.67/253.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
252.67/253.42 c 253s| 200 | 58 |647086 |3071.8 | 257M | 28 |3141 |5058 | 10k|4377 | 0 | 17 | 375 | 2.730381e+02 | 6.520000e+02 | 138.79%| unknown
322.77/323.75 c 324s| 300 | 80 |856555 |2745.0 | 281M | 28 |3141 |5059 | 10k|4828 | 3 | 18 | 479 | 2.807562e+02 | 6.520000e+02 | 132.23%| unknown
407.73/408.98 c 409s| 400 | 90 | 1097k|2661.5 | 301M | 28 |3141 |5059 | 10k|5789 | 0 | 18 | 595 | 2.807562e+02 | 6.520000e+02 | 132.23%| unknown
497.89/499.38 c 499s| 500 | 88 | 1367k|2669.6 | 303M | 28 |3141 |5059 | 10k|6127 | 0 | 18 | 779 | 2.807562e+02 | 6.520000e+02 | 132.23%| unknown
509.96/511.48 o 631
509.96/511.48 c d 511s| 505 | 93 | 1411k|2730.0 |farkasdi| 28 |3141 |5061 | 10k| 0 | 2 | 20 | 791 | 2.834797e+02 | 6.310000e+02 | 122.59%| unknown
816.38/818.60 o 589
816.38/818.60 c r 819s| 567 | 142 | 2251k|3913.8 |simplero| 28 |3141 |5063 | 11k| 10k| 0 | 22 | 906 | 2.835995e+02 | 5.890000e+02 | 107.69%| unknown
867.65/870.08 c 870s| 600 | 139 | 2411k|3965.8 | 456M | 28 |3141 |5063 | 11k| 10k| 0 | 22 | 938 | 2.835995e+02 | 5.890000e+02 | 107.69%| unknown
1062.53/1065.41 o 544
1062.53/1065.41 c r1065s| 664 | 153 | 2806k|4178.6 |simplero| 28 |3141 |5063 | 11k| 11k| 0 | 22 |1113 | 2.871125e+02 | 5.440000e+02 | 89.47%| unknown
1124.26/1127.38 c 1127s| 700 | 163 | 3004k|4246.6 | 470M | 28 |3141 |5063 | 11k| 12k| 2 | 22 |1126 | 2.873867e+02 | 5.440000e+02 | 89.29%| unknown
1386.24/1390.00 c 1390s| 800 | 201 | 3715k|4605.7 | 529M | 28 |3141 |5063 | 11k| 13k| 0 | 22 |1219 | 2.952202e+02 | 5.440000e+02 | 84.27%| unknown
1388.43/1392.25 o 537
1388.43/1392.25 c r1392s| 802 | 189 | 3724k|4604.9 |simplero| 28 |3141 |5063 | 11k| 13k| 1 | 22 |1219 | 2.952202e+02 | 5.370000e+02 | 81.90%| unknown
1437.10/1441.01 o 528
1437.10/1441.01 c L1441s| 827 | 182 | 3862k|4632.4 | alns| 28 |3141 |5063 | 11k| 14k| 3 | 22 |1249 | 2.952202e+02 | 5.280000e+02 | 78.85%| unknown
1608.12/1612.57 c 1613s| 900 | 195 | 4264k|4703.8 | 532M | 28 |3141 |5063 | 11k| 14k| 0 | 22 |1391 | 3.028333e+02 | 5.280000e+02 | 74.35%| unknown
1976.33/1981.74 c 1982s| 1000 | 211 | 5198k|5168.3 | 620M | 28 |3141 |5066 | 11k| 17k| 0 | 25 |1453 | 3.075167e+02 | 5.280000e+02 | 71.70%| 13.34%
2036.16/2041.78 o 527
2036.16/2041.78 c r2042s| 1024 | 211 | 5348k|5193.2 |simplero| 28 |3141 |5066 | 11k| 17k| 0 | 25 |1487 | 3.075167e+02 | 5.270000e+02 | 71.37%| 13.66%
2055.61/2061.23 o 522
2055.61/2061.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2055.61/2061.23 c r2061s| 1031 | 208 | 5410k|5217.7 |simplero| 28 |3141 |5066 | 11k| 17k| 0 | 25 |1487 | 3.075167e+02 | 5.220000e+02 | 69.75%| 13.74%
2237.71/2243.86 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2237.71/2243.86 c (run 1, node 1092) performing user restart
2237.71/2243.86 c
2237.71/2243.86 c (restart) converted 812 cuts from the global cut pool into linear constraints
2237.71/2243.86 c
2237.71/2243.89 c presolving:
2237.81/2243.91 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 812 upgd conss, 0 impls, 5522 clqs
2237.81/2243.91 c (round 2, medium) 0 del vars, 8 del conss, 16 add conss, 0 chg bounds, 16 chg sides, 32 chg coeffs, 812 upgd conss, 0 impls, 5522 clqs
2237.81/2243.93 c presolving (3 rounds: 3 fast, 3 medium, 2 exhaustive):
2237.81/2243.93 c 0 deleted vars, 8 deleted constraints, 16 added constraints, 0 tightened bounds, 0 added holes, 16 changed sides, 32 changed coefficients
2237.81/2243.93 c 0 implications, 5522 cliques
2237.81/2243.93 c presolved problem has 3141 variables (380 bin, 0 int, 2761 impl, 0 cont) and 5886 constraints
2237.81/2243.93 c 607 constraints of type <knapsack>
2237.81/2243.93 c 80 constraints of type <setppc>
2237.81/2243.93 c 2761 constraints of type <and>
2237.81/2243.93 c 2280 constraints of type <linear>
2237.81/2243.93 c 158 constraints of type <logicor>
2237.81/2243.93 c transformed objective value is always integral (scale: 1)
2237.81/2243.93 c Presolving Time: 0.09
2237.81/2243.94 c transformed 28/28 original solutions to the transformed problem space
2237.81/2243.94 c
2244.69/2250.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2244.69/2250.81 c 2251s| 1 | 0 | 5848k| - | 614M | 0 |3141 |5886 |8622 | 0 | 0 | 25 |1624 | 3.107976e+02 | 5.220000e+02 | 67.95%| unknown
2245.89/2252.06 c 2252s| 1 | 0 | 5851k| - | 617M | 0 |3141 |5886 |8726 | 104 | 1 | 25 |1624 | 3.107976e+02 | 5.220000e+02 | 67.95%| unknown
2247.48/2253.66 c 2254s| 1 | 0 | 5853k| - | 618M | 0 |3141 |5887 |8805 | 183 | 2 | 26 |1624 | 3.107976e+02 | 5.220000e+02 | 67.95%| unknown
2249.38/2255.57 c 2256s| 1 | 0 | 5857k| - | 620M | 0 |3141 |5887 |8877 | 255 | 3 | 26 |1624 | 3.107976e+02 | 5.220000e+02 | 67.95%| unknown
2251.27/2257.48 c 2257s| 1 | 0 | 5860k| - | 620M | 0 |3141 |5887 |8969 | 347 | 4 | 26 |1624 | 3.107976e+02 | 5.220000e+02 | 67.95%| unknown
2253.07/2259.23 c 2259s| 1 | 0 | 5862k| - | 621M | 0 |3141 |5888 |9026 | 404 | 5 | 27 |1624 | 3.107976e+02 | 5.220000e+02 | 67.95%| unknown
2254.76/2260.91 c 2261s| 1 | 0 | 5864k| - | 622M | 0 |3141 |5888 |9074 | 452 | 6 | 27 |1624 | 3.107976e+02 | 5.220000e+02 | 67.95%| unknown
2256.56/2262.75 c 2263s| 1 | 0 | 5867k| - | 624M | 0 |3141 |5888 |9116 | 494 | 7 | 27 |1624 | 3.107976e+02 | 5.220000e+02 | 67.95%| unknown
2258.86/2265.04 c 2265s| 1 | 0 | 5871k| - | 625M | 0 |3141 |5888 |9169 | 547 | 8 | 27 |1624 | 3.135195e+02 | 5.220000e+02 | 66.50%| unknown
2260.95/2267.17 c 2267s| 1 | 0 | 5874k| - | 626M | 0 |3141 |5889 |9226 | 604 | 9 | 28 |1624 | 3.175463e+02 | 5.220000e+02 | 64.39%| unknown
2263.34/2269.58 c 2270s| 1 | 0 | 5878k| - | 627M | 0 |3141 |5890 |9128 | 664 | 10 | 29 |1624 | 3.175463e+02 | 5.220000e+02 | 64.39%| unknown
2263.34/2269.58 c 2270s| 1 | 0 | 5878k| - | 627M | 0 |3141 |5890 |9128 | 664 | 10 | 29 |1624 | 3.218552e+02 | 5.220000e+02 | 62.18%| unknown
2264.94/2271.12 c 2271s| 1 | 0 | 5882k| - | 628M | 0 |3141 |5891 |9167 | 703 | 11 | 30 |1624 | 3.218552e+02 | 5.220000e+02 | 62.18%| unknown
2264.94/2271.15 c 2271s| 1 | 0 | 5882k| - | 628M | 0 |3141 |5891 |9167 | 703 | 11 | 30 |1624 | 3.243908e+02 | 5.220000e+02 | 60.92%| unknown
2266.14/2272.32 c 2272s| 1 | 0 | 5885k| - | 628M | 0 |3141 |5891 |9076 | 746 | 12 | 30 |1624 | 3.243908e+02 | 5.220000e+02 | 60.92%| unknown
2266.14/2272.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2266.14/2272.37 c 2272s| 1 | 0 | 5885k| - | 628M | 0 |3141 |5891 |9076 | 746 | 12 | 30 |1624 | 3.273556e+02 | 5.220000e+02 | 59.46%| unknown
2267.43/2273.69 c 2274s| 1 | 0 | 5889k| - | 630M | 0 |3141 |5891 |9111 | 781 | 13 | 30 |1624 | 3.273556e+02 | 5.220000e+02 | 59.46%| unknown
2267.53/2273.75 c 2274s| 1 | 0 | 5889k| - | 630M | 0 |3141 |5891 |8979 | 781 | 13 | 30 |1624 | 3.292168e+02 | 5.220000e+02 | 58.56%| unknown
2268.43/2274.64 c 2275s| 1 | 0 | 5891k| - | 631M | 0 |3141 |5891 |9007 | 809 | 14 | 30 |1624 | 3.292168e+02 | 5.220000e+02 | 58.56%| unknown
2268.53/2274.71 c 2275s| 1 | 0 | 5892k| - | 631M | 0 |3141 |5891 |8979 | 809 | 14 | 30 |1624 | 3.310356e+02 | 5.220000e+02 | 57.69%| unknown
2269.33/2275.59 c 2276s| 1 | 0 | 5894k| - | 631M | 0 |3141 |5891 |9005 | 835 | 15 | 30 |1624 | 3.310356e+02 | 5.220000e+02 | 57.69%| unknown
2269.43/2275.64 c 2276s| 1 | 0 | 5894k| - | 631M | 0 |3141 |5891 |9005 | 835 | 15 | 30 |1624 | 3.320003e+02 | 5.220000e+02 | 57.23%| unknown
2270.42/2276.60 c 2277s| 1 | 0 | 5897k| - | 632M | 0 |3141 |5891 |8973 | 864 | 16 | 30 |1624 | 3.320003e+02 | 5.220000e+02 | 57.23%| unknown
2270.42/2276.68 c 2277s| 1 | 0 | 5897k| - | 632M | 0 |3141 |5891 |8973 | 864 | 16 | 30 |1624 | 3.340919e+02 | 5.220000e+02 | 56.24%| unknown
2272.12/2278.30 c 2278s| 1 | 0 | 5902k| - | 633M | 0 |3141 |5891 |9001 | 914 | 17 | 30 |1624 | 3.340919e+02 | 5.220000e+02 | 56.24%| unknown
2272.12/2278.36 c 2278s| 1 | 0 | 5902k| - | 633M | 0 |3141 |5891 |9001 | 914 | 17 | 30 |1624 | 3.365658e+02 | 5.220000e+02 | 55.10%| unknown
2273.92/2280.17 c 2280s| 1 | 0 | 5907k| - | 634M | 0 |3141 |5891 |9034 | 947 | 18 | 30 |1624 | 3.365658e+02 | 5.220000e+02 | 55.10%| unknown
2274.11/2280.31 c 2280s| 1 | 0 | 5907k| - | 634M | 0 |3141 |5891 |9016 | 947 | 18 | 30 |1624 | 3.385486e+02 | 5.220000e+02 | 54.19%| unknown
2275.01/2281.23 c 2281s| 1 | 0 | 5910k| - | 635M | 0 |3141 |5891 |9045 | 976 | 19 | 30 |1624 | 3.385486e+02 | 5.220000e+02 | 54.19%| unknown
2275.01/2281.26 c 2281s| 1 | 0 | 5910k| - | 635M | 0 |3141 |5891 |9045 | 976 | 19 | 30 |1624 | 3.394394e+02 | 5.220000e+02 | 53.78%| unknown
2276.21/2282.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2276.21/2282.42 c 2282s| 1 | 0 | 5913k| - | 635M | 0 |3141 |5891 |9056 |1017 | 20 | 30 |1624 | 3.394394e+02 | 5.220000e+02 | 53.78%| unknown
2276.21/2282.46 c 2282s| 1 | 0 | 5913k| - | 635M | 0 |3141 |5891 |9056 |1017 | 20 | 30 |1624 | 3.405928e+02 | 5.220000e+02 | 53.26%| unknown
2276.51/2282.79 c 2283s| 1 | 0 | 5914k| - | 635M | 0 |3141 |5892 |9101 |1062 | 21 | 31 |1624 | 3.405928e+02 | 5.220000e+02 | 53.26%| unknown
2276.61/2282.82 c 2283s| 1 | 0 | 5914k| - | 635M | 0 |3141 |5892 |9071 |1062 | 21 | 31 |1624 | 3.407640e+02 | 5.220000e+02 | 53.19%| unknown
2276.71/2282.97 c 2283s| 1 | 0 | 5914k| - | 635M | 0 |3141 |5892 |9078 |1069 | 22 | 31 |1624 | 3.407640e+02 | 5.220000e+02 | 53.19%| unknown
2276.71/2282.98 c 2283s| 1 | 0 | 5914k| - | 635M | 0 |3141 |5892 |9078 |1069 | 22 | 31 |1624 | 3.407712e+02 | 5.220000e+02 | 53.18%| unknown
2276.81/2283.04 c 2283s| 1 | 0 | 5914k| - | 635M | 0 |3141 |5892 |9080 |1071 | 23 | 31 |1624 | 3.407712e+02 | 5.220000e+02 | 53.18%| unknown
2309.62/2315.92 c 2316s| 1 | 2 | 5978k| - | 636M | 0 |3141 |5892 |9080 |1071 | 24 | 31 |1660 | 3.407712e+02 | 5.220000e+02 | 53.18%| unknown
2905.18/2913.40 c 2913s| 100 | 25 | 6926k|5714.6 | 683M | 20 |3141 |5892 | 10k|5936 | 3 | 31 |2266 | 3.497508e+02 | 5.220000e+02 | 49.25%| 5.40%
3451.58/3461.63 c 3462s| 200 | 39 | 7882k|6012.7 | 714M | 20 |3141 |5893 | 10k|9219 | 2 | 32 |2608 | 3.610256e+02 | 5.220000e+02 | 44.59%| 10.80%
3586.53/3597.01 c
3586.53/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.53/3597.01 c Solving Time (sec) : 3597.00
3586.53/3597.01 c Solving Nodes : 221 (total of 1313 nodes in 2 runs)
3586.53/3597.01 c Primal Bound : +5.22000000000000e+02 (28 solutions)
3586.53/3597.01 c Dual Bound : +3.76887237165257e+02
3586.53/3597.01 c Gap : 38.50 %
3586.53/3597.01 s SATISFIABLE
3586.53/3597.01 v x381 -x190 -x189 x188 x187 x358 x186 x185 -x184 x183 -x182 -x181 -x180 x179 -x178 -x177 x176 x175 x174 x173 x172 x171 x170 x169
3586.53/3597.01 v x168 x167 -x166 x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x307 -x213 x153 x152 x313 x225 -x151 x150
3586.53/3597.01 v x149 -x148 x203 -x147 x146 x145 -x282 x144 x143 -x288 -x142 x141 x140 -x139 -x138 x137 -x277 x199 x136 -x135 x357 x134 -x133
3586.53/3597.01 v x378 -x132 -x131 -x130 -x129 -x128 x127 -x312 -x223 -x126 -x287 -x125 -x124 -x212 x123 -x122 x224 -x121 -x120 -x119 -x118
3586.53/3597.01 v -x117 x116 x202 x193 -x115 x198 -x114 x222 -x113 -x112 x111 -x110 -x109 x108 -x107 -x106 -x105 x104 -x103 -x102 x101 x100 -x99
3586.53/3597.01 v x353 -x295 x98 -x97 x364 x301 -x96 x95 x94 -x93 -x92 x91 -x308 x290 -x215 -x201 -x90 -x283 -x276 -x89 -x363 -x300 x88 x214
3586.53/3597.01 v x200 x87 x296 x86 -x85 x359 x84 -x83 -x380 -x82 x81 -x80 -x79 -x78 x77 -x314 -x227 -x76 -x289 -x75 -x379 x74 x226 x73 -x72 -x365
3586.53/3597.01 v -x302 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 x356 x355 -x318 -x268 x53 -x52
3586.53/3597.01 v x376 x373 x324 x274 -x51 x50 x49 -x48 -x47 x46 x311 -x310 -x303 x263 x221 -x219 -x205 -x197 -x45 -x286 -x285 -x278 x261 -x44
3586.53/3597.01 v -x375 x372 -x323 -x273 x43 x272 x220 x218 x204 x196 x42 -x321 x41 x362 -x361 -x319 x299 -x298 x291 -x269 -x262 x40 -x377
3586.53/3597.01 v -x374 -x325 -x275 x39 x371 x322 -x271 x264 x38 -x37 -x36 x337 x237 -x35 x354 -x345 -x328 -x253 x34 -x33 -x32 x343 x243 -x31 x369
3586.53/3597.01 v x351 x334 x259 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x305 x232 -x209 -x192 -x19 -x309 -x306 -x304 x248 -x217
3586.53/3597.01 v -x211 -x207 -x195 -x18 -x280 x230 -x17 -x284 -x281 -x279 x246 -x16 x342 x242 -x15 x368 -x350 -x333 x258 x14 -x208 -x191 -x13
3586.53/3597.01 v x216 x210 x206 x194 x12 -x11 -x10 x338 -x293 x238 x231 -x9 -x360 -x346 -x329 -x297 x294 x292 x254 x247 -x8 x344 x244 -x7
3586.53/3597.01 v x370 -x352 -x335 -x260 x6 -x235 -x5 x252 x4 -x347 x339 x336 -x255 -x251 x239 x236 x228 x3 x341 x340 -x326 -x316 -x266 x241 x240
3586.53/3597.01 v x234 x233 x229 -x2 x367 x366 x349 -x348 x332 -x331 -x330 x327 -x320 -x317 -x315 -x270 x267 -x265 x257 -x256 x250 x249 x245
3586.53/3597.01 v -x1
3586.53/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3586.53/3597.01 c Total Time : 3597.00
3586.53/3597.01 c solving : 3597.00
3586.53/3597.01 c presolving : 0.09 (included in solving)
3586.53/3597.01 c reading : 0.01 (included in solving)
3586.53/3597.01 c copying : 0.06 (7 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3586.53/3597.01 c Original Problem :
3586.53/3597.01 c Problem name : HOME/instance-4512191-1751271854.opb
3586.53/3597.01 c Variables : 3142 (381 binary, 0 integer, 2761 implicit integer, 0 continuous)
3586.53/3597.01 c Constraints : 7322 initial, 7322 maximal
3586.53/3597.01 c Objective : minimize, 3099 non-zeros (abs.min = 1, abs.max = 1457)
3586.53/3597.01 c Presolved Problem :
3586.53/3597.01 c Problem name : t_HOME/instance-4512191-1751271854.opb
3586.53/3597.01 c Variables : 3141 (380 binary, 0 integer, 2761 implicit integer, 0 continuous)
3586.53/3597.01 c Constraints : 5886 initial, 5893 maximal
3586.53/3597.01 c Objective : minimize, 3098 non-zeros (abs.min = 1, abs.max = 33)
3586.53/3597.01 c Nonzeros : 21398 constraint, 11044 clique table
3586.53/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.53/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c gateextraction : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c pseudoobj : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c knapsack : 0.00 0.00 5 0 0 0 0 0 8 16 16 32
3586.53/3597.01 c setppc : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c and : 0.02 0.00 9 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c linear : 0.03 0.00 9 1 0 0 1 0 2281 0 0 0
3586.53/3597.01 c logicor : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c root node : - - - 0 - - 0 - - - - -
3586.53/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.53/3597.01 c benderslp : 0 0 0 0 816 0 0 393 0 0 0 0 0 0 0
3586.53/3597.01 c integral : 0 0 0 0 816 0 0 393 0 0 1 0 0 1 1630
3586.53/3597.01 c knapsack : 607 607 24 7622 0 0 0 0 0 0 911 78 44 0 0
3586.53/3597.01 c setppc : 80 80 24 7576 0 0 0 0 0 0 42 13 0 0 0
3586.53/3597.01 c and : 2761 2761 1881 29008 0 0 0 390 67 7 48140 28508 10244 0 0
3586.53/3597.01 c linear : 2280 2280 51 28909 0 0 0 58 55 24 2374 0 0 0 0
3586.53/3597.01 c logicor : 158+ 165 45 4340 0 0 0 0 0 0 22 29 27 0 0
3586.53/3597.01 c benders : 0 0 0 0 0 0 0 59 0 0 0 0 0 0 0
3586.53/3597.01 c fixedvar : 0 0 0 0 0 0 0 59 0 0 0 0 0 0 0
3586.53/3597.01 c countsols : 0 0 0 0 0 0 0 59 0 0 0 0 0 0 0
3586.53/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.53/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.53/3597.01 c integral : 839.31 0.00 0.00 0.00 839.31 0.00 0.00 0.00 0.00 0.00
3586.53/3597.01 c knapsack : 0.17 0.00 0.08 0.05 0.00 0.00 0.00 0.00 0.00 0.04
3586.53/3597.01 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.53/3597.01 c and : 2.78 0.00 1.30 0.72 0.00 0.00 0.00 0.01 0.00 0.74
3586.53/3597.01 c linear : 0.24 0.00 0.01 0.16 0.00 0.00 0.00 0.01 0.00 0.06
3586.53/3597.01 c logicor : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.53/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.53/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.53/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.53/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.53/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.53/3597.01 c dualfix : 4 0 0 0
3586.53/3597.01 c genvbounds : 0 0 0 0
3586.53/3597.01 c nlobbt : 0 0 0 0
3586.53/3597.01 c obbt : 0 0 0 0
3586.53/3597.01 c probing : 0 0 0 0
3586.53/3597.01 c pseudoobj : 4406 0 0 0
3586.53/3597.01 c redcost : 3144 0 0 20341
3586.53/3597.01 c rootredcost : 18 0 0 0
3586.53/3597.01 c symmetry : 0 0 0 0
3586.53/3597.01 c vbounds : 15234 0 0 0
3586.53/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.53/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.53/3597.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.53/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.53/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.53/3597.01 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
3586.53/3597.01 c pseudoobj : 0.02 0.00 0.00 0.01 0.00 0.00
3586.53/3597.01 c redcost : 0.17 0.00 0.00 0.16 0.00 0.00
3586.53/3597.01 c rootredcost : 0.01 0.00 0.00 0.00 0.00 0.00
3586.53/3597.01 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
3586.53/3597.01 c vbounds : 0.02 0.00 0.00 0.01 0.00 0.01
3586.53/3597.01 c Symmetry :
3586.53/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.53/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.53/3597.01 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.53/3597.01 c shadow tree time : 0.00 s
3586.53/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.53/3597.01 c propagation : 0.00 31 31 - 31 4.1 1 5.0 - - -
3586.53/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.53/3597.01 c bound exceed. LP : 0.02 5 0 - 0 0.0 0 0.0 0 0.0 55
3586.53/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.53/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.53/3597.01 c applied globally : 0.00 - - 0 32 4.1 - - 0 - -
3586.53/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.53/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.53/3597.01 c cut pool : 0.85 - 760 91 - - 18017 52087 - - - - - (maximal pool size: 5541)
3586.53/3597.01 c aggregation : 7.99 0.00 326 50 0 0 7 52 0 4 4 0 0
3586.53/3597.01 c > cmir : - - - - - - - 52 0 4 4 0 -
3586.53/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.53/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.53/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c clique : 0.03 0.00 50 50 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c gomory : 131.40 0.00 205 20 0 0 9537 18979 0 1699 1699 0 0
3586.53/3597.01 c > gomorymi : - - - - - - - 6895 0 322 322 0 -
3586.53/3597.01 c > strongcg : - - - - - - - 12084 0 1377 1377 0 -
3586.53/3597.01 c impliedbounds : 0.07 0.00 326 50 0 0 4060 13141 0 4881 4881 0 0
3586.53/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c mixing : 0.00 0.00 327 51 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c multilinear : 0.00 0.00 226 51 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c rapidlearning : 0.04 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.53/3597.01 c rlt : 56.78 0.00 66 20 0 0 2275 8235 0 5634 5634 0 0
3586.53/3597.01 c zerohalf : 7.20 0.00 225 40 0 0 2138 11680 0 5646 5646 0 0
3586.53/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.53/3597.01 c hybrid : 0.22 0.00 1301 50 28179 0 52536 3265 0 10646
3586.53/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.53/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.53/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3586.53/3597.01 c problem variables: 0.04 - 1042 2063
3586.53/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.53/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.53/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.53/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.53/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.53/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.53/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.53/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.53/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.53/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.53/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.53/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.53/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.53/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.53/3597.01 c relpscost : 839.31 0.00 816 0 0 0 1 0 1 1630
3586.53/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.53/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.53/3597.01 c LP solutions : 0.00 - - 0 0
3586.53/3597.01 c relax solutions : 0.00 - - 0 0
3586.53/3597.01 c pseudo solutions : 0.00 - - 0 0
3586.53/3597.01 c strong branching : 0.00 - - 0 0
3586.53/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3586.53/3597.01 c adaptivediving : 38.44 0.00 10 1 1
3586.53/3597.01 c alns : 0.18 0.00 6 8 7
3586.53/3597.01 c bound : 0.00 0.00 0 0 0
3586.53/3597.01 c clique : 0.03 0.00 1 1 1
3586.53/3597.01 c coefdiving : 0.00 0.00 0 0 0
3586.53/3597.01 c completesol : 0.00 0.00 0 0 0
3586.53/3597.01 c conflictdiving : 7.82 0.00 6 0 0
3586.53/3597.01 c crossover : 0.00 0.00 0 0 0
3586.53/3597.01 c dins : 0.00 0.00 0 0 0
3586.53/3597.01 c distributiondivin: 41.64 0.00 6 0 0
3586.53/3597.01 c dps : 0.00 0.00 0 0 0
3586.53/3597.01 c dualval : 0.00 0.00 0 0 0
3586.53/3597.01 c farkasdiving : 44.58 0.00 6 3 3
3586.53/3597.01 c feasjump : 0.00 0.00 0 0 0
3586.53/3597.01 c feaspump : 3.68 0.00 1 0 0
3586.53/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3586.53/3597.01 c fracdiving : 34.14 0.00 6 0 0
3586.53/3597.01 c gins : 0.00 0.00 0 0 0
3586.53/3597.01 c guideddiving : 15.43 0.00 5 0 0
3586.53/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3586.53/3597.01 c indicator : 0.00 0.00 0 0 0
3586.53/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3586.53/3597.01 c indoneopt : 0.00 0.00 0 0 0
3586.53/3597.01 c indrounding : 0.00 0.00 0 0 0
3586.53/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3586.53/3597.01 c intdiving : 0.00 0.00 0 0 0
3586.53/3597.01 c intshifting : 0.00 0.00 0 0 0
3586.53/3597.01 c linesearchdiving : 17.42 0.00 5 0 0
3586.53/3597.01 c localbranching : 0.00 0.00 0 0 0
3586.53/3597.01 c locks : 0.01 0.00 1 0 0
3586.53/3597.01 c lpface : 0.00 0.00 0 0 0
3586.53/3597.01 c mpec : 0.00 0.00 0 0 0
3586.53/3597.01 c multistart : 0.00 0.00 0 0 0
3586.53/3597.01 c mutation : 0.00 0.00 0 0 0
3586.53/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3586.53/3597.01 c objpscostdiving : 59.26 0.00 3 0 0
3586.53/3597.01 c octane : 0.00 0.00 0 0 0
3586.53/3597.01 c ofins : 0.00 0.00 0 0 0
3586.53/3597.01 c oneopt : 0.11 0.00 19 1 1
3586.53/3597.01 c padm : 0.00 0.00 0 0 0
3586.53/3597.01 c proximity : 0.00 0.00 0 0 0
3586.53/3597.01 c pscostdiving : 27.33 0.00 6 0 0
3586.53/3597.01 c randrounding : 0.48 0.00 156 0 0
3586.53/3597.01 c rens : 0.00 0.00 0 0 0
3586.53/3597.01 c reoptsols : 0.00 0.00 0 0 0
3586.53/3597.01 c repair : 0.00 0.00 0 0 0
3586.53/3597.01 c rins : 0.00 0.00 0 0 0
3586.53/3597.01 c rootsoldiving : 9.57 0.00 3 1 0
3586.53/3597.01 c rounding : 0.12 0.00 575 0 0
3586.53/3597.01 c scheduler : 0.00 0.00 0 0 0
3586.53/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3586.53/3597.01 c shifting : 0.55 0.00 240 0 0
3586.53/3597.01 c simplerounding : 0.28 0.00 3647 10 10
3586.53/3597.01 c smallcard : 0.00 0.00 0 0 0
3586.53/3597.01 c subnlp : 0.00 0.00 0 0 0
3586.53/3597.01 c trivial : 0.00 0.00 4 2 1
3586.53/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3586.53/3597.01 c trustregion : 0.00 0.00 0 0 0
3586.53/3597.01 c trysol : 0.00 0.00 0 0 0
3586.53/3597.01 c twoopt : 0.00 0.00 0 0 0
3586.53/3597.01 c undercover : 0.10 0.00 1 1 1
3586.53/3597.01 c vbounds : 0.07 0.00 2 0 0
3586.53/3597.01 c veclendiving : 3.44 0.00 5 0 0
3586.53/3597.01 c zeroobj : 0.00 0.00 0 0 0
3586.53/3597.01 c zirounding : 0.81 0.00 814 0 0
3586.53/3597.01 c other solutions : - - - 0 -
3586.53/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.53/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.53/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.53/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.53/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.53/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.53/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.53/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.53/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.53/3597.01 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.53/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.53/3597.01 c primal LP : 352.62 1867 1138662 777.24 3229.18 1.48 402
3586.53/3597.01 c dual LP : 1886.28 2870 5907237 2257.26 3131.68 0.72 253
3586.53/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3586.53/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.53/3597.01 c resolve instable : 0.00 0 0 0.00 -
3586.53/3597.01 c diving/probing LP: 303.92 957 1132295 1183.17 3725.69
3586.53/3597.01 c strong branching : 831.43 2625 2487532 947.63 2991.87 - - 4636
3586.53/3597.01 c (at root node) : - 70 69692 995.60 -
3586.53/3597.01 c conflict analysis: 0.01 6 55 9.17 -
3586.53/3597.01 c B&B Tree :
3586.53/3597.01 c number of runs : 2
3586.53/3597.01 c nodes : 221 (132 internal, 89 leaves)
3586.53/3597.01 c feasible leaves : 0
3586.53/3597.01 c infeas. leaves : 89
3586.53/3597.01 c objective leaves : 0
3586.53/3597.01 c nodes (total) : 1313 (815 internal, 498 leaves)
3586.53/3597.01 c nodes left : 44
3586.53/3597.01 c max depth : 20
3586.53/3597.01 c max depth (total): 28
3586.53/3597.01 c backtracks : 60 (27.1%)
3586.53/3597.01 c early backtracks : 0 (0.0%)
3586.53/3597.01 c nodes exc. ref. : 0 (0.0%)
3586.53/3597.01 c delayed cutoffs : 0
3586.53/3597.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3586.53/3597.01 c avg switch length: 2.68
3586.53/3597.01 c switching time : 0.71
3586.53/3597.01 c Root Node :
3586.53/3597.01 c First LP value : +5.20000000000000e+01
3586.53/3597.01 c First LP Iters : 10898 (4959.38 Iter/sec)
3586.53/3597.01 c First LP Time : 2.20
3586.53/3597.01 c Final Dual Bound : +3.40771206307304e+02
3586.53/3597.01 c Final Root Iters : 120555
3586.53/3597.01 c Root LP Estimate : +1.88912379403792e+03
3586.53/3597.01 c Solution :
3586.53/3597.01 c Solutions found : 28 (25 improvements)
3586.53/3597.01 c First Solution : +1.45700000000000e+03 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
3586.53/3597.01 c Gap First Sol. : infinite
3586.53/3597.01 c Gap Last Sol. : 69.75 %
3586.53/3597.01 c Primal Bound : +5.22000000000000e+02 (in run 1, after 1031 nodes, 2061.22 seconds, depth 19, found by <simplerounding>)
3586.53/3597.01 c Dual Bound : +3.76887237165257e+02
3586.53/3597.01 c Gap : 38.50 %
3586.53/3597.01 c Integrals : Total Avg%
3586.53/3597.01 c primal-dual : 158021.50 43.93
3586.53/3597.01 c primal-ref : - - (not evaluated)
3586.53/3597.01 c dual-ref : - - (not evaluated)
3586.53/3597.07 c Time complete: 3586.6.
OK 522
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: 63708 MiB (61961 MiB free)
memory of node 1: 64465 MiB (63920 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512191-1751271854/watcher-4512191-1751271854 -o /tmp/evaluation-result-4512191-1751271854/solver-4512191-1751271854 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751268232-43212 --watchdog 3760 pbscip -f HOME/instance-4512191-1751271854.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=43920, runsolver pid=43917
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.16 4.12 4.03 4/261 43921
/proc/meminfo: memFree=128856764/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=82280 memory=51376 CPUtime=0.08 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 10036 0 0 0 7 1 0 0 20 0 1 0 42862993 84254720 12844 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 20570 12844 3712 3530 0 12021 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 51376 KiB
[startup+0.205679 s]*
/proc/loadavg: 4.16 4.12 4.03 4/261 43921
/proc/meminfo: memFree=128834856/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=87368 memory=56624 CPUtime=0.19 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 11231 0 0 0 17 2 0 0 20 0 1 0 42862993 89464832 14156 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 21842 14156 3840 3530 0 13293 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 87368 KiB
Current children cumulated memory: 56624 KiB
[startup+0.305589 s]*
/proc/loadavg: 4.16 4.12 4.03 4/261 43921
/proc/meminfo: memFree=128823264/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=88380 memory=57392 CPUtime=0.29 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 11425 0 0 0 27 2 0 0 20 0 1 0 42862993 90501120 14348 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 22095 14348 3840 3530 0 13546 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 88380 KiB
Current children cumulated memory: 57392 KiB
[startup+0.700098 s]
/proc/loadavg: 4.16 4.12 4.03 4/261 43921
/proc/meminfo: memFree=128786736/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=88552 memory=57776 CPUtime=0.68 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 11532 0 0 0 66 2 0 0 20 0 1 0 42862993 90677248 14444 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 22138 14444 3840 3530 0 13589 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88552 KiB
Current children cumulated memory: 57776 KiB
[startup+1.50013 s]
/proc/loadavg: 4.15 4.12 4.03 5/261 43923
/proc/meminfo: memFree=128728668/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=88988 memory=58160 CPUtime=1.48 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 11613 0 0 0 146 2 0 0 20 0 1 0 42862993 91123712 14540 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 22247 14540 3840 3530 0 13698 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 88988 KiB
Current children cumulated memory: 58160 KiB
[startup+3.10565 s]
/proc/loadavg: 4.15 4.12 4.03 5/265 43958
/proc/meminfo: memFree=128197488/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=118944 memory=88412 CPUtime=3.08 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 20045 0 0 0 305 3 0 0 20 0 1 0 42862993 121798656 22103 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 29736 22103 3968 3530 0 21187 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 118944 KiB
Current children cumulated memory: 88412 KiB
[startup+6.30016 s]
/proc/loadavg: 4.14 4.12 4.03 3/261 43986
/proc/meminfo: memFree=128349604/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=137840 memory=105692 CPUtime=6.26 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 24395 0 0 0 622 4 0 0 20 0 1 0 42862993 141148160 26423 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 34460 26423 3968 3530 0 25911 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 137840 KiB
Current children cumulated memory: 105692 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.03 5/266 44055
/proc/meminfo: memFree=128332668/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=155844 memory=119260 CPUtime=12.64 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 27787 0 0 0 1260 4 0 0 20 0 1 0 42862993 159584256 29815 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 38961 29815 3968 3530 0 30412 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 155844 KiB
Current children cumulated memory: 119260 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.13 4.04 5/266 44055
/proc/meminfo: memFree=128118624/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=171632 memory=126812 CPUtime=25.41 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 29524 0 0 0 2536 5 0 0 20 0 1 0 42862993 175751168 31703 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 42908 31703 3968 3530 0 34359 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 171632 KiB
Current children cumulated memory: 126812 KiB
[startup+51.1057 s]
/proc/loadavg: 4.18 4.13 4.04 5/266 44056
/proc/meminfo: memFree=127636468/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=185412 memory=141228 CPUtime=50.93 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 33244 0 0 0 5088 5 0 0 20 0 1 0 42862993 189861888 35307 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 46353 35307 3968 3530 0 37804 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 185412 KiB
Current children cumulated memory: 141228 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.04 5/266 44058
/proc/meminfo: memFree=127482864/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=185412 memory=161708 CPUtime=101.98 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 33305 0 0 0 10193 5 0 0 20 0 1 0 42862993 189861888 40427 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 46353 40427 3968 3530 0 37804 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 185412 KiB
Current children cumulated memory: 161708 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/266 44060
/proc/meminfo: memFree=127108176/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=309096 memory=275640 CPUtime=161.82 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 38354 0 0 0 16174 8 0 0 20 0 1 0 42862993 316514304 68910 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 77274 68910 3968 3530 0 68725 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 309096 KiB
Current children cumulated memory: 275640 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/266 44062
/proc/meminfo: memFree=127047248/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=336392 memory=298168 CPUtime=221.65 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 44050 0 0 0 22156 9 0 0 20 0 1 0 42862993 344465408 74542 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 84098 74542 3968 3530 0 75549 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 336392 KiB
Current children cumulated memory: 298168 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/266 44064
/proc/meminfo: memFree=127009484/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=336392 memory=298168 CPUtime=281.49 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 44105 0 0 0 28140 9 0 0 20 0 1 0 42862993 344465408 74542 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 84098 74542 3968 3530 0 75549 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 336392 KiB
Current children cumulated memory: 298168 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/265 44111
/proc/meminfo: memFree=127160320/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=358672 memory=322140 CPUtime=341.32 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 46571 0 0 0 34123 9 0 0 20 0 1 0 42862993 367280128 80535 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 89668 80535 3968 3530 0 81119 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 358672 KiB
Current children cumulated memory: 322140 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/265 44114
/proc/meminfo: memFree=127087504/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=365468 memory=325212 CPUtime=401.15 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 47346 0 0 0 40106 9 0 0 20 0 1 0 42862993 374239232 81303 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 91367 81303 3968 3530 0 82818 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 365468 KiB
Current children cumulated memory: 325212 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.09 4.05 5/265 44117
/proc/meminfo: memFree=126959860/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=366940 memory=326620 CPUtime=460.99 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 47752 0 0 0 46089 10 0 0 20 0 1 0 42862993 375746560 81655 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 91735 81655 3968 3530 0 83186 0
################
# More data... #
################
/proc/loadavg: 3.11 3.11 3.21 4/259 44299
/proc/meminfo: memFree=125002744/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=731644 memory=639240 CPUtime=3153.26 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 72127 0 0 0 315309 17 0 0 20 0 1 0 42862993 749203456 159810 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 182911 159810 3968 3530 0 174362 0
Current children cumulated CPU time: 3153.26 s
Current children cumulated vsize: 731644 KiB
Current children cumulated memory: 639240 KiB
[startup+3222.3 s]
/proc/loadavg: 3.08 3.10 3.20 4/259 44301
/proc/meminfo: memFree=124995620/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=732916 memory=639624 CPUtime=3213.07 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 72214 0 0 0 321290 17 0 0 20 0 1 0 42862993 750505984 159906 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 183229 159906 3968 3530 0 174680 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 732916 KiB
Current children cumulated memory: 639624 KiB
[startup+3282.3 s]
/proc/loadavg: 3.13 3.11 3.19 4/259 44304
/proc/meminfo: memFree=124999068/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=745028 memory=641160 CPUtime=3272.87 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 72621 0 0 0 327270 17 0 0 20 0 1 0 42862993 762908672 160290 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 186257 160290 3968 3530 0 177708 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 745028 KiB
Current children cumulated memory: 641160 KiB
[startup+3342.3 s]
/proc/loadavg: 3.17 3.12 3.19 4/258 44306
/proc/meminfo: memFree=124989976/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=747104 memory=641288 CPUtime=3332.67 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 72644 0 0 0 333250 17 0 0 20 0 1 0 42862993 765034496 160322 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 186776 160322 3968 3530 0 178227 0
Current children cumulated CPU time: 3332.67 s
Current children cumulated vsize: 747104 KiB
Current children cumulated memory: 641288 KiB
[startup+3402.3 s]
/proc/loadavg: 3.33 3.19 3.20 4/259 44309
/proc/meminfo: memFree=124995680/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=752604 memory=642312 CPUtime=3392.47 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 73019 0 0 0 339230 17 0 0 20 0 1 0 42862993 770666496 160578 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 188151 160578 3968 3530 0 179602 0
Current children cumulated CPU time: 3392.47 s
Current children cumulated vsize: 752604 KiB
Current children cumulated memory: 642312 KiB
[startup+3462.3 s]
/proc/loadavg: 3.18 3.17 3.19 4/259 44324
/proc/meminfo: memFree=124942668/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=755908 memory=643336 CPUtime=3452.28 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 73270 0 0 0 345211 17 0 0 20 0 1 0 42862993 774049792 160834 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 188977 160834 3968 3530 0 180428 0
Current children cumulated CPU time: 3452.28 s
Current children cumulated vsize: 755908 KiB
Current children cumulated memory: 643336 KiB
[startup+3522.3 s]
/proc/loadavg: 3.11 3.15 3.18 4/260 44327
/proc/meminfo: memFree=124608832/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=1114052 memory=977692 CPUtime=3512.07 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 80317 0 0 0 351183 24 0 0 20 0 1 0 42862993 1140789248 244423 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 278513 244423 3968 3530 0 269964 0
Current children cumulated CPU time: 3512.07 s
Current children cumulated vsize: 1114052 KiB
Current children cumulated memory: 977692 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.15 3.18 4/260 44329
/proc/meminfo: memFree=124606188/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=1117776 memory=977820 CPUtime=3571.87 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 80336 0 0 0 357163 24 0 0 20 0 1 0 42862993 1144602624 244455 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 279444 244455 3968 3530 0 270895 0
Current children cumulated CPU time: 3571.87 s
Current children cumulated vsize: 1117776 KiB
Current children cumulated memory: 977820 KiB
[startup+3597.07 s]
# the end of solver process 43920 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.34 s, system=0.261131 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.14 3.15 3.18 4/260 44329
/proc/meminfo: memFree=124606188/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=1117776 memory=977820 CPUtime=3573.57 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 80336 0 0 0 357333 24 0 0 20 0 1 0 42862993 1144602624 244455 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 279444 244455 3968 3530 0 270895 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 1117776 KiB
Current children cumulated memory: 977820 KiB
[startup+3590.4 s]
/proc/loadavg: 3.13 3.15 3.18 4/259 44329
/proc/meminfo: memFree=124598132/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=1118360 memory=978332 CPUtime=3579.95 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 80492 0 0 0 357970 25 0 0 20 0 1 0 42862993 1145200640 244583 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 279590 244583 3968 3530 0 271041 0
Current children cumulated CPU time: 3579.95 s
Current children cumulated vsize: 1118360 KiB
Current children cumulated memory: 978332 KiB
[startup+3593.6 s]
/proc/loadavg: 3.12 3.14 3.18 4/259 44329
/proc/meminfo: memFree=124598132/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=1118360 memory=978332 CPUtime=3583.14 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 80492 0 0 0 358289 25 0 0 20 0 1 0 42862993 1145200640 244583 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 279590 244583 3968 3530 0 271041 0
Current children cumulated CPU time: 3583.14 s
Current children cumulated vsize: 1118360 KiB
Current children cumulated memory: 978332 KiB
[startup+3595.2 s]
/proc/loadavg: 3.12 3.14 3.18 4/259 44329
/proc/meminfo: memFree=124598132/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=1118360 memory=978332 CPUtime=3584.73 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 80492 0 0 0 358448 25 0 0 20 0 1 0 42862993 1145200640 244583 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 279590 244583 3968 3530 0 271041 0
Current children cumulated CPU time: 3584.73 s
Current children cumulated vsize: 1118360 KiB
Current children cumulated memory: 978332 KiB
[startup+3596 s]*
/proc/loadavg: 3.12 3.14 3.18 4/259 44329
/proc/meminfo: memFree=124598132/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=1118360 memory=978332 CPUtime=3585.54 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 80492 0 0 0 358529 25 0 0 20 0 1 0 42862993 1145200640 244583 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 279590 244583 3968 3530 0 271041 0
Current children cumulated CPU time: 3585.54 s
Current children cumulated vsize: 1118360 KiB
Current children cumulated memory: 978332 KiB
[startup+3596.8 s]
/proc/loadavg: 3.12 3.14 3.18 4/259 44329
/proc/meminfo: memFree=124598132/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=1118360 memory=978332 CPUtime=3586.33 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 80492 0 0 0 358608 25 0 0 20 0 1 0 42862993 1145200640 244583 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 279590 244583 3968 3530 0 271041 0
Current children cumulated CPU time: 3586.33 s
Current children cumulated vsize: 1118360 KiB
Current children cumulated memory: 978332 KiB
[startup+3597 s]*
/proc/loadavg: 3.11 3.14 3.18 4/259 44329
/proc/meminfo: memFree=124598132/131250000 swapFree=33010684/33010684
[pid=43920] ppid=43917 vsize=1118360 memory=978332 CPUtime=3586.53 cores=5,7
/proc/43920/stat : 43920 (pbscip) R 43917 43920 43192 0 -1 4194304 80492 0 0 0 358628 25 0 0 20 0 1 0 42862993 1145200640 244583 18446744073709551615 4235264 18693293 140729517017152 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59695104 140729517021577 140729517021676 140729517021676 140729517027278 0
/proc/43920/statm: 279590 244583 3968 3530 0 271041 0
Current children cumulated CPU time: 3586.53 s
Current children cumulated vsize: 1118360 KiB
Current children cumulated memory: 978332 KiB
Child status: 0
Real time (s): 3597.07
CPU time (s): 3586.6
CPU user time (s): 3586.34
CPU system time (s): 0.261131
CPU usage (%): 99.709
Max. virtual memory (cumulated for all children) (KiB): 1118360
Max. memory (cumulated for all children) (KiB): 978332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.34
system time used= 0.261131
maximum resident set size= 978332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120
involuntary context switches= 1989
# summary of solver processes directly reported to runsolver:
# pid: 43920
# total CPU time (s): 3586.6
# total CPU user time (s): 3586.34
# total CPU system time (s): 0.261131
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84691 second user time and 14.9815 second system time
The end
Begin job on nodeC016 at 2025-06-30 10:24:14 IDJOB=4512191 IDBENCH=160498 IDSOLVER=3365 FILE ID=nodeC016/4512191-1751271854 RUNJOBID= nodeC016-1751268232-43212 SLURM_JOB_ID= 9594183 Free space on /tmp= 433008 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-edgecross20-080.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512191-1751271854/watcher-4512191-1751271854 -o /tmp/evaluation-result-4512191-1751271854/solver-4512191-1751271854 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751268232-43212 --watchdog 3760 pbscip -f HOME/instance-4512191-1751271854.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 09771aef0beb4a695febed49a69e8ae9 RANDOM SEED=497536264 nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.158 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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 : 3598.548 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.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 : 3599.729 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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.918 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.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 : 3602.643 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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 : 3599.306 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.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 : 3599.734 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 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.765 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 128915196 kB MemAvailable: 129700476 kB Buffers: 3280 kB Cached: 1589208 kB SwapCached: 0 kB Active: 378428 kB Inactive: 1332048 kB Active(anon): 136064 kB Inactive(anon): 0 kB Active(file): 242364 kB Inactive(file): 1332048 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 56564 kB Writeback: 8 kB AnonPages: 121120 kB Mapped: 123672 kB Shmem: 18072 kB KReclaimable: 100216 kB Slab: 187060 kB SReclaimable: 100216 kB SUnreclaim: 86844 kB KernelStack: 4272 kB PageTables: 3292 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 445120 kB VmallocTotal: 34359738367 kB VmallocUsed: 150488 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433004 MiB End job on nodeC016 at 2025-06-30 11:24:12