Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP-NaPS 1.00a2 | OPT | -45 | 3389.97 | 3401.09 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb |
| MD5SUM | a3f6b61db250b51897503d5946a188dc |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -45 |
| Best CPU time to get the best result obtained on this benchmark | 432.391 |
| 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 | 945 |
| Total number of constraints | 58245 |
| Number of constraints which are clauses | 58245 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 945 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 945 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 945 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
15.00/15.15 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530202-1752251563.opb 15.00/15.15 c Solving mode: optimization 15.00/15.15 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 15.00/15.15 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 15.00/15.15 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58245 constraints 15.00/15.15 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00 15.00/15.15 c presolving: 15.00/15.15 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58245 upgd conss, 0 impls, 58245 clqs 15.00/15.15 c (0.7s) probing: 51/945 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 15.00/15.15 c (0.7s) probing aborted: 50/50 successive totally useless probings 15.00/15.15 c (1.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 15.00/15.15 c (1.2s) no symmetry present (symcode time: 0.01) 15.00/15.15 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive): 15.00/15.15 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 15.00/15.15 c 0 implications, 58245 cliques 15.00/15.15 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58245 constraints 15.00/15.15 c 58245 constraints of type <setppc> 15.00/15.15 c transformed objective value is always integral (scale: 1) 15.00/15.15 c Presolving Time: 1.12 15.00/15.15 c transformed 1/1 original solutions to the transformed problem space 15.00/15.15 c 15.00/15.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 15.00/15.15 c p 1.3s| 1 | 0 | 0 | - | clique| 0 | 945 | 58k| 58k| 0 | 0 | 0 | 0 |-9.450000e+02 |-2.800000e+01 |3275.00%| unknown 15.00/15.15 c p 1.5s| 1 | 0 | 0 | - | vbounds| 0 | 945 | 58k| 58k| 0 | 0 | 0 | 0 |-9.450000e+02 |-3.100000e+01 |2948.39%| unknown 15.00/15.15 c 1.8s| 1 | 0 | 945 | - | 318M | 0 | 945 | 58k| 58k| 0 | 0 | 0 | 0 |-4.725000e+02 |-3.100000e+01 |1424.19%| unknown 15.00/15.15 c 2.4s| 1 | 0 | 1144 | - | 335M | 0 | 945 | 58k| 58k| 11 | 1 | 0 | 0 |-4.405000e+02 |-3.100000e+01 |1320.97%| unknown 15.00/15.15 c 3.7s| 1 | 0 | 1274 | - | 342M | 0 | 945 | 58k| 58k| 29 | 2 | 0 | 0 |-4.150000e+02 |-3.100000e+01 |1238.71%| unknown 15.00/15.15 c 5.4s| 1 | 0 | 1423 | - | 348M | 0 | 945 | 58k| 58k| 48 | 3 | 0 | 0 |-3.900000e+02 |-3.100000e+01 |1158.06%| unknown 15.00/15.15 c 7.5s| 1 | 0 | 1609 | - | 355M | 0 | 945 | 58k| 58k| 73 | 4 | 0 | 0 |-3.625000e+02 |-3.100000e+01 |1069.35%| unknown 15.00/15.15 c 8.4s| 1 | 0 | 2011 | - | 362M | 0 | 945 | 58k| 58k| 98 | 5 | 0 | 0 |-3.365000e+02 |-3.100000e+01 | 985.48%| unknown 15.00/15.15 c 8.9s| 1 | 0 | 2491 | - | 368M | 0 | 945 | 58k| 58k| 125 | 6 | 0 | 0 |-3.140000e+02 |-3.100000e+01 | 912.90%| unknown 15.00/15.15 c 9.5s| 1 | 0 | 3095 | - | 375M | 0 | 945 | 58k| 58k| 150 | 7 | 0 | 0 |-2.867500e+02 |-3.100000e+01 | 825.00%| unknown 15.00/15.15 c 10.0s| 1 | 0 | 3991 | - | 382M | 0 | 945 | 58k| 58k| 180 | 8 | 0 | 0 |-2.657500e+02 |-3.100000e+01 | 757.26%| unknown 15.00/15.15 c 10.5s| 1 | 0 | 4822 | - | 390M | 0 | 945 | 58k| 58k| 208 | 9 | 0 | 0 |-2.347500e+02 |-3.100000e+01 | 657.26%| unknown 15.00/15.15 c 11.0s| 1 | 0 | 5457 | - | 396M | 0 | 945 | 58k| 58k| 245 | 10 | 0 | 0 |-2.112500e+02 |-3.100000e+01 | 581.45%| unknown 15.00/15.15 c 11.3s| 1 | 0 | 6204 | - | 402M | 0 | 945 | 58k| 58k| 271 | 11 | 0 | 0 |-1.812500e+02 |-3.100000e+01 | 484.68%| unknown 15.00/15.15 c 11.7s| 1 | 0 | 7742 | - | 408M | 0 | 945 | 58k| 58k| 293 | 12 | 0 | 0 |-1.628333e+02 |-3.100000e+01 | 425.27%| unknown 15.00/15.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 15.00/15.15 c 12.0s| 1 | 0 | 8417 | - | 415M | 0 | 945 | 58k| 58k| 321 | 13 | 0 | 0 |-1.460833e+02 |-3.100000e+01 | 371.24%| unknown 15.00/15.15 c 12.3s| 1 | 0 | 9174 | - | 421M | 0 | 945 | 58k| 58k| 347 | 14 | 0 | 0 |-1.371667e+02 |-3.100000e+01 | 342.47%| unknown 15.00/15.15 c 12.6s| 1 | 0 | 10342 | - | 426M | 0 | 945 | 58k| 58k| 368 | 15 | 0 | 0 |-1.167917e+02 |-3.100000e+01 | 276.75%| unknown 15.00/15.15 c 12.9s| 1 | 0 | 11019 | - | 432M | 0 | 945 | 58k| 58k| 385 | 16 | 0 | 0 |-1.025000e+02 |-3.100000e+01 | 230.65%| unknown 15.00/15.15 c 13.0s| 1 | 0 | 11212 | - | 438M | 0 | 945 | 58k| 58k| 402 | 17 | 0 | 0 |-9.481250e+01 |-3.100000e+01 | 205.85%| unknown 15.00/15.15 c 13.1s| 1 | 0 | 11443 | - | 444M | 0 | 945 | 58k| 58k| 413 | 18 | 0 | 0 |-8.317241e+01 |-3.100000e+01 | 168.30%| unknown 15.00/15.15 c 13.2s| 1 | 0 | 11668 | - | 450M | 0 | 945 | 58k| 58k| 426 | 19 | 0 | 0 |-7.458333e+01 |-3.100000e+01 | 140.59%| unknown 15.00/15.15 c 13.4s| 1 | 0 | 12356 | - | 455M | 0 | 945 | 58k| 58k| 438 | 20 | 0 | 0 |-6.108333e+01 |-3.100000e+01 | 97.04%| unknown 15.00/15.15 c 13.5s| 1 | 0 | 12413 | - | 455M | 0 | 945 | 58k| 58k| 442 | 21 | 0 | 0 |-5.408333e+01 |-3.100000e+01 | 74.46%| unknown 15.00/15.15 c 13.6s| 1 | 0 | 12457 | - | 456M | 0 | 945 | 58k| 58k| 445 | 22 | 0 | 0 |-4.800000e+01 |-3.100000e+01 | 54.84%| unknown 15.00/15.15 c 13.7s| 1 | 0 | 12496 | - | 456M | 0 | 945 | 58k| 58k| 448 | 23 | 0 | 0 |-4.783333e+01 |-3.100000e+01 | 54.30%| unknown 15.00/15.15 c 13.7s| 1 | 0 | 12533 | - | 456M | 0 | 945 | 58k| 58k| 452 | 24 | 0 | 0 |-4.700000e+01 |-3.100000e+01 | 51.61%| unknown 15.00/15.15 c 13.8s| 1 | 0 | 12572 | - | 457M | 0 | 945 | 58k| 58k| 456 | 25 | 0 | 0 |-4.700000e+01 |-3.100000e+01 | 51.61%| unknown 15.00/15.15 c 13.8s| 1 | 0 | 12598 | - | 457M | 0 | 945 | 58k| 58k| 459 | 26 | 0 | 0 |-4.700000e+01 |-3.100000e+01 | 51.61%| unknown 15.00/15.15 c 13.9s| 1 | 0 | 12632 | - | 458M | 0 | 945 | 58k| 58k| 462 | 27 | 0 | 0 |-4.650000e+01 |-3.100000e+01 | 50.00%| unknown 15.00/15.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 15.00/15.15 c 14.0s| 1 | 0 | 12657 | - | 458M | 0 | 945 | 58k| 58k| 466 | 28 | 0 | 0 |-4.650000e+01 |-3.100000e+01 | 50.00%| unknown 15.00/15.15 c 14.0s| 1 | 0 | 12685 | - | 459M | 0 | 945 | 58k| 58k| 470 | 29 | 0 | 0 |-4.650000e+01 |-3.100000e+01 | 50.00%| unknown 15.00/15.15 c 14.1s| 1 | 0 | 12711 | - | 459M | 0 | 945 | 58k| 58k| 475 | 30 | 0 | 0 |-4.650000e+01 |-3.100000e+01 | 50.00%| unknown 15.00/15.15 c 14.2s| 1 | 0 | 12754 | - | 459M | 0 | 945 | 58k| 58k| 480 | 31 | 0 | 0 |-4.650000e+01 |-3.100000e+01 | 50.00%| unknown 15.00/15.15 c 14.2s| 1 | 0 | 12787 | - | 460M | 0 | 945 | 58k| 58k| 486 | 32 | 0 | 0 |-4.650000e+01 |-3.100000e+01 | 50.00%| unknown 15.00/15.15 c 14.3s| 1 | 0 | 12833 | - | 460M | 0 | 945 | 58k| 58k| 495 | 33 | 0 | 0 |-4.550000e+01 |-3.100000e+01 | 46.77%| unknown 15.00/15.15 c 14.4s| 1 | 0 | 12866 | - | 461M | 0 | 945 | 58k| 58k| 499 | 34 | 0 | 0 |-4.550000e+01 |-3.100000e+01 | 46.77%| unknown 15.00/15.15 c 14.5s| 1 | 0 | 12926 | - | 461M | 0 | 945 | 58k| 58k| 504 | 35 | 0 | 0 |-4.550000e+01 |-3.100000e+01 | 46.77%| unknown 15.00/15.15 c 14.5s| 1 | 0 | 12994 | - | 461M | 0 | 945 | 58k| 58k| 512 | 36 | 0 | 0 |-4.550000e+01 |-3.100000e+01 | 46.77%| unknown 15.00/15.15 c 14.6s| 1 | 0 | 13062 | - | 462M | 0 | 945 | 58k| 58k| 520 | 37 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown 15.00/15.15 c 14.7s| 1 | 0 | 13127 | - | 462M | 0 | 945 | 58k| 58k| 526 | 38 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown 15.00/15.15 c 14.8s| 1 | 0 | 13187 | - | 463M | 0 | 945 | 58k| 58k| 534 | 39 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown 415.57/417.14 c 14.9s| 1 | 0 | 13260 | - | 463M | 0 | 945 | 58k| 58k| 540 | 40 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown 415.57/417.14 c 15.0s| 1 | 0 | 13336 | - | 464M | 0 | 945 | 58k| 58k| 549 | 41 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown 415.57/417.14 c 15.1s| 1 | 0 | 13399 | - | 464M | 0 | 945 | 58k| 58k| 557 | 42 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown 415.57/417.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 415.57/417.14 c 15.2s| 1 | 0 | 13457 | - | 465M | 0 | 945 | 58k| 58k| 564 | 43 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown 415.57/417.14 c 15.2s| 1 | 0 | 13516 | - | 465M | 0 | 945 | 58k| 58k| 572 | 44 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown 415.57/417.14 c 15.3s| 1 | 0 | 13570 | - | 466M | 0 | 945 | 58k| 58k| 581 | 45 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown 415.57/417.14 c 15.4s| 1 | 0 | 13628 | - | 466M | 0 | 945 | 58k| 58k| 589 | 46 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown 415.57/417.14 c 15.5s| 1 | 0 | 13675 | - | 467M | 0 | 945 | 58k| 58k| 598 | 47 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown 415.57/417.14 c 19.9s| 1 | 2 | 13685 | - | 467M | 0 | 945 | 58k| 58k| 598 | 47 | 0 | 21 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown 415.57/417.14 c d32.8s| 23 | 24 | 15536 | 84.6 |pscostdi| 13 | 945 | 58k| 58k| 0 | 1 | 0 | 194 |-4.533333e+01 |-3.300000e+01 | 37.37%| unknown 415.57/417.14 c d32.9s| 23 | 24 | 15538 | 84.7 |pscostdi| 13 | 945 | 58k| 58k| 0 | 1 | 0 | 194 |-4.533333e+01 |-3.400000e+01 | 33.33%| unknown 415.57/417.14 c d39.1s| 47 | 48 | 17636 | 86.1 |conflict| 13 | 945 | 58k| 58k| 0 | 1 | 3 | 232 |-4.533333e+01 |-3.500000e+01 | 29.52%| unknown 415.57/417.14 c 81.1s| 100 | 93 | 23060 | 94.8 | 582M | 19 | 945 | 58k| 58k| 864 | 4 | 5 |1098 |-4.533333e+01 |-3.500000e+01 | 29.52%| unknown 415.57/417.14 c *82.1s| 105 | 93 | 23261 | 92.2 | LP | 21 | 945 | 58k| 58k| 868 | 1 | 5 |1130 |-4.533333e+01 |-3.600000e+01 | 25.93%| unknown 415.57/417.14 c 114s| 200 | 170 | 30030 | 82.2 | 611M | 21 | 945 | 58k| 58k|1037 | 0 | 15 |1714 |-4.533333e+01 |-3.600000e+01 | 25.93%| unknown 415.57/417.14 c 134s| 300 | 250 | 36834 | 77.5 | 626M | 22 | 945 | 58k| 58k|1203 | 1 | 15 |1847 |-4.533333e+01 |-3.600000e+01 | 25.93%| unknown 415.57/417.14 c L 135s| 305 | 217 | 37091 | 77.0 | rins| 22 | 945 | 58k| 58k|1204 | 2 | 15 |1857 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 151s| 400 | 288 | 43494 | 74.7 | 653M | 22 | 945 | 58k| 58k|1362 | 2 | 30 |1901 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 415.57/417.14 c 154s| 500 | 338 | 47406 | 67.6 | 656M | 30 | 945 | 58k| 58k|1391 | 0 | 30 |1925 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 157s| 600 | 394 | 49501 | 59.8 | 656M | 38 | 945 | 58k| 58k|1401 | 1 | 30 |1939 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 161s| 700 | 432 | 51996 | 54.8 | 657M | 40 | 945 | 58k| 58k|1433 | 1 | 30 |1948 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 171s| 800 | 474 | 55155 | 51.9 | 671M | 46 | 945 | 58k| 58k|1490 | 1 | 30 |1992 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 180s| 900 | 544 | 59670 | 51.2 | 674M | 46 | 945 | 58k| 58k|1577 | 1 | 40 |2040 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 185s| 1000 | 604 | 64650 | 51.0 | 676M | 46 | 945 | 58k| 58k|1603 | 1 | 40 |2082 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 189s| 1100 | 648 | 68036 | 49.5 | 681M | 46 | 945 | 58k| 58k|1644 | 1 | 40 |2101 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 193s| 1200 | 676 | 70485 | 47.4 | 683M | 46 | 945 | 58k| 58k|1662 | 0 | 44 |2120 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 198s| 1300 | 716 | 73726 | 46.2 | 690M | 46 | 945 | 58k| 58k|1686 | 2 | 44 |2148 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 227s| 1400 | 806 | 85937 | 51.7 | 775M | 46 | 945 | 58k| 58k|1945 | 2 | 90 |2166 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 241s| 1500 | 902 | 94468 | 53.9 | 817M | 46 | 945 | 58k| 58k|2155 | 1 | 137 |2177 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 249s| 1600 | 1000 |102950 | 55.8 | 830M | 46 | 945 | 58k| 58k|2299 | 1 | 211 |2187 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 256s| 1700 | 1098 |111222 | 57.4 | 847M | 46 | 945 | 58k| 58k|2424 | 1 | 280 |2191 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 264s| 1800 | 1196 |120678 | 59.5 | 866M | 46 | 945 | 58k| 58k|2550 | 4 | 373 |2194 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 277s| 1900 | 1290 |131796 | 62.2 | 873M | 46 | 945 | 58k| 58k|2751 | 1 | 439 |2266 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 415.57/417.14 c 292s| 2000 | 1390 |143148 | 64.8 | 889M | 46 | 945 | 58k| 58k|2971 | 1 | 495 |2308 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 300s| 2100 | 1488 |151882 | 65.8 | 895M | 46 | 945 | 58k| 58k|3093 | 1 | 538 |2324 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 309s| 2200 | 1588 |162700 | 67.8 | 898M | 46 | 945 | 58k| 58k|3181 | 1 | 586 |2348 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 317s| 2300 | 1686 |172348 | 69.0 | 908M | 46 | 945 | 58k| 58k|3238 | 1 | 653 |2361 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 329s| 2400 | 1786 |184858 | 71.4 | 914M | 46 | 945 | 58k| 58k|3396 | 1 | 691 |2387 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 335s| 2500 | 1884 |195383 | 72.7 | 926M | 46 | 945 | 58k| 58k|3462 | 1 | 728 |2400 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 354s| 2600 | 1972 |205689 | 73.9 | 944M | 46 | 945 | 59k| 58k|3635 | 1 | 778 |2416 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 368s| 2700 | 2062 |215882 | 74.9 | 959M | 46 | 945 | 59k| 58k|3789 | 1 | 830 |2418 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 376s| 2800 | 2158 |225610 | 75.7 | 966M | 46 | 945 | 59k| 58k|3881 | 1 | 876 |2423 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 389s| 2900 | 2252 |235667 | 76.6 | 985M | 46 | 945 | 59k| 58k|4011 | 1 | 926 |2426 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 395s| 3000 | 2346 |244629 | 77.0 | 999M | 46 | 945 | 59k| 58k|4077 | 1 | 981 |2434 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 400s| 3100 | 2440 |252569 | 77.1 | 1002M | 46 | 945 | 59k| 58k|4159 | 1 |1029 |2457 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c 412s| 3200 | 2528 |260746 | 77.2 | 1009M | 46 | 945 | 59k| 58k|4257 | 1 |1081 |2491 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 415.57/417.14 c Restart triggered after 50 consecutive estimations that the remaining tree will be large 415.57/417.14 c (run 1, node 3230) performing user restart 415.57/417.14 c 415.57/417.14 c (restart) converted 157 cuts from the global cut pool into linear constraints 415.57/417.14 c 415.57/417.14 c presolving: 415.57/417.14 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 157 upgd conss, 0 impls, 58397 clqs 415.57/417.14 c (round 2, exhaustive) 0 del vars, 36 del conss, 9 add conss, 0 chg bounds, 9 chg sides, 53 chg coeffs, 157 upgd conss, 0 impls, 58403 clqs 415.57/417.14 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive): 415.57/417.14 c 0 deleted vars, 36 deleted constraints, 9 added constraints, 0 tightened bounds, 0 added holes, 9 changed sides, 56 changed coefficients 415.57/417.14 c 0 implications, 58403 cliques 415.57/417.14 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 59460 constraints 415.57/417.14 c 2 constraints of type <knapsack> 415.57/417.14 c 58404 constraints of type <setppc> 415.57/417.14 c 1054 constraints of type <logicor> 415.57/417.14 c transformed objective value is always integral (scale: 1) 415.57/417.14 c Presolving Time: 1.56 868.50/871.68 c transformed 91/100 original solutions to the transformed problem space 868.50/871.68 c 868.50/871.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 868.50/871.68 c 417s| 1 | 0 |265808 | - | 997M | 0 | 945 | 59k| 58k| 0 | 0 |1091 |2508 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 868.50/871.68 c 418s| 1 | 0 |265865 | - | 997M | 0 | 945 | 59k| 58k| 10 | 1 |1091 |2508 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 868.50/871.68 c 420s| 1 | 0 |265922 | - | 997M | 0 | 945 | 59k| 58k| 19 | 2 |1091 |2508 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown 868.50/871.68 c 422s| 1 | 0 |266008 | - | 997M | 0 | 945 | 59k| 58k| 34 | 3 |1091 |2508 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 423s| 1 | 0 |266100 | - | 998M | 0 | 945 | 59k| 58k| 44 | 4 |1091 |2508 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 424s| 1 | 0 |266204 | - | 998M | 0 | 945 | 59k| 58k| 54 | 5 |1091 |2508 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 425s| 1 | 0 |266255 | - | 1004M | 0 | 945 | 59k| 58k| 62 | 6 |1091 |2508 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 426s| 1 | 0 |266319 | - | 1011M | 0 | 945 | 59k| 58k| 74 | 7 |1091 |2508 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 427s| 1 | 0 |266388 | - | 1017M | 0 | 945 | 59k| 58k| 84 | 8 |1091 |2508 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 427s| 1 | 0 |266457 | - | 1017M | 0 | 945 | 59k| 58k| 92 | 9 |1091 |2508 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 428s| 1 | 0 |266501 | - | 1024M | 0 | 945 | 59k| 58k| 99 | 10 |1091 |2508 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 428s| 1 | 0 |266556 | - | 1031M | 0 | 945 | 59k| 58k| 107 | 11 |1091 |2508 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 428s| 1 | 0 |266612 | - | 1031M | 0 | 945 | 59k| 58k| 114 | 12 |1091 |2508 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 428s| 1 | 0 |266695 | - | 1031M | 0 | 945 | 59k| 58k| 123 | 13 |1091 |2508 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 431s| 1 | 2 |267276 | - | 1031M | 0 | 945 | 59k| 58k| 123 | 13 |1102 |2534 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 868.50/871.68 c 449s| 100 | 101 |275169 | 78.0 | 1045M | 32 | 945 | 59k| 58k| 145 | 1 |1135 |3001 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 466s| 200 | 199 |283789 | 78.2 | 1095M | 42 | 945 | 59k| 58k| 238 | 1 |1167 |3156 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 489s| 300 | 297 |293061 | 78.6 | 1145M | 44 | 945 | 59k| 58k| 408 | 1 |1215 |3287 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 498s| 400 | 395 |301532 | 78.8 | 1152M | 44 | 945 | 59k| 58k| 455 | 1 |1239 |3336 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 503s| 500 | 491 |310182 | 79.0 | 1154M | 44 | 945 | 59k| 58k| 478 | 1 |1286 |3390 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 508s| 600 | 587 |318587 | 79.1 | 1154M | 44 | 945 | 59k| 58k| 490 | 1 |1330 |3428 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 513s| 700 | 683 |326241 | 79.1 | 1155M | 44 | 945 | 59k| 58k| 500 | 1 |1365 |3467 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 523s| 800 | 775 |333424 | 78.9 | 1168M | 44 | 945 | 59k| 58k| 553 | 1 |1415 |3507 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 526s| 900 | 853 |337759 | 78.0 | 1169M | 44 | 945 | 59k| 58k| 566 | 1 |1449 |3542 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 545s| 1000 | 933 |345500 | 78.0 | 1192M | 44 | 945 | 59k| 58k| 680 | 1 |1482 |3591 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 556s| 1100 | 1033 |354298 | 78.2 | 1194M | 44 | 945 | 59k| 58k| 733 | 1 |1515 |3623 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 562s| 1200 | 1133 |361845 | 78.2 | 1203M | 44 | 945 | 59k| 58k| 763 | 1 |1539 |3693 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 582s| 1300 | 1227 |370957 | 78.5 | 1214M | 44 | 945 | 59k| 58k| 895 | 1 |1610 |3721 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 595s| 1400 | 1321 |381467 | 79.0 | 1234M | 44 | 945 | 60k| 58k|1097 | 1 |1649 |3790 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 600s| 1500 | 1421 |389998 | 79.2 | 1251M | 44 | 945 | 60k| 58k|1103 | 1 |1674 |3844 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 868.50/871.68 c 604s| 1600 | 1511 |396145 | 78.8 | 1252M | 44 | 945 | 60k| 58k|1112 | 1 |1720 |3867 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 610s| 1700 | 1611 |403121 | 78.6 | 1253M | 44 | 945 | 60k| 58k|1137 | 1 |1751 |3881 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 616s| 1800 | 1707 |411513 | 78.7 | 1255M | 44 | 945 | 60k| 58k|1164 | 1 |1786 |3891 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c 641s| 1900 | 1797 |419914 | 78.8 | 1273M | 44 | 945 | 60k| 58k|1365 | 1 |1805 |3909 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown 868.50/871.68 c d 648s| 1980 | 1721 |427973 | 79.2 |linesear| 44 | 945 | 60k| 58k| 0 | 1 |1820 |3927 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 868.50/871.68 c 649s| 2000 | 1741 |429864 | 79.2 | 1275M | 44 | 945 | 60k| 58k|1410 | 1 |1823 |3932 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 868.50/871.68 c 657s| 2100 | 1819 |437180 | 79.1 | 1275M | 45 | 945 | 60k| 58k|1511 | 0 |1864 |3935 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 868.50/871.68 c 673s| 2200 | 1897 |443691 | 78.9 | 1276M | 45 | 945 | 60k| 58k|1614 | 1 |1908 |3956 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 868.50/871.68 c 678s| 2300 | 1967 |449623 | 78.5 | 1277M | 45 | 945 | 60k| 58k|1655 | 1 |1922 |3975 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 868.50/871.68 c 695s| 2400 | 2055 |457891 | 78.6 | 1286M | 45 | 945 | 60k| 58k|1794 | 1 |1979 |3987 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 868.50/871.68 c 704s| 2500 | 2135 |464054 | 78.3 | 1307M | 45 | 945 | 60k| 58k|1861 | 1 |2007 |3988 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 868.50/871.68 c 708s| 2600 | 2231 |470088 | 78.0 | 1309M | 46 | 945 | 60k| 58k|1867 | 1 |2068 |4027 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 868.50/871.68 c 755s| 2700 | 2303 |477615 | 77.9 | 1311M | 46 | 945 | 60k| 58k|2204 | 1 |2090 |4044 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 868.50/871.68 c 775s| 2800 | 2383 |485364 | 77.9 | 1324M | 46 | 945 | 60k| 58k|2355 | 1 |2105 |4065 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 868.50/871.68 c 779s| 2900 | 2465 |492775 | 77.9 | 1326M | 46 | 945 | 60k| 58k|2356 | 1 |2150 |4081 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 868.50/871.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 868.50/871.68 c 796s| 3000 | 2551 |501554 | 78.0 | 1349M | 46 | 945 | 60k| 58k|2474 | 1 |2232 |4085 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 868.50/871.68 c 810s| 3100 | 2641 |511129 | 78.3 | 1362M | 46 | 945 | 60k| 58k|2649 | 2 |2290 |4103 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 868.50/871.68 c 821s| 3200 | 2733 |520356 | 78.5 | 1369M | 46 | 945 | 60k| 58k|2722 | 1 |2329 |4115 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 868.50/871.68 c 840s| 3300 | 2821 |528567 | 78.6 | 1370M | 46 | 945 | 60k| 58k|2882 | 1 |2383 |4115 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 868.50/871.68 c 851s| 3400 | 2901 |535885 | 78.5 | 1372M | 46 | 945 | 60k| 58k|2964 | 1 |2418 |4120 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 868.50/871.68 c 855s| 3500 | 2981 |542660 | 78.3 | 1373M | 46 | 945 | 60k| 58k|3005 | 1 |2464 |4126 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 871s| 3600 | 3069 |551771 | 78.5 | 1380M | 46 | 945 | 60k| 58k|3095 | 1 |2552 |4138 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 879s| 3700 | 3149 |558130 | 78.3 | 1382M | 46 | 945 | 60k| 58k|3187 | 1 |2579 |4151 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 889s| 3800 | 3243 |566385 | 78.4 | 1383M | 46 | 945 | 60k| 58k|3289 | 1 |2661 |4160 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 903s| 3900 | 3339 |577597 | 78.8 | 1407M | 46 | 945 | 61k| 58k|3394 | 0 |2727 |4170 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 907s| 4000 | 3419 |584893 | 78.8 | 1408M | 46 | 945 | 61k| 58k|3434 | 1 |2773 |4172 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 910s| 4100 | 3505 |592111 | 78.7 | 1410M | 46 | 945 | 61k| 58k|3448 | 0 |2799 |4175 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 913s| 4200 | 3591 |599100 | 78.5 | 1411M | 46 | 945 | 61k| 58k|3472 | 1 |2823 |4175 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 924s| 4300 | 3669 |606166 | 78.4 | 1412M | 46 | 945 | 61k| 58k|3541 | 1 |2844 |4181 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 940s| 4400 | 3753 |613937 | 78.4 | 1441M | 46 | 945 | 61k| 58k|3658 | 1 |2879 |4183 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 996.85/1000.49 c 946s| 4500 | 3839 |620609 | 78.3 | 1442M | 46 | 945 | 61k| 58k|3726 | 0 |2904 |4184 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 950s| 4600 | 3931 |626469 | 78.0 | 1445M | 46 | 945 | 61k| 58k|3734 | 1 |2933 |4200 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 953s| 4700 | 4017 |632635 | 77.8 | 1446M | 46 | 945 | 61k| 58k|3751 | 1 |2985 |4224 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 956s| 4800 | 4075 |637241 | 77.4 | 1447M | 46 | 945 | 61k| 58k|3765 | 1 |3006 |4251 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 961s| 4900 | 4157 |643588 | 77.3 | 1449M | 46 | 945 | 61k| 58k|3797 | 1 |3044 |4280 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 965s| 5000 | 4227 |650773 | 77.2 | 1449M | 46 | 945 | 61k| 58k|3808 | 0 |3083 |4312 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 969s| 5100 | 4301 |656992 | 77.0 | 1450M | 46 | 945 | 61k| 58k|3812 | 1 |3096 |4336 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 974s| 5200 | 4399 |667117 | 77.3 | 1451M | 46 | 945 | 61k| 58k|3834 | 1 |3136 |4389 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 991s| 5300 | 4491 |676776 | 77.5 | 1454M | 46 | 945 | 61k| 58k|3949 | 1 |3157 |4410 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown 996.85/1000.49 c 996.85/1000.49 c SCIP Status : solving was interrupted [time limit reached] 996.85/1000.49 c Solving Time (sec) : 1000.00 996.85/1000.49 c Solving Nodes : 5366 (total of 8596 nodes in 2 runs) 996.85/1000.49 c Primal Bound : -3.90000000000000e+01 (743 solutions) 996.85/1000.49 c Dual Bound : -4.50000000000000e+01 996.85/1000.49 c Gap : 15.38 % 996.85/1000.49 c All original constraints are satisfied. 996.85/1000.49 c SCIP's best solution is verified feasible for the original problem. 996.85/1000.49 c ---------------------------------------------------------------------- 996.85/1000.49 c dual bound: -44.99999999999999 -> -45 996.85/1000.49 c primal bound: -39.0 -> -39 996.85/1000.49 c scip-goal-lb: -45 996.85/1000.49 c scip-goal-ub: -39 996.85/1000.49 c writing output to: HOME/tmpbt0nscwo.opb 996.85/1000.49 c appending fixed variable constraints 996.85/1000.49 c scip-fixed vars: 0.00% (0/945) 996.85/1000.49 c ---------------------------------------------------------------------- 996.85/1000.49 c executing external solver: HOME/naps-1.03a6 996.85/1000.49 c ---------------------------------------------------------------------- 996.85/1000.49 c command: HOME/naps-1.03a6 -goal-lb=-45 -goal-ub=-40 HOME/tmpbt0nscwo.opb 996.95/1000.51 c NaPS 1.03a6. 996.95/1000.51 c Input file name: HOME/tmpbt0nscwo.opb 996.95/1000.82 c single stage optimization mode 3389.66/3400.83 o -40 3389.66/3400.83 o -42 3389.66/3400.83 o -44 3389.66/3400.83 o -45 3389.66/3400.83 c s OPTIMUM FOUND 3389.66/3400.83 c _____________________________________________________________________________ 3389.66/3400.83 c std/band forms : 5,0 3389.66/3400.83 c 2cl/3cl ITE-codings : 0,0 3389.66/3400.83 c BDD/srt/adr Max costs : 0,57995,0 3389.66/3400.83 c BDDraw/bin/mul/srt/adr: 0,0,0,5,0 3389.66/3400.83 c BDD nodes : 0 3389.66/3400.83 c Es1/CC detections : 0,0 3389.66/3400.83 c CC sort : 4 3389.66/3400.83 c SAT/UNSAT calls : 4,0 3389.66/3400.83 c regenrated variables : 0 3389.66/3400.83 c eliminated fixed lits : 0 3389.66/3400.83 c goal lit flips : 0 3389.66/3400.83 c goal stages : 1 3389.66/3400.83 c goal shrink : 0 3389.66/3400.83 c goal coeff separations: 0 3389.66/3400.83 c restarts : 553775 3389.66/3400.83 c conflicts : 26677697 (11151 /sec) 3389.66/3400.83 c decisions : 28878074 (12071 /sec) 3389.66/3400.83 c propagations : 4580591616 (1914616 /sec) 3389.66/3400.83 c inspects : 0 (0 /sec) 3389.66/3400.83 c CPU time (solving tm) : 2392 s (2392 s, SAT 2392 s, UNSAT 0 s) 3389.66/3400.83 c Time for Opt-base : 0.000723 s 3389.66/3400.83 c Steps for Opt-base : 0 3389.66/3400.83 c Time for BDD coding : 0 s 3389.66/3400.83 c Time for srt coding : 0.01366 s 3389.66/3400.83 c _____________________________________________________________________________ 3389.66/3400.83 c v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 3389.66/3400.83 s OPTIMUM FOUND 3389.66/3400.83 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -45
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (52750 MiB free)
memory of node 1: 64507 MiB (63070 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530202-1752251563/watcher-4530202-1752251563 -o /tmp/evaluation-result-4530202-1752251563/solver-4530202-1752251563 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752251563-133000 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530202-1752251563.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Starting watchdog thread
solver pid=133044, runsolver pid=133040
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.08 4.10 4.09 4/269 133076
/proc/meminfo: memFree=118564172/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=127428 memory=26752 CPUtime=0.05 cores=0,2
/proc/133056/stat : 133056 (python3) R 133044 133044 120181 0 -1 4194304 2952 0 0 0 4 1 0 0 20 0 1 0 140836555 130486272 6688 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 31857 6688 4224 1 0 3959 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 131620 KiB
Current children cumulated memory: 29824 KiB
[startup+0.205656 s]*
/proc/loadavg: 4.08 4.10 4.09 5/269 133076
/proc/meminfo: memFree=118501880/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=1211228 memory=62928 CPUtime=0.15 cores=0,2
/proc/133056/stat : 133056 (python3) R 133044 133044 120181 0 -1 4194304 8982 0 0 0 13 2 0 0 20 0 1 0 140836555 1240297472 15732 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 302807 15732 7614 1 0 274165 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1215420 KiB
Current children cumulated memory: 66000 KiB
[startup+0.305697 s]*
/proc/loadavg: 4.08 4.10 4.09 5/269 133076
/proc/meminfo: memFree=118357148/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=1257896 memory=109648 CPUtime=0.25 cores=0,2
/proc/133056/stat : 133056 (python3) R 133044 133044 120181 0 -1 4194304 20489 0 0 0 21 4 0 0 20 0 1 0 140836555 1288085504 27412 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 314474 27412 7806 1 0 285832 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1262088 KiB
Current children cumulated memory: 112720 KiB
[startup+0.70021 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 133076
/proc/meminfo: memFree=118152020/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=1305188 memory=156496 CPUtime=0.63 cores=0,2
/proc/133056/stat : 133056 (python3) R 133044 133044 120181 0 -1 4194304 32101 0 0 0 58 5 0 0 20 0 1 0 140836555 1336512512 39124 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 326297 39124 7934 1 0 297655 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 1309380 KiB
Current children cumulated memory: 159568 KiB
[startup+1.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 133076
/proc/meminfo: memFree=117969940/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=1512168 memory=347568 CPUtime=1.43 cores=0,2
/proc/133056/stat : 133056 (python3) R 133044 133044 120181 0 -1 4194304 49036 0 0 0 134 9 0 0 20 0 1 0 140836555 1548460032 86892 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 378042 86892 7998 1 0 349400 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 1516360 KiB
Current children cumulated memory: 350640 KiB
[startup+3.10537 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 133076
/proc/meminfo: memFree=117243736/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=1565492 memory=389488 CPUtime=3.03 cores=0,2
/proc/133056/stat : 133056 (python3) R 133044 133044 120181 0 -1 4194304 61965 0 0 0 291 12 0 0 20 0 1 0 140836555 1603063808 97372 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 391373 97372 8126 1 0 362731 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 1569684 KiB
Current children cumulated memory: 392560 KiB
[startup+6.30012 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 133076
/proc/meminfo: memFree=117192712/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=1578188 memory=391668 CPUtime=6.22 cores=0,2
/proc/133056/stat : 133056 (python3) R 133044 133044 120181 0 -1 4194304 63097 0 0 0 610 12 0 0 20 0 1 0 140836555 1616064512 97917 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 394547 97917 8126 1 0 365905 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1582380 KiB
Current children cumulated memory: 394740 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 133076
/proc/meminfo: memFree=117140488/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=1653736 memory=403188 CPUtime=12.6 cores=0,2
/proc/133056/stat : 133056 (python3) R 133044 133044 120181 0 -1 4194304 65974 0 0 0 1247 13 0 0 20 0 1 0 140836555 1693425664 100797 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 413434 100797 8126 1 0 384792 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1657928 KiB
Current children cumulated memory: 406260 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 133076
/proc/meminfo: memFree=116987784/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=1758508 memory=481908 CPUtime=25.36 cores=0,2
/proc/133056/stat : 133056 (python3) R 133044 133044 120181 0 -1 4194304 85651 0 0 0 2520 16 0 0 20 0 1 0 140836555 1800712192 120477 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 439627 120477 8126 1 0 410985 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1762700 KiB
Current children cumulated memory: 484980 KiB
[startup+51.1056 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 133078
/proc/meminfo: memFree=116754008/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=1818540 memory=482420 CPUtime=50.89 cores=0,2
/proc/133056/stat : 133056 (python3) R 133044 133044 120181 0 -1 4194304 85775 0 0 0 5073 16 0 0 20 0 1 0 140836555 1862184960 120605 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 454635 120605 8126 1 0 425993 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1822732 KiB
Current children cumulated memory: 485492 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/270 133079
/proc/meminfo: memFree=116635268/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=1865156 memory=511804 CPUtime=101.9 cores=0,2
/proc/133056/stat : 133056 (python3) R 133044 133044 120181 0 -1 4194304 99372 0 0 0 10172 18 0 0 20 0 1 0 140836555 1909919744 127951 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 466289 127951 8126 1 0 437647 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 1869348 KiB
Current children cumulated memory: 514876 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 133081
/proc/meminfo: memFree=116394192/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=1941452 memory=587188 CPUtime=161.68 cores=0,2
/proc/133056/stat : 133056 (python3) R 133044 133044 120181 0 -1 4194304 114663 0 0 0 16147 21 0 0 20 0 1 0 140836555 1988046848 146797 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 485363 146797 8126 1 0 456721 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 1945644 KiB
Current children cumulated memory: 590260 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 133083
/proc/meminfo: memFree=116079164/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=2009564 memory=629892 CPUtime=221.46 cores=0,2
/proc/133056/stat : 133056 (python3) R 133044 133044 120181 0 -1 4194304 120250 0 0 0 22124 22 0 0 20 0 1 0 140836555 2057793536 157473 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 502391 157473 8126 1 0 473749 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 2013756 KiB
################
# More data... #
################
/proc/133056/statm: 676584 255314 8286 1 0 647942 0
[pid=133124] ppid=133056 vsize=123716 memory=122228 CPUtime=2274.52 cores=0,2
/proc/133124/stat : 133124 (naps-1.03a6) R 133056 133124 133124 0 -1 4194304 65707 0 0 0 227420 32 0 0 20 0 1 0 140936602 126685184 30557 18446744073709551615 4198400 7047149 140728454239840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8232960 140728454244725 140728454244849 140728454244849 140728454250441 0
/proc/133124/statm: 30929 30557 608 696 0 30090 0
Current children cumulated CPU time: 3271.47 s
Current children cumulated vsize: 2834244 KiB
Current children cumulated memory: 1146556 KiB
[startup+3342.3 s]
/proc/loadavg: 3.10 3.43 3.79 4/263 133382
/proc/meminfo: memFree=115015136/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=2706336 memory=1021256 CPUtime=996.95 cores=0,2
/proc/133056/stat : 133056 (python3) S 133044 133044 120181 0 -1 4194304 210633 0 0 0 99653 42 0 0 20 0 1 0 140836555 2771288064 255314 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 676584 255314 8286 1 0 647942 0
[pid=133124] ppid=133056 vsize=124016 memory=122612 CPUtime=2334.37 cores=0,2
/proc/133124/stat : 133124 (naps-1.03a6) R 133056 133124 133124 0 -1 4194304 65782 0 0 0 233405 32 0 0 20 0 1 0 140936602 126992384 30653 18446744073709551615 4198400 7047149 140728454239840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8232960 140728454244725 140728454244849 140728454244849 140728454250441 0
/proc/133124/statm: 31004 30653 608 696 0 30165 0
Current children cumulated CPU time: 3331.32 s
Current children cumulated vsize: 2834544 KiB
Current children cumulated memory: 1146940 KiB
[startup+3401.09 s]
# the end of solver process 133044 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3389.15 s, system=0.820245 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3353.6 s]
/proc/loadavg: 3.17 3.43 3.79 4/263 133382
/proc/meminfo: memFree=115020460/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=2706336 memory=1021256 CPUtime=996.95 cores=0,2
/proc/133056/stat : 133056 (python3) S 133044 133044 120181 0 -1 4194304 210633 0 0 0 99653 42 0 0 20 0 1 0 140836555 2771288064 255314 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 676584 255314 8286 1 0 647942 0
[pid=133124] ppid=133056 vsize=124016 memory=122612 CPUtime=2345.64 cores=0,2
/proc/133124/stat : 133124 (naps-1.03a6) R 133056 133124 133124 0 -1 4194304 65782 0 0 0 234532 32 0 0 20 0 1 0 140936602 126992384 30653 18446744073709551615 4198400 7047149 140728454239840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8232960 140728454244725 140728454244849 140728454244849 140728454250441 0
/proc/133124/statm: 31004 30653 608 696 0 30165 0
Current children cumulated CPU time: 3342.59 s
Current children cumulated vsize: 2834544 KiB
Current children cumulated memory: 1146940 KiB
[startup+3379.2 s]
/proc/loadavg: 3.11 3.40 3.76 4/263 133386
/proc/meminfo: memFree=114997044/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=2706336 memory=1021256 CPUtime=996.95 cores=0,2
/proc/133056/stat : 133056 (python3) S 133044 133044 120181 0 -1 4194304 210633 0 0 0 99653 42 0 0 20 0 1 0 140836555 2771288064 255314 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 676584 255314 8286 1 0 647942 0
[pid=133124] ppid=133056 vsize=126624 memory=125172 CPUtime=2371.17 cores=0,2
/proc/133124/stat : 133124 (naps-1.03a6) R 133056 133124 133124 0 -1 4194304 65942 0 0 0 237085 32 0 0 20 0 1 0 140936602 129662976 31293 18446744073709551615 4198400 7047149 140728454239840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8232960 140728454244725 140728454244849 140728454244849 140728454250441 0
/proc/133124/statm: 31656 31293 608 696 0 30817 0
Current children cumulated CPU time: 3368.12 s
Current children cumulated vsize: 2837152 KiB
Current children cumulated memory: 1149500 KiB
[startup+3392 s]*
/proc/loadavg: 3.08 3.38 3.75 4/263 133386
/proc/meminfo: memFree=114997360/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=2706336 memory=1021256 CPUtime=996.95 cores=0,2
/proc/133056/stat : 133056 (python3) S 133044 133044 120181 0 -1 4194304 210633 0 0 0 99653 42 0 0 20 0 1 0 140836555 2771288064 255314 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 676584 255314 8286 1 0 647942 0
[pid=133124] ppid=133056 vsize=126624 memory=125172 CPUtime=2383.94 cores=0,2
/proc/133124/stat : 133124 (naps-1.03a6) R 133056 133124 133124 0 -1 4194304 65942 0 0 0 238362 32 0 0 20 0 1 0 140936602 129662976 31293 18446744073709551615 4198400 7047149 140728454239840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8232960 140728454244725 140728454244849 140728454244849 140728454250441 0
/proc/133124/statm: 31656 31293 608 696 0 30817 0
Current children cumulated CPU time: 3380.89 s
Current children cumulated vsize: 2837152 KiB
Current children cumulated memory: 1149500 KiB
[startup+3395.2 s]
/proc/loadavg: 3.08 3.38 3.75 4/263 133386
/proc/meminfo: memFree=114997360/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=2706336 memory=1021256 CPUtime=996.95 cores=0,2
/proc/133056/stat : 133056 (python3) S 133044 133044 120181 0 -1 4194304 210633 0 0 0 99653 42 0 0 20 0 1 0 140836555 2771288064 255314 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 676584 255314 8286 1 0 647942 0
[pid=133124] ppid=133056 vsize=126624 memory=125172 CPUtime=2387.13 cores=0,2
/proc/133124/stat : 133124 (naps-1.03a6) R 133056 133124 133124 0 -1 4194304 65942 0 0 0 238681 32 0 0 20 0 1 0 140936602 129662976 31293 18446744073709551615 4198400 7047149 140728454239840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8232960 140728454244725 140728454244849 140728454244849 140728454250441 0
/proc/133124/statm: 31656 31293 608 696 0 30817 0
Current children cumulated CPU time: 3384.08 s
Current children cumulated vsize: 2837152 KiB
Current children cumulated memory: 1149500 KiB
[startup+3398.4 s]
/proc/loadavg: 3.16 3.39 3.75 4/263 133386
/proc/meminfo: memFree=114997360/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=2706336 memory=1021256 CPUtime=996.95 cores=0,2
/proc/133056/stat : 133056 (python3) S 133044 133044 120181 0 -1 4194304 210633 0 0 0 99653 42 0 0 20 0 1 0 140836555 2771288064 255314 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 676584 255314 8286 1 0 647942 0
[pid=133124] ppid=133056 vsize=126624 memory=125172 CPUtime=2390.32 cores=0,2
/proc/133124/stat : 133124 (naps-1.03a6) R 133056 133124 133124 0 -1 4194304 65942 0 0 0 239000 32 0 0 20 0 1 0 140936602 129662976 31293 18446744073709551615 4198400 7047149 140728454239840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8232960 140728454244725 140728454244849 140728454244849 140728454250441 0
/proc/133124/statm: 31656 31293 608 696 0 30817 0
Current children cumulated CPU time: 3387.27 s
Current children cumulated vsize: 2837152 KiB
Current children cumulated memory: 1149500 KiB
[startup+3400 s]*
/proc/loadavg: 3.16 3.39 3.75 4/263 133386
/proc/meminfo: memFree=114997360/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=2706336 memory=1021256 CPUtime=996.95 cores=0,2
/proc/133056/stat : 133056 (python3) S 133044 133044 120181 0 -1 4194304 210633 0 0 0 99653 42 0 0 20 0 1 0 140836555 2771288064 255314 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 676584 255314 8286 1 0 647942 0
[pid=133124] ppid=133056 vsize=126624 memory=125172 CPUtime=2391.92 cores=0,2
/proc/133124/stat : 133124 (naps-1.03a6) R 133056 133124 133124 0 -1 4194304 65942 0 0 0 239160 32 0 0 20 0 1 0 140936602 129662976 31293 18446744073709551615 4198400 7047149 140728454239840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8232960 140728454244725 140728454244849 140728454244849 140728454250441 0
/proc/133124/statm: 31656 31293 608 696 0 30817 0
Current children cumulated CPU time: 3388.87 s
Current children cumulated vsize: 2837152 KiB
Current children cumulated memory: 1149500 KiB
[startup+3400.8 s]
/proc/loadavg: 3.16 3.39 3.75 4/263 133386
/proc/meminfo: memFree=114997360/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=2706336 memory=1021256 CPUtime=996.95 cores=0,2
/proc/133056/stat : 133056 (python3) S 133044 133044 120181 0 -1 4194304 210633 0 0 0 99653 42 0 0 20 0 1 0 140836555 2771288064 255314 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 676584 255314 8286 1 0 647942 0
[pid=133124] ppid=133056 vsize=126624 memory=125172 CPUtime=2392.71 cores=0,2
/proc/133124/stat : 133124 (naps-1.03a6) R 133056 133124 133124 0 -1 4194304 65942 0 0 0 239239 32 0 0 20 0 1 0 140936602 129662976 31293 18446744073709551615 4198400 7047149 140728454239840 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 8232960 140728454244725 140728454244849 140728454244849 140728454250441 0
/proc/133124/statm: 31656 31293 608 696 0 30817 0
Current children cumulated CPU time: 3389.66 s
Current children cumulated vsize: 2837152 KiB
Current children cumulated memory: 1149500 KiB
[startup+3401 s]*
/proc/loadavg: 3.16 3.39 3.75 4/262 133386
/proc/meminfo: memFree=115100012/131250000 swapFree=33008868/33010684
[pid=133044] ppid=133040 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/133044/stat : 133044 (scip-naps-1.00a) S 133040 133044 120181 0 -1 4194304 261 344 0 0 0 0 0 0 20 0 1 0 140836552 4292608 768 18446744073709551615 94003845451776 94003846346309 140720756426336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94003846585360 94003846633104 94003870011392 140720756431259 140720756431358 140720756431358 140720756436962 0
/proc/133044/statm: 1048 768 704 219 0 110 0
[pid=133056] ppid=133044 vsize=2706336 memory=1021256 CPUtime=3389.86 cores=0,2
/proc/133056/stat : 133056 (python3) R 133044 133044 120181 0 -1 4194304 247323 65943 0 0 99667 44 239243 32 20 0 1 0 140836555 2771288064 255314 18446744073709551615 94044269379584 94044269379961 140730572459760 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94044269391256 94044269391876 94044288315392 140730572466526 140730572466720 140730572466720 140730572472295 0
/proc/133056/statm: 676584 255314 8286 1 0 647942 0
Current children cumulated CPU time: 3389.86 s
Current children cumulated vsize: 2710528 KiB
Current children cumulated memory: 1024328 KiB
Child status: 0
Real time (s): 3401.09
CPU time (s): 3389.97
CPU user time (s): 3389.15
CPU system time (s): 0.820245
CPU usage (%): 99.6731
Max. virtual memory (cumulated for all children) (KiB): 2845156
Max. memory (cumulated for all children) (KiB): 1157052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3389.15
system time used= 0.820245
maximum resident set size= 1021256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326848
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 487
involuntary context switches= 4412
# summary of solver processes directly reported to runsolver:
# pid: 133044
# total CPU time (s): 3389.97
# total CPU user time (s): 3389.15
# total CPU system time (s): 0.820245
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89578 second user time and 15.6552 second system time
The end
Begin job on nodeC013 at 2025-07-11 18:32:43 IDJOB=4530202 IDBENCH=146684 IDSOLVER=3388 FILE ID=nodeC013/4530202-1752251563 RUNJOBID= nodeC013-1752251563-133000 SLURM_JOB_ID= 9682559 Free space on /tmp= 432248 MiB SOLVER NAME= SCIP-NaPS 1.00a2 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530202-1752251563/watcher-4530202-1752251563 -o /tmp/evaluation-result-4530202-1752251563/solver-4530202-1752251563 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752251563-133000 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530202-1752251563.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a3f6b61db250b51897503d5946a188dc RANDOM SEED=1521290398 nodeC013 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 : 3599.834 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.67 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 : 3599.835 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.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.174 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.67 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.158 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.67 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 : 3599.907 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.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.000 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.67 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.865 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.67 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 : 2457.661 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.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 118598588 kB MemAvailable: 129684188 kB Buffers: 1668 kB Cached: 11831996 kB SwapCached: 164 kB Active: 512504 kB Inactive: 11390304 kB Active(anon): 85580 kB Inactive(anon): 4868 kB Active(file): 426924 kB Inactive(file): 11385436 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33008868 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 11960 kB Writeback: 8 kB AnonPages: 72416 kB Mapped: 101232 kB Shmem: 21304 kB KReclaimable: 224560 kB Slab: 319680 kB SReclaimable: 224560 kB SUnreclaim: 95120 kB KernelStack: 4096 kB PageTables: 2864 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 328908 kB VmallocTotal: 34359738367 kB VmallocUsed: 150392 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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: 215764 kB DirectMap2M: 8992768 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432220 MiB End job on nodeC013 at 2025-07-11 19:29:24