0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4505404-1751449212.opb'
3.26/3.32 c read 227.34MB (3312.46ms)
3.26/3.32 c [cnf: #variables 2000400 #clauses 4915858 #duplicates 4950 #arr 15802200]
3.26/3.33 c
3.26/3.33 c make graph and approximate orbits
9.45/9.50 c [group: #orbits ~= 17608] (6168.95ms)
9.45/9.50 c
9.45/9.50 c detect special group actions
9.45/9.50 c exceeded limit
9.45/9.50 c (0.00ms)
9.45/9.50 c
9.45/9.50 c detect symmetries on remainder
9.45/9.50 c [group: #symmetries 1.00*10^0 #generators 0] (0.01ms)
9.45/9.50 c
9.45/9.50 c finalize break order and special generators
9.55/9.62 c
9.55/9.62 c generation finished
9.55/9.62 c [sbp: #constraints 0 #add_vars 0]
9.55/9.69 c
9.55/9.69 c write result to 'HOME/instance-4505404-1751449212.opb.pre'
10.06/10.19 c wrote 229.16MB (498.49ms)
10.06/10.19 c ------------------------------------------------------------------
10.06/10.19 c 6168.95ms 60.61% approx_orbits
10.06/10.19 c 3312.46ms 32.54% parse
10.06/10.19 c 498.49ms 4.90% output
10.06/10.19 c 111.53ms 1.10% finalize_order
10.06/10.19 c 87.37ms 0.86% other
10.06/10.19 c 0.01ms 0.00% detect_generic
10.06/10.19 c 0.00ms 0.00% detect_special
10.06/10.19 c ───────────────────────────────────────────────
10.06/10.19 c 10178.81ms 100% total
10.06/10.19 c ------------------------------------------------------------------
11.35/11.48 c RoundingSat 2
11.35/11.48 c branch pb25
11.35/11.48 c commit 63f22ad
23.80/23.93 c #variables 2000400 #constraints 4935661
23.80/23.94 c objective is ce32
23.80/23.96 c initial watched CF 32, 64, 128, Arb: 100 , 0 , 0 , 0
23.80/23.96 c initial counting CF 32, 64, 128, Arb: 985151 , 0 , 0 , 0
23.80/23.96 c bounds - >= -100 @ 9.08064
25.29/25.43 c bounds 1524358655 >= -100 @ 9.88749
27.98/28.16 c bounds 1524257718 >= -100 @ 12.559
29.67/29.84 c bounds 1524254930 >= -100 @ 14.2117
30.77/30.91 c bounds 1524198358 >= -100 @ 15.2553
35.45/35.62 c bounds 1524054084 >= -100 @ 19.8736
36.85/37.08 c bounds 1524050554 >= -100 @ 21.31
37.95/38.18 c bounds 1524039128 >= -100 @ 22.3841
39.74/39.99 c bounds 1523960654 >= -100 @ 24.1592
42.24/42.46 c bounds 1523934584 >= -100 @ 26.5532
44.93/45.17 c bounds 1523707182 >= -100 @ 29.2079
47.61/47.86 c bounds 1523683588 >= -100 @ 31.8476
49.81/50.10 c bounds 1523281022 >= -100 @ 34.0442
53.90/54.19 c bounds 1523195008 >= -100 @ 38.0817
55.90/56.13 c bounds 1495420846 >= -100 @ 39.9849
60.18/60.42 c bounds 1495270262 >= -100 @ 44.1849
62.96/63.28 c bounds 1490189942 >= -100 @ 46.9183
64.06/64.39 c bounds 1490186776 >= -100 @ 48.0089
70.24/70.53 c bounds 1490160043 >= -100 @ 54.0704
80.81/81.14 c bounds 1463976041 >= -100 @ 64.5982
82.81/83.12 c bounds 1463952614 >= -100 @ 66.5497
85.80/86.15 c bounds 1463780279 >= -100 @ 69.5494
86.69/87.03 c bounds 1463699765 >= -100 @ 70.4052
97.56/97.92 c bounds 1463656428 >= -100 @ 81.1784
98.55/99.00 c bounds 1463653262 >= -100 @ 82.2298
103.04/103.42 c bounds 1379652600 >= -100 @ 86.5547
104.14/104.50 c bounds 1379588434 >= -100 @ 87.5864
105.43/105.89 c bounds 1376960952 >= -100 @ 88.9228
107.13/107.53 c bounds 1368549822 >= -100 @ 90.5401
110.22/110.61 c bounds 1368546758 >= -100 @ 93.5615
113.62/114.03 c bounds 1368520025 >= -100 @ 96.9336
125.87/126.38 c bounds 1365466877 >= -100 @ 109.163
126.97/127.43 c bounds 1365449405 >= -100 @ 110.191
151.60/152.18 c bounds 1365447998 >= -100 @ 134.74
173.23/173.88 c bounds 1365447681 >= -100 @ 156.123
174.53/175.19 c bounds 1365439904 >= -100 @ 157.362
180.01/180.70 c bounds 1365438497 >= -100 @ 162.758
196.56/197.26 c bounds 1365420831 >= -100 @ 178.982
682.44/684.68 c #Conflicts: 1000 | #Constraints: 4936697
682.44/684.68 c #Conflicts: 2000 | #Constraints: 4937697
682.44/684.68 c INPROCESSING
682.44/684.68 c GARBAGE COLLECT
682.44/684.68 c bounds 1365399949 >= -100 @ 661.054
746.85/749.21 c bounds 1365364873 >= -100 @ 725.343
750.03/752.46 c bounds 1365338041 >= -100 @ 728.571
752.82/755.28 c bounds 1365336625 >= -100 @ 731.375
765.38/767.85 c bounds 1365323768 >= -100 @ 743.885
766.78/769.22 c bounds 1365316006 >= -100 @ 745.25
771.27/773.77 c bounds 1365312840 >= -100 @ 749.772
780.93/783.49 c bounds 1365311240 >= -100 @ 759.445
797.19/799.78 c bounds 1365280880 >= -100 @ 775.668
799.49/802.06 c bounds 1365253997 >= -100 @ 777.925
818.92/821.50 c bounds 1365246988 >= -100 @ 797.289
829.38/832.03 c bounds 1365238173 >= -100 @ 807.768
847.03/849.71 c bounds 1362075269 >= -100 @ 825.366
1112.28/1115.86 c #Conflicts: 3000 | #Constraints: 4937734
1112.28/1115.86 c bounds 1362044309 >= -100 @ 1089.32
1153.77/1157.47 c bounds 942214469 >= -100 @ 1130.21
1155.17/1158.81 c bounds 941976963 >= -100 @ 1131.5
1156.26/1159.90 c bounds 941937049 >= -100 @ 1132.56
1157.56/1161.22 c bounds 941907907 >= -100 @ 1133.83
1158.96/1162.64 c bounds 941704898 >= -100 @ 1135.21
1160.15/1163.82 c bounds 941690399 >= -100 @ 1136.36
1162.94/1166.69 c bounds 941664889 >= -100 @ 1139.17
1164.64/1168.33 c bounds 908723323 >= -100 @ 1140.78
1166.04/1169.74 c bounds 908433587 >= -100 @ 1142.15
1167.93/1171.65 c bounds 908433101 >= -100 @ 1144.01
1171.02/1174.77 c bounds 900240003 >= -100 @ 1147.08
1174.01/1177.74 c bounds 900226994 >= -100 @ 1149.97
1175.42/1179.15 c bounds 900155941 >= -100 @ 1151.36
1188.18/1191.97 c bounds 900122361 >= -100 @ 1163.99
1190.47/1194.21 c bounds 900118447 >= -100 @ 1166.19
1191.67/1195.45 c bounds 900117961 >= -100 @ 1167.38
1193.17/1196.92 c bounds 900091965 >= -100 @ 1168.8
1195.87/1199.61 c bounds 899861372 >= -100 @ 1171.45
1197.06/1200.82 c bounds 899860886 >= -100 @ 1172.62
1199.15/1202.94 c bounds 899856346 >= -100 @ 1174.69
1203.44/1207.21 c bounds 899557538 >= -100 @ 1178.92
1205.54/1209.38 c bounds 899418096 >= -100 @ 1181.03
1206.73/1210.55 c bounds 899417610 >= -100 @ 1182.19
1209.43/1213.27 c bounds 899380580 >= -100 @ 1184.86
1212.52/1216.31 c bounds 899357362 >= -100 @ 1187.79
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: 63665 MiB (51017 MiB free)
memory of node 1: 64507 MiB (62170 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505404-1751449212/watcher-4505404-1751449212 -o /tmp/evaluation-result-4505404-1751449212/solver-4505404-1751449212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751441985-63041 --watchdog 3760 run-opt-break.sh HOME/instance-4505404-1751449212.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=63903, runsolver pid=63900
[startup+0.100068 s]*
/proc/loadavg: 4.13 4.12 4.09 5/262 63906
/proc/meminfo: memFree=115541356/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63905] ppid=63903 vsize=693696 memory=395828 CPUtime=0.08 cores=5,7
/proc/63905/stat : 63905 (pbsuma) R 63903 63903 63028 0 -1 4194304 1040 0 0 0 1 7 0 0 20 0 1 0 60599015 710344704 98957 18446744073709551615 4210688 4653049 140737429895120 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 26107904 140737429903715 140737429903922 140737429903922 140737429909487 0
/proc/63905/statm: 173424 98957 928 108 0 170832 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 697888 KiB
Current children cumulated memory: 398772 KiB
[startup+0.205713 s]*
/proc/loadavg: 4.13 4.12 4.09 5/268 63916
/proc/meminfo: memFree=114992124/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63905] ppid=63903 vsize=1217988 memory=848440 CPUtime=0.19 cores=5,7
/proc/63905/stat : 63905 (pbsuma) R 63903 63903 63028 0 -1 4194304 1773 0 0 0 3 16 0 0 20 0 1 0 60599015 1247219712 212110 18446744073709551615 4210688 4653049 140737429895120 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 26107904 140737429903715 140737429903922 140737429903922 140737429909487 0
/proc/63905/statm: 304497 212110 928 108 0 301905 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 1222180 KiB
Current children cumulated memory: 851384 KiB
[startup+0.305877 s]*
/proc/loadavg: 4.13 4.12 4.09 5/268 63916
/proc/meminfo: memFree=114273372/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63905] ppid=63903 vsize=1238544 memory=1133008 CPUtime=0.29 cores=5,7
/proc/63905/stat : 63905 (pbsuma) R 63903 63903 63028 0 -1 4194304 5981 0 0 0 7 22 0 0 20 0 1 0 60599015 1268269056 283252 18446744073709551615 4210688 4653049 140737429895120 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 26107904 140737429903715 140737429903922 140737429903922 140737429909487 0
/proc/63905/statm: 309636 283252 928 108 0 307044 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 1242736 KiB
Current children cumulated memory: 1135952 KiB
[startup+0.700227 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 63916
/proc/meminfo: memFree=113564084/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63905] ppid=63903 vsize=1350860 memory=1257532 CPUtime=0.67 cores=5,7
/proc/63905/stat : 63905 (pbsuma) R 63903 63903 63028 0 -1 4194304 22264 0 0 0 41 26 0 0 20 0 1 0 60599015 1383280640 314383 18446744073709551615 4210688 4653049 140737429895120 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 26107904 140737429903715 140737429903922 140737429903922 140737429909487 0
/proc/63905/statm: 337715 314383 960 108 0 335123 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 1355052 KiB
Current children cumulated memory: 1260476 KiB
[startup+1.50021 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 63916
/proc/meminfo: memFree=113321680/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63905] ppid=63903 vsize=1469280 memory=1398308 CPUtime=1.47 cores=5,7
/proc/63905/stat : 63905 (pbsuma) R 63903 63903 63028 0 -1 4194304 41618 0 0 0 116 31 0 0 20 0 1 0 60599015 1504542720 349577 18446744073709551615 4210688 4653049 140737429895120 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 26107904 140737429903715 140737429903922 140737429903922 140737429909487 0
/proc/63905/statm: 367320 349577 960 108 0 364728 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 1473472 KiB
Current children cumulated memory: 1401252 KiB
[startup+3.1054 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 63916
/proc/meminfo: memFree=112616896/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63905] ppid=63903 vsize=1841200 memory=1713544 CPUtime=3.07 cores=5,7
/proc/63905/stat : 63905 (pbsuma) R 63903 63903 63028 0 -1 4194304 76037 0 0 0 264 43 0 0 20 0 1 0 60599015 1885388800 428386 18446744073709551615 4210688 4653049 140737429895120 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 26107904 140737429903715 140737429903922 140737429903922 140737429909487 0
/proc/63905/statm: 460300 428386 960 108 0 457708 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1845392 KiB
Current children cumulated memory: 1716488 KiB
[startup+6.3002 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 63944
/proc/meminfo: memFree=118676364/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63905] ppid=63903 vsize=4370588 memory=3474908 CPUtime=6.26 cores=5,7
/proc/63905/stat : 63905 (pbsuma) R 63903 63903 63028 0 -1 4194304 94903 0 0 0 540 86 0 0 20 0 1 0 60599015 4475482112 868727 18446744073709551615 4210688 4653049 140737429895120 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 26107904 140737429903715 140737429903922 140737429903922 140737429909487 0
/proc/63905/statm: 1092647 868727 992 108 0 1090055 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 4374780 KiB
Current children cumulated memory: 3477852 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 63946
/proc/meminfo: memFree=124008572/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=11.41 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 236 131207 0 0 0 0 1023 118 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63945] ppid=63903 vsize=453372 memory=406252 CPUtime=1.21 cores=5,7
/proc/63945/stat : 63945 (roundingsat) R 63903 63903 63028 0 -1 4194304 24461 0 0 0 94 27 0 0 20 0 1 0 60600161 464252928 101563 18446744073709551615 4227072 8923433 140737023680016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19374080 140737023687012 140737023687208 140737023687208 140737023692778 0
/proc/63945/statm: 113343 101563 1952 1147 0 100770 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 457564 KiB
Current children cumulated memory: 409196 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 64013
/proc/meminfo: memFree=122569560/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=11.41 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 236 131207 0 0 0 0 1023 118 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63945] ppid=63903 vsize=1303416 memory=1104452 CPUtime=13.98 cores=5,7
/proc/63945/stat : 63945 (roundingsat) R 63903 63903 63028 0 -1 4194304 105072 0 0 0 994 404 0 0 20 0 1 0 60600161 1334697984 276113 18446744073709551615 4227072 8923433 140737023680016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19374080 140737023687012 140737023687208 140737023687208 140737023692778 0
/proc/63945/statm: 325854 276113 2080 1147 0 313281 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1307608 KiB
Current children cumulated memory: 1107396 KiB
[startup+51.1056 s]
/proc/loadavg: 4.24 4.14 4.10 5/268 64015
/proc/meminfo: memFree=119639516/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=11.41 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 236 131207 0 0 0 0 1023 118 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63945] ppid=63903 vsize=2271784 memory=2105048 CPUtime=39.5 cores=5,7
/proc/63945/stat : 63945 (roundingsat) R 63903 63903 63028 0 -1 4194304 237735 0 0 0 3503 447 0 0 20 0 1 0 60600161 2326306816 526262 18446744073709551615 4227072 8923433 140737023680016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19374080 140737023687012 140737023687208 140737023687208 140737023692778 0
/proc/63945/statm: 567946 526262 2112 1147 0 555373 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2275976 KiB
Current children cumulated memory: 2107992 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/267 64017
/proc/meminfo: memFree=116031720/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=11.41 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 236 131207 0 0 0 0 1023 118 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63945] ppid=63903 vsize=3675280 memory=3527864 CPUtime=90.53 cores=5,7
/proc/63945/stat : 63945 (roundingsat) R 63903 63903 63028 0 -1 4194304 442551 0 0 0 8545 508 0 0 20 0 1 0 60600161 3763486720 881966 18446744073709551615 4227072 8923433 140737023680016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19374080 140737023687012 140737023687208 140737023687208 140737023692778 0
/proc/63945/statm: 918820 881966 2112 1147 0 906247 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 3679472 KiB
Current children cumulated memory: 3530808 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/267 64019
/proc/meminfo: memFree=111745000/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=11.41 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 236 131207 0 0 0 0 1023 118 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63945] ppid=63903 vsize=5368296 memory=5075000 CPUtime=150.36 cores=5,7
/proc/63945/stat : 63945 (roundingsat) R 63903 63903 63028 0 -1 4194304 652294 0 0 0 14473 563 0 0 20 0 1 0 60600161 5497135104 1268750 18446744073709551615 4227072 8923433 140737023680016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19374080 140737023687012 140737023687208 140737023687208 140737023692778 0
/proc/63945/statm: 1342074 1268750 2112 1147 0 1329501 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 5372488 KiB
Current children cumulated memory: 5077944 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 64022
/proc/meminfo: memFree=106277732/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=11.41 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 236 131207 0 0 0 0 1023 118 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63945] ppid=63903 vsize=8350136 memory=7734960 CPUtime=210.17 cores=5,7
/proc/63945/stat : 63945 (roundingsat) R 63903 63903 63028 0 -1 4194304 1074688 0 0 0 20360 657 0 0 20 0 1 0 60600161 8550539264 1933740 18446744073709551615 4227072 8923433 140737023680016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19374080 140737023687012 140737023687208 140737023687208 140737023692778 0
/proc/63945/statm: 2087534 1933740 2112 1147 0 2074961 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
/proc/meminfo: memFree=78143852/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=11.41 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 236 131207 0 0 0 0 1023 118 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63945] ppid=63903 vsize=19263972 memory=17311572 CPUtime=927.92 cores=5,7
/proc/63945/stat : 63945 (roundingsat) R 63903 63903 63028 0 -1 4194304 2527040 0 0 0 91762 1030 0 0 20 0 1 0 60600161 19726307328 4327893 18446744073709551615 4227072 8923433 140737023680016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19374080 140737023687012 140737023687208 140737023687208 140737023692778 0
/proc/63945/statm: 4815993 4327893 2112 1147 0 4803420 0
Current children cumulated CPU time: 939.33 s
Current children cumulated vsize: 19268164 KiB
Current children cumulated memory: 17314516 KiB
[startup+1002.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/267 64057
/proc/meminfo: memFree=76390840/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=11.41 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 236 131207 0 0 0 0 1023 118 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63945] ppid=63903 vsize=19517556 memory=17588512 CPUtime=987.74 cores=5,7
/proc/63945/stat : 63945 (roundingsat) R 63903 63903 63028 0 -1 4194304 2580808 0 0 0 97730 1044 0 0 20 0 1 0 60600161 19985977344 4397128 18446744073709551615 4227072 8923433 140737023680016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19374080 140737023687012 140737023687208 140737023687208 140737023692778 0
/proc/63945/statm: 4879389 4397128 2112 1147 0 4866816 0
Current children cumulated CPU time: 999.15 s
Current children cumulated vsize: 19521748 KiB
Current children cumulated memory: 17591456 KiB
[startup+1062.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/268 64062
/proc/meminfo: memFree=74988256/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=11.41 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 236 131207 0 0 0 0 1023 118 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63945] ppid=63903 vsize=20140128 memory=18475104 CPUtime=1047.54 cores=5,7
/proc/63945/stat : 63945 (roundingsat) R 63903 63903 63028 0 -1 4194304 2692417 0 0 0 103681 1073 0 0 20 0 1 0 60600161 20623491072 4618776 18446744073709551615 4227072 8923433 140737023680016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19374080 140737023687012 140737023687208 140737023687208 140737023692778 0
/proc/63945/statm: 5035032 4618776 2112 1147 0 5022459 0
Current children cumulated CPU time: 1058.95 s
Current children cumulated vsize: 20144320 KiB
Current children cumulated memory: 18478048 KiB
[startup+1122.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/266 64078
/proc/meminfo: memFree=98217932/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=11.41 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 236 131207 0 0 0 0 1023 118 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63945] ppid=63903 vsize=23719588 memory=21473400 CPUtime=1107.35 cores=5,7
/proc/63945/stat : 63945 (roundingsat) R 63903 63903 63028 0 -1 4194304 3248625 0 0 0 109559 1176 0 0 20 0 1 0 60600161 24288858112 5368350 18446744073709551615 4227072 8923433 140737023680016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19374080 140737023687012 140737023687208 140737023687208 140737023692778 0
/proc/63945/statm: 5929897 5368350 2112 1147 0 5917324 0
Current children cumulated CPU time: 1118.76 s
Current children cumulated vsize: 23723780 KiB
Current children cumulated memory: 21476344 KiB
[startup+1182.3 s]
/proc/loadavg: 4.04 4.12 4.09 5/267 64112
/proc/meminfo: memFree=96084804/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=11.41 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 236 131207 0 0 0 0 1023 118 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63945] ppid=63903 vsize=25900288 memory=23806136 CPUtime=1167.19 cores=5,7
/proc/63945/stat : 63945 (roundingsat) R 63903 63903 63028 0 -1 4194304 3616380 0 0 0 115443 1276 0 0 20 0 1 0 60600161 26521894912 5951534 18446744073709551615 4227072 8923433 140737023680016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19374080 140737023687012 140737023687208 140737023687208 140737023692778 0
/proc/63945/statm: 6475072 5951534 2112 1147 0 6462499 0
Current children cumulated CPU time: 1178.6 s
Current children cumulated vsize: 25904480 KiB
Current children cumulated memory: 23809080 KiB
[startup+1242.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/268 64114
/proc/meminfo: memFree=94105844/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=11.41 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 236 131207 0 0 0 0 1023 118 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63945] ppid=63903 vsize=31379364 memory=25715568 CPUtime=1227.04 cores=5,7
/proc/63945/stat : 63945 (roundingsat) R 63903 63903 63028 0 -1 4194304 3903639 0 0 0 121343 1361 0 0 20 0 1 0 60600161 32132468736 6428892 18446744073709551615 4227072 8923433 140737023680016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19374080 140737023687012 140737023687208 140737023687208 140737023692778 0
/proc/63945/statm: 7844841 6428892 2112 1147 0 7832268 0
Current children cumulated CPU time: 1238.45 s
Current children cumulated vsize: 31383556 KiB
Current children cumulated memory: 25718512 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1267.9 s]
/proc/loadavg: 4.15 4.13 4.10 5/269 64132
/proc/meminfo: memFree=93713120/131249996 swapFree=33010160/33010684
[pid=63903] ppid=63900 vsize=4192 memory=2944 CPUtime=11.41 cores=5,7
/proc/63903/stat : 63903 (run-opt-break.s) S 63900 63903 63028 0 -1 4194304 236 131207 0 0 0 0 1023 118 20 0 1 0 60599015 4292608 736 18446744073709551615 93849755480064 93849756374597 140732066860864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93849756613648 93849756661392 93849767780352 140732066867553 140732066867682 140732066867682 140732066873284 0
/proc/63903/statm: 1048 736 672 219 0 110 0
[pid=63945] ppid=63903 vsize=31760048 memory=26156432 CPUtime=1252.58 cores=5,7
/proc/63945/stat : 63945 (roundingsat) R 63903 63903 63028 0 -1 4194304 3962687 0 0 0 123871 1387 0 0 20 0 1 0 60600161 32522289152 6539108 18446744073709551615 4227072 8923433 140737023680016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19374080 140737023687012 140737023687208 140737023687208 140737023692778 0
/proc/63945/statm: 7940012 6539108 2112 1147 0 7927439 0
Current children cumulated CPU time: 1263.99 s
Current children cumulated vsize: 31764240 KiB
Current children cumulated memory: 26159376 KiB
Sending SIGTERM to process tree (bottom up)
[startup+1267.9 s]
# the end of solver process 63903 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=10.2366 s, system=1.1877 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1270.53 s]
# the end of solver process 63945 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=1250.79 s, system=15.8379 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+1268.8 s]
/proc/loadavg: 4.15 4.13 4.10 5/268 64132
/proc/meminfo: memFree=93602784/131249996 swapFree=33010160/33010684
[pid=63945] ppid=63900 vsize=31760048 memory=26156432 CPUtime=1253.48 cores=5,7
/proc/63945/stat : 63945 (roundingsat) R 63900 63903 63028 0 -1 4194304 4260336 0 0 0 123946 1402 0 0 20 0 1 0 60600161 32522289152 6539108 18446744073709551615 4227072 8923433 140737023680016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19374080 140737023687012 140737023687208 140737023687208 140737023692778 0
/proc/63945/statm: 7940012 6539108 2112 1147 0 7927439 0
Current cumulated CPU time of completed processes: 11.4243 s
Current children cumulated CPU time: 1253.48 s
Current children cumulated vsize: 31760048 KiB
Current children cumulated memory: 26156432 KiB
[startup+1269.6 s]
/proc/loadavg: 4.15 4.13 4.10 5/268 64132
/proc/meminfo: memFree=93621124/131249996 swapFree=33010160/33010684
[pid=63945] ppid=63900 vsize=31713428 memory=26109824 CPUtime=1254.27 cores=5,7
/proc/63945/stat : 63945 (roundingsat) R 63900 63903 63028 0 -1 4194304 4260707 0 0 0 124025 1402 0 0 20 0 1 0 60600161 32474550272 6527456 18446744073709551615 4227072 8923433 140737023680016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19374080 140737023687012 140737023687208 140737023687208 140737023692778 0
/proc/63945/statm: 7928357 6527456 2112 1147 0 7915784 0
Current cumulated CPU time of completed processes: 11.4243 s
Current children cumulated CPU time: 1254.27 s
Current children cumulated vsize: 31713428 KiB
Current children cumulated memory: 26109824 KiB
[startup+1269.8 s]
/proc/loadavg: 4.15 4.13 4.10 5/268 64132
/proc/meminfo: memFree=93621124/131249996 swapFree=33010160/33010684
[pid=63945] ppid=63900 vsize=31713428 memory=26109824 CPUtime=1254.47 cores=5,7
/proc/63945/stat : 63945 (roundingsat) R 63900 63903 63028 0 -1 4194304 4260707 0 0 0 124045 1402 0 0 20 0 1 0 60600161 32474550272 6527456 18446744073709551615 4227072 8923433 140737023680016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19374080 140737023687012 140737023687208 140737023687208 140737023692778 0
/proc/63945/statm: 7928357 6527456 2112 1147 0 7915784 0
Current cumulated CPU time of completed processes: 11.4243 s
Current children cumulated CPU time: 1254.47 s
Current children cumulated vsize: 31713428 KiB
Current children cumulated memory: 26109824 KiB
[startup+1269.9 s]
/proc/loadavg: 4.15 4.13 4.10 5/268 64132
/proc/meminfo: memFree=93621124/131249996 swapFree=33010160/33010684
[pid=63945] ppid=63900 vsize=31713428 memory=26109824 CPUtime=1254.57 cores=5,7
/proc/63945/stat : 63945 (roundingsat) R 63900 63903 63028 0 -1 4194304 4260707 0 0 0 124055 1402 0 0 20 0 1 0 60600161 32474550272 6527456 18446744073709551615 4227072 8923433 140737023680016 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19374080 140737023687012 140737023687208 140737023687208 140737023692778 0
/proc/63945/statm: 7928357 6527456 2112 1147 0 7915784 0
Current cumulated CPU time of completed processes: 11.4243 s
Current children cumulated CPU time: 1254.57 s
Current children cumulated vsize: 31713428 KiB
Current children cumulated memory: 26109824 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1270.53
CPU time (s): 1266.63
CPU user time (s): 1250.79
CPU system time (s): 15.8379
CPU usage (%): 99.6934
Max. virtual memory (cumulated for all children) (KiB): 31764240
Max. memory (cumulated for all children) (KiB): 26159376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1250.79
system time used= 15.8379
maximum resident set size= 26156432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4392150
page faults= 0
swaps= 0
block input operations= 0
block output operations= 447584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 274
involuntary context switches= 7430
# summary of solver processes directly reported to runsolver:
# pid: 63903,63945
# total CPU time (s): 1266.63
# total CPU user time (s): 1250.79
# total CPU system time (s): 15.8379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.50781 second user time and 5.93282 second system time
The end
Begin job on nodeC021 at 2025-07-02 11:40:13
IDJOB=4505404
IDBENCH=155756
IDSOLVER=3359
FILE ID=nodeC021/4505404-1751449212
RUNJOBID= nodeC021-1751441985-63041
SLURM_JOB_ID= 9598406
Free space on /tmp= 430672 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_1_mh.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505404-1751449212/watcher-4505404-1751449212 -o /tmp/evaluation-result-4505404-1751449212/solver-4505404-1751449212 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751441985-63041 --watchdog 3760 run-opt-break.sh HOME/instance-4505404-1751449212.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fb79dc5ec425f6747fbd9d81f9d6ccc8
RANDOM SEED=413285603
nodeC021 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.768
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.56
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.734
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.56
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 : 3598.654
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.56
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 : 3578.703
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.56
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.781
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.56
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.772
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.56
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 : 3616.695
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.56
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 : 3714.967
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 115905628 kB
MemAvailable: 119850608 kB
Buffers: 2128 kB
Cached: 4683744 kB
SwapCached: 20 kB
Active: 10299536 kB
Inactive: 4205092 kB
Active(anon): 9825872 kB
Inactive(anon): 10924 kB
Active(file): 473664 kB
Inactive(file): 4194168 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 451148 kB
Writeback: 0 kB
AnonPages: 9820900 kB
Mapped: 111024 kB
Shmem: 18040 kB
KReclaimable: 232376 kB
Slab: 324600 kB
SReclaimable: 232376 kB
SUnreclaim: 92224 kB
KernelStack: 4224 kB
PageTables: 23092 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 11267448 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5732352 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430652 MiB
End job on nodeC021 at 2025-07-02 12:01:24