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-4515242-1751223191.opb'
0.00/0.01 c read 0.49MB (8.17ms)
0.00/0.01 c [cnf: #variables 6689 #clauses 6377 #duplicates 0 #arr 48215]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 1602] (9.06ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.03 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.03 c recursing 20 blocks of candidate 5x12r
0.00/0.03 c found row 5x12, generating row predicate
0.00/0.03 c (3.86ms)
0.00/0.03 c
0.00/0.03 c detect symmetries on remainder
0.00/0.03 c [graph: #vertices 33132 #edges 136562]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.04 c [group: #symmetries 6.34*10^434 #generators 1146] (7.83ms)
0.00/0.04 c
0.00/0.04 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.04 c ran it=0, +gens=1
0.00/0.09 c con best_support=4, best_gens=920, +gens=68
0.00/0.09 c (58.77ms)
0.00/0.09 c
0.00/0.09 c finalize break order and special generators
0.00/0.10 c
0.00/0.10 c add generic predicates (break_depth=10)
0.00/0.10 c added predicates for 1215 generators (0.34ms)
0.00/0.10 c
0.00/0.10 c generation finished
0.00/0.10 c [sbp: #constraints 5968 #add_vars 1583]
0.00/0.10 c
0.00/0.10 c write result to 'HOME/instance-4515242-1751223191.opb.pre'
0.00/0.10 c wrote 0.69MB (1.81ms)
0.00/0.10 c ------------------------------------------------------------------
0.00/0.10 c 58.77ms 64.45% optimize_gens
0.00/0.10 c 9.06ms 9.93% approx_orbits
0.00/0.10 c 8.17ms 8.96% parse
0.00/0.10 c 7.83ms 8.58% detect_generic
0.00/0.10 c 3.86ms 4.24% detect_special
0.00/0.10 c 1.81ms 1.99% output
0.00/0.10 c 0.98ms 1.08% other
0.00/0.10 c 0.36ms 0.40% finalize_order
0.00/0.10 c 0.34ms 0.37% break_generic
0.00/0.10 c ───────────────────────────────────────────────
0.00/0.10 c 91.19ms 100% total
0.00/0.10 c ------------------------------------------------------------------
0.08/0.11 c RoundingSat 2
0.08/0.11 c branch pb25
0.08/0.11 c commit 63f22ad
0.08/0.18 c #variables 8272 #constraints 12345
112.42/112.84 c #Conflicts: 1000 | #Constraints: 13344
112.42/112.84 c #Conflicts: 2000 | #Constraints: 14344
112.42/112.84 c INPROCESSING
112.42/112.84 c GARBAGE COLLECT
112.42/112.84 c #Conflicts: 3000 | #Constraints: 13858
112.42/112.84 c #Conflicts: 4000 | #Constraints: 14858
112.42/112.84 c INPROCESSING
112.42/112.84 c GARBAGE COLLECT
112.42/112.84 c #Conflicts: 5000 | #Constraints: 14124
112.42/112.84 c #Conflicts: 6000 | #Constraints: 15124
112.42/112.84 c INPROCESSING
112.42/112.84 c GARBAGE COLLECT
112.42/112.84 c #Conflicts: 7000 | #Constraints: 13921
112.42/112.84 c #Conflicts: 8000 | #Constraints: 14921
112.42/112.84 c #Conflicts: 9000 | #Constraints: 15921
112.42/112.84 c INPROCESSING
112.42/112.84 c GARBAGE COLLECT
112.42/112.84 c #Conflicts: 10000 | #Constraints: 14360
112.42/112.84 c #Conflicts: 11000 | #Constraints: 15360
112.42/112.84 c #Conflicts: 12000 | #Constraints: 16360
112.42/112.84 c INPROCESSING
112.42/112.84 c GARBAGE COLLECT
112.42/112.84 c rational objective 1250.03
690.32/692.14 c #Conflicts: 13000 | #Constraints: 14658
690.32/692.14 c #Conflicts: 14000 | #Constraints: 15658
690.32/692.14 c #Conflicts: 15000 | #Constraints: 16658
690.32/692.14 c INPROCESSING
690.32/692.14 c GARBAGE COLLECT
690.32/692.14 c #Conflicts: 16000 | #Constraints: 14625
690.32/692.14 c #Conflicts: 17000 | #Constraints: 15625
690.32/692.14 c #Conflicts: 18000 | #Constraints: 16625
690.32/692.14 c INPROCESSING
690.32/692.14 c GARBAGE COLLECT
690.32/692.14 c #Conflicts: 19000 | #Constraints: 14567
690.32/692.14 c #Conflicts: 20000 | #Constraints: 15567
690.32/692.14 c #Conflicts: 21000 | #Constraints: 16568
690.32/692.14 c INPROCESSING
690.32/692.14 c GARBAGE COLLECT
690.32/692.14 c #Conflicts: 22000 | #Constraints: 13895
690.32/692.14 c #Conflicts: 23000 | #Constraints: 14895
690.32/692.14 c #Conflicts: 24000 | #Constraints: 15895
690.32/692.14 c #Conflicts: 25000 | #Constraints: 16895
690.32/692.14 c INPROCESSING
690.32/692.14 c GARBAGE COLLECT
690.32/692.14 c #Conflicts: 26000 | #Constraints: 14360
690.32/692.14 c #Conflicts: 27000 | #Constraints: 15360
690.32/692.14 c #Conflicts: 28000 | #Constraints: 16360
690.32/692.14 c #Conflicts: 29000 | #Constraints: 17360
690.32/692.14 c INPROCESSING
690.32/692.14 c GARBAGE COLLECT
690.32/692.14 c #Conflicts: 30000 | #Constraints: 14611
690.32/692.14 c #Conflicts: 31000 | #Constraints: 15611
690.32/692.14 c #Conflicts: 32000 | #Constraints: 16611
690.32/692.14 c #Conflicts: 33000 | #Constraints: 17611
690.32/692.14 c INPROCESSING
690.32/692.14 c GARBAGE COLLECT
690.32/692.14 c #Conflicts: 34000 | #Constraints: 14726
690.32/692.14 c #Conflicts: 35000 | #Constraints: 15726
690.32/692.14 c #Conflicts: 36000 | #Constraints: 16727
690.32/692.14 c #Conflicts: 37000 | #Constraints: 17727
690.32/692.14 c INPROCESSING
690.32/692.14 c GARBAGE COLLECT
690.32/692.14 c #Conflicts: 38000 | #Constraints: 14713
690.32/692.14 c #Conflicts: 39000 | #Constraints: 15713
690.32/692.14 c #Conflicts: 40000 | #Constraints: 16713
690.32/692.14 c #Conflicts: 41000 | #Constraints: 17713
690.32/692.14 c INPROCESSING
690.32/692.14 c GARBAGE COLLECT
690.32/692.14 c #Conflicts: 42000 | #Constraints: 14412
690.32/692.14 c #Conflicts: 43000 | #Constraints: 15413
690.32/692.14 c #Conflicts: 44000 | #Constraints: 16413
690.32/692.14 c #Conflicts: 45000 | #Constraints: 17413
690.32/692.14 c #Conflicts: 46000 | #Constraints: 18413
690.32/692.14 c INPROCESSING
690.32/692.14 c GARBAGE COLLECT
690.32/692.14 c #Conflicts: 47000 | #Constraints: 14977
690.32/692.14 c #Conflicts: 48000 | #Constraints: 15978
690.32/692.14 c #Conflicts: 49000 | #Constraints: 16978
690.32/692.14 c #Conflicts: 50000 | #Constraints: 17978
690.32/692.14 c #Conflicts: 51000 | #Constraints: 18978
690.32/692.14 c INPROCESSING
690.32/692.14 c GARBAGE COLLECT
690.32/692.14 c #Conflicts: 52000 | #Constraints: 15378
690.32/692.14 c #Conflicts: 53000 | #Constraints: 16378
690.32/692.14 c #Conflicts: 54000 | #Constraints: 17378
690.32/692.14 c #Conflicts: 55000 | #Constraints: 18378
690.32/692.14 c #Conflicts: 56000 | #Constraints: 19378
690.32/692.14 c INPROCESSING
690.32/692.14 c GARBAGE COLLECT
690.32/692.14 c #Conflicts: 57000 | #Constraints: 15532
690.32/692.14 c #Conflicts: 58000 | #Constraints: 16532
690.32/692.14 c #Conflicts: 59000 | #Constraints: 17532
690.32/692.14 c #Conflicts: 60000 | #Constraints: 18532
690.32/692.14 c #Conflicts: 61000 | #Constraints: 19532
690.32/692.14 c INPROCESSING
690.32/692.14 c GARBAGE COLLECT
690.32/692.14 c #Conflicts: 62000 | #Constraints: 15413
690.32/692.14 c #Conflicts: 63000 | #Constraints: 16414
690.32/692.14 c #Conflicts: 64000 | #Constraints: 17415
690.32/692.14 c #Conflicts: 65000 | #Constraints: 18415
690.32/692.14 c #Conflicts: 66000 | #Constraints: 19416
690.32/692.14 c INPROCESSING
690.32/692.14 c GARBAGE COLLECT
690.32/692.14 c #Conflicts: 67000 | #Constraints: 15136
690.32/692.14 c #Conflicts: 68000 | #Constraints: 16136
690.32/692.14 c #Conflicts: 69000 | #Constraints: 17136
690.32/692.14 c #Conflicts: 70000 | #Constraints: 18136
690.32/692.14 c #Conflicts: 71000 | #Constraints: 19136
690.32/692.14 c #Conflicts: 72000 | #Constraints: 20137
690.32/692.14 c INPROCESSING
690.32/692.14 c GARBAGE COLLECT
690.32/692.14 c #Conflicts: 73000 | #Constraints: 15601
690.32/692.14 c #Conflicts: 74000 | #Constraints: 16602
690.32/692.14 c #Conflicts: 75000 | #Constraints: 17603
690.32/692.14 c #Conflicts: 76000 | #Constraints: 18603
690.32/692.14 c #Conflicts: 77000 | #Constraints: 19604
690.32/692.14 c #Conflicts: 78000 | #Constraints: 20604
690.32/692.14 c INPROCESSING
690.32/692.14 c GARBAGE COLLECT
690.32/692.14 c #Conflicts: 79000 | #Constraints: 15970
690.32/692.14 c #Conflicts: 80000 | #Constraints: 16970
690.32/692.14 c #Conflicts: 81000 | #Constraints: 17970
690.32/692.14 c #Conflicts: 82000 | #Constraints: 18970
1321.60/1324.96 c #Conflicts: 83000 | #Constraints: 19971
1321.60/1324.96 c #Conflicts: 84000 | #Constraints: 20971
1321.60/1324.96 c INPROCESSING
1321.60/1324.96 c GARBAGE COLLECT
1321.60/1324.96 c #Conflicts: 85000 | #Constraints: 16176
1321.60/1324.96 c #Conflicts: 86000 | #Constraints: 17176
1321.60/1324.96 c #Conflicts: 87000 | #Constraints: 18176
1321.60/1324.96 c #Conflicts: 88000 | #Constraints: 19176
1321.60/1324.96 c #Conflicts: 89000 | #Constraints: 20176
1321.60/1324.96 c #Conflicts: 90000 | #Constraints: 21177
1321.60/1324.96 c INPROCESSING
1321.60/1324.96 c GARBAGE COLLECT
1321.60/1324.96 c #Conflicts: 91000 | #Constraints: 16174
1321.60/1324.96 c #Conflicts: 92000 | #Constraints: 17174
1321.60/1324.96 c #Conflicts: 93000 | #Constraints: 18174
1321.60/1324.96 c #Conflicts: 94000 | #Constraints: 19174
1321.60/1324.96 c #Conflicts: 95000 | #Constraints: 20175
1321.60/1324.96 c #Conflicts: 96000 | #Constraints: 21176
1321.60/1324.96 c INPROCESSING
1321.60/1324.96 c GARBAGE COLLECT
1321.60/1324.96 c #Conflicts: 97000 | #Constraints: 15987
1321.60/1324.96 c #Conflicts: 98000 | #Constraints: 16987
1321.60/1324.96 c #Conflicts: 99000 | #Constraints: 17988
1321.60/1324.96 c #Conflicts: 100000 | #Constraints: 18988
1321.60/1324.96 c #Conflicts: 101000 | #Constraints: 19988
1321.60/1324.96 c #Conflicts: 102000 | #Constraints: 20988
1321.60/1324.96 c #Conflicts: 103000 | #Constraints: 21988
1321.60/1324.96 c INPROCESSING
1321.60/1324.96 c GARBAGE COLLECT
1321.60/1324.96 c #Conflicts: 104000 | #Constraints: 16507
1321.60/1324.96 c #Conflicts: 105000 | #Constraints: 17507
1321.60/1324.96 c #Conflicts: 106000 | #Constraints: 18507
1321.60/1324.96 c #Conflicts: 107000 | #Constraints: 19507
1321.60/1324.96 c #Conflicts: 108000 | #Constraints: 20507
1321.60/1324.96 c #Conflicts: 109000 | #Constraints: 21508
1321.60/1324.96 c #Conflicts: 110000 | #Constraints: 22508
1321.60/1324.96 c INPROCESSING
1321.60/1324.96 c GARBAGE COLLECT
1321.60/1324.96 c #Conflicts: 111000 | #Constraints: 16912
1321.60/1324.96 c #Conflicts: 112000 | #Constraints: 17912
1321.60/1324.96 c #Conflicts: 113000 | #Constraints: 18912
1321.60/1324.96 c #Conflicts: 114000 | #Constraints: 19912
1321.60/1324.96 c #Conflicts: 115000 | #Constraints: 20912
1321.60/1324.96 c #Conflicts: 116000 | #Constraints: 21912
1321.60/1324.96 c #Conflicts: 117000 | #Constraints: 22912
1321.60/1324.96 c INPROCESSING
1321.60/1324.96 c GARBAGE COLLECT
1321.60/1324.96 c #Conflicts: 118000 | #Constraints: 17077
1321.60/1324.96 c #Conflicts: 119000 | #Constraints: 18077
1321.60/1324.96 c #Conflicts: 120000 | #Constraints: 19077
1321.60/1324.96 c #Conflicts: 121000 | #Constraints: 20077
1321.60/1324.96 c #Conflicts: 122000 | #Constraints: 21077
1321.60/1324.96 c #Conflicts: 123000 | #Constraints: 22077
1321.60/1324.96 c #Conflicts: 124000 | #Constraints: 23077
1321.60/1324.96 c INPROCESSING
1321.60/1324.96 c GARBAGE COLLECT
1321.60/1324.96 c #Conflicts: 125000 | #Constraints: 17054
1321.60/1324.96 c #Conflicts: 126000 | #Constraints: 18054
1321.60/1324.96 c #Conflicts: 127000 | #Constraints: 19054
1321.60/1324.96 c #Conflicts: 128000 | #Constraints: 20054
1321.60/1324.96 c #Conflicts: 129000 | #Constraints: 21054
1321.60/1324.96 c #Conflicts: 130000 | #Constraints: 22054
1321.60/1324.96 c #Conflicts: 131000 | #Constraints: 23054
1321.60/1324.96 c INPROCESSING
1321.60/1324.96 c GARBAGE COLLECT
1321.60/1324.96 c #Conflicts: 132000 | #Constraints: 16855
1321.60/1324.96 c #Conflicts: 133000 | #Constraints: 17855
1321.60/1324.96 c #Conflicts: 134000 | #Constraints: 18856
1321.60/1324.96 c #Conflicts: 135000 | #Constraints: 19856
1321.60/1324.96 c #Conflicts: 136000 | #Constraints: 20856
1321.60/1324.96 c #Conflicts: 137000 | #Constraints: 21856
1321.60/1324.96 c #Conflicts: 138000 | #Constraints: 22856
1321.60/1324.96 c #Conflicts: 139000 | #Constraints: 23856
1321.60/1324.96 c INPROCESSING
1321.60/1324.96 c GARBAGE COLLECT
1321.60/1324.96 c #Conflicts: 140000 | #Constraints: 17465
1321.60/1324.96 c #Conflicts: 141000 | #Constraints: 18465
1321.60/1324.96 c #Conflicts: 142000 | #Constraints: 19466
1321.60/1324.96 c #Conflicts: 143000 | #Constraints: 20466
1321.60/1324.96 c #Conflicts: 144000 | #Constraints: 21466
1321.60/1324.96 c #Conflicts: 145000 | #Constraints: 22466
1321.60/1324.96 c #Conflicts: 146000 | #Constraints: 23466
1321.60/1324.96 c #Conflicts: 147000 | #Constraints: 24466
1321.60/1324.96 c INPROCESSING
1321.60/1324.96 c GARBAGE COLLECT
1321.60/1324.96 c #Conflicts: 148000 | #Constraints: 17885
1321.60/1324.96 c #Conflicts: 149000 | #Constraints: 18885
1321.60/1324.96 c #Conflicts: 150000 | #Constraints: 19885
1321.60/1324.96 c #Conflicts: 151000 | #Constraints: 20885
1321.60/1324.96 c #Conflicts: 152000 | #Constraints: 21886
1321.60/1324.96 c #Conflicts: 153000 | #Constraints: 22886
1321.60/1324.96 c #Conflicts: 154000 | #Constraints: 23886
1434.39/1438.02 c #Conflicts: 155000 | #Constraints: 24886
1434.39/1438.02 c INPROCESSING
1434.39/1438.02 c GARBAGE COLLECT
1434.39/1438.02 c #Conflicts: 156000 | #Constraints: 18089
1434.39/1438.02 c #Conflicts: 157000 | #Constraints: 19089
1434.39/1438.02 c #Conflicts: 158000 | #Constraints: 20089
1434.39/1438.02 c #Conflicts: 159000 | #Constraints: 21089
1434.39/1438.02 c #Conflicts: 160000 | #Constraints: 22089
1434.39/1438.02 c #Conflicts: 161000 | #Constraints: 23089
1434.39/1438.02 c #Conflicts: 162000 | #Constraints: 24089
1434.39/1438.02 c #Conflicts: 163000 | #Constraints: 25089
1434.39/1438.02 c INPROCESSING
1434.39/1438.02 c GARBAGE COLLECT
1434.39/1438.02 c rational objective 1272.86
2352.31/2358.36 c #Conflicts: 164000 | #Constraints: 18091
2352.31/2358.36 c #Conflicts: 165000 | #Constraints: 19091
2352.31/2358.36 c #Conflicts: 166000 | #Constraints: 20091
2352.31/2358.36 c #Conflicts: 167000 | #Constraints: 21091
2352.31/2358.36 c #Conflicts: 168000 | #Constraints: 22091
2352.31/2358.36 c #Conflicts: 169000 | #Constraints: 23091
2352.31/2358.36 c #Conflicts: 170000 | #Constraints: 24091
2352.31/2358.36 c #Conflicts: 171000 | #Constraints: 25091
2352.31/2358.36 c INPROCESSING
2352.31/2358.36 c GARBAGE COLLECT
2352.31/2358.36 c #Conflicts: 172000 | #Constraints: 17885
2352.31/2358.36 c #Conflicts: 173000 | #Constraints: 18885
2352.31/2358.36 c #Conflicts: 174000 | #Constraints: 19885
2352.31/2358.36 c #Conflicts: 175000 | #Constraints: 20885
2352.31/2358.36 c #Conflicts: 176000 | #Constraints: 21886
2352.31/2358.36 c #Conflicts: 177000 | #Constraints: 22886
2352.31/2358.36 c #Conflicts: 178000 | #Constraints: 23886
2352.31/2358.36 c #Conflicts: 179000 | #Constraints: 24886
2352.31/2358.36 c #Conflicts: 180000 | #Constraints: 25886
2352.31/2358.36 c INPROCESSING
2352.31/2358.36 c GARBAGE COLLECT
2352.31/2358.36 c #Conflicts: 181000 | #Constraints: 18460
2352.31/2358.36 c #Conflicts: 182000 | #Constraints: 19460
2352.31/2358.36 c #Conflicts: 183000 | #Constraints: 20461
2352.31/2358.36 c #Conflicts: 184000 | #Constraints: 21461
2352.31/2358.36 c #Conflicts: 185000 | #Constraints: 22461
2352.31/2358.36 c #Conflicts: 186000 | #Constraints: 23461
2352.31/2358.36 c #Conflicts: 187000 | #Constraints: 24461
2352.31/2358.36 c #Conflicts: 188000 | #Constraints: 25461
2352.31/2358.36 c #Conflicts: 189000 | #Constraints: 26461
2352.31/2358.36 c INPROCESSING
2352.31/2358.36 c GARBAGE COLLECT
2352.31/2358.36 c #Conflicts: 190000 | #Constraints: 18867
2352.31/2358.36 c #Conflicts: 191000 | #Constraints: 19867
2352.31/2358.36 c #Conflicts: 192000 | #Constraints: 20868
2352.31/2358.36 c #Conflicts: 193000 | #Constraints: 21868
2352.31/2358.36 c #Conflicts: 194000 | #Constraints: 22868
2352.31/2358.36 c #Conflicts: 195000 | #Constraints: 23868
2352.31/2358.36 c #Conflicts: 196000 | #Constraints: 24868
2352.31/2358.36 c #Conflicts: 197000 | #Constraints: 25868
2352.31/2358.36 c #Conflicts: 198000 | #Constraints: 26868
2352.31/2358.36 c INPROCESSING
2352.31/2358.36 c GARBAGE COLLECT
2352.31/2358.36 c #Conflicts: 199000 | #Constraints: 19076
2352.31/2358.36 c #Conflicts: 200000 | #Constraints: 20076
2352.31/2358.36 c #Conflicts: 201000 | #Constraints: 21076
2352.31/2358.36 c #Conflicts: 202000 | #Constraints: 22076
2352.31/2358.36 c #Conflicts: 203000 | #Constraints: 23076
2352.31/2358.36 c #Conflicts: 204000 | #Constraints: 24076
2352.31/2358.36 c #Conflicts: 205000 | #Constraints: 25076
2352.31/2358.36 c #Conflicts: 206000 | #Constraints: 26076
2352.31/2358.36 c #Conflicts: 207000 | #Constraints: 27076
2352.31/2358.36 c INPROCESSING
2352.31/2358.36 c GARBAGE COLLECT
2352.31/2358.36 c #Conflicts: 208000 | #Constraints: 19074
2352.31/2358.36 c #Conflicts: 209000 | #Constraints: 20075
2352.31/2358.36 c #Conflicts: 210000 | #Constraints: 21075
2352.31/2358.36 c #Conflicts: 211000 | #Constraints: 22075
2352.31/2358.36 c #Conflicts: 212000 | #Constraints: 23075
2352.31/2358.36 c #Conflicts: 213000 | #Constraints: 24075
2352.31/2358.36 c #Conflicts: 214000 | #Constraints: 25076
2352.31/2358.36 c #Conflicts: 215000 | #Constraints: 26076
2352.31/2358.36 c #Conflicts: 216000 | #Constraints: 27076
2352.31/2358.36 c INPROCESSING
2352.31/2358.36 c GARBAGE COLLECT
2352.31/2358.36 c #Conflicts: 217000 | #Constraints: 18868
2352.31/2358.36 c #Conflicts: 218000 | #Constraints: 19868
2352.31/2358.36 c #Conflicts: 219000 | #Constraints: 20868
2352.31/2358.36 c #Conflicts: 220000 | #Constraints: 21868
2352.31/2358.36 c #Conflicts: 221000 | #Constraints: 22868
2352.31/2358.36 c #Conflicts: 222000 | #Constraints: 23868
2352.31/2358.36 c #Conflicts: 223000 | #Constraints: 24868
2352.31/2358.36 c #Conflicts: 224000 | #Constraints: 25868
2352.31/2358.36 c #Conflicts: 225000 | #Constraints: 26868
2352.31/2358.36 c #Conflicts: 226000 | #Constraints: 27868
2352.31/2358.36 c INPROCESSING
2352.31/2358.36 c GARBAGE COLLECT
2352.31/2358.36 c #Conflicts: 227000 | #Constraints: 19470
2352.31/2358.36 c #Conflicts: 228000 | #Constraints: 20470
2352.31/2358.36 c #Conflicts: 229000 | #Constraints: 21470
2352.31/2358.36 c #Conflicts: 230000 | #Constraints: 22470
2352.31/2358.36 c #Conflicts: 231000 | #Constraints: 23470
2352.31/2358.36 c #Conflicts: 232000 | #Constraints: 24470
2352.31/2358.36 c #Conflicts: 233000 | #Constraints: 25470
2352.31/2358.36 c #Conflicts: 234000 | #Constraints: 26470
2352.31/2358.36 c #Conflicts: 235000 | #Constraints: 27470
2352.31/2358.36 c #Conflicts: 236000 | #Constraints: 28470
2352.31/2358.36 c INPROCESSING
2352.31/2358.36 c GARBAGE COLLECT
2352.31/2358.36 c #Conflicts: 237000 | #Constraints: 19871
2728.75/2735.66 c #Conflicts: 238000 | #Constraints: 20871
2728.75/2735.66 c #Conflicts: 239000 | #Constraints: 21871
2728.75/2735.66 c #Conflicts: 240000 | #Constraints: 22871
2728.75/2735.66 c #Conflicts: 241000 | #Constraints: 23871
2728.75/2735.66 c #Conflicts: 242000 | #Constraints: 24871
2728.75/2735.66 c #Conflicts: 243000 | #Constraints: 25871
2728.75/2735.66 c #Conflicts: 244000 | #Constraints: 26872
2728.75/2735.66 c #Conflicts: 245000 | #Constraints: 27872
2728.75/2735.66 c #Conflicts: 246000 | #Constraints: 28872
2728.75/2735.66 c INPROCESSING
2728.75/2735.66 c GARBAGE COLLECT
2728.75/2735.66 c #Conflicts: 247000 | #Constraints: 20075
2728.75/2735.66 c #Conflicts: 248000 | #Constraints: 21075
2728.75/2735.66 c #Conflicts: 249000 | #Constraints: 22075
2728.75/2735.66 c #Conflicts: 250000 | #Constraints: 23075
2728.75/2735.66 c #Conflicts: 251000 | #Constraints: 24075
2728.75/2735.66 c #Conflicts: 252000 | #Constraints: 25075
2728.75/2735.66 c #Conflicts: 253000 | #Constraints: 26075
2728.75/2735.66 c #Conflicts: 254000 | #Constraints: 27076
2728.75/2735.66 c #Conflicts: 255000 | #Constraints: 28076
2728.75/2735.66 c #Conflicts: 256000 | #Constraints: 29076
2728.75/2735.66 c INPROCESSING
2728.75/2735.66 c GARBAGE COLLECT
2728.75/2735.66 c #Conflicts: 257000 | #Constraints: 20067
2728.75/2735.66 c #Conflicts: 258000 | #Constraints: 21067
2728.75/2735.66 c #Conflicts: 259000 | #Constraints: 22067
2728.75/2735.66 c #Conflicts: 260000 | #Constraints: 23067
2728.75/2735.66 c #Conflicts: 261000 | #Constraints: 24067
2728.75/2735.66 c #Conflicts: 262000 | #Constraints: 25067
2728.75/2735.66 c #Conflicts: 263000 | #Constraints: 26067
2728.75/2735.66 c #Conflicts: 264000 | #Constraints: 27067
2728.75/2735.66 c #Conflicts: 265000 | #Constraints: 28067
2728.75/2735.66 c #Conflicts: 266000 | #Constraints: 29067
2728.75/2735.66 c INPROCESSING
2728.75/2735.66 c GARBAGE COLLECT
2728.75/2735.66 c rational objective 1282
3600.04/3608.90 c #Conflicts: 267000 | #Constraints: 19864
3600.04/3608.90 c #Conflicts: 268000 | #Constraints: 20864
3600.04/3608.90 c #Conflicts: 269000 | #Constraints: 21864
3600.04/3608.90 c #Conflicts: 270000 | #Constraints: 22864
3600.04/3608.90 c #Conflicts: 271000 | #Constraints: 23864
3600.04/3608.90 c #Conflicts: 272000 | #Constraints: 24864
3600.04/3608.90 c #Conflicts: 273000 | #Constraints: 25864
3600.04/3608.90 c #Conflicts: 274000 | #Constraints: 26864
3600.04/3608.90 c #Conflicts: 275000 | #Constraints: 27864
3600.04/3608.90 c #Conflicts: 276000 | #Constraints: 28865
3600.04/3608.90 c #Conflicts: 277000 | #Constraints: 29865
3600.04/3608.90 c INPROCESSING
3600.04/3608.90 c GARBAGE COLLECT
3600.04/3608.90 c #Conflicts: 278000 | #Constraints: 20275
3600.04/3608.90 c #Conflicts: 279000 | #Constraints: 21275
3600.04/3608.90 c #Conflicts: 280000 | #Constraints: 22275
3600.04/3608.90 c #Conflicts: 281000 | #Constraints: 23275
3600.04/3608.90 c #Conflicts: 282000 | #Constraints: 24275
3600.04/3608.90 c #Conflicts: 283000 | #Constraints: 25275
3600.04/3608.90 c #Conflicts: 284000 | #Constraints: 26275
3600.04/3608.90 c #Conflicts: 285000 | #Constraints: 27275
3600.04/3608.90 c #Conflicts: 286000 | #Constraints: 28275
3600.04/3608.90 c #Conflicts: 287000 | #Constraints: 29275
3600.04/3608.90 c #Conflicts: 288000 | #Constraints: 30275
3600.04/3608.90 c INPROCESSING
3600.04/3608.90 c GARBAGE COLLECT
3600.04/3608.90 c #Conflicts: 289000 | #Constraints: 20663
3600.04/3608.90 c #Conflicts: 290000 | #Constraints: 21663
3600.04/3608.90 c #Conflicts: 291000 | #Constraints: 22663
3600.04/3608.90 c #Conflicts: 292000 | #Constraints: 23663
3600.04/3608.90 c #Conflicts: 293000 | #Constraints: 24663
3600.04/3608.90 c #Conflicts: 294000 | #Constraints: 25663
3600.04/3608.90 c #Conflicts: 295000 | #Constraints: 26663
3600.04/3608.90 c #Conflicts: 296000 | #Constraints: 27663
3600.04/3608.90 c #Conflicts: 297000 | #Constraints: 28663
3600.04/3608.90 c #Conflicts: 298000 | #Constraints: 29663
3600.04/3608.90 c #Conflicts: 299000 | #Constraints: 30663
3600.04/3608.90 c INPROCESSING
3600.04/3608.90 c GARBAGE COLLECT
3600.04/3608.90 c #Conflicts: 300000 | #Constraints: 20867
3600.04/3608.90 c #Conflicts: 301000 | #Constraints: 21868
3600.04/3608.90 c #Conflicts: 302000 | #Constraints: 22868
3600.04/3608.90 c #Conflicts: 303000 | #Constraints: 23868
3600.04/3608.90 c #Conflicts: 304000 | #Constraints: 24868
3600.04/3608.90 c #Conflicts: 305000 | #Constraints: 25868
3600.04/3608.90 c #Conflicts: 306000 | #Constraints: 26868
3600.04/3608.90 c #Conflicts: 307000 | #Constraints: 27868
3600.04/3608.90 c #Conflicts: 308000 | #Constraints: 28868
3600.04/3608.90 c #Conflicts: 309000 | #Constraints: 29868
3600.04/3608.90 c #Conflicts: 310000 | #Constraints: 30868
3600.04/3608.90 c INPROCESSING
3600.04/3608.90 c GARBAGE COLLECT
3600.04/3608.90 c #Conflicts: 311000 | #Constraints: 20875
3600.04/3608.90 c #Conflicts: 312000 | #Constraints: 21875
3600.04/3608.90 c #Conflicts: 313000 | #Constraints: 22875
3600.04/3608.90 c #Conflicts: 314000 | #Constraints: 23875
3600.04/3608.90 c #Conflicts: 315000 | #Constraints: 24875
3600.04/3608.90 c #Conflicts: 316000 | #Constraints: 25875
3600.04/3608.90 c #Conflicts: 317000 | #Constraints: 26875
3600.04/3608.90 c #Conflicts: 318000 | #Constraints: 27875
3600.04/3608.90 c #Conflicts: 319000 | #Constraints: 28875
3600.04/3608.90 c #Conflicts: 320000 | #Constraints: 29875
3600.04/3608.90 c #Conflicts: 321000 | #Constraints: 30875
3600.04/3608.90 c INPROCESSING
3600.04/3608.90 c GARBAGE COLLECT
3600.04/3608.90 c #Conflicts: 322000 | #Constraints: 20666
3600.04/3608.90 c #Conflicts: 323000 | #Constraints: 21666
3600.04/3608.90 c #Conflicts: 324000 | #Constraints: 22666
3600.04/3608.90 c #Conflicts: 325000 | #Constraints: 23666
3600.04/3608.90 c #Conflicts: 326000 | #Constraints: 24666
3600.04/3608.90 c #Conflicts: 327000 | #Constraints: 25666
3600.04/3608.90 c #Conflicts: 328000 | #Constraints: 26666
3600.04/3608.90 c #Conflicts: 329000 | #Constraints: 27666
3600.04/3608.90 c #Conflicts: 330000 | #Constraints: 28666
3600.04/3608.90 c #Conflicts: 331000 | #Constraints: 29666
3600.04/3608.90 c #Conflicts: 332000 | #Constraints: 30666
3600.04/3608.90 c #Conflicts: 333000 | #Constraints: 31666
3600.04/3608.90 c INPROCESSING
3600.04/3608.90 c GARBAGE COLLECT
3600.04/3608.90 c #Conflicts: 334000 | #Constraints: 21252
3600.04/3608.90 c #Conflicts: 335000 | #Constraints: 22252
3600.04/3608.90 c #Conflicts: 336000 | #Constraints: 23252
3600.04/3608.90 c #Conflicts: 337000 | #Constraints: 24252
3600.04/3608.90 c #Conflicts: 338000 | #Constraints: 25252
3600.04/3608.90 c cpu time 3594.26 s
3600.04/3608.90 c deterministic time 480316755923 4.80e+11
3600.04/3608.90 c optimization time 61.2121 s
3600.04/3608.90 c total solve time 3533 s
3600.04/3608.90 c core-guided solve time 0 s
3600.04/3608.90 c propagation time 2135.71 s
3600.04/3608.90 c conflict analysis time 938.394 s
3600.04/3608.90 c propagations 197186699
3600.04/3608.90 c resolve steps 7129985
3600.04/3608.90 c decisions 4301592
3600.04/3608.90 c conflicts 338530
3600.04/3608.90 c restarts 793
3600.04/3608.90 c inprocessing phases 49
3600.04/3608.90 c garbage collections 49 ,( 100.00 )
3600.04/3608.90 c input clauses 12223 ,( 99.01 )
3600.04/3608.90 c input cardinalities 121 ,( 0.98 )
3600.04/3608.90 c input general constraints 1 ,( 0.01 )
3600.04/3608.90 c input average constraint length 5.22
3600.04/3608.90 c input average constraint degree 162.62
3600.04/3608.90 c learned clauses 67890 ,( 20.05 )
3600.04/3608.90 c learned cardinalities 4213 ,( 1.24 )
3600.04/3608.90 c learned general constraints 266492 ,( 78.71 )
3600.04/3608.90 c learned average constraint length 2560.28
3600.04/3608.90 c learned average constraint degree 17375127639.82
3600.04/3608.90 c watched CF 32, 64, 128, Arb: 161841 , 0 , 0 , 0
3600.04/3608.90 c counting CF 32, 64, 128, Arb: 104652 , 0 , 0 , 0
3600.04/3608.90 c watched constraints 161841 ,( 60.73 )
3600.04/3608.90 c counting constraints 104652 ,( 39.27 )
3600.04/3608.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 76394529 , 5783566 , 2728770426 ,( 1068619124 , 1660151302 )
3600.04/3608.90 c gcd simplifications 25997
3600.04/3608.90 c detected cardinalities 2
3600.04/3608.90 c weakened non-implied lits 342187073
3600.04/3608.90 c weakened non-implying lits 2070866
3600.04/3608.90 c original variables 8272
3600.04/3608.90 c clausal propagations 53539911
3600.04/3608.90 c cardinality propagations 54781819
3600.04/3608.90 c watched propagations 7788520
3600.04/3608.90 c counting propagations 76825400
3600.04/3608.90 c watch lookups 186736563103
3600.04/3608.90 c watch backjump lookups 0
3600.04/3608.90 c watch checks 189822914954
3600.04/3608.90 c propagation checks 99909199362
3600.04/3608.90 c constraint additions 3444695744
3600.04/3608.90 c trail pops 201822918
3600.04/3608.90 c formula constraints 12345
3600.04/3608.90 c learned constraints 338488
3600.04/3608.90 c bound constraints 0
3600.04/3608.90 c core-guided constraints 0
3600.04/3608.90 c encountered formula constraints 6517191
3600.04/3608.90 c encountered learned constraints 836144
3600.04/3608.90 c encountered bound constraints 0
3600.04/3608.90 c encountered core-guided constraints 0
3600.04/3608.90 c LP total time 23.8959 s
3600.04/3608.90 c LP solve time 19.58 s
3600.04/3608.90 c LP constraints added 12377
3600.04/3608.90 c LP constraints removed 2
3600.04/3608.90 c LP pivots internal 34786
3600.04/3608.90 c LP pivots root 36764
3600.04/3608.90 c LP calls 49
3600.04/3608.90 c LP optimalities 3
3600.04/3608.90 c LP no pivot count 0
3600.04/3608.90 c LP infeasibilities 41
3600.04/3608.90 c LP valid Farkas constraints 41
3600.04/3608.90 c LP learned Farkas constraints 41
3600.04/3608.90 c LP basis resets 1
3600.04/3608.90 c LP cycling count 0
3600.04/3608.90 c LP singular count 1
3600.04/3608.90 c LP no primal count 0
3600.04/3608.90 c LP no farkas count 0
3600.04/3608.90 c LP other issue count 0
3600.04/3608.90 c LP Gomory cuts 25
3600.04/3608.90 c LP learned cuts 7
3600.04/3608.90 c LP deleted cuts 2
3600.04/3608.90 c LP encountered Gomory constraints 99
3600.04/3608.90 c LP encountered Farkas constraints 114951
3600.04/3608.90 c LP encountered learned Farkas constraints 89
3600.04/3608.90 c CG auxiliary variables introduced 0
3600.04/3608.90 c CG solutions found 0
3600.04/3608.90 c CG cores constructed 0
3600.04/3608.90 c CG core cardinality constraints returned 0
3600.04/3608.90 c CG unit cores 0
3600.04/3608.90 c CG single cores 0
3600.04/3608.90 c CG blocks removed during cardinality reduction 0
3600.04/3608.90 c CG first core best 0
3600.04/3608.90 c CG decision core best 0
3600.04/3608.90 c CG core reduction tie 0
3600.04/3608.90 c CG core degree average 0.00
3600.04/3608.90 c CG core slack average 0.00
3600.04/3608.90 c CG core upper bound improvements 0
3600.04/3608.90 c STR number of successful calls 0
3600.04/3608.90 c STR number of unsuccessful calls 0
3600.04/3608.90 c STR number of inconclusive calls 0
3600.04/3608.90 c STR number of successful attempts 0
3600.04/3608.90 c STR number of unsuccessful attempts 0
3600.04/3608.90 c STR number of inconclusive attempts 0
3600.04/3608.90 c STR average degree increase per successful call inf
3600.04/3608.90 c STR average degree increase per successful attempt inf
3600.04/3608.90 c STR total number of conflicts for successful attempts 0
3600.04/3608.90 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3608.90 c STR total number of conflicts for inconclusive attempts 0
3600.04/3608.90 c STR average number of conflicts per successful attempt inf
3600.04/3608.90 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3608.90 c STR average number of conflicts per inconclusive attempt inf
3600.04/3608.90 c AVG.sumWPerc 35.50
3600.04/3608.90 c bigint constraints 0
3600.04/3608.90 s UNKNOWN
3600.04/3608.90 c Program interrupted by user.
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 (55419 MiB free)
memory of node 1: 64465 MiB (62812 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515242-1751223191/watcher-4515242-1751223191 -o /tmp/evaluation-result-4515242-1751223191/solver-4515242-1751223191 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751215967-28907 --watchdog 3760 run-dec-break.sh HOME/instance-4515242-1751223191.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
solver pid=30324, runsolver pid=30321
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.12 4.11 4.09 5/268 30326
/proc/meminfo: memFree=121060956/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+0.205709 s]*
/proc/loadavg: 4.12 4.11 4.09 5/268 30327
/proc/meminfo: memFree=121053420/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=83480 memory=35356 CPUtime=0.09 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 7090 0 0 0 7 2 0 0 20 0 1 0 37997679 85483520 8839 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 20870 8839 2240 1147 0 8297 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 87672 KiB
Current children cumulated memory: 38300 KiB
[startup+0.305631 s]*
/proc/loadavg: 4.12 4.11 4.09 5/268 30327
/proc/meminfo: memFree=121053420/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=85380 memory=37276 CPUtime=0.19 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 7601 0 0 0 17 2 0 0 20 0 1 0 37997679 87429120 9319 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 21345 9319 2240 1147 0 8772 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 89572 KiB
Current children cumulated memory: 40220 KiB
[startup+0.700204 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 30327
/proc/meminfo: memFree=121053420/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=85380 memory=37276 CPUtime=0.58 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 7603 0 0 0 56 2 0 0 20 0 1 0 37997679 87429120 9319 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 21345 9319 2240 1147 0 8772 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 89572 KiB
Current children cumulated memory: 40220 KiB
[startup+1.50021 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 30327
/proc/meminfo: memFree=121053420/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=85380 memory=37276 CPUtime=1.38 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 7603 0 0 0 136 2 0 0 20 0 1 0 37997679 87429120 9319 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 21345 9319 2240 1147 0 8772 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 89572 KiB
Current children cumulated memory: 40220 KiB
[startup+3.1055 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 30327
/proc/meminfo: memFree=121053728/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=85380 memory=37276 CPUtime=2.98 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 7603 0 0 0 296 2 0 0 20 0 1 0 37997679 87429120 9319 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 21345 9319 2240 1147 0 8772 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 89572 KiB
Current children cumulated memory: 40220 KiB
[startup+6.3002 s]
/proc/loadavg: 4.11 4.10 4.09 5/269 30421
/proc/meminfo: memFree=121176080/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=85380 memory=37276 CPUtime=6.16 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 7603 0 0 0 614 2 0 0 20 0 1 0 37997679 87429120 9319 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 21345 9319 2240 1147 0 8772 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 89572 KiB
Current children cumulated memory: 40220 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 30422
/proc/meminfo: memFree=121127380/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=138952 memory=88940 CPUtime=12.54 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 12781 0 0 0 1239 15 0 0 20 0 1 0 37997679 142286848 22235 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 34738 22235 2336 1147 0 22165 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 143144 KiB
Current children cumulated memory: 91884 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 30422
/proc/meminfo: memFree=121074668/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=180656 memory=130704 CPUtime=25.3 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 16063 0 0 0 2506 24 0 0 20 0 1 0 37997679 184991744 32676 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 45164 32676 2336 1147 0 32591 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 184848 KiB
Current children cumulated memory: 133648 KiB
[startup+51.1055 s]
/proc/loadavg: 4.06 4.09 4.09 5/268 30469
/proc/meminfo: memFree=121301276/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=251808 memory=185596 CPUtime=50.83 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 21621 0 0 0 5036 47 0 0 20 0 1 0 37997679 257851392 46399 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 62952 46399 2336 1147 0 50379 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 256000 KiB
Current children cumulated memory: 188540 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 30473
/proc/meminfo: memFree=121037340/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=376992 memory=275580 CPUtime=101.87 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 31859 0 0 0 10112 75 0 0 20 0 1 0 37997679 386039808 68895 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 94248 68895 2336 1147 0 81675 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 381184 KiB
Current children cumulated memory: 278524 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 4.07 4.08 5/268 30522
/proc/meminfo: memFree=128269492/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=405860 memory=314376 CPUtime=161.7 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 37958 0 0 0 16069 101 0 0 20 0 1 0 37997679 415600640 78594 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 101465 78594 2336 1147 0 88892 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 410052 KiB
Current children cumulated memory: 317320 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 30575
/proc/meminfo: memFree=128155728/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=572752 memory=395980 CPUtime=221.55 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 45898 0 0 0 22019 136 0 0 20 0 1 0 37997679 586498048 98995 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 143188 98995 2336 1147 0 130615 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 576944 KiB
Current children cumulated memory: 398924 KiB
################
# More data... #
################
/proc/30327/statm: 436383 375689 2432 1147 0 423810 0
Current children cumulated CPU time: 3094.6 s
Current children cumulated vsize: 1749724 KiB
Current children cumulated memory: 1505700 KiB
[startup+3162.3 s]
/proc/loadavg: 4.39 4.16 4.11 5/268 31758
/proc/meminfo: memFree=119592712/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=1747492 memory=1504036 CPUtime=3154.38 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 220785 0 0 0 314917 521 0 0 20 0 1 0 37997679 1789431808 376009 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 436873 376009 2432 1147 0 424300 0
Current children cumulated CPU time: 3154.46 s
Current children cumulated vsize: 1751684 KiB
Current children cumulated memory: 1506980 KiB
[startup+3222.3 s]
/proc/loadavg: 4.57 4.24 4.14 5/268 31765
/proc/meminfo: memFree=119299368/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=1749424 memory=1505956 CPUtime=3214.25 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 221297 0 0 0 320897 528 0 0 20 0 1 0 37997679 1791410176 376489 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 437356 376489 2432 1147 0 424783 0
Current children cumulated CPU time: 3214.33 s
Current children cumulated vsize: 1753616 KiB
Current children cumulated memory: 1508900 KiB
[startup+3282.3 s]
/proc/loadavg: 4.30 4.23 4.14 5/268 31767
/proc/meminfo: memFree=118390072/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=1749424 memory=1505956 CPUtime=3274.1 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 221301 0 0 0 326876 534 0 0 20 0 1 0 37997679 1791410176 376489 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 437356 376489 2432 1147 0 424783 0
Current children cumulated CPU time: 3274.18 s
Current children cumulated vsize: 1753616 KiB
Current children cumulated memory: 1508900 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.20 4.14 5/268 31769
/proc/meminfo: memFree=118109240/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=1750036 memory=1506724 CPUtime=3333.97 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 221492 0 0 0 332857 540 0 0 20 0 1 0 37997679 1792036864 376681 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 437509 376681 2432 1147 0 424936 0
Current children cumulated CPU time: 3334.05 s
Current children cumulated vsize: 1754228 KiB
Current children cumulated memory: 1509668 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.17 4.13 5/268 31771
/proc/meminfo: memFree=118087920/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=1750036 memory=1506724 CPUtime=3393.83 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 221586 0 0 0 338840 543 0 0 20 0 1 0 37997679 1792036864 376681 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 437509 376681 2432 1147 0 424936 0
Current children cumulated CPU time: 3393.91 s
Current children cumulated vsize: 1754228 KiB
Current children cumulated memory: 1509668 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/267 31773
/proc/meminfo: memFree=118043188/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=1751228 memory=1507492 CPUtime=3453.7 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 221837 0 0 0 344822 548 0 0 20 0 1 0 37997679 1793257472 376873 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 437807 376873 2432 1147 0 425234 0
Current children cumulated CPU time: 3453.78 s
Current children cumulated vsize: 1755420 KiB
Current children cumulated memory: 1510436 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.14 4.12 5/266 31775
/proc/meminfo: memFree=117991836/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=1811116 memory=1543204 CPUtime=3513.55 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 230783 0 0 0 350800 555 0 0 20 0 1 0 37997679 1854582784 385801 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 452779 385801 2432 1147 0 440206 0
Current children cumulated CPU time: 3513.63 s
Current children cumulated vsize: 1815308 KiB
Current children cumulated memory: 1546148 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/266 31777
/proc/meminfo: memFree=117865476/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=1893164 memory=1650972 CPUtime=3573.41 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 243958 0 0 0 356775 566 0 0 20 0 1 0 37997679 1938599936 412743 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 473291 412743 2432 1147 0 460718 0
Current children cumulated CPU time: 3573.49 s
Current children cumulated vsize: 1897356 KiB
Current children cumulated memory: 1653916 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.08 4.13 4.11 5/266 31777
/proc/meminfo: memFree=117857848/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=1893164 memory=1650972 CPUtime=3599.96 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 243958 0 0 0 359426 570 0 0 20 0 1 0 37997679 1938599936 412743 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 473291 412743 2432 1147 0 460718 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1897356 KiB
Current children cumulated memory: 1653916 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3608.9 s]
# the end of solver process 30324 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.085188 s, system=0.011465 s
Sleeping 2 seconds
[startup+3608.91 s]
# the end of solver process 30327 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3594.35 s, system=5.72181 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.08 4.13 4.11 5/266 31777
/proc/meminfo: memFree=117857848/131249988 swapFree=33010684/33010684
[pid=30324] ppid=30321 vsize=4192 memory=2944 CPUtime=0.08 cores=4,6
/proc/30324/stat : 30324 (run-dec-break.s) S 30321 30324 28896 0 -1 4194304 235 4877 0 0 0 0 8 0 20 0 1 0 37997669 4292608 736 18446744073709551615 94908983058432 94908983952965 140728856199328 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94908984192016 94908984239760 94908984909824 140728856201569 140728856201698 140728856201698 140728856207300 0
/proc/30324/statm: 1048 736 672 219 0 110 0
[pid=30327] ppid=30324 vsize=1893164 memory=1650972 CPUtime=3599.96 cores=4,6
/proc/30327/stat : 30327 (roundingsat) R 30324 30324 28896 0 -1 4194304 243958 0 0 0 359426 570 0 0 20 0 1 0 37997679 1938599936 412743 18446744073709551615 4227072 8923433 140722200074976 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18726912 140722200082756 140722200082984 140722200082984 140722200088554 0
/proc/30327/statm: 473291 412743 2432 1147 0 460718 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1897356 KiB
Current children cumulated memory: 1653916 KiB
Child status: 2
Real time (s): 3608.91
CPU time (s): 3600.07
CPU user time (s): 3594.35
CPU system time (s): 5.72181
CPU usage (%): 99.755
Max. virtual memory (cumulated for all children) (KiB): 1897356
Max. memory (cumulated for all children) (KiB): 1653916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.35
system time used= 5.72181
maximum resident set size= 1651228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249088
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 301
involuntary context switches= 2639
# summary of solver processes directly reported to runsolver:
# pid: 30324,30327
# total CPU time (s): 3600.07
# total CPU user time (s): 3594.35
# total CPU system time (s): 5.72181
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92086 second user time and 15.8825 second system time
The end
Begin job on nodeC031 at 2025-06-29 20:53:11
IDJOB=4515242
IDBENCH=164254
IDSOLVER=3357
FILE ID=nodeC031/4515242-1751223191
RUNJOBID= nodeC031-1751215967-28907
SLURM_JOB_ID= 9587654
Free space on /tmp= 432168 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab71-20-100.0.u.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515242-1751223191/watcher-4515242-1751223191 -o /tmp/evaluation-result-4515242-1751223191/solver-4515242-1751223191 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751215967-28907 --watchdog 3760 run-dec-break.sh HOME/instance-4515242-1751223191.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5a0bcd4a9e5bc1c51804f47b1691eae0
RANDOM SEED=1739465953
nodeC031 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.793
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.930
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3612.500
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.892
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.888
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3550.204
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3589.804
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 121068832 kB
MemAvailable: 121780700 kB
Buffers: 3280 kB
Cached: 1520632 kB
SwapCached: 0 kB
Active: 8239392 kB
Inactive: 1300564 kB
Active(anon): 8034108 kB
Inactive(anon): 0 kB
Active(file): 205284 kB
Inactive(file): 1300564 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7520 kB
Writeback: 104 kB
AnonPages: 8017016 kB
Mapped: 116720 kB
Shmem: 18064 kB
KReclaimable: 90520 kB
Slab: 176880 kB
SReclaimable: 90520 kB
SUnreclaim: 86360 kB
KernelStack: 4320 kB
PageTables: 19208 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 8700752 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6952960 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433000 MiB
End job on nodeC031 at 2025-06-29 21:53:20