0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.21/0.32 c Default LC presolving (default).
0.21/0.32 c ** Before presolving: virtualMemUsedAtLc = 152939641, getVmSize() = 114360320, SCIPgetMemUsed() = 80829057, SCIPgetMemTotal() = 87886081, SCIPgetMemExternEstim() = 65053560
0.21/0.32 c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
1.78/1.80 c ** Estimated virtualMemUsedAtSolver = 235210447, getVmSize() = 322768896, SCIPgetMemUsed() = 156443711, SCIPgetMemTotal() = 287762111, SCIPgetMemExternEstim() = 65053560
1.78/1.80 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.78/1.80 c Original Problem :
1.78/1.80 c Problem name : instance-4426853-1720907832
1.78/1.80 c Variables : 24656 (24656 binary, 0 integer, 0 implicit integer, 0 continuous)
1.78/1.80 c Constraints : 46163
1.78/1.80 c Objective sense : minimize
1.78/1.80 c Presolved Problem :
1.78/1.80 c Variables : 47487 (24656 binary, 0 integer, 22831 implicit integer, 0 continuous)
1.78/1.80 c Constraints : 46163
1.78/1.80 c Constraints : Number
1.78/1.80 c knapsack : 1
1.78/1.80 c setppc : 450
1.78/1.80 c linear : 22856
1.78/1.80 c indicator : 22856
1.78/1.80 c ** Instance transfer method used: 0
1.88/1.95 c ** ParaScipInstance copy increased the number of variables. **
2.16/2.26 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.16/2.26 c Nodes Active
2.16/2.26 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
6.24/6.39 c * 6 0 1 1 5714.0000 - -
6.24/6.39 c 6 0 1 1 5714.0000 - -
134.72/135.40 c * 135 0 1 1 2360.0000 - -
134.86/135.40 c 135 0 1 1 2360.0000 - -
151.89/152.58 c 153 2 1 1 2360.0000 0.0000 -
162.04/162.72 c 163 4 3 1 2360.0000 0.0000 -
168.52/169.20 c 169 7 6 1 2360.0000 0.0000 -
175.99/176.74 c 177 10 9 1 2360.0000 0.0000 -
184.26/185.02 c 185 13 12 1 2360.0000 0.0000 -
190.82/191.67 c 192 15 14 1 2360.0000 0.0000 -
205.67/206.54 c 207 17 16 1 2360.0000 0.0000 -
212.26/213.19 c 213 19 18 1 2360.0000 0.0000 -
219.90/220.82 c 221 22 21 1 2360.0000 0.0000 -
225.49/226.44 c 226 24 23 1 2360.0000 0.0000 -
232.56/233.50 c 234 32 31 1 2360.0000 0.0000 -
246.40/247.48 c 247 34 33 1 2360.0000 0.0000 -
250.02/251.02 c * 251 34 33 1 1431.0000 0.0000 -
251.90/252.91 c 253 35 34 1 1431.0000 0.0000 -
267.75/268.85 c 269 41 40 1 1431.0000 0.0000 -
275.71/276.84 c 277 42 41 1 1431.0000 0.0000 -
279.90/281.09 c * 281 42 41 1 1225.0000 0.0000 -
281.22/282.33 c 282 43 42 1 1225.0000 0.0000 -
288.49/289.60 c 290 45 44 1 1225.0000 0.0000 -
296.55/297.70 c 298 51 50 1 1225.0000 0.0000 -
304.42/305.69 c 306 55 54 1 1225.0000 0.0000 -
310.70/311.93 c 312 59 58 1 1225.0000 0.0000 -
317.78/319.04 c 319 65 64 1 1225.0000 0.0000 -
324.54/325.80 c 326 69 68 1 1225.0000 0.0000 -
331.81/333.19 c 333 73 72 1 1225.0000 0.0000 -
343.05/344.48 c 344 77 76 1 1225.0000 0.0000 -
348.64/350.09 c 350 82 81 1 1225.0000 0.0000 -
391.46/393.01 c 393 85 84 1 1225.0000 0.0000 -
396.64/398.24 c 398 86 85 1 1225.0000 0.0000 -
403.51/405.20 c 405 88 87 1 1225.0000 0.0000 -
413.38/415.03 c 415 92 91 1 1225.0000 0.0000 -
423.33/425.07 c 425 96 95 1 1225.0000 0.0000 -
434.08/435.83 c 436 97 96 1 1225.0000 0.0000 -
457.30/459.19 c 459 99 98 1 1225.0000 0.0000 -
464.76/466.66 c 467 102 101 1 1225.0000 0.0000 -
476.31/478.25 c 478 104 103 1 1225.0000 0.0000 -
482.88/484.80 c 485 106 105 1 1225.0000 0.0000 -
497.52/499.53 c 500 112 111 1 1225.0000 0.0000 -
504.49/506.59 c 507 116 115 1 1225.0000 0.0000 -
511.16/513.26 c * 513 118 117 1 1212.0000 0.0000 -
511.16/513.26 c 513 118 117 1 1212.0000 0.0000 -
516.57/518.69 c 519 124 123 1 1212.0000 0.0000 -
522.84/524.93 c 525 125 124 1 1212.0000 0.0000 -
528.82/530.95 c 531 128 127 1 1212.0000 0.0000 -
537.78/539.91 c 540 134 133 1 1212.0000 0.0000 -
544.97/547.16 c 547 140 139 1 1212.0000 0.0000 -
551.32/553.60 c 554 144 143 1 1212.0000 0.0000 -
556.71/558.98 c 559 148 147 1 1212.0000 0.0000 -
562.79/565.10 c 565 154 153 1 1212.0000 0.0000 -
568.05/570.37 c 570 158 157 1 1212.0000 0.0000 -
576.33/578.62 c 579 160 159 1 1212.0000 0.0000 -
590.56/592.97 c 593 164 163 1 1212.0000 0.0000 -
629.80/632.32 c 632 170 169 1 1212.0000 0.0000 -
636.57/639.20 c 639 176 175 1 1212.0000 0.0000 -
678.10/680.85 c 681 180 179 1 1212.0000 0.0000 -
693.13/695.91 c 696 183 182 1 1212.0000 0.0000 -
702.39/705.27 c 705 187 186 1 1212.0000 0.0000 -
708.18/711.03 c 711 190 189 1 1212.0000 0.0000 -
714.25/717.14 c 717 194 193 1 1212.0000 0.0000 -
721.32/724.22 c 724 198 197 1 1212.0000 0.0000 -
726.49/729.47 c 729 200 199 1 1212.0000 0.0000 -
731.97/734.90 c 735 202 201 1 1212.0000 0.0000 -
739.15/742.15 c 742 206 205 1 1212.0000 0.0000 -
746.61/749.60 c 750 208 207 1 1212.0000 0.0000 -
823.99/827.30 c 827 210 209 1 1212.0000 0.0000 -
832.26/835.62 c 836 211 210 1 1212.0000 0.0000 -
938.57/942.33 c 942 214 213 1 1212.0000 0.0000 -
950.44/954.22 c 954 215 214 1 1212.0000 0.0000 -
958.01/961.86 c 962 217 216 1 1212.0000 0.0000 -
963.59/967.41 c 967 219 218 1 1212.0000 0.0000 -
969.76/973.61 c 974 222 221 1 1212.0000 0.0000 -
974.84/978.70 c 979 225 224 1 1212.0000 0.0000 -
1000.16/1004.18 c 1004 229 228 1 1212.0000 0.0000 -
1006.33/1010.37 c 1010 231 230 1 1212.0000 0.0000 -
1013.90/1017.99 c 1018 234 233 1 1212.0000 0.0000 -
1021.67/1025.73 c 1026 238 237 1 1212.0000 0.0000 -
1037.92/1042.02 c 1042 241 240 1 1212.0000 0.0000 -
1053.16/1057.37 c * 1057 242 241 1 1007.0000 0.0000 -
1053.16/1057.37 c 1057 242 241 1 1007.0000 0.0000 -
1065.85/1070.07 c 1070 250 249 1 1007.0000 0.0000 -
1071.84/1076.09 c 1076 254 253 1 1007.0000 0.0000 -
1081.29/1085.59 c 1086 258 257 1 1007.0000 0.0000 -
1090.06/1094.35 c 1094 262 261 1 1007.0000 0.0000 -
1096.03/1100.35 c 1100 266 265 1 1007.0000 0.0000 -
1101.91/1106.22 c 1106 269 268 1 1007.0000 0.0000 -
1121.04/1125.43 c 1125 271 270 1 1007.0000 0.0000 -
1127.42/1131.89 c 1132 275 274 1 1007.0000 0.0000 -
1137.08/1141.51 c 1142 277 276 1 1007.0000 0.0000 -
1142.47/1146.96 c 1147 281 280 1 1007.0000 0.0000 -
1150.15/1154.69 c * 1155 282 281 1 960.0000 0.0000 -
1150.15/1154.69 c 1155 282 281 1 960.0000 0.0000 -
1156.45/1160.97 c 1161 288 287 1 960.0000 0.0000 -
1165.63/1170.12 c 1170 292 291 1 960.0000 0.0000 -
1173.29/1177.84 c 1178 297 296 1 960.0000 0.0000 -
1183.96/1188.55 c 1189 303 302 1 960.0000 0.0000 -
1189.94/1194.58 c 1195 310 309 1 960.0000 0.0000 -
1195.62/1200.29 c 1200 314 313 1 960.0000 0.0000 -
1201.41/1206.06 c 1206 318 317 1 960.0000 0.0000 -
1207.18/1211.85 c 1212 324 323 1 960.0000 0.0000 -
1214.96/1219.63 c 1220 332 331 1 960.0000 0.0000 -
1221.54/1226.21 c 1226 338 337 1 960.0000 0.0000 -
1226.52/1231.22 c 1231 342 341 1 960.0000 0.0000 -
1234.99/1239.71 c 1240 348 347 1 960.0000 0.0000 -
1240.07/1244.89 c 1245 354 353 1 960.0000 0.0000 -
1247.15/1252.01 c 1252 362 361 1 960.0000 0.0000 -
1253.93/1258.75 c 1259 368 367 1 960.0000 0.0000 -
1261.00/1265.89 c 1266 372 371 1 960.0000 0.0000 -
1266.30/1271.18 c 1271 376 375 1 960.0000 0.0000 -
1271.37/1276.24 c 1276 380 379 1 960.0000 0.0000 -
1276.76/1281.69 c 1282 386 385 1 960.0000 0.0000 -
1288.62/1293.51 c 1294 392 391 1 960.0000 0.0000 -
1293.90/1298.86 c 1299 399 398 1 960.0000 0.0000 -
1301.08/1306.09 c * 1306 400 399 1 911.0000 0.0000 -
1301.08/1306.09 c 1306 400 399 1 911.0000 0.0000 -
1307.96/1312.98 c 1313 407 406 1 911.0000 0.0000 -
1315.43/1320.42 c 1320 412 411 1 911.0000 0.0000 -
1324.30/1329.38 c 1329 418 417 1 911.0000 0.0000 -
1330.99/1336.06 c 1336 419 418 1 911.0000 0.0000 -
1336.97/1342.11 c 1342 425 424 1 911.0000 0.0000 -
1343.74/1348.82 c 1349 428 427 1 911.0000 0.0000 -
1347.93/1353.08 c * 1353 428 427 1 898.0000 0.0000 -
1352.43/1357.54 c 1358 431 430 1 898.0000 0.0000 -
1358.02/1363.13 c 1363 436 435 1 898.0000 0.0000 -
1365.89/1371.03 c * 1371 440 439 1 845.0000 0.0000 -
1365.89/1371.03 c 1371 440 439 1 845.0000 0.0000 -
1373.98/1379.16 c 1379 445 444 1 845.0000 0.0000 -
1379.54/1384.72 c 1385 450 449 1 845.0000 0.0000 -
1387.02/1392.28 c 1392 456 455 1 845.0000 0.0000 -
1393.10/1398.36 c 1398 460 459 1 845.0000 0.0000 -
1398.98/1404.22 c 1404 462 461 1 845.0000 0.0000 -
1404.16/1409.47 c 1409 467 466 1 845.0000 0.0000 -
1515.38/1521.10 c 1521 470 469 1 845.0000 0.0000 -
1521.05/1526.76 c 1527 475 474 1 845.0000 0.0000 -
1528.21/1533.90 c 1534 478 477 1 845.0000 0.0000 -
1534.79/1540.55 c 1541 483 482 1 845.0000 0.0000 -
1540.77/1546.52 c 1547 492 491 1 845.0000 0.0000 -
1546.26/1552.09 c 1552 494 493 1 845.0000 0.0000 -
1618.17/1624.21 c 1624 498 497 1 845.0000 0.0000 -
1629.62/1635.79 c 1636 499 500 1 845.0000 0.0000 -
1633.10/1639.29 c * 1639 499 500 1 829.0000 0.0000 -
1636.91/1643.01 c 1643 501 500 1 829.0000 0.0000 -
1660.01/1666.23 c 1666 509 508 1 829.0000 0.0000 -
1664.99/1671.26 c 1671 512 511 1 829.0000 0.0000 -
1670.16/1676.44 c 1676 522 521 1 829.0000 0.0000 -
1687.89/1694.23 c 1694 523 522 1 829.0000 0.0000 -
1712.88/1719.36 c 1719 526 525 1 829.0000 0.0000 -
1729.41/1735.99 c 1736 532 531 1 829.0000 0.0000 -
1737.49/1744.11 c 1744 533 534 1 829.0000 0.0000 -
1746.14/1752.74 c 1753 534 533 1 829.0000 0.0000 -
1751.71/1758.34 c 1758 538 537 1 829.0000 0.0000 -
1773.83/1780.55 c 1781 545 544 1 829.0000 0.0000 -
1780.50/1787.21 c 1787 547 546 1 829.0000 0.0000 -
1786.39/1793.18 c 1793 554 553 1 829.0000 0.0000 -
1793.84/1800.68 c 1801 564 563 1 829.0000 0.0000 -
1798.92/1805.75 c 1806 567 566 1 829.0000 0.0000 -
1808.38/1815.25 c 1815 569 568 1 829.0000 0.0000 -
1813.95/1820.83 c 1821 572 571 1 829.0000 0.0000 -
1831.38/1838.34 c 1838 573 572 1 829.0000 0.0000 -
1837.56/1844.55 c 1845 574 573 1 829.0000 0.0000 -
1844.43/1851.43 c 1851 576 575 1 829.0000 0.0000 -
1850.51/1857.51 c 1858 579 578 1 829.0000 0.0000 -
1857.28/1864.32 c 1864 582 581 1 829.0000 0.0000 -
1863.07/1870.18 c 1870 585 584 1 829.0000 0.0000 -
1872.11/1879.25 c 1879 587 586 1 829.0000 0.0000 -
1878.90/1886.03 c 1886 592 591 1 829.0000 0.0000 -
1884.16/1891.31 c 1891 597 596 1 829.0000 0.0000 -
1890.54/1897.79 c 1898 600 599 1 829.0000 0.0000 -
1950.09/1957.58 c 1958 601 600 1 829.0000 0.0000 -
1962.73/1970.20 c 1970 602 601 1 829.0000 0.0000 -
1975.18/1982.71 c 1983 603 602 1 829.0000 0.0000 -
2052.75/2060.66 c 2061 604 603 1 829.0000 0.0000 -
2085.71/2093.71 c 2094 605 604 1 829.0000 0.0000 -
2118.88/2127.10 c 2127 606 605 1 829.0000 0.0000 -
2142.37/2150.69 c 2151 607 606 1 829.0000 0.0000 -
2165.57/2173.93 c 2174 608 607 1 829.0000 0.0000 -
2180.21/2188.62 c 2189 609 608 1 829.0000 0.0000 -
2192.67/2201.15 c 2201 610 609 1 829.0000 0.0000 -
2200.73/2209.22 c 2209 611 610 1 829.0000 0.0000 -
2212.18/2220.77 c 2221 612 611 1 829.0000 0.0000 -
2219.84/2228.41 c 2228 613 612 1 829.0000 0.0000 -
2347.41/2356.56 c 2357 615 614 1 829.0000 0.0000 -
2392.01/2401.39 c 2401 616 615 1 829.0000 0.0000 -
2427.15/2436.60 c 2437 617 616 1 829.0000 0.0000 -
2446.97/2456.53 c 2457 618 617 1 829.0000 0.0000 -
2464.78/2474.48 c 2474 619 618 1 829.0000 0.0000 -
2606.48/2616.71 c 2617 620 619 1 829.0000 0.0000 -
2638.24/2648.63 c 2649 621 620 1 829.0000 0.0000 -
2669.40/2679.96 c 2680 622 621 1 829.0000 0.0000 -
2698.08/2708.73 c 2709 623 622 1 829.0000 0.0000 -
2714.21/2724.93 c 2725 624 623 1 829.0000 0.0000 -
2891.36/2902.80 c 2903 625 624 1 829.0000 0.0000 -
2921.04/2932.67 c 2933 626 625 1 829.0000 0.0000 -
2959.38/2971.17 c 2971 627 626 1 829.0000 0.0000 -
2991.52/3003.46 c 3003 628 627 1 829.0000 0.0000 -
3011.16/3023.13 c 3023 629 628 1 829.0000 0.0000 -
3029.66/3041.72 c 3042 630 629 1 829.0000 0.0000 -
3126.94/3139.49 c 3140 631 630 1 829.0000 0.0000 -
3161.20/3173.86 c 3174 632 631 1 829.0000 0.0000 -
3181.51/3194.22 c 3194 633 632 1 829.0000 0.0000 -
3196.85/3209.61 c 3210 634 633 1 829.0000 0.0000 -
3210.31/3223.13 c 3223 635 634 1 829.0000 0.0000 -
3223.84/3236.79 c 3237 636 635 1 829.0000 0.0000 -
3234.89/3247.89 c 3248 637 636 1 829.0000 0.0000 -
3396.11/3409.70 c 3410 638 637 1 829.0000 0.0000 -
3437.73/3451.57 c 3452 639 638 1 829.0000 0.0000 -
3467.31/3481.24 c 3481 640 639 1 829.0000 0.0000 -
3500.76/3514.90 c 3515 641 640 1 829.0000 0.0000 -
3541.58/3555.80 c 3556 642 641 1 829.0000 0.0000 -
3561.09/3575.49 c 3575 643 642 1 829.0000 0.0000 -
3586.39/3600.86 c 3601 643 642 0 829.0000 0.0000 -
3587.29/3601.74 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.29/3601.74 c Total Time : 3601.7500
3587.29/3601.74 c solving : 3601.7500
3587.29/3601.74 c presolving : 1.4825 (included in solving)
3587.29/3601.74 c B&B Tree :
3587.29/3601.74 c nodes (total) : 1
3587.29/3601.74 c Solution :
3587.29/3601.74 c Solutions found : 11
3587.29/3601.74 c Primal Bound : +8.29000000000000e+02
3587.29/3601.74 c Dual Bound : +0.00000000000000e+00
3587.29/3601.74 c Gap : infinite
3587.29/3601.74 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3587.29/3601.78 o 829
3587.29/3601.78 s SATISFIABLE
3587.29/3601.78 v x1800 -x1799 -x1798 -x1797 -x1796 x1795 -x1794 -x1793 -x1792 -x1791 x1790 -x1789 -x1788 -x1787 x1786 -x1785 -x1784 -x1783 -x1782
3587.29/3601.78 v x1781 -x1780 -x1779 x1778 -x1777 x1776 -x1775 -x1774 -x1773 -x1772 x1771 -x1770 -x1769 -x1768 x1767 -x1766 -x1765 x1764 -x1763
3587.29/3601.78 v -x1762 -x1761 -x1760 -x1759 x1758 -x1757 x1756 -x1755 -x1754 -x1753 -x1752 -x1751 x1750 -x1749 x1748 -x1747 -x1746 -x1745
3587.29/3601.78 v -x1744 -x1743 -x1742 x1741 x1740 -x1739 -x1738 -x1737 x1736 -x1735 -x1734 -x1733 -x1732 x1731 -x1730 -x1729 -x1728 -x1727 x1726
3587.29/3601.78 v -x1725 -x1724 -x1723 -x1722 x1721 -x1720 -x1719 -x1718 x1717 x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 x1709 -x1708
3587.29/3601.78 v -x1707 x1706 -x1705 -x1704 -x1703 -x1702 x1701 x1700 -x1699 -x1698 -x1697 x1696 -x1695 -x1694 -x1693 -x1692 x1691 -x1690 -x1689
3587.29/3601.78 v -x1688 -x1687 -x1686 x1685 -x1684 x1683 -x1682 -x1681 x1680 -x1679 -x1678 -x1677 x1676 -x1675 -x1674 -x1673 -x1672 -x1671
3587.29/3601.78 v x1670 -x1669 -x1668 x1667 -x1666 -x1665 -x1664 x1663 -x1662 -x1661 x1660 -x1659 -x1658 -x1657 -x1656 x1655 -x1654 -x1653 -x1652
3587.29/3601.79 v -x1651 x1650 -x1649 -x1648 -x1647 x1646 -x1645 -x1644 x1643 -x1642 -x1641 x1640 -x1639 -x1638 -x1637 -x1636 x1635 -x1634
3587.29/3601.79 v -x1633 -x1632 x1631 -x1630 -x1629 -x1628 -x1627 x1626 -x1625 -x1624 -x1623 x1622 -x1621 -x1620 -x1619 -x1618 x1617 x1616 -x1615
3587.29/3601.79 v -x1614 -x1613 x1612 -x1611 -x1610 -x1609 x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 x1601 x1600 -x1599 -x1598 -x1597
3587.29/3601.79 v x1596 -x1595 -x1594 -x1593 -x1592 -x1591 x1590 -x1589 -x1588 -x1587 x1586 -x1585 -x1584 -x1583 -x1582 x1581 -x1580 -x1579 -x1578
3587.29/3601.79 v x1577 x1576 -x1575 -x1574 -x1573 x1572 -x1571 -x1570 -x1569 -x1568 x1567 -x1566 -x1565 x1564 -x1563 -x1562 -x1561 -x1560
3587.29/3601.79 v -x1559 -x1558 x1557 x1556 -x1555 -x1554 -x1553 x1552 -x1551 -x1550 -x1549 -x1548 -x1547 x1546 -x1545 -x1544 x1543 -x1542 -x1541
3587.29/3601.79 v -x1540 x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533 -x1532 -x1531 x1530 -x1529 -x1528 -x1527 -x1526 x1525 x1524 -x1523 -x1522
3587.29/3601.79 v -x1521 x1520 -x1519 -x1518 -x1517 x1516 -x1515 -x1514 -x1513 x1512 -x1511 -x1510 -x1509 -x1508 -x1507 x1506 -x1505 -x1504
3587.29/3601.79 v -x1503 -x1502 x1501 x1500 -x1499 -x1498 -x1497 x1496 -x1495 -x1494 -x1493 -x1492 x1491 -x1490 -x1489 -x1488 -x1487 x1486 -x1485
3587.29/3601.79 v -x1484 -x1483 x1482 -x1481 x1480 -x1479 -x1478 -x1477 -x1476 -x1475 x1474 -x1473 -x1472 x1471 -x1470 -x1469 -x1468 -x1467
3587.29/3601.79 v x1466 -x1465 -x1464 -x1463 x1462 -x1461 -x1460 -x1459 -x1458 x1457 x1456 -x1455 -x1454 -x1453 -x1452 x1451 -x1450 -x1449 -x1448
3587.29/3601.79 v -x1447 -x1446 x1445 x1444 -x1443 -x1442 -x1441 x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 x1433 -x1432 -x1431 x1430
3587.29/3601.79 v -x1429 -x1428 x1427 -x1426 -x1425 -x1424 -x1423 -x1422 x1421 -x1420 -x1419 -x1418 x1417 x1416 -x1415 -x1414 -x1413 -x1412 x1411
3587.29/3601.79 v -x1410 -x1409 -x1408 x1407 -x1406 -x1405 -x1404 -x1403 x1402 -x1401 -x1400 -x1399 -x1398 x1397 x1396 -x1395 -x1394 -x1393
3587.29/3601.79 v -x1392 -x1391 x1390 -x1389 -x1388 -x1387 -x1386 x1385 -x1384 -x1383 -x1382 x1381 x1380 -x1379 -x1378 -x1377 -x1376 x1375 -x1374
3587.29/3601.79 v -x1373 x1372 -x1371 -x1370 -x1369 -x1368 -x1367 x1366 -x1365 -x1364 -x1363 -x1362 x1361 -x1360 -x1359 -x1358 x1357 x1356
3587.29/3601.79 v -x1355 -x1354 -x1353 -x1352 x1351 -x1350 -x1349 -x1348 -x1347 -x1346 x1345 -x1344 -x1343 -x1342 x1341 -x1340 -x1339 -x1338 x1337
3587.29/3601.79 v x1336 -x1335 -x1334 -x1333 -x1332 x1331 -x1330 -x1329 -x1328 -x1327 x1326 -x1325 x1324 -x1323 -x1322 -x1321 x1320 -x1319
3587.29/3601.79 v -x1318 -x1317 -x1316 x1315 -x1314 -x1313 -x1312 -x1311 -x1310 x1309 -x1308 x1307 -x1306 -x1305 x1304 -x1303 -x1302 -x1301 -x1300
3587.29/3601.79 v x1299 -x1298 -x1297 x1296 -x1295 -x1294 -x1293 x1292 -x1291 -x1290 -x1289 -x1288 x1287 -x1286 -x1285 -x1284 -x1283 -x1282
3587.29/3601.79 v x1281 x1280 -x1279 -x1278 -x1277 -x1276 -x1275 x1274 -x1273 x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 -x1264 -x1263
3587.29/3601.79 v -x1262 x1261 -x1260 x1259 -x1258 -x1257 -x1256 x1255 -x1254 -x1253 -x1252 x1251 -x1250 -x1249 -x1248 -x1247 -x1246 x1245
3587.29/3601.79 v -x1244 x1243 -x1242 -x1241 -x1240 x1239 -x1238 -x1237 x1236 -x1235 -x1234 -x1233 -x1232 x1231 -x1230 -x1229 -x1228 -x1227 x1226
3587.29/3601.79 v -x1225 -x1224 x1223 -x1222 -x1221 -x1220 -x1219 -x1218 x1217 -x1216 -x1215 x1214 -x1213 -x1212 x1211 -x1210 -x1209 -x1208
3587.29/3601.79 v -x1207 x1206 -x1205 -x1204 x1203 -x1202 -x1201 -x1200 x1199 -x1198 -x1197 -x1196 x1195 -x1194 -x1193 -x1192 x1191 -x1190 -x1189
3587.29/3601.79 v -x1188 -x1187 x1186 -x1185 -x1184 -x1183 x1182 -x1181 -x1180 x1179 -x1178 -x1177 x1176 -x1175 -x1174 -x1173 -x1172 -x1171
3587.29/3601.79 v x1170 -x1169 x1168 -x1167 -x1166 -x1165 -x1164 -x1163 x1162 -x1161 -x1160 x1159 -x1158 -x1157 -x1156 -x1155 x1154 -x1153 -x1152
3587.29/3601.79 v -x1151 x1150 -x1149 -x1148 -x1147 x1146 -x1145 -x1144 x1143 -x1142 -x1141 -x1140 x1139 -x1138 -x1137 x1136 -x1135 -x1134
3587.29/3601.79 v -x1133 -x1132 -x1131 x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 x1122 -x1121 -x1120 -x1119 -x1118 x1117 x1116 -x1115
3587.29/3601.79 v -x1114 -x1113 -x1112 x1111 -x1110 -x1109 -x1108 -x1107 x1106 -x1105 -x1104 x1103 -x1102 -x1101 -x1100 x1099 -x1098 -x1097
3587.29/3601.79 v -x1096 x1095 -x1094 -x1093 -x1092 -x1091 -x1090 x1089 -x1088 -x1087 -x1086 x1085 -x1084 -x1083 -x1082 x1081 -x1080 x1079 -x1078
3587.29/3601.79 v -x1077 -x1076 -x1075 x1074 -x1073 -x1072 -x1071 x1070 -x1069 -x1068 -x1067 x1066 -x1065 -x1064 -x1063 -x1062 x1061 x1060 -x1059
3587.29/3601.79 v -x1058 -x1057 -x1056 -x1055 -x1054 x1053 -x1052 x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042 x1041
3587.29/3601.79 v -x1040 -x1039 -x1038 x1037 -x1036 -x1035 x1034 -x1033 -x1032 x1031 -x1030 -x1029 -x1028 -x1027 x1026 -x1025 -x1024 -x1023
3587.29/3601.79 v x1022 -x1021 -x1020 x1019 -x1018 -x1017 -x1016 x1015 -x1014 -x1013 -x1012 x1011 -x1010 -x1009 -x1008 -x1007 x1006 -x1005 -x1004
3587.29/3601.79 v -x1003 -x1002 x1001 -x1000 -x999 -x998 x997 -x996 -x995 -x994 x993 -x992 x991 -x990 -x989 -x988 -x987 -x986 x985 -x984 x983
3587.29/3601.79 v -x982 -x981 -x980 -x979 -x978 x977 -x976 -x975 -x974 x973 x972 -x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 x963 -x962 -x961
3587.29/3601.79 v x960 -x959 -x958 -x957 -x956 -x955 -x954 x953 -x952 -x951 x950 -x949 -x948 x947 -x946 -x945 -x944 -x943 -x942 x941 -x940
3587.29/3601.79 v -x939 x938 -x937 -x936 -x935 -x934 x933 -x932 -x931 x930 -x929 -x928 x927 -x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 x918
3587.29/3601.79 v -x917 -x916 -x915 -x914 x913 x912 -x911 -x910 -x909 -x908 -x907 -x906 x905 -x904 x903 -x902 -x901 -x900 -x899 -x898 x897 x896
3587.29/3601.79 v -x895 -x894 -x893 -x892 -x891 x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 x881 -x880 -x879 -x878 x877 -x876 -x875 -x874
3587.29/3601.79 v x873 -x872 -x871 x870 -x869 -x868 -x867 x866 -x865 -x864 -x863 -x862 x861 -x860 x859 -x858 -x857 x856 -x855 -x854 -x853
3587.29/3601.79 v -x852 -x851 x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 x841 x840 -x839 -x838 -x837 -x836 x835 -x834 -x833 -x832 x831
3587.29/3601.79 v -x830 -x829 -x828 -x827 -x826 x825 -x824 -x823 -x822 x821 -x820 -x819 -x818 x817 -x816 -x815 -x814 x813 -x812 x811 -x810 -x809
3587.29/3601.79 v -x808 -x807 x806 -x805 -x804 x803 -x802 -x801 -x800 x799 -x798 -x797 -x796 -x795 x794 -x793 -x792 -x791 -x790 x789 -x788 -x787
3587.29/3601.79 v -x786 x785 -x784 -x783 x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 x774 -x773 -x772 -x771 -x770 x769 -x768 -x767 x766
3587.29/3601.79 v -x765 -x764 x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 x746 -x745 -x744
3587.29/3601.79 v -x743 x742 -x741 -x740 -x739 x738 -x737 x736 -x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 -x726 x725 -x724 x723 -x722
3587.29/3601.79 v -x721 -x720 x719 -x718 -x717 x716 -x715 -x714 -x713 -x712 -x711 x710 -x709 -x708 -x707 x706 -x705 -x704 -x703 -x702 x701 -x700
3587.29/3601.79 v -x699 x698 -x697 x696 -x695 -x694 -x693 -x692 x691 -x690 -x689 x688 -x687 -x686 -x685 -x684 x683 -x682 -x681 -x680 -x679
3587.29/3601.79 v -x678 x677 x676 -x675 -x674 -x673 -x672 -x671 x670 -x669 x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 x660 -x659 -x658 -x657
3587.29/3601.79 v -x656 x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 x646 -x645 -x644 -x643 x642 -x641 x640 -x639 -x638 -x637 -x636 -x635
3587.29/3601.79 v -x634 x633 -x632 x631 -x630 -x629 -x628 -x627 x626 -x625 x624 -x623 -x622 -x621 -x620 x619 -x618 -x617 -x616 -x615 x614 -x613
3587.29/3601.79 v -x612 x611 -x610 -x609 -x608 -x607 -x606 x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 x597 -x596 -x595 x594 -x593 -x592
3587.29/3601.79 v -x591 -x590 x589 -x588 x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 -x579 -x578 x577 x576 -x575 -x574 -x573 x572 -x571 -x570
3587.29/3601.79 v -x569 -x568 -x567 x566 -x565 -x564 -x563 x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 x554 -x553 -x552 x551 -x550 -x549 -x548
3587.48/3601.99 v -x547 -x546 x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 x537 x536 -x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 -x527
3587.48/3601.99 v -x526 x525 -x524 -x523 -x522 x521 -x520 x519 -x518 -x517 -x516 x515 -x514 -x513 x512 -x511 -x510 -x509 x508 -x507 -x506 -x505
3587.48/3601.99 v x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 x490 -x489 x488 -x487 -x486 -x485 -x484 -x483
3587.48/3601.99 v -x482 x481 -x480 x479 -x478 -x477 -x476 x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 x466 -x465 -x464 -x463 -x462 x461
3587.48/3601.99 v -x460 x459 -x458 -x457 -x456 x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 x447 -x446 -x445 -x444 x443 -x442 -x441 x440 -x439
3587.48/3601.99 v -x438 -x437 -x436 -x435 x434 -x433 -x432 x431 -x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 x418
3587.48/3601.99 v -x417 -x416 -x415 x414 -x413 -x412 -x411 x410 -x409 -x408 x407 -x406 -x405 -x404 -x403 -x402 x401 x400 -x399 -x398 -x397 -x396
3587.48/3601.99 v x395 -x394 -x393 -x392 -x391 x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374
3587.48/3601.99 v x373 -x372 x371 -x370 -x369 -x368 -x367 x366 -x365 -x364 -x363 -x362 x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 x353
3587.48/3601.99 v -x352 -x351 x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 x342 -x341 x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 x331
3587.48/3601.99 v -x330 -x329 -x328 -x327 x326 -x325 -x324 x323 -x322 -x321 -x320 x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 x311 -x310 -x309
3587.48/3601.99 v -x308 -x307 x306 -x305 -x304 -x303 -x302 x301 -x300 x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 x288 -x287
3587.48/3601.99 v -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 x277 -x276 x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 -x266
3587.48/3601.99 v x265 x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 x248 -x247 -x246 -x245 x244
3587.48/3601.99 v -x243 -x242 -x241 -x240 -x239 -x238 x237 x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 x226 -x225 x224 -x223 -x222
3587.48/3601.99 v -x221 -x220 x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 x207 -x206 -x205 -x204 x203 -x202 -x201 -x200
3587.48/3601.99 v -x199 x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 x181 -x180 -x179
3587.48/3601.99 v x178 -x177 -x176 -x175 -x174 x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 x161 -x160 x159 -x158 -x157
3587.48/3601.99 v -x156 -x155 x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 x141 x140 -x139 -x138 -x137 -x136 -x135
3587.48/3601.99 v x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114
3587.48/3601.99 v x113 -x112 x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 x90
3587.48/3601.99 v -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
3587.48/3601.99 v 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
3587.48/3601.99 v -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
3587.48/3601.99 v -x10 x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 x1
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: 64059 MiB (57184 MiB free)
memory of node 1: 64510 MiB (59370 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426853-1720907832/watcher-4426853-1720907832 -o /tmp/evaluation-result-4426853-1720907832/solver-4426853-1720907832 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720905417-719765 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426853-1720907832.wbo -qsol -t 3600 -sth 1
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=722274, runsolver pid=722271
[startup+0.100086 s]*
/proc/loadavg: 4.22 4.14 3.98 5/249 722275
/proc/meminfo: memFree=119329760/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=45300 memory=33028 CPUtime=0.1 cores=0,2
/proc/722274/stat : 722274 (fscip) R 722271 722274 717368 0 -1 4194304 6142 0 0 0 9 1 0 0 20 0 1 0 142942480 46387200 8257 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 11325 8257 2318 3032 0 7725 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45300 KiB
Current children cumulated memory: 33028 KiB
[startup+0.213302 s]*
/proc/loadavg: 4.22 4.14 3.98 5/249 722275
/proc/meminfo: memFree=119299856/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=80484 memory=69148 CPUtime=0.21 cores=0,2
/proc/722274/stat : 722274 (fscip) R 722271 722274 717368 0 -1 4194304 15172 0 0 0 19 2 0 0 20 0 1 0 142942480 82415616 17221 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 20121 17287 2558 3032 0 16521 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 80484 KiB
Current children cumulated memory: 69148 KiB
[startup+0.313214 s]*
/proc/loadavg: 4.22 4.14 3.98 5/249 722275
/proc/meminfo: memFree=119264436/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=114888 memory=101740 CPUtime=0.31 cores=0,2
/proc/722274/stat : 722274 (fscip) R 722271 722274 717368 0 -1 4194304 23309 0 0 0 27 4 0 0 20 0 1 0 142942480 117645312 25435 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 28722 25435 2590 3032 0 25122 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 114888 KiB
Current children cumulated memory: 101740 KiB
[startup+0.700303 s]
/proc/loadavg: 4.22 4.14 3.98 5/249 722275
/proc/meminfo: memFree=119204824/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=200988 memory=184752 CPUtime=0.69 cores=0,2
/proc/722274/stat : 722274 (fscip) R 722271 722274 717368 0 -1 4194304 44025 0 0 0 60 9 0 0 20 0 1 0 142942480 205811712 46188 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 50247 46188 2622 3032 0 46647 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 200988 KiB
Current children cumulated memory: 184752 KiB
[startup+1.50034 s]
/proc/loadavg: 4.22 4.14 3.98 5/249 722275
/proc/meminfo: memFree=119164572/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=215580 memory=196384 CPUtime=1.48 cores=0,2
/proc/722274/stat : 722274 (fscip) R 722271 722274 717368 0 -1 4194304 46977 0 0 0 138 10 0 0 20 0 1 0 142942480 220753920 49096 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 53895 49096 2654 3032 0 50295 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 215580 KiB
Current children cumulated memory: 196384 KiB
[startup+3.10791 s]
/proc/loadavg: 4.20 4.14 3.98 5/251 722277
/proc/meminfo: memFree=118819896/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=684620 memory=540744 CPUtime=3.06 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 143457 0 0 0 277 29 0 0 20 0 3 0 142942480 701050880 135186 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 171155 135186 2718 3032 0 159875 0
[pid=722274/tid=722276] ppid=722271 vsize=684620 memory=198340509722 CPUtime=1.11 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 60234 0 0 0 98 13 0 0 20 0 3 0 142942660 701050880 135186 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=684620 memory=0 CPUtime=0 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 142942706 701050880 135186 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 684620 KiB
Current children cumulated memory: 540744 KiB
[startup+6.30037 s]
/proc/loadavg: 4.20 4.14 3.98 5/251 722277
/proc/meminfo: memFree=118699368/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=817368 memory=660900 CPUtime=6.24 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 206466 0 0 0 588 36 0 0 20 0 3 0 142942480 836984832 165225 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 204342 165225 2814 3032 0 191418 0
[pid=722274/tid=722276] ppid=722271 vsize=817368 memory=199816 CPUtime=4.29 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 123237 0 0 0 409 20 0 0 20 0 3 0 142942660 836984832 165225 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=817368 memory=0 CPUtime=0 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 142942706 836984832 165225 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 817368 KiB
Current children cumulated memory: 660900 KiB
[startup+12.7004 s]
/proc/loadavg: 4.17 4.13 3.98 5/251 722279
/proc/meminfo: memFree=118647900/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=884020 memory=720892 CPUtime=12.64 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 281696 0 0 0 1222 42 0 0 20 0 3 0 142942480 905236480 180223 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 221005 180223 2878 3032 0 210123 0
[pid=722274/tid=722276] ppid=722271 vsize=884020 memory=660900 CPUtime=10.66 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 188739 0 0 0 1041 25 0 0 20 0 3 0 142942660 905236480 180223 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=884020 memory=667372 CPUtime=0 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 142942706 905236480 180223 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 884020 KiB
Current children cumulated memory: 720892 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.13 3.98 5/251 722280
/proc/meminfo: memFree=118628072/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=884020 memory=726776 CPUtime=25.39 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 315567 0 0 0 2494 45 0 0 20 0 3 0 142942480 905236480 181694 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 221005 181694 2878 3032 0 211742 0
[pid=722274/tid=722276] ppid=722271 vsize=884020 memory=0 CPUtime=23.41 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 222595 0 0 0 2313 28 0 0 20 0 3 0 142942660 905236480 181694 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=884020 memory=0 CPUtime=0 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 142942706 905236480 181694 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 884020 KiB
Current children cumulated memory: 726776 KiB
[startup+51.1135 s]
/proc/loadavg: 4.09 4.12 3.98 5/251 722285
/proc/meminfo: memFree=118607176/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=884020 memory=732204 CPUtime=50.88 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 355298 0 0 0 5038 50 0 0 20 0 3 0 142942480 905236480 183051 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 221005 183051 2878 3032 0 213133 0
[pid=722274/tid=722276] ppid=722271 vsize=884020 memory=731616 CPUtime=48.9 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 262307 0 0 0 4857 33 0 0 20 0 3 0 142942660 905236480 183051 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=884020 memory=-6226343498382228331 CPUtime=0 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 142942706 905236480 183051 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 884020 KiB
Current children cumulated memory: 732204 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 3.99 5/252 722463
/proc/meminfo: memFree=118277376/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=1223152 memory=1038012 CPUtime=101.86 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 558469 0 0 0 10115 71 0 0 20 0 3 0 142942480 1252507648 259503 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 305788 259503 2974 3032 0 290431 0
[pid=722274/tid=722276] ppid=722271 vsize=1223152 memory=-6226343498382228331 CPUtime=99.88 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 465460 0 0 0 9934 54 0 0 20 0 3 0 142942660 1252507648 259503 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=1223152 memory=1038008 CPUtime=0 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 142942706 1252507648 259503 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 1223152 KiB
Current children cumulated memory: 1038012 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.00 5/252 722473
/proc/meminfo: memFree=118198540/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=1288688 memory=1102796 CPUtime=161.64 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 729588 0 0 0 16078 86 0 0 20 0 3 0 142942480 1319616512 275699 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 322172 275699 2990 3032 0 314952 0
[pid=722274/tid=722276] ppid=722271 vsize=1288688 memory=6720661060560501867 CPUtime=159.64 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 626834 0 0 0 15896 68 0 0 20 0 3 0 142942660 1319616512 275699 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=1288688 memory=1102796 CPUtime=0 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 76 0 0 0 0 0 0 0 20 0 3 0 142942706 1319616512 275699 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 1288688 KiB
Current children cumulated memory: 1102796 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.00 5/253 722503
/proc/meminfo: memFree=118141660/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=1354224 memory=1145088 CPUtime=221.41 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 841399 0 0 0 22046 95 0 0 20 0 3 0 142942480 1386725376 286272 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 338556 286272 2990 3032 0 327196 0
[pid=722274/tid=722276] ppid=722271 vsize=1354224 memory=1102796 CPUtime=219.39 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 738614 0 0 0 21863 76 0 0 20 0 3 0 142942660 1386725376 286272 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=1354224 memory=1145088 CPUtime=0 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 3 0 142942706 1386725376 286272 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 1354224 KiB
Current children cumulated memory: 1145088 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 4.12 4.01 5/253 722513
/proc/meminfo: memFree=118139124/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=1354224 memory=1147204 CPUtime=281.22 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 957997 0 0 0 28017 105 0 0 20 0 3 0 142942480 1386725376 286801 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
################
# More data... #
################
Current children cumulated memory: 1509256 KiB
[startup+3402.3 s]
/proc/loadavg: 3.21 3.32 3.36 4/240 724486
/proc/meminfo: memFree=93345652/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=1693740 memory=1529616 CPUtime=3388.74 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 2458564 0 0 0 338648 226 0 0 20 0 3 0 142942480 1734389760 382404 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 423435 382404 2990 3032 0 417949 0
[pid=722274/tid=722276] ppid=722271 vsize=1693740 memory=1529448 CPUtime=3386.45 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 2308353 0 0 0 338449 196 0 0 20 0 3 0 142942660 1734389760 382404 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=1693740 memory=1529236 CPUtime=0.06 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 413 0 0 0 2 4 0 0 20 0 3 0 142942706 1734389760 382404 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 3388.74 s
Current children cumulated vsize: 1693740 KiB
Current children cumulated memory: 1529616 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.28 3.34 4/241 724498
/proc/meminfo: memFree=93340584/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=1693740 memory=1529620 CPUtime=3448.48 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 2468151 0 0 0 344621 227 0 0 20 0 3 0 142942480 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 423435 382405 2990 3032 0 417949 0
[pid=722274/tid=722276] ppid=722271 vsize=1693740 memory=1529620 CPUtime=3446.19 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 2317914 0 0 0 344422 197 0 0 20 0 3 0 142942660 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=1693740 memory=11648 CPUtime=0.06 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 419 0 0 0 2 4 0 0 20 0 3 0 142942706 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 3448.48 s
Current children cumulated vsize: 1693740 KiB
Current children cumulated memory: 1529620 KiB
[startup+3522.3 s]
/proc/loadavg: 3.08 3.24 3.32 4/241 724894
/proc/meminfo: memFree=93335308/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=1693740 memory=1529620 CPUtime=3508.22 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 2473926 0 0 0 350594 228 0 0 20 0 3 0 142942480 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 423435 382405 2990 3032 0 417949 0
[pid=722274/tid=722276] ppid=722271 vsize=1693740 memory=1529620 CPUtime=3505.93 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 2323665 0 0 0 350395 198 0 0 20 0 3 0 142942660 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=1693740 memory=1529620 CPUtime=0.06 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 425 0 0 0 2 4 0 0 20 0 3 0 142942706 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 3508.22 s
Current children cumulated vsize: 1693740 KiB
Current children cumulated memory: 1529620 KiB
[startup+3582.3 s]
/proc/loadavg: 3.08 3.21 3.30 4/241 724905
/proc/meminfo: memFree=93332772/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=1693740 memory=1529620 CPUtime=3567.97 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 2481308 0 0 0 356568 229 0 0 20 0 3 0 142942480 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 423435 382405 2990 3032 0 417949 0
[pid=722274/tid=722276] ppid=722271 vsize=1693740 memory=5424 CPUtime=3565.66 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 2331010 0 0 0 356368 198 0 0 20 0 3 0 142942660 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=1693740 memory=35724 CPUtime=0.06 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 427 0 0 0 2 4 0 0 20 0 3 0 142942706 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 3567.97 s
Current children cumulated vsize: 1693740 KiB
Current children cumulated memory: 1529620 KiB
[startup+3602.04 s]
# the end of solver process 722274 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.25 s, system=2.37537 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.08 3.21 3.30 4/241 724905
/proc/meminfo: memFree=93332788/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=1693740 memory=1529620 CPUtime=3569.67 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 2491895 0 0 0 356738 229 0 0 20 0 3 0 142942480 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 423435 382405 2990 3032 0 417949 0
[pid=722274/tid=722276] ppid=722271 vsize=1693740 memory=-6225779448917179236 CPUtime=3567.37 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 2341597 0 0 0 356538 199 0 0 20 0 3 0 142942660 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=1693740 memory=-7450212341081529976 CPUtime=0.06 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 427 0 0 0 2 4 0 0 20 0 3 0 142942706 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 3569.67 s
Current children cumulated vsize: 1693740 KiB
Current children cumulated memory: 1529620 KiB
[startup+3590.4 s]
/proc/loadavg: 3.07 3.20 3.30 4/241 724906
/proc/meminfo: memFree=93332724/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=1693740 memory=1529620 CPUtime=3576.03 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 2493230 0 0 0 357374 229 0 0 20 0 3 0 142942480 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 423435 382405 2990 3032 0 417949 0
[pid=722274/tid=722276] ppid=722271 vsize=1693740 memory=1529620 CPUtime=3573.73 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 2342932 0 0 0 357174 199 0 0 20 0 3 0 142942660 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=1693740 memory=11648 CPUtime=0.06 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 427 0 0 0 2 4 0 0 20 0 3 0 142942706 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 3576.03 s
Current children cumulated vsize: 1693740 KiB
Current children cumulated memory: 1529620 KiB
[startup+3596.8 s]
/proc/loadavg: 3.06 3.20 3.30 4/241 724906
/proc/meminfo: memFree=93332564/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=1693740 memory=1529620 CPUtime=3582.4 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 2503480 0 0 0 358010 230 0 0 20 0 3 0 142942480 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 423435 382405 2990 3032 0 417949 0
[pid=722274/tid=722276] ppid=722271 vsize=1693740 memory=5424 CPUtime=3580.11 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 2353182 0 0 0 357811 200 0 0 20 0 3 0 142942660 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=1693740 memory=1529620 CPUtime=0.06 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 427 0 0 0 2 4 0 0 20 0 3 0 142942706 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 3582.4 s
Current children cumulated vsize: 1693740 KiB
Current children cumulated memory: 1529620 KiB
[startup+3600 s]*
/proc/loadavg: 3.14 3.21 3.30 4/241 724908
/proc/meminfo: memFree=93331572/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=1693740 memory=1529620 CPUtime=3585.6 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 2503625 0 0 0 358330 230 0 0 20 0 3 0 142942480 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 423435 382405 2990 3032 0 417949 0
[pid=722274/tid=722276] ppid=722271 vsize=1693740 memory=-6225779448917179236 CPUtime=3583.3 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 2353586 0 0 0 358130 200 0 0 20 0 3 0 142942660 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=1693740 memory=-7450212341081529976 CPUtime=0.06 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 427 0 0 0 2 4 0 0 20 0 3 0 142942706 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 3585.6 s
Current children cumulated vsize: 1693740 KiB
Current children cumulated memory: 1529620 KiB
[startup+3600.8 s]
/proc/loadavg: 3.14 3.21 3.30 4/241 724908
/proc/meminfo: memFree=93331572/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=1693740 memory=1529620 CPUtime=3586.39 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 2504184 0 0 0 358409 230 0 0 20 0 3 0 142942480 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 423435 382405 2990 3032 0 417949 0
[pid=722274/tid=722276] ppid=722271 vsize=1693740 memory=1529620 CPUtime=3584.09 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 2353886 0 0 0 358209 200 0 0 20 0 3 0 142942660 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=1693740 memory=35724 CPUtime=0.06 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 427 0 0 0 2 4 0 0 20 0 3 0 142942706 1734389760 382405 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 3586.39 s
Current children cumulated vsize: 1693740 KiB
Current children cumulated memory: 1529620 KiB
[startup+3601.6 s]
/proc/loadavg: 3.14 3.21 3.30 4/241 724908
/proc/meminfo: memFree=93405524/131655788 swapFree=131071996/131071996
[pid=722274] ppid=722271 vsize=1619824 memory=1455704 CPUtime=3587.19 cores=0,2
/proc/722274/stat : 722274 (fscip) S 722271 722274 717368 0 -1 1077936128 2521250 0 0 0 358487 232 0 0 20 0 3 0 142942480 1658699776 363926 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
/proc/722274/statm: 404956 363926 2990 3032 0 399470 0
[pid=722274/tid=722276] ppid=722271 vsize=1619824 memory=1529620 CPUtime=3584.88 cores=0,2
/proc/722274/task/722276/stat : 722276 (fscip) R 722271 722274 717368 0 -1 4194368 2370948 0 0 0 358287 201 0 0 20 0 3 0 142942660 1658699776 363926 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
[pid=722274/tid=722277] ppid=722271 vsize=1619824 memory=2620 CPUtime=0.06 cores=0,2
/proc/722274/task/722277/stat : 722277 (fscip) S 722271 722274 717368 0 -1 1077936192 427 0 0 0 2 4 0 0 20 0 3 0 142942706 1658699776 363926 134679101440 4194304 16613245 140729281637856 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43552768 140729281643489 140729281643605 140729281643605 140729281650672 0
Current children cumulated CPU time: 3587.19 s
Current children cumulated vsize: 1619824 KiB
Current children cumulated memory: 1455704 KiB
[startup+3602.01 s]*
/proc/loadavg: 3.13 3.21 3.30 4/240 724908
/proc/meminfo: memFree=93941440/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3602.04
CPU time (s): 3587.62
CPU user time (s): 3585.25
CPU system time (s): 2.37537
CPU usage (%): 99.5997
Max. virtual memory (cumulated for all children) (KiB): 1759276
Max. memory (cumulated for all children) (KiB): 1592052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.25
system time used= 2.37537
maximum resident set size= 1592052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2527939
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4540
involuntary context switches= 25154
# summary of solver processes directly reported to runsolver:
# pid: 722274
# total CPU time (s): 3587.62
# total CPU user time (s): 3585.25
# total CPU system time (s): 2.37537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0908 second user time and 35.1228 second system time
The end
Begin job on nodeC010 at 2024-07-13 23:57:24
IDJOB=4426853
IDBENCH=144113
IDSOLVER=3044
FILE ID=nodeC010/4426853-1720907832
RUNJOBID= nodeC010-1720905417-719765
SLURM_JOB_ID= 7486076
Free space on /tmp= 723688 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-le450-5a-4_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426853-1720907832/watcher-4426853-1720907832 -o /tmp/evaluation-result-4426853-1720907832/solver-4426853-1720907832 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720905417-719765 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426853-1720907832.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f720b4722bfdee79227a462351755e1
RANDOM SEED=1261602581
nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1596.084
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
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 : 0xb00001f
cpu MHz : 3658.690
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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 : 0xb00001f
cpu MHz : 1197.181
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
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 : 0xb00001f
cpu MHz : 1197.324
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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 : 0xb00001f
cpu MHz : 3655.305
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
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 : 0xb00001f
cpu MHz : 3491.754
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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 : 0xb00001f
cpu MHz : 1197.372
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
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 : 0xb00001f
cpu MHz : 1197.346
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 119352032 kB
MemAvailable: 119458028 kB
Buffers: 337972 kB
Cached: 614592 kB
SwapCached: 0 kB
Active: 539368 kB
Inactive: 11240520 kB
Active(anon): 1440 kB
Inactive(anon): 10863584 kB
Active(file): 537928 kB
Inactive(file): 376936 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29028 kB
Writeback: 0 kB
AnonPages: 10826560 kB
Mapped: 136668 kB
Shmem: 37704 kB
KReclaimable: 62324 kB
Slab: 152104 kB
SReclaimable: 62324 kB
SUnreclaim: 89780 kB
KernelStack: 4000 kB
PageTables: 30892 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 5240088 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 46528 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3973120 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 162632 kB
DirectMap2M: 9179136 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723656 MiB
End job on nodeC010 at 2024-07-14 00:57:26