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-4503063-1751483517.opb'
0.46/0.58 c read 49.48MB (576.71ms)
0.46/0.58 c [cnf: #variables 15008 #clauses 65281 #duplicates 0 #arr 5388960]
0.54/6.14 c output proof to 'PROOFDIR/proof-4503063-1751483517'
0.54/6.14 c
0.54/6.14 c make graph and approximate orbits
0.80/6.42 c [group: #orbits ~= 328] (281.84ms)
0.80/6.42 c
0.80/6.42 c detect special group actions
0.80/6.42 c probe for Johnson action (limit=64)
1.09/6.72 c probe for row-column symmetry (limit=64, splits=16.78M)
1.29/6.93 c probe for row symmetry (limit=64, splits=16.78M)
5.28/10.93 c (4507.85ms)
5.28/10.93 c
5.28/10.93 c detect symmetries on remainder
5.28/10.93 c [graph: #vertices 110305 #edges 10837952]
5.28/10.94 c dejavu (support_limit=2048.00MB, budget_limit=64)
6.48/12.18 c [group: #symmetries 2.56*10^2 #generators 8] (1246.31ms)
6.48/12.18 c
6.48/12.18 c optimize generators (opt_passes=64, conjugate_limit=256)
6.48/12.18 c (0.04ms)
6.48/12.18 c
6.48/12.18 c finalize break order and special generators
6.48/12.18 c
6.48/12.18 c add generic predicates (break_depth=20)
6.48/12.18 c added predicates for 8 generators (0.74ms)
6.48/12.18 c
6.48/12.18 c generation finished
6.48/12.18 c [sbp: #constraints 0 #add_vars 0]
6.48/12.18 c
6.48/12.18 c write result to 'HOME/instance-4503063-1751483517.opb.pre'
6.57/12.29 c wrote 49.54MB (104.83ms)
6.57/12.29 c ------------------------------------------------------------------
6.57/12.29 c 5561.17ms 45.28% other
6.57/12.29 c 4507.85ms 36.71% detect_special
6.57/12.29 c 1246.31ms 10.15% detect_generic
6.57/12.29 c 576.71ms 4.70% parse
6.57/12.29 c 281.84ms 2.29% approx_orbits
6.57/12.29 c 104.83ms 0.85% output
6.57/12.29 c 1.38ms 0.01% finalize_order
6.57/12.29 c 0.74ms 0.01% break_generic
6.57/12.29 c 0.04ms 0.00% optimize_gens
6.57/12.29 c ───────────────────────────────────────────────
6.57/12.29 c 12280.87ms 100% total
6.57/12.29 c ------------------------------------------------------------------
6.67/12.31 c RoundingSat 2
6.67/12.31 c branch pb25
6.67/12.31 c commit 63f22ad
9.16/14.85 c #variables 15008 #constraints 65280
9.16/14.85 c objective is ce32
26.00/31.70 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
26.00/31.70 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
26.00/31.70 c bounds 247 >= 0 @ 19.0802
46.04/51.82 c bounds 246 >= 0 @ 38.8774
46.04/51.84 c bounds 246 >= 1 @ 38.8943
46.04/51.85 c bounds 246 >= 2 @ 38.9014
46.04/51.86 c bounds 246 >= 3 @ 38.9081
46.04/51.87 c bounds 246 >= 4 @ 38.9144
46.04/51.89 c bounds 246 >= 5 @ 38.926
46.14/51.90 c bounds 246 >= 6 @ 38.932
46.14/51.91 c bounds 246 >= 7 @ 38.9397
46.14/51.93 c bounds 246 >= 8 @ 38.9458
46.14/51.94 c bounds 246 >= 9 @ 38.9517
46.14/51.95 c bounds 246 >= 10 @ 38.9585
46.14/51.96 c bounds 246 >= 11 @ 38.9666
46.14/51.98 c bounds 246 >= 12 @ 38.9735
46.14/51.99 c bounds 246 >= 13 @ 38.9803
46.14/52.00 c bounds 246 >= 14 @ 38.9852
46.24/52.01 c bounds 246 >= 15 @ 38.9932
46.24/52.03 c bounds 246 >= 16 @ 39.0022
46.24/52.04 c bounds 246 >= 17 @ 39.0072
46.24/52.05 c bounds 246 >= 18 @ 39.0148
46.24/52.08 c bounds 246 >= 19 @ 39.0352
46.73/52.56 c bounds 245 >= 19 @ 39.4921
46.83/52.60 c bounds 245 >= 20 @ 39.5166
46.83/52.61 c bounds 245 >= 21 @ 39.5227
46.83/52.63 c bounds 245 >= 22 @ 39.5326
46.83/52.64 c bounds 245 >= 23 @ 39.5409
46.83/52.66 c bounds 245 >= 24 @ 39.5532
46.83/52.68 c bounds 245 >= 25 @ 39.5636
46.93/52.71 c bounds 245 >= 26 @ 39.577
46.93/52.73 c bounds 245 >= 27 @ 39.5883
46.93/52.77 c bounds 245 >= 28 @ 39.6237
47.14/52.98 c bounds 245 >= 29 @ 39.8083
49.82/55.65 c #Conflicts: 1000 | #Constraints: 66470
49.82/55.65 c bounds 245 >= 30 @ 42.3761
50.12/55.94 c bounds 244 >= 30 @ 42.637
50.12/55.97 c bounds 243 >= 30 @ 42.6548
50.23/56.04 c bounds 242 >= 30 @ 42.7063
50.23/56.09 c bounds 241 >= 30 @ 42.7457
50.33/56.15 c bounds 240 >= 30 @ 42.8016
50.73/56.53 c bounds 239 >= 30 @ 43.166
50.83/56.67 c bounds 238 >= 30 @ 43.2742
51.12/56.91 c bounds 237 >= 30 @ 43.496
51.23/57.04 c bounds 236 >= 30 @ 43.6137
51.32/57.17 c bounds 235 >= 30 @ 43.7289
52.12/57.97 c bounds 234 >= 30 @ 44.4982
52.23/58.02 c bounds 233 >= 30 @ 44.5371
52.42/58.25 c bounds 232 >= 30 @ 44.738
61.69/67.54 c #Conflicts: 2000 | #Constraints: 67525
61.69/67.54 c INPROCESSING
61.69/67.54 c GARBAGE COLLECT
61.69/67.54 c bounds 231 >= 30 @ 53.9565
61.80/67.60 c bounds 230 >= 30 @ 54.0053
62.39/68.27 c bounds 229 >= 30 @ 54.6617
62.89/68.71 c bounds 228 >= 30 @ 55.0749
62.99/68.82 c bounds 227 >= 30 @ 55.1728
63.30/69.11 c bounds 226 >= 30 @ 55.4503
63.30/69.17 c bounds 225 >= 30 @ 55.4939
63.39/69.28 c bounds 224 >= 30 @ 55.5919
63.59/69.48 c bounds 223 >= 30 @ 55.7763
63.98/69.86 c bounds 222 >= 30 @ 56.1347
84.13/90.07 c #Conflicts: 3000 | #Constraints: 67482
84.13/90.07 c #Conflicts: 4000 | #Constraints: 68482
84.13/90.07 c INPROCESSING
84.13/90.07 c GARBAGE COLLECT
84.13/90.07 c bounds 221 >= 30 @ 76.0938
84.13/90.09 c bounds 220 >= 30 @ 76.1129
84.23/90.12 c bounds 219 >= 30 @ 76.1272
84.23/90.14 c bounds 218 >= 30 @ 76.1418
84.23/90.17 c bounds 217 >= 30 @ 76.156
84.33/90.20 c bounds 216 >= 30 @ 76.1838
84.33/90.24 c bounds 215 >= 30 @ 76.2155
84.33/90.27 c bounds 214 >= 30 @ 76.2413
84.43/90.31 c bounds 213 >= 30 @ 76.2786
84.43/90.37 c bounds 212 >= 30 @ 76.3354
84.63/90.57 c bounds 211 >= 30 @ 76.5225
84.72/90.66 c bounds 210 >= 30 @ 76.6026
84.83/90.74 c bounds 209 >= 30 @ 76.6742
85.03/90.91 c bounds 208 >= 30 @ 76.8259
85.62/91.50 c bounds 207 >= 30 @ 77.3802
86.92/92.87 c bounds 206 >= 30 @ 78.7258
87.52/93.45 c bounds 205 >= 30 @ 79.2826
87.72/93.60 c bounds 204 >= 30 @ 79.4324
87.92/93.87 c bounds 203 >= 30 @ 79.685
88.02/93.98 c bounds 202 >= 30 @ 79.7771
88.52/94.42 c bounds 201 >= 30 @ 80.1886
88.72/94.60 c bounds 200 >= 30 @ 80.3589
88.92/94.81 c #Conflicts: 5000 | #Constraints: 67881
88.92/94.81 c bounds 199 >= 30 @ 80.5523
89.01/94.92 c bounds 198 >= 30 @ 80.6528
89.12/95.02 c bounds 197 >= 30 @ 80.7311
89.22/95.11 c bounds 196 >= 30 @ 80.7917
89.22/95.16 c bounds 195 >= 30 @ 80.8359
89.32/95.22 c bounds 194 >= 30 @ 80.8726
89.42/95.31 c bounds 193 >= 30 @ 80.958
89.42/95.36 c bounds 192 >= 30 @ 81.0009
89.51/95.40 c bounds 191 >= 30 @ 81.0331
89.51/95.44 c bounds 190 >= 30 @ 81.0692
89.71/95.61 c bounds 189 >= 30 @ 81.2191
89.82/95.76 c bounds 188 >= 30 @ 81.3514
92.01/97.90 c bounds 187 >= 30 @ 83.4304
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 (63002 MiB free)
memory of node 1: 64465 MiB (63935 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503063-1751483517/watcher-4503063-1751483517 -o /tmp/evaluation-result-4503063-1751483517/solver-4503063-1751483517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751483517-68409 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4503063-1751483517.opb PROOFDIR/proof-4503063-1751483517
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=68469, runsolver pid=68466
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 0.99 1.19 2.05 2/269 68471
/proc/meminfo: memFree=129952720/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68471] ppid=68469 vsize=44560 memory=34432 CPUtime=0.08 cores=4,6
/proc/68471/stat : 68471 (pbsuma) R 68469 68469 68398 0 -1 4194304 7989 0 0 0 7 1 0 0 20 0 1 0 64029589 45629440 8608 18446744073709551615 4210688 4653049 140724532708448 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 19935232 140724532713699 140724532714034 140724532714034 140724532719599 0
/proc/68471/statm: 11140 8608 960 108 0 8548 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 48752 KiB
Current children cumulated memory: 37376 KiB
[startup+0.205485 s]*
/proc/loadavg: 0.99 1.19 2.05 2/269 68471
/proc/meminfo: memFree=129929156/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68471] ppid=68469 vsize=69300 memory=57264 CPUtime=0.18 cores=4,6
/proc/68471/stat : 68471 (pbsuma) R 68469 68469 68398 0 -1 4194304 13116 0 0 0 17 1 0 0 20 0 1 0 64029589 70963200 14316 18446744073709551615 4210688 4653049 140724532708448 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 19935232 140724532713699 140724532714034 140724532714034 140724532719599 0
/proc/68471/statm: 17325 14316 960 108 0 14733 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 73492 KiB
Current children cumulated memory: 60208 KiB
[startup+0.305487 s]*
/proc/loadavg: 0.99 1.19 2.05 2/269 68471
/proc/meminfo: memFree=129900804/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68471] ppid=68469 vsize=93348 memory=82868 CPUtime=0.27 cores=4,6
/proc/68471/stat : 68471 (pbsuma) R 68469 68469 68398 0 -1 4194304 17294 0 0 0 25 2 0 0 20 0 1 0 64029589 95588352 20717 18446744073709551615 4210688 4653049 140724532708448 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 19935232 140724532713699 140724532714034 140724532714034 140724532719599 0
/proc/68471/statm: 23337 20717 960 108 0 20745 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 97540 KiB
Current children cumulated memory: 85812 KiB
[startup+0.700207 s]
/proc/loadavg: 0.99 1.19 2.05 3/269 68471
/proc/meminfo: memFree=129866652/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68471] ppid=68469 vsize=164456 memory=145708 CPUtime=0.54 cores=4,6
/proc/68471/stat : 68471 (pbsuma) D 68469 68469 68398 0 -1 4194304 28748 0 0 0 49 5 0 0 20 0 1 0 64029589 168402944 36427 18446744073709551615 4210688 4653049 140724532708448 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 4700520 4703148 19935232 140724532713699 140724532714034 140724532714034 140724532719599 0
/proc/68471/statm: 41114 36427 992 108 0 38522 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 168648 KiB
Current children cumulated memory: 148652 KiB
[startup+1.50018 s]
/proc/loadavg: 0.99 1.19 2.05 1/269 68471
/proc/meminfo: memFree=129834396/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68471] ppid=68469 vsize=164456 memory=145708 CPUtime=0.54 cores=4,6
/proc/68471/stat : 68471 (pbsuma) D 68469 68469 68398 0 -1 4194304 28748 0 0 0 49 5 0 0 20 0 1 0 64029589 168402944 36427 18446744073709551615 4210688 4653049 140724532708448 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 4700520 4703148 19935232 140724532713699 140724532714034 140724532714034 140724532719599 0
/proc/68471/statm: 41114 36427 992 108 0 38522 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 168648 KiB
Current children cumulated memory: 148652 KiB
[startup+3.10461 s]
/proc/loadavg: 1.31 1.25 2.07 1/269 68471
/proc/meminfo: memFree=129834920/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68471] ppid=68469 vsize=164456 memory=145708 CPUtime=0.54 cores=4,6
/proc/68471/stat : 68471 (pbsuma) D 68469 68469 68398 0 -1 4194304 28748 0 0 0 49 5 0 0 20 0 1 0 64029589 168402944 36427 18446744073709551615 4210688 4653049 140724532708448 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 4700520 4703148 19935232 140724532713699 140724532714034 140724532714034 140724532719599 0
/proc/68471/statm: 41114 36427 992 108 0 38522 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 168648 KiB
Current children cumulated memory: 148652 KiB
heavy processes:
[startup+6.3002 s]
/proc/loadavg: 1.31 1.25 2.07 1/269 68471
/proc/meminfo: memFree=129835664/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68471] ppid=68469 vsize=255496 memory=202624 CPUtime=0.7 cores=4,6
/proc/68471/stat : 68471 (pbsuma) R 68469 68469 68398 0 -1 4194304 31220 0 0 0 63 7 0 0 20 0 1 0 64029589 261627904 50656 18446744073709551615 4210688 4653049 140724532708448 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 19935232 140724532713699 140724532714034 140724532714034 140724532719599 0
/proc/68471/statm: 63874 50656 992 108 0 61282 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 259688 KiB
Current children cumulated memory: 205568 KiB
heavy processes:
[startup+12.7001 s]
/proc/loadavg: 1.52 1.30 2.08 5/273 68478
/proc/meminfo: memFree=129057704/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=6.69 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 242 42150 0 0 0 0 655 14 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 6.69 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 2.07 1.43 2.11 5/273 68479
/proc/meminfo: memFree=128008816/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=6.69 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 242 42150 0 0 0 0 655 14 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68479] ppid=68469 vsize=394140 memory=345912 CPUtime=13.12 cores=4,6
/proc/68479/stat : 68479 (roundingsat) R 68469 68469 68398 0 -1 4194304 76546 0 0 0 1289 23 0 0 20 0 1 0 64030819 403599360 86478 18446744073709551615 4227072 8923433 140725252319664 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10989568 140725252327670 140725252327976 140725252327976 140725252333546 0
/proc/68479/statm: 98535 86478 2304 1147 0 85962 0
Current children cumulated CPU time: 19.81 s
Current children cumulated vsize: 398332 KiB
Current children cumulated memory: 348856 KiB
heavy processes:
[startup+51.1056 s]
/proc/loadavg: 2.81 1.65 2.17 5/273 68479
/proc/meminfo: memFree=126251472/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=6.69 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 242 42150 0 0 0 0 655 14 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68479] ppid=68469 vsize=664128 memory=615980 CPUtime=38.66 cores=4,6
/proc/68479/stat : 68479 (roundingsat) R 68469 68469 68398 0 -1 4194304 93795 0 0 0 3817 49 0 0 20 0 1 0 64030819 680067072 153995 18446744073709551615 4227072 8923433 140725252319664 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10989568 140725252327670 140725252327976 140725252327976 140725252333546 0
/proc/68479/statm: 166032 153995 2336 1147 0 153459 0
Current children cumulated CPU time: 45.35 s
Current children cumulated vsize: 668320 KiB
Current children cumulated memory: 618924 KiB
[startup+102.3 s]
/proc/loadavg: 3.49 2.02 2.27 5/273 68482
/proc/meminfo: memFree=122817944/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=6.69 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 242 42150 0 0 0 0 655 14 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68479] ppid=68469 vsize=1343320 memory=1230928 CPUtime=89.71 cores=4,6
/proc/68479/stat : 68479 (roundingsat) R 68469 68469 68398 0 -1 4194304 212534 0 0 0 8776 195 0 0 20 0 1 0 64030819 1375559680 307732 18446744073709551615 4227072 8923433 140725252319664 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10989568 140725252327670 140725252327976 140725252327976 140725252333546 0
/proc/68479/statm: 335830 307732 2432 1147 0 323257 0
Current children cumulated CPU time: 96.4 s
Current children cumulated vsize: 1347512 KiB
Current children cumulated memory: 1233872 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 2.40 2.38 5/274 68485
/proc/meminfo: memFree=119611800/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=6.69 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 242 42150 0 0 0 0 655 14 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68479] ppid=68469 vsize=1638352 memory=1506976 CPUtime=149.53 cores=4,6
/proc/68479/stat : 68479 (roundingsat) R 68469 68469 68398 0 -1 4194304 220478 0 0 0 14749 204 0 0 20 0 1 0 64030819 1677672448 376744 18446744073709551615 4227072 8923433 140725252319664 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10989568 140725252327670 140725252327976 140725252327976 140725252333546 0
/proc/68479/statm: 409588 376744 2432 1147 0 397015 0
Current children cumulated CPU time: 156.22 s
Current children cumulated vsize: 1642544 KiB
Current children cumulated memory: 1509920 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.72 2.50 5/274 68487
/proc/meminfo: memFree=116927908/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=6.69 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 242 42150 0 0 0 0 655 14 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68479] ppid=68469 vsize=1689128 memory=1529772 CPUtime=209.34 cores=4,6
################
# More data... #
################
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 242 42150 0 0 0 0 655 14 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68479] ppid=68469 vsize=2913484 memory=2707764 CPUtime=3198.84 cores=4,6
/proc/68479/stat : 68479 (roundingsat) R 68469 68469 68398 0 -1 4194304 327830 0 0 0 319260 624 0 0 20 0 1 0 64030819 2983407616 676941 18446744073709551615 4227072 8923433 140725252319664 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10989568 140725252327670 140725252327976 140725252327976 140725252333546 0
/proc/68479/statm: 728371 676941 2432 1147 0 715798 0
Current children cumulated CPU time: 3205.53 s
Current children cumulated vsize: 2917676 KiB
Current children cumulated memory: 2710708 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/274 68762
/proc/meminfo: memFree=48529236/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=6.69 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 242 42150 0 0 0 0 655 14 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68479] ppid=68469 vsize=2918276 memory=2715188 CPUtime=3258.67 cores=4,6
/proc/68479/stat : 68479 (roundingsat) R 68469 68469 68398 0 -1 4194304 329898 0 0 0 325242 625 0 0 20 0 1 0 64030819 2988314624 678797 18446744073709551615 4227072 8923433 140725252319664 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10989568 140725252327670 140725252327976 140725252327976 140725252333546 0
/proc/68479/statm: 729569 678797 2432 1147 0 716996 0
Current children cumulated CPU time: 3265.36 s
Current children cumulated vsize: 2922468 KiB
Current children cumulated memory: 2718132 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/273 68764
/proc/meminfo: memFree=46540624/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=6.69 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 242 42150 0 0 0 0 655 14 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68479] ppid=68469 vsize=2918276 memory=2715188 CPUtime=3318.52 cores=4,6
/proc/68479/stat : 68479 (roundingsat) R 68469 68469 68398 0 -1 4194304 329898 0 0 0 331227 625 0 0 20 0 1 0 64030819 2988314624 678797 18446744073709551615 4227072 8923433 140725252319664 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10989568 140725252327670 140725252327976 140725252327976 140725252333546 0
/proc/68479/statm: 729569 678797 2432 1147 0 716996 0
Current children cumulated CPU time: 3325.21 s
Current children cumulated vsize: 2922468 KiB
Current children cumulated memory: 2718132 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 68767
/proc/meminfo: memFree=44530876/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=6.69 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 242 42150 0 0 0 0 655 14 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68479] ppid=68469 vsize=2918276 memory=2715188 CPUtime=3378.38 cores=4,6
/proc/68479/stat : 68479 (roundingsat) R 68469 68469 68398 0 -1 4194304 330120 0 0 0 337213 625 0 0 20 0 1 0 64030819 2988314624 678797 18446744073709551615 4227072 8923433 140725252319664 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10989568 140725252327670 140725252327976 140725252327976 140725252333546 0
/proc/68479/statm: 729569 678797 2432 1147 0 716996 0
Current children cumulated CPU time: 3385.07 s
Current children cumulated vsize: 2922468 KiB
Current children cumulated memory: 2718132 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/274 68775
/proc/meminfo: memFree=42506476/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=6.69 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 242 42150 0 0 0 0 655 14 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68479] ppid=68469 vsize=3340028 memory=2777924 CPUtime=3438.23 cores=4,6
/proc/68479/stat : 68479 (roundingsat) R 68469 68469 68398 0 -1 4194304 337725 0 0 0 343179 644 0 0 20 0 1 0 64030819 3420188672 694481 18446744073709551615 4227072 8923433 140725252319664 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10989568 140725252327670 140725252327976 140725252327976 140725252333546 0
/proc/68479/statm: 835007 694481 2432 1147 0 822434 0
Current children cumulated CPU time: 3444.92 s
Current children cumulated vsize: 3344220 KiB
Current children cumulated memory: 2780868 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/274 68777
/proc/meminfo: memFree=40517132/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=6.69 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 242 42150 0 0 0 0 655 14 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68479] ppid=68469 vsize=3341980 memory=2780228 CPUtime=3498.08 cores=4,6
/proc/68479/stat : 68479 (roundingsat) R 68469 68469 68398 0 -1 4194304 338299 0 0 0 349164 644 0 0 20 0 1 0 64030819 3422187520 695057 18446744073709551615 4227072 8923433 140725252319664 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10989568 140725252327670 140725252327976 140725252327976 140725252333546 0
/proc/68479/statm: 835495 695057 2432 1147 0 822922 0
Current children cumulated CPU time: 3504.77 s
Current children cumulated vsize: 3346172 KiB
Current children cumulated memory: 2783172 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/275 68782
/proc/meminfo: memFree=38865184/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=6.69 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 242 42150 0 0 0 0 655 14 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68479] ppid=68469 vsize=3341980 memory=2780228 CPUtime=3557.93 cores=4,6
/proc/68479/stat : 68479 (roundingsat) R 68469 68469 68398 0 -1 4194304 338365 0 0 0 355149 644 0 0 20 0 1 0 64030819 3422187520 695057 18446744073709551615 4227072 8923433 140725252319664 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10989568 140725252327670 140725252327976 140725252327976 140725252333546 0
/proc/68479/statm: 835495 695057 2432 1147 0 822922 0
Current children cumulated CPU time: 3564.62 s
Current children cumulated vsize: 3346172 KiB
Current children cumulated memory: 2783172 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3617.8 s]
/proc/loadavg: 4.13 4.10 4.09 5/274 68783
/proc/meminfo: memFree=38161564/131249996 swapFree=33004236/33010684
[pid=68469] ppid=68466 vsize=4192 memory=2944 CPUtime=6.69 cores=4,6
/proc/68469/stat : 68469 (run-opt-ls-log.) S 68466 68469 68398 0 -1 4194304 242 42150 0 0 0 0 655 14 20 0 1 0 64029588 4292608 736 18446744073709551615 94424043425792 94424044320325 140721208309968 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94424044559376 94424044607120 94424076001280 140721208314139 140721208314337 140721208314337 140721208319939 0
/proc/68469/statm: 1048 736 672 219 0 110 0
[pid=68479] ppid=68469 vsize=3341980 memory=2780228 CPUtime=3593.32 cores=4,6
/proc/68479/stat : 68479 (roundingsat) R 68469 68469 68398 0 -1 4194304 338375 0 0 0 358688 644 0 0 20 0 1 0 64030819 3422187520 695057 18446744073709551615 4227072 8923433 140725252319664 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10989568 140725252327670 140725252327976 140725252327976 140725252333546 0
/proc/68479/statm: 835495 695057 2432 1147 0 822922 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3346172 KiB
Current children cumulated memory: 2783172 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3617.8 s]
# the end of solver process 68469 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=6.55127 s, system=0.141276 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3619.82 s]
# the end of solver process 68479 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3595.43 s, system=6.59827 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+3619.2 s]
/proc/loadavg: 4.12 4.10 4.09 4/272 68783
/proc/meminfo: memFree=38144728/131249996 swapFree=33004236/33010684
[pid=68479] ppid=68466 vsize=3341980 memory=2780228 CPUtime=3594.72 cores=4,6
/proc/68479/stat : 68479 (roundingsat) R 68466 68469 68398 0 -1 4194304 338375 0 0 0 358828 644 0 0 20 0 1 0 64030819 3422187520 695057 18446744073709551615 4227072 8923433 140725252319664 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10989568 140725252327670 140725252327976 140725252327976 140725252333546 0
/proc/68479/statm: 835495 695057 2432 1147 0 822922 0
Current cumulated CPU time of completed processes: 6.69255 s
Current children cumulated CPU time: 3594.72 s
Current children cumulated vsize: 3341980 KiB
Current children cumulated memory: 2780228 KiB
[startup+3619.6 s]
/proc/loadavg: 4.12 4.10 4.09 4/272 68783
/proc/meminfo: memFree=38144728/131249996 swapFree=33004236/33010684
[pid=68479] ppid=68466 vsize=3341980 memory=2780228 CPUtime=3595.12 cores=4,6
/proc/68479/stat : 68479 (roundingsat) R 68466 68469 68398 0 -1 4194304 338375 0 0 0 358868 644 0 0 20 0 1 0 64030819 3422187520 695057 18446744073709551615 4227072 8923433 140725252319664 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10989568 140725252327670 140725252327976 140725252327976 140725252333546 0
/proc/68479/statm: 835495 695057 2432 1147 0 822922 0
Current cumulated CPU time of completed processes: 6.69255 s
Current children cumulated CPU time: 3595.12 s
Current children cumulated vsize: 3341980 KiB
Current children cumulated memory: 2780228 KiB
[startup+3619.8 s]
/proc/loadavg: 4.12 4.10 4.09 4/272 68783
/proc/meminfo: memFree=38144728/131249996 swapFree=33004236/33010684
[pid=68479] ppid=68466 vsize=3341980 memory=2780228 CPUtime=3595.31 cores=4,6
/proc/68479/stat : 68479 (roundingsat) R 68466 68469 68398 0 -1 4194304 338375 0 0 0 358887 644 0 0 20 0 1 0 64030819 3422187520 695057 18446744073709551615 4227072 8923433 140725252319664 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10989568 140725252327670 140725252327976 140725252327976 140725252333546 0
/proc/68479/statm: 835495 695057 2432 1147 0 822922 0
Current cumulated CPU time of completed processes: 6.69255 s
Current children cumulated CPU time: 3595.31 s
Current children cumulated vsize: 3341980 KiB
Current children cumulated memory: 2780228 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3619.82
CPU time (s): 3602.03
CPU user time (s): 3595.43
CPU system time (s): 6.59827
CPU usage (%): 99.5086
Max. virtual memory (cumulated for all children) (KiB): 3733068
Max. memory (cumulated for all children) (KiB): 2962528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.43
system time used= 6.59827
maximum resident set size= 3162336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380767
page faults= 0
swaps= 0
block input operations= 0
block output operations= 707192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 250
involuntary context switches= 5395
# summary of solver processes directly reported to runsolver:
# pid: 68469,68479
# total CPU time (s): 3602.03
# total CPU user time (s): 3595.43
# total CPU system time (s): 6.59827
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5171 second user time and 17.9296 second system time
The end
Begin job on nodeC023 at 2025-07-02 21:11:57
IDJOB=4503063
IDBENCH=155404
IDSOLVER=3356
FILE ID=nodeC023/4503063-1751483517
RUNJOBID= nodeC023-1751483517-68409
SLURM_JOB_ID= 9598532
Free space on /tmp= 431800 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_11_shg.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503063-1751483517/watcher-4503063-1751483517 -o /tmp/evaluation-result-4503063-1751483517/solver-4503063-1751483517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751483517-68409 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4503063-1751483517.opb PROOFDIR/proof-4503063-1751483517
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1fbef458f61b2221fcf0474a376c4852
RANDOM SEED=223398139
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.212
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.78
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 : 3700.000
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.78
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 : 3595.779
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.78
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 : 1200.025
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.78
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 : 3600.002
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.78
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 : 1884.230
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.78
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 : 3595.217
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.78
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 : 3700.000
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129984536 kB
MemAvailable: 129731396 kB
Buffers: 16 kB
Cached: 545016 kB
SwapCached: 596 kB
Active: 277092 kB
Inactive: 365320 kB
Active(anon): 76048 kB
Inactive(anon): 34740 kB
Active(file): 201044 kB
Inactive(file): 330580 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33004236 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 79296 kB
Writeback: 0 kB
AnonPages: 99948 kB
Mapped: 100776 kB
Shmem: 13396 kB
KReclaimable: 108948 kB
Slab: 198984 kB
SReclaimable: 108948 kB
SUnreclaim: 90036 kB
KernelStack: 4320 kB
PageTables: 3260 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 430228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 30720 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431740 MiB
End job on nodeC023 at 2025-07-02 22:12:17