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-4515350-1751223226.opb'
0.08/0.15 c read 9.93MB (146.28ms)
0.08/0.15 c [cnf: #variables 167056 #clauses 169577 #duplicates 0 #arr 834722]
0.08/0.16 c
0.08/0.16 c make graph and approximate orbits
0.28/0.40 c [group: #orbits ~= 13320] (248.12ms)
0.28/0.40 c
0.28/0.40 c detect special group actions
0.28/0.40 c probe for Johnson action (limit=64)
0.28/0.40 c probe for row-column symmetry (limit=64, splits=16.78M)
0.58/0.63 c probe for row symmetry (limit=64, splits=16.78M)
0.87/0.96 c found row 42x1112, generating row predicate
0.87/0.97 c (567.99ms)
0.87/0.97 c
0.87/0.97 c detect symmetries on remainder
0.87/0.97 c [graph: #vertices 979328 #edges 2954834]
0.87/0.98 c dejavu (support_limit=2048.00MB, budget_limit=64)
1.18/1.29 c [group: #symmetries 3.04*10^262 #generators 247] (315.55ms)
1.18/1.29 c
1.18/1.29 c optimize generators (opt_passes=64, conjugate_limit=256)
1.27/1.35 c ran it=0, +gens=25
2.07/2.18 c con best_support=2216, best_gens=96, +gens=158
2.07/2.18 c (891.51ms)
2.07/2.18 c
2.07/2.18 c finalize break order and special generators
2.07/2.19 c
2.07/2.19 c add generic predicates (break_depth=10)
2.17/2.21 c added predicates for 430 generators (18.70ms)
2.17/2.21 c
2.17/2.21 c generation finished
2.17/2.21 c [sbp: #constraints 148734 #add_vars 49421]
2.17/2.21 c
2.17/2.21 c write result to 'HOME/instance-4515350-1751223226.opb.pre'
2.17/2.25 c wrote 16.28MB (34.22ms)
2.17/2.25 c ------------------------------------------------------------------
2.17/2.25 c 891.51ms 39.79% optimize_gens
2.17/2.25 c 567.99ms 25.35% detect_special
2.17/2.25 c 315.55ms 14.08% detect_generic
2.17/2.25 c 248.12ms 11.07% approx_orbits
2.17/2.25 c 146.28ms 6.53% parse
2.17/2.25 c 34.22ms 1.53% output
2.17/2.25 c 18.70ms 0.83% break_generic
2.17/2.25 c 12.09ms 0.54% finalize_order
2.17/2.25 c 6.12ms 0.27% other
2.17/2.25 c ───────────────────────────────────────────────
2.17/2.25 c 2240.57ms 100% total
2.17/2.25 c ------------------------------------------------------------------
2.17/2.28 c RoundingSat 2
2.17/2.28 c branch pb25
2.17/2.28 c commit 63f22ad
3.85/3.93 c #variables 216477 #constraints 318611
468.87/470.16 c #Conflicts: 1000 | #Constraints: 319610
468.87/470.16 c #Conflicts: 2000 | #Constraints: 320610
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 3000 | #Constraints: 148948
468.87/470.16 c #Conflicts: 4000 | #Constraints: 149948
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 5000 | #Constraints: 146672
468.87/470.16 c #Conflicts: 6000 | #Constraints: 147672
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 7000 | #Constraints: 146360
468.87/470.16 c #Conflicts: 8000 | #Constraints: 147360
468.87/470.16 c #Conflicts: 9000 | #Constraints: 148360
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 10000 | #Constraints: 147121
468.87/470.16 c #Conflicts: 11000 | #Constraints: 148121
468.87/470.16 c #Conflicts: 12000 | #Constraints: 149121
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 13000 | #Constraints: 147069
468.87/470.16 c #Conflicts: 14000 | #Constraints: 148069
468.87/470.16 c #Conflicts: 15000 | #Constraints: 149069
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 16000 | #Constraints: 147327
468.87/470.16 c #Conflicts: 17000 | #Constraints: 148327
468.87/470.16 c #Conflicts: 18000 | #Constraints: 149327
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 19000 | #Constraints: 147361
468.87/470.16 c #Conflicts: 20000 | #Constraints: 148361
468.87/470.16 c #Conflicts: 21000 | #Constraints: 149361
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 22000 | #Constraints: 146475
468.87/470.16 c #Conflicts: 23000 | #Constraints: 147475
468.87/470.16 c #Conflicts: 24000 | #Constraints: 148475
468.87/470.16 c #Conflicts: 25000 | #Constraints: 149475
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 26000 | #Constraints: 147178
468.87/470.16 c #Conflicts: 27000 | #Constraints: 148178
468.87/470.16 c #Conflicts: 28000 | #Constraints: 149178
468.87/470.16 c #Conflicts: 29000 | #Constraints: 150178
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 30000 | #Constraints: 147807
468.87/470.16 c #Conflicts: 31000 | #Constraints: 148807
468.87/470.16 c #Conflicts: 32000 | #Constraints: 149807
468.87/470.16 c #Conflicts: 33000 | #Constraints: 150807
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 34000 | #Constraints: 148038
468.87/470.16 c #Conflicts: 35000 | #Constraints: 149038
468.87/470.16 c #Conflicts: 36000 | #Constraints: 150038
468.87/470.16 c #Conflicts: 37000 | #Constraints: 151038
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 38000 | #Constraints: 148071
468.87/470.16 c #Conflicts: 39000 | #Constraints: 149071
468.87/470.16 c #Conflicts: 40000 | #Constraints: 150071
468.87/470.16 c #Conflicts: 41000 | #Constraints: 151071
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 42000 | #Constraints: 147830
468.87/470.16 c #Conflicts: 43000 | #Constraints: 148830
468.87/470.16 c #Conflicts: 44000 | #Constraints: 149830
468.87/470.16 c #Conflicts: 45000 | #Constraints: 150830
468.87/470.16 c #Conflicts: 46000 | #Constraints: 151830
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 47000 | #Constraints: 148415
468.87/470.16 c #Conflicts: 48000 | #Constraints: 149415
468.87/470.16 c #Conflicts: 49000 | #Constraints: 150415
468.87/470.16 c #Conflicts: 50000 | #Constraints: 151415
468.87/470.16 c #Conflicts: 51000 | #Constraints: 152415
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 52000 | #Constraints: 148886
468.87/470.16 c #Conflicts: 53000 | #Constraints: 149886
468.87/470.16 c #Conflicts: 54000 | #Constraints: 150886
468.87/470.16 c #Conflicts: 55000 | #Constraints: 151886
468.87/470.16 c #Conflicts: 56000 | #Constraints: 152886
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 57000 | #Constraints: 147857
468.87/470.16 c #Conflicts: 58000 | #Constraints: 148857
468.87/470.16 c #Conflicts: 59000 | #Constraints: 149857
468.87/470.16 c #Conflicts: 60000 | #Constraints: 150857
468.87/470.16 c #Conflicts: 61000 | #Constraints: 151857
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 62000 | #Constraints: 147927
468.87/470.16 c #Conflicts: 63000 | #Constraints: 148927
468.87/470.16 c #Conflicts: 64000 | #Constraints: 149927
468.87/470.16 c #Conflicts: 65000 | #Constraints: 150927
468.87/470.16 c #Conflicts: 66000 | #Constraints: 151927
468.87/470.16 c INPROCESSING
468.87/470.16 c GARBAGE COLLECT
468.87/470.16 c #Conflicts: 67000 | #Constraints: 147575
468.87/470.16 c #Conflicts: 68000 | #Constraints: 148575
778.18/780.27 c #Conflicts: 69000 | #Constraints: 149575
778.18/780.27 c #Conflicts: 70000 | #Constraints: 150575
778.18/780.27 c #Conflicts: 71000 | #Constraints: 151575
778.18/780.27 c #Conflicts: 72000 | #Constraints: 152575
778.18/780.27 c INPROCESSING
778.18/780.27 c GARBAGE COLLECT
778.18/780.27 c #Conflicts: 73000 | #Constraints: 148186
778.18/780.27 c #Conflicts: 74000 | #Constraints: 149186
778.18/780.27 c #Conflicts: 75000 | #Constraints: 150186
778.18/780.27 c #Conflicts: 76000 | #Constraints: 151186
778.18/780.27 c #Conflicts: 77000 | #Constraints: 152186
778.18/780.27 c #Conflicts: 78000 | #Constraints: 153186
778.18/780.27 c INPROCESSING
778.18/780.27 c GARBAGE COLLECT
778.18/780.27 c #Conflicts: 79000 | #Constraints: 148761
778.18/780.27 c #Conflicts: 80000 | #Constraints: 149761
778.18/780.27 c #Conflicts: 81000 | #Constraints: 150761
778.18/780.27 c #Conflicts: 82000 | #Constraints: 151761
778.18/780.27 c #Conflicts: 83000 | #Constraints: 152761
778.18/780.27 c #Conflicts: 84000 | #Constraints: 153761
778.18/780.27 c INPROCESSING
778.18/780.27 c GARBAGE COLLECT
778.18/780.27 c #Conflicts: 85000 | #Constraints: 148956
778.18/780.27 c #Conflicts: 86000 | #Constraints: 149956
778.18/780.27 c #Conflicts: 87000 | #Constraints: 150956
778.18/780.27 c #Conflicts: 88000 | #Constraints: 151956
778.18/780.27 c #Conflicts: 89000 | #Constraints: 152956
778.18/780.27 c #Conflicts: 90000 | #Constraints: 153956
778.18/780.27 c INPROCESSING
778.18/780.27 c GARBAGE COLLECT
778.18/780.27 c #Conflicts: 91000 | #Constraints: 149125
778.18/780.27 c #Conflicts: 92000 | #Constraints: 150125
778.18/780.27 c #Conflicts: 93000 | #Constraints: 151125
778.18/780.27 c #Conflicts: 94000 | #Constraints: 152125
778.18/780.27 c #Conflicts: 95000 | #Constraints: 153125
778.18/780.27 c #Conflicts: 96000 | #Constraints: 154125
778.18/780.27 c INPROCESSING
778.18/780.27 c GARBAGE COLLECT
778.18/780.27 c #Conflicts: 97000 | #Constraints: 148929
778.18/780.27 c #Conflicts: 98000 | #Constraints: 149929
778.18/780.27 c #Conflicts: 99000 | #Constraints: 150929
778.18/780.27 c #Conflicts: 100000 | #Constraints: 151929
778.18/780.27 c #Conflicts: 101000 | #Constraints: 152930
778.18/780.27 c #Conflicts: 102000 | #Constraints: 153930
778.18/780.27 c #Conflicts: 103000 | #Constraints: 154930
778.18/780.27 c INPROCESSING
778.18/780.27 c GARBAGE COLLECT
778.18/780.27 c #Conflicts: 104000 | #Constraints: 149384
778.18/780.27 c #Conflicts: 105000 | #Constraints: 150384
778.18/780.27 c #Conflicts: 106000 | #Constraints: 151384
778.18/780.27 c #Conflicts: 107000 | #Constraints: 152384
778.18/780.27 c #Conflicts: 108000 | #Constraints: 153384
778.18/780.27 c #Conflicts: 109000 | #Constraints: 154384
778.18/780.27 c #Conflicts: 110000 | #Constraints: 155384
778.18/780.27 c INPROCESSING
778.18/780.27 c GARBAGE COLLECT
778.18/780.27 c #Conflicts: 111000 | #Constraints: 149833
778.18/780.27 c #Conflicts: 112000 | #Constraints: 150833
778.18/780.27 c #Conflicts: 113000 | #Constraints: 151833
778.18/780.27 c #Conflicts: 114000 | #Constraints: 152833
778.18/780.27 c #Conflicts: 115000 | #Constraints: 153833
778.18/780.27 c #Conflicts: 116000 | #Constraints: 154833
778.18/780.27 c #Conflicts: 117000 | #Constraints: 155833
778.18/780.27 c INPROCESSING
778.18/780.27 c GARBAGE COLLECT
778.18/780.27 c #Conflicts: 118000 | #Constraints: 150350
778.18/780.27 c #Conflicts: 119000 | #Constraints: 151350
778.18/780.27 c #Conflicts: 120000 | #Constraints: 152350
778.18/780.27 c #Conflicts: 121000 | #Constraints: 153350
778.18/780.27 c #Conflicts: 122000 | #Constraints: 154350
778.18/780.27 c #Conflicts: 123000 | #Constraints: 155350
778.18/780.27 c #Conflicts: 124000 | #Constraints: 156350
778.18/780.27 c INPROCESSING
778.18/780.27 c GARBAGE COLLECT
778.18/780.27 c #Conflicts: 125000 | #Constraints: 150453
778.18/780.27 c #Conflicts: 126000 | #Constraints: 151453
778.18/780.27 c #Conflicts: 127000 | #Constraints: 152454
778.18/780.27 c #Conflicts: 128000 | #Constraints: 153454
778.18/780.27 c #Conflicts: 129000 | #Constraints: 154454
778.18/780.27 c #Conflicts: 130000 | #Constraints: 155454
778.18/780.27 c #Conflicts: 131000 | #Constraints: 156454
778.18/780.27 c INPROCESSING
778.18/780.27 c GARBAGE COLLECT
778.18/780.27 c #Conflicts: 132000 | #Constraints: 150139
778.18/780.27 c #Conflicts: 133000 | #Constraints: 151139
778.18/780.27 c #Conflicts: 134000 | #Constraints: 152139
778.18/780.27 c #Conflicts: 135000 | #Constraints: 153139
778.18/780.27 c #Conflicts: 136000 | #Constraints: 154139
778.18/780.27 c #Conflicts: 137000 | #Constraints: 155139
778.18/780.27 c #Conflicts: 138000 | #Constraints: 156139
778.18/780.27 c #Conflicts: 139000 | #Constraints: 157140
778.18/780.27 c INPROCESSING
778.18/780.27 c GARBAGE COLLECT
778.18/780.27 c #Conflicts: 140000 | #Constraints: 150492
1073.08/1075.84 c #Conflicts: 141000 | #Constraints: 151492
1073.08/1075.84 c #Conflicts: 142000 | #Constraints: 152492
1073.08/1075.84 c #Conflicts: 143000 | #Constraints: 153492
1073.08/1075.84 c #Conflicts: 144000 | #Constraints: 154492
1073.08/1075.84 c #Conflicts: 145000 | #Constraints: 155492
1073.08/1075.84 c #Conflicts: 146000 | #Constraints: 156492
1073.08/1075.84 c #Conflicts: 147000 | #Constraints: 157493
1073.08/1075.84 c INPROCESSING
1073.08/1075.84 c GARBAGE COLLECT
1073.08/1075.84 c #Conflicts: 148000 | #Constraints: 150751
1073.08/1075.84 c #Conflicts: 149000 | #Constraints: 151751
1073.08/1075.84 c #Conflicts: 150000 | #Constraints: 152751
1073.08/1075.84 c #Conflicts: 151000 | #Constraints: 153751
1073.08/1075.84 c #Conflicts: 152000 | #Constraints: 154751
1073.08/1075.84 c #Conflicts: 153000 | #Constraints: 155751
1073.08/1075.84 c #Conflicts: 154000 | #Constraints: 156751
1073.08/1075.84 c #Conflicts: 155000 | #Constraints: 157752
1073.08/1075.84 c INPROCESSING
1073.08/1075.84 c GARBAGE COLLECT
1073.08/1075.84 c #Conflicts: 156000 | #Constraints: 150823
1073.08/1075.84 c #Conflicts: 157000 | #Constraints: 151823
1073.08/1075.84 c #Conflicts: 158000 | #Constraints: 152823
1073.08/1075.84 c #Conflicts: 159000 | #Constraints: 153823
1073.08/1075.84 c #Conflicts: 160000 | #Constraints: 154823
1073.08/1075.84 c #Conflicts: 161000 | #Constraints: 155823
1073.08/1075.84 c #Conflicts: 162000 | #Constraints: 156823
1073.08/1075.84 c #Conflicts: 163000 | #Constraints: 157823
1073.08/1075.84 c INPROCESSING
1073.08/1075.84 c GARBAGE COLLECT
1073.08/1075.84 c #Conflicts: 164000 | #Constraints: 150815
1073.08/1075.84 c #Conflicts: 165000 | #Constraints: 151815
1073.08/1075.84 c #Conflicts: 166000 | #Constraints: 152815
1073.08/1075.84 c #Conflicts: 167000 | #Constraints: 153815
1073.08/1075.84 c #Conflicts: 168000 | #Constraints: 154815
1073.08/1075.84 c #Conflicts: 169000 | #Constraints: 155815
1073.08/1075.84 c #Conflicts: 170000 | #Constraints: 156815
1073.08/1075.84 c #Conflicts: 171000 | #Constraints: 157815
1073.08/1075.84 c INPROCESSING
1073.08/1075.84 c GARBAGE COLLECT
1073.08/1075.84 c #Conflicts: 172000 | #Constraints: 150730
1073.08/1075.84 c #Conflicts: 173000 | #Constraints: 151730
1073.08/1075.84 c #Conflicts: 174000 | #Constraints: 152730
1073.08/1075.84 c #Conflicts: 175000 | #Constraints: 153730
1073.08/1075.84 c #Conflicts: 176000 | #Constraints: 154730
1073.08/1075.84 c #Conflicts: 177000 | #Constraints: 155730
1073.08/1075.84 c #Conflicts: 178000 | #Constraints: 156730
1073.08/1075.84 c #Conflicts: 179000 | #Constraints: 157730
1073.08/1075.84 c #Conflicts: 180000 | #Constraints: 158730
1073.08/1075.84 c INPROCESSING
1073.08/1075.84 c GARBAGE COLLECT
1073.08/1075.84 c #Conflicts: 181000 | #Constraints: 151319
1073.08/1075.84 c #Conflicts: 182000 | #Constraints: 152319
1073.08/1075.84 c #Conflicts: 183000 | #Constraints: 153319
1073.08/1075.84 c #Conflicts: 184000 | #Constraints: 154319
1073.08/1075.84 c #Conflicts: 185000 | #Constraints: 155319
1073.08/1075.84 c #Conflicts: 186000 | #Constraints: 156319
1073.08/1075.84 c #Conflicts: 187000 | #Constraints: 157319
1073.08/1075.84 c #Conflicts: 188000 | #Constraints: 158319
1073.08/1075.84 c #Conflicts: 189000 | #Constraints: 159319
1073.08/1075.84 c INPROCESSING
1073.08/1075.84 c GARBAGE COLLECT
1073.08/1075.84 c #Conflicts: 190000 | #Constraints: 151749
1073.08/1075.84 c #Conflicts: 191000 | #Constraints: 152749
1073.08/1075.84 c #Conflicts: 192000 | #Constraints: 153749
1073.08/1075.84 c #Conflicts: 193000 | #Constraints: 154749
1073.08/1075.84 c #Conflicts: 194000 | #Constraints: 155749
1073.08/1075.84 c #Conflicts: 195000 | #Constraints: 156749
1073.08/1075.84 c #Conflicts: 196000 | #Constraints: 157749
1073.08/1075.84 c #Conflicts: 197000 | #Constraints: 158749
1073.08/1075.84 c #Conflicts: 198000 | #Constraints: 159749
1073.08/1075.84 c INPROCESSING
1073.08/1075.84 c GARBAGE COLLECT
1073.08/1075.84 c #Conflicts: 199000 | #Constraints: 151942
1073.08/1075.84 c #Conflicts: 200000 | #Constraints: 152942
1073.08/1075.84 c #Conflicts: 201000 | #Constraints: 153942
1073.08/1075.84 c #Conflicts: 202000 | #Constraints: 154942
1073.08/1075.84 c #Conflicts: 203000 | #Constraints: 155942
1073.08/1075.84 c #Conflicts: 204000 | #Constraints: 156942
1073.08/1075.84 c #Conflicts: 205000 | #Constraints: 157942
1073.08/1075.84 c #Conflicts: 206000 | #Constraints: 158942
1073.08/1075.84 c #Conflicts: 207000 | #Constraints: 159942
1073.08/1075.84 c INPROCESSING
1073.08/1075.84 c GARBAGE COLLECT
1073.08/1075.84 c #Conflicts: 208000 | #Constraints: 151948
1073.08/1075.84 c #Conflicts: 209000 | #Constraints: 152948
1073.08/1075.84 c #Conflicts: 210000 | #Constraints: 153948
1073.08/1075.84 c #Conflicts: 211000 | #Constraints: 154948
1073.08/1075.84 c #Conflicts: 212000 | #Constraints: 155948
1073.08/1075.84 c #Conflicts: 213000 | #Constraints: 156948
1116.58/1119.40 c #Conflicts: 214000 | #Constraints: 157948
1116.58/1119.40 c #Conflicts: 215000 | #Constraints: 158948
1116.58/1119.40 c #Conflicts: 216000 | #Constraints: 159948
1116.58/1119.40 c INPROCESSING
1116.58/1119.40 c GARBAGE COLLECT
1116.58/1119.40 c rational objective 3929.31
1574.48/1578.47 c #Conflicts: 217000 | #Constraints: 151741
1574.48/1578.47 c #Conflicts: 218000 | #Constraints: 152741
1574.48/1578.47 c #Conflicts: 219000 | #Constraints: 153741
1574.48/1578.47 c #Conflicts: 220000 | #Constraints: 154741
1574.48/1578.47 c #Conflicts: 221000 | #Constraints: 155741
1574.48/1578.47 c #Conflicts: 222000 | #Constraints: 156741
1574.48/1578.47 c #Conflicts: 223000 | #Constraints: 157741
1574.48/1578.47 c #Conflicts: 224000 | #Constraints: 158741
1574.48/1578.47 c #Conflicts: 225000 | #Constraints: 159741
1574.48/1578.47 c #Conflicts: 226000 | #Constraints: 160741
1574.48/1578.47 c INPROCESSING
1574.48/1578.47 c GARBAGE COLLECT
1574.48/1578.47 c #Conflicts: 227000 | #Constraints: 152169
1574.48/1578.47 c #Conflicts: 228000 | #Constraints: 153170
1574.48/1578.47 c #Conflicts: 229000 | #Constraints: 154170
1574.48/1578.47 c #Conflicts: 230000 | #Constraints: 155170
1574.48/1578.47 c #Conflicts: 231000 | #Constraints: 156170
1574.48/1578.47 c #Conflicts: 232000 | #Constraints: 157170
1574.48/1578.47 c #Conflicts: 233000 | #Constraints: 158170
1574.48/1578.47 c #Conflicts: 234000 | #Constraints: 159170
1574.48/1578.47 c #Conflicts: 235000 | #Constraints: 160170
1574.48/1578.47 c #Conflicts: 236000 | #Constraints: 161170
1574.48/1578.47 c INPROCESSING
1574.48/1578.47 c GARBAGE COLLECT
1574.48/1578.47 c #Conflicts: 237000 | #Constraints: 152622
1574.48/1578.47 c #Conflicts: 238000 | #Constraints: 153622
1574.48/1578.47 c #Conflicts: 239000 | #Constraints: 154622
1574.48/1578.47 c #Conflicts: 240000 | #Constraints: 155622
1574.48/1578.47 c #Conflicts: 241000 | #Constraints: 156622
1574.48/1578.47 c #Conflicts: 242000 | #Constraints: 157622
1574.48/1578.47 c #Conflicts: 243000 | #Constraints: 158622
1574.48/1578.47 c #Conflicts: 244000 | #Constraints: 159622
1574.48/1578.47 c #Conflicts: 245000 | #Constraints: 160622
1574.48/1578.47 c #Conflicts: 246000 | #Constraints: 161622
1574.48/1578.47 c INPROCESSING
1574.48/1578.47 c GARBAGE COLLECT
1574.48/1578.47 c #Conflicts: 247000 | #Constraints: 152824
1574.48/1578.47 c #Conflicts: 248000 | #Constraints: 153824
1574.48/1578.47 c #Conflicts: 249000 | #Constraints: 154824
1574.48/1578.47 c #Conflicts: 250000 | #Constraints: 155824
1574.48/1578.47 c #Conflicts: 251000 | #Constraints: 156824
1574.48/1578.47 c #Conflicts: 252000 | #Constraints: 157824
1574.48/1578.47 c #Conflicts: 253000 | #Constraints: 158824
1574.48/1578.47 c #Conflicts: 254000 | #Constraints: 159824
1574.48/1578.47 c #Conflicts: 255000 | #Constraints: 160824
1574.48/1578.47 c #Conflicts: 256000 | #Constraints: 161825
1574.48/1578.47 c INPROCESSING
1574.48/1578.47 c GARBAGE COLLECT
1574.48/1578.47 c #Conflicts: 257000 | #Constraints: 153202
1574.48/1578.47 c #Conflicts: 258000 | #Constraints: 154202
1574.48/1578.47 c #Conflicts: 259000 | #Constraints: 155202
1574.48/1578.47 c #Conflicts: 260000 | #Constraints: 156203
1574.48/1578.47 c #Conflicts: 261000 | #Constraints: 157203
1574.48/1578.47 c #Conflicts: 262000 | #Constraints: 158203
1574.48/1578.47 c #Conflicts: 263000 | #Constraints: 159204
1574.48/1578.47 c #Conflicts: 264000 | #Constraints: 160204
1574.48/1578.47 c #Conflicts: 265000 | #Constraints: 161205
1574.48/1578.47 c #Conflicts: 266000 | #Constraints: 162205
1574.48/1578.47 c INPROCESSING
1574.48/1578.47 c GARBAGE COLLECT
1574.48/1578.47 c #Conflicts: 267000 | #Constraints: 153133
1574.48/1578.47 c #Conflicts: 268000 | #Constraints: 154133
1574.48/1578.47 c #Conflicts: 269000 | #Constraints: 155133
1574.48/1578.47 c #Conflicts: 270000 | #Constraints: 156133
1574.48/1578.47 c #Conflicts: 271000 | #Constraints: 157133
1574.48/1578.47 c #Conflicts: 272000 | #Constraints: 158133
1574.48/1578.47 c #Conflicts: 273000 | #Constraints: 159133
1574.48/1578.47 c #Conflicts: 274000 | #Constraints: 160134
1574.48/1578.47 c #Conflicts: 275000 | #Constraints: 161134
1574.48/1578.47 c #Conflicts: 276000 | #Constraints: 162134
1574.48/1578.47 c #Conflicts: 277000 | #Constraints: 163135
1574.48/1578.47 c INPROCESSING
1574.48/1578.47 c GARBAGE COLLECT
1574.48/1578.47 c #Conflicts: 278000 | #Constraints: 153872
1574.48/1578.47 c #Conflicts: 279000 | #Constraints: 154872
1574.48/1578.47 c #Conflicts: 280000 | #Constraints: 155872
1574.48/1578.47 c #Conflicts: 281000 | #Constraints: 156872
1574.48/1578.47 c #Conflicts: 282000 | #Constraints: 157873
1574.48/1578.47 c #Conflicts: 283000 | #Constraints: 158873
1574.48/1578.47 c #Conflicts: 284000 | #Constraints: 159873
1574.48/1578.47 c #Conflicts: 285000 | #Constraints: 160873
1574.48/1578.47 c #Conflicts: 286000 | #Constraints: 161873
1574.48/1578.47 c #Conflicts: 287000 | #Constraints: 162874
1574.48/1578.47 c #Conflicts: 288000 | #Constraints: 163874
1574.48/1578.47 c INPROCESSING
1574.48/1578.47 c GARBAGE COLLECT
1574.48/1578.47 c #Conflicts: 289000 | #Constraints: 154487
1574.48/1578.47 c #Conflicts: 290000 | #Constraints: 155487
1574.48/1578.47 c #Conflicts: 291000 | #Constraints: 156487
1978.89/1983.82 c #Conflicts: 292000 | #Constraints: 157487
1978.89/1983.82 c #Conflicts: 293000 | #Constraints: 158487
1978.89/1983.82 c #Conflicts: 294000 | #Constraints: 159487
1978.89/1983.82 c #Conflicts: 295000 | #Constraints: 160487
1978.89/1983.82 c #Conflicts: 296000 | #Constraints: 161487
1978.89/1983.82 c #Conflicts: 297000 | #Constraints: 162487
1978.89/1983.82 c #Conflicts: 298000 | #Constraints: 163487
1978.89/1983.82 c #Conflicts: 299000 | #Constraints: 164487
1978.89/1983.82 c INPROCESSING
1978.89/1983.82 c GARBAGE COLLECT
1978.89/1983.82 c #Conflicts: 300000 | #Constraints: 154693
1978.89/1983.82 c #Conflicts: 301000 | #Constraints: 155694
1978.89/1983.82 c #Conflicts: 302000 | #Constraints: 156694
1978.89/1983.82 c #Conflicts: 303000 | #Constraints: 157694
1978.89/1983.82 c #Conflicts: 304000 | #Constraints: 158694
1978.89/1983.82 c #Conflicts: 305000 | #Constraints: 159694
1978.89/1983.82 c #Conflicts: 306000 | #Constraints: 160694
1978.89/1983.82 c #Conflicts: 307000 | #Constraints: 161694
1978.89/1983.82 c #Conflicts: 308000 | #Constraints: 162695
1978.89/1983.82 c #Conflicts: 309000 | #Constraints: 163695
1978.89/1983.82 c #Conflicts: 310000 | #Constraints: 164695
1978.89/1983.82 c INPROCESSING
1978.89/1983.82 c GARBAGE COLLECT
1978.89/1983.82 c #Conflicts: 311000 | #Constraints: 154852
1978.89/1983.82 c #Conflicts: 312000 | #Constraints: 155853
1978.89/1983.82 c #Conflicts: 313000 | #Constraints: 156853
1978.89/1983.82 c #Conflicts: 314000 | #Constraints: 157853
1978.89/1983.82 c #Conflicts: 315000 | #Constraints: 158854
1978.89/1983.82 c #Conflicts: 316000 | #Constraints: 159854
1978.89/1983.82 c #Conflicts: 317000 | #Constraints: 160857
1978.89/1983.82 c #Conflicts: 318000 | #Constraints: 161857
1978.89/1983.82 c #Conflicts: 319000 | #Constraints: 162857
1978.89/1983.82 c #Conflicts: 320000 | #Constraints: 163857
1978.89/1983.82 c #Conflicts: 321000 | #Constraints: 164857
1978.89/1983.82 c INPROCESSING
1978.89/1983.82 c GARBAGE COLLECT
1978.89/1983.82 c #Conflicts: 322000 | #Constraints: 154511
1978.89/1983.82 c #Conflicts: 323000 | #Constraints: 155511
1978.89/1983.82 c #Conflicts: 324000 | #Constraints: 156511
1978.89/1983.82 c #Conflicts: 325000 | #Constraints: 157511
1978.89/1983.82 c #Conflicts: 326000 | #Constraints: 158511
1978.89/1983.82 c #Conflicts: 327000 | #Constraints: 159512
1978.89/1983.82 c #Conflicts: 328000 | #Constraints: 160514
1978.89/1983.82 c #Conflicts: 329000 | #Constraints: 161516
1978.89/1983.82 c #Conflicts: 330000 | #Constraints: 162516
1978.89/1983.82 c #Conflicts: 331000 | #Constraints: 163516
1978.89/1983.82 c #Conflicts: 332000 | #Constraints: 164516
1978.89/1983.82 c #Conflicts: 333000 | #Constraints: 165517
1978.89/1983.82 c INPROCESSING
1978.89/1983.82 c GARBAGE COLLECT
1978.89/1983.82 c #Conflicts: 334000 | #Constraints: 154970
1978.89/1983.82 c #Conflicts: 335000 | #Constraints: 155970
1978.89/1983.82 c #Conflicts: 336000 | #Constraints: 156970
1978.89/1983.82 c #Conflicts: 337000 | #Constraints: 157970
1978.89/1983.82 c #Conflicts: 338000 | #Constraints: 158971
1978.89/1983.82 c #Conflicts: 339000 | #Constraints: 159971
1978.89/1983.82 c #Conflicts: 340000 | #Constraints: 160972
1978.89/1983.82 c #Conflicts: 341000 | #Constraints: 161972
1978.89/1983.82 c #Conflicts: 342000 | #Constraints: 162972
1978.89/1983.82 c #Conflicts: 343000 | #Constraints: 163972
1978.89/1983.82 c #Conflicts: 344000 | #Constraints: 164972
1978.89/1983.82 c #Conflicts: 345000 | #Constraints: 165972
1978.89/1983.82 c INPROCESSING
1978.89/1983.82 c GARBAGE COLLECT
1978.89/1983.82 c #Conflicts: 346000 | #Constraints: 155995
1978.89/1983.82 c #Conflicts: 347000 | #Constraints: 156995
1978.89/1983.82 c #Conflicts: 348000 | #Constraints: 157995
1978.89/1983.82 c #Conflicts: 349000 | #Constraints: 158995
1978.89/1983.82 c #Conflicts: 350000 | #Constraints: 159995
1978.89/1983.82 c #Conflicts: 351000 | #Constraints: 160995
1978.89/1983.82 c #Conflicts: 352000 | #Constraints: 161995
1978.89/1983.82 c #Conflicts: 353000 | #Constraints: 162995
1978.89/1983.82 c #Conflicts: 354000 | #Constraints: 163995
1978.89/1983.82 c #Conflicts: 355000 | #Constraints: 164995
1978.89/1983.82 c #Conflicts: 356000 | #Constraints: 165995
1978.89/1983.82 c #Conflicts: 357000 | #Constraints: 166995
1978.89/1983.82 c INPROCESSING
1978.89/1983.82 c GARBAGE COLLECT
1978.89/1983.82 c #Conflicts: 358000 | #Constraints: 155755
1978.89/1983.82 c #Conflicts: 359000 | #Constraints: 156755
1978.89/1983.82 c #Conflicts: 360000 | #Constraints: 157755
1978.89/1983.82 c #Conflicts: 361000 | #Constraints: 158755
1978.89/1983.82 c #Conflicts: 362000 | #Constraints: 159755
1978.89/1983.82 c #Conflicts: 363000 | #Constraints: 160755
1978.89/1983.82 c #Conflicts: 364000 | #Constraints: 161755
1978.89/1983.82 c #Conflicts: 365000 | #Constraints: 162755
1978.89/1983.82 c #Conflicts: 366000 | #Constraints: 163755
2154.83/2160.36 c #Conflicts: 367000 | #Constraints: 164755
2154.83/2160.36 c #Conflicts: 368000 | #Constraints: 165755
2154.83/2160.36 c #Conflicts: 369000 | #Constraints: 166755
2154.83/2160.36 c INPROCESSING
2154.83/2160.36 c GARBAGE COLLECT
2154.83/2160.36 c #Conflicts: 370000 | #Constraints: 155454
2154.83/2160.36 c #Conflicts: 371000 | #Constraints: 156454
2154.83/2160.36 c #Conflicts: 372000 | #Constraints: 157454
2154.83/2160.36 c #Conflicts: 373000 | #Constraints: 158454
2154.83/2160.36 c #Conflicts: 374000 | #Constraints: 159454
2154.83/2160.36 c #Conflicts: 375000 | #Constraints: 160454
2154.83/2160.36 c #Conflicts: 376000 | #Constraints: 161454
2154.83/2160.36 c #Conflicts: 377000 | #Constraints: 162454
2154.83/2160.36 c #Conflicts: 378000 | #Constraints: 163454
2154.83/2160.36 c #Conflicts: 379000 | #Constraints: 164454
2154.83/2160.36 c #Conflicts: 380000 | #Constraints: 165454
2154.83/2160.36 c #Conflicts: 381000 | #Constraints: 166454
2154.83/2160.36 c INPROCESSING
2154.83/2160.36 c GARBAGE COLLECT
2154.83/2160.36 c rational objective 3947.92
2551.51/2558.21 c #Conflicts: 382000 | #Constraints: 154954
2551.51/2558.21 c #Conflicts: 383000 | #Constraints: 155954
2551.51/2558.21 c #Conflicts: 384000 | #Constraints: 156954
2551.51/2558.21 c #Conflicts: 385000 | #Constraints: 157954
2551.51/2558.21 c #Conflicts: 386000 | #Constraints: 158954
2551.51/2558.21 c #Conflicts: 387000 | #Constraints: 159954
2551.51/2558.21 c #Conflicts: 388000 | #Constraints: 160954
2551.51/2558.21 c #Conflicts: 389000 | #Constraints: 161954
2551.51/2558.21 c #Conflicts: 390000 | #Constraints: 162954
2551.51/2558.21 c #Conflicts: 391000 | #Constraints: 163954
2551.51/2558.21 c #Conflicts: 392000 | #Constraints: 164954
2551.51/2558.21 c #Conflicts: 393000 | #Constraints: 165954
2551.51/2558.21 c #Conflicts: 394000 | #Constraints: 166954
2551.51/2558.21 c INPROCESSING
2551.51/2558.21 c GARBAGE COLLECT
2551.51/2558.21 c #Conflicts: 395000 | #Constraints: 155794
2551.51/2558.21 c #Conflicts: 396000 | #Constraints: 156794
2551.51/2558.21 c #Conflicts: 397000 | #Constraints: 157794
2551.51/2558.21 c #Conflicts: 398000 | #Constraints: 158794
2551.51/2558.21 c #Conflicts: 399000 | #Constraints: 159794
2551.51/2558.21 c #Conflicts: 400000 | #Constraints: 160794
2551.51/2558.21 c #Conflicts: 401000 | #Constraints: 161794
2551.51/2558.21 c #Conflicts: 402000 | #Constraints: 162794
2551.51/2558.21 c #Conflicts: 403000 | #Constraints: 163794
2551.51/2558.21 c #Conflicts: 404000 | #Constraints: 164794
2551.51/2558.21 c #Conflicts: 405000 | #Constraints: 165794
2551.51/2558.21 c #Conflicts: 406000 | #Constraints: 166794
2551.51/2558.21 c #Conflicts: 407000 | #Constraints: 167794
2551.51/2558.21 c INPROCESSING
2551.51/2558.21 c GARBAGE COLLECT
2551.51/2558.21 c #Conflicts: 408000 | #Constraints: 156586
2551.51/2558.21 c #Conflicts: 409000 | #Constraints: 157586
2551.51/2558.21 c #Conflicts: 410000 | #Constraints: 158586
2551.51/2558.21 c #Conflicts: 411000 | #Constraints: 159586
2551.51/2558.21 c #Conflicts: 412000 | #Constraints: 160586
2551.51/2558.21 c #Conflicts: 413000 | #Constraints: 161586
2551.51/2558.21 c #Conflicts: 414000 | #Constraints: 162586
2551.51/2558.21 c #Conflicts: 415000 | #Constraints: 163586
2551.51/2558.21 c #Conflicts: 416000 | #Constraints: 164586
2551.51/2558.21 c #Conflicts: 417000 | #Constraints: 165586
2551.51/2558.21 c #Conflicts: 418000 | #Constraints: 166586
2551.51/2558.21 c #Conflicts: 419000 | #Constraints: 167586
2551.51/2558.21 c #Conflicts: 420000 | #Constraints: 168586
2551.51/2558.21 c INPROCESSING
2551.51/2558.21 c GARBAGE COLLECT
2551.51/2558.21 c #Conflicts: 421000 | #Constraints: 157003
2551.51/2558.21 c #Conflicts: 422000 | #Constraints: 158003
2551.51/2558.21 c #Conflicts: 423000 | #Constraints: 159003
2551.51/2558.21 c #Conflicts: 424000 | #Constraints: 160003
2551.51/2558.21 c #Conflicts: 425000 | #Constraints: 161003
2551.51/2558.21 c #Conflicts: 426000 | #Constraints: 162003
2551.51/2558.21 c #Conflicts: 427000 | #Constraints: 163003
2551.51/2558.21 c #Conflicts: 428000 | #Constraints: 164003
2551.51/2558.21 c #Conflicts: 429000 | #Constraints: 165003
2551.51/2558.21 c #Conflicts: 430000 | #Constraints: 166003
2551.51/2558.21 c #Conflicts: 431000 | #Constraints: 167003
2551.51/2558.21 c #Conflicts: 432000 | #Constraints: 168003
2551.51/2558.21 c #Conflicts: 433000 | #Constraints: 169003
2551.51/2558.21 c INPROCESSING
2551.51/2558.21 c GARBAGE COLLECT
2551.51/2558.21 c #Conflicts: 434000 | #Constraints: 156796
2551.51/2558.21 c #Conflicts: 435000 | #Constraints: 157796
2551.51/2558.21 c #Conflicts: 436000 | #Constraints: 158796
2551.51/2558.21 c #Conflicts: 437000 | #Constraints: 159796
2551.51/2558.21 c #Conflicts: 438000 | #Constraints: 160796
2551.51/2558.21 c #Conflicts: 439000 | #Constraints: 161796
2551.51/2558.21 c #Conflicts: 440000 | #Constraints: 162796
2551.51/2558.21 c #Conflicts: 441000 | #Constraints: 163796
2551.51/2558.21 c #Conflicts: 442000 | #Constraints: 164796
2551.51/2558.21 c #Conflicts: 443000 | #Constraints: 165796
2551.51/2558.21 c #Conflicts: 444000 | #Constraints: 166796
2551.51/2558.21 c #Conflicts: 445000 | #Constraints: 167796
2551.51/2558.21 c #Conflicts: 446000 | #Constraints: 168796
2551.51/2558.21 c INPROCESSING
2551.51/2558.21 c GARBAGE COLLECT
2551.51/2558.21 c #Conflicts: 447000 | #Constraints: 156458
2551.51/2558.21 c #Conflicts: 448000 | #Constraints: 157458
2551.51/2558.21 c #Conflicts: 449000 | #Constraints: 158458
2551.51/2558.21 c #Conflicts: 450000 | #Constraints: 159458
2551.51/2558.21 c #Conflicts: 451000 | #Constraints: 160458
2551.51/2558.21 c #Conflicts: 452000 | #Constraints: 161458
2551.51/2558.21 c #Conflicts: 453000 | #Constraints: 162458
2551.51/2558.21 c #Conflicts: 454000 | #Constraints: 163458
2551.51/2558.21 c #Conflicts: 455000 | #Constraints: 164458
2551.51/2558.21 c #Conflicts: 456000 | #Constraints: 165458
2551.51/2558.21 c #Conflicts: 457000 | #Constraints: 166458
3405.60/3414.91 c #Conflicts: 458000 | #Constraints: 167458
3405.60/3414.91 c #Conflicts: 459000 | #Constraints: 168458
3405.60/3414.91 c #Conflicts: 460000 | #Constraints: 169458
3405.60/3414.91 c INPROCESSING
3405.60/3414.91 c GARBAGE COLLECT
3405.60/3414.91 c #Conflicts: 461000 | #Constraints: 157003
3405.60/3414.91 c #Conflicts: 462000 | #Constraints: 158003
3405.60/3414.91 c #Conflicts: 463000 | #Constraints: 159003
3405.60/3414.91 c #Conflicts: 464000 | #Constraints: 160003
3405.60/3414.91 c #Conflicts: 465000 | #Constraints: 161003
3405.60/3414.91 c #Conflicts: 466000 | #Constraints: 162003
3405.60/3414.91 c #Conflicts: 467000 | #Constraints: 163003
3405.60/3414.91 c #Conflicts: 468000 | #Constraints: 164003
3405.60/3414.91 c #Conflicts: 469000 | #Constraints: 165003
3405.60/3414.91 c #Conflicts: 470000 | #Constraints: 166003
3405.60/3414.91 c #Conflicts: 471000 | #Constraints: 167003
3405.60/3414.91 c #Conflicts: 472000 | #Constraints: 168003
3405.60/3414.91 c #Conflicts: 473000 | #Constraints: 169003
3405.60/3414.91 c #Conflicts: 474000 | #Constraints: 170003
3405.60/3414.91 c INPROCESSING
3405.60/3414.91 c GARBAGE COLLECT
3405.60/3414.91 c #Conflicts: 475000 | #Constraints: 157482
3405.60/3414.91 c #Conflicts: 476000 | #Constraints: 158482
3405.60/3414.91 c #Conflicts: 477000 | #Constraints: 159483
3405.60/3414.91 c #Conflicts: 478000 | #Constraints: 160483
3405.60/3414.91 c #Conflicts: 479000 | #Constraints: 161483
3405.60/3414.91 c #Conflicts: 480000 | #Constraints: 162483
3405.60/3414.91 c #Conflicts: 481000 | #Constraints: 163483
3405.60/3414.91 c #Conflicts: 482000 | #Constraints: 164483
3405.60/3414.91 c #Conflicts: 483000 | #Constraints: 165483
3405.60/3414.91 c #Conflicts: 484000 | #Constraints: 166483
3405.60/3414.91 c #Conflicts: 485000 | #Constraints: 167483
3405.60/3414.91 c #Conflicts: 486000 | #Constraints: 168483
3405.60/3414.91 c #Conflicts: 487000 | #Constraints: 169483
3405.60/3414.91 c #Conflicts: 488000 | #Constraints: 170483
3405.60/3414.91 c INPROCESSING
3405.60/3414.91 c GARBAGE COLLECT
3405.60/3414.91 c #Conflicts: 489000 | #Constraints: 157716
3405.60/3414.91 c #Conflicts: 490000 | #Constraints: 158716
3405.60/3414.91 c #Conflicts: 491000 | #Constraints: 159717
3405.60/3414.91 c #Conflicts: 492000 | #Constraints: 160717
3405.60/3414.91 c #Conflicts: 493000 | #Constraints: 161717
3405.60/3414.91 c #Conflicts: 494000 | #Constraints: 162717
3405.60/3414.91 c #Conflicts: 495000 | #Constraints: 163717
3405.60/3414.91 c #Conflicts: 496000 | #Constraints: 164717
3405.60/3414.91 c #Conflicts: 497000 | #Constraints: 165718
3405.60/3414.91 c #Conflicts: 498000 | #Constraints: 166718
3405.60/3414.91 c #Conflicts: 499000 | #Constraints: 167719
3405.60/3414.91 c #Conflicts: 500000 | #Constraints: 168720
3405.60/3414.91 c #Conflicts: 501000 | #Constraints: 169720
3405.60/3414.91 c #Conflicts: 502000 | #Constraints: 170722
3405.60/3414.91 c INPROCESSING
3405.60/3414.91 c GARBAGE COLLECT
3405.60/3414.91 c #Conflicts: 503000 | #Constraints: 157687
3405.60/3414.91 c #Conflicts: 504000 | #Constraints: 158688
3405.60/3414.91 c #Conflicts: 505000 | #Constraints: 159689
3405.60/3414.91 c #Conflicts: 506000 | #Constraints: 160689
3405.60/3414.91 c #Conflicts: 507000 | #Constraints: 161689
3405.60/3414.91 c #Conflicts: 508000 | #Constraints: 162691
3405.60/3414.91 c #Conflicts: 509000 | #Constraints: 163691
3405.60/3414.91 c #Conflicts: 510000 | #Constraints: 164692
3405.60/3414.91 c #Conflicts: 511000 | #Constraints: 165692
3405.60/3414.91 c #Conflicts: 512000 | #Constraints: 166693
3405.60/3414.91 c #Conflicts: 513000 | #Constraints: 167694
3405.60/3414.91 c #Conflicts: 514000 | #Constraints: 168695
3405.60/3414.91 c #Conflicts: 515000 | #Constraints: 169695
3405.60/3414.91 c #Conflicts: 516000 | #Constraints: 170695
3405.60/3414.91 c INPROCESSING
3405.60/3414.91 c GARBAGE COLLECT
3405.60/3414.91 c #Conflicts: 517000 | #Constraints: 157926
3405.60/3414.91 c #Conflicts: 518000 | #Constraints: 158926
3405.60/3414.91 c #Conflicts: 519000 | #Constraints: 159926
3405.60/3414.91 c #Conflicts: 520000 | #Constraints: 160926
3405.60/3414.91 c #Conflicts: 521000 | #Constraints: 161926
3405.60/3414.91 c #Conflicts: 522000 | #Constraints: 162927
3405.60/3414.91 c #Conflicts: 523000 | #Constraints: 163927
3405.60/3414.91 c #Conflicts: 524000 | #Constraints: 164927
3405.60/3414.91 c #Conflicts: 525000 | #Constraints: 165927
3405.60/3414.91 c #Conflicts: 526000 | #Constraints: 166927
3405.60/3414.91 c #Conflicts: 527000 | #Constraints: 167928
3405.60/3414.91 c #Conflicts: 528000 | #Constraints: 168928
3405.60/3414.91 c #Conflicts: 529000 | #Constraints: 169928
3405.60/3414.91 c #Conflicts: 530000 | #Constraints: 170928
3405.60/3414.91 c #Conflicts: 531000 | #Constraints: 171928
3405.60/3414.91 c INPROCESSING
3405.60/3414.91 c GARBAGE COLLECT
3405.60/3414.91 c #Conflicts: 532000 | #Constraints: 158459
3600.00/3609.90 c #Conflicts: 533000 | #Constraints: 159459
3600.00/3609.90 c #Conflicts: 534000 | #Constraints: 160459
3600.00/3609.90 c #Conflicts: 535000 | #Constraints: 161459
3600.00/3609.90 c #Conflicts: 536000 | #Constraints: 162459
3600.00/3609.90 c #Conflicts: 537000 | #Constraints: 163460
3600.00/3609.90 c #Conflicts: 538000 | #Constraints: 164460
3600.00/3609.90 c #Conflicts: 539000 | #Constraints: 165460
3600.00/3609.90 c #Conflicts: 540000 | #Constraints: 166461
3600.00/3609.90 c #Conflicts: 541000 | #Constraints: 167461
3600.00/3609.90 c #Conflicts: 542000 | #Constraints: 168461
3600.00/3609.90 c #Conflicts: 543000 | #Constraints: 169462
3600.00/3609.90 c #Conflicts: 544000 | #Constraints: 170462
3600.00/3609.90 c #Conflicts: 545000 | #Constraints: 171462
3600.00/3609.90 c #Conflicts: 546000 | #Constraints: 172462
3600.00/3609.90 c INPROCESSING
3600.00/3609.90 c GARBAGE COLLECT
3600.00/3609.90 c #Conflicts: 547000 | #Constraints: 159426
3600.00/3609.90 c #Conflicts: 548000 | #Constraints: 160426
3600.00/3609.90 c #Conflicts: 549000 | #Constraints: 161426
3600.00/3609.90 c #Conflicts: 550000 | #Constraints: 162426
3600.00/3609.90 c #Conflicts: 551000 | #Constraints: 163426
3600.00/3609.90 c #Conflicts: 552000 | #Constraints: 164426
3600.00/3609.90 c #Conflicts: 553000 | #Constraints: 165426
3600.00/3609.90 c #Conflicts: 554000 | #Constraints: 166426
3600.00/3609.90 c #Conflicts: 555000 | #Constraints: 167426
3600.00/3609.90 c #Conflicts: 556000 | #Constraints: 168426
3600.00/3609.90 c #Conflicts: 557000 | #Constraints: 169427
3600.00/3609.90 c #Conflicts: 558000 | #Constraints: 170427
3600.00/3609.90 c #Conflicts: 559000 | #Constraints: 171427
3600.00/3609.90 c #Conflicts: 560000 | #Constraints: 172427
3600.00/3609.90 c #Conflicts: 561000 | #Constraints: 173427
3600.00/3609.90 c INPROCESSING
3600.00/3609.90 c GARBAGE COLLECT
3600.00/3609.90 c #Conflicts: 562000 | #Constraints: 159163
3600.00/3609.90 c #Conflicts: 563000 | #Constraints: 160164
3600.00/3609.90 c #Conflicts: 564000 | #Constraints: 161164
3600.00/3609.90 c #Conflicts: 565000 | #Constraints: 162164
3600.00/3609.90 c #Conflicts: 566000 | #Constraints: 163164
3600.00/3609.90 c #Conflicts: 567000 | #Constraints: 164164
3600.00/3609.90 c #Conflicts: 568000 | #Constraints: 165164
3600.00/3609.90 c #Conflicts: 569000 | #Constraints: 166164
3600.00/3609.90 c #Conflicts: 570000 | #Constraints: 167164
3600.00/3609.90 c cpu time 3567.95 s
3600.00/3609.90 c deterministic time 454344662557 4.54e+11
3600.00/3609.90 c optimization time 45.9284 s
3600.00/3609.90 c total solve time 3520.75 s
3600.00/3609.90 c core-guided solve time 0 s
3600.00/3609.90 c propagation time 1718.26 s
3600.00/3609.90 c conflict analysis time 824.095 s
3600.00/3609.90 c propagations 271606132
3600.00/3609.90 c resolve steps 4526816
3600.00/3609.90 c decisions 34786377
3600.00/3609.90 c conflicts 570222
3600.00/3609.90 c restarts 1203
3600.00/3609.90 c inprocessing phases 66
3600.00/3609.90 c garbage collections 66 ,( 100.00 )
3600.00/3609.90 c input clauses 316089 ,( 99.21 )
3600.00/3609.90 c input cardinalities 1966 ,( 0.62 )
3600.00/3609.90 c input general constraints 556 ,( 0.17 )
3600.00/3609.90 c input average constraint length 4.54
3600.00/3609.90 c input average constraint degree 3.34
3600.00/3609.90 c learned clauses 104239 ,( 18.28 )
3600.00/3609.90 c learned cardinalities 46386 ,( 8.13 )
3600.00/3609.90 c learned general constraints 419670 ,( 73.59 )
3600.00/3609.90 c learned average constraint length 5907.79
3600.00/3609.90 c learned average constraint degree 2361520129.42
3600.00/3609.90 c watched CF 32, 64, 128, Arb: 292018 , 0 , 0 , 0
3600.00/3609.90 c counting CF 32, 64, 128, Arb: 128208 , 0 , 0 , 0
3600.00/3609.90 c watched constraints 292018 ,( 69.49 )
3600.00/3609.90 c counting constraints 128208 ,( 30.51 )
3600.00/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 100130827 , 38015864 , 426107581 ,( 194052382 , 232055199 )
3600.00/3609.90 c gcd simplifications 7114
3600.00/3609.90 c detected cardinalities 95
3600.00/3609.90 c weakened non-implied lits 731739574
3600.00/3609.90 c weakened non-implying lits 115702
3600.00/3609.90 c original variables 216477
3600.00/3609.90 c clausal propagations 84566406
3600.00/3609.90 c cardinality propagations 73633040
3600.00/3609.90 c watched propagations 10103565
3600.00/3609.90 c counting propagations 92030136
3600.00/3609.90 c watch lookups 17147438109
3600.00/3609.90 c watch backjump lookups 0
3600.00/3609.90 c watch checks 323688901751
3600.00/3609.90 c propagation checks 103825943383
3600.00/3609.90 c constraint additions 9069044351
3600.00/3609.90 c trail pops 306814083
3600.00/3609.90 c formula constraints 318611
3600.00/3609.90 c learned constraints 570168
3600.00/3609.90 c bound constraints 0
3600.00/3609.90 c core-guided constraints 0
3600.00/3609.90 c encountered formula constraints 3171863
3600.00/3609.90 c encountered learned constraints 1922664
3600.00/3609.90 c encountered bound constraints 0
3600.00/3609.90 c encountered core-guided constraints 0
3600.00/3609.90 c LP total time 359.441 s
3600.00/3609.90 c LP solve time 354.32 s
3600.00/3609.90 c LP constraints added 318679
3600.00/3609.90 c LP constraints removed 15
3600.00/3609.90 c LP pivots internal 59150
3600.00/3609.90 c LP pivots root 69220
3600.00/3609.90 c LP calls 64
3600.00/3609.90 c LP optimalities 4
3600.00/3609.90 c LP no pivot count 0
3600.00/3609.90 c LP infeasibilities 55
3600.00/3609.90 c LP valid Farkas constraints 54
3600.00/3609.90 c LP learned Farkas constraints 54
3600.00/3609.90 c LP basis resets 1
3600.00/3609.90 c LP cycling count 0
3600.00/3609.90 c LP singular count 0
3600.00/3609.90 c LP no primal count 0
3600.00/3609.90 c LP no farkas count 1
3600.00/3609.90 c LP other issue count 0
3600.00/3609.90 c LP Gomory cuts 19
3600.00/3609.90 c LP learned cuts 49
3600.00/3609.90 c LP deleted cuts 15
3600.00/3609.90 c LP encountered Gomory constraints 0
3600.00/3609.90 c LP encountered Farkas constraints 2045
3600.00/3609.90 c LP encountered learned Farkas constraints 412
3600.00/3609.90 c CG auxiliary variables introduced 0
3600.00/3609.90 c CG solutions found 0
3600.00/3609.90 c CG cores constructed 0
3600.00/3609.90 c CG core cardinality constraints returned 0
3600.00/3609.90 c CG unit cores 0
3600.00/3609.90 c CG single cores 0
3600.00/3609.90 c CG blocks removed during cardinality reduction 0
3600.00/3609.90 c CG first core best 0
3600.00/3609.90 c CG decision core best 0
3600.00/3609.90 c CG core reduction tie 0
3600.00/3609.90 c CG core degree average 0.00
3600.00/3609.90 c CG core slack average 0.00
3600.00/3609.90 c CG core upper bound improvements 0
3600.00/3609.90 c STR number of successful calls 0
3600.00/3609.90 c STR number of unsuccessful calls 0
3600.00/3609.90 c STR number of inconclusive calls 0
3600.00/3609.90 c STR number of successful attempts 0
3600.00/3609.90 c STR number of unsuccessful attempts 0
3600.00/3609.90 c STR number of inconclusive attempts 0
3600.00/3609.90 c STR average degree increase per successful call inf
3600.00/3609.90 c STR average degree increase per successful attempt inf
3600.00/3609.90 c STR total number of conflicts for successful attempts 0
3600.00/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.00/3609.90 c STR average number of conflicts per successful attempt inf
3600.00/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.00/3609.90 c AVG.sumWPerc 27.60
3600.00/3609.90 c bigint constraints 0
3600.00/3609.90 s UNKNOWN
3600.00/3609.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 (55269 MiB free)
memory of node 1: 64465 MiB (63842 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515350-1751223226/watcher-4515350-1751223226 -o /tmp/evaluation-result-4515350-1751223226/solver-4515350-1751223226 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751215967-28908 --watchdog 3760 run-dec-break.sh HOME/instance-4515350-1751223226.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=30466, runsolver pid=30463
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 3.99 4.08 4.08 5/268 30468
/proc/meminfo: memFree=121918388/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30468] ppid=30466 vsize=68360 memory=59708 CPUtime=0.08 cores=1,3
/proc/30468/stat : 30468 (pbsuma) R 30466 30466 28896 0 -1 4194304 6896 0 0 0 7 1 0 0 20 0 1 0 38001154 70000640 14927 18446744073709551615 4210688 4653049 140731273523920 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 20430848 140731273529699 140731273529906 140731273529906 140731273535471 0
/proc/30468/statm: 17090 14927 928 108 0 14498 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 72552 KiB
Current children cumulated memory: 62652 KiB
[startup+0.205608 s]*
/proc/loadavg: 3.99 4.08 4.08 5/268 30468
/proc/meminfo: memFree=121884680/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30468] ppid=30466 vsize=154816 memory=116312 CPUtime=0.19 cores=1,3
/proc/30468/stat : 30468 (pbsuma) R 30466 30466 28896 0 -1 4194304 16418 0 0 0 15 4 0 0 20 0 1 0 38001154 158531584 29078 18446744073709551615 4210688 4653049 140731273523920 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 20430848 140731273529699 140731273529906 140731273529906 140731273535471 0
/proc/30468/statm: 38704 29078 960 108 0 36112 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 159008 KiB
Current children cumulated memory: 119256 KiB
[startup+0.305611 s]*
/proc/loadavg: 3.99 4.08 4.08 5/268 30468
/proc/meminfo: memFree=121807656/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30468] ppid=30466 vsize=250520 memory=187356 CPUtime=0.28 cores=1,3
/proc/30468/stat : 30468 (pbsuma) R 30466 30466 28896 0 -1 4194304 21901 0 0 0 23 5 0 0 20 0 1 0 38001154 256532480 46839 18446744073709551615 4210688 4653049 140731273523920 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 20430848 140731273529699 140731273529906 140731273529906 140731273535471 0
/proc/30468/statm: 62630 46839 960 108 0 60038 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 254712 KiB
Current children cumulated memory: 190300 KiB
[startup+0.700209 s]
/proc/loadavg: 3.99 4.08 4.08 5/268 30468
/proc/meminfo: memFree=121775016/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30468] ppid=30466 vsize=297084 memory=194780 CPUtime=0.67 cores=1,3
/proc/30468/stat : 30468 (pbsuma) R 30466 30466 28896 0 -1 4194304 27274 0 0 0 60 7 0 0 20 0 1 0 38001154 304214016 48695 18446744073709551615 4210688 4653049 140731273523920 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 20430848 140731273529699 140731273529906 140731273529906 140731273535471 0
/proc/30468/statm: 74271 48695 960 108 0 71679 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 301276 KiB
Current children cumulated memory: 197724 KiB
[startup+1.50017 s]
/proc/loadavg: 3.99 4.08 4.08 5/268 30468
/proc/meminfo: memFree=121758888/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30468] ppid=30466 vsize=308424 memory=245936 CPUtime=1.47 cores=1,3
/proc/30468/stat : 30468 (pbsuma) R 30466 30466 28896 0 -1 4194304 46040 0 0 0 136 11 0 0 20 0 1 0 38001154 315826176 61484 18446744073709551615 4210688 4653049 140731273523920 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 20430848 140731273529699 140731273529906 140731273529906 140731273535471 0
/proc/30468/statm: 77106 61484 960 108 0 74514 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 312616 KiB
Current children cumulated memory: 248880 KiB
[startup+3.1054 s]
/proc/loadavg: 3.99 4.08 4.08 5/268 30469
/proc/meminfo: memFree=121767728/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=2.25 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 233 47062 0 0 0 0 212 13 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30469] ppid=30466 vsize=211532 memory=161052 CPUtime=0.82 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30466 30466 28896 0 -1 4194304 32732 0 0 0 63 19 0 0 20 0 1 0 38001381 216608768 40263 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 52883 40263 2048 1147 0 40310 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 215724 KiB
Current children cumulated memory: 163996 KiB
[startup+6.3002 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 30469
/proc/meminfo: memFree=121329372/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=2.25 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 233 47062 0 0 0 0 212 13 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30469] ppid=30466 vsize=773148 memory=612684 CPUtime=4 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30466 30466 28896 0 -1 4194304 69274 0 0 0 358 42 0 0 20 0 1 0 38001381 791703552 153171 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 193287 153171 2304 1147 0 180714 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 777340 KiB
Current children cumulated memory: 615628 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.09 4.09 5/268 30469
/proc/meminfo: memFree=121321500/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=2.25 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 233 47062 0 0 0 0 212 13 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30469] ppid=30466 vsize=773148 memory=612684 CPUtime=10.38 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30466 30466 28896 0 -1 4194304 69291 0 0 0 996 42 0 0 20 0 1 0 38001381 791703552 153171 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 193287 153171 2304 1147 0 180714 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 777340 KiB
Current children cumulated memory: 615628 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.08 4.09 5/268 30470
/proc/meminfo: memFree=121179796/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=2.25 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 233 47062 0 0 0 0 212 13 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30469] ppid=30466 vsize=928900 memory=759148 CPUtime=23.15 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30466 30466 28896 0 -1 4194304 86070 0 0 0 2245 70 0 0 20 0 1 0 38001381 951193600 189787 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 232225 189787 2400 1147 0 219652 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 933092 KiB
Current children cumulated memory: 762092 KiB
[startup+51.1054 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 30470
/proc/meminfo: memFree=121069492/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=2.25 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 233 47062 0 0 0 0 212 13 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30469] ppid=30466 vsize=974180 memory=805100 CPUtime=48.7 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30466 30466 28896 0 -1 4194304 97548 0 0 0 4728 142 0 0 20 0 1 0 38001381 997560320 201275 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 243545 201275 2400 1147 0 230972 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 978372 KiB
Current children cumulated memory: 808044 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.08 5/268 30522
/proc/meminfo: memFree=128498300/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=2.25 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 233 47062 0 0 0 0 212 13 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30469] ppid=30466 vsize=1109340 memory=917708 CPUtime=99.77 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30466 30466 28896 0 -1 4194304 113024 0 0 0 9743 234 0 0 20 0 1 0 38001381 1135964160 229427 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 277335 229427 2400 1147 0 264762 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1113532 KiB
Current children cumulated memory: 920652 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/269 30575
/proc/meminfo: memFree=128242744/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=2.25 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 233 47062 0 0 0 0 212 13 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30469] ppid=30466 vsize=1317196 memory=1104284 CPUtime=159.61 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30466 30466 28896 0 -1 4194304 138308 0 0 0 15660 301 0 0 20 0 1 0 38001381 1348808704 276071 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 329299 276071 2400 1147 0 316726 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1321388 KiB
Current children cumulated memory: 1107228 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/270 30812
/proc/meminfo: memFree=128029792/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=2.25 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 233 47062 0 0 0 0 212 13 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30469] ppid=30466 vsize=1432416 memory=1242712 CPUtime=219.45 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30466 30466 28896 0 -1 4194304 166836 0 0 0 21545 400 0 0 20 0 1 0 38001381 1466793984 310678 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 358104 310678 2400 1147 0 345531 0
################
# More data... #
################
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 233 47062 0 0 0 0 212 13 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30469] ppid=30466 vsize=7584616 memory=6474928 CPUtime=3151.52 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30466 30466 28896 0 -1 4194304 1139909 0 0 0 312541 2611 0 0 20 0 1 0 38001381 7766646784 1618732 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 1896154 1618732 2400 1147 0 1883581 0
Current children cumulated CPU time: 3153.77 s
Current children cumulated vsize: 7588808 KiB
Current children cumulated memory: 6477872 KiB
[startup+3222.3 s]
/proc/loadavg: 4.37 4.23 4.14 5/268 31766
/proc/meminfo: memFree=118960936/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=2.25 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 233 47062 0 0 0 0 212 13 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30469] ppid=30466 vsize=7895300 memory=6785508 CPUtime=3211.34 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30466 30466 28896 0 -1 4194304 1201247 0 0 0 318504 2630 0 0 20 0 1 0 38001381 8084787200 1696377 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 1973825 1696377 2400 1147 0 1961252 0
Current children cumulated CPU time: 3213.59 s
Current children cumulated vsize: 7899492 KiB
Current children cumulated memory: 6788452 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.22 4.14 5/268 31768
/proc/meminfo: memFree=118191732/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=2.25 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 233 47062 0 0 0 0 212 13 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30469] ppid=30466 vsize=9235352 memory=7513404 CPUtime=3271.16 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30466 30466 28896 0 -1 4194304 1294721 0 0 0 324453 2663 0 0 20 0 1 0 38001381 9457000448 1878351 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 2308838 1878351 2400 1147 0 2296265 0
Current children cumulated CPU time: 3273.41 s
Current children cumulated vsize: 9239544 KiB
Current children cumulated memory: 7516348 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.19 4.13 5/268 31770
/proc/meminfo: memFree=118100528/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=2.25 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 233 47062 0 0 0 0 212 13 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30469] ppid=30466 vsize=9262564 memory=7524148 CPUtime=3330.98 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30466 30466 28896 0 -1 4194304 1312314 0 0 0 330390 2708 0 0 20 0 1 0 38001381 9484865536 1881037 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 2315641 1881037 2400 1147 0 2303068 0
Current children cumulated CPU time: 3333.23 s
Current children cumulated vsize: 9266756 KiB
Current children cumulated memory: 7527092 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.17 4.13 5/268 31772
/proc/meminfo: memFree=118048320/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=2.25 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 233 47062 0 0 0 0 212 13 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30469] ppid=30466 vsize=9262712 memory=7526452 CPUtime=3390.79 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30466 30466 28896 0 -1 4194304 1313131 0 0 0 336302 2777 0 0 20 0 1 0 38001381 9485017088 1881613 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 2315678 1881613 2400 1147 0 2303105 0
Current children cumulated CPU time: 3393.04 s
Current children cumulated vsize: 9266904 KiB
Current children cumulated memory: 7529396 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/267 31774
/proc/meminfo: memFree=118036032/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=2.25 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 233 47062 0 0 0 0 212 13 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30469] ppid=30466 vsize=9263512 memory=7527092 CPUtime=3450.6 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30466 30466 28896 0 -1 4194304 1313673 0 0 0 342200 2860 0 0 20 0 1 0 38001381 9485836288 1881773 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 2315878 1881773 2400 1147 0 2303305 0
Current children cumulated CPU time: 3452.85 s
Current children cumulated vsize: 9267704 KiB
Current children cumulated memory: 7530036 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/266 31776
/proc/meminfo: memFree=117873552/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=2.25 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 233 47062 0 0 0 0 212 13 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30469] ppid=30466 vsize=9263512 memory=7527476 CPUtime=3510.42 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30466 30466 28896 0 -1 4194304 1314153 0 0 0 348149 2893 0 0 20 0 1 0 38001381 9485836288 1881869 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 2315878 1881869 2400 1147 0 2303305 0
Current children cumulated CPU time: 3512.67 s
Current children cumulated vsize: 9267704 KiB
Current children cumulated memory: 7530420 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.13 4.11 3/252 31840
/proc/meminfo: memFree=121710932/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=2.25 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 233 47062 0 0 0 0 212 13 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30469] ppid=30466 vsize=9264144 memory=7532444 CPUtime=3570.24 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30466 30466 28896 0 -1 4194304 1326055 0 0 0 354081 2943 0 0 20 0 1 0 38001381 9486483456 1883111 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 2316036 1883111 2400 1147 0 2303463 0
Current children cumulated CPU time: 3572.49 s
Current children cumulated vsize: 9268336 KiB
Current children cumulated memory: 7535388 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 3.36 3.95 4.05 3/252 31840
/proc/meminfo: memFree=121711044/131249988 swapFree=33010684/33010684
[pid=30466] ppid=30463 vsize=4192 memory=2944 CPUtime=2.25 cores=1,3
/proc/30466/stat : 30466 (run-dec-break.s) S 30463 30466 28896 0 -1 4194304 233 47062 0 0 0 0 212 13 20 0 1 0 38001154 4292608 736 18446744073709551615 94519751319552 94519752214085 140736130714976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94519752453136 94519752500880 94519774920704 140736130718049 140736130718178 140736130718178 140736130723780 0
/proc/30466/statm: 1048 736 672 219 0 110 0
[pid=30469] ppid=30466 vsize=9264144 memory=7532444 CPUtime=3597.75 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30466 30466 28896 0 -1 4194304 1326200 0 0 0 356795 2980 0 0 20 0 1 0 38001381 9486483456 1883111 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 2316036 1883111 2400 1147 0 2303463 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 9268336 KiB
Current children cumulated memory: 7535388 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.9 s]
# the end of solver process 30466 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=2.12479 s, system=0.133113 s
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 30469 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3570.15 s, system=30.1626 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 s]*
/proc/loadavg: 3.36 3.95 4.05 3/251 31840
/proc/meminfo: memFree=122904660/131249988 swapFree=33010684/33010684
[pid=30469] ppid=30463 vsize=8062276 memory=6168328 CPUtime=3597.86 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30463 30466 28896 0 -1 4194304 1326216 0 0 0 356802 2984 0 0 20 0 1 0 38001381 8255770624 1542594 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 2015569 1542082 2464 1147 0 2002996 0
Current cumulated CPU time of completed processes: 2.2579 s
Current children cumulated CPU time: 3597.86 s
Current children cumulated vsize: 8062276 KiB
Current children cumulated memory: 6168328 KiB
[startup+3610.11 s]
/proc/loadavg: 3.36 3.95 4.05 3/251 31840
/proc/meminfo: memFree=122904660/131249988 swapFree=33010684/33010684
[pid=30469] ppid=30463 vsize=5370464 memory=3821600 CPUtime=3597.95 cores=1,3
/proc/30469/stat : 30469 (roundingsat) R 30463 30466 28896 0 -1 4194304 1326216 0 0 0 356802 2993 0 0 20 0 1 0 38001381 5499355136 955400 18446744073709551615 4227072 8923433 140732554706176 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32100352 140732554709316 140732554709544 140732554709544 140732554715114 0
/proc/30469/statm: 1342616 955400 2464 1147 0 1330043 0
Current cumulated CPU time of completed processes: 2.2579 s
Current children cumulated CPU time: 3597.95 s
Current children cumulated vsize: 5370464 KiB
Current children cumulated memory: 3821600 KiB
Child status: 2
Real time (s): 3610.2
CPU time (s): 3600.32
CPU user time (s): 3570.15
CPU system time (s): 30.1626
CPU usage (%): 99.7262
Max. virtual memory (cumulated for all children) (KiB): 9268336
Max. memory (cumulated for all children) (KiB): 7535388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.15
system time used= 30.1626
maximum resident set size= 7532700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1373530
page faults= 0
swaps= 0
block input operations= 0
block output operations= 31800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 227
involuntary context switches= 3769
# summary of solver processes directly reported to runsolver:
# pid: 30466,30469
# total CPU time (s): 3600.32
# total CPU user time (s): 3570.15
# total CPU system time (s): 30.1626
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10063 second user time and 16.0762 second system time
The end
Begin job on nodeC031 at 2025-06-29 20:53:46
IDJOB=4515350
IDBENCH=164408
IDSOLVER=3357
FILE ID=nodeC031/4515350-1751223226
RUNJOBID= nodeC031-1751215967-28908
SLURM_JOB_ID= 9587654
Free space on /tmp= 432156 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-631710.0.u.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515350-1751223226/watcher-4515350-1751223226 -o /tmp/evaluation-result-4515350-1751223226/solver-4515350-1751223226 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751215967-28908 --watchdog 3760 run-dec-break.sh HOME/instance-4515350-1751223226.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3de1ff2182bb2a8df9b13aa693b03795
RANDOM SEED=1905389744
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.858
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.931
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 : 3600.227
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 : 3603.662
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.904
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.890
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 : 3691.095
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 : 3579.765
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: 121970532 kB
MemAvailable: 122693616 kB
Buffers: 3280 kB
Cached: 1531828 kB
SwapCached: 0 kB
Active: 7347728 kB
Inactive: 1311760 kB
Active(anon): 7142444 kB
Inactive(anon): 0 kB
Active(file): 205284 kB
Inactive(file): 1311760 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16524 kB
Writeback: 80 kB
AnonPages: 7127532 kB
Mapped: 115748 kB
Shmem: 18064 kB
KReclaimable: 90556 kB
Slab: 176904 kB
SReclaimable: 90556 kB
SUnreclaim: 86348 kB
KernelStack: 4320 kB
PageTables: 17232 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 7611948 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6637568 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= 433020 MiB
End job on nodeC031 at 2025-06-29 21:53:56