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-4505496-1751449213.opb'
3.16/3.29 c read 227.33MB (3277.99ms)
3.16/3.29 c [cnf: #variables 2000400 #clauses 4915858 #duplicates 4950 #arr 15801800]
3.25/3.30 c
3.25/3.30 c make graph and approximate orbits
9.14/9.24 c [group: #orbits ~= 17554] (5941.44ms)
9.14/9.24 c
9.14/9.24 c detect special group actions
9.14/9.24 c exceeded limit
9.14/9.24 c (0.00ms)
9.14/9.24 c
9.14/9.24 c detect symmetries on remainder
9.14/9.24 c [group: #symmetries 1.00*10^0 #generators 0] (0.01ms)
9.14/9.24 c
9.14/9.24 c finalize break order and special generators
9.24/9.35 c
9.24/9.35 c generation finished
9.24/9.35 c [sbp: #constraints 0 #add_vars 0]
9.34/9.43 c
9.34/9.43 c write result to 'HOME/instance-4505496-1751449213.opb.pre'
9.83/9.93 c wrote 229.16MB (503.34ms)
9.83/9.93 c ------------------------------------------------------------------
9.83/9.93 c 5941.44ms 59.89% approx_orbits
9.83/9.93 c 3277.98ms 33.04% parse
9.83/9.93 c 503.34ms 5.07% output
9.83/9.93 c 110.17ms 1.11% finalize_order
9.83/9.93 c 88.15ms 0.89% other
9.83/9.93 c 0.01ms 0.00% detect_generic
9.83/9.93 c 0.00ms 0.00% detect_special
9.83/9.93 c ───────────────────────────────────────────────
9.83/9.93 c 9921.09ms 100% total
9.83/9.93 c ------------------------------------------------------------------
11.12/11.20 c RoundingSat 2
11.12/11.20 c branch pb25
11.12/11.20 c commit 63f22ad
24.08/24.23 c #variables 2000400 #constraints 4935661
24.08/24.23 c objective is ce32
24.08/24.25 c initial watched CF 32, 64, 128, Arb: 100 , 0 , 0 , 0
24.08/24.25 c initial counting CF 32, 64, 128, Arb: 985151 , 0 , 0 , 0
24.08/24.25 c bounds - >= -100 @ 9.57128
25.57/25.73 c bounds 1592395549 >= -100 @ 10.4088
26.97/27.15 c bounds 1592320136 >= -100 @ 11.7798
27.97/28.17 c bounds 1592319222 >= -100 @ 12.7777
29.37/29.59 c bounds 1592295057 >= -100 @ 14.1616
30.76/30.90 c bounds 1592229106 >= -100 @ 15.4534
32.65/32.88 c bounds 1592194888 >= -100 @ 17.3374
34.25/34.47 c bounds 1592030998 >= -100 @ 18.8497
35.75/35.90 c bounds 1592017774 >= -100 @ 20.2696
37.53/37.71 c bounds 1591972270 >= -100 @ 22.0295
44.83/45.09 c bounds 1591875833 >= -100 @ 29.2592
45.92/46.14 c bounds 1591867646 >= -100 @ 30.2802
47.41/47.67 c bounds 1542517608 >= -100 @ 31.7781
48.51/48.77 c bounds 1491048424 >= -100 @ 32.8362
49.70/49.97 c bounds 1446990314 >= -100 @ 34.0085
51.09/51.36 c bounds 1379078080 >= -100 @ 35.3526
53.59/53.83 c bounds 1326360726 >= -100 @ 37.7871
65.66/65.96 c bounds 1325955332 >= -100 @ 49.7768
104.65/105.04 c bounds 1325951526 >= -100 @ 87.8534
105.75/106.16 c bounds 1322860998 >= -100 @ 88.9369
106.64/107.08 c bounds 1307254134 >= -100 @ 89.8412
113.22/113.65 c bounds 1304701218 >= -100 @ 96.3757
114.22/114.64 c bounds 1302894868 >= -100 @ 97.3267
115.81/116.23 c bounds 1302890994 >= -100 @ 98.909
123.89/124.30 c bounds 1302884360 >= -100 @ 106.904
125.79/126.29 c bounds 1302883512 >= -100 @ 108.875
127.29/127.76 c bounds 1302877814 >= -100 @ 110.328
130.58/131.07 c bounds 1302864402 >= -100 @ 113.604
134.67/135.15 c bounds 1302849423 >= -100 @ 117.652
136.26/136.75 c bounds 1302827578 >= -100 @ 119.224
144.24/144.70 c bounds 1302822342 >= -100 @ 127.119
145.94/146.42 c bounds 1302822033 >= -100 @ 128.805
148.92/149.46 c bounds 1302779403 >= -100 @ 131.818
151.52/152.04 c bounds 1302758395 >= -100 @ 134.378
154.51/155.06 c bounds 1302730187 >= -100 @ 137.347
157.00/157.56 c bounds 1302722619 >= -100 @ 139.829
158.20/158.77 c bounds 1302704440 >= -100 @ 141.019
166.58/167.10 c bounds 1302697451 >= -100 @ 149.073
171.46/172.10 c bounds 1302696170 >= -100 @ 153.611
175.75/176.32 c bounds 1302673099 >= -100 @ 157.709
178.94/179.59 c bounds 1302669123 >= -100 @ 160.916
180.23/180.85 c bounds 1302666888 >= -100 @ 162.123
181.83/182.49 c bounds 1302663240 >= -100 @ 163.712
204.37/205.00 c bounds 1302649050 >= -100 @ 185.871
205.46/206.19 c bounds 1302646815 >= -100 @ 187.033
208.46/209.14 c bounds 1302616925 >= -100 @ 189.949
212.84/213.56 c bounds 1302598269 >= -100 @ 194.319
216.93/217.69 c bounds 1302598061 >= -100 @ 198.385
225.80/226.52 c bounds 1302345741 >= -100 @ 207.119
233.49/234.25 c bounds 1302138240 >= -100 @ 214.786
236.67/237.48 c bounds 1301962566 >= -100 @ 217.978
239.77/240.59 c bounds 1301668454 >= -100 @ 221.045
241.46/242.24 c bounds 1301565048 >= -100 @ 222.676
243.76/244.56 c bounds 1301510216 >= -100 @ 224.973
245.55/246.33 c bounds 1301432990 >= -100 @ 226.71
251.24/252.05 c bounds 1301419600 >= -100 @ 232.384
271.97/272.80 c bounds 1301036532 >= -100 @ 253.005
275.56/276.44 c bounds 1301025674 >= -100 @ 256.602
280.35/281.20 c bounds 1301012284 >= -100 @ 261.321
364.51/365.67 c bounds 1301007478 >= -100 @ 345.513
365.71/366.86 c bounds 1301006868 >= -100 @ 346.689
386.15/387.40 c bounds 1301004540 >= -100 @ 367.055
388.35/389.54 c bounds 1253870348 >= -100 @ 369.15
408.29/409.59 c bounds 1251882446 >= -100 @ 389.101
409.39/410.69 c bounds 1251515100 >= -100 @ 390.173
410.38/411.65 c bounds 1249970128 >= -100 @ 391.108
453.07/454.40 c bounds 1249969604 >= -100 @ 432.439
465.63/467.09 c #Conflicts: 1000 | #Constraints: 4936726
465.63/467.09 c bounds 1249488853 >= -100 @ 444.97
468.22/469.64 c bounds 1249483866 >= -100 @ 447.475
474.31/475.77 c bounds 1249481076 >= -100 @ 453.454
483.18/484.68 c bounds 1249472436 >= -100 @ 462.198
518.18/519.79 c bounds 530496005 >= -100 @ 496.758
519.37/520.98 c bounds 530495037 >= -100 @ 497.917
522.17/523.78 c bounds 530481906 >= -100 @ 500.664
524.26/525.81 c bounds 530457057 >= -100 @ 502.633
526.76/528.35 c bounds 530455167 >= -100 @ 505.122
527.95/529.51 c bounds 530452717 >= -100 @ 506.256
529.95/531.53 c bounds 530451574 >= -100 @ 508.238
533.44/535.10 c bounds 530449567 >= -100 @ 511.735
536.23/537.89 c bounds 524954255 >= -100 @ 514.494
539.82/541.40 c bounds 524948203 >= -100 @ 517.972
541.11/542.79 c bounds 524946067 >= -100 @ 519.341
545.21/546.83 c bounds 524941513 >= -100 @ 523.329
546.40/548.02 c bounds 524936746 >= -100 @ 524.494
548.99/550.69 c bounds 524928906 >= -100 @ 527.136
559.86/561.50 c bounds 524917001 >= -100 @ 537.881
560.96/562.64 c bounds 524913325 >= -100 @ 538.994
562.06/563.77 c bounds 524911578 >= -100 @ 540.106
568.24/570.00 c bounds 524870922 >= -100 @ 546.23
570.44/572.13 c bounds 524865515 >= -100 @ 548.342
574.12/575.86 c bounds 524831819 >= -100 @ 552.006
580.40/582.11 c bounds 524818243 >= -100 @ 558.176
585.09/586.82 c bounds 524807595 >= -100 @ 562.82
586.18/587.97 c bounds 524806833 >= -100 @ 563.949
596.15/597.98 c bounds 524792067 >= -100 @ 573.837
600.04/601.88 c bounds 524784142 >= -100 @ 577.688
615.10/616.97 c bounds 524781997 >= -100 @ 592.631
626.27/628.13 c bounds 519765111 >= -100 @ 603.724
662.77/664.77 c bounds 519751600 >= -100 @ 639.98
679.52/681.51 c bounds 519705152 >= -100 @ 656.557
795.01/797.34 terminate called after throwing an instance of 'std::bad_alloc'
795.01/797.35 what(): std::bad_alloc
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (53340 MiB free)
memory of node 1: 64507 MiB (55559 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505496-1751449213/watcher-4505496-1751449213 -o /tmp/evaluation-result-4505496-1751449213/solver-4505496-1751449213 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751441985-68445 --watchdog 3760 run-opt-break.sh HOME/instance-4505496-1751449213.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=69286, runsolver pid=69283
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 4.25 4.19 4.12 5/268 69288
/proc/meminfo: memFree=111164816/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69288] ppid=69286 vsize=693696 memory=360884 CPUtime=0.08 cores=5,7
/proc/69288/stat : 69288 (pbsuma) R 69286 69286 68432 0 -1 4194304 1025 0 0 0 1 7 0 0 20 0 1 0 60599361 710344704 90221 18446744073709551615 4210688 4653049 140737301084368 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 16207872 140737301092707 140737301092914 140737301092914 140737301098479 0
/proc/69288/statm: 173424 90221 896 108 0 170832 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 697888 KiB
Current children cumulated memory: 363828 KiB
[startup+0.205678 s]*
/proc/loadavg: 4.25 4.19 4.12 5/268 69288
/proc/meminfo: memFree=110734484/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69288] ppid=69286 vsize=1217988 memory=790968 CPUtime=0.18 cores=5,7
/proc/69288/stat : 69288 (pbsuma) R 69286 69286 68432 0 -1 4194304 1747 0 0 0 3 15 0 0 20 0 1 0 60599361 1247219712 197742 18446744073709551615 4210688 4653049 140737301084368 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 16207872 140737301092707 140737301092914 140737301092914 140737301098479 0
/proc/69288/statm: 304497 197742 896 108 0 301905 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 1222180 KiB
Current children cumulated memory: 793912 KiB
[startup+0.305585 s]*
/proc/loadavg: 4.25 4.19 4.12 5/268 69288
/proc/meminfo: memFree=110419136/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69288] ppid=69286 vsize=1244692 memory=1129060 CPUtime=0.27 cores=5,7
/proc/69288/stat : 69288 (pbsuma) R 69286 69286 68432 0 -1 4194304 5539 0 0 0 6 21 0 0 20 0 1 0 60599361 1274564608 282265 18446744073709551615 4210688 4653049 140737301084368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16207872 140737301092707 140737301092914 140737301092914 140737301098479 0
/proc/69288/statm: 311173 282265 896 108 0 308581 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1248884 KiB
Current children cumulated memory: 1132004 KiB
[startup+0.700203 s]
/proc/loadavg: 4.25 4.19 4.12 5/268 69289
/proc/meminfo: memFree=111079564/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69288] ppid=69286 vsize=1349664 memory=1255400 CPUtime=0.66 cores=5,7
/proc/69288/stat : 69288 (pbsuma) R 69286 69286 68432 0 -1 4194304 21281 0 0 0 40 26 0 0 20 0 1 0 60599361 1382055936 313850 18446744073709551615 4210688 4653049 140737301084368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16207872 140737301092707 140737301092914 140737301092914 140737301098479 0
/proc/69288/statm: 337416 313850 928 108 0 334824 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1353856 KiB
Current children cumulated memory: 1258344 KiB
[startup+1.50019 s]
/proc/loadavg: 4.25 4.19 4.12 5/268 69289
/proc/meminfo: memFree=110956516/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69288] ppid=69286 vsize=1469260 memory=1398292 CPUtime=1.45 cores=5,7
/proc/69288/stat : 69288 (pbsuma) R 69286 69286 68432 0 -1 4194304 40625 0 0 0 114 31 0 0 20 0 1 0 60599361 1504522240 349573 18446744073709551615 4210688 4653049 140737301084368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16207872 140737301092707 140737301092914 140737301092914 140737301098479 0
/proc/69288/statm: 367315 349573 928 108 0 364723 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1473452 KiB
Current children cumulated memory: 1401236 KiB
[startup+3.10539 s]
/proc/loadavg: 4.23 4.19 4.12 5/268 69289
/proc/meminfo: memFree=110539732/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69288] ppid=69286 vsize=1783504 memory=1684208 CPUtime=3.06 cores=5,7
/proc/69288/stat : 69288 (pbsuma) R 69286 69286 68432 0 -1 4194304 74999 0 0 0 263 43 0 0 20 0 1 0 60599361 1826308096 421052 18446744073709551615 4210688 4653049 140737301084368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16207872 140737301092707 140737301092914 140737301092914 140737301098479 0
/proc/69288/statm: 445876 421052 928 108 0 443284 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1787696 KiB
Current children cumulated memory: 1687152 KiB
[startup+6.30019 s]
/proc/loadavg: 4.23 4.19 4.12 5/268 69289
/proc/meminfo: memFree=108657332/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69288] ppid=69286 vsize=4370452 memory=3486528 CPUtime=6.24 cores=5,7
/proc/69288/stat : 69288 (pbsuma) R 69286 69286 68432 0 -1 4194304 93667 0 0 0 539 85 0 0 20 0 1 0 60599361 4475342848 871632 18446744073709551615 4210688 4653049 140737301084368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16207872 140737301092707 140737301092914 140737301092914 140737301098479 0
/proc/69288/statm: 1092613 871632 960 108 0 1090021 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 4374644 KiB
Current children cumulated memory: 3489472 KiB
[startup+12.7002 s]
/proc/loadavg: 4.22 4.19 4.12 5/267 69306
/proc/meminfo: memFree=116036052/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=11.12 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 236 130584 0 0 0 0 997 115 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69306] ppid=69286 vsize=462504 memory=417736 CPUtime=1.49 cores=5,7
/proc/69306/stat : 69306 (roundingsat) R 69286 69286 68432 0 -1 4194304 25294 0 0 0 113 36 0 0 20 0 1 0 60600479 473604096 104434 18446744073709551615 4227072 8923433 140730993697760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37044224 140730993703268 140730993703464 140730993703464 140730993709034 0
/proc/69306/statm: 115626 104434 1920 1147 0 103053 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 466696 KiB
Current children cumulated memory: 420680 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.18 4.12 5/269 69339
/proc/meminfo: memFree=115408904/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=11.12 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 236 130584 0 0 0 0 997 115 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69306] ppid=69286 vsize=1221784 memory=1030584 CPUtime=14.25 cores=5,7
/proc/69306/stat : 69306 (roundingsat) R 69286 69286 68432 0 -1 4194304 95293 0 0 0 1018 407 0 0 20 0 1 0 60600479 1251106816 257646 18446744073709551615 4227072 8923433 140730993697760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37044224 140730993703268 140730993703464 140730993703464 140730993709034 0
/proc/69306/statm: 305446 257646 2048 1147 0 292873 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1225976 KiB
Current children cumulated memory: 1033528 KiB
[startup+51.1055 s]
/proc/loadavg: 4.17 4.18 4.12 5/269 69339
/proc/meminfo: memFree=114013724/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=11.12 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 236 130584 0 0 0 0 997 115 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69306] ppid=69286 vsize=2279356 memory=2120844 CPUtime=39.79 cores=5,7
/proc/69306/stat : 69306 (roundingsat) R 69286 69286 68432 0 -1 4194304 254488 0 0 0 3511 468 0 0 20 0 1 0 60600479 2334060544 530211 18446744073709551615 4227072 8923433 140730993697760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37044224 140730993703268 140730993703464 140730993703464 140730993709034 0
/proc/69306/statm: 569839 530211 2080 1147 0 557266 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2283548 KiB
Current children cumulated memory: 2123788 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/270 69344
/proc/meminfo: memFree=110377876/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=11.12 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 236 130584 0 0 0 0 997 115 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69306] ppid=69286 vsize=5642224 memory=5220816 CPUtime=90.83 cores=5,7
/proc/69306/stat : 69306 (roundingsat) R 69286 69286 68432 0 -1 4194304 787562 0 0 0 8514 569 0 0 20 0 1 0 60600479 5777637376 1305204 18446744073709551615 4227072 8923433 140730993697760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37044224 140730993703268 140730993703464 140730993703464 140730993709034 0
/proc/69306/statm: 1410556 1305204 2080 1147 0 1397983 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 5646416 KiB
Current children cumulated memory: 5223760 KiB
[startup+162.3 s]
/proc/loadavg: 4.31 4.20 4.12 5/270 69346
/proc/meminfo: memFree=108963852/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=11.12 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 236 130584 0 0 0 0 997 115 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69306] ppid=69286 vsize=6933052 memory=6222092 CPUtime=150.67 cores=5,7
/proc/69306/stat : 69306 (roundingsat) R 69286 69286 68432 0 -1 4194304 827363 0 0 0 14452 615 0 0 20 0 1 0 60600479 7099445248 1555523 18446744073709551615 4227072 8923433 140730993697760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37044224 140730993703268 140730993703464 140730993703464 140730993709034 0
/proc/69306/statm: 1733263 1555523 2080 1147 0 1720690 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 6937244 KiB
Current children cumulated memory: 6225036 KiB
[startup+222.3 s]
/proc/loadavg: 4.32 4.23 4.14 5/270 69349
/proc/meminfo: memFree=104745232/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=11.12 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 236 130584 0 0 0 0 997 115 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69306] ppid=69286 vsize=11538428 memory=9999816 CPUtime=210.49 cores=5,7
/proc/69306/stat : 69306 (roundingsat) R 69286 69286 68432 0 -1 4194304 1521811 0 0 0 20293 756 0 0 20 0 1 0 60600479 11815350272 2499954 18446744073709551615 4227072 8923433 140730993697760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37044224 140730993703268 140730993703464 140730993703464 140730993709034 0
/proc/69306/statm: 2884641 2499954 2080 1147 0 2872068 0
################
# More data... #
################
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 236 130584 0 0 0 0 997 115 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69306] ppid=69286 vsize=12055592 memory=11227332 CPUtime=389.99 cores=5,7
/proc/69306/stat : 69306 (roundingsat) R 69286 69286 68432 0 -1 4194304 1597881 0 0 0 38184 815 0 0 20 0 1 0 60600479 12344926208 2806833 18446744073709551615 4227072 8923433 140730993697760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37044224 140730993703268 140730993703464 140730993703464 140730993709034 0
/proc/69306/statm: 3013898 2806833 2080 1147 0 3001325 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 12059784 KiB
Current children cumulated memory: 11230276 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.14 4.12 6/268 69404
/proc/meminfo: memFree=102474860/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=11.12 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 236 130584 0 0 0 0 997 115 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69306] ppid=69286 vsize=16473116 memory=15443316 CPUtime=449.83 cores=5,7
/proc/69306/stat : 69306 (roundingsat) R 69286 69286 68432 0 -1 4194304 2403248 0 0 0 44021 962 0 0 20 0 1 0 60600479 16868470784 3860829 18446744073709551615 4227072 8923433 140730993697760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37044224 140730993703268 140730993703464 140730993703464 140730993709034 0
/proc/69306/statm: 4118279 3860829 2080 1147 0 4105706 0
Current children cumulated CPU time: 460.95 s
Current children cumulated vsize: 16477308 KiB
Current children cumulated memory: 15446260 KiB
[startup+522.3 s]
/proc/loadavg: 4.09 4.13 4.11 6/269 69407
/proc/meminfo: memFree=100398752/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=11.12 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 236 130584 0 0 0 0 997 115 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69306] ppid=69286 vsize=20283300 memory=17456612 CPUtime=509.66 cores=5,7
/proc/69306/stat : 69306 (roundingsat) R 69286 69286 68432 0 -1 4194304 2720099 0 0 0 49922 1044 0 0 20 0 1 0 60600479 20770099200 4364153 18446744073709551615 4227072 8923433 140730993697760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37044224 140730993703268 140730993703464 140730993703464 140730993709034 0
/proc/69306/statm: 5070825 4364153 2080 1147 0 5058252 0
Current children cumulated CPU time: 520.78 s
Current children cumulated vsize: 20287492 KiB
Current children cumulated memory: 17459556 KiB
[startup+582.3 s]
/proc/loadavg: 4.08 4.12 4.11 6/270 69417
/proc/meminfo: memFree=98771344/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=11.12 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 236 130584 0 0 0 0 997 115 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69306] ppid=69286 vsize=20896236 memory=18881144 CPUtime=569.47 cores=5,7
/proc/69306/stat : 69306 (roundingsat) R 69286 69286 68432 0 -1 4194304 2915779 0 0 0 55835 1112 0 0 20 0 1 0 60600479 21397745664 4720286 18446744073709551615 4227072 8923433 140730993697760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37044224 140730993703268 140730993703464 140730993703464 140730993709034 0
/proc/69306/statm: 5224059 4720286 2080 1147 0 5211486 0
Current children cumulated CPU time: 580.59 s
Current children cumulated vsize: 20900428 KiB
Current children cumulated memory: 18884088 KiB
[startup+642.3 s]
/proc/loadavg: 4.15 4.13 4.11 6/270 69419
/proc/meminfo: memFree=97690872/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=11.12 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 236 130584 0 0 0 0 997 115 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69306] ppid=69286 vsize=21257540 memory=19945736 CPUtime=629.32 cores=5,7
/proc/69306/stat : 69306 (roundingsat) R 69286 69286 68432 0 -1 4194304 3036861 0 0 0 61775 1157 0 0 20 0 1 0 60600479 21767720960 4986434 18446744073709551615 4227072 8923433 140730993697760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37044224 140730993703268 140730993703464 140730993703464 140730993709034 0
/proc/69306/statm: 5314385 4986434 2080 1147 0 5301812 0
Current children cumulated CPU time: 640.44 s
Current children cumulated vsize: 21261732 KiB
Current children cumulated memory: 19948680 KiB
[startup+702.3 s]
/proc/loadavg: 4.05 4.10 4.09 6/269 69421
/proc/meminfo: memFree=96148244/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=11.12 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 236 130584 0 0 0 0 997 115 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69306] ppid=69286 vsize=21643020 memory=20993840 CPUtime=689.15 cores=5,7
/proc/69306/stat : 69306 (roundingsat) R 69286 69286 68432 0 -1 4194304 3134182 0 0 0 67721 1194 0 0 20 0 1 0 60600479 22162452480 5248460 18446744073709551615 4227072 8923433 140730993697760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37044224 140730993703268 140730993703464 140730993703464 140730993709034 0
/proc/69306/statm: 5410755 5248460 2080 1147 0 5398182 0
Current children cumulated CPU time: 700.27 s
Current children cumulated vsize: 21647212 KiB
Current children cumulated memory: 20996784 KiB
[startup+762.3 s]
/proc/loadavg: 4.06 4.10 4.09 6/269 69423
/proc/meminfo: memFree=92818232/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=11.12 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 236 130584 0 0 0 0 997 115 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69306] ppid=69286 vsize=27526580 memory=23119876 CPUtime=748.96 cores=5,7
/proc/69306/stat : 69306 (roundingsat) R 69286 69286 68432 0 -1 4194304 3436816 0 0 0 73628 1268 0 0 20 0 1 0 60600479 28187217920 5779969 18446744073709551615 4227072 8923433 140730993697760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37044224 140730993703268 140730993703464 140730993703464 140730993709034 0
/proc/69306/statm: 6881645 5779969 2080 1147 0 6869072 0
Current children cumulated CPU time: 760.08 s
Current children cumulated vsize: 27530772 KiB
Current children cumulated memory: 23122820 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+797.2 s]
/proc/loadavg: 4.08 4.10 4.09 6/269 69424
/proc/meminfo: memFree=89606404/131249996 swapFree=33010684/33010684
[pid=69286] ppid=69283 vsize=4192 memory=2944 CPUtime=11.12 cores=5,7
/proc/69286/stat : 69286 (run-opt-break.s) S 69283 69286 68432 0 -1 4194304 236 130584 0 0 0 0 997 115 20 0 1 0 60599360 4292608 736 18446744073709551615 94150887055360 94150887949893 140726194776432 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94150888188944 94150888236688 94150903123968 140726194780513 140726194780642 140726194780642 140726194786244 0
/proc/69286/statm: 1048 736 672 219 0 110 0
[pid=69306] ppid=69286 vsize=31745104 memory=26346284 CPUtime=783.76 cores=5,7
/proc/69306/stat : 69306 (roundingsat) R 69286 69286 68432 0 -1 4194304 4087769 0 0 0 76995 1381 0 0 20 0 1 0 60600479 32506986496 6586571 18446744073709551615 4227072 8923433 140730993697760 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37044224 140730993703268 140730993703464 140730993703464 140730993709034 0
/proc/69306/statm: 7936276 6586571 2080 1147 0 7923703 0
Current children cumulated CPU time: 794.88 s
Current children cumulated vsize: 31749296 KiB
Current children cumulated memory: 26349228 KiB
Sending SIGTERM to process tree (bottom up)
[startup+797.205 s]
# the end of solver process 69286 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=9.98009 s, system=1.15719 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+799.983 s]
# the end of solver process 69306 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=780.058 s, system=16.5156 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+798.401 s]
/proc/loadavg: 4.15 4.11 4.10 6/270 69427
/proc/meminfo: memFree=88669052/131249996 swapFree=33010684/33010684
[pid=69306] ppid=69283 vsize=31795068 memory=26388756 CPUtime=784.65 cores=5,7
/proc/69306/stat : 69306 (roundingsat) S 69283 69286 68432 0 -1 4195840 4096210 0 1 0 77007 1458 0 0 20 0 1 0 60600479 32558149632 6597189 18446744073709551615 4227072 8923433 140730993697760 140730993694416 140342987373164 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9823104 9832592 37044224 140730993703268 140730993703464 140730993703464 140730993709034 6
/proc/69306/statm: 7948767 6597189 2208 1147 0 7936194 0
Current cumulated CPU time of completed processes: 11.1373 s
Current children cumulated CPU time: 784.65 s
Current children cumulated vsize: 31795068 KiB
Current children cumulated memory: 26388756 KiB
[startup+798.801 s]
/proc/loadavg: 4.15 4.11 4.10 6/270 69427
/proc/meminfo: memFree=88669052/131249996 swapFree=33010684/33010684
[pid=69306] ppid=69283 vsize=31795068 memory=26388756 CPUtime=784.65 cores=5,7
/proc/69306/stat : 69306 (roundingsat) S 69283 69286 68432 0 -1 4195840 4096210 0 1 0 77007 1458 0 0 20 0 1 0 60600479 32558149632 6597189 18446744073709551615 4227072 8923433 140730993697760 140730993694416 140342987373164 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9823104 9832592 37044224 140730993703268 140730993703464 140730993703464 140730993709034 6
/proc/69306/statm: 7948767 6597189 2208 1147 0 7936194 0
Current cumulated CPU time of completed processes: 11.1373 s
Current children cumulated CPU time: 784.65 s
Current children cumulated vsize: 31795068 KiB
Current children cumulated memory: 26388756 KiB
[startup+799.208 s]
/proc/loadavg: 4.15 4.11 4.10 5/270 69427
/proc/meminfo: memFree=88471708/131249996 swapFree=33010684/33010684
[pid=69306] ppid=69283 vsize=31795068 memory=26388756 CPUtime=784.65 cores=5,7
/proc/69306/stat : 69306 (roundingsat) S 69283 69286 68432 0 -1 4195840 4096210 0 1 0 77007 1458 0 0 20 0 1 0 60600479 32558149632 6597189 18446744073709551615 4227072 8923433 140730993697760 140730993694416 140342987373164 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9823104 9832592 37044224 140730993703268 140730993703464 140730993703464 140730993709034 6
/proc/69306/statm: 7948767 6597189 2208 1147 0 7936194 0
Current cumulated CPU time of completed processes: 11.1373 s
Current children cumulated CPU time: 784.65 s
Current children cumulated vsize: 31795068 KiB
Current children cumulated memory: 26388756 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 799.984
CPU time (s): 796.573
CPU user time (s): 780.058
CPU system time (s): 16.5156
CPU usage (%): 99.5737
Max. virtual memory (cumulated for all children) (KiB): 31795068
Max. memory (cumulated for all children) (KiB): 26388756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 780.058
system time used= 16.5156
maximum resident set size= 26388756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4227030
page faults= 1
swaps= 0
block input operations= 184
block output operations= 447576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 252
involuntary context switches= 1010
# summary of solver processes directly reported to runsolver:
# pid: 69286,69306
# total CPU time (s): 796.573
# total CPU user time (s): 780.058
# total CPU system time (s): 16.5156
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50222 second user time and 3.79583 second system time
The end
Begin job on nodeC024 at 2025-07-02 11:40:15
IDJOB=4505496
IDBENCH=155759
IDSOLVER=3359
FILE ID=nodeC024/4505496-1751449213
RUNJOBID= nodeC024-1751441985-68445
SLURM_JOB_ID= 9598407
Free space on /tmp= 431700 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_6_mh.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4505496-1751449213/watcher-4505496-1751449213 -o /tmp/evaluation-result-4505496-1751449213/solver-4505496-1751449213 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751441985-68445 --watchdog 3760 run-opt-break.sh HOME/instance-4505496-1751449213.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ae4404ba779864fb11c76f88911c57d7
RANDOM SEED=413285603
nodeC024 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.667
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.36
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.676
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.36
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 : 3613.309
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.36
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.478
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.36
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.629
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.36
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 : 3558.427
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.36
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 : 3558.783
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.662
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 111513088 kB
MemAvailable: 119599572 kB
Buffers: 3280 kB
Cached: 8854696 kB
SwapCached: 0 kB
Active: 10105488 kB
Inactive: 8596480 kB
Active(anon): 9862056 kB
Inactive(anon): 0 kB
Active(file): 243432 kB
Inactive(file): 8596480 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 428360 kB
Writeback: 0 kB
AnonPages: 9841984 kB
Mapped: 111328 kB
Shmem: 18064 kB
KReclaimable: 171224 kB
Slab: 263056 kB
SReclaimable: 171224 kB
SUnreclaim: 91832 kB
KernelStack: 4320 kB
PageTables: 24076 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 12055356 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2971648 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 429676 MiB
End job on nodeC024 at 2025-07-02 11:53:35