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-4502926-1751422092.opb'
8.35/8.45 c read 602.90MB (8445.03ms)
8.35/8.45 c [cnf: #variables 136253 #clauses 65281 #duplicates 0 #arr 59258941]
8.35/8.46 c
8.35/8.46 c make graph and approximate orbits
11.35/11.42 c [group: #orbits ~= 0] (2959.27ms)
11.35/11.42 c
11.35/11.42 c detect special group actions
11.35/11.42 c probe for Johnson action (limit=64)
11.35/11.42 c probe for row-column symmetry (limit=64, splits=16.78M)
11.35/11.43 c probe for row symmetry (limit=64, splits=16.78M)
11.35/11.44 c (24.52ms)
11.35/11.44 c
11.35/11.44 c detect symmetries on remainder
11.35/11.44 c [graph: #vertices 474040 #edges 119062894]
11.45/11.58 c dejavu (support_limit=2048.00MB, budget_limit=64)
11.64/11.70 c [group: #symmetries 1.00*10^0 #generators 0] (265.11ms)
11.64/11.70 c
11.64/11.70 c finalize break order and special generators
11.64/11.71 c
11.64/11.71 c generation finished
11.64/11.71 c [sbp: #constraints 0 #add_vars 0]
11.64/11.72 c
11.64/11.72 c write result to 'HOME/instance-4502926-1751422092.opb.pre'
12.95/13.01 c wrote 602.96MB (1286.88ms)
12.95/13.01 c ------------------------------------------------------------------
12.95/13.01 c 8445.03ms 64.96% parse
12.95/13.01 c 2959.27ms 22.76% approx_orbits
12.95/13.01 c 1286.88ms 9.90% output
12.95/13.01 c 265.11ms 2.04% detect_generic
12.95/13.01 c 24.52ms 0.19% detect_special
12.95/13.01 c 14.38ms 0.11% other
12.95/13.01 c 5.86ms 0.05% finalize_order
12.95/13.01 c ───────────────────────────────────────────────
12.95/13.01 c 13001.05ms 100% total
12.95/13.01 c ------------------------------------------------------------------
12.95/13.09 c RoundingSat 2
12.95/13.09 c branch pb25
12.95/13.09 c commit 63f22ad
28.80/28.98 c #variables 136253 #constraints 65280
28.80/28.98 c objective is ce32
28.80/28.99 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
28.80/28.99 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
28.80/28.99 c bounds - >= 0 @ 15.2691
53.72/53.97 c bounds 810 >= 0 @ 37.66
53.82/54.09 c bounds 810 >= 1 @ 37.7156
53.93/54.19 c bounds 810 >= 2 @ 37.7576
54.02/54.29 c bounds 810 >= 3 @ 37.8004
54.22/54.40 c bounds 810 >= 4 @ 37.8426
54.32/54.50 c bounds 810 >= 5 @ 37.8887
54.42/54.60 c bounds 810 >= 6 @ 37.9339
54.52/54.70 c bounds 810 >= 7 @ 37.9767
54.62/54.80 c bounds 810 >= 8 @ 38.0256
54.72/54.91 c bounds 810 >= 9 @ 38.066
54.83/55.01 c bounds 810 >= 10 @ 38.1066
54.92/55.11 c bounds 810 >= 11 @ 38.1521
55.02/55.20 c bounds 810 >= 12 @ 38.1933
55.12/55.30 c bounds 810 >= 13 @ 38.2315
55.22/55.40 c bounds 810 >= 14 @ 38.2705
55.32/55.50 c bounds 810 >= 15 @ 38.3135
55.42/55.60 c bounds 810 >= 16 @ 38.3556
55.52/55.70 c bounds 810 >= 17 @ 38.4002
55.62/55.80 c bounds 810 >= 18 @ 38.442
55.62/55.89 c bounds 810 >= 19 @ 38.4844
55.72/55.99 c bounds 810 >= 20 @ 38.5218
55.83/56.09 c bounds 810 >= 21 @ 38.5662
55.92/56.18 c bounds 810 >= 22 @ 38.6095
56.02/56.28 c bounds 810 >= 23 @ 38.6555
56.12/56.38 c bounds 810 >= 24 @ 38.6998
56.22/56.47 c bounds 810 >= 25 @ 38.7416
56.32/56.57 c bounds 810 >= 26 @ 38.7815
56.42/56.67 c bounds 810 >= 27 @ 38.8231
56.52/56.77 c bounds 810 >= 28 @ 38.8593
56.62/56.87 c bounds 810 >= 29 @ 38.8986
56.72/56.97 c bounds 810 >= 30 @ 38.9461
56.82/57.07 c bounds 810 >= 31 @ 38.9868
56.93/57.17 c bounds 810 >= 32 @ 39.0315
57.11/57.30 c bounds 810 >= 33 @ 39.0875
57.22/57.42 c bounds 810 >= 34 @ 39.1368
57.32/57.53 c bounds 810 >= 35 @ 39.1797
57.42/57.65 c bounds 810 >= 36 @ 39.2238
57.52/57.77 c bounds 810 >= 37 @ 39.2764
57.61/57.89 c bounds 810 >= 38 @ 39.3258
57.82/58.02 c bounds 810 >= 39 @ 39.3822
57.92/58.15 c bounds 810 >= 40 @ 39.433
58.02/58.27 c bounds 810 >= 41 @ 39.4837
58.11/58.39 c bounds 810 >= 42 @ 39.5295
58.32/58.52 c bounds 810 >= 43 @ 39.5666
58.42/58.64 c bounds 810 >= 44 @ 39.6192
58.51/58.76 c bounds 810 >= 45 @ 39.6609
58.72/58.90 c bounds 810 >= 46 @ 39.7293
58.82/59.06 c bounds 810 >= 47 @ 39.8026
59.01/59.29 c bounds 810 >= 48 @ 39.9701
61.11/61.35 c bounds 810 >= 49 @ 41.7757
63.80/64.08 c bounds 810 >= 50 @ 44.2708
275.36/276.17 c #Conflicts: 1000 | #Constraints: 66532
275.36/276.17 c #Conflicts: 2000 | #Constraints: 67532
275.36/276.17 c INPROCESSING
275.36/276.17 c GARBAGE COLLECT
275.36/276.17 c bounds 809 >= 50 @ 253.842
277.75/278.56 c bounds 808 >= 50 @ 256.094
286.23/287.07 c bounds 807 >= 50 @ 264.182
298.10/298.97 c bounds 806 >= 50 @ 275.708
306.08/306.93 c #Conflicts: 3000 | #Constraints: 67486
306.08/306.93 c bounds 806 >= 51 @ 283.284
710.71/712.70 c #Conflicts: 4000 | #Constraints: 68534
710.71/712.70 c INPROCESSING
710.71/712.70 c GARBAGE COLLECT
710.71/712.70 c #Conflicts: 5000 | #Constraints: 67911
710.71/712.70 c #Conflicts: 6000 | #Constraints: 68911
710.71/712.70 c INPROCESSING
710.71/712.70 c GARBAGE COLLECT
710.71/712.70 c #Conflicts: 7000 | #Constraints: 67919
710.71/712.70 c bounds 805 >= 51 @ 684.913
787.27/789.53 c #Conflicts: 8000 | #Constraints: 68920
787.27/789.53 c #Conflicts: 9000 | #Constraints: 69920
787.27/789.53 c bounds 805 >= 52 @ 760.561
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 (60878 MiB free)
memory of node 1: 64465 MiB (60965 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502926-1751422092/watcher-4502926-1751422092 -o /tmp/evaluation-result-4502926-1751422092/solver-4502926-1751422092 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751414736-67086 --watchdog 3760 run-opt-break.sh HOME/instance-4502926-1751422092.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 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=69827, runsolver pid=69824
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 3.09 3.15 3.14 4/263 69829
/proc/meminfo: memFree=124736568/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69829] ppid=69827 vsize=56968 memory=44036 CPUtime=0.08 cores=0,2
/proc/69829/stat : 69829 (pbsuma) R 69827 69827 67073 0 -1 4194304 7782 0 0 0 7 1 0 0 20 0 1 0 57888226 58335232 11009 18446744073709551615 4210688 4653049 140724418518512 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 29343744 140724418525539 140724418525746 140724418525746 140724418531311 0
/proc/69829/statm: 14242 11009 960 108 0 11650 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61160 KiB
Current children cumulated memory: 46980 KiB
[startup+0.205439 s]*
/proc/loadavg: 3.09 3.15 3.14 4/263 69829
/proc/meminfo: memFree=124733040/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69829] ppid=69827 vsize=75440 memory=61672 CPUtime=0.19 cores=0,2
/proc/69829/stat : 69829 (pbsuma) R 69827 69827 67073 0 -1 4194304 11196 0 0 0 17 2 0 0 20 0 1 0 57888226 77250560 15418 18446744073709551615 4210688 4653049 140724418518512 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 29343744 140724418525539 140724418525746 140724418525746 140724418531311 0
/proc/69829/statm: 18860 15418 960 108 0 16268 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 79632 KiB
Current children cumulated memory: 64616 KiB
[startup+0.305394 s]*
/proc/loadavg: 3.09 3.15 3.14 4/263 69829
/proc/meminfo: memFree=124715084/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69829] ppid=69827 vsize=93360 memory=79916 CPUtime=0.29 cores=0,2
/proc/69829/stat : 69829 (pbsuma) R 69827 69827 67073 0 -1 4194304 14744 0 0 0 26 3 0 0 20 0 1 0 57888226 95600640 19979 18446744073709551615 4210688 4653049 140724418518512 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 29343744 140724418525539 140724418525746 140724418525746 140724418531311 0
/proc/69829/statm: 23340 19979 960 108 0 20748 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 97552 KiB
Current children cumulated memory: 82860 KiB
[startup+0.7002 s]
/proc/loadavg: 3.09 3.15 3.14 4/263 69829
/proc/meminfo: memFree=124678980/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69829] ppid=69827 vsize=168724 memory=139920 CPUtime=0.67 cores=0,2
/proc/69829/stat : 69829 (pbsuma) R 69827 69827 67073 0 -1 4194304 24847 0 0 0 61 6 0 0 20 0 1 0 57888226 172773376 34980 18446744073709551615 4210688 4653049 140724418518512 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 29343744 140724418525539 140724418525746 140724418525746 140724418531311 0
/proc/69829/statm: 42181 34980 960 108 0 39589 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 172916 KiB
Current children cumulated memory: 142864 KiB
[startup+1.5002 s]
/proc/loadavg: 3.09 3.15 3.14 4/263 69829
/proc/meminfo: memFree=124590000/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69829] ppid=69827 vsize=306544 memory=263960 CPUtime=1.47 cores=0,2
/proc/69829/stat : 69829 (pbsuma) R 69827 69827 67073 0 -1 4194304 45922 0 0 0 133 14 0 0 20 0 1 0 57888226 313901056 65990 18446744073709551615 4210688 4653049 140724418518512 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 29343744 140724418525539 140724418525746 140724418525746 140724418531311 0
/proc/69829/statm: 76636 65990 960 108 0 74044 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 310736 KiB
Current children cumulated memory: 266904 KiB
[startup+3.10525 s]
/proc/loadavg: 3.09 3.15 3.14 4/263 69829
/proc/meminfo: memFree=124253988/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69829] ppid=69827 vsize=579748 memory=510764 CPUtime=3.07 cores=0,2
/proc/69829/stat : 69829 (pbsuma) R 69827 69827 67073 0 -1 4194304 85723 0 0 0 280 27 0 0 20 0 1 0 57888226 593661952 127691 18446744073709551615 4210688 4653049 140724418518512 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 29343744 140724418525539 140724418525746 140724418525746 140724418531311 0
/proc/69829/statm: 144937 127691 960 108 0 142345 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 583940 KiB
Current children cumulated memory: 513708 KiB
[startup+6.30019 s]
/proc/loadavg: 3.08 3.15 3.14 4/263 69829
/proc/meminfo: memFree=123729300/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69829] ppid=69827 vsize=1112744 memory=989788 CPUtime=6.27 cores=0,2
/proc/69829/stat : 69829 (pbsuma) R 69827 69827 67073 0 -1 4194304 162190 0 0 0 571 56 0 0 20 0 1 0 57888226 1139449856 247447 18446744073709551615 4210688 4653049 140724418518512 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 29343744 140724418525539 140724418525746 140724418525746 140724418531311 0
/proc/69829/statm: 278186 247447 960 108 0 275594 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1116936 KiB
Current children cumulated memory: 992732 KiB
[startup+12.7002 s]
/proc/loadavg: 3.24 3.18 3.15 4/263 69829
/proc/meminfo: memFree=122605484/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69829] ppid=69827 vsize=1660852 memory=1451176 CPUtime=12.65 cores=0,2
/proc/69829/stat : 69829 (pbsuma) R 69827 69827 67073 0 -1 4194304 269408 0 0 0 1140 125 0 0 20 0 1 0 57888226 1700712448 362794 18446744073709551615 4210688 4653049 140724418518512 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 29343744 140724418525539 140724418525746 140724418525746 140724418531311 0
/proc/69829/statm: 415213 362794 1024 108 0 412621 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1665044 KiB
Current children cumulated memory: 1454120 KiB
[startup+25.5002 s]
/proc/loadavg: 3.18 3.17 3.14 4/263 69831
/proc/meminfo: memFree=123116684/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=13.03 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 238 269412 0 0 0 0 1169 134 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69830] ppid=69827 vsize=297344 memory=246968 CPUtime=12.37 cores=0,2
/proc/69830/stat : 69830 (roundingsat) R 69827 69827 67073 0 -1 4194304 11910 0 0 0 1216 21 0 0 20 0 1 0 57889533 304480256 61742 18446744073709551615 4227072 8923433 140722355214880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26841088 140722355222884 140722355223080 140722355223080 140722355228650 0
/proc/69830/statm: 74336 61742 1888 1147 0 61763 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 301536 KiB
Current children cumulated memory: 249912 KiB
[startup+51.1054 s]
/proc/loadavg: 3.20 3.17 3.14 4/263 69831
/proc/meminfo: memFree=120509956/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=13.03 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 238 269412 0 0 0 0 1169 134 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69830] ppid=69827 vsize=2913680 memory=2763304 CPUtime=37.9 cores=0,2
/proc/69830/stat : 69830 (roundingsat) R 69827 69827 67073 0 -1 4194304 281924 0 0 0 3490 300 0 0 20 0 1 0 57889533 2983608320 690826 18446744073709551615 4227072 8923433 140722355214880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26841088 140722355222884 140722355223080 140722355223080 140722355228650 0
/proc/69830/statm: 728420 690826 2336 1147 0 715847 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2917872 KiB
Current children cumulated memory: 2766248 KiB
[startup+102.3 s]
/proc/loadavg: 3.20 3.18 3.15 4/264 69838
/proc/meminfo: memFree=120045136/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=13.03 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 238 269412 0 0 0 0 1169 134 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69830] ppid=69827 vsize=3669380 memory=3436276 CPUtime=88.96 cores=0,2
/proc/69830/stat : 69830 (roundingsat) R 69827 69827 67073 0 -1 4194304 348050 0 0 0 8110 786 0 0 20 0 1 0 57889533 3757445120 859069 18446744073709551615 4227072 8923433 140722355214880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26841088 140722355222884 140722355223080 140722355223080 140722355228650 0
/proc/69830/statm: 917345 859069 2400 1147 0 904772 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 3673572 KiB
Current children cumulated memory: 3439220 KiB
[startup+162.3 s]
/proc/loadavg: 3.13 3.16 3.14 4/264 69841
/proc/meminfo: memFree=120332772/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=13.03 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 238 269412 0 0 0 0 1169 134 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69830] ppid=69827 vsize=3704096 memory=3471692 CPUtime=148.82 cores=0,2
/proc/69830/stat : 69830 (roundingsat) R 69827 69827 67073 0 -1 4194304 350168 0 0 0 14091 791 0 0 20 0 1 0 57889533 3792994304 867923 18446744073709551615 4227072 8923433 140722355214880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26841088 140722355222884 140722355223080 140722355223080 140722355228650 0
/proc/69830/statm: 926024 867923 2400 1147 0 913451 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 3708288 KiB
Current children cumulated memory: 3474636 KiB
[startup+222.3 s]
/proc/loadavg: 3.09 3.14 3.13 4/262 69843
/proc/meminfo: memFree=120187488/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=13.03 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 238 269412 0 0 0 0 1169 134 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69830] ppid=69827 vsize=3719172 memory=3486708 CPUtime=208.66 cores=0,2
/proc/69830/stat : 69830 (roundingsat) R 69827 69827 67073 0 -1 4194304 351674 0 0 0 20072 794 0 0 20 0 1 0 57889533 3808432128 871677 18446744073709551615 4227072 8923433 140722355214880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26841088 140722355222884 140722355223080 140722355223080 140722355228650 0
/proc/69830/statm: 929793 871677 2400 1147 0 917220 0
################
# More data... #
################
/proc/meminfo: memFree=112524160/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=13.03 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 238 269412 0 0 0 0 1169 134 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69830] ppid=69827 vsize=10778028 memory=9657672 CPUtime=3259.33 cores=0,2
/proc/69830/stat : 69830 (roundingsat) R 69827 69827 67073 0 -1 4194304 1492123 0 0 0 324372 1561 0 0 20 0 1 0 57889533 11036700672 2414418 18446744073709551615 4227072 8923433 140722355214880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26841088 140722355222884 140722355223080 140722355223080 140722355228650 0
/proc/69830/statm: 2694507 2414418 2400 1147 0 2681934 0
Current children cumulated CPU time: 3272.36 s
Current children cumulated vsize: 10782220 KiB
Current children cumulated memory: 9660616 KiB
[startup+3342.3 s]
/proc/loadavg: 3.11 3.09 3.09 4/262 69999
/proc/meminfo: memFree=112519164/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=13.03 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 238 269412 0 0 0 0 1169 134 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69830] ppid=69827 vsize=10783224 memory=9662840 CPUtime=3319.16 cores=0,2
/proc/69830/stat : 69830 (roundingsat) R 69827 69827 67073 0 -1 4194304 1494346 0 0 0 330349 1567 0 0 20 0 1 0 57889533 11042021376 2415710 18446744073709551615 4227072 8923433 140722355214880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26841088 140722355222884 140722355223080 140722355223080 140722355228650 0
/proc/69830/statm: 2695806 2415710 2400 1147 0 2683233 0
Current children cumulated CPU time: 3332.19 s
Current children cumulated vsize: 10787416 KiB
Current children cumulated memory: 9665784 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.09 3.09 4/262 70001
/proc/meminfo: memFree=112345168/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=13.03 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 238 269412 0 0 0 0 1169 134 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69830] ppid=69827 vsize=10784220 memory=9663736 CPUtime=3378.98 cores=0,2
/proc/69830/stat : 69830 (roundingsat) R 69827 69827 67073 0 -1 4194304 1494743 0 0 0 336330 1568 0 0 20 0 1 0 57889533 11043041280 2415934 18446744073709551615 4227072 8923433 140722355214880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26841088 140722355222884 140722355223080 140722355223080 140722355228650 0
/proc/69830/statm: 2696055 2415934 2400 1147 0 2683482 0
Current children cumulated CPU time: 3392.01 s
Current children cumulated vsize: 10788412 KiB
Current children cumulated memory: 9666680 KiB
[startup+3462.3 s]
/proc/loadavg: 3.13 3.10 3.09 4/262 70003
/proc/meminfo: memFree=112248560/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=13.03 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 238 269412 0 0 0 0 1169 134 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69830] ppid=69827 vsize=10787364 memory=9667028 CPUtime=3438.81 cores=0,2
/proc/69830/stat : 69830 (roundingsat) R 69827 69827 67073 0 -1 4194304 1497155 0 0 0 342307 1574 0 0 20 0 1 0 57889533 11046260736 2416757 18446744073709551615 4227072 8923433 140722355214880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26841088 140722355222884 140722355223080 140722355223080 140722355228650 0
/proc/69830/statm: 2696841 2416757 2400 1147 0 2684268 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 10791556 KiB
Current children cumulated memory: 9669972 KiB
[startup+3522.3 s]
/proc/loadavg: 2.21 2.87 3.02 2/249 70068
/proc/meminfo: memFree=116001660/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=13.03 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 238 269412 0 0 0 0 1169 134 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69830] ppid=69827 vsize=10798236 memory=9687880 CPUtime=3498.63 cores=0,2
/proc/69830/stat : 69830 (roundingsat) R 69827 69827 67073 0 -1 4194304 1498236 0 0 0 348288 1575 0 0 20 0 1 0 57889533 11057393664 2421970 18446744073709551615 4227072 8923433 140722355214880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26841088 140722355222884 140722355223080 140722355223080 140722355228650 0
/proc/69830/statm: 2699559 2421970 2400 1147 0 2686986 0
Current children cumulated CPU time: 3511.66 s
Current children cumulated vsize: 10802428 KiB
Current children cumulated memory: 9690824 KiB
[startup+3582.3 s]
/proc/loadavg: 1.48 2.54 2.89 2/249 70072
/proc/meminfo: memFree=115974576/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=13.03 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 238 269412 0 0 0 0 1169 134 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69830] ppid=69827 vsize=10807160 memory=9703480 CPUtime=3558.46 cores=0,2
/proc/69830/stat : 69830 (roundingsat) R 69827 69827 67073 0 -1 4194304 1500098 0 0 0 354264 1582 0 0 20 0 1 0 57889533 11066531840 2425870 18446744073709551615 4227072 8923433 140722355214880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26841088 140722355222884 140722355223080 140722355223080 140722355228650 0
/proc/69830/statm: 2701790 2425870 2400 1147 0 2689217 0
Current children cumulated CPU time: 3571.49 s
Current children cumulated vsize: 10811352 KiB
Current children cumulated memory: 9706424 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 1.35 2.41 2.84 2/248 70073
/proc/meminfo: memFree=115965596/131249992 swapFree=33010684/33010684
[pid=69827] ppid=69824 vsize=4192 memory=2944 CPUtime=13.03 cores=0,2
/proc/69827/stat : 69827 (run-opt-break.s) S 69824 69827 67073 0 -1 4194304 238 269412 0 0 0 0 1169 134 20 0 1 0 57888225 4292608 736 18446744073709551615 94724710182912 94724711077445 140728583462032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94724711316496 94724711364240 94724736589824 140728583469409 140728583469538 140728583469538 140728583475140 0
/proc/69827/statm: 1048 736 672 219 0 110 0
[pid=69830] ppid=69827 vsize=10811152 memory=9718548 CPUtime=3587.07 cores=0,2
/proc/69830/stat : 69830 (roundingsat) R 69827 69827 67073 0 -1 4194304 1501203 0 0 0 357124 1583 0 0 20 0 1 0 57889533 11070619648 2429637 18446744073709551615 4227072 8923433 140722355214880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26841088 140722355222884 140722355223080 140722355223080 140722355228650 0
/proc/69830/statm: 2702788 2429637 2400 1147 0 2690215 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 10815344 KiB
Current children cumulated memory: 9721492 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.01 s]
# the end of solver process 69827 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=11.6922 s, system=1.34362 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3613.13 s]
# the end of solver process 69830 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3584.93 s, system=17.3023 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+3611.21 s]
/proc/loadavg: 1.35 2.41 2.84 2/247 70073
/proc/meminfo: memFree=115965596/131249992 swapFree=33010684/33010684
[pid=69830] ppid=69824 vsize=10811152 memory=9718548 CPUtime=3587.27 cores=0,2
/proc/69830/stat : 69830 (roundingsat) R 69824 69827 67073 0 -1 4194304 1501237 0 0 0 357144 1583 0 0 20 0 1 0 57889533 11070619648 2429637 18446744073709551615 4227072 8923433 140722355214880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26841088 140722355222884 140722355223080 140722355223080 140722355228650 0
/proc/69830/statm: 2702788 2429637 2400 1147 0 2690215 0
Current cumulated CPU time of completed processes: 13.0358 s
Current children cumulated CPU time: 3587.27 s
Current children cumulated vsize: 10811152 KiB
Current children cumulated memory: 9718548 KiB
[startup+3612 s]*
/proc/loadavg: 1.35 2.41 2.84 2/247 70073
/proc/meminfo: memFree=115965820/131249992 swapFree=33010684/33010684
[pid=69830] ppid=69824 vsize=10811152 memory=9718548 CPUtime=3588.07 cores=0,2
/proc/69830/stat : 69830 (roundingsat) R 69824 69827 67073 0 -1 4194304 1501237 0 0 0 357224 1583 0 0 20 0 1 0 57889533 11070619648 2429637 18446744073709551615 4227072 8923433 140722355214880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26841088 140722355222884 140722355223080 140722355223080 140722355228650 0
/proc/69830/statm: 2702788 2429637 2400 1147 0 2690215 0
Current cumulated CPU time of completed processes: 13.0358 s
Current children cumulated CPU time: 3588.07 s
Current children cumulated vsize: 10811152 KiB
Current children cumulated memory: 9718548 KiB
[startup+3612.8 s]
/proc/loadavg: 1.35 2.41 2.84 2/247 70073
/proc/meminfo: memFree=115965820/131249992 swapFree=33010684/33010684
[pid=69830] ppid=69824 vsize=10811152 memory=9718548 CPUtime=3588.86 cores=0,2
/proc/69830/stat : 69830 (roundingsat) R 69824 69827 67073 0 -1 4194304 1501237 0 0 0 357303 1583 0 0 20 0 1 0 57889533 11070619648 2429637 18446744073709551615 4227072 8923433 140722355214880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26841088 140722355222884 140722355223080 140722355223080 140722355228650 0
/proc/69830/statm: 2702788 2429637 2400 1147 0 2690215 0
Current cumulated CPU time of completed processes: 13.0358 s
Current children cumulated CPU time: 3588.86 s
Current children cumulated vsize: 10811152 KiB
Current children cumulated memory: 9718548 KiB
[startup+3613 s]*
/proc/loadavg: 1.35 2.41 2.84 2/247 70073
/proc/meminfo: memFree=115965820/131249992 swapFree=33010684/33010684
[pid=69830] ppid=69824 vsize=10811152 memory=9718548 CPUtime=3589.07 cores=0,2
/proc/69830/stat : 69830 (roundingsat) R 69824 69827 67073 0 -1 4194304 1501237 0 0 0 357324 1583 0 0 20 0 1 0 57889533 11070619648 2429637 18446744073709551615 4227072 8923433 140722355214880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26841088 140722355222884 140722355223080 140722355223080 140722355228650 0
/proc/69830/statm: 2702788 2429637 2400 1147 0 2690215 0
Current cumulated CPU time of completed processes: 13.0358 s
Current children cumulated CPU time: 3589.07 s
Current children cumulated vsize: 10811152 KiB
Current children cumulated memory: 9718548 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.13
CPU time (s): 3602.24
CPU user time (s): 3584.93
CPU system time (s): 17.3023
CPU usage (%): 99.6986
Max. virtual memory (cumulated for all children) (KiB): 10815344
Max. memory (cumulated for all children) (KiB): 9721492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.93
system time used= 17.3023
maximum resident set size= 9718548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1770887
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1177664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 218
involuntary context switches= 4646
# summary of solver processes directly reported to runsolver:
# pid: 69827,69830
# total CPU time (s): 3602.24
# total CPU user time (s): 3584.93
# total CPU system time (s): 17.3023
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1578 second user time and 15.8783 second system time
The end
Begin job on nodeC025 at 2025-07-02 04:08:15
IDJOB=4502926
IDBENCH=155401
IDSOLVER=3359
FILE ID=nodeC025/4502926-1751422092
RUNJOBID= nodeC025-1751414736-67086
SLURM_JOB_ID= 9598325
Free space on /tmp= 432304 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-sbox_8_shg.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502926-1751422092/watcher-4502926-1751422092 -o /tmp/evaluation-result-4502926-1751422092/solver-4502926-1751422092 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751414736-67086 --watchdog 3760 run-opt-break.sh HOME/instance-4502926-1751422092.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= de975147a543f81642d44481372d34a3
RANDOM SEED=1385277654
nodeC025 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.809
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.67
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.830
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.67
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 : 3599.951
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.67
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 : 3585.419
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.67
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 : 3598.184
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.67
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.835
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.67
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 : 3600.446
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.67
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 124768640 kB
MemAvailable: 128356452 kB
Buffers: 3280 kB
Cached: 4385096 kB
SwapCached: 0 kB
Active: 1816836 kB
Inactive: 4044652 kB
Active(anon): 1491196 kB
Inactive(anon): 0 kB
Active(file): 325640 kB
Inactive(file): 4044652 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 595904 kB
Writeback: 0 kB
AnonPages: 1476560 kB
Mapped: 112700 kB
Shmem: 18084 kB
KReclaimable: 113516 kB
Slab: 202816 kB
SReclaimable: 113516 kB
SUnreclaim: 89300 kB
KernelStack: 4240 kB
PageTables: 5908 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1983504 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 917504 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431892 MiB
End job on nodeC025 at 2025-07-02 05:08:28