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.15/13.26 c [STEP] preprocessing with Papilo
24.21/24.39 c [STEP] solving with SCIP
343.93/345.58 c [STEP] preprocessing done, loading into solver
353.11/354.74 c [STEP] solving
353.11/354.74 c #variables 1960401 #constraints 4896058
353.11/354.77 c SMALL=int, LARGE=long long
353.20/354.83 c bounds - >= -100 @ 342.536
353.20/354.83 c stratification level: 273181750
363.56/365.25 c bounds 997373248 >= -100 @ 352.173
363.56/365.25 c stratification level: 250000000
368.25/369.95 c bounds 997340214 >= -100 @ 356.821
368.25/369.95 c stratification level: 175056768
371.54/373.28 c bounds 997258131 >= -100 @ 360.132
371.54/373.28 c stratification level: 173876614
372.44/374.13 c bounds 997255260 >= -100 @ 360.976
372.44/374.13 c stratification level: 172701776
373.74/375.49 c bounds 997249221 >= -100 @ 362.312
373.74/375.49 c stratification level: 171532242
374.63/376.31 c bounds 997230267 >= -100 @ 363.131
374.63/376.31 c stratification level: 170368000
377.12/378.81 c bounds 997218707 >= -100 @ 365.604
377.12/378.81 c stratification level: 168055344
378.82/380.57 c bounds 997167496 >= -100 @ 367.342
378.82/380.57 c stratification level: 166906906
380.11/381.81 c bounds 997148542 >= -100 @ 368.561
380.11/381.81 c stratification level: 165763712
382.00/383.79 c bounds 997000776 >= -100 @ 370.515
382.00/383.79 c stratification level: 164625750
383.49/385.20 c bounds 957452526 >= -100 @ 371.9
383.49/385.20 c stratification level: 163493008
410.89/412.79 c bounds 957100245 >= -100 @ 399.346
410.89/412.79 c stratification level: 162365474
412.88/414.74 c bounds 957032277 >= -100 @ 401.267
412.88/414.74 c stratification level: 160125982
414.18/416.10 c bounds 956903547 >= -100 @ 402.597
414.18/416.10 c stratification level: 159014000
416.57/418.45 c bounds 956667589 >= -100 @ 404.913
416.57/418.45 c stratification level: 157907178
418.76/420.68 c bounds 956326698 >= -100 @ 407.11
418.76/420.68 c stratification level: 156805504
429.53/431.43 c bounds 930124276 >= -100 @ 417.791
429.53/431.43 c stratification level: 155708966
430.82/432.70 c bounds 930108150 >= -100 @ 419.05
430.82/432.70 c stratification level: 154617552
432.92/434.84 c bounds 893599509 >= -100 @ 421.169
432.92/434.84 c stratification level: 153531250
434.61/436.51 c bounds 893456713 >= -100 @ 422.828
434.61/436.51 c stratification level: 152450048
435.91/437.80 c bounds 893401097 >= -100 @ 424.106
435.91/437.80 c stratification level: 151373934
437.20/439.12 c bounds 893342354 >= -100 @ 425.415
437.20/439.12 c stratification level: 150302896
439.00/440.99 c bounds 885594911 >= -100 @ 427.264
439.00/440.99 c stratification level: 149236922
440.28/442.26 c bounds 885539295 >= -100 @ 428.529
440.28/442.26 c stratification level: 148176000
441.48/443.47 c bounds 885480552 >= -100 @ 429.726
441.48/443.47 c stratification level: 147120118
442.88/444.89 c bounds 804776706 >= -100 @ 431.127
442.88/444.89 c stratification level: 146069264
445.08/447.03 c bounds 804586530 >= -100 @ 433.246
445.08/447.03 c stratification level: 145023426
446.37/448.34 c bounds 804530914 >= -100 @ 434.54
446.37/448.34 c stratification level: 143982592
447.67/449.64 c bounds 749403504 >= -100 @ 435.826
447.67/449.64 c stratification level: 142946750
448.76/450.79 c bounds 703848290 >= -100 @ 436.963
448.76/450.79 c stratification level: 141915888
449.95/451.99 c bounds 669412112 >= -100 @ 438.144
449.95/451.99 c stratification level: 140889994
451.55/453.51 c bounds 669106656 >= -100 @ 439.644
451.55/453.51 c stratification level: 139869056
452.45/454.42 c bounds 669100176 >= -100 @ 440.532
452.45/454.42 c stratification level: 137842000
453.75/455.70 c bounds 589936810 >= -100 @ 441.795
453.75/455.70 c stratification level: 136835858
454.65/456.60 c bounds 589930330 >= -100 @ 442.679
454.65/456.60 c stratification level: 135834624
456.43/458.40 c bounds 520679272 >= -100 @ 444.452
456.43/458.40 c stratification level: 134838286
457.33/459.33 c bounds 520672792 >= -100 @ 445.365
457.33/459.33 c stratification level: 132860250
469.69/471.73 c bounds 520620529 >= -100 @ 457.678
469.69/471.73 c stratification level: 131878528
470.58/472.61 c bounds 520614049 >= -100 @ 458.553
470.58/472.61 c stratification level: 130901654
472.48/474.53 c bounds 509330535 >= -100 @ 460.457
472.48/474.53 c stratification level: 129929616
473.38/475.44 c bounds 509324055 >= -100 @ 461.347
473.38/475.44 c stratification level: 128962402
482.24/484.34 c bounds 506148016 >= -100 @ 470.192
482.24/484.34 c stratification level: 128000000
483.14/485.20 c bounds 506141536 >= -100 @ 471.041
483.14/485.20 c stratification level: 127042398
484.64/486.76 c bounds 506089273 >= -100 @ 472.59
484.64/486.76 c stratification level: 126089584
485.53/487.63 c bounds 506082793 >= -100 @ 473.446
485.53/487.63 c stratification level: 125141546
492.81/494.91 c bounds 506071811 >= -100 @ 480.667
492.81/494.91 c stratification level: 124198272
493.60/495.78 c bounds 506065331 >= -100 @ 481.531
493.60/495.78 c stratification level: 123259750
496.09/498.25 c bounds 504505129 >= -100 @ 483.981
496.09/498.25 c stratification level: 122325968
497.00/499.10 c bounds 504498649 >= -100 @ 484.824
497.00/499.10 c stratification level: 121396914
500.18/502.31 c bounds 503484489 >= -100 @ 488.007
500.18/502.31 c stratification level: 120472576
500.98/503.18 c bounds 503478009 >= -100 @ 488.865
500.98/503.18 c stratification level: 119552942
508.96/511.14 c bounds 500015626 >= -100 @ 496.765
508.96/511.14 c stratification level: 118638000
514.84/517.03 c bounds 497198476 >= -100 @ 502.595
514.84/517.03 c stratification level: 117727738
519.41/521.63 c #Conflicts: 1000 | #Constraints: 4897110
519.41/521.63 c bounds 497164952 >= -100 @ 507.17
519.41/521.63 c stratification level: 116822144
522.00/524.20 c bounds 497142970 >= -100 @ 509.713
522.00/524.20 c stratification level: 115921206
523.49/525.79 c bounds 497138945 >= -100 @ 511.296
523.49/525.79 c stratification level: 115024912
526.89/529.12 c bounds 496982023 >= -100 @ 514.596
526.89/529.12 c stratification level: 114133250
528.48/530.70 c bounds 496977998 >= -100 @ 516.151
528.48/530.70 c stratification level: 113246208
544.62/547.00 c bounds 496910776 >= -100 @ 532.343
544.62/547.00 c stratification level: 112363774
855.15/858.54 c #Conflicts: 2000 | #Constraints: 4898116
855.15/858.54 c INPROCESSING
855.15/858.54 c GARBAGE COLLECT
855.15/858.54 c #Conflicts: 3000 | #Constraints: 4898071
855.15/858.54 c #Conflicts: 4000 | #Constraints: 4899071
855.15/858.54 c bounds 474566296 >= -100 @ 840.64
855.15/858.54 c stratification level: 111485936
856.54/859.94 c bounds 463254074 >= -100 @ 842.021
856.54/859.94 c stratification level: 110612682
858.65/862.07 c bounds 462106354 >= -100 @ 844.136
858.65/862.07 c stratification level: 109744000
862.12/865.51 c bounds 462064990 >= -100 @ 847.563
862.12/865.51 c stratification level: 108879878
865.51/868.99 c bounds 462048261 >= -100 @ 851.019
865.51/868.99 c stratification level: 108020304
868.30/871.72 c bounds 462016204 >= -100 @ 853.709
868.30/871.72 c stratification level: 107165266
869.79/873.28 c bounds 461807993 >= -100 @ 855.252
869.79/873.28 c stratification level: 106314752
871.19/874.69 c bounds 461107604 >= -100 @ 856.653
871.19/874.69 c stratification level: 105468750
872.09/875.57 c bounds 461094950 >= -100 @ 857.526
872.09/875.57 c stratification level: 104627248
873.48/876.98 c bounds 461089763 >= -100 @ 858.925
873.48/876.98 c stratification level: 103790234
874.88/878.33 c bounds 461080963 >= -100 @ 860.264
874.88/878.33 c stratification level: 102957696
876.68/880.15 c bounds 460982394 >= -100 @ 862.076
876.68/880.15 c stratification level: 102129622
877.57/881.05 c bounds 460969740 >= -100 @ 862.97
877.57/881.05 c stratification level: 101306000
880.95/884.47 c bounds 458372660 >= -100 @ 866.368
880.95/884.47 c stratification level: 100486818
893.01/896.50 c bounds 458324835 >= -100 @ 878.334
893.01/896.50 c stratification level: 99672064
894.31/897.81 c bounds 458259464 >= -100 @ 879.636
894.31/897.81 c stratification level: 98861726
895.90/899.44 c bounds 458256302 >= -100 @ 881.254
895.90/899.44 c stratification level: 98055792
897.20/900.73 c bounds 458210223 >= -100 @ 882.533
897.20/900.73 c stratification level: 97254250
898.50/902.09 c bounds 397114302 >= -100 @ 883.876
898.50/902.09 c stratification level: 96457088
899.89/903.43 c bounds 397068223 >= -100 @ 885.209
899.89/903.43 c stratification level: 95664294
901.69/905.28 c bounds 397040552 >= -100 @ 887.044
901.69/905.28 c stratification level: 94875856
904.67/908.25 c bounds 396804860 >= -100 @ 889.997
904.67/908.25 c stratification level: 94091762
945.82/949.50 c bounds 394707498 >= -100 @ 931.047
945.82/949.50 c stratification level: 93312000
949.80/953.59 c bounds 394700095 >= -100 @ 935.107
949.80/953.59 c stratification level: 92536558
953.19/956.91 c bounds 394380887 >= -100 @ 938.402
953.19/956.91 c stratification level: 91765424
956.78/960.58 c bounds 394372745 >= -100 @ 942.039
956.78/960.58 c stratification level: 90998586
961.65/965.45 c bounds 394365342 >= -100 @ 946.882
961.65/965.45 c stratification level: 90236032
986.07/989.95 c INPROCESSING
986.07/989.95 c GARBAGE COLLECT
986.07/989.95 c bounds 394361724 >= -100 @ 971.254
986.07/989.95 c stratification level: 89477750
991.65/995.52 c bounds 394322026 >= -100 @ 976.795
991.65/995.52 c stratification level: 88723728
997.83/1001.77 c bounds 393195557 >= -100 @ 983.006
997.83/1001.77 c stratification level: 87973954
1001.12/1005.10 c bounds 353024091 >= -100 @ 986.304
1001.12/1005.10 c stratification level: 87228416
1002.81/1006.74 c bounds 351735304 >= -100 @ 987.94
1002.81/1006.74 c stratification level: 86487102
1004.51/1008.43 c bounds 351327586 >= -100 @ 989.618
1004.51/1008.43 c stratification level: 85750000
1007.21/1011.14 c bounds 351302905 >= -100 @ 992.309
1007.21/1011.14 c stratification level: 85017098
1008.89/1012.82 c bounds 351182413 >= -100 @ 993.975
1008.89/1012.82 c stratification level: 84288384
1011.98/1015.92 c bounds 351168316 >= -100 @ 997.061
1011.98/1015.92 c stratification level: 83563846
1014.27/1018.29 c bounds 351139105 >= -100 @ 999.421
1014.27/1018.29 c stratification level: 82843472
1018.95/1022.91 c bounds 228747528 >= -100 @ 1004
1018.95/1022.91 c stratification level: 82127250
1020.45/1024.42 c bounds 228512763 >= -100 @ 1005.5
1020.45/1024.42 c stratification level: 81415168
1021.65/1025.69 c bounds 228511503 >= -100 @ 1006.76
1021.65/1025.69 c stratification level: 80707214
1023.35/1027.33 c bounds 228508158 >= -100 @ 1008.38
1023.35/1027.33 c stratification level: 80003376
1024.24/1028.22 c bounds 228487384 >= -100 @ 1009.27
1024.24/1028.22 c stratification level: 79303642
1025.73/1029.77 c bounds 227640030 >= -100 @ 1010.8
1025.73/1029.77 c stratification level: 78608000
1027.03/1031.07 c bounds 227622462 >= -100 @ 1012.09
1027.03/1031.07 c stratification level: 77916438
1028.73/1032.72 c bounds 227500765 >= -100 @ 1013.74
1028.73/1032.72 c stratification level: 77228944
1035.70/1039.79 c bounds 222358311 >= -100 @ 1020.78
1035.70/1039.79 c stratification level: 76545506
2154.99/2162.94 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: 63968 MiB (62182 MiB free)
memory of node 1: 64473 MiB (60108 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435706-1721146596/watcher-4435706-1721146596 -o /tmp/evaluation-result-4435706-1721146596/solver-4435706-1721146596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721139377-876248 --watchdog 3760 mixed-bag HOME/instance-4435706-1721146596.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=880437, runsolver pid=880434
[startup+0.100935 s]*
/proc/loadavg: 4.11 4.10 4.09 5/255 880438
/proc/meminfo: memFree=125012116/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=276964 memory=210100 CPUtime=0.09 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 18454 0 0 0 4 5 0 0 20 0 1 0 166822187 283611136 52525 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 69241 52525 1572 3002 0 53531 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 276964 KiB
Current children cumulated memory: 210100 KiB
[startup+0.205523 s]*
/proc/loadavg: 4.11 4.10 4.09 5/255 880438
/proc/meminfo: memFree=124870188/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=646932 memory=345064 CPUtime=0.2 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 40160 0 0 0 10 10 0 0 20 0 1 0 166822187 662458368 86266 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 161733 86266 1597 3002 0 146023 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 646932 KiB
Current children cumulated memory: 345064 KiB
[startup+0.305493 s]*
/proc/loadavg: 4.11 4.10 4.09 5/255 880438
/proc/meminfo: memFree=124778608/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=720664 memory=417580 CPUtime=0.29 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 41929 0 0 0 17 12 0 0 20 0 1 0 166822187 737959936 104395 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 180166 104395 1597 3002 0 164456 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 720664 KiB
Current children cumulated memory: 417580 KiB
[startup+0.700229 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 880438
/proc/meminfo: memFree=124753808/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=728068 memory=424916 CPUtime=0.68 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 54337 0 0 0 54 14 0 0 20 0 1 0 166822187 745541632 106229 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 182017 106229 1629 3002 0 166307 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 728068 KiB
Current children cumulated memory: 424916 KiB
[startup+1.50023 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 880438
/proc/meminfo: memFree=124676632/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=778456 memory=471492 CPUtime=1.48 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 57606 0 0 0 131 17 0 0 20 0 1 0 166822187 797138944 117873 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 194614 117873 1629 3002 0 178904 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 778456 KiB
Current children cumulated memory: 471492 KiB
[startup+3.10549 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 880438
/proc/meminfo: memFree=123330048/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=843992 memory=589004 CPUtime=3.08 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 58413 0 0 0 285 23 0 0 20 0 1 0 166822187 864247808 147251 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 210998 147251 1629 3002 0 195288 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 843992 KiB
Current children cumulated memory: 589004 KiB
[startup+6.30022 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 880438
/proc/meminfo: memFree=122831308/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=975064 memory=799952 CPUtime=6.27 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 59211 0 0 0 594 33 0 0 20 0 1 0 166822187 998465536 199988 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 243766 199988 1629 3002 0 228056 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 975064 KiB
Current children cumulated memory: 799952 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.09 5/255 880439
/proc/meminfo: memFree=116448408/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=2306672 memory=2179004 CPUtime=12.64 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 65151 0 0 0 1197 67 0 0 20 0 1 0 166822187 2362032128 544751 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 576668 544751 1645 3002 0 560958 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2306672 KiB
Current children cumulated memory: 2179004 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.10 4.09 5/255 880441
/proc/meminfo: memFree=107138996/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=4592196 memory=4459136 CPUtime=25.4 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 559346 0 0 0 2326 214 0 0 20 0 1 0 166822187 4702408704 1114784 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 1148049 1114784 3343 3002 0 1131800 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4592196 KiB
Current children cumulated memory: 4459136 KiB
[startup+51.1058 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 880492
/proc/meminfo: memFree=87335236/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=16205444 memory=15887088 CPUtime=50.92 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 2368098 0 0 0 4501 591 0 0 20 0 1 0 166822187 16594374656 3971772 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 4051361 3971772 3791 3002 0 4035112 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 16205444 KiB
Current children cumulated memory: 15887088 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/255 880500
/proc/meminfo: memFree=70854720/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=16616832 memory=16277900 CPUtime=101.93 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 2855955 0 0 0 9502 691 0 0 20 0 1 0 166822187 17015635968 4069475 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 4154208 4069475 3807 3002 0 4137959 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 16616832 KiB
Current children cumulated memory: 16277900 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 880510
/proc/meminfo: memFree=67445688/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=17654160 memory=17263116 CPUtime=161.67 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 2874655 0 0 0 15453 714 0 0 20 0 1 0 166822187 18077859840 4315779 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 4413540 4315779 3823 3002 0 4397291 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 17654160 KiB
Current children cumulated memory: 17263116 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/256 880525
/proc/meminfo: memFree=66618368/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=17654160 memory=17263116 CPUtime=221.35 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 2875714 0 0 0 21418 717 0 0 20 0 1 0 166822187 18077859840 4315779 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 4413540 4315779 3823 3002 0 4397291 0
Current children cumulated CPU time: 221.35 s
Current children cumulated vsize: 17654160 KiB
Current children cumulated memory: 17263116 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/256 880536
/proc/meminfo: memFree=66586096/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=17654160 memory=17263192 CPUtime=281.02 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 2876859 0 0 0 27383 719 0 0 20 0 1 0 166822187 18077859840 4315798 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 4413540 4315798 3823 3002 0 4397291 0
Current children cumulated CPU time: 281.02 s
Current children cumulated vsize: 17654160 KiB
Current children cumulated memory: 17263192 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/256 880547
/proc/meminfo: memFree=72686912/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=17572896 memory=17186740 CPUtime=340.74 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 2878054 0 0 0 33352 722 0 0 20 0 1 0 166822187 17994645504 4296685 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 4393224 4296685 3823 3002 0 4376975 0
Current children cumulated CPU time: 340.74 s
Current children cumulated vsize: 17572896 KiB
Current children cumulated memory: 17186740 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/256 880557
/proc/meminfo: memFree=79163484/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=14095148 memory=13669256 CPUtime=400.54 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 2883461 0 0 0 38896 1158 0 0 20 0 1 0 166822187 14433431552 3417314 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 3523787 3417314 3983 3002 0 3507538 0
Current children cumulated CPU time: 400.54 s
Current children cumulated vsize: 14095148 KiB
Current children cumulated memory: 13669256 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/256 880569
/proc/meminfo: memFree=78869564/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=14662676 memory=14100408 CPUtime=460.32 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 2885512 0 0 0 44834 1198 0 0 20 0 1 0 166822187 15014580224 3525102 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 3665669 3525102 3983 3002 0 3649420 0
################
# More data... #
################
Current children cumulated vsize: 19518820 KiB
Current children cumulated memory: 18821792 KiB
[startup+1542.3 s]
/proc/loadavg: 4.36 4.18 4.11 5/256 881375
/proc/meminfo: memFree=64525112/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=19518820 memory=19215008 CPUtime=1536.57 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 2928491 0 0 0 151739 1918 0 0 20 0 1 0 166822187 19987271680 4803752 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 4879705 4803752 3998 3002 0 4863456 0
Current children cumulated CPU time: 1536.57 s
Current children cumulated vsize: 19518820 KiB
Current children cumulated memory: 19215008 KiB
[startup+1602.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/257 881386
/proc/meminfo: memFree=64032564/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=23476144 memory=19706420 CPUtime=1596.36 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 2933089 0 0 0 157647 1989 0 0 20 0 1 0 166822187 24039571456 4926605 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 5869036 4926605 3998 3002 0 5852787 0
Current children cumulated CPU time: 1596.36 s
Current children cumulated vsize: 23476144 KiB
Current children cumulated memory: 19706420 KiB
[startup+1662.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/257 881398
/proc/meminfo: memFree=63285984/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=23825716 memory=20457068 CPUtime=1656.15 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 2999446 0 0 0 163544 2071 0 0 20 0 1 0 166822187 24397533184 5114267 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 5956429 5114267 3998 3002 0 5940180 0
Current children cumulated CPU time: 1656.15 s
Current children cumulated vsize: 23825716 KiB
Current children cumulated memory: 20457068 KiB
[startup+1722.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/257 881408
/proc/meminfo: memFree=61927372/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=25064408 memory=21809612 CPUtime=1715.94 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 3217483 0 0 0 169456 2138 0 0 20 0 1 0 166822187 25665953792 5452403 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 6266102 5452403 3998 3002 0 6249853 0
Current children cumulated CPU time: 1715.94 s
Current children cumulated vsize: 25064408 KiB
Current children cumulated memory: 21809612 KiB
[startup+1782.3 s]
/proc/loadavg: 4.06 4.13 4.10 5/255 881418
/proc/meminfo: memFree=61085872/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=25576124 memory=22645484 CPUtime=1775.73 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 3312924 0 0 0 175372 2201 0 0 20 0 1 0 166822187 26189950976 5661371 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 6394031 5661371 3998 3002 0 6377782 0
Current children cumulated CPU time: 1775.73 s
Current children cumulated vsize: 25576124 KiB
Current children cumulated memory: 22645484 KiB
[startup+1842.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/255 881429
/proc/meminfo: memFree=60360096/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=25879544 memory=23369844 CPUtime=1835.53 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 3382016 0 0 0 181272 2281 0 0 20 0 1 0 166822187 26500653056 5842461 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 6469886 5842461 3998 3002 0 6453637 0
Current children cumulated CPU time: 1835.53 s
Current children cumulated vsize: 25879544 KiB
Current children cumulated memory: 23369844 KiB
[startup+1902.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/255 881440
/proc/meminfo: memFree=59462680/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=26232696 memory=24136296 CPUtime=1895.31 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 3449788 0 0 0 187174 2357 0 0 20 0 1 0 166822187 26862280704 6034074 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 6558174 6034074 3998 3002 0 6541925 0
Current children cumulated CPU time: 1895.31 s
Current children cumulated vsize: 26232696 KiB
Current children cumulated memory: 24136296 KiB
[startup+1962.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 881451
/proc/meminfo: memFree=58449540/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=26461660 memory=24764024 CPUtime=1955.1 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 3503434 0 0 0 193083 2427 0 0 20 0 1 0 166822187 27096739840 6191006 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 6615415 6191006 3998 3002 0 6599166 0
Current children cumulated CPU time: 1955.1 s
Current children cumulated vsize: 26461660 KiB
Current children cumulated memory: 24764024 KiB
[startup+2022.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 881465
/proc/meminfo: memFree=57644284/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=26622200 memory=25461840 CPUtime=2014.89 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 3555233 0 0 0 198989 2500 0 0 20 0 1 0 166822187 27261132800 6365460 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 6655550 6365460 3998 3002 0 6639301 0
Current children cumulated CPU time: 2014.89 s
Current children cumulated vsize: 26622200 KiB
Current children cumulated memory: 25461840 KiB
[startup+2082.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/257 881476
/proc/meminfo: memFree=57206164/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=26683080 memory=25868600 CPUtime=2074.67 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 3582151 0 0 0 204904 2563 0 0 20 0 1 0 166822187 27323473920 6467150 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 6670770 6467150 3998 3002 0 6654521 0
Current children cumulated CPU time: 2074.67 s
Current children cumulated vsize: 26683080 KiB
Current children cumulated memory: 25868600 KiB
[startup+2142.3 s]
/proc/loadavg: 4.36 4.20 4.12 5/257 881486
/proc/meminfo: memFree=56552920/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=26803644 memory=26473612 CPUtime=2134.46 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) R 880434 880437 876238 0 -1 4194304 3624762 0 0 0 210797 2649 0 0 20 0 1 0 166822187 27446931456 6618403 134679101440 4194304 16487941 140732082135696 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 6700911 6618403 3998 3002 0 6684662 0
Current children cumulated CPU time: 2134.46 s
Current children cumulated vsize: 26803644 KiB
Current children cumulated memory: 26473612 KiB
[startup+2202.3 s]
/proc/loadavg: 4.71 4.31 4.16 4/259 881499
/proc/meminfo: memFree=52519164/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=26880052 memory=26684788 CPUtime=2156.95 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) S 880434 880437 876238 0 -1 4195840 3643222 0 0 0 212821 2874 0 0 20 0 1 0 166822187 27525173248 6671197 134679101440 4194304 16487941 140732082135696 140732082130144 139948684583807 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 6720013 6671197 3998 3002 0 6703764 0
Current children cumulated CPU time: 2156.95 s
Current children cumulated vsize: 26880052 KiB
Current children cumulated memory: 26684788 KiB
[startup+2204.02 s]
# the end of solver process 880437 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core
# cumulated CPU time of all completed processes: user=2128.22 s, system=29.2713 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2203.2 s]
/proc/loadavg: 4.82 4.34 4.17 5/259 881499
/proc/meminfo: memFree=52519192/131524600 swapFree=131071996/131071996
[pid=880437] ppid=880434 vsize=26880052 memory=26684788 CPUtime=2156.95 cores=0,2
/proc/880437/stat : 880437 (mixed-bag) S 880434 880437 876238 0 -1 4195840 3643222 0 0 0 212821 2874 0 0 20 0 1 0 166822187 27525173248 6671197 134679101440 4194304 16487941 140732082135696 140732082130144 139948684583807 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 27975680 140732082144279 140732082144356 140732082144356 140732082151371 0
/proc/880437/statm: 6720013 6671197 3998 3002 0 6703764 0
Current children cumulated CPU time: 2156.95 s
Current children cumulated vsize: 26880052 KiB
Current children cumulated memory: 26684788 KiB
[startup+2203.61 s]
/proc/loadavg: 4.82 4.34 4.17 5/259 881499
/proc/meminfo: memFree=55337320/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2204 s]*
/proc/loadavg: 4.82 4.34 4.17 5/261 881507
/proc/meminfo: memFree=76491340/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): 2204.02
CPU time (s): 2157.49
CPU user time (s): 2128.22
CPU system time (s): 29.2713
CPU usage (%): 97.8886
Max. virtual memory (cumulated for all children) (KiB): 26880052
Max. memory (cumulated for all children) (KiB): 26684788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2128.22
system time used= 29.2713
maximum resident set size= 26685432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3643222
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= 47
involuntary context switches= 14808
# summary of solver processes directly reported to runsolver:
# pid: 880437
# total CPU time (s): 2157.49
# total CPU user time (s): 2128.22
# total CPU system time (s): 29.2713
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.24867 second user time and 10.5846 second system time
The end
Begin job on nodeC018 at 2024-07-16 18:16:50
IDJOB=4435706
IDBENCH=155753
IDSOLVER=3066
FILE ID=nodeC018/4435706-1721146596
RUNJOBID= nodeC018-1721139377-876248
SLURM_JOB_ID= 7505718
Free space on /tmp= 889492 MiB
SOLVER NAME= mixed-bag 2024-07-02
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-4435706-1721146596/watcher-4435706-1721146596 -o /tmp/evaluation-result-4435706-1721146596/solver-4435706-1721146596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721139377-876248 --watchdog 3760 mixed-bag HOME/instance-4435706-1721146596.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b903151821b4588cc22205dcfedeb810
RANDOM SEED=97924576
nodeC018.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 : 3669.027
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.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.935
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.30
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.441
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.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.333
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.30
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 : 3683.922
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.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.305
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.30
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 : 3599.967
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.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.142
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125226336 kB
MemAvailable: 126230820 kB
Buffers: 404172 kB
Cached: 1433368 kB
SwapCached: 0 kB
Active: 905568 kB
Inactive: 4779408 kB
Active(anon): 1544 kB
Inactive(anon): 3883608 kB
Active(file): 904024 kB
Inactive(file): 895800 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 539644 kB
Writeback: 0 kB
AnonPages: 3842748 kB
Mapped: 121988 kB
Shmem: 37720 kB
KReclaimable: 88964 kB
Slab: 197136 kB
SReclaimable: 88964 kB
SUnreclaim: 108172 kB
KernelStack: 4096 kB
PageTables: 17304 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4814820 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62688 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1425408 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: 232148 kB
DirectMap2M: 16318464 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 889272 MiB
End job on nodeC018 at 2024-07-16 18:53:34