0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
13.17/13.25 c [STEP] preprocessing with Papilo
24.04/24.19 c [STEP] solving with SCIP
344.11/345.41 c [STEP] preprocessing done, loading into solver
353.00/354.31 c [STEP] solving
353.00/354.31 c #variables 1960401 #constraints 4896058
353.00/354.34 c SMALL=int, LARGE=long long
353.00/354.35 d SCIPUB 309701530629
353.00/354.39 c bounds - >= -100 @ 342.365
353.00/354.39 c stratification level: 273181750
362.57/363.92 c bounds 997373248 >= -100 @ 351.134
362.57/363.92 c stratification level: 250000000
367.06/368.48 c bounds 997340214 >= -100 @ 355.657
367.06/368.48 c stratification level: 175056768
370.35/371.72 c bounds 997258131 >= -100 @ 358.876
370.35/371.72 c stratification level: 173876614
371.15/372.56 c bounds 997255260 >= -100 @ 359.705
371.15/372.56 c stratification level: 172701776
372.55/373.90 c bounds 997249221 >= -100 @ 361.034
372.55/373.90 c stratification level: 171532242
373.34/374.71 c bounds 997230267 >= -100 @ 361.834
373.34/374.71 c stratification level: 170368000
375.74/377.14 c bounds 997218707 >= -100 @ 364.245
375.74/377.14 c stratification level: 168055344
377.43/378.87 c bounds 997167496 >= -100 @ 365.951
377.43/378.87 c stratification level: 166906906
378.63/380.10 c bounds 997148542 >= -100 @ 367.157
378.63/380.10 c stratification level: 165763712
380.63/382.04 c bounds 997000776 >= -100 @ 369.085
380.63/382.04 c stratification level: 164625750
382.02/383.43 c bounds 957452526 >= -100 @ 370.456
382.02/383.43 c stratification level: 163493008
408.55/410.02 c bounds 957100245 >= -100 @ 396.91
408.55/410.02 c stratification level: 162365474
410.45/411.93 c bounds 957032277 >= -100 @ 398.802
410.45/411.93 c stratification level: 160125982
411.74/413.28 c bounds 956903547 >= -100 @ 400.127
411.74/413.28 c stratification level: 159014000
414.04/415.58 c bounds 956667589 >= -100 @ 402.4
414.04/415.58 c stratification level: 157907178
416.23/417.76 c bounds 956326698 >= -100 @ 404.556
416.23/417.76 c stratification level: 156805504
426.51/428.03 c bounds 930124276 >= -100 @ 414.764
426.51/428.03 c stratification level: 155708966
427.80/429.31 c bounds 930108150 >= -100 @ 416.027
427.80/429.31 c stratification level: 154617552
429.80/431.39 c bounds 893599509 >= -100 @ 418.096
429.80/431.39 c stratification level: 153531250
431.49/433.01 c bounds 893456713 >= -100 @ 419.701
431.49/433.01 c stratification level: 152450048
432.69/434.25 c bounds 893401097 >= -100 @ 420.938
432.69/434.25 c stratification level: 151373934
433.99/435.54 c bounds 893342354 >= -100 @ 422.216
433.99/435.54 c stratification level: 150302896
435.78/437.36 c bounds 885594911 >= -100 @ 424.012
435.78/437.36 c stratification level: 149236922
437.08/438.61 c bounds 885539295 >= -100 @ 425.248
437.08/438.61 c stratification level: 148176000
438.28/439.80 c bounds 885480552 >= -100 @ 426.429
438.28/439.80 c stratification level: 147120118
439.67/441.20 c bounds 804776706 >= -100 @ 427.818
439.67/441.20 c stratification level: 146069264
441.76/443.30 c bounds 804586530 >= -100 @ 429.899
441.76/443.30 c stratification level: 145023426
443.07/444.62 c bounds 804530914 >= -100 @ 431.187
443.07/444.62 c stratification level: 143982592
444.26/445.88 c bounds 749403504 >= -100 @ 432.433
444.26/445.88 c stratification level: 142946750
445.35/447.00 c bounds 703848290 >= -100 @ 433.531
445.35/447.00 c stratification level: 141915888
446.56/448.19 c bounds 669412112 >= -100 @ 434.707
446.56/448.19 c stratification level: 140889994
448.05/449.69 c bounds 669106656 >= -100 @ 436.185
448.05/449.69 c stratification level: 139869056
448.95/450.59 c bounds 669100176 >= -100 @ 437.064
448.95/450.59 c stratification level: 137842000
450.24/451.85 c bounds 589936810 >= -100 @ 438.318
450.24/451.85 c stratification level: 136835858
451.14/452.76 c bounds 589930330 >= -100 @ 439.205
451.14/452.76 c stratification level: 135834624
452.94/454.55 c bounds 520679272 >= -100 @ 440.97
452.94/454.55 c stratification level: 134838286
453.84/455.48 c bounds 520672792 >= -100 @ 441.897
453.84/455.48 c stratification level: 132860250
465.80/467.44 c bounds 520620529 >= -100 @ 453.789
465.80/467.44 c stratification level: 131878528
466.70/468.31 c bounds 520614049 >= -100 @ 454.644
466.70/468.31 c stratification level: 130901654
468.60/470.22 c bounds 509330535 >= -100 @ 456.539
468.60/470.22 c stratification level: 129929616
469.50/471.12 c bounds 509324055 >= -100 @ 457.43
469.50/471.12 c stratification level: 128962402
478.07/479.72 c bounds 506148016 >= -100 @ 465.986
478.07/479.72 c stratification level: 128000000
478.97/480.60 c bounds 506141536 >= -100 @ 466.856
478.97/480.60 c stratification level: 127042398
480.57/482.20 c bounds 506089273 >= -100 @ 468.439
480.57/482.20 c stratification level: 126089584
481.37/483.07 c bounds 506082793 >= -100 @ 469.305
481.37/483.07 c stratification level: 125141546
488.54/490.23 c bounds 506071811 >= -100 @ 476.42
488.54/490.23 c stratification level: 124198272
489.45/491.10 c bounds 506065331 >= -100 @ 477.282
489.45/491.10 c stratification level: 123259750
491.83/493.57 c bounds 504505129 >= -100 @ 479.721
491.83/493.57 c stratification level: 122325968
492.74/494.42 c bounds 504498649 >= -100 @ 480.569
492.74/494.42 c stratification level: 121396914
495.92/497.62 c bounds 503484489 >= -100 @ 483.74
495.92/497.62 c stratification level: 120472576
496.82/498.50 c bounds 503478009 >= -100 @ 484.618
496.82/498.50 c stratification level: 119552942
504.61/506.36 c bounds 500015626 >= -100 @ 492.41
504.61/506.36 c stratification level: 118638000
510.29/512.09 c bounds 497198476 >= -100 @ 498.104
510.29/512.09 c stratification level: 117727738
514.87/516.64 c #Conflicts: 1000 | #Constraints: 4897110
514.87/516.64 c bounds 497164952 >= -100 @ 502.614
514.87/516.64 c stratification level: 116822144
517.47/519.21 c bounds 497142970 >= -100 @ 505.157
517.47/519.21 c stratification level: 115921206
519.06/520.80 c bounds 497138945 >= -100 @ 506.736
519.06/520.80 c stratification level: 115024912
522.26/524.08 c bounds 496982023 >= -100 @ 509.996
522.26/524.08 c stratification level: 114133250
523.86/525.64 c bounds 496977998 >= -100 @ 511.537
523.86/525.64 c stratification level: 113246208
539.71/541.58 c bounds 496910776 >= -100 @ 527.378
539.71/541.58 c stratification level: 112363774
847.31/849.92 c #Conflicts: 2000 | #Constraints: 4898116
847.31/849.92 c INPROCESSING
847.31/849.92 c GARBAGE COLLECT
847.31/849.92 c #Conflicts: 3000 | #Constraints: 4898071
847.31/849.92 c #Conflicts: 4000 | #Constraints: 4899071
847.31/849.92 c bounds 474566296 >= -100 @ 832.743
847.31/849.92 c stratification level: 111485936
848.61/851.28 c bounds 463254074 >= -100 @ 834.086
848.61/851.28 c stratification level: 110612682
850.71/853.38 c bounds 462106354 >= -100 @ 836.16
850.71/853.38 c stratification level: 109744000
854.10/856.75 c bounds 462064990 >= -100 @ 839.51
854.10/856.75 c stratification level: 108879878
857.49/860.14 c bounds 462048261 >= -100 @ 842.88
857.49/860.14 c stratification level: 108020304
860.08/862.79 c bounds 462016204 >= -100 @ 845.498
860.08/862.79 c stratification level: 107165266
861.67/864.31 c bounds 461807993 >= -100 @ 847.003
861.67/864.31 c stratification level: 106314752
862.98/865.69 c bounds 461107604 >= -100 @ 848.382
862.98/865.69 c stratification level: 105468750
863.87/866.55 c bounds 461094950 >= -100 @ 849.236
863.87/866.55 c stratification level: 104627248
865.26/867.92 c bounds 461089763 >= -100 @ 850.599
865.26/867.92 c stratification level: 103790234
866.56/869.24 c bounds 461080963 >= -100 @ 851.913
866.56/869.24 c stratification level: 102957696
868.37/871.02 c bounds 460982394 >= -100 @ 853.676
868.37/871.02 c stratification level: 102129622
869.26/871.90 c bounds 460969740 >= -100 @ 854.554
869.26/871.90 c stratification level: 101306000
872.55/875.23 c bounds 458372660 >= -100 @ 857.868
872.55/875.23 c stratification level: 100486818
884.02/886.76 c bounds 458324835 >= -100 @ 869.353
884.02/886.76 c stratification level: 99672064
885.32/888.06 c bounds 458259464 >= -100 @ 870.636
885.32/888.06 c stratification level: 98861726
886.91/889.65 c bounds 458256302 >= -100 @ 872.223
886.91/889.65 c stratification level: 98055792
888.21/890.93 c bounds 458210223 >= -100 @ 873.493
888.21/890.93 c stratification level: 97254250
889.51/892.24 c bounds 397114302 >= -100 @ 874.797
889.51/892.24 c stratification level: 96457088
890.80/893.56 c bounds 397068223 >= -100 @ 876.1
890.80/893.56 c stratification level: 95664294
892.60/895.36 c bounds 397040552 >= -100 @ 877.89
892.60/895.36 c stratification level: 94875856
895.49/898.26 c bounds 396804860 >= -100 @ 880.776
895.49/898.26 c stratification level: 94091762
934.79/937.62 c bounds 394707498 >= -100 @ 919.992
934.79/937.62 c stratification level: 93312000
938.78/941.60 c bounds 394700095 >= -100 @ 923.955
938.78/941.60 c stratification level: 92536558
941.97/944.84 c bounds 394380887 >= -100 @ 927.17
941.97/944.84 c stratification level: 91765424
945.56/948.40 c bounds 394372745 >= -100 @ 930.709
945.56/948.40 c stratification level: 90998586
950.26/953.12 c bounds 394365342 >= -100 @ 935.407
950.26/953.12 c stratification level: 90236032
973.99/976.93 c INPROCESSING
973.99/976.93 c GARBAGE COLLECT
973.99/976.93 c bounds 394361724 >= -100 @ 959.106
973.99/976.93 c stratification level: 89477750
979.37/982.33 c bounds 394322026 >= -100 @ 964.487
979.37/982.33 c stratification level: 88723728
985.36/988.35 c bounds 393195557 >= -100 @ 970.47
985.36/988.35 c stratification level: 87973954
988.54/991.59 c bounds 353024091 >= -100 @ 973.686
988.54/991.59 c stratification level: 87228416
990.15/993.18 c bounds 351735304 >= -100 @ 975.28
990.15/993.18 c stratification level: 86487102
991.84/994.83 c bounds 351327586 >= -100 @ 976.916
991.84/994.83 c stratification level: 85750000
994.43/997.46 c bounds 351302905 >= -100 @ 979.527
994.43/997.46 c stratification level: 85017098
996.04/999.09 c bounds 351182413 >= -100 @ 981.151
996.04/999.09 c stratification level: 84288384
999.13/1002.11 c bounds 351168316 >= -100 @ 984.156
999.13/1002.11 c stratification level: 83563846
1001.42/1004.41 c bounds 351139105 >= -100 @ 986.447
1001.42/1004.41 c stratification level: 82843472
1005.91/1008.91 c bounds 228747528 >= -100 @ 990.917
1005.91/1008.91 c stratification level: 82127250
1007.30/1010.38 c bounds 228512763 >= -100 @ 992.371
1007.30/1010.38 c stratification level: 81415168
1008.60/1011.60 c bounds 228511503 >= -100 @ 993.582
1008.60/1011.60 c stratification level: 80707214
1010.09/1013.19 c bounds 228508158 >= -100 @ 995.156
1010.09/1013.19 c stratification level: 80003376
1011.00/1014.06 c bounds 228487384 >= -100 @ 996.021
1011.00/1014.06 c stratification level: 79303642
1012.49/1015.57 c bounds 227640030 >= -100 @ 997.519
1012.49/1015.57 c stratification level: 78608000
1013.78/1016.83 c bounds 227622462 >= -100 @ 998.771
1013.78/1016.83 c stratification level: 77916438
1015.38/1018.47 c bounds 227500765 >= -100 @ 1000.39
1015.38/1018.47 c stratification level: 77228944
1022.27/1025.35 c bounds 222358311 >= -100 @ 1007.24
1022.27/1025.35 c stratification level: 76545506
2121.39/2127.32 terminate called after throwing an instance of 'rs::OutOfMemoryException'
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: 63931 MiB (61674 MiB free)
memory of node 1: 64510 MiB (62116 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454964-1721475643/watcher-4454964-1721475643 -o /tmp/evaluation-result-4454964-1721475643/solver-4454964-1721475643 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075790 --watchdog 3760 mixed-bag HOME/instance-4454964-1721475643.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=1079846, runsolver pid=1079843
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.19 4.19 4.13 6/256 1079847
/proc/meminfo: memFree=126502908/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=276708 memory=209632 CPUtime=0.1 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 18865 0 0 0 5 5 0 0 20 0 1 0 199734212 283348992 52408 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 69177 52408 1573 3002 0 53465 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 276708 KiB
Current children cumulated memory: 209632 KiB
[startup+0.205731 s]*
/proc/loadavg: 4.19 4.19 4.13 5/256 1079847
/proc/meminfo: memFree=126350052/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=642844 memory=341208 CPUtime=0.2 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 40587 0 0 0 10 10 0 0 20 0 1 0 199734212 658272256 85302 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 160711 85302 1589 3002 0 144999 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 642844 KiB
Current children cumulated memory: 341208 KiB
[startup+0.305725 s]*
/proc/loadavg: 4.19 4.19 4.13 5/256 1079847
/proc/meminfo: memFree=126239320/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=720672 memory=418076 CPUtime=0.3 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 42954 0 0 0 18 12 0 0 20 0 1 0 199734212 737968128 104519 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 180168 104519 1589 3002 0 164456 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 720672 KiB
Current children cumulated memory: 418076 KiB
[startup+0.70022 s]
/proc/loadavg: 4.19 4.19 4.13 5/256 1079847
/proc/meminfo: memFree=126245108/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=728076 memory=425408 CPUtime=0.69 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 55019 0 0 0 54 15 0 0 20 0 1 0 199734212 745549824 106352 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 182019 106352 1637 3002 0 166307 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 728076 KiB
Current children cumulated memory: 425408 KiB
[startup+1.50022 s]
/proc/loadavg: 4.19 4.19 4.13 5/256 1079847
/proc/meminfo: memFree=126166840/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=778464 memory=471804 CPUtime=1.49 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 57676 0 0 0 131 18 0 0 20 0 1 0 199734212 797147136 117951 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 194616 117951 1637 3002 0 178904 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 778464 KiB
Current children cumulated memory: 471804 KiB
[startup+3.1056 s]
/proc/loadavg: 4.18 4.18 4.13 5/256 1079847
/proc/meminfo: memFree=125777928/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=844000 memory=585412 CPUtime=3.09 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 58564 0 0 0 285 24 0 0 20 0 1 0 199734212 864256000 146353 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 211000 146353 1637 3002 0 195288 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 844000 KiB
Current children cumulated memory: 585412 KiB
[startup+6.3002 s]
/proc/loadavg: 4.18 4.18 4.13 5/256 1079893
/proc/meminfo: memFree=124521356/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=975072 memory=792384 CPUtime=6.27 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 59430 0 0 0 596 31 0 0 20 0 1 0 199734212 998473728 198096 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 243768 198096 1637 3002 0 228056 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 975072 KiB
Current children cumulated memory: 792384 KiB
[startup+12.7002 s]
/proc/loadavg: 4.24 4.20 4.14 5/257 1079895
/proc/meminfo: memFree=121188400/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=2306680 memory=2179752 CPUtime=12.66 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 65849 0 0 0 1199 67 0 0 20 0 1 0 199734212 2362040320 544938 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 576670 544938 1653 3002 0 560958 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2306680 KiB
Current children cumulated memory: 2179752 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.19 4.13 5/257 1079897
/proc/meminfo: memFree=108128016/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=4735080 memory=4603752 CPUtime=25.43 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 594331 0 0 0 2321 222 0 0 20 0 1 0 199734212 4848721920 1150938 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 1183770 1150938 3324 3002 0 1167519 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 4735080 KiB
Current children cumulated memory: 4603752 KiB
[startup+51.1057 s]
/proc/loadavg: 4.27 4.20 4.14 5/257 1079901
/proc/meminfo: memFree=74334772/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=16205452 memory=15767364 CPUtime=50.97 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 2380407 0 0 0 4496 601 0 0 20 0 1 0 199734212 16594382848 3941841 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 4051363 3941841 3772 3002 0 4035112 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 16205452 KiB
Current children cumulated memory: 15767364 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.18 4.14 5/257 1079911
/proc/meminfo: memFree=70035728/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=16612488 memory=16277880 CPUtime=102.01 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 2871634 0 0 0 9504 697 0 0 20 0 1 0 199734212 17011187712 4069470 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 4153122 4069470 3788 3002 0 4136871 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 16612488 KiB
Current children cumulated memory: 16277880 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.16 4.13 5/257 1079921
/proc/meminfo: memFree=65722108/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=17654168 memory=17271896 CPUtime=161.81 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 2891990 0 0 0 15460 721 0 0 20 0 1 0 199734212 18077868032 4317974 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 4413542 4317974 3804 3002 0 4397291 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 17654168 KiB
Current children cumulated memory: 17271896 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.18 4.14 5/257 1079932
/proc/meminfo: memFree=65718620/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=17654168 memory=17271896 CPUtime=221.55 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 2893174 0 0 0 21430 725 0 0 20 0 1 0 199734212 18077868032 4317974 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 4413542 4317974 3804 3002 0 4397291 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 17654168 KiB
Current children cumulated memory: 17271896 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/257 1079942
/proc/meminfo: memFree=65688928/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=17654168 memory=17271952 CPUtime=281.26 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 2894395 0 0 0 27398 728 0 0 20 0 1 0 199734212 18077868032 4317988 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 4413542 4317988 3804 3002 0 4397291 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 17654168 KiB
Current children cumulated memory: 17271952 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/254 1079952
/proc/meminfo: memFree=69190184/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=17572904 memory=17194984 CPUtime=341.02 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 2895667 0 0 0 33370 732 0 0 20 0 1 0 199734212 17994653696 4298746 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 4393226 4298746 3804 3002 0 4376975 0
Current children cumulated CPU time: 341.02 s
Current children cumulated vsize: 17572904 KiB
Current children cumulated memory: 17194984 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/254 1079963
/proc/meminfo: memFree=79118012/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=14095156 memory=13670664 CPUtime=400.88 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 2903175 0 0 0 38929 1159 0 0 20 0 1 0 199734212 14433439744 3417666 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 3523789 3417666 3963 3002 0 3507538 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 14095156 KiB
Current children cumulated memory: 13670664 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.12 4.11 5/254 1079973
/proc/meminfo: memFree=77545744/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=14662684 memory=14101816 CPUtime=460.72 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 2905425 0 0 0 44871 1201 0 0 20 0 1 0 199734212 15014588416 3525454 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 3665671 3525454 3963 3002 0 3649420 0
################
# More data... #
################
Current children cumulated vsize: 23476152 KiB
Current children cumulated memory: 19894176 KiB
[startup+1662.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/254 1080763
/proc/meminfo: memFree=61657744/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=24655512 memory=21271844 CPUtime=1657.62 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 3183629 0 0 0 163638 2124 0 0 20 0 1 0 199734212 25247244288 5317961 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 6163878 5317961 3973 3002 0 6147627 0
Current children cumulated CPU time: 1657.62 s
Current children cumulated vsize: 24655512 KiB
Current children cumulated memory: 21271844 KiB
[startup+1722.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/254 1080773
/proc/meminfo: memFree=60704992/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=25292208 memory=22222396 CPUtime=1717.45 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 3304997 0 0 0 169558 2187 0 0 20 0 1 0 199734212 25899220992 5555599 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 6323052 5555599 3973 3002 0 6306801 0
Current children cumulated CPU time: 1717.45 s
Current children cumulated vsize: 25292208 KiB
Current children cumulated memory: 22222396 KiB
[startup+1782.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/254 1080783
/proc/meminfo: memFree=59992936/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=25679992 memory=22944744 CPUtime=1777.29 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 3383104 0 0 0 175473 2256 0 0 20 0 1 0 199734212 26296311808 5736186 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 6419998 5736186 3973 3002 0 6403747 0
Current children cumulated CPU time: 1777.29 s
Current children cumulated vsize: 25679992 KiB
Current children cumulated memory: 22944744 KiB
[startup+1842.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 1080800
/proc/meminfo: memFree=59161980/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=26045724 memory=23774844 CPUtime=1837.13 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 3460601 0 0 0 181358 2355 0 0 20 0 1 0 199734212 26670821376 5943711 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 6511431 5943711 3973 3002 0 6495180 0
Current children cumulated CPU time: 1837.13 s
Current children cumulated vsize: 26045724 KiB
Current children cumulated memory: 23774844 KiB
[startup+1902.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/257 1080811
/proc/meminfo: memFree=58135600/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=26390172 memory=24486280 CPUtime=1896.97 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 3531326 0 0 0 187265 2432 0 0 20 0 1 0 199734212 27023536128 6121570 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 6597543 6121570 3973 3002 0 6581292 0
Current children cumulated CPU time: 1896.97 s
Current children cumulated vsize: 26390172 KiB
Current children cumulated memory: 24486280 KiB
[startup+1962.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 1080821
/proc/meminfo: memFree=57157316/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=26599288 memory=25161032 CPUtime=1956.82 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 3587124 0 0 0 193187 2495 0 0 20 0 1 0 199734212 27237670912 6290258 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 6649822 6290258 3973 3002 0 6633571 0
Current children cumulated CPU time: 1956.82 s
Current children cumulated vsize: 26599288 KiB
Current children cumulated memory: 25161032 KiB
[startup+2022.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 1080832
/proc/meminfo: memFree=56579552/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=26655116 memory=25698100 CPUtime=2016.66 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 3621754 0 0 0 199095 2571 0 0 20 0 1 0 199734212 27294838784 6424525 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 6663779 6424525 3973 3002 0 6647528 0
Current children cumulated CPU time: 2016.66 s
Current children cumulated vsize: 26655116 KiB
Current children cumulated memory: 25698100 KiB
[startup+2082.3 s]
/proc/loadavg: 4.20 4.16 4.10 5/257 1080842
/proc/meminfo: memFree=55998916/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=26768212 memory=26236236 CPUtime=2076.5 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) R 1079843 1079846 1075779 0 -1 4194304 3663761 0 0 0 205006 2644 0 0 20 0 1 0 199734212 27410649088 6559059 134679101440 4194304 16488053 140724800069120 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 6692053 6559059 3973 3002 0 6675802 0
Current children cumulated CPU time: 2076.5 s
Current children cumulated vsize: 26768212 KiB
Current children cumulated memory: 26236236 KiB
[startup+2142.3 s]
/proc/loadavg: 4.14 4.14 4.09 4/255 1080854
/proc/meminfo: memFree=51730492/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=26879228 memory=26684760 CPUtime=2123.41 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) S 1079843 1079846 1075779 0 -1 4195840 3699591 0 0 0 209427 2914 0 0 20 0 1 0 199734212 27524329472 6671190 134679101440 4194304 16488053 140724800069120 140724800063568 140256267035519 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 6719807 6671190 3989 3002 0 6703556 0
Current children cumulated CPU time: 2123.41 s
Current children cumulated vsize: 26879228 KiB
Current children cumulated memory: 26684760 KiB
[startup+2147.77 s]
# the end of solver process 1079846 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core
# cumulated CPU time of all completed processes: user=2094.28 s, system=29.6078 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2144 s]*
/proc/loadavg: 4.13 4.14 4.09 4/255 1080854
/proc/meminfo: memFree=51730572/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=26879228 memory=26684760 CPUtime=2123.41 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) S 1079843 1079846 1075779 0 -1 4195840 3699591 0 0 0 209427 2914 0 0 20 0 1 0 199734212 27524329472 6671190 134679101440 4194304 16488053 140724800069120 140724800063568 140256267035519 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 6719807 6671190 3989 3002 0 6703556 0
Current children cumulated CPU time: 2123.41 s
Current children cumulated vsize: 26879228 KiB
Current children cumulated memory: 26684760 KiB
[startup+2145.6 s]
/proc/loadavg: 4.13 4.14 4.09 5/255 1080854
/proc/meminfo: memFree=51730576/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=26879228 memory=26684760 CPUtime=2123.41 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) S 1079843 1079846 1075779 0 -1 4195840 3699591 0 0 0 209427 2914 0 0 20 0 1 0 199734212 27524329472 6671190 134679101440 4194304 16488053 140724800069120 140724800063568 140256267035519 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 6719807 6671190 3989 3002 0 6703556 0
Current children cumulated CPU time: 2123.41 s
Current children cumulated vsize: 26879228 KiB
Current children cumulated memory: 26684760 KiB
[startup+2146.4 s]
/proc/loadavg: 4.13 4.14 4.09 4/255 1080854
/proc/meminfo: memFree=51730548/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=26879228 memory=26684760 CPUtime=2123.41 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) S 1079843 1079846 1075779 0 -1 4195840 3699591 0 0 0 209427 2914 0 0 20 0 1 0 199734212 27524329472 6671190 134679101440 4194304 16488053 140724800069120 140724800063568 140256267035519 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 6719807 6671190 3989 3002 0 6703556 0
Current children cumulated CPU time: 2123.41 s
Current children cumulated vsize: 26879228 KiB
Current children cumulated memory: 26684760 KiB
[startup+2147.2 s]
/proc/loadavg: 4.13 4.14 4.09 4/255 1080854
/proc/meminfo: memFree=51730540/131524600 swapFree=131071996/131071996
[pid=1079846] ppid=1079843 vsize=26879228 memory=26684760 CPUtime=2123.41 cores=4,6
/proc/1079846/stat : 1079846 (mixed-bag) S 1079843 1079846 1075779 0 -1 4195840 3699591 0 0 0 209427 2914 0 0 20 0 1 0 199734212 27524329472 6671190 134679101440 4194304 16488053 140724800069120 140724800063568 140256267035519 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 27291648 140724800074773 140724800074850 140724800074850 140724800081867 0
/proc/1079846/statm: 6719807 6671190 3989 3002 0 6703556 0
Current children cumulated CPU time: 2123.41 s
Current children cumulated vsize: 26879228 KiB
Current children cumulated memory: 26684760 KiB
[startup+2147.6 s]
/proc/loadavg: 4.13 4.14 4.09 5/255 1080854
/proc/meminfo: memFree=60312188/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2147.7 s]
/proc/loadavg: 4.13 4.14 4.09 5/255 1080854
/proc/meminfo: memFree=60312188/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 2147.77
CPU time (s): 2123.88
CPU user time (s): 2094.28
CPU system time (s): 29.6078
CPU usage (%): 98.8877
Max. virtual memory (cumulated for all children) (KiB): 26879228
Max. memory (cumulated for all children) (KiB): 26684760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2094.28
system time used= 29.6078
maximum resident set size= 26685240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3699591
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= 92
involuntary context switches= 2120
# summary of solver processes directly reported to runsolver:
# pid: 1079846
# total CPU time (s): 2123.88
# total CPU user time (s): 2094.28
# total CPU system time (s): 29.6078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.35722 second user time and 11.1476 second system time
The end
Begin job on nodeC033 at 2024-07-20 13:40:57
IDJOB=4454964
IDBENCH=155753
IDSOLVER=3083
FILE ID=nodeC033/4454964-1721475643
RUNJOBID= nodeC033-1721468435-1075790
SLURM_JOB_ID= 7545724
Free space on /tmp= 889504 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_2_mh.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454964-1721475643/watcher-4454964-1721475643 -o /tmp/evaluation-result-4454964-1721475643/solver-4454964-1721475643 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075790 --watchdog 3760 mixed-bag HOME/instance-4454964-1721475643.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b903151821b4588cc22205dcfedeb810
RANDOM SEED=576159962
nodeC033.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 : 3684.442
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.50
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 : 3688.071
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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.055
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.50
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 : 3599.830
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 : 7006.25
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 : 3667.925
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.50
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 : 3687.252
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 : 7006.25
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 : 3684.715
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.50
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 : 3675.590
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 : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126782688 kB
MemAvailable: 128599124 kB
Buffers: 613044 kB
Cached: 2032500 kB
SwapCached: 0 kB
Active: 1155552 kB
Inactive: 2933680 kB
Active(anon): 1556 kB
Inactive(anon): 1488040 kB
Active(file): 1153996 kB
Inactive(file): 1445640 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 592852 kB
Writeback: 0 kB
AnonPages: 1441044 kB
Mapped: 123848 kB
Shmem: 45908 kB
KReclaimable: 112892 kB
Slab: 227756 kB
SReclaimable: 112892 kB
SUnreclaim: 114864 kB
KernelStack: 4128 kB
PageTables: 12372 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2254768 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73056 kB
HardwareCorrupted: 0 kB
AnonHugePages: 989184 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: 273108 kB
DirectMap2M: 28860416 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889272 MiB
End job on nodeC033 at 2024-07-20 14:16:45