0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
14.04/14.11 c [STEP] solving
14.04/14.11 c #variables 2000400 #constraints 4940611
14.04/14.14 c SMALL=int, LARGE=long long
14.13/14.20 c bounds - >= -100 @ 10.6675
14.13/14.20 c stratification level: 138991832
15.72/15.85 c bounds 1007185303 >= -100 @ 11.6348
15.72/15.85 c stratification level: 134217728
17.22/17.35 c bounds 1007082391 >= -100 @ 13.0884
17.22/17.35 c stratification level: 128024064
18.82/18.92 c bounds 1006962063 >= -100 @ 14.596
18.82/18.92 c stratification level: 125751501
21.21/21.35 c bounds 1006906801 >= -100 @ 16.9912
21.21/21.35 c stratification level: 125000000
22.40/22.56 c bounds 1006887965 >= -100 @ 18.1649
22.40/22.56 c stratification level: 124251499
25.80/25.91 c bounds 1006740405 >= -100 @ 21.4018
25.80/25.91 c stratification level: 123505992
28.68/28.88 c bounds 1006733909 >= -100 @ 24.2217
28.68/28.88 c stratification level: 121287375
31.38/31.50 c bounds 1006609643 >= -100 @ 26.7165
31.38/31.50 c stratification level: 120553784
32.67/32.86 c bounds 1006603944 >= -100 @ 28.0018
32.67/32.86 c stratification level: 118370771
37.35/37.55 c bounds 1006585109 >= -100 @ 32.6195
37.35/37.55 c stratification level: 117649000
40.05/40.23 c bounds 1006562207 >= -100 @ 35.2462
40.05/40.23 c stratification level: 116930169
41.74/41.90 c bounds 1006556508 >= -100 @ 36.8919
41.74/41.90 c stratification level: 116214272
55.19/55.41 c bounds 1006461936 >= -100 @ 50.1606
55.19/55.41 c stratification level: 115501303
56.39/56.63 c bounds 1006443916 >= -100 @ 51.3604
56.39/56.63 c stratification level: 114084125
60.28/60.53 c bounds 975443230 >= -100 @ 55.1946
60.28/60.53 c stratification level: 113379904
61.88/62.15 c bounds 975442568 >= -100 @ 56.7772
61.88/62.15 c stratification level: 111980168
64.07/64.39 c bounds 941154675 >= -100 @ 58.9819
64.07/64.39 c stratification level: 110592000
65.27/65.53 c bounds 934952883 >= -100 @ 60.0826
65.27/65.53 c stratification level: 109902239
66.96/67.25 c bounds 934952216 >= -100 @ 61.7803
66.96/67.25 c stratification level: 109215352
68.56/68.89 c bounds 934951554 >= -100 @ 63.402
68.56/68.89 c stratification level: 107850176
70.65/70.94 c bounds 908684586 >= -100 @ 65.4155
70.65/70.94 c stratification level: 107171875
73.43/73.72 c bounds 897207406 >= -100 @ 68.1568
73.43/73.72 c stratification level: 105154048
75.73/76.08 c bounds 865976934 >= -100 @ 70.4825
75.73/76.08 c stratification level: 104487111
79.32/79.63 c bounds 860334750 >= -100 @ 73.9909
79.32/79.63 c stratification level: 103161709
80.61/80.91 c bounds 860306970 >= -100 @ 75.2465
80.61/80.91 c stratification level: 102503232
84.80/85.10 c bounds 860280455 >= -100 @ 79.399
84.80/85.10 c stratification level: 101847563
87.00/87.39 c bounds 860279261 >= -100 @ 81.6624
87.00/87.39 c stratification level: 101194696
90.69/91.05 c bounds 860258249 >= -100 @ 85.2922
90.69/91.05 c stratification level: 100544625
91.98/92.36 c bounds 860255429 >= -100 @ 86.5799
91.98/92.36 c stratification level: 99897344
93.27/93.67 c bounds 860252507 >= -100 @ 87.8782
93.27/93.67 c stratification level: 99252847
95.57/95.98 c bounds 860246463 >= -100 @ 90.0407
95.57/95.98 c stratification level: 98611128
100.26/100.64 c bounds 860229071 >= -100 @ 94.545
100.26/100.64 c stratification level: 97336000
125.18/125.60 c bounds 860227343 >= -100 @ 119.24
125.18/125.60 c stratification level: 96702579
164.47/165.06 c bounds 860159659 >= -100 @ 158.452
164.47/165.06 c stratification level: 96071912
165.96/166.55 c bounds 860147509 >= -100 @ 159.917
165.96/166.55 c stratification level: 95443993
3124.49/3133.39 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: 63708 MiB (52239 MiB free)
memory of node 1: 64465 MiB (53939 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505442-1751478249/watcher-4505442-1751478249 -o /tmp/evaluation-result-4505442-1751478249/solver-4505442-1751478249 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751474636-66600 --watchdog 3760 pb-oll-rs HOME/instance-4505442-1751478249.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=67168, runsolver pid=67165
[startup+0.100061 s]*
/proc/loadavg: 4.15 4.15 4.11 5/265 67169
/proc/meminfo: memFree=108535172/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=239492 memory=204120 CPUtime=0.08 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 8256 0 0 0 4 4 0 0 20 0 1 0 63503670 245239808 51030 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 59873 51030 1056 243 0 56122 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 239492 KiB
Current children cumulated memory: 204120 KiB
[startup+0.205599 s]*
/proc/loadavg: 4.15 4.15 4.11 5/265 67169
/proc/meminfo: memFree=108417300/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=401248 memory=324068 CPUtime=0.18 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 26465 0 0 0 11 7 0 0 20 0 1 0 63503670 410877952 81017 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 100312 81017 1056 243 0 96561 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 401248 KiB
Current children cumulated memory: 324068 KiB
[startup+0.305603 s]*
/proc/loadavg: 4.15 4.15 4.11 6/265 67169
/proc/meminfo: memFree=108312644/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=535300 memory=448632 CPUtime=0.28 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 42527 0 0 0 17 11 0 0 20 0 1 0 63503670 548147200 112158 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 133825 112158 1056 243 0 130074 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 535300 KiB
Current children cumulated memory: 448632 KiB
[startup+0.700169 s]
/proc/loadavg: 4.13 4.15 4.10 5/265 67169
/proc/meminfo: memFree=108255428/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=471396 memory=411180 CPUtime=0.67 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 43329 0 0 0 54 13 0 0 20 0 1 0 63503670 482709504 102795 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 117849 102795 1088 243 0 114098 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 471396 KiB
Current children cumulated memory: 411180 KiB
[startup+1.50015 s]
/proc/loadavg: 4.13 4.15 4.10 5/265 67169
/proc/meminfo: memFree=108231488/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=503364 memory=456168 CPUtime=1.46 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 54153 0 0 0 119 27 0 0 20 0 1 0 63503670 515444736 114042 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 125841 114042 1088 243 0 122090 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 503364 KiB
Current children cumulated memory: 456168 KiB
[startup+3.10534 s]
/proc/loadavg: 4.13 4.15 4.10 5/265 67169
/proc/meminfo: memFree=108160416/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=550448 memory=514104 CPUtime=3.06 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 65330 0 0 0 235 71 0 0 20 0 1 0 63503670 563658752 128526 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 137612 128526 1088 243 0 133861 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 550448 KiB
Current children cumulated memory: 514104 KiB
[startup+6.30014 s]
/proc/loadavg: 4.12 4.15 4.10 5/262 67204
/proc/meminfo: memFree=109926860/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=656804 memory=594196 CPUtime=6.25 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 80140 0 0 0 468 157 0 0 20 0 1 0 63503670 672567296 148549 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 164201 148549 1088 243 0 160450 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 656804 KiB
Current children cumulated memory: 594196 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.14 4.10 5/265 67259
/proc/meminfo: memFree=110730764/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=922012 memory=784948 CPUtime=12.63 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 100041 0 0 0 956 307 0 0 20 0 1 0 63503670 944140288 196237 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 230503 196237 1088 243 0 226752 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 922012 KiB
Current children cumulated memory: 784948 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.14 4.10 5/265 67260
/proc/meminfo: memFree=109248728/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=1609096 memory=1406804 CPUtime=25.39 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 161643 0 0 0 2103 436 0 0 20 0 1 0 63503670 1647714304 351701 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 402274 351701 1280 243 0 398523 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1609096 KiB
Current children cumulated memory: 1406804 KiB
[startup+51.1054 s]
/proc/loadavg: 4.19 4.16 4.11 5/265 67306
/proc/meminfo: memFree=109255672/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=2264744 memory=2011948 CPUtime=50.92 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 218027 0 0 0 4608 484 0 0 20 0 1 0 63503670 2319097856 502987 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 566186 502987 1312 243 0 562435 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2264744 KiB
Current children cumulated memory: 2011948 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/265 67307
/proc/meminfo: memFree=104494252/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=4159180 memory=3927648 CPUtime=101.95 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 505337 0 0 0 9623 572 0 0 20 0 1 0 63503670 4259000320 981912 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 1039795 981912 1312 243 0 1036044 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 4159180 KiB
Current children cumulated memory: 3927648 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.15 4.10 5/266 67311
/proc/meminfo: memFree=102377372/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=5423672 memory=5001104 CPUtime=161.77 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 570150 0 0 0 15576 601 0 0 20 0 1 0 63503670 5553840128 1250276 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 1355918 1250276 1312 243 0 1352167 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 5423672 KiB
Current children cumulated memory: 5001104 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/265 67316
/proc/meminfo: memFree=98341244/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=5773028 memory=5721604 CPUtime=221.59 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 653813 0 0 0 21516 643 0 0 20 0 1 0 63503670 5911580672 1430401 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 1443257 1430401 1312 243 0 1439506 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 5773028 KiB
Current children cumulated memory: 5721604 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/265 67318
/proc/meminfo: memFree=97123260/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=7543244 memory=6042992 CPUtime=281.41 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 750699 0 0 0 27457 684 0 0 20 0 1 0 63503670 7724281856 1510748 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 1885811 1510748 1312 243 0 1882060 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 7543244 KiB
Current children cumulated memory: 6042992 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 67321
/proc/meminfo: memFree=96174484/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=7813572 memory=6330140 CPUtime=341.24 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 821247 0 0 0 33401 723 0 0 20 0 1 0 63503670 8001097728 1582535 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 1953393 1582535 1312 243 0 1949642 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 7813572 KiB
Current children cumulated memory: 6330140 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 67325
/proc/meminfo: memFree=94263404/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=8200792 memory=6635532 CPUtime=401.06 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 897361 0 0 0 39347 759 0 0 20 0 1 0 63503670 8397611008 1658883 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 2050198 1658883 1312 243 0 2046447 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 8200792 KiB
Current children cumulated memory: 6635532 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/266 67326
/proc/meminfo: memFree=92429568/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=8816708 memory=7446172 CPUtime=460.88 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 998808 0 0 0 45286 802 0 0 20 0 1 0 63503670 9028308992 1861543 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 2204177 1861543 1312 243 0 2200426 0
Current children cumulated CPU time: 460.88 s
Current children cumulated vsize: 8816708 KiB
################
# More data... #
################
Current children cumulated vsize: 22340184 KiB
Current children cumulated memory: 18750668 KiB
[startup+2682.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/263 67504
/proc/meminfo: memFree=84051672/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=22373176 memory=19239016 CPUtime=2674.73 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 2596381 0 0 0 265468 2005 0 0 20 0 1 0 63503670 22910132224 4809754 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 5593294 4809754 1312 243 0 5589543 0
Current children cumulated CPU time: 2674.73 s
Current children cumulated vsize: 22373176 KiB
Current children cumulated memory: 19239016 KiB
[startup+2742.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/263 67506
/proc/meminfo: memFree=83531276/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=22422504 memory=19721680 CPUtime=2734.57 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 2611586 0 0 0 271414 2043 0 0 20 0 1 0 63503670 22960644096 4930420 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 5605626 4930420 1312 243 0 5601875 0
Current children cumulated CPU time: 2734.57 s
Current children cumulated vsize: 22422504 KiB
Current children cumulated memory: 19721680 KiB
[startup+2802.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/263 67509
/proc/meminfo: memFree=83120900/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=22455736 memory=20135804 CPUtime=2794.41 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 2622586 0 0 0 277356 2085 0 0 20 0 1 0 63503670 22994673664 5033951 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 5613934 5033951 1312 243 0 5610183 0
Current children cumulated CPU time: 2794.41 s
Current children cumulated vsize: 22455736 KiB
Current children cumulated memory: 20135804 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/263 67511
/proc/meminfo: memFree=79329636/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=26884940 memory=23947032 CPUtime=2854.24 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 3426398 0 0 0 283187 2237 0 0 20 0 1 0 63503670 27530178560 5986758 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 6721235 5986758 1312 243 0 6717484 0
Current children cumulated CPU time: 2854.24 s
Current children cumulated vsize: 26884940 KiB
Current children cumulated memory: 23947032 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/265 67519
/proc/meminfo: memFree=77472792/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=28428000 memory=25716908 CPUtime=2914.08 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 3719381 0 0 0 289094 2314 0 0 20 0 1 0 63503670 29110272000 6429227 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 7107000 6429227 1312 243 0 7103249 0
Current children cumulated CPU time: 2914.08 s
Current children cumulated vsize: 28428000 KiB
Current children cumulated memory: 25716908 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/265 67522
/proc/meminfo: memFree=76498244/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=28937412 memory=26664372 CPUtime=2973.91 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 3827955 0 0 0 294975 2416 0 0 20 0 1 0 63503670 29631909888 6666093 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 7234353 6666093 1312 243 0 7230602 0
Current children cumulated CPU time: 2973.91 s
Current children cumulated vsize: 28937412 KiB
Current children cumulated memory: 26664372 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/265 67523
/proc/meminfo: memFree=75867744/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=29133160 memory=27317568 CPUtime=3033.75 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 3894877 0 0 0 300902 2473 0 0 20 0 1 0 63503670 29832355840 6829392 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 7283290 6829392 1312 243 0 7279539 0
Current children cumulated CPU time: 3033.75 s
Current children cumulated vsize: 29133160 KiB
Current children cumulated memory: 27317568 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 67525
/proc/meminfo: memFree=75111680/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=29301620 memory=28042368 CPUtime=3093.58 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 3969096 0 0 0 306821 2537 0 0 20 0 1 0 63503670 30004858880 7010592 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 7325405 7010592 1312 243 0 7321654 0
Current children cumulated CPU time: 3093.58 s
Current children cumulated vsize: 29301620 KiB
Current children cumulated memory: 28042368 KiB
[startup+3142.85 s]
# the end of solver process 67168 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core
# cumulated CPU time of all completed processes: user=3098.9 s, system=27.0483 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3123.2 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 67526
/proc/meminfo: memFree=74875472/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=29325152 memory=28272728 CPUtime=3114.42 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) R 67165 67168 66587 0 -1 4194304 3991215 0 0 0 308884 2558 0 0 20 0 1 0 63503670 30028955648 7068182 18446744073709551615 4218880 5211445 140722691003744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 0
/proc/67168/statm: 7331288 7068182 1312 243 0 7327537 0
Current children cumulated CPU time: 3114.42 s
Current children cumulated vsize: 29325152 KiB
Current children cumulated memory: 28272728 KiB
[startup+3136 s]*
/proc/loadavg: 4.14 4.13 4.09 5/267 67529
/proc/meminfo: memFree=73588912/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=29343128 memory=28372124 CPUtime=3125.28 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) S 67165 67168 66587 0 -1 4195840 4001402 0 0 0 309890 2638 0 0 20 0 1 0 63503670 30047363072 7093031 18446744073709551615 4218880 5211445 140722691003744 140722690999552 140493216856684 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 6
/proc/67168/statm: 7335782 7093031 1440 243 0 7332031 0
Current children cumulated CPU time: 3125.28 s
Current children cumulated vsize: 29343128 KiB
Current children cumulated memory: 28372124 KiB
[startup+3139.2 s]
/proc/loadavg: 4.14 4.13 4.09 5/266 67529
/proc/meminfo: memFree=73460860/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=29343128 memory=28372124 CPUtime=3125.28 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) S 67165 67168 66587 0 -1 4195840 4001402 0 0 0 309890 2638 0 0 20 0 1 0 63503670 30047363072 7093031 18446744073709551615 4218880 5211445 140722691003744 140722690999552 140493216856684 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 6
/proc/67168/statm: 7335782 7093031 1440 243 0 7332031 0
Current children cumulated CPU time: 3125.28 s
Current children cumulated vsize: 29343128 KiB
Current children cumulated memory: 28372124 KiB
[startup+3140.8 s]
/proc/loadavg: 4.14 4.13 4.09 4/266 67529
/proc/meminfo: memFree=73428740/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=29343128 memory=28372124 CPUtime=3125.28 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) S 67165 67168 66587 0 -1 4195840 4001402 0 0 0 309890 2638 0 0 20 0 1 0 63503670 30047363072 7093031 18446744073709551615 4218880 5211445 140722691003744 140722690999552 140493216856684 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 6
/proc/67168/statm: 7335782 7093031 1440 243 0 7332031 0
Current children cumulated CPU time: 3125.28 s
Current children cumulated vsize: 29343128 KiB
Current children cumulated memory: 28372124 KiB
[startup+3141.6 s]
/proc/loadavg: 4.13 4.13 4.09 4/266 67529
/proc/meminfo: memFree=73428740/131249996 swapFree=33010160/33010684
[pid=67168] ppid=67165 vsize=29343128 memory=28372124 CPUtime=3125.28 cores=5,7
/proc/67168/stat : 67168 (pb-oll-rs) S 67165 67168 66587 0 -1 4195840 4001402 0 0 0 309890 2638 0 0 20 0 1 0 63503670 30047363072 7093031 18446744073709551615 4218880 5211445 140722691003744 140722690999552 140493216856684 0 0 0 8404994 1 0 0 17 7 0 0 0 0 0 5494472 5498400 10801152 140722691013020 140722691013097 140722691013097 140722691018699 6
/proc/67168/statm: 7335782 7093031 1440 243 0 7332031 0
Current children cumulated CPU time: 3125.28 s
Current children cumulated vsize: 29343128 KiB
Current children cumulated memory: 28372124 KiB
[startup+3142.4 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 67533
/proc/meminfo: memFree=79052304/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3142.8 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 67533
/proc/meminfo: memFree=79052304/131249996 swapFree=33010160/33010684
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): 3142.85
CPU time (s): 3125.95
CPU user time (s): 3098.9
CPU system time (s): 27.0483
CPU usage (%): 99.4623
Max. virtual memory (cumulated for all children) (KiB): 29343128
Max. memory (cumulated for all children) (KiB): 28372124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3098.9
system time used= 27.0483
maximum resident set size= 28372124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4001402
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= 393
involuntary context switches= 18642
# summary of solver processes directly reported to runsolver:
# pid: 67168
# total CPU time (s): 3125.95
# total CPU user time (s): 3098.9
# total CPU system time (s): 27.0483
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.65468 second user time and 13.6963 second system time
The end
Begin job on nodeC032 at 2025-07-02 19:44:10
IDJOB=4505442
IDBENCH=155757
IDSOLVER=3345
FILE ID=nodeC032/4505442-1751478249
RUNJOBID= nodeC032-1751474636-66600
SLURM_JOB_ID= 9598505
Free space on /tmp= 431872 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_4_mh.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505442-1751478249/watcher-4505442-1751478249 -o /tmp/evaluation-result-4505442-1751478249/solver-4505442-1751478249 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751474636-66600 --watchdog 3760 pb-oll-rs HOME/instance-4505442-1751478249.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 52dca71e841298ae6df8c1bcbb79ed30
RANDOM SEED=1590521403
nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.066
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.840
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3575.786
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3620.637
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3599.841
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3565.498
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
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 : 3608.867
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.859
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 108726648 kB
MemAvailable: 123571896 kB
Buffers: 2728 kB
Cached: 15525040 kB
SwapCached: 20 kB
Active: 6457276 kB
Inactive: 15157872 kB
Active(anon): 6102160 kB
Inactive(anon): 3268 kB
Active(file): 355116 kB
Inactive(file): 15154604 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 223636 kB
Writeback: 0 kB
AnonPages: 6088044 kB
Mapped: 107056 kB
Shmem: 18048 kB
KReclaimable: 349536 kB
Slab: 442732 kB
SReclaimable: 349536 kB
SUnreclaim: 93196 kB
KernelStack: 4288 kB
PageTables: 15740 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 7568516 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3874816 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431152 MiB
End job on nodeC032 at 2025-07-02 20:36:33