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
13.95/14.10 c [STEP] solving
13.95/14.10 c #variables 2000400 #constraints 4940611
14.06/14.13 c SMALL=int, LARGE=long long
14.15/14.20 c bounds - >= -100 @ 10.7653
14.15/14.20 c stratification level: 169112377
15.74/15.87 c bounds 1782929879 >= -100 @ 11.7136
15.74/15.87 c stratification level: 160103007
17.34/17.42 c bounds 1782743135 >= -100 @ 13.2263
17.34/17.42 c stratification level: 159220088
19.34/19.47 c bounds 1782713695 >= -100 @ 15.221
19.34/19.47 c stratification level: 155720872
22.03/22.11 c bounds 1782660445 >= -100 @ 17.8369
22.03/22.11 c stratification level: 151419437
46.06/46.28 c bounds 1782659189 >= -100 @ 41.6915
46.06/46.28 c stratification level: 148035889
49.86/50.06 c bounds 1782645965 >= -100 @ 45.4447
49.86/50.06 c stratification level: 146363183
64.71/64.90 c bounds 1782565135 >= -100 @ 59.9849
64.71/64.90 c stratification level: 145531576
68.40/68.60 c bounds 1782549679 >= -100 @ 63.6472
68.40/68.60 c stratification level: 143877824
72.29/72.58 c bounds 1782515363 >= -100 @ 67.5932
72.29/72.58 c stratification level: 141420761
82.67/82.96 c bounds 1782464413 >= -100 @ 77.8875
82.67/82.96 c stratification level: 138991832
134.02/134.42 c bounds 1782451896 >= -100 @ 128.531
134.02/134.42 c stratification level: 136590875
135.52/135.98 c bounds 1782449981 >= -100 @ 130.053
135.52/135.98 c stratification level: 135796744
146.18/146.61 c bounds 1782441034 >= -100 @ 140.54
146.18/146.61 c stratification level: 135005697
147.78/148.24 c bounds 1782437058 >= -100 @ 142.138
147.78/148.24 c stratification level: 133432831
152.16/152.60 c bounds 1782405261 >= -100 @ 146.439
152.16/152.60 c stratification level: 132651000
155.16/155.61 c bounds 1782402682 >= -100 @ 149.414
155.16/155.61 c stratification level: 130323843
167.23/167.75 c bounds 1781961868 >= -100 @ 161.432
167.23/167.75 c stratification level: 129554216
171.02/171.50 c bounds 1781956071 >= -100 @ 165.118
171.02/171.50 c stratification level: 128787625
175.11/175.61 c bounds 1734591157 >= -100 @ 169.152
175.11/175.61 c stratification level: 128024064
400.10/401.20 c #Conflicts: 1000 | #Constraints: 4941629
400.10/401.20 c #Conflicts: 2000 | #Constraints: 4942629
400.10/401.20 c INPROCESSING
400.10/401.20 c #Conflicts: 3000 | #Constraints: 4942683
400.10/401.20 c #Conflicts: 4000 | #Constraints: 4943683
400.10/401.20 c INPROCESSING
400.10/401.20 c bounds 1002085049 >= -100 @ 391.831
400.10/401.20 c stratification level: 125751501
403.00/404.14 c bounds 1002048993 >= -100 @ 394.733
403.00/404.14 c stratification level: 125000000
404.69/405.84 c bounds 1002047325 >= -100 @ 396.421
404.69/405.84 c stratification level: 124251499
406.00/407.12 c bounds 1002025159 >= -100 @ 397.68
406.00/407.12 c stratification level: 123505992
409.08/410.28 c bounds 1002016212 >= -100 @ 400.808
409.08/410.28 c stratification level: 122763473
411.27/412.48 c bounds 1002005148 >= -100 @ 402.988
411.27/412.48 c stratification level: 120553784
413.97/415.17 c bounds 1001939695 >= -100 @ 405.645
413.97/415.17 c stratification level: 119823157
416.66/417.89 c bounds 1001440427 >= -100 @ 408.337
416.66/417.89 c stratification level: 116930169
429.23/430.48 c bounds 968764493 >= -100 @ 420.824
429.23/430.48 c stratification level: 114791256
430.52/431.76 c bounds 968755777 >= -100 @ 422.084
430.52/431.76 c stratification level: 114084125
432.11/433.33 c bounds 968709528 >= -100 @ 423.641
432.11/433.33 c stratification level: 111980168
438.50/439.76 c bounds 954435948 >= -100 @ 430.022
438.50/439.76 c stratification level: 109902239
440.29/441.52 c bounds 954385182 >= -100 @ 431.765
440.29/441.52 c stratification level: 109215352
445.58/446.87 c bounds 954157178 >= -100 @ 437.076
445.58/446.87 c stratification level: 108531333
460.04/461.33 c bounds 945560770 >= -100 @ 451.433
460.04/461.33 c stratification level: 107850176
461.84/463.11 c bounds 945552316 >= -100 @ 453.18
461.84/463.11 c stratification level: 107171875
463.93/465.26 c bounds 945533070 >= -100 @ 455.296
463.93/465.26 c stratification level: 106496424
466.43/467.71 c bounds 945526350 >= -100 @ 457.72
466.43/467.71 c stratification level: 105154048
468.52/469.85 c bounds 945338739 >= -100 @ 459.832
468.52/469.85 c stratification level: 103823000
470.83/472.16 c bounds 945314805 >= -100 @ 462.121
470.83/472.16 c stratification level: 103161709
474.51/475.84 c bounds 945260010 >= -100 @ 465.758
474.51/475.84 c stratification level: 101847563
477.80/479.13 c bounds 945210458 >= -100 @ 469.023
477.80/479.13 c stratification level: 99897344
479.09/480.44 c bounds 945201742 >= -100 @ 470.32
479.09/480.44 c stratification level: 97972181
560.17/561.76 c bounds 944991450 >= -100 @ 549.896
560.17/561.76 c stratification level: 97336000
564.77/566.37 c #Conflicts: 5000 | #Constraints: 4943104
564.77/566.37 c bounds 944985221 >= -100 @ 554.43
564.77/566.37 c stratification level: 96702579
568.66/570.23 c bounds 922729159 >= -100 @ 558.226
568.66/570.23 c stratification level: 95443993
1277.83/1281.33 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 (54998 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505488-1751478256/watcher-4505488-1751478256 -o /tmp/evaluation-result-4505488-1751478256/solver-4505488-1751478256 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751474636-66599 --watchdog 3760 pb-oll-rs HOME/instance-4505488-1751478256.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=67213, runsolver pid=67210
[startup+0.100047 s]*
/proc/loadavg: 4.12 4.15 4.10 5/265 67214
/proc/meminfo: memFree=109616800/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=246752 memory=213656 CPUtime=0.08 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 10088 0 0 0 4 4 0 0 20 0 1 0 63504359 252674048 53414 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 61721 53414 1088 243 0 57970 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 246752 KiB
Current children cumulated memory: 213656 KiB
[startup+0.205681 s]*
/proc/loadavg: 4.12 4.15 4.10 5/265 67214
/proc/meminfo: memFree=109503644/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=412600 memory=339260 CPUtime=0.19 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 29741 0 0 0 11 8 0 0 20 0 1 0 63504359 422502400 84815 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 103150 84815 1088 243 0 99399 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 412600 KiB
Current children cumulated memory: 339260 KiB
[startup+0.305983 s]*
/proc/loadavg: 4.12 4.15 4.10 5/265 67214
/proc/meminfo: memFree=109377656/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=518912 memory=454628 CPUtime=0.29 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 41382 0 0 0 17 12 0 0 20 0 1 0 63504359 531365888 113657 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 129728 113657 1088 243 0 125977 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 518912 KiB
Current children cumulated memory: 454628 KiB
[startup+0.700181 s]
/proc/loadavg: 4.12 4.15 4.10 5/265 67214
/proc/meminfo: memFree=109340920/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=473376 memory=413480 CPUtime=0.67 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 42728 0 0 0 54 13 0 0 20 0 1 0 63504359 484737024 103370 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 118344 103370 1120 243 0 114593 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 473376 KiB
Current children cumulated memory: 413480 KiB
[startup+1.50017 s]
/proc/loadavg: 4.12 4.15 4.10 5/265 67214
/proc/meminfo: memFree=109300852/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=504128 memory=457920 CPUtime=1.47 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 53364 0 0 0 120 27 0 0 20 0 1 0 63504359 516227072 114480 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 126032 114480 1120 243 0 122281 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 504128 KiB
Current children cumulated memory: 457920 KiB
[startup+3.10535 s]
/proc/loadavg: 4.12 4.15 4.10 4/261 67222
/proc/meminfo: memFree=111126000/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=551872 memory=519284 CPUtime=3.08 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 64888 0 0 0 238 70 0 0 20 0 1 0 63504359 565116928 129821 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 137968 129821 1120 243 0 134217 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 551872 KiB
Current children cumulated memory: 519284 KiB
[startup+6.30013 s]
/proc/loadavg: 4.11 4.14 4.10 5/264 67259
/proc/meminfo: memFree=110646644/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=658532 memory=597168 CPUtime=6.27 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 79338 0 0 0 470 157 0 0 20 0 1 0 63504359 674336768 149292 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 164633 149292 1120 243 0 160882 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 658532 KiB
Current children cumulated memory: 597168 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.14 4.10 5/265 67260
/proc/meminfo: memFree=109883092/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=922268 memory=787316 CPUtime=12.65 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 98584 0 0 0 964 301 0 0 20 0 1 0 63504359 944402432 196829 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 230567 196829 1120 243 0 226816 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 922268 KiB
Current children cumulated memory: 787316 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.13 4.10 5/265 67260
/proc/meminfo: memFree=108813268/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=1594860 memory=1377544 CPUtime=25.42 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 149768 0 0 0 2121 421 0 0 20 0 1 0 63504359 1633136640 344386 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 398715 344386 1312 243 0 394964 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1594860 KiB
Current children cumulated memory: 1377544 KiB
[startup+51.1058 s]
/proc/loadavg: 4.17 4.15 4.11 5/265 67306
/proc/meminfo: memFree=108513452/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=2260588 memory=2030080 CPUtime=50.95 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 216516 0 0 0 4652 443 0 0 20 0 1 0 63504359 2314842112 507520 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 565147 507520 1344 243 0 561396 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2260588 KiB
Current children cumulated memory: 2030080 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/265 67308
/proc/meminfo: memFree=104187612/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=4393396 memory=4266028 CPUtime=102 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 585960 0 0 0 9674 526 0 0 20 0 1 0 63504359 4498837504 1066507 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 1098349 1066507 1344 243 0 1094598 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 4393396 KiB
Current children cumulated memory: 4266028 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/266 67314
/proc/meminfo: memFree=102174076/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=5401604 memory=4892632 CPUtime=161.85 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 596753 0 0 0 15609 576 0 0 20 0 1 0 63504359 5531242496 1223158 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 1350401 1223158 1344 243 0 1346650 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 5401604 KiB
Current children cumulated memory: 4892632 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/265 67317
/proc/meminfo: memFree=98191576/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=8961604 memory=7649448 CPUtime=221.68 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 1065437 0 0 0 21473 695 0 0 20 0 1 0 63504359 9176682496 1912362 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 2240401 1912362 1344 243 0 2236650 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 8961604 KiB
Current children cumulated memory: 7649448 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 67319
/proc/meminfo: memFree=97107168/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=9002440 memory=8001668 CPUtime=281.51 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 1070416 0 0 0 27435 716 0 0 20 0 1 0 63504359 9218498560 2000417 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 2250610 2000417 1344 243 0 2246859 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 9002440 KiB
Current children cumulated memory: 8001668 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 67322
/proc/meminfo: memFree=96004412/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=9224276 memory=8344892 CPUtime=341.35 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 1124094 0 0 0 33389 746 0 0 20 0 1 0 63504359 9445658624 2086223 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 2306069 2086223 1344 243 0 2302318 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 9224276 KiB
Current children cumulated memory: 8344892 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 67326
/proc/meminfo: memFree=94149440/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=9925564 memory=9504164 CPUtime=401.2 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 1283816 0 0 0 39296 824 0 0 20 0 1 0 63504359 10163777536 2376041 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 2481391 2376041 1344 243 0 2477640 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 9925564 KiB
Current children cumulated memory: 9504164 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/267 67333
/proc/meminfo: memFree=92378532/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=12360840 memory=10141092 CPUtime=461.04 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 1285625 0 0 0 45243 861 0 0 20 0 1 0 63504359 12657500160 2535273 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 3090210 2535273 1344 243 0 3086459 0
Current children cumulated CPU time: 461.04 s
################
# More data... #
################
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 2160359 0 0 0 86727 1265 0 0 20 0 1 0 63504359 20805804032 4412705 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 5079542 4412705 1344 243 0 5075791 0
Current children cumulated CPU time: 879.92 s
Current children cumulated vsize: 20318168 KiB
Current children cumulated memory: 17650820 KiB
[startup+942.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 67351
/proc/meminfo: memFree=82042508/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=20551896 memory=18260496 CPUtime=939.75 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 2191083 0 0 0 92675 1300 0 0 20 0 1 0 63504359 21045141504 4565124 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 5137974 4565124 1344 243 0 5134223 0
Current children cumulated CPU time: 939.75 s
Current children cumulated vsize: 20551896 KiB
Current children cumulated memory: 18260496 KiB
[startup+1002.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 67354
/proc/meminfo: memFree=79814244/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=22987624 memory=20561868 CPUtime=999.59 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 2624123 0 0 0 98547 1412 0 0 20 0 1 0 63504359 23539326976 5140467 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 5746906 5140467 1344 243 0 5743155 0
Current children cumulated CPU time: 999.59 s
Current children cumulated vsize: 22987624 KiB
Current children cumulated memory: 20561868 KiB
[startup+1062.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 67373
/proc/meminfo: memFree=76391268/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=26359024 memory=23668200 CPUtime=1059.44 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 3259557 0 0 0 104351 1593 0 0 20 0 1 0 63504359 26991640576 5917050 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 6589756 5917050 1344 243 0 6586005 0
Current children cumulated CPU time: 1059.44 s
Current children cumulated vsize: 26359024 KiB
Current children cumulated memory: 23668200 KiB
[startup+1122.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 67375
/proc/meminfo: memFree=75103312/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=26764352 memory=24532108 CPUtime=1119.28 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 3359917 0 0 0 110235 1693 0 0 20 0 1 0 63504359 27406696448 6133027 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 6691088 6133027 1344 243 0 6687337 0
Current children cumulated CPU time: 1119.28 s
Current children cumulated vsize: 26764352 KiB
Current children cumulated memory: 24532108 KiB
[startup+1182.3 s]
/proc/loadavg: 4.44 4.17 4.12 5/265 67377
/proc/meminfo: memFree=74065376/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=27263432 memory=25491644 CPUtime=1179.11 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 3480570 0 0 0 116175 1736 0 0 20 0 1 0 63504359 27917754368 6372911 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 6815858 6372911 1344 243 0 6812107 0
Current children cumulated CPU time: 1179.11 s
Current children cumulated vsize: 27263432 KiB
Current children cumulated memory: 25491644 KiB
[startup+1242.3 s]
/proc/loadavg: 4.26 4.17 4.12 5/265 67379
/proc/meminfo: memFree=73064120/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=27606984 memory=26323320 CPUtime=1238.93 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 3572559 0 0 0 122115 1778 0 0 20 0 1 0 63504359 28269551616 6580830 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 6901746 6580830 1344 243 0 6897995 0
Current children cumulated CPU time: 1238.93 s
Current children cumulated vsize: 27606984 KiB
Current children cumulated memory: 26323320 KiB
[startup+1290.74 s]
# the end of solver process 67213 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core
# cumulated CPU time of all completed processes: user=1259.91 s, system=19.3507 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 4.20 4.16 4.11 5/265 67379
/proc/meminfo: memFree=72857928/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=27688572 memory=26490632 CPUtime=1251 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 3591822 0 0 0 123315 1785 0 0 20 0 1 0 63504359 28353097728 6622658 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 6922143 6622658 1344 243 0 6918392 0
Current children cumulated CPU time: 1251 s
Current children cumulated vsize: 27688572 KiB
Current children cumulated memory: 26490632 KiB
[startup+1267.2 s]
/proc/loadavg: 4.17 4.16 4.11 5/265 67380
/proc/meminfo: memFree=72694412/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=27726636 memory=26617340 CPUtime=1263.77 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 3605724 0 0 0 124587 1790 0 0 20 0 1 0 63504359 28392075264 6654335 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 6931659 6654335 1344 243 0 6927908 0
Current children cumulated CPU time: 1263.77 s
Current children cumulated vsize: 27726636 KiB
Current children cumulated memory: 26617340 KiB
[startup+1280 s]*
/proc/loadavg: 4.21 4.16 4.12 5/265 67380
/proc/meminfo: memFree=72514536/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=27746432 memory=26750928 CPUtime=1276.54 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) R 67210 67213 66587 0 -1 4194304 3616425 0 0 0 125858 1796 0 0 20 0 1 0 63504359 28412346368 6687732 18446744073709551615 4218880 5211445 140737070274160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 0
/proc/67213/statm: 6936608 6687732 1344 243 0 6932857 0
Current children cumulated CPU time: 1276.54 s
Current children cumulated vsize: 27746432 KiB
Current children cumulated memory: 26750928 KiB
[startup+1286.4 s]
/proc/loadavg: 4.19 4.16 4.11 5/266 67383
/proc/meminfo: memFree=71226916/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=27748596 memory=26764004 CPUtime=1278.56 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) S 67210 67213 66587 0 -1 4195840 3617604 0 1 0 125990 1866 0 0 20 0 1 0 63504359 28414562304 6691001 18446744073709551615 4218880 5211445 140737070274160 140737070269968 140659703462508 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 6
/proc/67213/statm: 6937149 6691001 1408 243 0 6933398 0
Current children cumulated CPU time: 1278.56 s
Current children cumulated vsize: 27748596 KiB
Current children cumulated memory: 26764004 KiB
[startup+1288 s]*
/proc/loadavg: 4.19 4.16 4.11 4/266 67383
/proc/meminfo: memFree=71158308/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=27748596 memory=26764004 CPUtime=1278.56 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) S 67210 67213 66587 0 -1 4195840 3617604 0 1 0 125990 1866 0 0 20 0 1 0 63504359 28414562304 6691001 18446744073709551615 4218880 5211445 140737070274160 140737070269968 140659703462508 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 6
/proc/67213/statm: 6937149 6691001 1408 243 0 6933398 0
Current children cumulated CPU time: 1278.56 s
Current children cumulated vsize: 27748596 KiB
Current children cumulated memory: 26764004 KiB
[startup+1289.6 s]
/proc/loadavg: 4.17 4.16 4.11 4/266 67383
/proc/meminfo: memFree=71150496/131249996 swapFree=33010160/33010684
[pid=67213] ppid=67210 vsize=27748596 memory=26764004 CPUtime=1278.56 cores=1,3
/proc/67213/stat : 67213 (pb-oll-rs) S 67210 67213 66587 0 -1 4195840 3617604 0 1 0 125990 1866 0 0 20 0 1 0 63504359 28414562304 6691001 18446744073709551615 4218880 5211445 140737070274160 140737070269968 140659703462508 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 5494472 5498400 22179840 140737070283164 140737070283241 140737070283241 140737070288843 6
/proc/67213/statm: 6937149 6691001 1408 243 0 6933398 0
Current children cumulated CPU time: 1278.56 s
Current children cumulated vsize: 27748596 KiB
Current children cumulated memory: 26764004 KiB
[startup+1290.4 s]
/proc/loadavg: 4.17 4.16 4.11 5/266 67388
/proc/meminfo: memFree=73311372/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+1290.6 s]
/proc/loadavg: 4.17 4.16 4.11 5/266 67388
/proc/meminfo: memFree=73311372/131249996 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+1290.7 s]
/proc/loadavg: 4.17 4.16 4.11 5/266 67388
/proc/meminfo: memFree=73311372/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): 1290.74
CPU time (s): 1279.26
CPU user time (s): 1259.91
CPU system time (s): 19.3507
CPU usage (%): 99.1102
Max. virtual memory (cumulated for all children) (KiB): 27748596
Max. memory (cumulated for all children) (KiB): 26764004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1259.91
system time used= 19.3507
maximum resident set size= 26764004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3617604
page faults= 1
swaps= 0
block input operations= 184
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 200
involuntary context switches= 2670
# summary of solver processes directly reported to runsolver:
# pid: 67213
# total CPU time (s): 1279.26
# total CPU user time (s): 1259.91
# total CPU system time (s): 19.3507
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.35082 second user time and 5.85731 second system time
The end
Begin job on nodeC032 at 2025-07-02 19:44:17
IDJOB=4505488
IDBENCH=155759
IDSOLVER=3345
FILE ID=nodeC032/4505488-1751478256
RUNJOBID= nodeC032-1751474636-66599
SLURM_JOB_ID= 9598505
Free space on /tmp= 431656 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_6_mh.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4505488-1751478256/watcher-4505488-1751478256 -o /tmp/evaluation-result-4505488-1751478256/solver-4505488-1751478256 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751474636-66599 --watchdog 3760 pb-oll-rs HOME/instance-4505488-1751478256.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ae4404ba779864fb11c76f88911c57d7
RANDOM SEED=21326755
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 : 3599.838
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 : 3601.914
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 : 3600.017
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 : 3599.870
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.831
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 : 3599.833
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 : 3645.230
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.980
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: 109820724 kB
MemAvailable: 124890684 kB
Buffers: 2728 kB
Cached: 15749752 kB
SwapCached: 20 kB
Active: 5122168 kB
Inactive: 15382584 kB
Active(anon): 4767052 kB
Inactive(anon): 3268 kB
Active(file): 355116 kB
Inactive(file): 15379316 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 432576 kB
Writeback: 4900 kB
AnonPages: 4753824 kB
Mapped: 106652 kB
Shmem: 18048 kB
KReclaimable: 349536 kB
Slab: 442872 kB
SReclaimable: 349536 kB
SUnreclaim: 93336 kB
KernelStack: 4304 kB
PageTables: 12780 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 5842916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3366912 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= 431208 MiB
End job on nodeC032 at 2025-07-02 20:05:48