0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0 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)
1.59/1.64 c Default LC presolving (default).
1.59/1.65 c ** Before presolving: virtualMemUsedAtLc = 702802369, getVmSize() = 443617280, SCIPgetMemUsed() = 366032342, SCIPgetMemTotal() = 399588086, SCIPgetMemExternEstim() = 303214283
1.59/1.65 c ** set memory limit for presolving in LC to 8.79588e+12 for SCIP **
9.86/10.00 c ** Estimated virtualMemUsedAtSolver = 881662298, getVmSize() = 1108426752, SCIPgetMemUsed() = 664869037, SCIPgetMemTotal() = 1019279165, SCIPgetMemExternEstim() = 303214283
9.86/10.00 c ** set memory limit for solvers to 4.39802e+12 for each SCIP **
9.86/10.00 c Original Problem :
9.86/10.00 c Problem name : instance-4464463-1722382202
9.86/10.00 c Variables : 12587 (12587 binary, 0 integer, 0 implicit integer, 0 continuous)
9.86/10.00 c Constraints : 283937
9.86/10.00 c Objective sense : minimize
9.86/10.00 c Presolved Problem :
9.86/10.00 c Variables : 12586 (12586 binary, 0 integer, 0 implicit integer, 0 continuous)
9.86/10.00 c Constraints : 280387
9.86/10.00 c Constraints : Number
9.86/10.00 c knapsack : 28351
9.86/10.00 c setppc : 60278
9.86/10.00 c linear : 3
9.86/10.00 c logicor : 191755
9.86/10.00 c ** Instance transfer method used: 0
10.36/10.49 c ** ParaScipInstance copy does not increase the number of variables. **
11.06/11.15 c LC is working with racing ramp-up and with rebuilding tree after racing.
11.06/11.15 c Nodes Active
11.06/11.15 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
380.48/381.67 c 382 2 1 1 - 0.0000 -
386.26/387.49 c 387 5 4 1 - 0.0000 -
392.14/393.38 c 393 7 6 1 - 0.0000 -
398.12/399.35 c 399 8 7 1 - 0.0000 -
406.01/407.26 c 407 12 11 1 - 0.0000 -
420.47/421.77 c 422 15 14 1 - 0.0000 -
444.00/445.32 c 445 16 15 1 - 0.0000 -
471.83/473.22 c 473 22 21 1 - 0.0000 -
477.91/479.32 c 479 29 28 1 - 0.0000 -
504.93/506.49 c 506 42 41 1 - 0.0000 -
517.78/519.32 c 519 44 43 1 - 0.0000 -
529.24/530.83 c 531 51 50 1 - 0.0000 -
535.13/536.73 c 537 53 52 1 - 0.0000 -
569.73/571.49 c 571 58 57 1 - 0.0000 -
575.11/576.82 c 577 62 61 1 - 0.0000 -
580.20/581.93 c 582 65 64 1 - 0.0000 -
589.87/591.67 c 592 71 70 1 - 0.0000 -
594.95/596.74 c 597 74 73 1 - 0.0000 -
608.32/610.15 c 610 78 77 1 - 0.0000 -
616.29/618.16 c 618 82 81 1 - 0.0000 -
622.27/624.16 c 624 87 86 1 - 0.0000 -
627.93/629.81 c 630 92 91 1 - 0.0000 -
658.42/660.43 c 660 94 93 1 - 0.0000 -
674.46/676.55 c 677 98 97 1 - 0.0000 -
790.90/793.31 c 793 100 99 1 - 0.0000 -
801.95/804.49 c 804 103 102 1 - 0.0000 -
810.81/813.36 c 813 106 105 1 - 0.0000 -
829.04/831.60 c 832 108 107 1 - 0.0000 -
835.80/838.41 c 838 110 109 1 - 0.0000 -
874.78/877.54 c 878 112 111 1 - 0.0000 -
896.79/899.64 c 900 117 116 1 - 0.0000 -
903.17/906.09 c 906 122 121 1 - 0.0000 -
911.03/913.92 c 914 124 123 1 - 0.0000 -
917.11/920.10 c 920 127 126 1 - 0.0000 -
934.74/937.74 c 938 130 129 1 - 0.0000 -
948.28/951.34 c 951 131 130 1 - 0.0000 -
958.24/961.34 c 961 134 133 1 - 0.0000 -
964.51/967.62 c 968 138 137 1 - 0.0000 -
993.92/997.19 c 997 140 139 1 - 0.0000 -
1006.27/1009.59 c 1010 144 143 1 - 0.0000 -
1021.32/1024.65 c 1025 146 145 1 - 0.0000 -
1033.58/1036.93 c 1037 149 148 1 - 0.0000 -
1051.22/1054.66 c 1055 152 151 1 - 0.0000 -
1070.46/1073.98 c 1074 154 153 1 - 0.0000 -
1110.11/1113.72 c 1114 156 155 1 - 0.0000 -
1121.87/1125.56 c 1126 160 159 1 - 0.0000 -
1128.24/1132.01 c 1132 164 163 1 - 0.0000 -
1144.19/1148.01 c 1148 166 165 1 - 0.0000 -
1158.63/1162.47 c 1162 168 167 1 - 0.0000 -
1188.74/1192.60 c 1193 173 172 1 - 0.0000 -
1196.70/1200.65 c 1201 176 175 1 - 0.0000 -
1206.27/1210.28 c 1210 183 182 1 - 0.0000 -
1213.85/1217.80 c 1218 187 186 1 - 0.0000 -
1267.26/1271.44 c 1271 188 187 1 - 0.0000 -
1283.51/1287.76 c 1288 190 189 1 - 0.0000 -
1289.09/1293.37 c 1293 193 192 1 - 0.0000 -
1294.17/1298.47 c 1298 197 196 1 - 0.0000 -
1299.86/1304.15 c 1304 208 207 1 - 0.0000 -
1304.93/1309.26 c 1309 212 211 1 - 0.0000 -
1310.61/1314.95 c 1315 214 213 1 - 0.0000 -
1330.76/1335.17 c 1335 219 218 1 - 0.0000 -
1342.40/1346.85 c 1347 220 219 1 - 0.0000 -
1357.75/1362.21 c 1362 224 223 1 - 0.0000 -
1365.53/1370.09 c 1370 231 230 1 - 0.0000 -
1372.29/1376.80 c 1377 234 233 1 - 0.0000 -
1378.37/1382.95 c 1383 242 241 1 - 0.0000 -
1384.84/1389.44 c 1389 247 246 1 - 0.0000 -
1390.92/1395.58 c 1396 251 250 1 - 0.0000 -
1396.21/1400.90 c 1401 258 257 1 - 0.0000 -
1403.08/1407.74 c 1408 264 263 1 - 0.0000 -
1427.00/1431.76 c 1432 272 271 1 - 0.0000 -
1434.39/1439.15 c 1439 277 276 1 - 0.0000 -
1440.55/1445.39 c 1445 283 282 1 - 0.0000 -
1449.24/1454.06 c 1454 284 283 1 - 0.0000 -
1454.81/1459.61 c 1460 286 285 1 - 0.0000 -
1459.89/1464.74 c 1465 290 289 1 - 0.0000 -
1483.04/1487.91 c 1488 292 291 1 - 0.0000 -
1489.13/1494.09 c 1494 298 297 1 - 0.0000 -
1494.31/1499.20 c 1499 302 301 1 - 0.0000 -
1502.78/1507.70 c 1508 307 306 1 - 0.0000 -
1508.66/1513.68 c 1514 312 311 1 - 0.0000 -
1524.31/1529.31 c 1529 314 313 1 - 0.0000 -
1536.09/1541.15 c 1541 316 315 1 - 0.0000 -
1542.07/1547.14 c 1547 321 320 1 - 0.0000 -
1547.34/1552.43 c 1552 324 323 1 - 0.0000 -
1553.21/1558.34 c 1558 329 328 1 - 0.0000 -
1567.57/1572.79 c 1573 333 332 1 - 0.0000 -
1575.04/1580.25 c 1580 341 340 1 - 0.0000 -
1602.35/1607.65 c 1608 342 341 1 - 0.0000 -
1628.37/1633.72 c 1634 346 345 1 - 0.0000 -
1643.72/1649.15 c 1649 349 348 1 - 0.0000 -
2175.80/2182.90 c 2183 352 351 1 - 0.0000 -
2195.83/2202.93 c 2203 357 356 1 - 0.0000 -
2201.41/2208.56 c 2209 362 361 1 - 0.0000 -
2207.79/2214.91 c 2215 366 365 1 - 0.0000 -
2213.67/2220.83 c 2221 371 370 1 - 0.0000 -
2234.59/2241.83 c 2242 372 371 1 - 0.0000 -
2241.37/2248.66 c 2249 380 379 1 - 0.0000 -
2253.54/2260.87 c 2261 382 381 1 - 0.0000 -
2259.32/2266.64 c 2267 386 385 1 - 0.0000 -
2264.71/2272.10 c 2272 393 392 1 - 0.0000 -
2273.78/2281.13 c 2281 397 396 1 - 0.0000 -
2316.92/2324.44 c 2324 400 399 1 - 0.0000 -
2323.80/2331.38 c 2331 402 401 1 - 0.0000 -
2335.16/2342.72 c 2343 404 403 1 - 0.0000 -
2340.56/2348.12 c 2348 407 406 1 - 0.0000 -
2356.00/2363.60 c 2364 410 409 1 - 0.0000 -
2370.94/2378.66 c 2379 416 415 1 - 0.0000 -
2379.92/2387.63 c 2388 420 419 1 - 0.0000 -
2388.78/2396.56 c 2397 422 421 1 - 0.0000 -
2394.16/2401.91 c 2402 423 422 1 - 0.0000 -
2399.44/2407.23 c 2407 425 424 1 - 0.0000 -
2440.14/2448.06 c 2448 426 425 1 - 0.0000 -
2451.40/2459.30 c 2459 430 429 1 - 0.0000 -
2467.27/2475.25 c 2475 432 431 1 - 0.0000 -
2475.93/2483.95 c 2484 440 439 1 - 0.0000 -
2516.69/2524.81 c 2525 442 441 1 - 0.0000 -
2540.21/2548.47 c 2548 445 444 1 - 0.0000 -
2560.35/2568.61 c 2569 448 447 1 - 0.0000 -
2565.94/2574.29 c 2574 450 449 1 - 0.0000 -
2573.11/2581.49 c 2581 453 452 1 - 0.0000 -
2590.25/2598.68 c 2599 455 454 1 - 0.0000 -
2597.03/2605.44 c 2605 459 458 1 - 0.0000 -
2638.79/2647.32 c 2647 463 462 1 - 0.0000 -
2643.97/2652.52 c 2653 467 466 1 - 0.0000 -
2664.71/2673.33 c 2673 472 471 1 - 0.0000 -
2670.28/2678.91 c 2679 474 473 1 - 0.0000 -
2675.57/2684.28 c 2684 478 477 1 - 0.0000 -
2684.14/2692.85 c 2693 482 481 1 - 0.0000 -
2689.22/2697.96 c 2698 486 485 1 - 0.0000 -
2703.57/2712.35 c 2712 488 487 1 - 0.0000 -
2709.54/2718.34 c 2718 495 494 1 - 0.0000 -
2733.38/2742.27 c 2742 502 501 1 - 0.0000 -
2741.94/2750.88 c 2751 507 506 1 - 0.0000 -
2765.08/2774.07 c 2774 512 511 1 - 0.0000 -
2788.30/2797.38 c 2797 516 515 1 - 0.0000 -
2841.24/2850.44 c 2850 522 521 1 - 0.0000 -
2853.70/2862.97 c 2863 527 526 1 - 0.0000 -
2875.84/2885.11 c 2885 532 531 1 - 0.0000 -
2891.18/2900.57 c 2901 536 535 1 - 0.0000 -
2903.94/2913.39 c 2913 540 539 1 - 0.0000 -
2909.52/2918.94 c 2919 545 544 1 - 0.0000 -
2914.61/2924.05 c 2924 550 549 1 - 0.0000 -
2919.98/2929.41 c 2929 552 551 1 - 0.0000 -
2945.99/2955.58 c 2956 556 555 1 - 0.0000 -
2951.17/2960.71 c 2961 563 562 1 - 0.0000 -
2975.90/2985.55 c 2986 564 563 1 - 0.0000 -
2983.49/2993.19 c 2993 568 567 1 - 0.0000 -
2989.26/2998.92 c 2999 572 571 1 - 0.0000 -
2994.84/3004.56 c 3005 579 578 1 - 0.0000 -
2999.92/3009.62 c 3010 584 583 1 - 0.0000 -
3022.05/3031.80 c 3032 589 588 1 - 0.0000 -
3053.05/3062.93 c 3063 595 594 1 - 0.0000 -
3070.50/3080.45 c 3080 598 597 1 - 0.0000 -
3080.36/3090.39 c 3090 600 599 1 - 0.0000 -
3099.12/3109.14 c 3109 602 601 1 - 0.0000 -
3105.99/3116.04 c 3116 603 602 1 - 0.0000 -
3111.66/3121.72 c 3122 611 610 1 - 0.0000 -
3119.74/3129.82 c 3130 616 615 1 - 0.0000 -
3125.22/3135.38 c 3135 619 618 1 - 0.0000 -
3131.71/3141.89 c 3142 622 621 1 - 0.0000 -
3139.59/3149.71 c 3150 625 624 1 - 0.0000 -
3145.57/3155.73 c 3156 629 628 1 - 0.0000 -
3156.85/3167.06 c 3167 630 629 1 - 0.0000 -
3207.12/3217.41 c 3217 633 632 1 - 0.0000 -
3213.50/3223.89 c 3224 637 636 1 - 0.0000 -
3222.28/3232.68 c 3233 639 638 1 - 0.0000 -
3227.37/3237.70 c 3238 642 641 1 - 0.0000 -
3236.76/3247.17 c 3247 645 644 1 - 0.0000 -
3243.53/3253.92 c 3254 651 650 1 - 0.0000 -
3249.31/3259.71 c 3260 657 656 1 - 0.0000 -
3257.79/3268.22 c 3268 658 657 1 - 0.0000 -
3269.76/3280.25 c 3280 662 661 1 - 0.0000 -
3276.04/3286.53 c 3287 665 664 1 - 0.0000 -
3290.31/3300.81 c 3301 668 667 1 - 0.0000 -
3298.09/3308.61 c 3309 672 671 1 - 0.0000 -
3324.92/3335.54 c 3336 676 675 1 - 0.0000 -
3366.23/3376.96 c 3377 682 681 1 - 0.0000 -
3373.50/3384.24 c 3384 687 686 1 - 0.0000 -
3385.29/3396.07 c 3396 692 691 1 - 0.0000 -
3402.53/3413.35 c 3413 695 694 1 - 0.0000 -
3412.92/3423.70 c 3424 700 699 1 - 0.0000 -
3432.37/3443.22 c 3443 706 705 1 - 0.0000 -
3438.45/3449.38 c 3449 712 711 1 - 0.0000 -
3445.43/3456.33 c 3456 717 716 1 - 0.0000 -
3452.42/3463.37 c 3463 724 723 1 - 0.0000 -
3468.19/3479.19 c 3479 725 724 1 - 0.0000 -
3490.14/3501.18 c 3501 728 727 1 - 0.0000 -
3502.40/3513.47 c 3513 732 731 1 - 0.0000 -
3507.48/3518.58 c 3519 740 739 1 - 0.0000 -
3533.94/3545.03 c 3545 742 741 1 - 0.0000 -
3539.61/3550.77 c 3551 749 748 1 - 0.0000 -
3545.50/3556.60 c 3557 756 755 1 - 0.0000 -
3571.34/3582.50 c 3582 762 761 1 - 0.0000 -
3579.61/3590.84 c 3591 772 771 1 - 0.0000 -
3585.70/3596.90 c 3597 781 780 1 - 0.0000 -
3587.30/3598.56 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.30/3598.57 c Total Time : 3598.5600
3587.30/3598.57 c solving : 3598.5600
3587.30/3598.57 c presolving : 8.3510 (included in solving)
3587.30/3598.57 c B&B Tree :
3587.30/3598.57 c nodes (total) : 1
3587.30/3598.57 c Solution :
3587.30/3598.57 c Solutions found : 0
3587.30/3598.57 c Primal Bound : -
3587.30/3598.57 c Dual Bound : +0.00000000000000e+00
3587.30/3598.57 c Gap : -
3587.79/3599.11 s UNKNOWN
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: 64096 MiB (53770 MiB free)
memory of node 1: 64473 MiB (62864 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464463-1722382202/watcher-4464463-1722382202 -o /tmp/evaluation-result-4464463-1722382202/solver-4464463-1722382202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722378594-29038 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464463-1722382202.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=31423, runsolver pid=31420
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 4.14 4.25 4.14 5/248 31424
/proc/meminfo: memFree=119419104/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=37200 memory=25800 CPUtime=0.1 cores=1,3
/proc/31423/stat : 31423 (fscip) R 31420 31423 29026 0 -1 4194304 4306 0 0 0 9 1 0 0 20 0 1 0 4591696 38092800 6450 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 9300 6450 2347 3035 0 5696 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37200 KiB
Current children cumulated memory: 25800 KiB
[startup+0.213035 s]*
/proc/loadavg: 4.14 4.25 4.14 5/248 31424
/proc/meminfo: memFree=119404124/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=50812 memory=39128 CPUtime=0.22 cores=1,3
/proc/31423/stat : 31423 (fscip) R 31420 31423 29026 0 -1 4194304 7653 0 0 0 20 2 0 0 20 0 1 0 4591696 52031488 9782 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 12703 9782 2347 3035 0 9099 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 50812 KiB
Current children cumulated memory: 39128 KiB
[startup+0.313285 s]*
/proc/loadavg: 4.14 4.25 4.14 5/248 31424
/proc/meminfo: memFree=119393860/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=63340 memory=51028 CPUtime=0.31 cores=1,3
/proc/31423/stat : 31423 (fscip) R 31420 31423 29026 0 -1 4194304 10636 0 0 0 29 2 0 0 20 0 1 0 4591696 64860160 12757 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 15835 12757 2347 3035 0 12231 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 63340 KiB
Current children cumulated memory: 51028 KiB
[startup+0.70029 s]
/proc/loadavg: 4.14 4.25 4.14 5/248 31424
/proc/meminfo: memFree=119369864/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=109356 memory=96888 CPUtime=0.68 cores=1,3
/proc/31423/stat : 31423 (fscip) R 31420 31423 29026 0 -1 4194304 22129 0 0 0 63 5 0 0 20 0 1 0 4591696 111980544 24222 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 27339 24222 2347 3035 0 23735 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109356 KiB
Current children cumulated memory: 96888 KiB
[startup+1.50032 s]
/proc/loadavg: 4.14 4.25 4.14 5/248 31424
/proc/meminfo: memFree=119292760/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=346512 memory=334656 CPUtime=1.48 cores=1,3
/proc/31423/stat : 31423 (fscip) R 31420 31423 29026 0 -1 4194304 81326 0 0 0 132 16 0 0 20 0 1 0 4591696 354828288 83664 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 86628 83664 2539 3035 0 83024 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 346512 KiB
Current children cumulated memory: 334656 KiB
[startup+3.11336 s]
/proc/loadavg: 4.21 4.26 4.14 5/246 31446
/proc/meminfo: memFree=118787300/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=669872 memory=646828 CPUtime=3.1 cores=1,3
/proc/31423/stat : 31423 (fscip) R 31420 31423 29026 0 -1 4194304 123922 0 0 0 282 28 0 0 20 0 1 0 4591696 685948928 161707 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 167468 161707 2678 3035 0 163864 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 669872 KiB
Current children cumulated memory: 646828 KiB
[startup+6.30031 s]
/proc/loadavg: 4.21 4.26 4.14 5/250 31457
/proc/meminfo: memFree=118409088/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=649184 memory=627820 CPUtime=6.27 cores=1,3
/proc/31423/stat : 31423 (fscip) R 31420 31423 29026 0 -1 4194304 156996 0 0 0 593 34 0 0 20 0 1 0 4591696 664764416 156955 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 162296 156955 2758 3035 0 158692 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 649184 KiB
Current children cumulated memory: 627820 KiB
[startup+12.7003 s]
/proc/loadavg: 4.19 4.26 4.14 5/252 31461
/proc/meminfo: memFree=115919464/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=1670004 memory=1481900 CPUtime=12.64 cores=1,3
/proc/31423/stat : 31423 (fscip) S 31420 31423 29026 0 -1 1077936128 309827 0 0 0 1194 70 0 0 20 0 3 0 4591696 1710084096 370475 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 417501 370475 2790 3035 0 400175 0
[pid=31423/tid=31458] ppid=31420 vsize=1670004 memory=132 CPUtime=2.18 cores=1,3
/proc/31423/task/31458/stat : 31458 (fscip) R 31420 31423 29026 0 -1 4194368 102192 0 0 0 195 23 0 0 20 0 3 0 4592696 1710084096 370475 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
[pid=31423/tid=31459] ppid=31420 vsize=1670004 memory=281368139642048 CPUtime=0 cores=1,3
/proc/31423/task/31459/stat : 31459 (fscip) S 31420 31423 29026 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4592811 1710084096 370475 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1670004 KiB
Current children cumulated memory: 1481900 KiB
[startup+25.5004 s]
/proc/loadavg: 4.15 4.24 4.14 5/252 31463
/proc/meminfo: memFree=109601092/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=2492604 memory=2303836 CPUtime=25.41 cores=1,3
/proc/31423/stat : 31423 (fscip) S 31420 31423 29026 0 -1 1077936128 417080 0 0 0 2442 99 0 0 20 0 3 0 4591696 2552426496 575959 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 623151 575959 2950 3035 0 613047 0
[pid=31423/tid=31458] ppid=31420 vsize=2492604 memory=2303836 CPUtime=14.95 cores=1,3
/proc/31423/task/31458/stat : 31458 (fscip) R 31420 31423 29026 0 -1 4194368 209440 0 0 0 1442 53 0 0 20 0 3 0 4592696 2552426496 575959 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
[pid=31423/tid=31459] ppid=31420 vsize=2492604 memory=2303772 CPUtime=0 cores=1,3
/proc/31423/task/31459/stat : 31459 (fscip) S 31420 31423 29026 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4592811 2552426496 575959 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2492604 KiB
Current children cumulated memory: 2303836 KiB
[startup+51.1132 s]
/proc/loadavg: 4.24 4.25 4.14 5/252 31466
/proc/meminfo: memFree=103623588/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=2492604 memory=2303836 CPUtime=50.95 cores=1,3
/proc/31423/stat : 31423 (fscip) S 31420 31423 29026 0 -1 1077936128 432787 0 0 0 4993 102 0 0 20 0 3 0 4591696 2552426496 575959 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 623151 575959 2950 3035 0 613047 0
[pid=31423/tid=31458] ppid=31420 vsize=2492604 memory=2303836 CPUtime=40.49 cores=1,3
/proc/31423/task/31458/stat : 31458 (fscip) R 31420 31423 29026 0 -1 4194368 225138 0 0 0 3994 55 0 0 20 0 3 0 4592696 2552426496 575959 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
[pid=31423/tid=31459] ppid=31420 vsize=2492604 memory=12360 CPUtime=0 cores=1,3
/proc/31423/task/31459/stat : 31459 (fscip) S 31420 31423 29026 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4592811 2552426496 575959 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2492604 KiB
Current children cumulated memory: 2303836 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.25 4.15 5/252 31476
/proc/meminfo: memFree=103597708/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=2587480 memory=2341468 CPUtime=102 cores=1,3
/proc/31423/stat : 31423 (fscip) S 31420 31423 29026 0 -1 1077936128 578570 0 0 0 10087 113 0 0 20 0 3 0 4591696 2649579520 585367 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 646870 585367 2950 3035 0 637110 0
[pid=31423/tid=31458] ppid=31420 vsize=2587480 memory=2341468 CPUtime=91.53 cores=1,3
/proc/31423/task/31458/stat : 31458 (fscip) R 31420 31423 29026 0 -1 4194368 370911 0 0 0 9087 66 0 0 20 0 3 0 4592696 2649579520 585367 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
[pid=31423/tid=31459] ppid=31420 vsize=2587480 memory=2341468 CPUtime=0 cores=1,3
/proc/31423/task/31459/stat : 31459 (fscip) S 31420 31423 29026 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4592811 2649579520 585367 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2587480 KiB
Current children cumulated memory: 2341468 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.21 4.14 5/252 31487
/proc/meminfo: memFree=103575664/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=2613768 memory=2341480 CPUtime=161.83 cores=1,3
/proc/31423/stat : 31423 (fscip) S 31420 31423 29026 0 -1 1077936128 655940 0 0 0 16064 119 0 0 20 0 3 0 4591696 2676498432 585370 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 653442 585370 2950 3035 0 643682 0
[pid=31423/tid=31458] ppid=31420 vsize=2613768 memory=2341468 CPUtime=151.36 cores=1,3
/proc/31423/task/31458/stat : 31458 (fscip) R 31420 31423 29026 0 -1 4194368 448274 0 0 0 15064 72 0 0 20 0 3 0 4592696 2676498432 585370 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
[pid=31423/tid=31459] ppid=31420 vsize=2613768 memory=26188 CPUtime=0 cores=1,3
/proc/31423/task/31459/stat : 31459 (fscip) S 31420 31423 29026 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4592811 2676498432 585370 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2613768 KiB
Current children cumulated memory: 2341480 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.19 4.13 5/252 31497
/proc/meminfo: memFree=103545648/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=2613768 memory=2341480 CPUtime=221.66 cores=1,3
/proc/31423/stat : 31423 (fscip) S 31420 31423 29026 0 -1 1077936128 680854 0 0 0 22043 123 0 0 20 0 3 0 4591696 2676498432 585370 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 653442 585370 2950 3035 0 643682 0
[pid=31423/tid=31458] ppid=31420 vsize=2613768 memory=2341480 CPUtime=211.19 cores=1,3
/proc/31423/task/31458/stat : 31458 (fscip) R 31420 31423 29026 0 -1 4194368 473181 0 0 0 21044 75 0 0 20 0 3 0 4592696 2676498432 585370 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
[pid=31423/tid=31459] ppid=31420 vsize=2613768 memory=12360 CPUtime=0 cores=1,3
/proc/31423/task/31459/stat : 31459 (fscip) S 31420 31423 29026 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 4592811 2676498432 585370 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 2613768 KiB
Current children cumulated memory: 2341480 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/252 31507
/proc/meminfo: memFree=95824336/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=2640060 memory=2341940 CPUtime=281.48 cores=1,3
/proc/31423/stat : 31423 (fscip) S 31420 31423 29026 0 -1 1077936128 754196 0 0 0 28019 129 0 0 20 0 3 0 4591696 2703421440 585485 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 660015 585485 2950 3035 0 650255 0
[pid=31423/tid=31458] ppid=31420 vsize=2640060 memory=12132 CPUtime=271.01 cores=1,3
/proc/31423/task/31458/stat : 31458 (fscip) R 31420 31423 29026 0 -1 4194368 546517 0 0 0 27019 82 0 0 20 0 3 0 4592696 2703421440 585485 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
[pid=31423/tid=31459] ppid=31420 vsize=2640060 memory=12132 CPUtime=0 cores=1,3
/proc/31423/task/31459/stat : 31459 (fscip) S 31420 31423 29026 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 4592811 2703421440 585485 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
Current children cumulated CPU time: 281.48 s
################
# More data... #
################
Current children cumulated vsize: 4290552 KiB
Current children cumulated memory: 3091816 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/252 33206
/proc/meminfo: memFree=105126520/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=4290552 memory=3091816 CPUtime=3391.56 cores=1,3
/proc/31423/stat : 31423 (fscip) S 31420 31423 29026 0 -1 1077936128 2869959 0 0 0 338870 286 0 0 20 0 3 0 4591696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 1072638 772954 3030 3035 0 1061274 0
[pid=31423/tid=31458] ppid=31420 vsize=4290552 memory=3091816 CPUtime=3380.99 cores=1,3
/proc/31423/task/31458/stat : 31458 (fscip) R 31420 31423 29026 0 -1 4194368 2660384 0 0 0 337866 233 0 0 20 0 3 0 4592696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
[pid=31423/tid=31459] ppid=31420 vsize=4290552 memory=3091816 CPUtime=0.06 cores=1,3
/proc/31423/task/31459/stat : 31459 (fscip) S 31420 31423 29026 0 -1 1077936192 466 0 0 0 1 5 0 0 20 0 3 0 4592811 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
Current children cumulated CPU time: 3391.56 s
Current children cumulated vsize: 4290552 KiB
Current children cumulated memory: 3091816 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/252 33216
/proc/meminfo: memFree=105024768/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=4290552 memory=3091816 CPUtime=3451.42 cores=1,3
/proc/31423/stat : 31423 (fscip) S 31420 31423 29026 0 -1 1077936128 2875817 0 0 0 344855 287 0 0 20 0 3 0 4591696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 1072638 772954 3030 3035 0 1061274 0
[pid=31423/tid=31458] ppid=31420 vsize=4290552 memory=3091816 CPUtime=3440.84 cores=1,3
/proc/31423/task/31458/stat : 31458 (fscip) R 31420 31423 29026 0 -1 4194368 2666194 0 0 0 343851 233 0 0 20 0 3 0 4592696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
[pid=31423/tid=31459] ppid=31420 vsize=4290552 memory=12132 CPUtime=0.06 cores=1,3
/proc/31423/task/31459/stat : 31459 (fscip) S 31420 31423 29026 0 -1 1077936192 473 0 0 0 1 5 0 0 20 0 3 0 4592811 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
Current children cumulated CPU time: 3451.42 s
Current children cumulated vsize: 4290552 KiB
Current children cumulated memory: 3091816 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/252 33396
/proc/meminfo: memFree=105016712/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=4290552 memory=3091816 CPUtime=3511.27 cores=1,3
/proc/31423/stat : 31423 (fscip) S 31420 31423 29026 0 -1 1077936128 2880172 0 0 0 350840 287 0 0 20 0 3 0 4591696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 1072638 772954 3030 3035 0 1061274 0
[pid=31423/tid=31458] ppid=31420 vsize=4290552 memory=3091816 CPUtime=3500.7 cores=1,3
/proc/31423/task/31458/stat : 31458 (fscip) R 31420 31423 29026 0 -1 4194368 2670478 0 0 0 349836 234 0 0 20 0 3 0 4592696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
[pid=31423/tid=31459] ppid=31420 vsize=4290552 memory=3091816 CPUtime=0.06 cores=1,3
/proc/31423/task/31459/stat : 31459 (fscip) S 31420 31423 29026 0 -1 1077936192 483 0 0 0 1 5 0 0 20 0 3 0 4592811 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
Current children cumulated CPU time: 3511.27 s
Current children cumulated vsize: 4290552 KiB
Current children cumulated memory: 3091816 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.16 4.16 5/252 33408
/proc/meminfo: memFree=105005804/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=4290552 memory=3091816 CPUtime=3571.14 cores=1,3
/proc/31423/stat : 31423 (fscip) S 31420 31423 29026 0 -1 1077936128 2885342 0 0 0 356825 289 0 0 20 0 3 0 4591696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 1072638 772954 3030 3035 0 1061274 0
[pid=31423/tid=31458] ppid=31420 vsize=4290552 memory=3091816 CPUtime=3560.55 cores=1,3
/proc/31423/task/31458/stat : 31458 (fscip) R 31420 31423 29026 0 -1 4194368 2675629 0 0 0 355821 234 0 0 20 0 3 0 4592696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
[pid=31423/tid=31459] ppid=31420 vsize=4290552 memory=3091816 CPUtime=0.06 cores=1,3
/proc/31423/task/31459/stat : 31459 (fscip) S 31420 31423 29026 0 -1 1077936192 490 0 0 0 1 5 0 0 20 0 3 0 4592811 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
Current children cumulated CPU time: 3571.14 s
Current children cumulated vsize: 4290552 KiB
Current children cumulated memory: 3091816 KiB
[startup+3599.13 s]
# the end of solver process 31423 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.98 s, system=2.94153 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.21 4.16 4.16 5/252 33408
/proc/meminfo: memFree=105005760/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=4290552 memory=3091816 CPUtime=3572.84 cores=1,3
/proc/31423/stat : 31423 (fscip) S 31420 31423 29026 0 -1 1077936128 2886284 0 0 0 356995 289 0 0 20 0 3 0 4591696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 1072638 772954 3030 3035 0 1061274 0
[pid=31423/tid=31458] ppid=31420 vsize=4290552 memory=11568 CPUtime=3562.27 cores=1,3
/proc/31423/task/31458/stat : 31458 (fscip) R 31420 31423 29026 0 -1 4194368 2676558 0 0 0 355992 235 0 0 20 0 3 0 4592696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
[pid=31423/tid=31459] ppid=31420 vsize=4290552 memory=11704 CPUtime=0.06 cores=1,3
/proc/31423/task/31459/stat : 31459 (fscip) S 31420 31423 29026 0 -1 1077936192 490 0 0 0 1 5 0 0 20 0 3 0 4592811 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 4290552 KiB
Current children cumulated memory: 3091816 KiB
[startup+3590.4 s]
/proc/loadavg: 4.19 4.15 4.16 5/252 33408
/proc/meminfo: memFree=105005236/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=4290552 memory=3091816 CPUtime=3579.21 cores=1,3
/proc/31423/stat : 31423 (fscip) S 31420 31423 29026 0 -1 1077936128 2886517 0 0 0 357632 289 0 0 20 0 3 0 4591696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 1072638 772954 3030 3035 0 1061274 0
[pid=31423/tid=31458] ppid=31420 vsize=4290552 memory=3091816 CPUtime=3568.64 cores=1,3
/proc/31423/task/31458/stat : 31458 (fscip) R 31420 31423 29026 0 -1 4194368 2676791 0 0 0 356629 235 0 0 20 0 3 0 4592696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
[pid=31423/tid=31459] ppid=31420 vsize=4290552 memory=3091816 CPUtime=0.06 cores=1,3
/proc/31423/task/31459/stat : 31459 (fscip) S 31420 31423 29026 0 -1 1077936192 490 0 0 0 1 5 0 0 20 0 3 0 4592811 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
Current children cumulated CPU time: 3579.21 s
Current children cumulated vsize: 4290552 KiB
Current children cumulated memory: 3091816 KiB
[startup+3593.6 s]
/proc/loadavg: 4.17 4.15 4.16 5/250 33455
/proc/meminfo: memFree=105782920/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=4290552 memory=3091816 CPUtime=3582.41 cores=1,3
/proc/31423/stat : 31423 (fscip) S 31420 31423 29026 0 -1 1077936128 2887431 0 0 0 357952 289 0 0 20 0 3 0 4591696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 1072638 772954 3030 3035 0 1061274 0
[pid=31423/tid=31458] ppid=31420 vsize=4290552 memory=-7380110630961899134 CPUtime=3571.83 cores=1,3
/proc/31423/task/31458/stat : 31458 (fscip) R 31420 31423 29026 0 -1 4194368 2677705 0 0 0 356948 235 0 0 20 0 3 0 4592696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
[pid=31423/tid=31459] ppid=31420 vsize=4290552 memory=3091816 CPUtime=0.06 cores=1,3
/proc/31423/task/31459/stat : 31459 (fscip) S 31420 31423 29026 0 -1 1077936192 490 0 0 0 1 5 0 0 20 0 3 0 4592811 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
Current children cumulated CPU time: 3582.41 s
Current children cumulated vsize: 4290552 KiB
Current children cumulated memory: 3091816 KiB
[startup+3596.8 s]
/proc/loadavg: 4.17 4.15 4.16 5/252 33457
/proc/meminfo: memFree=105678556/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=4290552 memory=3091816 CPUtime=3585.6 cores=1,3
/proc/31423/stat : 31423 (fscip) S 31420 31423 29026 0 -1 1077936128 2887706 0 0 0 358271 289 0 0 20 0 3 0 4591696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 1072638 772954 3030 3035 0 1061274 0
[pid=31423/tid=31458] ppid=31420 vsize=4290552 memory=3091816 CPUtime=3575.02 cores=1,3
/proc/31423/task/31458/stat : 31458 (fscip) R 31420 31423 29026 0 -1 4194368 2677975 0 0 0 357267 235 0 0 20 0 3 0 4592696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
[pid=31423/tid=31459] ppid=31420 vsize=4290552 memory=12132 CPUtime=0.06 cores=1,3
/proc/31423/task/31459/stat : 31459 (fscip) S 31420 31423 29026 0 -1 1077936192 490 0 0 0 1 5 0 0 20 0 3 0 4592811 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
Current children cumulated CPU time: 3585.6 s
Current children cumulated vsize: 4290552 KiB
Current children cumulated memory: 3091816 KiB
[startup+3598.4 s]
/proc/loadavg: 4.16 4.15 4.16 5/252 33457
/proc/meminfo: memFree=105621068/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=4290552 memory=3091816 CPUtime=3587.19 cores=1,3
/proc/31423/stat : 31423 (fscip) S 31420 31423 29026 0 -1 1077936128 2888895 0 0 0 358430 289 0 0 20 0 3 0 4591696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 1072638 772954 3030 3035 0 1061274 0
[pid=31423/tid=31458] ppid=31420 vsize=4290552 memory=12132 CPUtime=3576.61 cores=1,3
/proc/31423/task/31458/stat : 31458 (fscip) R 31420 31423 29026 0 -1 4194368 2679160 0 0 0 357426 235 0 0 20 0 3 0 4592696 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
[pid=31423/tid=31459] ppid=31420 vsize=4290552 memory=12576 CPUtime=0.06 cores=1,3
/proc/31423/task/31459/stat : 31459 (fscip) S 31420 31423 29026 0 -1 1077936192 490 0 0 0 1 5 0 0 20 0 3 0 4592811 4393525248 772954 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
Current children cumulated CPU time: 3587.19 s
Current children cumulated vsize: 4290552 KiB
Current children cumulated memory: 3091816 KiB
[startup+3598.8 s]
/proc/loadavg: 4.16 4.15 4.16 5/252 33457
/proc/meminfo: memFree=105621068/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=2655904 memory=2481336 CPUtime=3587.6 cores=1,3
/proc/31423/stat : 31423 (fscip) R 31420 31423 29026 0 -1 4194304 2891969 0 0 0 358469 291 0 0 20 0 1 0 4591696 2719645696 620334 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 663976 620334 3030 3035 0 653291 0
Current children cumulated CPU time: 3587.6 s
Current children cumulated vsize: 2655904 KiB
Current children cumulated memory: 2481336 KiB
[startup+3599 s]*
/proc/loadavg: 4.16 4.15 4.16 6/251 33460
/proc/meminfo: memFree=106210420/131655788 swapFree=131071216/131071996
[pid=31423] ppid=31420 vsize=2639340 memory=2465180 CPUtime=3587.79 cores=1,3
/proc/31423/stat : 31423 (fscip) R 31420 31423 29026 0 -1 4194304 2893307 0 0 0 358488 291 0 0 20 0 1 0 4591696 2702684160 616295 134679101440 4194304 16623229 140735068246672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24371200 140735068251158 140735068251274 140735068251274 140735068258288 0
/proc/31423/statm: 659835 616295 3030 3035 0 649150 0
Current children cumulated CPU time: 3587.79 s
Current children cumulated vsize: 2639340 KiB
Current children cumulated memory: 2465180 KiB
Child status: 0
Real time (s): 3599.13
CPU time (s): 3587.92
CPU user time (s): 3584.98
CPU system time (s): 2.94153
CPU usage (%): 99.6885
Max. virtual memory (cumulated for all children) (KiB): 4356088
Max. memory (cumulated for all children) (KiB): 3113720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.98
system time used= 2.94153
maximum resident set size= 3113720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2903366
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= 4629
involuntary context switches= 1320
# summary of solver processes directly reported to runsolver:
# pid: 31423
# total CPU time (s): 3587.92
# total CPU user time (s): 3584.98
# total CPU system time (s): 2.94153
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.414 second user time and 37.3356 second system time
The end
Begin job on nodeC003 at 2024-07-31 01:30:03
IDJOB=4464463
IDBENCH=155441
IDSOLVER=3092
FILE ID=nodeC003/4464463-1722382202
RUNJOBID= nodeC003-1722378594-29038
SLURM_JOB_ID= 8249833
Free space on /tmp= 723620 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-60.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464463-1722382202/watcher-4464463-1722382202 -o /tmp/evaluation-result-4464463-1722382202/solver-4464463-1722382202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722378594-29038 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464463-1722382202.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0cc29dda69c4373ab2687cf37dcdce8e
RANDOM SEED=99795441
nodeC003.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 : 3672.358
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.52
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 : 1271.366
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.40
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.356
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.52
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.180
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.40
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 : 3672.005
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.52
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 : 3665.443
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.40
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.222
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.52
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.227
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.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 119432796 kB
MemAvailable: 129742492 kB
Buffers: 89212 kB
Cached: 11046596 kB
SwapCached: 16 kB
Active: 341312 kB
Inactive: 11431372 kB
Active(anon): 1448 kB
Inactive(anon): 656580 kB
Active(file): 339864 kB
Inactive(file): 10774792 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 97736 kB
Writeback: 4 kB
AnonPages: 636912 kB
Mapped: 112088 kB
Shmem: 21156 kB
KReclaimable: 70480 kB
Slab: 146492 kB
SReclaimable: 70480 kB
SUnreclaim: 76012 kB
KernelStack: 3984 kB
PageTables: 10388 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 819808 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6816 kB
HardwareCorrupted: 0 kB
AnonHugePages: 239616 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: 277320 kB
DirectMap2M: 6967296 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723620 MiB
End job on nodeC003 at 2024-07-31 02:30:02