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.88/0.91 c Default LC presolving (default).
0.88/0.91 c ** Before presolving: virtualMemUsedAtLc = 702802369, getVmSize() = 443564032, SCIPgetMemUsed() = 366032262, SCIPgetMemTotal() = 399588086, SCIPgetMemExternEstim() = 303214283
0.88/0.91 c ** set memory limit for presolving in LC to 8.79588e+12 for SCIP **
8.76/8.88 c ** Estimated virtualMemUsedAtSolver = 881662298, getVmSize() = 1102757888, SCIPgetMemUsed() = 664868957, SCIPgetMemTotal() = 1019279165, SCIPgetMemExternEstim() = 303214283
8.76/8.88 c ** set memory limit for solvers to 4.39802e+12 for each SCIP **
8.76/8.88 c Original Problem :
8.76/8.88 c Problem name : instance-4446050-1721324844
8.76/8.88 c Variables : 12587 (12587 binary, 0 integer, 0 implicit integer, 0 continuous)
8.76/8.88 c Constraints : 283937
8.76/8.88 c Objective sense : minimize
8.76/8.88 c Presolved Problem :
8.76/8.88 c Variables : 12586 (12586 binary, 0 integer, 0 implicit integer, 0 continuous)
8.76/8.88 c Constraints : 280387
8.76/8.88 c Constraints : Number
8.76/8.88 c knapsack : 28351
8.76/8.88 c setppc : 60278
8.76/8.88 c linear : 3
8.76/8.88 c logicor : 191755
8.76/8.88 c ** Instance transfer method used: 0
9.27/9.34 c ** ParaScipInstance copy does not increase the number of variables. **
9.66/9.70 c LC is working with racing ramp-up and with rebuilding tree after racing.
9.66/9.70 c Nodes Active
9.66/9.70 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
368.39/369.55 c 370 2 1 1 - 0.0000 -
374.37/375.58 c 376 5 4 1 - 0.0000 -
380.56/381.70 c 382 7 6 1 - 0.0000 -
386.74/387.93 c 388 8 7 1 - 0.0000 -
394.72/395.95 c 396 12 11 1 - 0.0000 -
409.37/410.68 c 411 15 14 1 - 0.0000 -
432.91/434.27 c 434 16 15 1 - 0.0000 -
461.14/462.53 c 463 22 21 1 - 0.0000 -
467.11/468.56 c 469 29 28 1 - 0.0000 -
494.04/495.59 c 496 42 41 1 - 0.0000 -
506.52/508.06 c 508 44 43 1 - 0.0000 -
517.08/518.68 c 519 51 50 1 - 0.0000 -
522.86/524.43 c 524 53 52 1 - 0.0000 -
557.67/559.37 c 559 58 57 1 - 0.0000 -
562.95/564.60 c 565 62 61 1 - 0.0000 -
568.14/569.80 c 570 65 64 1 - 0.0000 -
577.70/579.40 c 579 71 70 1 - 0.0000 -
582.69/584.43 c 584 74 73 1 - 0.0000 -
595.56/597.39 c 597 78 77 1 - 0.0000 -
602.74/604.57 c 605 82 81 1 - 0.0000 -
609.51/611.33 c 611 88 87 1 - 0.0000 -
615.69/617.56 c 618 93 92 1 - 0.0000 -
641.92/643.80 c 644 94 93 1 - 0.0000 -
657.29/659.26 c 659 98 97 1 - 0.0000 -
768.31/770.59 c 771 100 99 1 - 0.0000 -
778.49/780.77 c 781 103 102 1 - 0.0000 -
786.17/788.46 c 788 106 105 1 - 0.0000 -
802.42/804.70 c 805 108 107 1 - 0.0000 -
808.71/811.02 c 811 110 109 1 - 0.0000 -
845.43/847.82 c 848 112 111 1 - 0.0000 -
865.27/867.75 c 868 117 116 1 - 0.0000 -
870.86/873.35 c 873 122 121 1 - 0.0000 -
877.55/880.08 c 880 124 123 1 - 0.0000 -
883.02/885.50 c 886 127 126 1 - 0.0000 -
899.39/901.94 c 902 130 129 1 - 0.0000 -
911.85/914.45 c 914 131 130 1 - 0.0000 -
920.63/923.29 c 923 134 133 1 - 0.0000 -
925.72/928.34 c 928 138 137 1 - 0.0000 -
953.15/955.89 c 956 140 139 1 - 0.0000 -
964.93/967.60 c 968 144 143 1 - 0.0000 -
979.19/981.99 c 982 146 145 1 - 0.0000 -
990.77/993.55 c 994 149 148 1 - 0.0000 -
1007.52/1010.36 c 1010 152 151 1 - 0.0000 -
1025.97/1028.81 c 1029 154 153 1 - 0.0000 -
1062.29/1065.23 c 1065 156 155 1 - 0.0000 -
1073.17/1076.11 c 1076 160 159 1 - 0.0000 -
1078.94/1081.91 c 1082 164 163 1 - 0.0000 -
1093.91/1096.96 c 1097 166 165 1 - 0.0000 -
1107.38/1110.46 c 1110 168 167 1 - 0.0000 -
1136.11/1139.28 c 1139 173 172 1 - 0.0000 -
1143.50/1146.65 c 1147 176 175 1 - 0.0000 -
1151.88/1155.05 c 1155 183 182 1 - 0.0000 -
1158.86/1162.02 c 1162 187 186 1 - 0.0000 -
1209.83/1213.11 c 1213 188 187 1 - 0.0000 -
1225.98/1229.32 c 1229 190 189 1 - 0.0000 -
1231.26/1234.61 c 1235 193 192 1 - 0.0000 -
1236.25/1239.63 c 1240 197 196 1 - 0.0000 -
1241.73/1245.10 c 1245 208 207 1 - 0.0000 -
1246.72/1250.12 c 1250 212 211 1 - 0.0000 -
1252.10/1255.52 c 1256 214 213 1 - 0.0000 -
1271.92/1275.42 c 1275 219 218 1 - 0.0000 -
1283.08/1286.60 c 1287 220 219 1 - 0.0000 -
1298.05/1301.68 c 1302 224 223 1 - 0.0000 -
1305.43/1309.08 c 1309 231 230 1 - 0.0000 -
1311.70/1315.34 c 1315 234 233 1 - 0.0000 -
1317.18/1320.88 c 1321 242 241 1 - 0.0000 -
1323.37/1327.02 c 1327 247 246 1 - 0.0000 -
1329.35/1333.03 c 1333 251 250 1 - 0.0000 -
1334.42/1338.18 c 1338 258 257 1 - 0.0000 -
1341.09/1344.84 c 1345 264 263 1 - 0.0000 -
1364.63/1368.41 c 1368 272 271 1 - 0.0000 -
1371.01/1374.85 c 1375 277 276 1 - 0.0000 -
1376.49/1380.32 c 1380 283 282 1 - 0.0000 -
1384.87/1388.74 c 1389 284 283 1 - 0.0000 -
1390.27/1394.18 c 1394 286 285 1 - 0.0000 -
1418.20/1422.14 c 1422 292 291 1 - 0.0000 -
1424.17/1428.15 c 1428 298 297 1 - 0.0000 -
1429.25/1433.21 c 1433 302 301 1 - 0.0000 -
1437.53/1441.53 c 1442 307 306 1 - 0.0000 -
1443.02/1447.10 c 1447 312 311 1 - 0.0000 -
1457.88/1461.93 c 1462 314 313 1 - 0.0000 -
1469.65/1473.73 c 1474 316 315 1 - 0.0000 -
1475.43/1479.55 c 1480 321 320 1 - 0.0000 -
1483.51/1487.69 c 1488 327 326 1 - 0.0000 -
1489.29/1493.44 c 1493 330 329 1 - 0.0000 -
1499.07/1503.28 c 1503 333 332 1 - 0.0000 -
1505.96/1510.11 c 1510 341 340 1 - 0.0000 -
1532.38/1536.62 c 1537 342 341 1 - 0.0000 -
1556.33/1560.69 c 1561 346 345 1 - 0.0000 -
1569.80/1574.18 c 1574 349 348 1 - 0.0000 -
2094.48/2100.21 c 2100 352 351 1 - 0.0000 -
2113.53/2119.32 c 2119 357 356 1 - 0.0000 -
2119.01/2124.83 c 2125 362 361 1 - 0.0000 -
2125.20/2131.10 c 2131 366 365 1 - 0.0000 -
2131.07/2136.95 c 2137 371 370 1 - 0.0000 -
2151.40/2157.36 c 2157 372 371 1 - 0.0000 -
2157.97/2163.94 c 2164 380 379 1 - 0.0000 -
2169.84/2175.87 c 2176 382 381 1 - 0.0000 -
2175.22/2181.24 c 2181 386 385 1 - 0.0000 -
2180.60/2186.67 c 2187 393 392 1 - 0.0000 -
2189.38/2195.43 c 2195 397 396 1 - 0.0000 -
2230.86/2237.04 c 2237 400 399 1 - 0.0000 -
2237.64/2243.80 c 2244 402 401 1 - 0.0000 -
2248.70/2254.93 c 2255 404 403 1 - 0.0000 -
2253.98/2260.22 c 2260 407 406 1 - 0.0000 -
2268.74/2275.08 c 2275 410 409 1 - 0.0000 -
2283.19/2289.58 c 2290 416 415 1 - 0.0000 -
2292.06/2298.44 c 2298 420 419 1 - 0.0000 -
2300.63/2307.09 c 2307 422 421 1 - 0.0000 -
2305.91/2312.31 c 2312 423 422 1 - 0.0000 -
2311.09/2317.54 c 2318 425 424 1 - 0.0000 -
2353.05/2359.65 c 2360 426 425 1 - 0.0000 -
2364.92/2371.57 c 2372 430 429 1 - 0.0000 -
2381.57/2388.29 c 2388 432 431 1 - 0.0000 -
2391.03/2397.76 c 2398 440 439 1 - 0.0000 -
2435.38/2442.24 c 2442 442 441 1 - 0.0000 -
2460.78/2467.76 c 2468 445 444 1 - 0.0000 -
2481.82/2488.86 c 2489 448 447 1 - 0.0000 -
2487.89/2494.98 c 2495 450 449 1 - 0.0000 -
2493.08/2500.14 c 2500 452 451 1 - 0.0000 -
2498.26/2505.32 c 2505 454 453 1 - 0.0000 -
2513.62/2520.71 c 2521 455 454 1 - 0.0000 -
2520.78/2527.95 c 2528 459 458 1 - 0.0000 -
2566.63/2573.94 c 2574 463 462 1 - 0.0000 -
2572.41/2579.71 c 2580 467 466 1 - 0.0000 -
2594.14/2601.54 c 2602 472 471 1 - 0.0000 -
2600.33/2607.78 c 2608 474 473 1 - 0.0000 -
2606.00/2613.43 c 2613 478 477 1 - 0.0000 -
2614.97/2622.46 c 2622 482 481 1 - 0.0000 -
2620.45/2627.96 c 2628 486 485 1 - 0.0000 -
2635.50/2643.00 c 2643 488 487 1 - 0.0000 -
2641.97/2649.52 c 2650 495 494 1 - 0.0000 -
2647.15/2654.79 c 2655 501 500 1 - 0.0000 -
2666.80/2674.44 c 2674 502 501 1 - 0.0000 -
2675.96/2683.67 c 2684 507 506 1 - 0.0000 -
2700.47/2708.22 c 2708 512 511 1 - 0.0000 -
2725.00/2732.85 c 2733 516 515 1 - 0.0000 -
2780.42/2788.49 c 2788 522 521 1 - 0.0000 -
2793.67/2801.75 c 2802 527 526 1 - 0.0000 -
2817.00/2825.18 c 2825 532 531 1 - 0.0000 -
2833.15/2841.37 c 2841 536 535 1 - 0.0000 -
2846.61/2854.87 c 2855 540 539 1 - 0.0000 -
2852.79/2861.02 c 2861 545 544 1 - 0.0000 -
2858.46/2866.70 c 2867 550 549 1 - 0.0000 -
2864.13/2872.42 c 2872 552 551 1 - 0.0000 -
2892.24/2900.60 c 2901 556 555 1 - 0.0000 -
2897.33/2905.79 c 2906 563 562 1 - 0.0000 -
2923.04/2931.57 c 2932 564 563 1 - 0.0000 -
2931.62/2940.14 c 2940 568 567 1 - 0.0000 -
2938.08/2946.62 c 2947 572 571 1 - 0.0000 -
2944.06/2952.60 c 2953 579 578 1 - 0.0000 -
2949.34/2957.96 c 2958 584 583 1 - 0.0000 -
2972.96/2981.61 c 2982 589 588 1 - 0.0000 -
2978.04/2986.71 c 2987 593 592 1 - 0.0000 -
3006.04/3014.81 c 3015 595 594 1 - 0.0000 -
3024.48/3033.31 c 3033 598 597 1 - 0.0000 -
3034.75/3043.65 c 3044 600 599 1 - 0.0000 -
3054.48/3063.46 c 3063 602 601 1 - 0.0000 -
3061.66/3070.66 c 3071 603 602 1 - 0.0000 -
3067.73/3076.77 c 3077 611 610 1 - 0.0000 -
3073.01/3082.01 c 3082 615 614 1 - 0.0000 -
3080.77/3089.84 c 3090 618 617 1 - 0.0000 -
3089.64/3098.74 c 3099 622 621 1 - 0.0000 -
3098.10/3107.25 c 3107 625 624 1 - 0.0000 -
3104.49/3113.69 c 3114 629 628 1 - 0.0000 -
3116.65/3125.80 c 3126 630 629 1 - 0.0000 -
3168.98/3178.38 c 3178 633 632 1 - 0.0000 -
3176.65/3186.01 c 3186 637 636 1 - 0.0000 -
3181.93/3191.31 c 3191 638 637 1 - 0.0000 -
3189.60/3199.08 c 3199 640 639 1 - 0.0000 -
3202.26/3211.77 c 3212 645 644 1 - 0.0000 -
3209.64/3219.13 c 3219 651 650 1 - 0.0000 -
3215.70/3225.28 c 3225 657 656 1 - 0.0000 -
3224.58/3234.15 c 3234 658 657 1 - 0.0000 -
3237.24/3246.84 c 3247 662 661 1 - 0.0000 -
3242.21/3251.86 c 3252 664 663 1 - 0.0000 -
3259.76/3269.46 c 3269 668 667 1 - 0.0000 -
3268.23/3277.96 c 3278 672 671 1 - 0.0000 -
3296.93/3306.74 c 3307 676 675 1 - 0.0000 -
3340.89/3350.86 c 3351 682 681 1 - 0.0000 -
3349.06/3359.01 c 3359 687 686 1 - 0.0000 -
3361.91/3371.95 c 3372 692 691 1 - 0.0000 -
3380.06/3390.13 c 3390 695 694 1 - 0.0000 -
3391.02/3401.18 c 3401 700 699 1 - 0.0000 -
3412.14/3422.32 c 3422 706 705 1 - 0.0000 -
3418.92/3429.16 c 3429 712 711 1 - 0.0000 -
3426.58/3436.85 c 3437 717 716 1 - 0.0000 -
3431.77/3442.05 c 3442 721 720 1 - 0.0000 -
3451.11/3461.48 c 3461 725 724 1 - 0.0000 -
3474.43/3484.82 c 3485 728 727 1 - 0.0000 -
3487.48/3497.99 c 3498 732 731 1 - 0.0000 -
3493.17/3503.63 c 3504 740 739 1 - 0.0000 -
3521.17/3531.72 c 3532 742 741 1 - 0.0000 -
3527.54/3538.14 c 3538 749 748 1 - 0.0000 -
3532.61/3543.28 c 3543 755 754 1 - 0.0000 -
3537.69/3548.31 c 3548 760 759 1 - 0.0000 -
3561.40/3572.10 c 3572 762 761 1 - 0.0000 -
3570.36/3581.19 c 3581 772 771 1 - 0.0000 -
3577.23/3588.04 c 3588 781 780 1 - 0.0000 -
3589.57/3600.48 c 3600 781 780 0 - 0.0000 -
3590.27/3601.16 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.27/3601.16 c Total Time : 3601.1700
3590.27/3601.16 c solving : 3601.1700
3590.27/3601.16 c presolving : 7.9717 (included in solving)
3590.27/3601.16 c B&B Tree :
3590.27/3601.16 c nodes (total) : 1
3590.27/3601.16 c Solution :
3590.27/3601.17 c Solutions found : 0
3590.27/3601.17 c Primal Bound : -
3590.27/3601.17 c Dual Bound : +0.00000000000000e+00
3590.27/3601.17 c Gap : -
3590.76/3601.61 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: 63968 MiB (61752 MiB free)
memory of node 1: 64473 MiB (62453 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446050-1721324844/watcher-4446050-1721324844 -o /tmp/evaluation-result-4446050-1721324844/solver-4446050-1721324844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721317650-1007726 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446050-1721324844.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
Starting watchdog thread
solver pid=1012671, runsolver pid=1012668
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 4.07 4.14 4.15 5/257 1012678
/proc/meminfo: memFree=127095192/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=57796 memory=45812 CPUtime=0.1 cores=1,3
/proc/1012671/stat : 1012671 (fscip) R 1012668 1012671 1007714 0 -1 4194304 9330 0 0 0 8 2 0 0 20 0 1 0 184652489 59183104 11387 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 14449 11387 2318 3032 0 10849 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 57796 KiB
Current children cumulated memory: 45812 KiB
[startup+0.205639 s]*
/proc/loadavg: 4.07 4.14 4.15 5/257 1012678
/proc/meminfo: memFree=127004536/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=92152 memory=76724 CPUtime=0.2 cores=1,3
/proc/1012671/stat : 1012671 (fscip) R 1012668 1012671 1007714 0 -1 4194304 17101 0 0 0 16 4 0 0 20 0 1 0 184652489 94363648 19181 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 23038 19181 2318 3032 0 19438 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 92152 KiB
Current children cumulated memory: 76724 KiB
[startup+0.30561 s]*
/proc/loadavg: 4.07 4.14 4.15 5/257 1012678
/proc/meminfo: memFree=126891240/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=119528 memory=107036 CPUtime=0.3 cores=1,3
/proc/1012671/stat : 1012671 (fscip) R 1012668 1012671 1007714 0 -1 4194304 24665 0 0 0 25 5 0 0 20 0 1 0 184652489 122396672 26759 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 29882 26759 2318 3032 0 26282 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 119528 KiB
Current children cumulated memory: 107036 KiB
[startup+0.700237 s]
/proc/loadavg: 4.07 4.14 4.15 5/257 1012678
/proc/meminfo: memFree=126618656/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=292400 memory=280536 CPUtime=0.69 cores=1,3
/proc/1012671/stat : 1012671 (fscip) R 1012668 1012671 1007714 0 -1 4194304 68781 0 0 0 57 12 0 0 20 0 1 0 184652489 299417600 70134 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 73100 70134 2542 3032 0 69500 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 292400 KiB
Current children cumulated memory: 280536 KiB
[startup+1.50024 s]
/proc/loadavg: 4.07 4.14 4.15 5/257 1012678
/proc/meminfo: memFree=125943244/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=582560 memory=560124 CPUtime=1.48 cores=1,3
/proc/1012671/stat : 1012671 (fscip) R 1012668 1012671 1007714 0 -1 4194304 113591 0 0 0 129 19 0 0 20 0 1 0 184652489 596541440 140031 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 145640 140031 2638 3032 0 142040 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 582560 KiB
Current children cumulated memory: 560124 KiB
[startup+3.10564 s]
/proc/loadavg: 4.07 4.14 4.15 5/257 1012678
/proc/meminfo: memFree=125117684/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=649108 memory=626952 CPUtime=3.09 cores=1,3
/proc/1012671/stat : 1012671 (fscip) R 1012668 1012671 1007714 0 -1 4194304 156894 0 0 0 280 29 0 0 20 0 1 0 184652489 664686592 156738 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 162277 156738 2686 3032 0 158677 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 649108 KiB
Current children cumulated memory: 626952 KiB
[startup+6.30024 s]
/proc/loadavg: 4.07 4.14 4.15 5/257 1012678
/proc/meminfo: memFree=124313724/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=649108 memory=628324 CPUtime=6.28 cores=1,3
/proc/1012671/stat : 1012671 (fscip) R 1012668 1012671 1007714 0 -1 4194304 157235 0 0 0 598 30 0 0 20 0 1 0 184652489 664686592 157081 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 162277 157081 2734 3032 0 158677 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 649108 KiB
Current children cumulated memory: 628324 KiB
[startup+12.7003 s]
/proc/loadavg: 4.06 4.14 4.15 5/259 1012682
/proc/meminfo: memFree=123400112/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=1800816 memory=1657832 CPUtime=12.65 cores=1,3
/proc/1012671/stat : 1012671 (fscip) S 1012668 1012671 1007714 0 -1 1077936128 335463 0 0 0 1200 65 0 0 20 0 3 0 184652489 1844035584 414458 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 450204 414458 2782 3032 0 437293 0
[pid=1012671/tid=1012681] ppid=1012668 vsize=1800816 memory=2657 CPUtime=3.32 cores=1,3
/proc/1012671/task/1012681/stat : 1012681 (fscip) R 1012668 1012671 1007714 0 -1 4194368 126258 0 0 0 312 20 0 0 20 0 3 0 184653378 1844035584 414458 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
[pid=1012671/tid=1012682] ppid=1012668 vsize=1800816 memory=1683976 CPUtime=0 cores=1,3
/proc/1012671/task/1012682/stat : 1012682 (fscip) S 1012668 1012671 1007714 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 184653460 1844035584 414458 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1800816 KiB
Current children cumulated memory: 1657832 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.13 4.15 5/261 1012685
/proc/meminfo: memFree=121310072/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=2492344 memory=2305224 CPUtime=25.42 cores=1,3
/proc/1012671/stat : 1012671 (fscip) S 1012668 1012671 1007714 0 -1 1077936128 423216 0 0 0 2456 86 0 0 20 0 3 0 184652489 2552160256 576306 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 623086 576306 2926 3032 0 612986 0
[pid=1012671/tid=1012681] ppid=1012668 vsize=2492344 memory=2305224 CPUtime=16.09 cores=1,3
/proc/1012671/task/1012681/stat : 1012681 (fscip) R 1012668 1012671 1007714 0 -1 4194368 214007 0 0 0 1568 41 0 0 20 0 3 0 184653378 2552160256 576306 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
[pid=1012671/tid=1012682] ppid=1012668 vsize=2492344 memory=2305160 CPUtime=0 cores=1,3
/proc/1012671/task/1012682/stat : 1012682 (fscip) S 1012668 1012671 1007714 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 184653460 2552160256 576306 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2492344 KiB
Current children cumulated memory: 2305224 KiB
[startup+51.1057 s]
/proc/loadavg: 4.09 4.14 4.15 5/263 1012692
/proc/meminfo: memFree=117593816/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=2539612 memory=2320064 CPUtime=50.95 cores=1,3
/proc/1012671/stat : 1012671 (fscip) S 1012668 1012671 1007714 0 -1 1077936128 499086 0 0 0 5004 91 0 0 20 0 3 0 184652489 2600562688 580016 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 634903 580016 2926 3032 0 624942 0
[pid=1012671/tid=1012681] ppid=1012668 vsize=2539612 memory=2305224 CPUtime=41.64 cores=1,3
/proc/1012671/task/1012681/stat : 1012681 (fscip) R 1012668 1012671 1007714 0 -1 4194368 289867 0 0 0 4117 47 0 0 20 0 3 0 184653378 2600562688 580016 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
[pid=1012671/tid=1012682] ppid=1012668 vsize=2539612 memory=11396 CPUtime=0 cores=1,3
/proc/1012671/task/1012682/stat : 1012682 (fscip) S 1012668 1012671 1007714 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 184653460 2600562688 580016 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2539612 KiB
Current children cumulated memory: 2320064 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/263 1012701
/proc/meminfo: memFree=115226656/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=2587816 memory=2341984 CPUtime=102.02 cores=1,3
/proc/1012671/stat : 1012671 (fscip) S 1012668 1012671 1007714 0 -1 1077936128 581230 0 0 0 10104 98 0 0 20 0 3 0 184652489 2649923584 585496 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 646954 585496 2926 3032 0 636993 0
[pid=1012671/tid=1012681] ppid=1012668 vsize=2587816 memory=2341984 CPUtime=92.7 cores=1,3
/proc/1012671/task/1012681/stat : 1012681 (fscip) R 1012668 1012671 1007714 0 -1 4194368 371999 0 0 0 9217 53 0 0 20 0 3 0 184653378 2649923584 585496 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
[pid=1012671/tid=1012682] ppid=1012668 vsize=2587816 memory=2341984 CPUtime=0 cores=1,3
/proc/1012671/task/1012682/stat : 1012682 (fscip) S 1012668 1012671 1007714 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 184653460 2649923584 585496 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2587816 KiB
Current children cumulated memory: 2341984 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/265 1012715
/proc/meminfo: memFree=115221316/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=2614104 memory=2341988 CPUtime=161.86 cores=1,3
/proc/1012671/stat : 1012671 (fscip) S 1012668 1012671 1007714 0 -1 1077936128 655926 0 0 0 16084 102 0 0 20 0 3 0 184652489 2676842496 585497 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 653526 585497 2926 3032 0 643565 0
[pid=1012671/tid=1012681] ppid=1012668 vsize=2614104 memory=11396 CPUtime=152.53 cores=1,3
/proc/1012671/task/1012681/stat : 1012681 (fscip) R 1012668 1012671 1007714 0 -1 4194368 446686 0 0 0 15196 57 0 0 20 0 3 0 184653378 2676842496 585497 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
[pid=1012671/tid=1012682] ppid=1012668 vsize=2614104 memory=2341988 CPUtime=0 cores=1,3
/proc/1012671/task/1012682/stat : 1012682 (fscip) S 1012668 1012671 1007714 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 184653460 2676842496 585497 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2614104 KiB
Current children cumulated memory: 2341988 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.11 4.14 5/265 1012726
/proc/meminfo: memFree=115011452/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=2614104 memory=2341988 CPUtime=221.67 cores=1,3
/proc/1012671/stat : 1012671 (fscip) S 1012668 1012671 1007714 0 -1 1077936128 676968 0 0 0 22060 107 0 0 20 0 3 0 184652489 2676842496 585497 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 653526 585497 2926 3032 0 643565 0
[pid=1012671/tid=1012681] ppid=1012668 vsize=2614104 memory=2341988 CPUtime=212.34 cores=1,3
/proc/1012671/task/1012681/stat : 1012681 (fscip) R 1012668 1012671 1007714 0 -1 4194368 467719 0 0 0 21172 62 0 0 20 0 3 0 184653378 2676842496 585497 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
[pid=1012671/tid=1012682] ppid=1012668 vsize=2614104 memory=2341988 CPUtime=0 cores=1,3
/proc/1012671/task/1012682/stat : 1012682 (fscip) S 1012668 1012671 1007714 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 184653460 2676842496 585497 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 2614104 KiB
Current children cumulated memory: 2341988 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/265 1012738
/proc/meminfo: memFree=115010404/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=2671072 memory=2342244 CPUtime=281.47 cores=1,3
/proc/1012671/stat : 1012671 (fscip) S 1012668 1012671 1007714 0 -1 1077936128 796086 0 0 0 28033 114 0 0 20 0 3 0 184652489 2735177728 585561 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 667768 585561 2926 3032 0 657807 0
[pid=1012671/tid=1012681] ppid=1012668 vsize=2671072 memory=2342136 CPUtime=272.14 cores=1,3
/proc/1012671/task/1012681/stat : 1012681 (fscip) R 1012668 1012671 1007714 0 -1 4194368 586831 0 0 0 27145 69 0 0 20 0 3 0 184653378 2735177728 585561 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
[pid=1012671/tid=1012682] ppid=1012668 vsize=2671072 memory=2342136 CPUtime=0 cores=1,3
/proc/1012671/task/1012682/stat : 1012682 (fscip) S 1012668 1012671 1007714 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 184653460 2735177728 585561 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 2671072 KiB
################
# More data... #
################
Current children cumulated vsize: 4211432 KiB
Current children cumulated memory: 2936716 KiB
[startup+3402.3 s]
/proc/loadavg: 4.62 4.28 4.16 5/266 1014551
/proc/meminfo: memFree=112051044/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=4211432 memory=2936744 CPUtime=3392.2 cores=1,3
/proc/1012671/stat : 1012671 (fscip) S 1012668 1012671 1007714 0 -1 1077936128 6234790 0 0 0 338765 455 0 0 20 0 3 0 184652489 4312506368 734186 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 1052858 734186 2990 3032 0 1041555 0
[pid=1012671/tid=1012681] ppid=1012668 vsize=4211432 memory=2936716 CPUtime=3382.81 cores=1,3
/proc/1012671/task/1012681/stat : 1012681 (fscip) R 1012668 1012671 1007714 0 -1 4194368 6022869 0 0 0 337875 406 0 0 20 0 3 0 184653378 4312506368 734186 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
[pid=1012671/tid=1012682] ppid=1012668 vsize=4211432 memory=2936716 CPUtime=0.03 cores=1,3
/proc/1012671/task/1012682/stat : 1012682 (fscip) S 1012668 1012671 1007714 0 -1 1077936192 480 0 0 0 1 2 0 0 20 0 3 0 184653460 4312506368 734186 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
Current children cumulated CPU time: 3392.2 s
Current children cumulated vsize: 4211432 KiB
Current children cumulated memory: 2936744 KiB
[startup+3462.3 s]
/proc/loadavg: 4.32 4.25 4.16 5/266 1014561
/proc/meminfo: memFree=112047516/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=4211432 memory=2936844 CPUtime=3452 cores=1,3
/proc/1012671/stat : 1012671 (fscip) S 1012668 1012671 1007714 0 -1 1077936128 6337895 0 0 0 344739 461 0 0 20 0 3 0 184652489 4312506368 734211 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 1052858 734211 2990 3032 0 1041555 0
[pid=1012671/tid=1012681] ppid=1012668 vsize=4211432 memory=2936716 CPUtime=3442.61 cores=1,3
/proc/1012671/task/1012681/stat : 1012681 (fscip) R 1012668 1012671 1007714 0 -1 4194368 6125898 0 0 0 343849 412 0 0 20 0 3 0 184653378 4312506368 734211 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
[pid=1012671/tid=1012682] ppid=1012668 vsize=4211432 memory=2936716 CPUtime=0.04 cores=1,3
/proc/1012671/task/1012682/stat : 1012682 (fscip) S 1012668 1012671 1007714 0 -1 1077936192 490 0 0 0 1 3 0 0 20 0 3 0 184653460 4312506368 734211 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
Current children cumulated CPU time: 3452 s
Current children cumulated vsize: 4211432 KiB
Current children cumulated memory: 2936844 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.22 4.16 5/263 1014571
/proc/meminfo: memFree=112046240/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=4211432 memory=2936856 CPUtime=3511.81 cores=1,3
/proc/1012671/stat : 1012671 (fscip) S 1012668 1012671 1007714 0 -1 1077936128 6434341 0 0 0 350714 467 0 0 20 0 3 0 184652489 4312506368 734214 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 1052858 734214 2990 3032 0 1041555 0
[pid=1012671/tid=1012681] ppid=1012668 vsize=4211432 memory=2936844 CPUtime=3502.41 cores=1,3
/proc/1012671/task/1012681/stat : 1012681 (fscip) R 1012668 1012671 1007714 0 -1 4194368 6222289 0 0 0 349823 418 0 0 20 0 3 0 184653378 4312506368 734214 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
[pid=1012671/tid=1012682] ppid=1012668 vsize=4211432 memory=2936856 CPUtime=0.04 cores=1,3
/proc/1012671/task/1012682/stat : 1012682 (fscip) S 1012668 1012671 1007714 0 -1 1077936192 501 0 0 0 1 3 0 0 20 0 3 0 184653460 4312506368 734214 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 4211432 KiB
Current children cumulated memory: 2936856 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.20 4.15 5/263 1014583
/proc/meminfo: memFree=112041044/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=4211432 memory=2936920 CPUtime=3571.55 cores=1,3
/proc/1012671/stat : 1012671 (fscip) S 1012668 1012671 1007714 0 -1 1077936128 6536472 0 0 0 356681 474 0 0 20 0 3 0 184652489 4312506368 734230 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 1052858 734230 2990 3032 0 1041555 0
[pid=1012671/tid=1012681] ppid=1012668 vsize=4211432 memory=1900 CPUtime=3562.15 cores=1,3
/proc/1012671/task/1012681/stat : 1012681 (fscip) R 1012668 1012671 1007714 0 -1 4194368 6324353 0 0 0 355791 424 0 0 20 0 3 0 184653378 4312506368 734230 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
[pid=1012671/tid=1012682] ppid=1012668 vsize=4211432 memory=-6933350163988323775 CPUtime=0.04 cores=1,3
/proc/1012671/task/1012682/stat : 1012682 (fscip) S 1012668 1012671 1007714 0 -1 1077936192 507 0 0 0 1 3 0 0 20 0 3 0 184653460 4312506368 734230 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
Current children cumulated CPU time: 3571.55 s
Current children cumulated vsize: 4211432 KiB
Current children cumulated memory: 2936920 KiB
[startup+3601.67 s]
# the end of solver process 1012671 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.92 s, system=4.92978 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.20 4.15 5/263 1014583
/proc/meminfo: memFree=112041080/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=4211432 memory=2936920 CPUtime=3573.24 cores=1,3
/proc/1012671/stat : 1012671 (fscip) S 1012668 1012671 1007714 0 -1 1077936128 6565158 0 0 0 356849 475 0 0 20 0 3 0 184652489 4312506368 734230 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 1052858 734230 2990 3032 0 1041555 0
[pid=1012671/tid=1012681] ppid=1012668 vsize=4211432 memory=-7096686500032844137 CPUtime=3563.85 cores=1,3
/proc/1012671/task/1012681/stat : 1012681 (fscip) R 1012668 1012671 1007714 0 -1 4194368 6353039 0 0 0 355959 426 0 0 20 0 3 0 184653378 4312506368 734230 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
[pid=1012671/tid=1012682] ppid=1012668 vsize=4211432 memory=-6933350163988323775 CPUtime=0.04 cores=1,3
/proc/1012671/task/1012682/stat : 1012682 (fscip) S 1012668 1012671 1007714 0 -1 1077936192 507 0 0 0 1 3 0 0 20 0 3 0 184653460 4312506368 734230 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
Current children cumulated CPU time: 3573.24 s
Current children cumulated vsize: 4211432 KiB
Current children cumulated memory: 2936920 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.19 4.15 5/263 1014585
/proc/meminfo: memFree=112040956/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=4211432 memory=2936936 CPUtime=3579.61 cores=1,3
/proc/1012671/stat : 1012671 (fscip) S 1012668 1012671 1007714 0 -1 1077936128 6575693 0 0 0 357485 476 0 0 20 0 3 0 184652489 4312506368 734234 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 1052858 734234 2990 3032 0 1041555 0
[pid=1012671/tid=1012681] ppid=1012668 vsize=4211432 memory=2936928 CPUtime=3570.2 cores=1,3
/proc/1012671/task/1012681/stat : 1012681 (fscip) R 1012668 1012671 1007714 0 -1 4194368 6363557 0 0 0 356594 426 0 0 20 0 3 0 184653378 4312506368 734234 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
[pid=1012671/tid=1012682] ppid=1012668 vsize=4211432 memory=13116 CPUtime=0.04 cores=1,3
/proc/1012671/task/1012682/stat : 1012682 (fscip) S 1012668 1012671 1007714 0 -1 1077936192 507 0 0 0 1 3 0 0 20 0 3 0 184653460 4312506368 734234 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
Current children cumulated CPU time: 3579.61 s
Current children cumulated vsize: 4211432 KiB
Current children cumulated memory: 2936936 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.18 4.15 5/263 1014586
/proc/meminfo: memFree=112041012/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=4211432 memory=2936936 CPUtime=3585.98 cores=1,3
/proc/1012671/stat : 1012671 (fscip) S 1012668 1012671 1007714 0 -1 1077936128 6586158 0 0 0 358122 476 0 0 20 0 3 0 184652489 4312506368 734234 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 1052858 734234 2990 3032 0 1041555 0
[pid=1012671/tid=1012681] ppid=1012668 vsize=4211432 memory=356672 CPUtime=3576.58 cores=1,3
/proc/1012671/task/1012681/stat : 1012681 (fscip) R 1012668 1012671 1007714 0 -1 4194368 6374021 0 0 0 357231 427 0 0 20 0 3 0 184653378 4312506368 734234 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
[pid=1012671/tid=1012682] ppid=1012668 vsize=4211432 memory=2936936 CPUtime=0.04 cores=1,3
/proc/1012671/task/1012682/stat : 1012682 (fscip) S 1012668 1012671 1007714 0 -1 1077936192 508 0 0 0 1 3 0 0 20 0 3 0 184653460 4312506368 734234 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
Current children cumulated CPU time: 3585.98 s
Current children cumulated vsize: 4211432 KiB
Current children cumulated memory: 2936936 KiB
[startup+3600 s]*
/proc/loadavg: 4.10 4.18 4.15 5/263 1014587
/proc/meminfo: memFree=112040812/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=4211432 memory=2936936 CPUtime=3589.17 cores=1,3
/proc/1012671/stat : 1012671 (fscip) S 1012668 1012671 1007714 0 -1 1077936128 6586162 0 0 0 358441 476 0 0 20 0 3 0 184652489 4312506368 734234 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 1052858 734234 2990 3032 0 1041555 0
[pid=1012671/tid=1012681] ppid=1012668 vsize=4211432 memory=5036 CPUtime=3579.78 cores=1,3
/proc/1012671/task/1012681/stat : 1012681 (fscip) R 1012668 1012671 1007714 0 -1 4194368 6374023 0 0 0 357551 427 0 0 20 0 3 0 184653378 4312506368 734234 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
[pid=1012671/tid=1012682] ppid=1012668 vsize=4211432 memory=2402760 CPUtime=0.04 cores=1,3
/proc/1012671/task/1012682/stat : 1012682 (fscip) S 1012668 1012671 1007714 0 -1 1077936192 510 0 0 0 1 3 0 0 20 0 3 0 184653460 4312506368 734234 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
Current children cumulated CPU time: 3589.17 s
Current children cumulated vsize: 4211432 KiB
Current children cumulated memory: 2936936 KiB
[startup+3600.8 s]
/proc/loadavg: 4.10 4.18 4.15 5/263 1014587
/proc/meminfo: memFree=112040812/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=4211432 memory=2936944 CPUtime=3589.97 cores=1,3
/proc/1012671/stat : 1012671 (fscip) S 1012668 1012671 1007714 0 -1 1077936128 6616460 0 0 0 358519 478 0 0 20 0 3 0 184652489 4312506368 734236 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 1052858 734236 2990 3032 0 1041555 0
[pid=1012671/tid=1012681] ppid=1012668 vsize=4211432 memory=13116 CPUtime=3580.56 cores=1,3
/proc/1012671/task/1012681/stat : 1012681 (fscip) R 1012668 1012671 1007714 0 -1 4194368 6404312 0 0 0 357628 428 0 0 20 0 3 0 184653378 4312506368 734236 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
[pid=1012671/tid=1012682] ppid=1012668 vsize=4211432 memory=5464 CPUtime=0.04 cores=1,3
/proc/1012671/task/1012682/stat : 1012682 (fscip) S 1012668 1012671 1007714 0 -1 1077936192 510 0 0 0 1 3 0 0 20 0 3 0 184653460 4312506368 734236 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
Current children cumulated CPU time: 3589.97 s
Current children cumulated vsize: 4211432 KiB
Current children cumulated memory: 2936944 KiB
[startup+3601.2 s]
/proc/loadavg: 4.09 4.18 4.15 4/254 1014595
/proc/meminfo: memFree=116409284/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=2505108 memory=2308680 CPUtime=3590.37 cores=1,3
/proc/1012671/stat : 1012671 (fscip) R 1012668 1012671 1007714 0 -1 4194304 6679731 0 0 0 358556 481 0 0 20 0 1 0 184652489 2565230592 577170 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 626277 577170 2990 3032 0 599115 0
Current children cumulated CPU time: 3590.37 s
Current children cumulated vsize: 2505108 KiB
Current children cumulated memory: 2308680 KiB
[startup+3601.6 s]
/proc/loadavg: 4.09 4.18 4.15 4/254 1014595
/proc/meminfo: memFree=116409284/131524600 swapFree=131071996/131071996
[pid=1012671] ppid=1012668 vsize=2379964 memory=2183944 CPUtime=3590.76 cores=1,3
/proc/1012671/stat : 1012671 (fscip) R 1012668 1012671 1007714 0 -1 4194304 6751128 0 0 0 358590 486 0 0 20 0 1 0 184652489 2437083136 545986 134679101440 4194304 16613245 140736105342784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 32186368 140736105350163 140736105350279 140736105350279 140736105357296 0
/proc/1012671/statm: 594991 545986 2990 3032 0 567829 0
Current children cumulated CPU time: 3590.76 s
Current children cumulated vsize: 2379964 KiB
Current children cumulated memory: 2183944 KiB
Child status: 0
Real time (s): 3601.67
CPU time (s): 3590.85
CPU user time (s): 3585.92
CPU system time (s): 4.92978
CPU usage (%): 99.6994
Max. virtual memory (cumulated for all children) (KiB): 4276968
Max. memory (cumulated for all children) (KiB): 2997656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.92
system time used= 4.92978
maximum resident set size= 2997656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6757498
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= 4557
involuntary context switches= 1801
# summary of solver processes directly reported to runsolver:
# pid: 1012671
# total CPU time (s): 3590.85
# total CPU user time (s): 3585.92
# total CPU system time (s): 4.92978
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.07812 second user time and 16.3172 second system time
The end
Begin job on nodeC030 at 2024-07-18 19:47:37
IDJOB=4446050
IDBENCH=155441
IDSOLVER=3064
FILE ID=nodeC030/4446050-1721324844
RUNJOBID= nodeC030-1721317650-1007726
SLURM_JOB_ID= 7542666
Free space on /tmp= 889956 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4446050-1721324844/watcher-4446050-1721324844 -o /tmp/evaluation-result-4446050-1721324844/solver-4446050-1721324844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721317650-1007726 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446050-1721324844.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0cc29dda69c4373ab2687cf37dcdce8e
RANDOM SEED=428066553
nodeC030.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 : 0xb00002a
cpu MHz : 3600.260
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.277
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.771
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.385
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.215
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3677.950
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3659.585
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.832
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127193312 kB
MemAvailable: 128460380 kB
Buffers: 481344 kB
Cached: 1614424 kB
SwapCached: 0 kB
Active: 1155400 kB
Inactive: 2548312 kB
Active(anon): 1524 kB
Inactive(anon): 1644136 kB
Active(file): 1153876 kB
Inactive(file): 904176 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 154596 kB
Writeback: 24 kB
AnonPages: 1607460 kB
Mapped: 127204 kB
Shmem: 37720 kB
KReclaimable: 97680 kB
Slab: 209900 kB
SReclaimable: 97680 kB
SUnreclaim: 112220 kB
KernelStack: 3968 kB
PageTables: 12356 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1637052 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70016 kB
HardwareCorrupted: 0 kB
AnonHugePages: 917504 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: 234196 kB
DirectMap2M: 18413568 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889932 MiB
End job on nodeC030 at 2024-07-18 20:47:39