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-4503604-1751163609.opb'
1.20/1.37 c read 44.07MB (1354.54ms)
1.20/1.37 c [cnf: #variables 42127 #clauses 974306 #duplicates 0 #arr 3750680]
1.20/1.37 c
1.20/1.37 c make graph and approximate orbits
2.09/2.20 c [group: #orbits ~= 0] (831.65ms)
2.09/2.20 c
2.09/2.20 c detect special group actions
2.09/2.20 c probe for Johnson action (limit=64)
2.09/2.21 c probe for row-column symmetry (limit=64, splits=16.78M)
2.09/2.24 c probe for row symmetry (limit=64, splits=16.78M)
2.09/2.26 c (61.76ms)
2.09/2.26 c
2.09/2.26 c detect symmetries on remainder
2.09/2.27 c [graph: #vertices 1147795 #edges 7764084]
2.09/2.28 c dejavu (support_limit=2048.00MB, budget_limit=64)
2.19/2.36 c [group: #symmetries 1.00*10^0 #generators 0] (102.59ms)
2.19/2.36 c
2.19/2.36 c finalize break order and special generators
2.19/2.37 c
2.19/2.37 c generation finished
2.19/2.37 c [sbp: #constraints 0 #add_vars 0]
2.19/2.37 c
2.19/2.37 c write result to 'HOME/instance-4503604-1751163609.opb.pre'
2.39/2.51 c wrote 44.07MB (138.68ms)
2.39/2.51 c ------------------------------------------------------------------
2.39/2.51 c 1354.54ms 54.22% parse
2.39/2.51 c 831.65ms 33.29% approx_orbits
2.39/2.51 c 138.68ms 5.55% output
2.39/2.51 c 102.59ms 4.11% detect_generic
2.39/2.51 c 61.76ms 2.47% detect_special
2.39/2.51 c 6.56ms 0.26% other
2.39/2.51 c 2.38ms 0.10% finalize_order
2.39/2.51 c ───────────────────────────────────────────────
2.39/2.51 c 2498.17ms 100% total
2.39/2.51 c ------------------------------------------------------------------
2.49/2.68 c RoundingSat 2
2.49/2.68 c branch pb25
2.49/2.68 c commit 63f22ad
6.97/7.16 c #variables 42127 #constraints 975848
506.48/508.27 c #Conflicts: 1000 | #Constraints: 976847
506.48/508.27 c #Conflicts: 2000 | #Constraints: 977847
506.48/508.27 c INPROCESSING
506.48/508.27 c #Conflicts: 3000 | #Constraints: 977855
506.48/508.27 c #Conflicts: 4000 | #Constraints: 978855
506.48/508.27 c INPROCESSING
506.48/508.27 c #Conflicts: 5000 | #Constraints: 978249
506.48/508.27 c #Conflicts: 6000 | #Constraints: 979249
506.48/508.27 c INPROCESSING
506.48/508.27 c #Conflicts: 7000 | #Constraints: 978347
506.48/508.27 c #Conflicts: 8000 | #Constraints: 979347
506.48/508.27 c #Conflicts: 9000 | #Constraints: 980347
506.48/508.27 c INPROCESSING
506.48/508.27 c #Conflicts: 10000 | #Constraints: 979024
506.48/508.27 c #Conflicts: 11000 | #Constraints: 980024
506.48/508.27 c #Conflicts: 12000 | #Constraints: 981024
506.48/508.27 c INPROCESSING
506.48/508.27 c rational objective 1593
1857.79/1863.39 c #Conflicts: 13000 | #Constraints: 979512
1857.79/1863.39 c #Conflicts: 14000 | #Constraints: 980512
1857.79/1863.39 c #Conflicts: 15000 | #Constraints: 981512
1857.79/1863.39 c INPROCESSING
1857.79/1863.39 c #Conflicts: 16000 | #Constraints: 979731
1857.79/1863.39 c #Conflicts: 17000 | #Constraints: 980731
1857.79/1863.39 c #Conflicts: 18000 | #Constraints: 981731
1857.79/1863.39 c INPROCESSING
1857.79/1863.39 c #Conflicts: 19000 | #Constraints: 979774
1857.79/1863.39 c #Conflicts: 20000 | #Constraints: 980774
1857.79/1863.39 c #Conflicts: 21000 | #Constraints: 981774
1857.79/1863.39 c INPROCESSING
1857.79/1863.39 c #Conflicts: 22000 | #Constraints: 979635
1857.79/1863.39 c #Conflicts: 23000 | #Constraints: 980635
1857.79/1863.39 c #Conflicts: 24000 | #Constraints: 981635
1857.79/1863.39 c #Conflicts: 25000 | #Constraints: 982635
1857.79/1863.39 c INPROCESSING
1857.79/1863.39 c #Conflicts: 26000 | #Constraints: 980365
1857.79/1863.39 c #Conflicts: 27000 | #Constraints: 981365
1857.79/1863.39 c #Conflicts: 28000 | #Constraints: 982365
1857.79/1863.39 c #Conflicts: 29000 | #Constraints: 983365
1857.79/1863.39 c INPROCESSING
1857.79/1863.39 c #Conflicts: 30000 | #Constraints: 980930
1857.79/1863.39 c #Conflicts: 31000 | #Constraints: 981930
1857.79/1863.40 c #Conflicts: 32000 | #Constraints: 982930
1857.79/1863.40 c #Conflicts: 33000 | #Constraints: 983930
1857.79/1863.40 c INPROCESSING
1857.79/1863.40 c #Conflicts: 34000 | #Constraints: 981053
1857.79/1863.40 c #Conflicts: 35000 | #Constraints: 982053
1857.79/1863.40 c #Conflicts: 36000 | #Constraints: 983053
1857.79/1863.40 c #Conflicts: 37000 | #Constraints: 984053
1857.79/1863.40 c #Conflicts: 38000 | #Constraints: 985053
1857.79/1863.40 c #Conflicts: 39000 | #Constraints: 986053
1857.79/1863.40 c #Conflicts: 40000 | #Constraints: 987053
1857.79/1863.40 c #Conflicts: 41000 | #Constraints: 988053
1857.79/1863.40 c #Conflicts: 42000 | #Constraints: 989053
1857.79/1863.40 c #Conflicts: 43000 | #Constraints: 990053
1857.79/1863.40 c #Conflicts: 44000 | #Constraints: 991053
1857.79/1863.40 c #Conflicts: 45000 | #Constraints: 992053
1857.79/1863.40 c #Conflicts: 46000 | #Constraints: 993053
1857.79/1863.40 c #Conflicts: 47000 | #Constraints: 994053
1857.79/1863.40 c #Conflicts: 48000 | #Constraints: 995053
1857.79/1863.40 c INPROCESSING
1857.79/1863.40 c GARBAGE COLLECT
1857.79/1863.40 c #Conflicts: 49000 | #Constraints: 986687
1857.79/1863.40 c #Conflicts: 50000 | #Constraints: 987687
1857.79/1863.40 c #Conflicts: 51000 | #Constraints: 988687
1857.79/1863.40 c #Conflicts: 52000 | #Constraints: 989687
1857.79/1863.40 c #Conflicts: 53000 | #Constraints: 990687
1857.79/1863.40 c INPROCESSING
1857.79/1863.40 c #Conflicts: 54000 | #Constraints: 984302
1857.79/1863.40 c #Conflicts: 55000 | #Constraints: 985302
1857.79/1863.40 c #Conflicts: 56000 | #Constraints: 986302
1857.79/1863.40 c #Conflicts: 57000 | #Constraints: 987302
1857.79/1863.40 c #Conflicts: 58000 | #Constraints: 988302
1857.79/1863.40 c INPROCESSING
1857.79/1863.40 c #Conflicts: 59000 | #Constraints: 982791
1857.79/1863.40 c #Conflicts: 60000 | #Constraints: 983791
1857.79/1863.40 c #Conflicts: 61000 | #Constraints: 984791
1857.79/1863.40 c #Conflicts: 62000 | #Constraints: 985791
1857.79/1863.40 c #Conflicts: 63000 | #Constraints: 986791
1857.79/1863.40 c #Conflicts: 64000 | #Constraints: 987791
1857.79/1863.40 c INPROCESSING
1857.79/1863.40 c #Conflicts: 65000 | #Constraints: 982763
1857.79/1863.40 c #Conflicts: 66000 | #Constraints: 983763
1857.79/1863.40 c #Conflicts: 67000 | #Constraints: 984763
1857.79/1863.40 c #Conflicts: 68000 | #Constraints: 985763
1857.79/1863.40 c #Conflicts: 69000 | #Constraints: 986763
1857.79/1863.40 c #Conflicts: 70000 | #Constraints: 987763
1857.79/1863.40 c INPROCESSING
1857.79/1863.40 c #Conflicts: 71000 | #Constraints: 982880
1857.79/1863.40 c #Conflicts: 72000 | #Constraints: 983880
1857.79/1863.40 c #Conflicts: 73000 | #Constraints: 984880
1857.79/1863.40 c #Conflicts: 74000 | #Constraints: 985880
1857.79/1863.40 c #Conflicts: 75000 | #Constraints: 986880
1857.79/1863.40 c #Conflicts: 76000 | #Constraints: 987880
1857.79/1863.40 c INPROCESSING
1857.79/1863.40 c #Conflicts: 77000 | #Constraints: 982906
1857.79/1863.40 c #Conflicts: 78000 | #Constraints: 983906
1857.79/1863.40 c #Conflicts: 79000 | #Constraints: 984906
1857.79/1863.40 c #Conflicts: 80000 | #Constraints: 985906
1857.79/1863.40 c #Conflicts: 81000 | #Constraints: 986906
1857.79/1863.40 c #Conflicts: 82000 | #Constraints: 987906
1857.79/1863.40 c INPROCESSING
1857.79/1863.40 c GARBAGE COLLECT
1857.79/1863.40 c #Conflicts: 83000 | #Constraints: 982557
1857.79/1863.40 c #Conflicts: 84000 | #Constraints: 983557
1857.79/1863.40 c #Conflicts: 85000 | #Constraints: 984557
1857.79/1863.40 c #Conflicts: 86000 | #Constraints: 985557
1857.79/1863.40 c #Conflicts: 87000 | #Constraints: 986557
2435.40/2442.45 c #Conflicts: 88000 | #Constraints: 987557
2435.40/2442.45 c #Conflicts: 89000 | #Constraints: 988557
2435.40/2442.45 c #Conflicts: 90000 | #Constraints: 989557
2435.40/2442.45 c #Conflicts: 91000 | #Constraints: 990557
2435.40/2442.45 c #Conflicts: 92000 | #Constraints: 991557
2435.40/2442.45 c #Conflicts: 93000 | #Constraints: 992557
2435.40/2442.45 c #Conflicts: 94000 | #Constraints: 993557
2435.40/2442.45 c #Conflicts: 95000 | #Constraints: 994557
2435.40/2442.45 c #Conflicts: 96000 | #Constraints: 995557
2435.40/2442.45 c #Conflicts: 97000 | #Constraints: 996557
2435.40/2442.45 c #Conflicts: 98000 | #Constraints: 997557
2435.40/2442.45 c #Conflicts: 99000 | #Constraints: 998557
2435.40/2442.45 c #Conflicts: 100000 | #Constraints: 999557
2435.40/2442.45 c #Conflicts: 101000 | #Constraints: 1000557
2435.40/2442.45 c #Conflicts: 102000 | #Constraints: 1001557
2435.40/2442.45 c #Conflicts: 103000 | #Constraints: 1002557
2435.40/2442.45 c #Conflicts: 104000 | #Constraints: 1003557
2435.40/2442.45 c #Conflicts: 105000 | #Constraints: 1004557
2435.40/2442.45 c #Conflicts: 106000 | #Constraints: 1005557
2435.40/2442.45 c INPROCESSING
2435.40/2442.45 c #Conflicts: 107000 | #Constraints: 991825
2435.40/2442.45 c #Conflicts: 108000 | #Constraints: 992825
2435.40/2442.45 c #Conflicts: 109000 | #Constraints: 993825
2435.40/2442.45 c #Conflicts: 110000 | #Constraints: 994825
2435.40/2442.45 c #Conflicts: 111000 | #Constraints: 995825
2435.40/2442.45 c #Conflicts: 112000 | #Constraints: 996825
2435.40/2442.45 c #Conflicts: 113000 | #Constraints: 997825
2435.40/2442.45 c #Conflicts: 114000 | #Constraints: 998825
2435.40/2442.45 c INPROCESSING
2435.40/2442.45 c GARBAGE COLLECT
2435.40/2442.45 c #Conflicts: 115000 | #Constraints: 988635
2435.40/2442.45 c #Conflicts: 116000 | #Constraints: 989635
2435.40/2442.45 c #Conflicts: 117000 | #Constraints: 990635
2435.40/2442.45 c #Conflicts: 118000 | #Constraints: 991635
2435.40/2442.45 c #Conflicts: 119000 | #Constraints: 992635
2435.40/2442.45 c #Conflicts: 120000 | #Constraints: 993635
2435.40/2442.45 c #Conflicts: 121000 | #Constraints: 994635
2435.40/2442.45 c INPROCESSING
2435.40/2442.45 c #Conflicts: 122000 | #Constraints: 986303
2435.40/2442.45 c #Conflicts: 123000 | #Constraints: 987303
2435.40/2442.45 c #Conflicts: 124000 | #Constraints: 988303
2435.40/2442.45 c #Conflicts: 125000 | #Constraints: 989303
2435.40/2442.45 c #Conflicts: 126000 | #Constraints: 990303
2435.40/2442.45 c #Conflicts: 127000 | #Constraints: 991303
2435.40/2442.45 c #Conflicts: 128000 | #Constraints: 992303
2435.40/2442.45 c #Conflicts: 129000 | #Constraints: 993303
2435.40/2442.45 c #Conflicts: 130000 | #Constraints: 994303
2435.40/2442.45 c #Conflicts: 131000 | #Constraints: 995303
2435.40/2442.45 c #Conflicts: 132000 | #Constraints: 996303
2435.40/2442.45 c #Conflicts: 133000 | #Constraints: 997303
2435.40/2442.45 c #Conflicts: 134000 | #Constraints: 998303
2435.40/2442.45 c #Conflicts: 135000 | #Constraints: 999303
2435.40/2442.45 c #Conflicts: 136000 | #Constraints: 1000303
2435.40/2442.45 c #Conflicts: 137000 | #Constraints: 1001303
2435.40/2442.45 c #Conflicts: 138000 | #Constraints: 1002303
2435.40/2442.45 c #Conflicts: 139000 | #Constraints: 1003303
2435.40/2442.45 c #Conflicts: 140000 | #Constraints: 1004303
2435.40/2442.45 c #Conflicts: 141000 | #Constraints: 1005303
2435.40/2442.45 c #Conflicts: 142000 | #Constraints: 1006303
2435.40/2442.45 c #Conflicts: 143000 | #Constraints: 1007303
2435.40/2442.45 c #Conflicts: 144000 | #Constraints: 1008303
2435.40/2442.45 c #Conflicts: 145000 | #Constraints: 1009303
2435.40/2442.45 c #Conflicts: 146000 | #Constraints: 1010303
2435.40/2442.45 c #Conflicts: 147000 | #Constraints: 1011303
2435.40/2442.45 c #Conflicts: 148000 | #Constraints: 1012303
2435.40/2442.45 c #Conflicts: 149000 | #Constraints: 1013303
2435.40/2442.45 c INPROCESSING
2435.40/2442.45 c GARBAGE COLLECT
2435.40/2442.45 c #Conflicts: 150000 | #Constraints: 995605
2435.40/2442.45 c #Conflicts: 151000 | #Constraints: 996605
2435.40/2442.45 c #Conflicts: 152000 | #Constraints: 997605
2435.40/2442.45 c #Conflicts: 153000 | #Constraints: 998605
2435.40/2442.45 c #Conflicts: 154000 | #Constraints: 999605
2435.40/2442.45 c #Conflicts: 155000 | #Constraints: 1000605
2435.40/2442.45 c #Conflicts: 156000 | #Constraints: 1001605
2435.40/2442.45 c #Conflicts: 157000 | #Constraints: 1002605
2435.40/2442.45 c #Conflicts: 158000 | #Constraints: 1003605
2435.40/2442.45 c INPROCESSING
2435.40/2442.45 c #Conflicts: 159000 | #Constraints: 990640
2435.40/2442.45 c #Conflicts: 160000 | #Constraints: 991640
2435.40/2442.45 c #Conflicts: 161000 | #Constraints: 992640
2435.40/2442.45 c #Conflicts: 162000 | #Constraints: 993640
2435.40/2442.45 c #Conflicts: 163000 | #Constraints: 994640
2748.90/2756.78 c #Conflicts: 164000 | #Constraints: 995640
2748.90/2756.78 c #Conflicts: 165000 | #Constraints: 996640
2748.90/2756.78 c #Conflicts: 166000 | #Constraints: 997640
2748.90/2756.78 c #Conflicts: 167000 | #Constraints: 998640
2748.90/2756.78 c #Conflicts: 168000 | #Constraints: 999640
2748.90/2756.78 c #Conflicts: 169000 | #Constraints: 1000640
2748.90/2756.78 c #Conflicts: 170000 | #Constraints: 1001640
2748.90/2756.78 c #Conflicts: 171000 | #Constraints: 1002640
2748.90/2756.78 c #Conflicts: 172000 | #Constraints: 1003640
2748.90/2756.78 c #Conflicts: 173000 | #Constraints: 1004640
2748.90/2756.78 c #Conflicts: 174000 | #Constraints: 1005640
2748.90/2756.78 c #Conflicts: 175000 | #Constraints: 1006640
2748.90/2756.78 c #Conflicts: 176000 | #Constraints: 1007640
2748.90/2756.78 c #Conflicts: 177000 | #Constraints: 1008640
2748.90/2756.78 c #Conflicts: 178000 | #Constraints: 1009640
2748.90/2756.78 c #Conflicts: 179000 | #Constraints: 1010640
2748.90/2756.78 c #Conflicts: 180000 | #Constraints: 1011640
2748.90/2756.78 c #Conflicts: 181000 | #Constraints: 1012640
2748.90/2756.78 c #Conflicts: 182000 | #Constraints: 1013640
2748.90/2756.78 c #Conflicts: 183000 | #Constraints: 1014640
2748.90/2756.78 c #Conflicts: 184000 | #Constraints: 1015640
2748.90/2756.78 c #Conflicts: 185000 | #Constraints: 1016640
2748.90/2756.78 c #Conflicts: 186000 | #Constraints: 1017640
2748.90/2756.78 c #Conflicts: 187000 | #Constraints: 1018640
2748.90/2756.78 c #Conflicts: 188000 | #Constraints: 1019640
2748.90/2756.78 c #Conflicts: 189000 | #Constraints: 1020640
2748.90/2756.78 c INPROCESSING
2748.90/2756.78 c GARBAGE COLLECT
2748.90/2756.78 c #Conflicts: 190000 | #Constraints: 999584
2748.90/2756.78 c #Conflicts: 191000 | #Constraints: 1000584
2748.90/2756.78 c #Conflicts: 192000 | #Constraints: 1001584
2748.90/2756.78 c #Conflicts: 193000 | #Constraints: 1002584
2748.90/2756.78 c #Conflicts: 194000 | #Constraints: 1003584
2748.90/2756.78 c #Conflicts: 195000 | #Constraints: 1004584
2748.90/2756.78 c #Conflicts: 196000 | #Constraints: 1005584
2748.90/2756.78 c #Conflicts: 197000 | #Constraints: 1006584
2748.90/2756.78 c #Conflicts: 198000 | #Constraints: 1007584
2748.90/2756.78 c #Conflicts: 199000 | #Constraints: 1008584
2748.90/2756.78 c #Conflicts: 200000 | #Constraints: 1009584
2748.90/2756.78 c INPROCESSING
2748.90/2756.78 c #Conflicts: 201000 | #Constraints: 994085
2748.90/2756.78 c #Conflicts: 202000 | #Constraints: 995085
2748.90/2756.78 c #Conflicts: 203000 | #Constraints: 996085
2748.90/2756.78 c #Conflicts: 204000 | #Constraints: 997085
2748.90/2756.78 c #Conflicts: 205000 | #Constraints: 998085
2748.90/2756.78 c #Conflicts: 206000 | #Constraints: 999085
2748.90/2756.78 c #Conflicts: 207000 | #Constraints: 1000085
2748.90/2756.78 c #Conflicts: 208000 | #Constraints: 1001085
2748.90/2756.78 c #Conflicts: 209000 | #Constraints: 1002085
2748.90/2756.78 c #Conflicts: 210000 | #Constraints: 1003085
2748.90/2756.78 c #Conflicts: 211000 | #Constraints: 1004085
2748.90/2756.78 c #Conflicts: 212000 | #Constraints: 1005085
2748.90/2756.78 c #Conflicts: 213000 | #Constraints: 1006085
2748.90/2756.78 c #Conflicts: 214000 | #Constraints: 1007085
2748.90/2756.78 c #Conflicts: 215000 | #Constraints: 1008085
2748.90/2756.78 c #Conflicts: 216000 | #Constraints: 1009085
2748.90/2756.78 c #Conflicts: 217000 | #Constraints: 1010085
2748.90/2756.78 c #Conflicts: 218000 | #Constraints: 1011085
2748.90/2756.78 c #Conflicts: 219000 | #Constraints: 1012085
2748.90/2756.78 c #Conflicts: 220000 | #Constraints: 1013085
2748.90/2756.78 c #Conflicts: 221000 | #Constraints: 1014085
2748.90/2756.78 c #Conflicts: 222000 | #Constraints: 1015085
2748.90/2756.78 c #Conflicts: 223000 | #Constraints: 1016085
2748.90/2756.78 c #Conflicts: 224000 | #Constraints: 1017085
2748.90/2756.78 c #Conflicts: 225000 | #Constraints: 1018085
2748.90/2756.78 c #Conflicts: 226000 | #Constraints: 1019085
2748.90/2756.78 c #Conflicts: 227000 | #Constraints: 1020085
2748.90/2756.78 c #Conflicts: 228000 | #Constraints: 1021085
2748.90/2756.78 c #Conflicts: 229000 | #Constraints: 1022085
2748.90/2756.78 c #Conflicts: 230000 | #Constraints: 1023085
2748.90/2756.78 c #Conflicts: 231000 | #Constraints: 1024085
2748.90/2756.78 c #Conflicts: 232000 | #Constraints: 1025085
2748.90/2756.78 c #Conflicts: 233000 | #Constraints: 1026085
2748.90/2756.78 c #Conflicts: 234000 | #Constraints: 1027085
2748.90/2756.78 c INPROCESSING
2748.90/2756.78 c GARBAGE COLLECT
2748.90/2756.78 c #Conflicts: 235000 | #Constraints: 1002799
2748.90/2756.78 c #Conflicts: 236000 | #Constraints: 1003799
2748.90/2756.78 c #Conflicts: 237000 | #Constraints: 1004799
2748.90/2756.78 c #Conflicts: 238000 | #Constraints: 1005799
2748.90/2756.78 c #Conflicts: 239000 | #Constraints: 1006799
2748.90/2756.78 c #Conflicts: 240000 | #Constraints: 1007799
2748.90/2756.78 c #Conflicts: 241000 | #Constraints: 1008799
3031.60/3040.12 c #Conflicts: 242000 | #Constraints: 1009799
3031.60/3040.12 c #Conflicts: 243000 | #Constraints: 1010799
3031.60/3040.12 c #Conflicts: 244000 | #Constraints: 1011799
3031.60/3040.12 c #Conflicts: 245000 | #Constraints: 1012799
3031.60/3040.12 c INPROCESSING
3031.60/3040.12 c #Conflicts: 246000 | #Constraints: 995392
3031.60/3040.12 c #Conflicts: 247000 | #Constraints: 996392
3031.60/3040.12 c #Conflicts: 248000 | #Constraints: 997392
3031.60/3040.12 c #Conflicts: 249000 | #Constraints: 998392
3031.60/3040.12 c #Conflicts: 250000 | #Constraints: 999392
3031.60/3040.12 c #Conflicts: 251000 | #Constraints: 1000392
3031.60/3040.12 c #Conflicts: 252000 | #Constraints: 1001392
3031.60/3040.12 c #Conflicts: 253000 | #Constraints: 1002392
3031.60/3040.12 c #Conflicts: 254000 | #Constraints: 1003392
3031.60/3040.12 c #Conflicts: 255000 | #Constraints: 1004392
3031.60/3040.12 c #Conflicts: 256000 | #Constraints: 1005392
3031.60/3040.12 c #Conflicts: 257000 | #Constraints: 1006392
3031.60/3040.12 c #Conflicts: 258000 | #Constraints: 1007392
3031.60/3040.12 c #Conflicts: 259000 | #Constraints: 1008392
3031.60/3040.12 c #Conflicts: 260000 | #Constraints: 1009392
3031.60/3040.12 c #Conflicts: 261000 | #Constraints: 1010392
3031.60/3040.12 c #Conflicts: 262000 | #Constraints: 1011392
3031.60/3040.12 c #Conflicts: 263000 | #Constraints: 1012392
3031.60/3040.12 c #Conflicts: 264000 | #Constraints: 1013392
3031.60/3040.12 c #Conflicts: 265000 | #Constraints: 1014392
3031.60/3040.12 c #Conflicts: 266000 | #Constraints: 1015392
3031.60/3040.12 c #Conflicts: 267000 | #Constraints: 1016392
3031.60/3040.12 c #Conflicts: 268000 | #Constraints: 1017392
3031.60/3040.12 c #Conflicts: 269000 | #Constraints: 1018392
3031.60/3040.12 c #Conflicts: 270000 | #Constraints: 1019392
3031.60/3040.12 c #Conflicts: 271000 | #Constraints: 1020392
3031.60/3040.12 c #Conflicts: 272000 | #Constraints: 1021392
3031.60/3040.12 c #Conflicts: 273000 | #Constraints: 1022392
3031.60/3040.12 c #Conflicts: 274000 | #Constraints: 1023392
3031.60/3040.12 c #Conflicts: 275000 | #Constraints: 1024392
3031.60/3040.12 c #Conflicts: 276000 | #Constraints: 1025392
3031.60/3040.12 c #Conflicts: 277000 | #Constraints: 1026392
3031.60/3040.12 c #Conflicts: 278000 | #Constraints: 1027392
3031.60/3040.12 c #Conflicts: 279000 | #Constraints: 1028392
3031.60/3040.12 c #Conflicts: 280000 | #Constraints: 1029392
3031.60/3040.12 c #Conflicts: 281000 | #Constraints: 1030392
3031.60/3040.12 c #Conflicts: 282000 | #Constraints: 1031392
3031.60/3040.12 c INPROCESSING
3031.60/3040.12 c GARBAGE COLLECT
3031.60/3040.12 c #Conflicts: 283000 | #Constraints: 1005074
3031.60/3040.12 c #Conflicts: 284000 | #Constraints: 1006074
3031.60/3040.12 c #Conflicts: 285000 | #Constraints: 1007074
3031.60/3040.12 c #Conflicts: 286000 | #Constraints: 1008074
3031.60/3040.12 c #Conflicts: 287000 | #Constraints: 1009074
3031.60/3040.12 c #Conflicts: 288000 | #Constraints: 1010074
3031.60/3040.12 c #Conflicts: 289000 | #Constraints: 1011074
3031.60/3040.12 c #Conflicts: 290000 | #Constraints: 1012074
3031.60/3040.12 c #Conflicts: 291000 | #Constraints: 1013074
3031.60/3040.12 c #Conflicts: 292000 | #Constraints: 1014074
3031.60/3040.12 c #Conflicts: 293000 | #Constraints: 1015074
3031.60/3040.12 c #Conflicts: 294000 | #Constraints: 1016074
3031.60/3040.12 c #Conflicts: 295000 | #Constraints: 1017074
3031.60/3040.12 c INPROCESSING
3031.60/3040.12 c #Conflicts: 296000 | #Constraints: 997481
3031.60/3040.12 c #Conflicts: 297000 | #Constraints: 998481
3031.60/3040.12 c #Conflicts: 298000 | #Constraints: 999481
3031.60/3040.12 c #Conflicts: 299000 | #Constraints: 1000481
3031.60/3040.12 c #Conflicts: 300000 | #Constraints: 1001481
3031.60/3040.12 c #Conflicts: 301000 | #Constraints: 1002481
3031.60/3040.12 c #Conflicts: 302000 | #Constraints: 1003481
3031.60/3040.12 c #Conflicts: 303000 | #Constraints: 1004481
3031.60/3040.12 c #Conflicts: 304000 | #Constraints: 1005481
3031.60/3040.12 c #Conflicts: 305000 | #Constraints: 1006481
3031.60/3040.12 c #Conflicts: 306000 | #Constraints: 1007481
3031.60/3040.12 c #Conflicts: 307000 | #Constraints: 1008481
3031.60/3040.12 c #Conflicts: 308000 | #Constraints: 1009481
3031.60/3040.12 c #Conflicts: 309000 | #Constraints: 1010481
3031.60/3040.12 c #Conflicts: 310000 | #Constraints: 1011481
3031.60/3040.12 c #Conflicts: 311000 | #Constraints: 1012481
3031.60/3040.12 c #Conflicts: 312000 | #Constraints: 1013481
3031.60/3040.12 c #Conflicts: 313000 | #Constraints: 1014481
3031.60/3040.12 c #Conflicts: 314000 | #Constraints: 1015481
3031.60/3040.12 c #Conflicts: 315000 | #Constraints: 1016481
3031.60/3040.12 c #Conflicts: 316000 | #Constraints: 1017481
3031.60/3040.12 c #Conflicts: 317000 | #Constraints: 1018481
3031.60/3040.12 c #Conflicts: 318000 | #Constraints: 1019481
3361.66/3371.05 c #Conflicts: 319000 | #Constraints: 1020481
3361.66/3371.05 c #Conflicts: 320000 | #Constraints: 1021481
3361.66/3371.05 c #Conflicts: 321000 | #Constraints: 1022481
3361.66/3371.05 c #Conflicts: 322000 | #Constraints: 1023481
3361.66/3371.05 c #Conflicts: 323000 | #Constraints: 1024481
3361.66/3371.05 c #Conflicts: 324000 | #Constraints: 1025481
3361.66/3371.05 c #Conflicts: 325000 | #Constraints: 1026481
3361.66/3371.05 c #Conflicts: 326000 | #Constraints: 1027481
3361.66/3371.05 c #Conflicts: 327000 | #Constraints: 1028481
3361.66/3371.05 c #Conflicts: 328000 | #Constraints: 1029481
3361.66/3371.05 c #Conflicts: 329000 | #Constraints: 1030481
3361.66/3371.05 c #Conflicts: 330000 | #Constraints: 1031481
3361.66/3371.05 c #Conflicts: 331000 | #Constraints: 1032481
3361.66/3371.05 c #Conflicts: 332000 | #Constraints: 1033481
3361.66/3371.05 c #Conflicts: 333000 | #Constraints: 1034481
3361.66/3371.05 c #Conflicts: 334000 | #Constraints: 1035481
3361.66/3371.05 c #Conflicts: 335000 | #Constraints: 1036481
3361.66/3371.05 c #Conflicts: 336000 | #Constraints: 1037481
3361.66/3371.05 c INPROCESSING
3361.66/3371.05 c GARBAGE COLLECT
3361.66/3371.05 c #Conflicts: 337000 | #Constraints: 1008263
3361.66/3371.05 c #Conflicts: 338000 | #Constraints: 1009263
3361.66/3371.05 c #Conflicts: 339000 | #Constraints: 1010263
3361.66/3371.05 c #Conflicts: 340000 | #Constraints: 1011263
3361.66/3371.05 c #Conflicts: 341000 | #Constraints: 1012263
3361.66/3371.05 c #Conflicts: 342000 | #Constraints: 1013263
3361.66/3371.05 c #Conflicts: 343000 | #Constraints: 1014263
3361.66/3371.05 c #Conflicts: 344000 | #Constraints: 1015263
3361.66/3371.05 c #Conflicts: 345000 | #Constraints: 1016263
3361.66/3371.05 c #Conflicts: 346000 | #Constraints: 1017263
3361.66/3371.05 c #Conflicts: 347000 | #Constraints: 1018263
3361.66/3371.05 c #Conflicts: 348000 | #Constraints: 1019263
3361.66/3371.05 c #Conflicts: 349000 | #Constraints: 1020263
3361.66/3371.05 c #Conflicts: 350000 | #Constraints: 1021263
3361.66/3371.05 c INPROCESSING
3361.66/3371.05 c #Conflicts: 351000 | #Constraints: 1000360
3361.66/3371.05 c #Conflicts: 352000 | #Constraints: 1001360
3361.66/3371.05 c #Conflicts: 353000 | #Constraints: 1002360
3361.66/3371.05 c #Conflicts: 354000 | #Constraints: 1003360
3361.66/3371.05 c #Conflicts: 355000 | #Constraints: 1004360
3361.66/3371.05 c #Conflicts: 356000 | #Constraints: 1005360
3361.66/3371.05 c #Conflicts: 357000 | #Constraints: 1006360
3361.66/3371.05 c #Conflicts: 358000 | #Constraints: 1007360
3361.66/3371.05 c #Conflicts: 359000 | #Constraints: 1008360
3361.66/3371.05 c #Conflicts: 360000 | #Constraints: 1009360
3361.66/3371.05 c #Conflicts: 361000 | #Constraints: 1010360
3361.66/3371.05 c #Conflicts: 362000 | #Constraints: 1011360
3361.66/3371.05 c #Conflicts: 363000 | #Constraints: 1012360
3361.66/3371.05 c #Conflicts: 364000 | #Constraints: 1013360
3361.66/3371.05 c #Conflicts: 365000 | #Constraints: 1014360
3361.66/3371.05 c #Conflicts: 366000 | #Constraints: 1015360
3361.66/3371.05 c #Conflicts: 367000 | #Constraints: 1016360
3361.66/3371.05 c #Conflicts: 368000 | #Constraints: 1017360
3361.66/3371.05 c #Conflicts: 369000 | #Constraints: 1018360
3361.66/3371.05 c #Conflicts: 370000 | #Constraints: 1019360
3361.66/3371.05 c #Conflicts: 371000 | #Constraints: 1020360
3361.66/3371.05 c #Conflicts: 372000 | #Constraints: 1021360
3361.66/3371.05 c #Conflicts: 373000 | #Constraints: 1022360
3361.66/3371.05 c #Conflicts: 374000 | #Constraints: 1023360
3361.66/3371.05 c #Conflicts: 375000 | #Constraints: 1024360
3361.66/3371.05 c #Conflicts: 376000 | #Constraints: 1025360
3361.66/3371.05 c #Conflicts: 377000 | #Constraints: 1026360
3361.66/3371.05 c #Conflicts: 378000 | #Constraints: 1027360
3361.66/3371.05 c #Conflicts: 379000 | #Constraints: 1028360
3361.66/3371.05 c #Conflicts: 380000 | #Constraints: 1029360
3361.66/3371.05 c #Conflicts: 381000 | #Constraints: 1030360
3361.66/3371.05 c #Conflicts: 382000 | #Constraints: 1031360
3361.66/3371.05 c #Conflicts: 383000 | #Constraints: 1032360
3361.66/3371.05 c #Conflicts: 384000 | #Constraints: 1033360
3361.66/3371.05 c #Conflicts: 385000 | #Constraints: 1034360
3361.66/3371.05 c #Conflicts: 386000 | #Constraints: 1035360
3361.66/3371.05 c #Conflicts: 387000 | #Constraints: 1036360
3361.66/3371.05 c #Conflicts: 388000 | #Constraints: 1037360
3361.66/3371.05 c #Conflicts: 389000 | #Constraints: 1038360
3361.66/3371.05 c #Conflicts: 390000 | #Constraints: 1039360
3361.66/3371.05 c #Conflicts: 391000 | #Constraints: 1040360
3361.66/3371.05 c #Conflicts: 392000 | #Constraints: 1041360
3361.66/3371.05 c #Conflicts: 393000 | #Constraints: 1042360
3361.66/3371.05 c INPROCESSING
3361.66/3371.05 c GARBAGE COLLECT
3361.66/3371.05 c #Conflicts: 394000 | #Constraints: 1010357
3361.66/3371.05 c #Conflicts: 395000 | #Constraints: 1011357
3600.03/3610.03 c #Conflicts: 396000 | #Constraints: 1012357
3600.03/3610.03 c #Conflicts: 397000 | #Constraints: 1013357
3600.03/3610.03 c #Conflicts: 398000 | #Constraints: 1014357
3600.03/3610.03 c #Conflicts: 399000 | #Constraints: 1015357
3600.03/3610.03 c #Conflicts: 400000 | #Constraints: 1016357
3600.03/3610.03 c #Conflicts: 401000 | #Constraints: 1017357
3600.03/3610.03 c #Conflicts: 402000 | #Constraints: 1018357
3600.03/3610.03 c #Conflicts: 403000 | #Constraints: 1019357
3600.03/3610.03 c #Conflicts: 404000 | #Constraints: 1020357
3600.03/3610.03 c #Conflicts: 405000 | #Constraints: 1021357
3600.03/3610.03 c #Conflicts: 406000 | #Constraints: 1022357
3600.03/3610.03 c #Conflicts: 407000 | #Constraints: 1023357
3600.03/3610.03 c #Conflicts: 408000 | #Constraints: 1024357
3600.03/3610.03 c #Conflicts: 409000 | #Constraints: 1025357
3600.03/3610.03 c INPROCESSING
3600.03/3610.03 c #Conflicts: 410000 | #Constraints: 1002424
3600.03/3610.03 c #Conflicts: 411000 | #Constraints: 1003424
3600.03/3610.03 c #Conflicts: 412000 | #Constraints: 1004424
3600.03/3610.03 c #Conflicts: 413000 | #Constraints: 1005424
3600.03/3610.03 c #Conflicts: 414000 | #Constraints: 1006424
3600.03/3610.03 c #Conflicts: 415000 | #Constraints: 1007424
3600.03/3610.03 c #Conflicts: 416000 | #Constraints: 1008424
3600.03/3610.03 c #Conflicts: 417000 | #Constraints: 1009424
3600.03/3610.03 c #Conflicts: 418000 | #Constraints: 1010424
3600.03/3610.03 c #Conflicts: 419000 | #Constraints: 1011424
3600.03/3610.03 c #Conflicts: 420000 | #Constraints: 1012424
3600.03/3610.03 c #Conflicts: 421000 | #Constraints: 1013424
3600.03/3610.03 c #Conflicts: 422000 | #Constraints: 1014424
3600.03/3610.03 c #Conflicts: 423000 | #Constraints: 1015424
3600.03/3610.03 c #Conflicts: 424000 | #Constraints: 1016424
3600.03/3610.03 c #Conflicts: 425000 | #Constraints: 1017424
3600.03/3610.03 c #Conflicts: 426000 | #Constraints: 1018424
3600.03/3610.03 c #Conflicts: 427000 | #Constraints: 1019424
3600.03/3610.03 c #Conflicts: 428000 | #Constraints: 1020424
3600.03/3610.03 c #Conflicts: 429000 | #Constraints: 1021424
3600.03/3610.03 c #Conflicts: 430000 | #Constraints: 1022424
3600.03/3610.03 c #Conflicts: 431000 | #Constraints: 1023424
3600.03/3610.03 c #Conflicts: 432000 | #Constraints: 1024424
3600.03/3610.03 c #Conflicts: 433000 | #Constraints: 1025424
3600.03/3610.03 c #Conflicts: 434000 | #Constraints: 1026424
3600.03/3610.03 c #Conflicts: 435000 | #Constraints: 1027424
3600.03/3610.03 c #Conflicts: 436000 | #Constraints: 1028424
3600.03/3610.03 c #Conflicts: 437000 | #Constraints: 1029424
3600.03/3610.03 c #Conflicts: 438000 | #Constraints: 1030424
3600.03/3610.03 c #Conflicts: 439000 | #Constraints: 1031424
3600.03/3610.03 c #Conflicts: 440000 | #Constraints: 1032424
3600.03/3610.03 c #Conflicts: 441000 | #Constraints: 1033424
3600.03/3610.03 c #Conflicts: 442000 | #Constraints: 1034424
3600.03/3610.03 c #Conflicts: 443000 | #Constraints: 1035424
3600.03/3610.03 c #Conflicts: 444000 | #Constraints: 1036424
3600.03/3610.03 c #Conflicts: 445000 | #Constraints: 1037424
3600.03/3610.03 c #Conflicts: 446000 | #Constraints: 1038424
3600.03/3610.03 c #Conflicts: 447000 | #Constraints: 1039424
3600.03/3610.03 c #Conflicts: 448000 | #Constraints: 1040424
3600.03/3610.03 c #Conflicts: 449000 | #Constraints: 1041424
3600.03/3610.03 c #Conflicts: 450000 | #Constraints: 1042424
3600.03/3610.03 c #Conflicts: 451000 | #Constraints: 1043424
3600.03/3610.03 c #Conflicts: 452000 | #Constraints: 1044424
3600.03/3610.03 c #Conflicts: 453000 | #Constraints: 1045424
3600.03/3610.03 c #Conflicts: 454000 | #Constraints: 1046424
3600.03/3610.03 c #Conflicts: 455000 | #Constraints: 1047424
3600.03/3610.03 c INPROCESSING
3600.03/3610.03 c GARBAGE COLLECT
3600.03/3610.03 c Disabling crashed LP
3600.17/3610.17 c cpu time 3590.67 s
3600.17/3610.17 c deterministic time 4647102168 4.65e+09
3600.17/3610.17 c optimization time 0.139312 s
3600.17/3610.17 c total solve time 3587.11 s
3600.17/3610.17 c core-guided solve time 0 s
3600.17/3610.17 c propagation time 121.612 s
3600.17/3610.17 c conflict analysis time 19.9243 s
3600.17/3610.17 c propagations 619569429
3600.17/3610.17 c resolve steps 5586527
3600.17/3610.17 c decisions 5764262
3600.17/3610.17 c conflicts 455600
3600.17/3610.17 c restarts 1021
3600.17/3610.17 c inprocessing phases 34
3600.17/3610.17 c garbage collections 10 ,( 29.41 )
3600.17/3610.17 c input clauses 877004 ,( 89.87 )
3600.17/3610.17 c input cardinalities 3063 ,( 0.31 )
3600.17/3610.17 c input general constraints 95781 ,( 9.82 )
3600.17/3610.17 c input average constraint length 3.86
3600.17/3610.17 c input average constraint degree 1.12
3600.17/3610.17 c learned clauses 455394 ,( 99.95 )
3600.17/3610.17 c learned cardinalities 116 ,( 0.03 )
3600.17/3610.17 c learned general constraints 91 ,( 0.02 )
3600.17/3610.17 c learned average constraint length 115.66
3600.17/3610.17 c learned average constraint degree 32995.16
3600.17/3610.17 c watched CF 32, 64, 128, Arb: 18 , 0 , 0 , 0
3600.17/3610.17 c counting CF 32, 64, 128, Arb: 95854 , 0 , 0 , 0
3600.17/3610.17 c watched constraints 18 ,( 0.02 )
3600.17/3610.17 c counting constraints 95854 ,( 99.98 )
3600.17/3610.17 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 843603111 , 829462 , 17757286 ,( 2976 , 17754310 )
3600.17/3610.17 c gcd simplifications 189
3600.17/3610.17 c detected cardinalities 9
3600.17/3610.17 c weakened non-implied lits 103187
3600.17/3610.17 c weakened non-implying lits 328
3600.17/3610.17 c original variables 42127
3600.17/3610.17 c clausal propagations 614949492
3600.17/3610.17 c cardinality propagations 768931
3600.17/3610.17 c watched propagations 167
3600.17/3610.17 c counting propagations 3393809
3600.17/3610.17 c watch lookups 1077822036
3600.17/3610.17 c watch backjump lookups 0
3600.17/3610.17 c watch checks 1530669221
3600.17/3610.17 c propagation checks 661942250
3600.17/3610.17 c constraint additions 125445895
3600.17/3610.17 c trail pops 625789276
3600.17/3610.17 c formula constraints 975848
3600.17/3610.17 c learned constraints 455600
3600.17/3610.17 c bound constraints 0
3600.17/3610.17 c core-guided constraints 0
3600.17/3610.17 c encountered formula constraints 4507811
3600.17/3610.17 c encountered learned constraints 1534316
3600.17/3610.17 c encountered bound constraints 0
3600.17/3610.17 c encountered core-guided constraints 0
3600.17/3610.17 c LP total time 181.153 s
3600.17/3610.17 c LP solve time 175.66 s
3600.17/3610.17 c LP constraints added 975852
3600.17/3610.17 c LP constraints removed 0
3600.17/3610.17 c LP pivots internal 55308
3600.17/3610.17 c LP pivots root 44490
3600.17/3610.17 c LP calls 9
3600.17/3610.17 c LP optimalities 3
3600.17/3610.17 c LP no pivot count 0
3600.17/3610.17 c LP infeasibilities 0
3600.17/3610.17 c LP valid Farkas constraints 0
3600.17/3610.17 c LP learned Farkas constraints 0
3600.17/3610.17 c LP basis resets 0
3600.17/3610.17 c LP cycling count 0
3600.17/3610.17 c LP singular count 0
3600.17/3610.17 c LP no primal count 0
3600.17/3610.17 c LP no farkas count 0
3600.17/3610.17 c LP other issue count 0
3600.17/3610.17 c LP Gomory cuts 1
3600.17/3610.17 c LP learned cuts 3
3600.17/3610.17 c LP deleted cuts 0
3600.17/3610.17 c LP encountered Gomory constraints 0
3600.17/3610.17 c LP encountered Farkas constraints 0
3600.17/3610.17 c LP encountered learned Farkas constraints 0
3600.17/3610.17 c CG auxiliary variables introduced 0
3600.17/3610.17 c CG solutions found 0
3600.17/3610.17 c CG cores constructed 0
3600.17/3610.17 c CG core cardinality constraints returned 0
3600.17/3610.17 c CG unit cores 0
3600.17/3610.17 c CG single cores 0
3600.17/3610.17 c CG blocks removed during cardinality reduction 0
3600.17/3610.17 c CG first core best 0
3600.17/3610.17 c CG decision core best 0
3600.17/3610.17 c CG core reduction tie 0
3600.17/3610.17 c CG core degree average 0.00
3600.17/3610.17 c CG core slack average 0.00
3600.17/3610.17 c CG core upper bound improvements 0
3600.17/3610.17 c STR number of successful calls 0
3600.17/3610.17 c STR number of unsuccessful calls 0
3600.17/3610.17 c STR number of inconclusive calls 0
3600.17/3610.17 c STR number of successful attempts 0
3600.17/3610.17 c STR number of unsuccessful attempts 0
3600.17/3610.17 c STR number of inconclusive attempts 0
3600.17/3610.17 c STR average degree increase per successful call inf
3600.17/3610.17 c STR average degree increase per successful attempt inf
3600.17/3610.17 c STR total number of conflicts for successful attempts 0
3600.17/3610.17 c STR total number of conflicts for unsuccessful attempts 0
3600.17/3610.17 c STR total number of conflicts for inconclusive attempts 0
3600.17/3610.17 c STR average number of conflicts per successful attempt inf
3600.17/3610.17 c STR average number of conflicts per unsuccessful attempt inf
3600.17/3610.17 c STR average number of conflicts per inconclusive attempt inf
3600.17/3610.17 c AVG.sumWPerc 60.72
3600.17/3610.17 c bigint constraints 0
3600.17/3610.17 s UNKNOWN
3600.17/3610.17 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: 63794 MiB (62857 MiB free)
memory of node 1: 64507 MiB (62946 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503604-1751163609/watcher-4503604-1751163609 -o /tmp/evaluation-result-4503604-1751163609/solver-4503604-1751163609 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751159447-18294 --watchdog 3760 run-dec-break.sh HOME/instance-4503604-1751163609.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=19367, runsolver pid=19364
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.11 4.12 4.11 5/254 19369
/proc/meminfo: memFree=128696392/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19369] ppid=19367 vsize=165420 memory=139500 CPUtime=0.07 cores=4,6
/proc/19369/stat : 19369 (pbsuma) R 19367 19367 18283 0 -1 4194304 2389 0 0 0 4 3 0 0 20 0 1 0 32040322 169390080 34875 18446744073709551615 4210688 4653049 140733034594288 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 32038912 140733034596707 140733034596914 140733034596914 140733034602479 0
/proc/19369/statm: 41355 34875 960 108 0 38763 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 169612 KiB
Current children cumulated memory: 142444 KiB
[startup+0.214658 s]*
/proc/loadavg: 4.11 4.12 4.11 5/254 19369
/proc/meminfo: memFree=128690532/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19369] ppid=19367 vsize=171836 memory=149184 CPUtime=0.18 cores=4,6
/proc/19369/stat : 19369 (pbsuma) R 19367 19367 18283 0 -1 4194304 4599 0 0 0 14 4 0 0 20 0 1 0 32040322 175960064 37296 18446744073709551615 4210688 4653049 140733034594288 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 32038912 140733034596707 140733034596914 140733034596914 140733034602479 0
/proc/19369/statm: 42959 37296 960 108 0 40367 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 176028 KiB
Current children cumulated memory: 152128 KiB
[startup+0.313459 s]*
/proc/loadavg: 4.11 4.12 4.11 5/254 19369
/proc/meminfo: memFree=128680704/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19369] ppid=19367 vsize=178924 memory=155636 CPUtime=0.26 cores=4,6
/proc/19369/stat : 19369 (pbsuma) R 19367 19367 18283 0 -1 4194304 6587 0 0 0 22 4 0 0 20 0 1 0 32040322 183218176 38909 18446744073709551615 4210688 4653049 140733034594288 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 32038912 140733034596707 140733034596914 140733034596914 140733034602479 0
/proc/19369/statm: 44731 38909 960 108 0 42139 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 183116 KiB
Current children cumulated memory: 158580 KiB
[startup+0.700263 s]
/proc/loadavg: 4.11 4.12 4.11 5/254 19369
/proc/meminfo: memFree=128665708/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19369] ppid=19367 vsize=210644 memory=189384 CPUtime=0.61 cores=4,6
/proc/19369/stat : 19369 (pbsuma) R 19367 19367 18283 0 -1 4194304 13232 0 0 0 54 7 0 0 20 0 1 0 32040322 215699456 47346 18446744073709551615 4210688 4653049 140733034594288 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 32038912 140733034596707 140733034596914 140733034596914 140733034602479 0
/proc/19369/statm: 52661 47346 960 108 0 50069 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 214836 KiB
Current children cumulated memory: 192328 KiB
[startup+1.50023 s]
/proc/loadavg: 4.10 4.12 4.11 5/254 19369
/proc/meminfo: memFree=128597032/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19369] ppid=19367 vsize=346368 memory=281360 CPUtime=1.4 cores=4,6
/proc/19369/stat : 19369 (pbsuma) R 19367 19367 18283 0 -1 4194304 27369 0 0 0 127 13 0 0 20 0 1 0 32040322 354680832 70340 18446744073709551615 4210688 4653049 140733034594288 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 32038912 140733034596707 140733034596914 140733034596914 140733034602479 0
/proc/19369/statm: 86592 70340 960 108 0 84000 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 350560 KiB
Current children cumulated memory: 284304 KiB
[startup+3.11308 s]
/proc/loadavg: 4.10 4.12 4.11 5/254 19370
/proc/meminfo: memFree=128619652/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=2.56 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 235 43131 0 0 0 0 231 25 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19370] ppid=19367 vsize=106184 memory=62088 CPUtime=0.42 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 13542 0 0 0 30 12 0 0 20 0 1 0 32040589 108732416 15522 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 26546 15522 2016 1147 0 13973 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 110376 KiB
Current children cumulated memory: 65032 KiB
[startup+6.30039 s]
/proc/loadavg: 4.09 4.12 4.11 5/254 19370
/proc/meminfo: memFree=128274748/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=2.56 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 235 43131 0 0 0 0 231 25 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19370] ppid=19367 vsize=766312 memory=604860 CPUtime=3.6 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 95772 0 0 0 269 91 0 0 20 0 1 0 32040589 784703488 151215 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 191578 151215 2240 1147 0 179005 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 770504 KiB
Current children cumulated memory: 607804 KiB
[startup+12.7004 s]
/proc/loadavg: 4.08 4.11 4.11 6/254 19370
/proc/meminfo: memFree=127332268/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=2.56 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 235 43131 0 0 0 0 231 25 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19370] ppid=19367 vsize=1414788 memory=1302056 CPUtime=9.98 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 134645 0 0 0 877 121 0 0 20 0 1 0 32040589 1448742912 325514 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 353697 325514 2272 1147 0 341124 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 1418980 KiB
Current children cumulated memory: 1305000 KiB
[startup+25.5004 s]
/proc/loadavg: 4.07 4.11 4.11 5/254 19370
/proc/meminfo: memFree=127374376/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=2.56 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 235 43131 0 0 0 0 231 25 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19370] ppid=19367 vsize=1414788 memory=1302056 CPUtime=22.74 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 134670 0 0 0 2153 121 0 0 20 0 1 0 32040589 1448742912 325514 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 353697 325514 2272 1147 0 341124 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 1418980 KiB
Current children cumulated memory: 1305000 KiB
[startup+51.1135 s]
/proc/loadavg: 4.10 4.11 4.11 5/254 19371
/proc/meminfo: memFree=127433460/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=2.56 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 235 43131 0 0 0 0 231 25 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19370] ppid=19367 vsize=1414788 memory=1302056 CPUtime=48.27 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 134679 0 0 0 4706 121 0 0 20 0 1 0 32040589 1448742912 325514 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 353697 325514 2272 1147 0 341124 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 1418980 KiB
Current children cumulated memory: 1305000 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/254 19373
/proc/meminfo: memFree=127387024/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=2.56 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 235 43131 0 0 0 0 231 25 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19370] ppid=19367 vsize=1414788 memory=1302056 CPUtime=99.3 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 134696 0 0 0 9809 121 0 0 20 0 1 0 32040589 1448742912 325514 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 353697 325514 2272 1147 0 341124 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 1418980 KiB
Current children cumulated memory: 1305000 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/254 19375
/proc/meminfo: memFree=127348944/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=2.56 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 235 43131 0 0 0 0 231 25 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19370] ppid=19367 vsize=1443356 memory=1328732 CPUtime=159.11 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 140366 0 0 0 15787 124 0 0 20 0 1 0 32040589 1477996544 332183 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 360839 332183 2368 1147 0 348266 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 1447548 KiB
Current children cumulated memory: 1331676 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/254 19377
/proc/meminfo: memFree=127297908/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=2.56 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 235 43131 0 0 0 0 231 25 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19370] ppid=19367 vsize=1443680 memory=1329372 CPUtime=218.92 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 140547 0 0 0 21767 125 0 0 20 0 1 0 32040589 1478328320 332343 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 360920 332343 2368 1147 0 348347 0
Current children cumulated CPU time: 221.48 s
################
# More data... #
################
[pid=19370] ppid=19367 vsize=1744268 memory=1552168 CPUtime=3091.08 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 154266 0 0 0 308561 547 0 0 20 0 1 0 32040589 1786130432 388042 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 436067 388042 2368 1147 0 423494 0
Current children cumulated CPU time: 3093.64 s
Current children cumulated vsize: 1748460 KiB
Current children cumulated memory: 1555112 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.26 4.19 5/254 19626
/proc/meminfo: memFree=127774432/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=2.56 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 235 43131 0 0 0 0 231 25 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19370] ppid=19367 vsize=1744268 memory=1552168 CPUtime=3150.92 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 154464 0 0 0 314519 573 0 0 20 0 1 0 32040589 1786130432 388042 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 436067 388042 2368 1147 0 423494 0
Current children cumulated CPU time: 3153.48 s
Current children cumulated vsize: 1748460 KiB
Current children cumulated memory: 1555112 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.22 4.18 5/254 19629
/proc/meminfo: memFree=127752380/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=2.56 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 235 43131 0 0 0 0 231 25 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19370] ppid=19367 vsize=1751468 memory=1552168 CPUtime=3210.77 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 154479 0 0 0 320495 582 0 0 20 0 1 0 32040589 1793503232 388042 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 437867 388042 2368 1147 0 425294 0
Current children cumulated CPU time: 3213.33 s
Current children cumulated vsize: 1755660 KiB
Current children cumulated memory: 1555112 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.20 4.17 5/254 19631
/proc/meminfo: memFree=127677864/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=2.56 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 235 43131 0 0 0 0 231 25 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19370] ppid=19367 vsize=1751468 memory=1564456 CPUtime=3270.61 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 154996 0 0 0 326417 644 0 0 20 0 1 0 32040589 1793503232 391114 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 437867 391114 2368 1147 0 425294 0
Current children cumulated CPU time: 3273.17 s
Current children cumulated vsize: 1755660 KiB
Current children cumulated memory: 1567400 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.17 4.17 5/255 19636
/proc/meminfo: memFree=127641660/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=2.56 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 235 43131 0 0 0 0 231 25 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19370] ppid=19367 vsize=1751468 memory=1564456 CPUtime=3330.46 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 155123 0 0 0 332402 644 0 0 20 0 1 0 32040589 1793503232 391114 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 437867 391114 2368 1147 0 425294 0
Current children cumulated CPU time: 3333.02 s
Current children cumulated vsize: 1755660 KiB
Current children cumulated memory: 1567400 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.19 4.17 5/255 19685
/proc/meminfo: memFree=128091340/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=2.56 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 235 43131 0 0 0 0 231 25 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19370] ppid=19367 vsize=1751468 memory=1564456 CPUtime=3390.31 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 155213 0 0 0 338378 653 0 0 20 0 1 0 32040589 1793503232 391114 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 437867 391114 2368 1147 0 425294 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 1755660 KiB
Current children cumulated memory: 1567400 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/256 19690
/proc/meminfo: memFree=127886088/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=2.56 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 235 43131 0 0 0 0 231 25 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19370] ppid=19367 vsize=1751468 memory=1564456 CPUtime=3450.17 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 155213 0 0 0 344364 653 0 0 20 0 1 0 32040589 1793503232 391114 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 437867 391114 2368 1147 0 425294 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 1755660 KiB
Current children cumulated memory: 1567400 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/255 19694
/proc/meminfo: memFree=127844912/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=2.56 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 235 43131 0 0 0 0 231 25 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19370] ppid=19367 vsize=1751468 memory=1570616 CPUtime=3510.01 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 155387 0 0 0 350309 692 0 0 20 0 1 0 32040589 1793503232 392654 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 437867 392654 2368 1147 0 425294 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 1755660 KiB
Current children cumulated memory: 1573560 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/255 19696
/proc/meminfo: memFree=127799240/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=2.56 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 235 43131 0 0 0 0 231 25 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19370] ppid=19367 vsize=1751468 memory=1570616 CPUtime=3569.83 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 155387 0 0 0 356288 695 0 0 20 0 1 0 32040589 1793503232 392654 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 437867 392654 2368 1147 0 425294 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 1755660 KiB
Current children cumulated memory: 1573560 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.13 4.15 4.16 5/255 19697
/proc/meminfo: memFree=127768500/131382120 swapFree=33010684/33010684
[pid=19367] ppid=19364 vsize=4192 memory=2944 CPUtime=2.56 cores=4,6
/proc/19367/stat : 19367 (run-dec-break.s) S 19364 19367 18283 0 -1 4194304 235 43131 0 0 0 0 231 25 20 0 1 0 32040322 4292608 736 18446744073709551615 94001910812672 94001911707205 140727116914864 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94001911946256 94001911994000 94001928089600 140727116917089 140727116917218 140727116917218 140727116922820 0
/proc/19367/statm: 1048 736 672 219 0 110 0
[pid=19370] ppid=19367 vsize=1751468 memory=1570616 CPUtime=3597.47 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19367 19367 18283 0 -1 4194304 155389 0 0 0 359051 696 0 0 20 0 1 0 32040589 1793503232 392654 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 437867 392654 2368 1147 0 425294 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1755660 KiB
Current children cumulated memory: 1573560 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.02 s]
# the end of solver process 19367 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=2.32114 s, system=0.255302 s
Sleeping 2 seconds
[startup+3610.25 s]
# the end of solver process 19370 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3593.06 s, system=7.23194 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+3610.21 s]
/proc/loadavg: 4.13 4.15 4.16 5/254 19697
/proc/meminfo: memFree=128481204/131382120 swapFree=33010684/33010684
[pid=19370] ppid=19364 vsize=941240 memory=823868 CPUtime=3597.68 cores=4,6
/proc/19370/stat : 19370 (roundingsat) R 19364 19367 18283 0 -1 4194304 155574 0 0 0 359071 697 0 0 20 0 1 0 32040589 963829760 205967 18446744073709551615 4227072 8923433 140728622543568 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29822976 140728622545220 140728622545448 140728622545448 140728622551018 0
/proc/19370/statm: 235310 205967 2464 1147 0 222737 0
Current cumulated CPU time of completed processes: 2.57644 s
Current children cumulated CPU time: 3597.68 s
Current children cumulated vsize: 941240 KiB
Current children cumulated memory: 823868 KiB
Child status: 2
Real time (s): 3610.25
CPU time (s): 3600.3
CPU user time (s): 3593.06
CPU system time (s): 7.23194
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 1755660
Max. memory (cumulated for all children) (KiB): 1573560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.06
system time used= 7.23194
maximum resident set size= 1571000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198956
page faults= 0
swaps= 0
block input operations= 0
block output operations= 86080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 252
involuntary context switches= 18432
# summary of solver processes directly reported to runsolver:
# pid: 19367,19370
# total CPU time (s): 3600.3
# total CPU user time (s): 3593.06
# total CPU system time (s): 7.23194
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.0581 second user time and 32.0095 second system time
The end
Begin job on nodeC006 at 2025-06-29 04:20:10
IDJOB=4503604
IDBENCH=155524
IDSOLVER=3357
FILE ID=nodeC006/4503604-1751163609
RUNJOBID= nodeC006-1751159447-18294
SLURM_JOB_ID= 9587503
Free space on /tmp= 432928 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-147.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503604-1751163609/watcher-4503604-1751163609 -o /tmp/evaluation-result-4503604-1751163609/solver-4503604-1751163609 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751159447-18294 --watchdog 3760 run-dec-break.sh HOME/instance-4503604-1751163609.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 68b1290c926351b4227086ab823cce81
RANDOM SEED=1203364153
nodeC006 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 : 0xb00001f
cpu MHz : 3660.291
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 3660.891
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.815
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.207
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1995.238
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 3660.806
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.002
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1198.116
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128823544 kB
MemAvailable: 128569876 kB
Buffers: 3280 kB
Cached: 557988 kB
SwapCached: 0 kB
Active: 1650672 kB
Inactive: 310224 kB
Active(anon): 1417588 kB
Inactive(anon): 0 kB
Active(file): 233084 kB
Inactive(file): 310224 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 50180 kB
Writeback: 0 kB
AnonPages: 1403020 kB
Mapped: 115560 kB
Shmem: 17960 kB
KReclaimable: 84916 kB
Slab: 163776 kB
SReclaimable: 84916 kB
SUnreclaim: 78860 kB
KernelStack: 4096 kB
PageTables: 5964 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2009792 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 890880 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432940 MiB
End job on nodeC006 at 2025-06-29 05:20:20