358.08/359.24 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4523437-1751581602.opb
358.08/359.24 c Solving mode: optimization
358.08/359.24 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
358.08/359.24 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
358.08/359.24 c original problem has 1289 variables (1289 bin, 0 int, 0 impl, 0 cont) and 1094 constraints
358.08/359.24 c presolving:
358.08/359.24 c (round 1, fast) 13 del vars, 13 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
358.08/359.24 c (round 2, fast) 13 del vars, 22 del conss, 0 add conss, 13 chg bounds, 200 chg sides, 400 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
358.08/359.24 c (round 3, exhaustive) 13 del vars, 22 del conss, 0 add conss, 13 chg bounds, 200 chg sides, 400 chg coeffs, 1067 upgd conss, 0 impls, 1 clqs
358.08/359.24 c (round 4, exhaustive) 13 del vars, 22 del conss, 0 add conss, 13 chg bounds, 200 chg sides, 400 chg coeffs, 1072 upgd conss, 0 impls, 1 clqs
358.08/359.24 c (1.0s) probing: 51/1276 (4.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
358.08/359.24 c (1.0s) probing aborted: 50/50 successive totally useless probings
358.08/359.24 c (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
358.08/359.24 c (1.3s) no symmetry present (symcode time: 0.00)
358.08/359.24 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
358.08/359.24 c 13 deleted vars, 22 deleted constraints, 0 added constraints, 13 tightened bounds, 0 added holes, 200 changed sides, 400 changed coefficients
358.08/359.24 c 0 implications, 1 cliques
358.08/359.24 c presolved problem has 1276 variables (1276 bin, 0 int, 0 impl, 0 cont) and 1072 constraints
358.08/359.24 c 1071 constraints of type <knapsack>
358.08/359.24 c 1 constraints of type <setppc>
358.08/359.24 c transformed objective value is always integral (scale: 1)
358.08/359.24 c Presolving Time: 1.40
358.08/359.24 c
358.08/359.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
358.08/359.24 c p 1.9s| 1 | 0 | 0 | - | locks| 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.040000e+02 | Inf | unknown
358.08/359.24 c i 1.9s| 1 | 0 | 0 | - | oneopt| 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 2.0s| 1 | 0 | 249 | - | 342M | 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 2.5s| 1 | 0 | 442 | - | 367M | 0 |1276 |1072 |1238 | 166 | 1 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 3.0s| 1 | 0 | 599 | - | 390M | 0 |1276 |1072 |1369 | 297 | 2 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 3.5s| 1 | 0 | 741 | - | 411M | 0 |1276 |1072 |1454 | 382 | 3 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 4.0s| 1 | 0 | 819 | - | 435M | 0 |1276 |1072 |1503 | 431 | 4 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 4.5s| 1 | 0 | 957 | - | 464M | 0 |1276 |1072 |1582 | 510 | 5 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 5.0s| 1 | 0 | 1065 | - | 484M | 0 |1276 |1072 |1657 | 585 | 6 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 5.6s| 1 | 0 | 1144 | - | 504M | 0 |1276 |1072 |1718 | 646 | 7 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 6.1s| 1 | 0 | 1210 | - | 540M | 0 |1276 |1072 |1775 | 703 | 8 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 6.6s| 1 | 0 | 1301 | - | 548M | 0 |1276 |1072 |1824 | 752 | 9 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 7.1s| 1 | 0 | 1377 | - | 591M | 0 |1276 |1072 |1874 | 802 | 10 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 7.4s| 1 | 0 | 1437 | - | 594M | 0 |1276 |1072 |1754 | 847 | 11 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 8.8s| 1 | 2 | 2861 | - | 594M | 0 |1276 |1079 |1754 | 847 | 11 | 7 | 19 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
358.08/359.24 c 62.4s| 100 | 101 |114773 |1144.8 | 652M | 16 |1276 |1085 |1189 |1367 | 1 | 13 | 362 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 87.6s| 200 | 201 |197489 | 985.2 | 655M | 23 |1276 |1092 |1192 |2099 | 1 | 20 | 396 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 121s| 300 | 301 |290202 | 965.8 | 711M | 23 |1276 |1097 |1188 |2757 | 1 | 25 | 434 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 148s| 400 | 401 |367500 | 917.5 | 702M | 23 |1276 |1110 |1178 |3439 | 1 | 38 | 476 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 197s| 500 | 501 |434803 | 868.5 | 702M | 29 |1276 |1133 |1188 |3896 | 1 | 61 | 521 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 221s| 600 | 601 |496465 | 826.4 | 695M | 29 |1276 |1139 |1211 |4410 | 2 | 67 | 588 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 263s| 700 | 701 |621541 | 887.1 | 695M | 29 |1276 |1158 |1192 |5223 | 1 | 86 | 655 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 286s| 800 | 801 |680705 | 850.1 | 695M | 29 |1276 |1185 |1206 |5743 | 1 | 114 | 715 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 311s| 900 | 901 |752507 | 835.5 | 696M | 33 |1276 |1206 |1209 |6255 | 2 | 137 | 769 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 338s| 1000 | 1001 |833986 | 833.4 | 696M | 41 |1276 |1212 |1198 |6629 | 1 | 144 | 812 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
358.08/359.24 c (run 1, node 1049) performing user restart
358.08/359.24 c
358.08/359.24 c (restart) converted 126 cuts from the global cut pool into linear constraints
358.08/359.24 c
358.08/359.24 c presolving:
358.08/359.24 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 119 upgd conss, 0 impls, 1 clqs
358.08/359.24 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 125 chg coeffs, 119 upgd conss, 0 impls, 1 clqs
358.08/359.24 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
358.08/359.24 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 125 changed coefficients
358.08/359.24 c 0 implications, 1 cliques
358.08/359.24 c presolved problem has 1276 variables (1276 bin, 0 int, 0 impl, 0 cont) and 1349 constraints
358.08/359.24 c 1191 constraints of type <knapsack>
358.08/359.24 c 1 constraints of type <setppc>
358.08/359.24 c 7 constraints of type <linear>
358.08/359.24 c 150 constraints of type <logicor>
358.08/359.24 c transformed objective value is always integral (scale: 1)
358.08/359.24 c Presolving Time: 1.70
358.08/359.24 c transformed 2/2 original solutions to the transformed problem space
358.08/359.24 c
358.08/359.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
358.08/359.24 c 354s| 1 | 0 |879502 | - | 622M | 0 |1276 |1349 |1198 | 0 | 0 | 156 | 831 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 354s| 1 | 0 |879815 | - | 629M | 0 |1276 |1349 |1352 | 154 | 1 | 156 | 831 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 355s| 1 | 0 |880062 | - | 629M | 0 |1276 |1350 |1529 | 331 | 2 | 157 | 831 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 356s| 1 | 0 |880227 | - | 641M | 0 |1276 |1352 |1707 | 509 | 3 | 159 | 831 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 357s| 1 | 0 |880415 | - | 641M | 0 |1276 |1353 |1898 | 700 | 4 | 160 | 831 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 357s| 1 | 0 |880656 | - | 645M | 0 |1276 |1354 |2088 | 890 | 5 | 161 | 831 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
358.08/359.24 c 358s| 1 | 0 |880849 | - | 665M | 0 |1276 |1355 |2250 |1052 | 6 | 162 | 831 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 359s| 1 | 0 |881065 | - | 664M | 0 |1276 |1356 |2387 |1189 | 7 | 163 | 831 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 359s| 1 | 0 |881213 | - | 681M | 0 |1276 |1357 |2497 |1299 | 8 | 164 | 831 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 360s| 1 | 0 |881373 | - | 682M | 0 |1276 |1358 |2590 |1392 | 9 | 165 | 831 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 361s| 1 | 0 |881512 | - | 655M | 0 |1276 |1359 |2690 |1492 | 10 | 166 | 831 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 361s| 1 | 0 |881783 | - | 656M | 0 |1276 |1360 |2793 |1595 | 11 | 167 | 831 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 364s| 1 | 2 |881936 | - | 656M | 0 |1276 |1367 |2793 |1595 | 11 | 174 | 849 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 386s| 100 | 101 |945822 | 820.4 | 660M | 27 |1276 |1382 |1228 |2168 | 2 | 189 | 899 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 405s| 200 | 201 |991442 | 791.2 | 667M | 41 |1276 |1402 |1229 |2573 | 1 | 209 | 941 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
924.92/927.75 c 421s| 300 | 301 | 1034k| 764.1 | 700M | 61 |1276 |1413 |1277 |3017 | 1 | 220 | 973 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 441s| 400 | 401 | 1084k| 746.2 | 700M | 61 |1276 |1426 |1294 |3707 | 2 | 233 |1008 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 460s| 500 | 501 | 1141k| 734.8 | 695M | 61 |1276 |1431 |1278 |4219 | 1 | 238 |1044 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 482s| 600 | 601 | 1201k| 726.7 | 696M | 62 |1276 |1448 |1340 |4809 | 1 | 258 |1088 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 495s| 700 | 701 | 1236k| 705.3 | 696M | 69 |1276 |1452 |1322 |5111 | 2 | 265 |1116 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 508s| 800 | 801 | 1270k| 685.1 | 695M | 85 |1276 |1469 |1330 |5292 | 1 | 282 |1137 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 521s| 900 | 901 | 1306k| 668.4 | 695M | 89 |1276 |1488 |1336 |5459 | 1 | 301 |1166 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 546s| 1000 | 1001 | 1371k| 667.6 | 686M | 95 |1276 |1506 |1228 |5942 | 1 | 320 |1220 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 571s| 1100 | 1101 | 1433k| 665.5 | 684M | 95 |1276 |1546 |1330 |6623 | 1 | 362 |1264 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 587s| 1200 | 1201 | 1480k| 656.7 | 685M | 95 |1276 |1557 |1363 |6970 | 1 | 373 |1294 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 600s| 1300 | 1301 | 1510k| 641.4 | 685M | 95 |1276 |1561 |1382 |7184 | 1 | 377 |1332 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 612s| 1400 | 1401 | 1535k| 625.6 | 685M | 103 |1276 |1564 |1350 |7340 | 1 | 380 |1364 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 624s| 1500 | 1501 | 1562k| 611.5 | 682M | 104 |1276 |1574 |1333 |7462 | 1 | 390 |1410 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 636s| 1600 | 1601 | 1597k| 601.8 | 682M | 117 |1276 |1576 |1363 |7579 | 1 | 392 |1442 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 643s| 1700 | 1701 | 1612k| 585.4 | 682M | 125 |1276 |1581 |1343 |7646 | 1 | 397 |1478 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
924.92/927.75 c 651s| 1800 | 1801 | 1630k| 571.2 | 683M | 125 |1276 |1592 |1364 |7708 | 1 | 409 |1504 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 660s| 1900 | 1901 | 1646k| 557.2 | 683M | 131 |1276 |1608 |1368 |7767 | 2 | 426 |1537 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 667s| 2000 | 2001 | 1660k| 543.4 | 683M | 137 |1276 |1608 |1368 |7808 | 1 | 426 |1567 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 675s| 2100 | 2101 | 1678k| 531.8 | 683M | 141 |1276 |1609 |1377 |7856 | 1 | 427 |1599 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 689s| 2200 | 2201 | 1720k| 528.6 | 683M | 143 |1276 |1609 |1362 |7909 | 1 | 427 |1620 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 696s| 2300 | 2301 | 1735k| 517.1 | 683M | 151 |1276 |1609 |1363 |7943 | 1 | 427 |1645 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 704s| 2400 | 2401 | 1750k| 506.6 | 683M | 151 |1276 |1610 |1367 |7967 | 1 | 428 |1675 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 714s| 2500 | 2501 | 1768k| 497.4 | 682M | 153 |1276 |1614 |1331 |8021 | 1 | 433 |1717 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 721s| 2600 | 2601 | 1790k| 489.6 | 683M | 153 |1276 |1616 |1370 |8062 | 1 | 435 |1732 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 730s| 2700 | 2701 | 1806k| 480.9 | 683M | 157 |1276 |1615 |1358 |8092 | 1 | 437 |1767 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 740s| 2800 | 2799 | 1832k| 475.2 | 683M | 175 |1276 |1616 |1362 |8180 | 1 | 439 |1826 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 754s| 2900 | 2889 | 1859k| 470.0 | 684M | 177 |1276 |1620 |1371 |8396 | 1 | 445 |1956 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 764s| 3000 | 2989 | 1880k| 463.6 | 684M | 181 |1276 |1618 |1379 |8498 | 1 | 445 |2012 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 773s| 3100 | 3081 | 1897k| 456.4 | 686M | 191 |1276 |1622 |1378 |8611 | 1 | 449 |2082 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 783s| 3200 | 3179 | 1917k| 450.4 | 686M | 191 |1276 |1624 |1375 |8730 | 1 | 451 |2154 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
924.92/927.75 c 793s| 3300 | 3279 | 1936k| 444.6 | 686M | 191 |1276 |1624 |1373 |8863 | 1 | 451 |2224 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 803s| 3400 | 3379 | 1955k| 438.8 | 687M | 191 |1276 |1626 |1384 |8986 | 2 | 453 |2292 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 811s| 3500 | 3475 | 1974k| 433.3 | 687M | 191 |1276 |1628 |1385 |9100 | 1 | 455 |2342 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 843s| 3600 | 3573 | 2079k| 446.5 | 688M | 191 |1276 |1628 |1393 |9266 | 1 | 455 |2390 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 853s| 3700 | 3673 | 2102k| 442.0 | 688M | 193 |1276 |1628 |1389 |9403 | 1 | 455 |2428 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 859s| 3800 | 3771 | 2121k| 436.7 | 689M | 193 |1276 |1633 |1378 |9525 | 1 | 460 |2444 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 866s| 3900 | 3869 | 2142k| 432.2 | 689M | 193 |1276 |1635 |1388 |9700 | 1 | 462 |2458 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 873s| 4000 | 3969 | 2161k| 427.5 | 689M | 193 |1276 |1635 |1391 |9851 | 1 | 462 |2475 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 882s| 4100 | 4067 | 2187k| 424.2 | 690M | 193 |1276 |1641 |1416 | 10k| 1 | 468 |2495 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 887s| 4200 | 4163 | 2205k| 419.6 | 690M | 193 |1276 |1646 |1415 | 10k| 2 | 473 |2501 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 894s| 4300 | 4261 | 2226k| 415.5 | 690M | 193 |1276 |1646 |1407 | 10k| 1 | 473 |2512 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 901s| 4400 | 4357 | 2252k| 412.7 | 690M | 193 |1276 |1648 |1477 | 10k| 1 | 475 |2516 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 908s| 4500 | 4457 | 2273k| 409.0 | 691M | 193 |1276 |1648 |1452 | 10k| 1 | 475 |2525 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 916s| 4600 | 4555 | 2294k| 405.5 | 691M | 193 |1276 |1658 |1383 | 10k| 1 | 485 |2558 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
924.92/927.75 c 922s| 4700 | 4655 | 2314k| 402.0 | 691M | 193 |1276 |1660 |1389 | 10k| 1 | 487 |2569 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
997.80/1000.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.80/1000.81 c 927s| 4800 | 4753 | 2330k| 397.8 | 691M | 193 |1276 |1664 |1411 | 11k| 1 | 491 |2571 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
997.80/1000.81 c 933s| 4900 | 4853 | 2347k| 394.1 | 692M | 193 |1276 |1663 |1414 | 11k| 1 | 491 |2574 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
997.80/1000.81 c 938s| 5000 | 4951 | 2362k| 390.0 | 692M | 193 |1276 |1665 |1412 | 11k| 1 | 493 |2580 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
997.80/1000.81 c 943s| 5100 | 5049 | 2378k| 386.3 | 692M | 193 |1276 |1670 |1433 | 11k| 1 | 498 |2582 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
997.80/1000.81 c 949s| 5200 | 5147 | 2399k| 383.4 | 693M | 193 |1276 |1675 |1435 | 11k| 1 | 503 |2589 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
997.80/1000.81 c 957s| 5300 | 5245 | 2422k| 380.9 | 693M | 193 |1276 |1677 |1439 | 12k| 2 | 505 |2594 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
997.80/1000.81 c 963s| 5400 | 5345 | 2441k| 378.1 | 693M | 193 |1276 |1677 |1374 | 12k| 1 | 505 |2597 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
997.80/1000.81 c 969s| 5500 | 5445 | 2457k| 374.7 | 693M | 193 |1276 |1678 |1461 | 12k| 2 | 507 |2597 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
997.80/1000.81 c 977s| 5600 | 5545 | 2485k| 373.3 | 693M | 193 |1276 |1685 |1362 | 12k| 1 | 516 |2608 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
997.80/1000.81 c 982s| 5700 | 5645 | 2499k| 369.8 | 693M | 193 |1276 |1686 |1434 | 12k| 1 | 518 |2613 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
997.80/1000.81 c 989s| 5800 | 5743 | 2520k| 367.4 | 694M | 193 |1276 |1688 |1388 | 12k| 1 | 520 |2634 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
997.80/1000.81 c 994s| 5900 | 5843 | 2533k| 364.0 | 694M | 193 |1276 |1690 |1372 | 13k| 1 | 522 |2647 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
997.80/1000.81 c
997.80/1000.81 c SCIP Status : solving was interrupted [time limit reached]
997.80/1000.81 c Solving Time (sec) : 1000.00
997.80/1000.81 c Solving Nodes : 5948 (total of 6997 nodes in 2 runs)
997.80/1000.81 c Primal Bound : +3.19000000000000e+02 (2 solutions)
997.80/1000.81 c Dual Bound : +0.00000000000000e+00
997.80/1000.81 c Gap : infinite
997.80/1000.81 c All original constraints are satisfied.
997.80/1000.81 c SCIP's best solution is verified feasible for the original problem.
997.80/1000.81 c ----------------------------------------------------------------------
997.80/1000.81 c dual bound: 0.0 -> 0
997.80/1000.81 c primal bound: 319.0 -> 319
997.80/1000.81 c scip-goal-lb: 0
997.80/1000.81 c scip-goal-ub: 319
997.80/1000.81 c writing output to: HOME/tmpbcay34kc.opb
997.80/1000.81 c appending fixed variable constraints
997.80/1000.81 c scip-fixed vars: 1.02% (13/1276)
997.80/1000.81 c ----------------------------------------------------------------------
997.80/1000.81 c executing external solver: HOME/naps-1.03a6
997.80/1000.81 c ----------------------------------------------------------------------
997.80/1000.81 c command: HOME/naps-1.03a6 -goal-lb=0 -goal-ub=318 HOME/tmpbcay34kc.opb
997.80/1000.85 c NaPS 1.03a6.
997.80/1000.85 c Input file name: HOME/tmpbcay34kc.opb
1409.50/1413.72 c single stage optimization mode
2795.16/2804.11 o 318
2795.16/2804.11 o 2
2795.16/2804.11 c
2795.16/2804.11 c *** TERMINATED *** by signal 15
2795.16/2804.11 c _____________________________________________________________________________
2795.16/2804.11 c std/band forms : 1084,0
2795.16/2804.11 c 2cl/3cl ITE-codings : 62043298,0
2795.16/2804.11 c BDD/srt/adr Max costs : 149371,35476,0
2795.16/2804.11 c BDDraw/bin/mul/srt/adr: 1080,0,0,4,0
2795.16/2804.11 c BDD nodes : 62466572
2795.16/2804.11 c Es1/CC detections : 0,0
2795.16/2804.11 c CC sort : 4
2795.16/2804.11 c SAT/UNSAT calls : 2,0
2795.16/2804.11 c regenrated variables : 0
2795.16/2804.11 c eliminated fixed lits : 30
2795.16/2804.11 c goal lit flips : 0
2795.16/2804.11 c goal stages : 1
2795.16/2804.11 c goal shrink : 0
2795.16/2804.11 c goal coeff separations: 0
2795.16/2804.11 c restarts : 18
2795.16/2804.11 c conflicts : 1019 (1 /sec)
2795.16/2804.11 c decisions : 7193 (4 /sec)
2795.16/2804.11 c propagations : 218808610 (122472 /sec)
2795.16/2804.11 c inspects : 0 (0 /sec)
2795.16/2804.11 c CPU time (solving tm) : 1787 s (1376 s, SAT 129.4 s, UNSAT 0 s)
2795.16/2804.11 c Time for Opt-base : 0.002845 s
2795.16/2804.11 c Steps for Opt-base : 0
2795.16/2804.11 c Time for BDD coding : 305.1 s
2795.16/2804.11 c Time for srt coding : 0.01059 s
2795.16/2804.11 c _____________________________________________________________________________
997.85/2804.63 c received SIGTERM, forwarding to pbsolver...
997.85/2804.63 s SATISFIABLE
997.85/2804.63 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 x117 x118 x119 x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 -x215 -x216 -x217 -x218 -x219 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 x240 x241 x242 x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 x270 x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 x440 -x441 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 x628 x629 x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 x657 x658 x659 x660 x661 -x662 x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 x686 x687 x688 x689 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 x714 x715 x716 x717 x718 x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 x744 x745 x746 x747 x748 -x749 -x750 -x751 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 x783 -x784 x82 x795 x97 x203 x220 x398 x442 x643 x690 x691 x699 x700 x752 -x796 -x797 x798 x799 x800 x801 -x802 x803 x804 x805 x806 x807 x808 x809 -x810 x811 -x812 x813 x814 -x815 -x816 x817 -x818 x819 x820 x821 -x822 x823 -x824 x825 -x826 -x827 x828 x829 x830 x831 -x832 x833 -x834 x835 -x836 x837 x838 x839 x840 -x841 x842 -x843 x844 -x845 x846 x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 x855 -x856 x857 -x858 -x859 -x860 x861 x862 -x863 x864 x865 -x866 x867 x868 -x869 -x870 -x871 x872 x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 x882 -x883 -x884 x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 x893 x894 x895 x896 x897 -x898 x899 -x900 -x901 x902 -x903 -x904 x905 x906 -x907 -x908 -x909 x910 -x911 x912 x913 x914 x915 x916 -x917 x918 -x919 -x920 x921 x922 -x923 -x924 -x925 -x926 x927 -x928 x929 -x930 x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 x941 -x942 -x943 x944 -x945 x946 x947 x948 -x949 -x950 x951 x952 x953 -x954 x955 x956 -x957 -x958 -x959 x960 x961 -x962 -x963 -x964 x965 x966 x967 -x968 -x969 x970 -x971 x972 x973 x974 -x975 x976 -x977 -x978 -x979 x980 -x981 -x982 x983 x984 x985 -x986 -x987 -x988 -x989 x990 x991 -x992 x993 -x994 -x995 x996 -x997 x998 -x999 x1000 x1001 -x1002 -x1003 x1004 x1005 -x1006 x1007 x1008 x1009 -x1010 -x1011 x1012 -x1013 x1014 x1015 -x1016 -x1017 x1018 -x1019 x1020 -x1021 x1022 -x1023 -x1024 x1025 x1026 x1027 x1028 -x1029 -x1030 x1031 x1032 -x1033 -x1034 x1035 x1036 x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 x1050 -x1051 x1052 -x1053 x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 x1065 x1066 x1067 x1068 x1069 x1070 -x1071 x1072 -x1073 x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 x1091 x1092 x1093 -x1094 -x1095 -x1096 -x1097 x1098 x1099 x1100 -x1101 -x1102 x1103 -x1104 x1105 x1106 -x1107 x1108 x1109 x1110 -x1111 -x1112 x1113 -x1114 x1115 x1116 -x1117 x1118 x1119 x1120 -x1121 x1122 -x1123 x1124 x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 x1133 -x1134 x1135 -x1136 -x1137 x1138 x1139 x1140 -x1141 -x1142 x1143 x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 x1151 -x1152 x1153 -x1154 x1155 x1156 -x1157 -x1158 x1159 x1160 x1161 x1162 x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 x1170 x1171 x1172 x1173 x1174 -x1175 -x1176 x1177 x1178 x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 x1188 -x1189 x1190 -x1191 -x1192 -x1193 x1194 x1195 x1196 x1197 x1198 -x1199 -x1200 x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 x1208 x1209 x1210 x1211 x1212 x1213 x1214 -x1215 -x1216 x1217 x1218 x1219 -x1220 x1221 -x1222 -x1223 x1224 x1225 -x1226 -x1227 -x1228 -x1229 x1230 x1231 -x1232 x1233 -x1234 x1235 x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 x1244 x1245 x1246 x1247 x1248 -x1249 -x1250 x1251 -x1252 -x1253 x1254 -x1255 -x1256 x1257 -x1258 x1259 x1260 x1261 -x1262 x1263 x1264 -x1265 x1266 -x1267 x1268 x1269 -x1270 -x1271 x1272 x1273 x1274 -x1275 -x1276 x1277 -x1278 x1279 -x1280 -x1281 -x1282 x1283 x1284 -x1285 x1286 x1287 -x1288 -x1289 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794
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: 63837 MiB (49797 MiB free)
memory of node 1: 64465 MiB (56450 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523437-1751581602/watcher-4523437-1751581602 -o /tmp/evaluation-result-4523437-1751581602/solver-4523437-1751581602 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751572033-82176 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4523437-1751581602.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=84171, runsolver pid=84168
[startup+0.100106 s]*
/proc/loadavg: 4.39 4.28 4.19 5/257 84176
/proc/meminfo: memFree=108784704/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=13316 memory=10496 CPUtime=0.06 cores=1,3
/proc/84176/stat : 84176 (python3) R 84171 84171 82164 0 -1 4194304 1604 0 0 0 5 1 0 0 20 0 1 0 73839633 13635584 2624 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 3373 2624 1248 1 0 1461 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 17508 KiB
Current children cumulated memory: 13312 KiB
[startup+0.214015 s]*
/proc/loadavg: 4.39 4.28 4.19 5/257 84176
/proc/meminfo: memFree=108508256/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=1186236 memory=30992 CPUtime=0.16 cores=1,3
/proc/84176/stat : 84176 (python3) R 84171 84171 82164 0 -1 4194304 3537 0 0 0 14 2 0 0 20 0 1 0 73839633 1214705664 7748 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 296559 7748 4841 1 0 268581 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1190428 KiB
Current children cumulated memory: 33808 KiB
[startup+0.313926 s]*
/proc/loadavg: 4.39 4.28 4.19 5/257 84176
/proc/meminfo: memFree=108504160/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=1190392 memory=35344 CPUtime=0.27 cores=1,3
/proc/84176/stat : 84176 (python3) R 84171 84171 82164 0 -1 4194304 4472 0 0 0 23 4 0 0 20 0 1 0 73839633 1218961408 8836 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 297598 8836 5033 1 0 269507 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1194584 KiB
Current children cumulated memory: 38160 KiB
[startup+0.70041 s]
/proc/loadavg: 4.39 4.28 4.19 6/257 84176
/proc/meminfo: memFree=108487968/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=1268292 memory=120720 CPUtime=0.63 cores=1,3
/proc/84176/stat : 84176 (python3) R 84171 84171 82164 0 -1 4194304 23200 0 0 0 54 9 0 0 20 0 1 0 73839633 1298731008 30180 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 317073 30180 7881 1 0 288431 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 1272484 KiB
Current children cumulated memory: 123536 KiB
[startup+1.50041 s]
/proc/loadavg: 4.39 4.28 4.19 5/257 84176
/proc/meminfo: memFree=108415644/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=1338100 memory=189668 CPUtime=1.44 cores=1,3
/proc/84176/stat : 84176 (python3) R 84171 84171 82164 0 -1 4194304 39357 0 0 0 131 13 0 0 20 0 1 0 73839633 1370214400 47417 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 334525 47417 7945 1 0 305883 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1342292 KiB
Current children cumulated memory: 192484 KiB
[startup+3.11333 s]
/proc/loadavg: 4.36 4.27 4.19 5/257 84176
/proc/meminfo: memFree=109528236/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=1583756 memory=401340 CPUtime=3.04 cores=1,3
/proc/84176/stat : 84176 (python3) R 84171 84171 82164 0 -1 4194304 78021 0 0 0 283 21 0 0 20 0 1 0 73839633 1621766144 100335 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 395939 100335 8137 1 0 367297 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1587948 KiB
Current children cumulated memory: 404156 KiB
[startup+6.3004 s]
/proc/loadavg: 4.36 4.27 4.19 5/257 84176
/proc/meminfo: memFree=109408804/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=1718252 memory=535560 CPUtime=6.22 cores=1,3
/proc/84176/stat : 84176 (python3) R 84171 84171 82164 0 -1 4194304 112427 0 0 0 596 26 0 0 20 0 1 0 73839633 1759490048 133890 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 429563 133890 8137 1 0 400921 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1722444 KiB
Current children cumulated memory: 538376 KiB
[startup+12.7004 s]
/proc/loadavg: 4.38 4.28 4.19 5/257 84176
/proc/meminfo: memFree=109209520/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=1888032 memory=702040 CPUtime=12.6 cores=1,3
/proc/84176/stat : 84176 (python3) R 84171 84171 82164 0 -1 4194304 172220 0 0 0 1224 36 0 0 20 0 1 0 73839633 1933344768 175510 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 472008 175510 8137 1 0 443366 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1892224 KiB
Current children cumulated memory: 704856 KiB
[startup+25.5004 s]
/proc/loadavg: 4.33 4.27 4.19 5/257 84177
/proc/meminfo: memFree=109396896/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=1888032 memory=703064 CPUtime=25.36 cores=1,3
/proc/84176/stat : 84176 (python3) R 84171 84171 82164 0 -1 4194304 172483 0 0 0 2500 36 0 0 20 0 1 0 73839633 1933344768 175766 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 472008 175766 8137 1 0 443366 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1892224 KiB
Current children cumulated memory: 705880 KiB
[startup+51.1134 s]
/proc/loadavg: 4.21 4.25 4.18 5/258 84178
/proc/meminfo: memFree=109180812/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=1909592 memory=726348 CPUtime=50.91 cores=1,3
/proc/84176/stat : 84176 (python3) R 84171 84171 82164 0 -1 4194304 222831 0 0 0 5046 45 0 0 20 0 1 0 73839633 1955422208 181587 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 477398 181587 8137 1 0 448756 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1913784 KiB
Current children cumulated memory: 729164 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.22 4.17 5/258 84180
/proc/meminfo: memFree=108971892/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=1956408 memory=770556 CPUtime=101.94 cores=1,3
/proc/84176/stat : 84176 (python3) R 84171 84171 82164 0 -1 4194304 294176 0 0 0 10138 56 0 0 20 0 1 0 73839633 2003361792 192639 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 489102 192639 8137 1 0 460460 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1960600 KiB
Current children cumulated memory: 773372 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.21 4.17 5/258 84184
/proc/meminfo: memFree=108918792/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=2025376 memory=839064 CPUtime=161.77 cores=1,3
/proc/84176/stat : 84176 (python3) R 84171 84171 82164 0 -1 4194304 405298 0 0 0 16101 76 0 0 20 0 1 0 73839633 2073985024 209766 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 506344 209766 8137 1 0 477702 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 2029568 KiB
Current children cumulated memory: 841880 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/259 84187
/proc/meminfo: memFree=102972892/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=2004812 memory=818744 CPUtime=221.58 cores=1,3
/proc/84176/stat : 84176 (python3) R 84171 84171 82164 0 -1 4194304 517530 0 0 0 22061 97 0 0 20 0 1 0 73839633 2052927488 204686 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 501203 204686 8137 1 0 472561 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
[startup+2502.3 s]
/proc/loadavg: 1.16 1.41 2.43 2/235 84453
/proc/meminfo: memFree=106654840/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=2020196 memory=840316 CPUtime=997.83 cores=1,3
/proc/84176/stat : 84176 (python3) S 84171 84171 82164 0 -1 4194304 893823 0 0 0 99608 175 0 0 20 0 1 0 73839633 2068680704 210079 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 505049 210079 8201 1 0 476407 0
[pid=84272] ppid=84176 vsize=24130576 memory=22575324 CPUtime=1496.67 cores=1,3
/proc/84272/stat : 84272 (naps-1.03a6) R 84176 84272 84272 0 -1 4194304 3485051 0 0 0 148775 892 0 0 20 0 1 0 73939713 24709709824 5643831 18446744073709551615 4198400 7047149 140732057849152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 8331264 140732057856377 140732057856499 140732057856499 140732057862089 0
/proc/84272/statm: 6032644 5643831 608 696 0 6031805 0
Current children cumulated CPU time: 2494.5 s
Current children cumulated vsize: 26154964 KiB
Current children cumulated memory: 23418456 KiB
[startup+2562.3 s]
/proc/loadavg: 1.12 1.35 2.34 2/235 84455
/proc/meminfo: memFree=106646244/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=2020196 memory=840316 CPUtime=997.83 cores=1,3
/proc/84176/stat : 84176 (python3) S 84171 84171 82164 0 -1 4194304 893823 0 0 0 99608 175 0 0 20 0 1 0 73839633 2068680704 210079 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 505049 210079 8201 1 0 476407 0
[pid=84272] ppid=84176 vsize=24139024 memory=22583644 CPUtime=1556.44 cores=1,3
/proc/84272/stat : 84272 (naps-1.03a6) R 84176 84272 84272 0 -1 4194304 3492756 0 0 0 154751 893 0 0 20 0 1 0 73939713 24718360576 5645911 18446744073709551615 4198400 7047149 140732057849152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 8331264 140732057856377 140732057856499 140732057856499 140732057862089 0
/proc/84272/statm: 6034756 5645911 608 696 0 6033917 0
Current children cumulated CPU time: 2554.27 s
Current children cumulated vsize: 26163412 KiB
Current children cumulated memory: 23426776 KiB
[startup+2622.3 s]
/proc/loadavg: 1.16 1.31 2.26 2/235 84459
/proc/meminfo: memFree=106598612/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=2020196 memory=840316 CPUtime=997.83 cores=1,3
/proc/84176/stat : 84176 (python3) S 84171 84171 82164 0 -1 4194304 893823 0 0 0 99608 175 0 0 20 0 1 0 73839633 2068680704 210079 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 505049 210079 8201 1 0 476407 0
[pid=84272] ppid=84176 vsize=24168460 memory=22613084 CPUtime=1616.21 cores=1,3
/proc/84272/stat : 84272 (naps-1.03a6) R 84176 84272 84272 0 -1 4194304 3506007 0 0 0 160727 894 0 0 20 0 1 0 73939713 24748503040 5653271 18446744073709551615 4198400 7047149 140732057849152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 8331264 140732057856377 140732057856499 140732057856499 140732057862089 0
/proc/84272/statm: 6042115 5653271 608 696 0 6041276 0
Current children cumulated CPU time: 2614.04 s
Current children cumulated vsize: 26192848 KiB
Current children cumulated memory: 23456216 KiB
[startup+2682.3 s]
/proc/loadavg: 1.18 1.29 2.19 2/235 84461
/proc/meminfo: memFree=106556552/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=2020196 memory=840316 CPUtime=997.83 cores=1,3
/proc/84176/stat : 84176 (python3) S 84171 84171 82164 0 -1 4194304 893823 0 0 0 99608 175 0 0 20 0 1 0 73839633 2068680704 210079 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 505049 210079 8201 1 0 476407 0
[pid=84272] ppid=84176 vsize=24193012 memory=22637660 CPUtime=1675.98 cores=1,3
/proc/84272/stat : 84272 (naps-1.03a6) R 84176 84272 84272 0 -1 4194304 3518788 0 0 0 166703 895 0 0 20 0 1 0 73939713 24773644288 5659415 18446744073709551615 4198400 7047149 140732057849152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 8331264 140732057856377 140732057856499 140732057856499 140732057862089 0
/proc/84272/statm: 6048253 5659415 608 696 0 6047414 0
Current children cumulated CPU time: 2673.81 s
Current children cumulated vsize: 26217400 KiB
Current children cumulated memory: 23480792 KiB
[startup+2742.3 s]
/proc/loadavg: 1.12 1.25 2.12 2/234 84463
/proc/meminfo: memFree=106555456/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=2020196 memory=840316 CPUtime=997.83 cores=1,3
/proc/84176/stat : 84176 (python3) S 84171 84171 82164 0 -1 4194304 893823 0 0 0 99608 175 0 0 20 0 1 0 73839633 2068680704 210079 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 505049 210079 8201 1 0 476407 0
[pid=84272] ppid=84176 vsize=24225124 memory=22669788 CPUtime=1735.76 cores=1,3
/proc/84272/stat : 84272 (naps-1.03a6) R 84176 84272 84272 0 -1 4194304 3533424 0 0 0 172679 897 0 0 20 0 1 0 73939713 24806526976 5667447 18446744073709551615 4198400 7047149 140732057849152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 8331264 140732057856377 140732057856499 140732057856499 140732057862089 0
/proc/84272/statm: 6056281 5667447 608 696 0 6055442 0
Current children cumulated CPU time: 2733.59 s
Current children cumulated vsize: 26249512 KiB
Current children cumulated memory: 23512920 KiB
[startup+2802.3 s]
/proc/loadavg: 1.08 1.21 2.05 2/233 84465
/proc/meminfo: memFree=102110732/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=2020196 memory=840316 CPUtime=997.83 cores=1,3
/proc/84176/stat : 84176 (python3) S 84171 84171 82164 0 -1 4194304 893823 0 0 0 99608 175 0 0 20 0 1 0 73839633 2068680704 210079 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 505049 210079 8201 1 0 476407 0
[pid=84272] ppid=84176 vsize=27297196 memory=25187988 CPUtime=1795.53 cores=1,3
/proc/84272/stat : 84272 (naps-1.03a6) R 84176 84272 84272 0 -1 4194304 3550061 0 0 0 178532 1021 0 0 20 0 1 0 73939713 27952328704 6296997 18446744073709551615 4198400 7047149 140732057849152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 8331264 140732057856377 140732057856499 140732057856499 140732057862089 0
/proc/84272/statm: 6824299 6296997 608 696 0 6823460 0
Current children cumulated CPU time: 2793.36 s
Current children cumulated vsize: 29321584 KiB
Current children cumulated memory: 26031120 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2804.11 s]
/proc/loadavg: 1.08 1.21 2.05 2/233 84465
/proc/meminfo: memFree=102338264/131382112 swapFree=33002444/33010684
[pid=84171] ppid=84168 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/84171/stat : 84171 (scip-naps-1.00.) S 84168 84171 82164 0 -1 4194304 256 336 0 0 0 0 0 0 20 0 1 0 73839630 4292608 704 18446744073709551615 94868821078016 94868821972549 140729535274288 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94868822211600 94868822259344 94868849352704 140729535281569 140729535281666 140729535281666 140729535287268 0
/proc/84171/statm: 1048 704 640 219 0 110 0
[pid=84176] ppid=84171 vsize=2020196 memory=840316 CPUtime=997.83 cores=1,3
/proc/84176/stat : 84176 (python3) S 84171 84171 82164 0 -1 4194304 893823 0 0 0 99608 175 0 0 20 0 1 0 73839633 2068680704 210079 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 16386 1 0 0 17 3 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 505049 210079 8201 1 0 476407 0
[pid=84272] ppid=84176 vsize=30442932 memory=27003160 CPUtime=1797.33 cores=1,3
/proc/84272/stat : 84272 (naps-1.03a6) R 84176 84272 84272 0 -1 4194304 3583774 0 0 0 178659 1074 0 0 20 0 1 0 73939713 31173562368 6750790 18446744073709551615 4198400 7047149 140732057849152 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 8331264 140732057856377 140732057856499 140732057856499 140732057862089 0
/proc/84272/statm: 7610733 6750790 608 696 0 7609894 0
Current children cumulated CPU time: 2795.16 s
Current children cumulated vsize: 32467320 KiB
Current children cumulated memory: 27846292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2804.12 s]
# the end of solver process 84171 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00427 s, system=0.011091 s
[startup+2805.06 s]
# the end of solver process 84176 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2783.02 s, system=13.1203 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2804.8 s]
/proc/loadavg: 1.08 1.21 2.05 2/232 84465
/proc/meminfo: memFree=105389972/131382112 swapFree=33002444/33010684
[pid=84176] ppid=84168 vsize=2020196 memory=840316 CPUtime=2795.84 cores=1,3
/proc/84176/stat : 84176 (python3) R 84168 84171 82164 0 -1 4194304 907721 3583777 0 0 99622 177 178659 1126 20 0 1 0 73839633 2068680704 210079 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 16386 0 0 0 17 3 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 505049 210079 8201 1 0 476407 0
Current cumulated CPU time of completed processes: 0.015361 s
Current children cumulated CPU time: 2795.84 s
Current children cumulated vsize: 2020196 KiB
Current children cumulated memory: 840316 KiB
[startup+2805 s]*
/proc/loadavg: 1.08 1.21 2.05 2/231 84465
/proc/meminfo: memFree=129054704/131382112 swapFree=33002444/33010684
[pid=84176] ppid=84168 vsize=1800228 memory=650184 CPUtime=2796.06 cores=1,3
/proc/84176/stat : 84176 (python3) R 84168 84171 82164 0 -1 4194304 931287 3583777 0 0 99640 181 178659 1126 20 0 1 0 73839633 1843433472 162546 18446744073709551615 94498377576448 94498377576825 140726492818816 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94498377588120 94498377588740 94498384379904 140726492821863 140726492822050 140726492822050 140726492827623 0
/proc/84176/statm: 450057 162546 8201 1 0 421415 0
Current cumulated CPU time of completed processes: 0.015361 s
Current children cumulated CPU time: 2796.06 s
Current children cumulated vsize: 1800228 KiB
Current children cumulated memory: 650184 KiB
Child status: 0
Real time (s): 2805.06
CPU time (s): 2796.14
CPU user time (s): 2783.02
CPU system time (s): 13.1203
CPU usage (%): 99.682
Max. virtual memory (cumulated for all children) (KiB): 32467320
Max. memory (cumulated for all children) (KiB): 28902876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2783.02
system time used= 13.1203
maximum resident set size= 28059744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4518724
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 379
involuntary context switches= 2588
# summary of solver processes directly reported to runsolver:
# pid: 84171,84176
# total CPU time (s): 2796.14
# total CPU user time (s): 2783.02
# total CPU system time (s): 13.1203
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9916 second user time and 29.7103 second system time
The end