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-4502834-1751421963.opb'
0.49/0.56 c read 49.16MB (548.46ms)
0.49/0.56 c [cnf: #variables 15312 #clauses 65281 #duplicates 0 #arr 5323728]
0.49/0.56 c
0.49/0.56 c make graph and approximate orbits
0.78/0.83 c [group: #orbits ~= 324] (269.00ms)
0.78/0.83 c
0.78/0.83 c detect special group actions
0.78/0.83 c probe for Johnson action (limit=64)
1.08/1.13 c probe for row-column symmetry (limit=64, splits=16.78M)
1.47/1.50 c probe for row symmetry (limit=64, splits=16.78M)
4.16/4.22 c (3398.05ms)
4.16/4.22 c
4.16/4.22 c detect symmetries on remainder
4.16/4.22 c [graph: #vertices 111217 #edges 10708704]
4.16/4.24 c dejavu (support_limit=2048.00MB, budget_limit=64)
5.37/5.49 c [group: #symmetries 2.56*10^2 #generators 8] (1265.16ms)
5.37/5.49 c
5.37/5.49 c optimize generators (opt_passes=64, conjugate_limit=256)
5.37/5.49 c (0.04ms)
5.37/5.49 c
5.37/5.49 c finalize break order and special generators
5.37/5.49 c
5.37/5.49 c add generic predicates (break_depth=20)
5.37/5.50 c added predicates for 8 generators (4.22ms)
5.37/5.50 c
5.37/5.50 c generation finished
5.37/5.50 c [sbp: #constraints 464 #add_vars 152]
5.47/5.50 c
5.47/5.50 c write result to 'HOME/instance-4502834-1751421963.opb.pre'
5.56/5.60 c wrote 49.25MB (103.34ms)
5.56/5.60 c ------------------------------------------------------------------
5.56/5.60 c 3398.05ms 60.77% detect_special
5.56/5.60 c 1265.16ms 22.63% detect_generic
5.56/5.60 c 548.46ms 9.81% parse
5.56/5.60 c 269.00ms 4.81% approx_orbits
5.56/5.60 c 103.34ms 1.85% output
5.56/5.60 c 4.22ms 0.08% break_generic
5.56/5.60 c 1.88ms 0.03% other
5.56/5.60 c 1.41ms 0.03% finalize_order
5.56/5.60 c 0.04ms 0.00% optimize_gens
5.56/5.60 c ───────────────────────────────────────────────
5.56/5.60 c 5591.56ms 100% total
5.56/5.60 c ------------------------------------------------------------------
5.56/5.63 c RoundingSat 2
5.56/5.63 c branch pb25
5.56/5.63 c commit 63f22ad
7.14/7.28 c #variables 15464 #constraints 65744
7.14/7.28 c objective is ce32
7.14/7.28 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
7.14/7.28 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
7.14/7.28 c bounds - >= 0 @ 1.48204
18.20/18.39 c bounds 1184 >= 0 @ 12.3435
18.30/18.40 c bounds 1184 >= 1 @ 12.3519
18.30/18.41 c bounds 1184 >= 2 @ 12.3578
18.30/18.42 c bounds 1184 >= 3 @ 12.3611
18.30/18.43 c bounds 1184 >= 4 @ 12.3656
18.30/18.44 c bounds 1184 >= 5 @ 12.3713
18.30/18.45 c bounds 1184 >= 6 @ 12.3771
18.30/18.46 c bounds 1184 >= 7 @ 12.3837
18.30/18.47 c bounds 1184 >= 8 @ 12.3904
18.30/18.48 c bounds 1184 >= 9 @ 12.3953
18.30/18.49 c bounds 1184 >= 10 @ 12.4011
18.40/18.51 c bounds 1184 >= 11 @ 12.408
18.40/18.52 c bounds 1184 >= 12 @ 12.4128
18.40/18.53 c bounds 1184 >= 13 @ 12.4149
18.40/18.54 c bounds 1184 >= 14 @ 12.4217
18.40/18.55 c bounds 1184 >= 15 @ 12.4266
18.40/18.57 c bounds 1184 >= 16 @ 12.4313
18.40/18.58 c bounds 1184 >= 17 @ 12.4379
18.40/18.59 c bounds 1184 >= 18 @ 12.4479
18.50/18.61 c bounds 1184 >= 19 @ 12.4561
18.50/18.63 c bounds 1184 >= 20 @ 12.4607
18.50/18.64 c bounds 1184 >= 21 @ 12.4684
18.50/18.65 c bounds 1184 >= 22 @ 12.473
18.50/18.67 c bounds 1184 >= 23 @ 12.4832
18.60/18.70 c bounds 1184 >= 24 @ 12.4989
18.60/18.73 c bounds 1184 >= 25 @ 12.526
18.70/18.89 c bounds 1184 >= 26 @ 12.6642
18.90/19.10 c bounds 1183 >= 26 @ 12.8505
19.39/19.56 c bounds 1182 >= 26 @ 13.2778
20.89/21.03 c #Conflicts: 1000 | #Constraints: 66933
20.89/21.03 c bounds 1182 >= 27 @ 14.6857
20.99/21.12 c bounds 1181 >= 27 @ 14.7582
20.99/21.16 c bounds 1180 >= 27 @ 14.7916
20.99/21.19 c bounds 1179 >= 27 @ 14.8137
21.08/21.24 c bounds 1178 >= 27 @ 14.8508
21.08/21.29 c bounds 1177 >= 27 @ 14.8918
21.18/21.33 c bounds 1176 >= 27 @ 14.9219
21.18/21.36 c bounds 1175 >= 27 @ 14.9388
21.28/21.40 c bounds 1174 >= 27 @ 14.9658
21.28/21.43 c bounds 1173 >= 27 @ 14.997
21.28/21.48 c bounds 1172 >= 27 @ 15.0298
21.39/21.52 c bounds 1171 >= 27 @ 15.0656
21.39/21.55 c bounds 1170 >= 27 @ 15.0901
21.49/21.60 c bounds 1169 >= 27 @ 15.1238
21.49/21.63 c bounds 1168 >= 27 @ 15.1534
21.49/21.66 c bounds 1167 >= 27 @ 15.179
21.49/21.69 c bounds 1166 >= 27 @ 15.2027
21.58/21.74 c bounds 1165 >= 27 @ 15.2296
21.58/21.78 c bounds 1164 >= 27 @ 15.2661
21.68/21.81 c bounds 1163 >= 27 @ 15.2906
21.68/21.84 c bounds 1162 >= 27 @ 15.3093
21.68/21.87 c bounds 1161 >= 27 @ 15.3332
21.79/21.90 c bounds 1160 >= 27 @ 15.3579
21.79/21.93 c bounds 1159 >= 27 @ 15.3812
21.79/21.96 c bounds 1158 >= 27 @ 15.4023
21.79/21.99 c bounds 1157 >= 27 @ 15.4213
21.89/22.01 c bounds 1156 >= 27 @ 15.442
21.89/22.05 c bounds 1155 >= 27 @ 15.467
21.89/22.08 c bounds 1154 >= 27 @ 15.4907
21.99/22.11 c bounds 1153 >= 27 @ 15.5142
21.99/22.14 c bounds 1152 >= 27 @ 15.5346
21.99/22.16 c bounds 1151 >= 27 @ 15.5538
21.99/22.19 c bounds 1150 >= 27 @ 15.5732
22.08/22.22 c bounds 1149 >= 27 @ 15.5881
22.08/22.25 c bounds 1148 >= 27 @ 15.6101
22.08/22.27 c bounds 1147 >= 27 @ 15.63
22.18/22.31 c bounds 1146 >= 27 @ 15.6622
22.18/22.36 c bounds 1145 >= 27 @ 15.6938
22.18/22.39 c bounds 1144 >= 27 @ 15.7128
22.29/22.42 c bounds 1143 >= 27 @ 15.7353
22.29/22.45 c bounds 1142 >= 27 @ 15.7586
22.29/22.48 c bounds 1141 >= 27 @ 15.7801
22.39/22.51 c bounds 1140 >= 27 @ 15.8029
22.39/22.54 c bounds 1139 >= 27 @ 15.8206
22.39/22.56 c bounds 1138 >= 27 @ 15.8423
22.39/22.59 c bounds 1137 >= 27 @ 15.865
22.49/22.63 c bounds 1136 >= 27 @ 15.8942
22.49/22.65 c bounds 1135 >= 27 @ 15.9114
22.49/22.68 c bounds 1134 >= 27 @ 15.9274
22.58/22.71 c bounds 1133 >= 27 @ 15.948
22.58/22.74 c bounds 1132 >= 27 @ 15.9683
22.58/22.77 c bounds 1131 >= 27 @ 15.9903
22.69/22.80 c bounds 1130 >= 27 @ 16.0089
22.69/22.82 c bounds 1129 >= 27 @ 16.0261
22.69/22.85 c bounds 1128 >= 27 @ 16.0452
22.69/22.89 c bounds 1127 >= 27 @ 16.0796
22.78/22.95 c bounds 1126 >= 27 @ 16.1372
22.88/23.02 c bounds 1125 >= 27 @ 16.1899
22.88/23.05 c bounds 1124 >= 27 @ 16.2208
22.88/23.09 c bounds 1123 >= 27 @ 16.2485
22.98/23.11 c bounds 1122 >= 27 @ 16.2664
22.98/23.16 c bounds 1121 >= 27 @ 16.2985
23.08/23.21 c bounds 1120 >= 27 @ 16.3342
23.08/23.25 c bounds 1119 >= 27 @ 16.3676
23.18/23.31 c bounds 1118 >= 27 @ 16.4183
23.18/23.36 c bounds 1117 >= 27 @ 16.4507
23.28/23.40 c bounds 1116 >= 27 @ 16.4815
23.28/23.44 c bounds 1115 >= 27 @ 16.521
23.38/23.50 c bounds 1114 >= 27 @ 16.5639
23.38/23.55 c bounds 1113 >= 27 @ 16.6042
23.48/23.60 c bounds 1112 >= 27 @ 16.6458
23.48/23.66 c bounds 1111 >= 27 @ 16.6959
23.58/23.70 c bounds 1110 >= 27 @ 16.725
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 (61195 MiB free)
memory of node 1: 64465 MiB (62416 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502834-1751421963/watcher-4502834-1751421963 -o /tmp/evaluation-result-4502834-1751421963/solver-4502834-1751421963 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751414736-67088 --watchdog 3760 run-opt-break.sh HOME/instance-4502834-1751421963.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=69738, runsolver pid=69735
[startup+0.100062 s]*
/proc/loadavg: 3.13 3.18 3.14 4/259 69740
/proc/meminfo: memFree=126554872/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69740] ppid=69738 vsize=44644 memory=36396 CPUtime=0.08 cores=1,3
/proc/69740/stat : 69740 (pbsuma) R 69738 69738 67073 0 -1 4194304 7961 0 0 0 7 1 0 0 20 0 1 0 57875074 45715456 9099 18446744073709551615 4210688 4653049 140733158713408 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36741120 140733158721891 140733158722098 140733158722098 140733158727663 0
/proc/69740/statm: 11161 9099 992 108 0 8569 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 48836 KiB
Current children cumulated memory: 39340 KiB
[startup+0.205388 s]*
/proc/loadavg: 3.13 3.18 3.14 4/259 69740
/proc/meminfo: memFree=126524944/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69740] ppid=69738 vsize=70452 memory=60516 CPUtime=0.18 cores=1,3
/proc/69740/stat : 69740 (pbsuma) R 69738 69738 67073 0 -1 4194304 12886 0 0 0 16 2 0 0 20 0 1 0 57875074 72142848 15129 18446744073709551615 4210688 4653049 140733158713408 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36741120 140733158721891 140733158722098 140733158722098 140733158727663 0
/proc/69740/statm: 17613 15129 992 108 0 15021 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 74644 KiB
Current children cumulated memory: 63460 KiB
[startup+0.305288 s]*
/proc/loadavg: 3.13 3.18 3.14 3/257 69740
/proc/meminfo: memFree=126500876/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69740] ppid=69738 vsize=94544 memory=83588 CPUtime=0.29 cores=1,3
/proc/69740/stat : 69740 (pbsuma) R 69738 69738 67073 0 -1 4194304 16974 0 0 0 26 3 0 0 20 0 1 0 57875074 96813056 20897 18446744073709551615 4210688 4653049 140733158713408 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36741120 140733158721891 140733158722098 140733158722098 140733158727663 0
/proc/69740/statm: 23636 20897 992 108 0 21044 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 98736 KiB
Current children cumulated memory: 86532 KiB
[startup+0.70021 s]
/proc/loadavg: 3.13 3.18 3.14 3/256 69757
/proc/meminfo: memFree=126460128/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69740] ppid=69738 vsize=212488 memory=192920 CPUtime=0.68 cores=1,3
/proc/69740/stat : 69740 (pbsuma) R 69738 69738 67073 0 -1 4194304 30438 0 0 0 61 7 0 0 20 0 1 0 57875074 217587712 48230 18446744073709551615 4210688 4653049 140733158713408 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36741120 140733158721891 140733158722098 140733158722098 140733158727663 0
/proc/69740/statm: 53122 48230 1024 108 0 50530 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 216680 KiB
Current children cumulated memory: 195864 KiB
[startup+1.50016 s]
/proc/loadavg: 3.13 3.18 3.14 4/261 69772
/proc/meminfo: memFree=126277420/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69740] ppid=69738 vsize=229836 memory=204624 CPUtime=1.47 cores=1,3
/proc/69740/stat : 69740 (pbsuma) R 69738 69738 67073 0 -1 4194304 33610 0 0 0 139 8 0 0 20 0 1 0 57875074 235352064 51156 18446744073709551615 4210688 4653049 140733158713408 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36741120 140733158721891 140733158722098 140733158722098 140733158727663 0
/proc/69740/statm: 57459 51156 1024 108 0 54867 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 234028 KiB
Current children cumulated memory: 207568 KiB
[startup+3.10543 s]
/proc/loadavg: 3.13 3.18 3.14 4/261 69772
/proc/meminfo: memFree=126149168/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69740] ppid=69738 vsize=229836 memory=204880 CPUtime=3.07 cores=1,3
/proc/69740/stat : 69740 (pbsuma) R 69738 69738 67073 0 -1 4194304 33705 0 0 0 299 8 0 0 20 0 1 0 57875074 235352064 51220 18446744073709551615 4210688 4653049 140733158713408 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36741120 140733158721891 140733158722098 140733158722098 140733158727663 0
/proc/69740/statm: 57459 51220 1024 108 0 54867 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 234028 KiB
Current children cumulated memory: 207824 KiB
[startup+6.3002 s]
/proc/loadavg: 3.12 3.18 3.14 4/261 69774
/proc/meminfo: memFree=126230140/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=5.58 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 237 41891 0 0 0 0 544 14 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69774] ppid=69738 vsize=66748 memory=23828 CPUtime=0.66 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69738 69738 67073 0 -1 4194304 2798 0 0 0 62 4 0 0 20 0 1 0 57875635 68349952 5957 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 16687 5957 1888 1147 0 4114 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 70940 KiB
Current children cumulated memory: 26772 KiB
[startup+12.7002 s]
/proc/loadavg: 3.11 3.17 3.14 4/261 69774
/proc/meminfo: memFree=125526012/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=5.58 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 237 41891 0 0 0 0 544 14 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69774] ppid=69738 vsize=420524 memory=339492 CPUtime=7.04 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69738 69738 67073 0 -1 4194304 59310 0 0 0 669 35 0 0 20 0 1 0 57875635 430616576 84873 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 105131 84873 2336 1147 0 92558 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 424716 KiB
Current children cumulated memory: 342436 KiB
[startup+25.5002 s]
/proc/loadavg: 3.17 3.18 3.15 4/261 69775
/proc/meminfo: memFree=125479756/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=5.58 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 237 41891 0 0 0 0 544 14 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69774] ppid=69738 vsize=661372 memory=570680 CPUtime=19.8 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69738 69738 67073 0 -1 4194304 98400 0 0 0 1844 136 0 0 20 0 1 0 57875635 677244928 142670 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 165343 142670 2400 1147 0 152770 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 665564 KiB
Current children cumulated memory: 573624 KiB
[startup+51.1057 s]
/proc/loadavg: 3.18 3.18 3.15 4/262 69777
/proc/meminfo: memFree=125339680/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=5.58 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 237 41891 0 0 0 0 544 14 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69774] ppid=69738 vsize=809508 memory=695892 CPUtime=45.3 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69738 69738 67073 0 -1 4194304 103225 0 0 0 4389 141 0 0 20 0 1 0 57875635 828936192 173973 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 202377 173973 2400 1147 0 189804 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 813700 KiB
Current children cumulated memory: 698836 KiB
[startup+102.3 s]
/proc/loadavg: 3.15 3.17 3.14 4/263 69782
/proc/meminfo: memFree=125235456/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=5.58 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 237 41891 0 0 0 0 544 14 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69774] ppid=69738 vsize=862372 memory=750132 CPUtime=96.33 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69738 69738 67073 0 -1 4194304 104029 0 0 0 9487 146 0 0 20 0 1 0 57875635 883068928 187533 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 215593 187533 2400 1147 0 203020 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 866564 KiB
Current children cumulated memory: 753076 KiB
[startup+162.3 s]
/proc/loadavg: 3.17 3.17 3.14 4/263 69831
/proc/meminfo: memFree=121617864/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=5.58 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 237 41891 0 0 0 0 544 14 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69774] ppid=69738 vsize=999436 memory=846120 CPUtime=156.12 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69738 69738 67073 0 -1 4194304 106061 0 0 0 15461 151 0 0 20 0 1 0 57875635 1023422464 211530 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 249859 211530 2400 1147 0 237286 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 1003628 KiB
Current children cumulated memory: 849064 KiB
[startup+222.3 s]
/proc/loadavg: 3.15 3.16 3.14 4/264 69838
/proc/meminfo: memFree=120401004/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=5.58 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 237 41891 0 0 0 0 544 14 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69774] ppid=69738 vsize=1057732 memory=943764 CPUtime=215.9 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69738 69738 67073 0 -1 4194304 115114 0 0 0 21430 160 0 0 20 0 1 0 57875635 1083117568 235941 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 264433 235941 2400 1147 0 251860 0
Current children cumulated CPU time: 221.48 s
################
# More data... #
################
[startup+3342.3 s]
/proc/loadavg: 3.08 3.08 3.09 4/262 69994
/proc/meminfo: memFree=112528420/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=5.58 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 237 41891 0 0 0 0 544 14 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69774] ppid=69738 vsize=2314256 memory=2104348 CPUtime=3325.21 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69738 69738 67073 0 -1 4194304 221151 0 0 0 332220 301 0 0 20 0 1 0 57875635 2369798144 526087 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 578564 526087 2400 1147 0 565991 0
Current children cumulated CPU time: 3330.79 s
Current children cumulated vsize: 2318448 KiB
Current children cumulated memory: 2107292 KiB
[startup+3402.3 s]
/proc/loadavg: 3.07 3.08 3.09 4/261 69995
/proc/meminfo: memFree=112523812/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=5.58 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 237 41891 0 0 0 0 544 14 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69774] ppid=69738 vsize=2314256 memory=2104348 CPUtime=3385.01 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69738 69738 67073 0 -1 4194304 221151 0 0 0 338200 301 0 0 20 0 1 0 57875635 2369798144 526087 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 578564 526087 2400 1147 0 565991 0
Current children cumulated CPU time: 3390.59 s
Current children cumulated vsize: 2318448 KiB
Current children cumulated memory: 2107292 KiB
[startup+3462.3 s]
/proc/loadavg: 3.13 3.09 3.09 4/262 69998
/proc/meminfo: memFree=112520864/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=5.58 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 237 41891 0 0 0 0 544 14 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69774] ppid=69738 vsize=2314256 memory=2104348 CPUtime=3444.8 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69738 69738 67073 0 -1 4194304 221344 0 0 0 344179 301 0 0 20 0 1 0 57875635 2369798144 526087 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 578564 526087 2400 1147 0 565991 0
Current children cumulated CPU time: 3450.38 s
Current children cumulated vsize: 2318448 KiB
Current children cumulated memory: 2107292 KiB
[startup+3522.3 s]
/proc/loadavg: 3.10 3.09 3.09 4/262 70000
/proc/meminfo: memFree=112520792/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=5.58 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 237 41891 0 0 0 0 544 14 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69774] ppid=69738 vsize=2314256 memory=2104348 CPUtime=3504.6 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69738 69738 67073 0 -1 4194304 221370 0 0 0 350159 301 0 0 20 0 1 0 57875635 2369798144 526087 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 578564 526087 2400 1147 0 565991 0
Current children cumulated CPU time: 3510.18 s
Current children cumulated vsize: 2318448 KiB
Current children cumulated memory: 2107292 KiB
[startup+3582.3 s]
/proc/loadavg: 3.15 3.10 3.09 4/262 70002
/proc/meminfo: memFree=112249940/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=5.58 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 237 41891 0 0 0 0 544 14 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69774] ppid=69738 vsize=3105316 memory=2354476 CPUtime=3564.38 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69738 69738 67073 0 -1 4194304 241225 0 0 0 356112 326 0 0 20 0 1 0 57875635 3179843584 588619 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 776329 588619 2400 1147 0 763756 0
Current children cumulated CPU time: 3569.96 s
Current children cumulated vsize: 3109508 KiB
Current children cumulated memory: 2357420 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.5 s]
/proc/loadavg: 3.09 3.09 3.09 4/262 70003
/proc/meminfo: memFree=112247064/131249992 swapFree=33010684/33010684
[pid=69738] ppid=69735 vsize=4192 memory=2944 CPUtime=5.58 cores=1,3
/proc/69738/stat : 69738 (run-opt-break.s) S 69735 69738 67073 0 -1 4194304 237 41891 0 0 0 0 544 14 20 0 1 0 57875073 4292608 736 18446744073709551615 94851922161664 94851923056197 140726740624704 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94851923295248 94851923342992 94851925159936 140726740629857 140726740629986 140726740629986 140726740635588 0
/proc/69738/statm: 1048 736 672 219 0 110 0
[pid=69774] ppid=69738 vsize=3105316 memory=2354476 CPUtime=3594.47 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69738 69738 67073 0 -1 4194304 241225 0 0 0 359121 326 0 0 20 0 1 0 57875635 3179843584 588619 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 776329 588619 2400 1147 0 763756 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3109508 KiB
Current children cumulated memory: 2357420 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.5 s]
# the end of solver process 69738 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=5.4505 s, system=0.147504 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3614.52 s]
# the end of solver process 69774 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3598.66 s, system=3.4364 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+3612.8 s]
/proc/loadavg: 3.09 3.09 3.09 4/261 70003
/proc/meminfo: memFree=112228664/131249992 swapFree=33010684/33010684
[pid=69774] ppid=69735 vsize=3105316 memory=2354476 CPUtime=3594.77 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69735 69738 67073 0 -1 4194304 241225 0 0 0 359151 326 0 0 20 0 1 0 57875635 3179843584 588619 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 776329 588619 2400 1147 0 763756 0
Current cumulated CPU time of completed processes: 5.59801 s
Current children cumulated CPU time: 3594.77 s
Current children cumulated vsize: 3105316 KiB
Current children cumulated memory: 2354476 KiB
[startup+3613.6 s]
/proc/loadavg: 3.09 3.09 3.09 4/261 70003
/proc/meminfo: memFree=112228664/131249992 swapFree=33010684/33010684
[pid=69774] ppid=69735 vsize=3105316 memory=2354476 CPUtime=3595.57 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69735 69738 67073 0 -1 4194304 241225 0 0 0 359231 326 0 0 20 0 1 0 57875635 3179843584 588619 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 776329 588619 2400 1147 0 763756 0
Current cumulated CPU time of completed processes: 5.59801 s
Current children cumulated CPU time: 3595.57 s
Current children cumulated vsize: 3105316 KiB
Current children cumulated memory: 2354476 KiB
[startup+3614 s]*
/proc/loadavg: 3.09 3.09 3.09 4/260 70003
/proc/meminfo: memFree=112228664/131249992 swapFree=33010684/33010684
[pid=69774] ppid=69735 vsize=3105316 memory=2354476 CPUtime=3595.97 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69735 69738 67073 0 -1 4194304 241225 0 0 0 359271 326 0 0 20 0 1 0 57875635 3179843584 588619 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 776329 588619 2400 1147 0 763756 0
Current cumulated CPU time of completed processes: 5.59801 s
Current children cumulated CPU time: 3595.97 s
Current children cumulated vsize: 3105316 KiB
Current children cumulated memory: 2354476 KiB
[startup+3614.4 s]
/proc/loadavg: 3.09 3.09 3.09 4/260 70003
/proc/meminfo: memFree=112228664/131249992 swapFree=33010684/33010684
[pid=69774] ppid=69735 vsize=3105316 memory=2354476 CPUtime=3596.36 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69735 69738 67073 0 -1 4194304 241225 0 0 0 359310 326 0 0 20 0 1 0 57875635 3179843584 588619 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 776329 588619 2400 1147 0 763756 0
Current cumulated CPU time of completed processes: 5.59801 s
Current children cumulated CPU time: 3596.36 s
Current children cumulated vsize: 3105316 KiB
Current children cumulated memory: 2354476 KiB
[startup+3614.5 s]
/proc/loadavg: 3.09 3.09 3.09 4/260 70003
/proc/meminfo: memFree=112228664/131249992 swapFree=33010684/33010684
[pid=69774] ppid=69735 vsize=3105316 memory=2354476 CPUtime=3596.46 cores=1,3
/proc/69774/stat : 69774 (roundingsat) R 69735 69738 67073 0 -1 4194304 241225 0 0 0 359320 326 0 0 20 0 1 0 57875635 3179843584 588619 18446744073709551615 4227072 8923433 140731571322640 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34775040 140731571325284 140731571325480 140731571325480 140731571331050 0
/proc/69774/statm: 776329 588619 2400 1147 0 763756 0
Current cumulated CPU time of completed processes: 5.59801 s
Current children cumulated CPU time: 3596.46 s
Current children cumulated vsize: 3105316 KiB
Current children cumulated memory: 2354476 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.52
CPU time (s): 3602.1
CPU user time (s): 3598.66
CPU system time (s): 3.4364
CPU usage (%): 99.6563
Max. virtual memory (cumulated for all children) (KiB): 3503408
Max. memory (cumulated for all children) (KiB): 2658968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.66
system time used= 3.4364
maximum resident set size= 2735896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283353
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 237
involuntary context switches= 5196
# summary of solver processes directly reported to runsolver:
# pid: 69738,69774
# total CPU time (s): 3602.1
# total CPU user time (s): 3598.66
# total CPU system time (s): 3.4364
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25475 second user time and 17.1864 second system time
The end
Begin job on nodeC025 at 2025-07-02 04:06:03
IDJOB=4502834
IDBENCH=155399
IDSOLVER=3359
FILE ID=nodeC025/4502834-1751421963
RUNJOBID= nodeC025-1751414736-67088
SLURM_JOB_ID= 9598325
Free space on /tmp= 432980 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_13_shg.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502834-1751421963/watcher-4502834-1751421963 -o /tmp/evaluation-result-4502834-1751421963/solver-4502834-1751421963 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751414736-67088 --watchdog 3760 run-opt-break.sh HOME/instance-4502834-1751421963.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a008918ff26f135f427f5632a2cbbc59
RANDOM SEED=62826351
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.827
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.819
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 : 3635.011
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 : 3600.245
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 : 3600.297
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.858
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.033
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 : 3655.253
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: 126578804 kB
MemAvailable: 129460352 kB
Buffers: 3280 kB
Cached: 3678848 kB
SwapCached: 0 kB
Active: 690240 kB
Inactive: 3338400 kB
Active(anon): 364600 kB
Inactive(anon): 0 kB
Active(file): 325640 kB
Inactive(file): 3338400 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 55136 kB
Writeback: 0 kB
AnonPages: 348564 kB
Mapped: 108952 kB
Shmem: 18084 kB
KReclaimable: 113492 kB
Slab: 202356 kB
SReclaimable: 113492 kB
SUnreclaim: 88864 kB
KernelStack: 4124 kB
PageTables: 3884 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 672656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150440 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 253952 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= 431720 MiB
End job on nodeC025 at 2025-07-02 05:06:18