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-4503640-1751163762.opb'
0.08/0.11 c read 6.57MB (98.88ms)
0.08/0.11 c [cnf: #variables 7320 #clauses 155722 #duplicates 0 #arr 606176]
0.08/0.11 c
0.08/0.11 c make graph and approximate orbits
0.08/0.16 c [group: #orbits ~= 0] (58.78ms)
0.08/0.16 c
0.08/0.16 c detect special group actions
0.08/0.16 c probe for Johnson action (limit=64)
0.08/0.17 c probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.17 c probe for row symmetry (limit=64, splits=16.78M)
0.08/0.17 c (7.46ms)
0.08/0.17 c
0.08/0.17 c detect symmetries on remainder
0.08/0.17 c [graph: #vertices 186018 #edges 1258304]
0.08/0.17 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.19 c [group: #symmetries 1.00*10^0 #generators 0] (13.12ms)
0.08/0.19 c
0.08/0.19 c finalize break order and special generators
0.08/0.19 c
0.08/0.19 c generation finished
0.08/0.19 c [sbp: #constraints 0 #add_vars 0]
0.08/0.19 c
0.08/0.19 c write result to 'HOME/instance-4503640-1751163762.opb.pre'
0.08/0.20 c wrote 6.57MB (13.72ms)
0.08/0.20 c ------------------------------------------------------------------
0.08/0.20 c 98.88ms 51.13% parse
0.08/0.20 c 58.78ms 30.39% approx_orbits
0.08/0.20 c 13.72ms 7.09% output
0.08/0.20 c 13.12ms 6.78% detect_generic
0.08/0.20 c 7.46ms 3.86% detect_special
0.08/0.20 c 1.19ms 0.62% other
0.08/0.20 c 0.25ms 0.13% finalize_order
0.08/0.20 c ───────────────────────────────────────────────
0.08/0.20 c 193.40ms 100% total
0.08/0.20 c ------------------------------------------------------------------
0.19/0.23 c RoundingSat 2
0.19/0.23 c branch pb25
0.19/0.23 c commit 63f22ad
0.87/0.98 c #variables 7320 #constraints 153729
73.35/73.65 c #Conflicts: 1000 | #Constraints: 154728
73.35/73.65 c #Conflicts: 2000 | #Constraints: 155728
73.35/73.65 c INPROCESSING
73.35/73.65 c #Conflicts: 3000 | #Constraints: 153528
73.35/73.65 c #Conflicts: 4000 | #Constraints: 154528
73.35/73.65 c INPROCESSING
73.35/73.65 c #Conflicts: 5000 | #Constraints: 153611
73.35/73.65 c #Conflicts: 6000 | #Constraints: 154611
73.35/73.65 c INPROCESSING
73.35/73.65 c #Conflicts: 7000 | #Constraints: 153604
73.35/73.65 c #Conflicts: 8000 | #Constraints: 154604
73.35/73.65 c #Conflicts: 9000 | #Constraints: 155604
73.35/73.65 c #Conflicts: 10000 | #Constraints: 156604
73.35/73.65 c #Conflicts: 11000 | #Constraints: 157604
73.35/73.65 c #Conflicts: 12000 | #Constraints: 158604
73.35/73.65 c INPROCESSING
73.35/73.65 c #Conflicts: 13000 | #Constraints: 155298
73.35/73.65 c #Conflicts: 14000 | #Constraints: 156298
73.35/73.65 c #Conflicts: 15000 | #Constraints: 157298
73.35/73.65 c #Conflicts: 16000 | #Constraints: 158298
73.35/73.65 c INPROCESSING
73.35/73.65 c GARBAGE COLLECT
73.35/73.65 c #Conflicts: 17000 | #Constraints: 155385
73.35/73.65 c #Conflicts: 18000 | #Constraints: 156385
73.35/73.65 c #Conflicts: 19000 | #Constraints: 157385
73.35/73.65 c #Conflicts: 20000 | #Constraints: 158385
73.35/73.65 c #Conflicts: 21000 | #Constraints: 159385
73.35/73.65 c #Conflicts: 22000 | #Constraints: 160385
73.35/73.65 c #Conflicts: 23000 | #Constraints: 161385
73.35/73.65 c #Conflicts: 24000 | #Constraints: 162385
73.35/73.65 c #Conflicts: 25000 | #Constraints: 163385
73.35/73.65 c INPROCESSING
73.35/73.65 c #Conflicts: 26000 | #Constraints: 157688
73.35/73.65 c #Conflicts: 27000 | #Constraints: 158688
73.35/73.65 c #Conflicts: 28000 | #Constraints: 159688
73.35/73.65 c #Conflicts: 29000 | #Constraints: 160688
73.35/73.65 c #Conflicts: 30000 | #Constraints: 161688
73.35/73.65 c INPROCESSING
73.35/73.65 c GARBAGE COLLECT
73.35/73.65 c #Conflicts: 31000 | #Constraints: 156842
73.35/73.65 c #Conflicts: 32000 | #Constraints: 157842
73.35/73.65 c #Conflicts: 33000 | #Constraints: 158842
73.35/73.65 c #Conflicts: 34000 | #Constraints: 159842
73.35/73.65 c #Conflicts: 35000 | #Constraints: 160842
73.35/73.65 c #Conflicts: 36000 | #Constraints: 161842
73.35/73.65 c #Conflicts: 37000 | #Constraints: 162842
73.35/73.65 c #Conflicts: 38000 | #Constraints: 163842
73.35/73.65 c #Conflicts: 39000 | #Constraints: 164842
73.35/73.65 c #Conflicts: 40000 | #Constraints: 165842
73.35/73.65 c #Conflicts: 41000 | #Constraints: 166842
73.35/73.65 c #Conflicts: 42000 | #Constraints: 167842
73.35/73.65 c #Conflicts: 43000 | #Constraints: 168842
73.35/73.65 c INPROCESSING
73.35/73.65 c GARBAGE COLLECT
73.35/73.65 c #Conflicts: 44000 | #Constraints: 160671
73.35/73.65 c #Conflicts: 45000 | #Constraints: 161671
73.35/73.65 c #Conflicts: 46000 | #Constraints: 162671
73.35/73.65 c #Conflicts: 47000 | #Constraints: 163671
73.35/73.65 c #Conflicts: 48000 | #Constraints: 164671
73.35/73.65 c #Conflicts: 49000 | #Constraints: 165671
73.35/73.65 c INPROCESSING
73.35/73.65 c #Conflicts: 50000 | #Constraints: 158931
73.35/73.65 c #Conflicts: 51000 | #Constraints: 159931
73.35/73.65 c #Conflicts: 52000 | #Constraints: 160931
73.35/73.65 c #Conflicts: 53000 | #Constraints: 161931
73.35/73.65 c #Conflicts: 54000 | #Constraints: 162931
73.35/73.65 c #Conflicts: 55000 | #Constraints: 163931
73.35/73.65 c #Conflicts: 56000 | #Constraints: 164931
73.35/73.65 c INPROCESSING
73.35/73.65 c GARBAGE COLLECT
73.35/73.65 c #Conflicts: 57000 | #Constraints: 158791
73.35/73.65 c #Conflicts: 58000 | #Constraints: 159791
73.35/73.65 c #Conflicts: 59000 | #Constraints: 160791
73.35/73.65 c #Conflicts: 60000 | #Constraints: 161791
73.35/73.65 c #Conflicts: 61000 | #Constraints: 162791
73.35/73.65 c #Conflicts: 62000 | #Constraints: 163791
73.35/73.65 c #Conflicts: 63000 | #Constraints: 164791
73.35/73.65 c #Conflicts: 64000 | #Constraints: 165791
73.35/73.65 c #Conflicts: 65000 | #Constraints: 166791
73.35/73.65 c #Conflicts: 66000 | #Constraints: 167791
73.35/73.65 c #Conflicts: 67000 | #Constraints: 168791
73.35/73.65 c #Conflicts: 68000 | #Constraints: 169791
73.35/73.65 c #Conflicts: 69000 | #Constraints: 170791
73.35/73.65 c #Conflicts: 70000 | #Constraints: 171791
73.35/73.65 c #Conflicts: 71000 | #Constraints: 172791
73.35/73.65 c #Conflicts: 72000 | #Constraints: 173791
73.35/73.65 c INPROCESSING
73.35/73.65 c GARBAGE COLLECT
73.35/73.65 c #Conflicts: 73000 | #Constraints: 162945
73.35/73.65 c #Conflicts: 74000 | #Constraints: 163945
118.03/118.44 c #Conflicts: 75000 | #Constraints: 164945
118.03/118.44 c #Conflicts: 76000 | #Constraints: 165945
118.03/118.44 c #Conflicts: 77000 | #Constraints: 166945
118.03/118.44 c #Conflicts: 78000 | #Constraints: 167945
118.03/118.44 c #Conflicts: 79000 | #Constraints: 168945
118.03/118.44 c #Conflicts: 80000 | #Constraints: 169945
118.03/118.44 c INPROCESSING
118.03/118.44 c #Conflicts: 81000 | #Constraints: 161109
118.03/118.44 c #Conflicts: 82000 | #Constraints: 162109
118.03/118.44 c #Conflicts: 83000 | #Constraints: 163109
118.03/118.44 c #Conflicts: 84000 | #Constraints: 164109
118.03/118.44 c #Conflicts: 85000 | #Constraints: 165109
118.03/118.44 c #Conflicts: 86000 | #Constraints: 166109
118.03/118.44 c #Conflicts: 87000 | #Constraints: 167109
118.03/118.44 c #Conflicts: 88000 | #Constraints: 168109
118.03/118.44 c #Conflicts: 89000 | #Constraints: 169109
118.03/118.44 c #Conflicts: 90000 | #Constraints: 170109
118.03/118.44 c #Conflicts: 91000 | #Constraints: 171109
118.03/118.44 c #Conflicts: 92000 | #Constraints: 172109
118.03/118.44 c #Conflicts: 93000 | #Constraints: 173109
118.03/118.44 c #Conflicts: 94000 | #Constraints: 174109
118.03/118.44 c #Conflicts: 95000 | #Constraints: 175109
118.03/118.44 c #Conflicts: 96000 | #Constraints: 176109
118.03/118.44 c #Conflicts: 97000 | #Constraints: 177109
118.03/118.44 c #Conflicts: 98000 | #Constraints: 178109
118.03/118.44 c #Conflicts: 99000 | #Constraints: 179109
118.03/118.44 c #Conflicts: 100000 | #Constraints: 180109
118.03/118.44 c INPROCESSING
118.03/118.44 c GARBAGE COLLECT
118.03/118.44 c #Conflicts: 101000 | #Constraints: 166418
118.03/118.44 c #Conflicts: 102000 | #Constraints: 167418
118.03/118.44 c #Conflicts: 103000 | #Constraints: 168418
118.03/118.44 c #Conflicts: 104000 | #Constraints: 169418
118.03/118.44 c #Conflicts: 105000 | #Constraints: 170418
118.03/118.44 c #Conflicts: 106000 | #Constraints: 171418
118.03/118.44 c #Conflicts: 107000 | #Constraints: 172418
118.03/118.44 c #Conflicts: 108000 | #Constraints: 173418
118.03/118.44 c #Conflicts: 109000 | #Constraints: 174418
118.03/118.44 c INPROCESSING
118.03/118.44 c GARBAGE COLLECT
118.03/118.44 c #Conflicts: 110000 | #Constraints: 163502
118.03/118.44 c #Conflicts: 111000 | #Constraints: 164502
118.03/118.44 c #Conflicts: 112000 | #Constraints: 165502
118.03/118.44 c #Conflicts: 113000 | #Constraints: 166502
118.03/118.44 c #Conflicts: 114000 | #Constraints: 167502
118.03/118.44 c #Conflicts: 115000 | #Constraints: 168502
118.03/118.44 c #Conflicts: 116000 | #Constraints: 169502
118.03/118.44 c #Conflicts: 117000 | #Constraints: 170502
118.03/118.44 c #Conflicts: 118000 | #Constraints: 171502
118.03/118.44 c #Conflicts: 119000 | #Constraints: 172502
118.03/118.44 c #Conflicts: 120000 | #Constraints: 173502
118.03/118.44 c #Conflicts: 121000 | #Constraints: 174502
118.03/118.44 c #Conflicts: 122000 | #Constraints: 175502
118.03/118.44 c #Conflicts: 123000 | #Constraints: 176502
118.03/118.44 c #Conflicts: 124000 | #Constraints: 177502
118.03/118.44 c #Conflicts: 125000 | #Constraints: 178502
118.03/118.44 c #Conflicts: 126000 | #Constraints: 179502
118.03/118.44 c #Conflicts: 127000 | #Constraints: 180502
118.03/118.44 c #Conflicts: 128000 | #Constraints: 181502
118.03/118.44 c #Conflicts: 129000 | #Constraints: 182502
118.03/118.44 c #Conflicts: 130000 | #Constraints: 183502
118.03/118.44 c #Conflicts: 131000 | #Constraints: 184502
118.03/118.44 c #Conflicts: 132000 | #Constraints: 185502
118.03/118.44 c INPROCESSING
118.03/118.44 c GARBAGE COLLECT
118.03/118.44 c #Conflicts: 133000 | #Constraints: 169163
118.03/118.44 c #Conflicts: 134000 | #Constraints: 170163
118.03/118.44 c #Conflicts: 135000 | #Constraints: 171163
118.03/118.44 c #Conflicts: 136000 | #Constraints: 172163
118.03/118.44 c #Conflicts: 137000 | #Constraints: 173163
118.03/118.44 c #Conflicts: 138000 | #Constraints: 174163
118.03/118.44 c #Conflicts: 139000 | #Constraints: 175163
118.03/118.44 c #Conflicts: 140000 | #Constraints: 176163
118.03/118.44 c #Conflicts: 141000 | #Constraints: 177163
118.03/118.44 c #Conflicts: 142000 | #Constraints: 178163
118.03/118.44 c INPROCESSING
118.03/118.44 c GARBAGE COLLECT
118.03/118.44 c #Conflicts: 143000 | #Constraints: 165269
118.03/118.44 c #Conflicts: 144000 | #Constraints: 166269
118.03/118.44 c #Conflicts: 145000 | #Constraints: 167269
118.03/118.44 c #Conflicts: 146000 | #Constraints: 168269
118.03/118.44 c #Conflicts: 147000 | #Constraints: 169269
118.03/118.44 c #Conflicts: 148000 | #Constraints: 170269
118.03/118.44 c #Conflicts: 149000 | #Constraints: 171269
118.03/118.44 c #Conflicts: 150000 | #Constraints: 172269
151.73/152.22 c #Conflicts: 151000 | #Constraints: 173269
151.73/152.22 c #Conflicts: 152000 | #Constraints: 174269
151.73/152.22 c #Conflicts: 153000 | #Constraints: 175269
151.73/152.22 c #Conflicts: 154000 | #Constraints: 176269
151.73/152.22 c #Conflicts: 155000 | #Constraints: 177269
151.73/152.22 c #Conflicts: 156000 | #Constraints: 178269
151.73/152.22 c #Conflicts: 157000 | #Constraints: 179269
151.73/152.22 c #Conflicts: 158000 | #Constraints: 180269
151.73/152.22 c #Conflicts: 159000 | #Constraints: 181269
151.73/152.22 c #Conflicts: 160000 | #Constraints: 182269
151.73/152.22 c #Conflicts: 161000 | #Constraints: 183269
151.73/152.22 c #Conflicts: 162000 | #Constraints: 184269
151.73/152.22 c #Conflicts: 163000 | #Constraints: 185269
151.73/152.22 c #Conflicts: 164000 | #Constraints: 186269
151.73/152.22 c #Conflicts: 165000 | #Constraints: 187269
151.73/152.22 c #Conflicts: 166000 | #Constraints: 188269
151.73/152.22 c #Conflicts: 167000 | #Constraints: 189269
151.73/152.22 c #Conflicts: 168000 | #Constraints: 190269
151.73/152.22 c INPROCESSING
151.73/152.22 c GARBAGE COLLECT
151.73/152.22 c #Conflicts: 169000 | #Constraints: 171423
151.73/152.22 c #Conflicts: 170000 | #Constraints: 172423
151.73/152.22 c #Conflicts: 171000 | #Constraints: 173423
151.73/152.22 c #Conflicts: 172000 | #Constraints: 174423
151.73/152.22 c #Conflicts: 173000 | #Constraints: 175423
151.73/152.22 c #Conflicts: 174000 | #Constraints: 176423
151.73/152.22 c #Conflicts: 175000 | #Constraints: 177423
151.73/152.22 c #Conflicts: 176000 | #Constraints: 178423
151.73/152.22 c #Conflicts: 177000 | #Constraints: 179423
151.73/152.22 c #Conflicts: 178000 | #Constraints: 180423
151.73/152.22 c #Conflicts: 179000 | #Constraints: 181423
151.73/152.22 c #Conflicts: 180000 | #Constraints: 182423
151.73/152.22 c INPROCESSING
151.73/152.22 c GARBAGE COLLECT
151.73/152.22 c #Conflicts: 181000 | #Constraints: 167698
151.73/152.22 c #Conflicts: 182000 | #Constraints: 168698
151.73/152.22 c #Conflicts: 183000 | #Constraints: 169698
151.73/152.22 c #Conflicts: 184000 | #Constraints: 170698
151.73/152.22 c #Conflicts: 185000 | #Constraints: 171698
151.73/152.22 c #Conflicts: 186000 | #Constraints: 172698
151.73/152.22 c #Conflicts: 187000 | #Constraints: 173698
151.73/152.22 c #Conflicts: 188000 | #Constraints: 174698
151.73/152.22 c #Conflicts: 189000 | #Constraints: 175698
151.73/152.22 c #Conflicts: 190000 | #Constraints: 176698
151.73/152.22 c #Conflicts: 191000 | #Constraints: 177698
151.73/152.22 c #Conflicts: 192000 | #Constraints: 178698
151.73/152.22 c #Conflicts: 193000 | #Constraints: 179698
151.73/152.22 c #Conflicts: 194000 | #Constraints: 180698
151.73/152.22 c #Conflicts: 195000 | #Constraints: 181698
151.73/152.22 c #Conflicts: 196000 | #Constraints: 182698
151.73/152.22 c #Conflicts: 197000 | #Constraints: 183698
151.73/152.22 c #Conflicts: 198000 | #Constraints: 184698
151.73/152.22 c #Conflicts: 199000 | #Constraints: 185698
151.73/152.22 c #Conflicts: 200000 | #Constraints: 186698
151.73/152.22 c #Conflicts: 201000 | #Constraints: 187698
151.73/152.22 c #Conflicts: 202000 | #Constraints: 188698
151.73/152.22 c #Conflicts: 203000 | #Constraints: 189698
151.73/152.22 c #Conflicts: 204000 | #Constraints: 190698
151.73/152.22 c #Conflicts: 205000 | #Constraints: 191698
151.73/152.22 c #Conflicts: 206000 | #Constraints: 192698
151.73/152.22 c #Conflicts: 207000 | #Constraints: 193698
151.73/152.22 c #Conflicts: 208000 | #Constraints: 194698
151.73/152.22 c #Conflicts: 209000 | #Constraints: 195698
151.73/152.22 c INPROCESSING
151.73/152.22 c GARBAGE COLLECT
151.73/152.22 c #Conflicts: 210000 | #Constraints: 174373
151.73/152.22 c #Conflicts: 211000 | #Constraints: 175373
151.73/152.22 c #Conflicts: 212000 | #Constraints: 176373
151.73/152.22 c #Conflicts: 213000 | #Constraints: 177373
151.73/152.22 c #Conflicts: 214000 | #Constraints: 178373
151.73/152.22 c #Conflicts: 215000 | #Constraints: 179373
151.73/152.22 c #Conflicts: 216000 | #Constraints: 180373
151.73/152.22 c #Conflicts: 217000 | #Constraints: 181373
151.73/152.22 c #Conflicts: 218000 | #Constraints: 182373
151.73/152.22 c #Conflicts: 219000 | #Constraints: 183373
151.73/152.22 c #Conflicts: 220000 | #Constraints: 184373
151.73/152.22 c #Conflicts: 221000 | #Constraints: 185373
151.73/152.22 c #Conflicts: 222000 | #Constraints: 186373
151.73/152.22 c INPROCESSING
151.73/152.22 c GARBAGE COLLECT
151.73/152.22 c #Conflicts: 223000 | #Constraints: 169667
151.73/152.22 c #Conflicts: 224000 | #Constraints: 170667
151.73/152.22 c #Conflicts: 225000 | #Constraints: 171667
151.73/152.22 c #Conflicts: 226000 | #Constraints: 172667
151.73/152.22 c #Conflicts: 227000 | #Constraints: 173667
169.50/170.03 c #Conflicts: 228000 | #Constraints: 174667
169.50/170.03 c #Conflicts: 229000 | #Constraints: 175667
169.50/170.03 c #Conflicts: 230000 | #Constraints: 176667
169.50/170.03 c #Conflicts: 231000 | #Constraints: 177667
169.50/170.03 c #Conflicts: 232000 | #Constraints: 178667
169.50/170.03 c #Conflicts: 233000 | #Constraints: 179667
169.50/170.03 c #Conflicts: 234000 | #Constraints: 180667
169.50/170.03 c #Conflicts: 235000 | #Constraints: 181667
169.50/170.03 c #Conflicts: 236000 | #Constraints: 182667
169.50/170.03 c #Conflicts: 237000 | #Constraints: 183667
169.50/170.03 c #Conflicts: 238000 | #Constraints: 184667
169.50/170.03 c #Conflicts: 239000 | #Constraints: 185667
169.50/170.03 c #Conflicts: 240000 | #Constraints: 186667
169.50/170.03 c #Conflicts: 241000 | #Constraints: 187667
169.50/170.03 c #Conflicts: 242000 | #Constraints: 188667
169.50/170.03 c #Conflicts: 243000 | #Constraints: 189667
169.50/170.03 c #Conflicts: 244000 | #Constraints: 190667
169.50/170.03 c #Conflicts: 245000 | #Constraints: 191667
169.50/170.03 c #Conflicts: 246000 | #Constraints: 192667
169.50/170.03 c #Conflicts: 247000 | #Constraints: 193667
169.50/170.03 c #Conflicts: 248000 | #Constraints: 194667
169.50/170.03 c #Conflicts: 249000 | #Constraints: 195667
169.50/170.03 c #Conflicts: 250000 | #Constraints: 196667
169.50/170.03 c #Conflicts: 251000 | #Constraints: 197667
169.50/170.03 c #Conflicts: 252000 | #Constraints: 198667
169.50/170.03 c #Conflicts: 253000 | #Constraints: 199667
169.50/170.03 c #Conflicts: 254000 | #Constraints: 200667
169.50/170.03 c INPROCESSING
169.50/170.03 c GARBAGE COLLECT
169.50/170.03 c #Conflicts: 255000 | #Constraints: 176772
169.50/170.03 c #Conflicts: 256000 | #Constraints: 177772
169.50/170.03 c #Conflicts: 257000 | #Constraints: 178772
169.50/170.03 c #Conflicts: 258000 | #Constraints: 179772
169.50/170.03 c #Conflicts: 259000 | #Constraints: 180772
169.50/170.03 c #Conflicts: 260000 | #Constraints: 181772
169.50/170.03 c #Conflicts: 261000 | #Constraints: 182772
169.50/170.03 c #Conflicts: 262000 | #Constraints: 183772
169.50/170.03 c #Conflicts: 263000 | #Constraints: 184772
169.50/170.03 c #Conflicts: 264000 | #Constraints: 185772
169.50/170.03 c #Conflicts: 265000 | #Constraints: 186772
169.50/170.03 c #Conflicts: 266000 | #Constraints: 187772
169.50/170.03 c #Conflicts: 267000 | #Constraints: 188772
169.50/170.03 c #Conflicts: 268000 | #Constraints: 189772
169.50/170.03 c INPROCESSING
169.50/170.03 c GARBAGE COLLECT
169.50/170.03 c #Conflicts: 269000 | #Constraints: 171224
169.50/170.03 c #Conflicts: 270000 | #Constraints: 172224
169.50/170.03 c #Conflicts: 271000 | #Constraints: 173224
169.50/170.03 c #Conflicts: 272000 | #Constraints: 174224
169.50/170.03 c #Conflicts: 273000 | #Constraints: 175224
169.50/170.03 c #Conflicts: 274000 | #Constraints: 176224
169.50/170.03 c #Conflicts: 275000 | #Constraints: 177224
169.50/170.03 c #Conflicts: 276000 | #Constraints: 178224
169.50/170.03 c #Conflicts: 277000 | #Constraints: 179224
169.50/170.03 c #Conflicts: 278000 | #Constraints: 180224
169.50/170.03 c #Conflicts: 279000 | #Constraints: 181224
169.50/170.03 c #Conflicts: 280000 | #Constraints: 182224
169.50/170.03 c #Conflicts: 281000 | #Constraints: 183224
169.50/170.03 c #Conflicts: 282000 | #Constraints: 184224
169.50/170.03 c #Conflicts: 283000 | #Constraints: 185224
169.50/170.03 c #Conflicts: 284000 | #Constraints: 186224
169.50/170.03 c #Conflicts: 285000 | #Constraints: 187224
169.50/170.03 c #Conflicts: 286000 | #Constraints: 188224
169.50/170.03 c #Conflicts: 287000 | #Constraints: 189224
169.50/170.03 c #Conflicts: 288000 | #Constraints: 190224
169.50/170.03 c #Conflicts: 289000 | #Constraints: 191224
169.50/170.03 c #Conflicts: 290000 | #Constraints: 192224
169.50/170.03 c #Conflicts: 291000 | #Constraints: 193224
169.50/170.03 c #Conflicts: 292000 | #Constraints: 194224
169.50/170.03 c #Conflicts: 293000 | #Constraints: 195224
169.50/170.03 c #Conflicts: 294000 | #Constraints: 196224
169.50/170.03 c #Conflicts: 295000 | #Constraints: 197224
169.50/170.03 c #Conflicts: 296000 | #Constraints: 198224
169.50/170.03 c #Conflicts: 297000 | #Constraints: 199224
169.50/170.03 c #Conflicts: 298000 | #Constraints: 200224
169.50/170.03 c #Conflicts: 299000 | #Constraints: 201224
169.50/170.03 c #Conflicts: 300000 | #Constraints: 202224
169.50/170.03 c #Conflicts: 301000 | #Constraints: 203224
169.50/170.03 c #Conflicts: 302000 | #Constraints: 204224
169.50/170.03 c #Conflicts: 303000 | #Constraints: 205224
169.50/170.03 c INPROCESSING
169.50/170.03 c GARBAGE COLLECT
175.17/175.71 c rational objective 413
204.80/205.44 c #Conflicts: 304000 | #Constraints: 178760
204.80/205.44 c #Conflicts: 305000 | #Constraints: 179760
204.80/205.44 c #Conflicts: 306000 | #Constraints: 180760
204.80/205.44 c #Conflicts: 307000 | #Constraints: 181760
204.80/205.44 c #Conflicts: 308000 | #Constraints: 182760
204.80/205.44 c #Conflicts: 309000 | #Constraints: 183760
204.80/205.44 c #Conflicts: 310000 | #Constraints: 184760
204.80/205.44 c #Conflicts: 311000 | #Constraints: 185760
204.80/205.44 c #Conflicts: 312000 | #Constraints: 186760
204.80/205.44 c #Conflicts: 313000 | #Constraints: 187760
204.80/205.44 c #Conflicts: 314000 | #Constraints: 188760
204.80/205.44 c #Conflicts: 315000 | #Constraints: 189760
204.80/205.44 c #Conflicts: 316000 | #Constraints: 190760
204.80/205.44 c #Conflicts: 317000 | #Constraints: 191760
204.80/205.44 c #Conflicts: 318000 | #Constraints: 192760
204.80/205.44 c #Conflicts: 319000 | #Constraints: 193760
204.80/205.44 c INPROCESSING
204.80/205.44 c GARBAGE COLLECT
204.80/205.44 c #Conflicts: 320000 | #Constraints: 173132
204.80/205.44 c #Conflicts: 321000 | #Constraints: 174132
204.80/205.44 c #Conflicts: 322000 | #Constraints: 175132
204.80/205.44 c #Conflicts: 323000 | #Constraints: 176132
204.80/205.44 c #Conflicts: 324000 | #Constraints: 177132
204.80/205.44 c #Conflicts: 325000 | #Constraints: 178132
204.80/205.44 c #Conflicts: 326000 | #Constraints: 179132
204.80/205.44 c #Conflicts: 327000 | #Constraints: 180132
204.80/205.44 c #Conflicts: 328000 | #Constraints: 181132
204.80/205.44 c #Conflicts: 329000 | #Constraints: 182132
204.80/205.44 c #Conflicts: 330000 | #Constraints: 183132
204.80/205.44 c #Conflicts: 331000 | #Constraints: 184132
204.80/205.44 c #Conflicts: 332000 | #Constraints: 185132
204.80/205.44 c #Conflicts: 333000 | #Constraints: 186132
204.80/205.44 c #Conflicts: 334000 | #Constraints: 187132
204.80/205.44 c #Conflicts: 335000 | #Constraints: 188132
204.80/205.44 c #Conflicts: 336000 | #Constraints: 189132
204.80/205.44 c #Conflicts: 337000 | #Constraints: 190132
204.80/205.44 c #Conflicts: 338000 | #Constraints: 191132
204.80/205.44 c #Conflicts: 339000 | #Constraints: 192132
204.80/205.44 c #Conflicts: 340000 | #Constraints: 193132
204.80/205.44 c #Conflicts: 341000 | #Constraints: 194132
204.80/205.44 c #Conflicts: 342000 | #Constraints: 195132
204.80/205.44 c #Conflicts: 343000 | #Constraints: 196132
204.80/205.44 c #Conflicts: 344000 | #Constraints: 197132
204.80/205.44 c #Conflicts: 345000 | #Constraints: 198132
204.80/205.44 c #Conflicts: 346000 | #Constraints: 199132
204.80/205.44 c #Conflicts: 347000 | #Constraints: 200132
204.80/205.44 c #Conflicts: 348000 | #Constraints: 201132
204.80/205.44 c #Conflicts: 349000 | #Constraints: 202132
204.80/205.44 c #Conflicts: 350000 | #Constraints: 203132
204.80/205.44 c #Conflicts: 351000 | #Constraints: 204132
204.80/205.44 c #Conflicts: 352000 | #Constraints: 205132
204.80/205.44 c #Conflicts: 353000 | #Constraints: 206132
204.80/205.44 c #Conflicts: 354000 | #Constraints: 207132
204.80/205.44 c #Conflicts: 355000 | #Constraints: 208132
204.80/205.44 c #Conflicts: 356000 | #Constraints: 209132
204.80/205.44 c #Conflicts: 357000 | #Constraints: 210132
204.80/205.44 c INPROCESSING
204.80/205.44 c GARBAGE COLLECT
204.80/205.44 c #Conflicts: 358000 | #Constraints: 181219
204.80/205.44 c #Conflicts: 359000 | #Constraints: 182219
204.80/205.44 c #Conflicts: 360000 | #Constraints: 183219
204.80/205.44 c #Conflicts: 361000 | #Constraints: 184219
204.80/205.44 c #Conflicts: 362000 | #Constraints: 185219
204.80/205.44 c #Conflicts: 363000 | #Constraints: 186219
204.80/205.44 c #Conflicts: 364000 | #Constraints: 187219
204.80/205.44 c #Conflicts: 365000 | #Constraints: 188219
204.80/205.44 c #Conflicts: 366000 | #Constraints: 189219
204.80/205.44 c #Conflicts: 367000 | #Constraints: 190219
204.80/205.44 c #Conflicts: 368000 | #Constraints: 191219
204.80/205.44 c #Conflicts: 369000 | #Constraints: 192219
204.80/205.44 c #Conflicts: 370000 | #Constraints: 193219
204.80/205.44 c #Conflicts: 371000 | #Constraints: 194219
204.80/205.44 c #Conflicts: 372000 | #Constraints: 195219
204.80/205.44 c #Conflicts: 373000 | #Constraints: 196219
204.80/205.44 c #Conflicts: 374000 | #Constraints: 197219
204.80/205.44 c INPROCESSING
204.80/205.44 c GARBAGE COLLECT
204.80/205.44 c #Conflicts: 375000 | #Constraints: 174698
204.80/205.44 c #Conflicts: 376000 | #Constraints: 175698
204.80/205.44 c #Conflicts: 377000 | #Constraints: 176698
204.80/205.44 c #Conflicts: 378000 | #Constraints: 177698
204.80/205.44 c #Conflicts: 379000 | #Constraints: 178698
204.80/205.44 c #Conflicts: 380000 | #Constraints: 179698
216.37/217.01 c #Conflicts: 381000 | #Constraints: 180698
216.37/217.01 c #Conflicts: 382000 | #Constraints: 181698
216.37/217.01 c #Conflicts: 383000 | #Constraints: 182698
216.37/217.01 c #Conflicts: 384000 | #Constraints: 183698
216.37/217.01 c #Conflicts: 385000 | #Constraints: 184698
216.37/217.01 c #Conflicts: 386000 | #Constraints: 185698
216.37/217.01 c #Conflicts: 387000 | #Constraints: 186698
216.37/217.01 c #Conflicts: 388000 | #Constraints: 187698
216.37/217.01 c #Conflicts: 389000 | #Constraints: 188698
216.37/217.01 c #Conflicts: 390000 | #Constraints: 189698
216.37/217.01 c #Conflicts: 391000 | #Constraints: 190698
216.37/217.01 c #Conflicts: 392000 | #Constraints: 191698
216.37/217.01 c #Conflicts: 393000 | #Constraints: 192698
216.37/217.01 c #Conflicts: 394000 | #Constraints: 193698
216.37/217.01 c #Conflicts: 395000 | #Constraints: 194698
216.37/217.01 c #Conflicts: 396000 | #Constraints: 195698
216.37/217.01 c #Conflicts: 397000 | #Constraints: 196698
216.37/217.01 c #Conflicts: 398000 | #Constraints: 197698
216.37/217.01 c #Conflicts: 399000 | #Constraints: 198698
216.37/217.01 c #Conflicts: 400000 | #Constraints: 199698
216.37/217.01 c #Conflicts: 401000 | #Constraints: 200698
216.37/217.01 c #Conflicts: 402000 | #Constraints: 201698
216.37/217.01 c #Conflicts: 403000 | #Constraints: 202698
216.37/217.01 c #Conflicts: 404000 | #Constraints: 203698
216.37/217.01 c #Conflicts: 405000 | #Constraints: 204698
216.37/217.01 c #Conflicts: 406000 | #Constraints: 205698
216.37/217.01 c #Conflicts: 407000 | #Constraints: 206698
216.37/217.01 c #Conflicts: 408000 | #Constraints: 207698
216.37/217.01 c #Conflicts: 409000 | #Constraints: 208698
216.37/217.01 c #Conflicts: 410000 | #Constraints: 209698
216.37/217.01 c #Conflicts: 411000 | #Constraints: 210698
216.37/217.01 c #Conflicts: 412000 | #Constraints: 211698
216.37/217.01 c #Conflicts: 413000 | #Constraints: 212698
216.37/217.01 c #Conflicts: 414000 | #Constraints: 213698
216.37/217.01 c #Conflicts: 415000 | #Constraints: 214698
216.37/217.01 c INPROCESSING
216.37/217.01 c GARBAGE COLLECT
216.37/217.01 c rational objective 423.917
242.70/243.45 c #Conflicts: 416000 | #Constraints: 183399
242.70/243.45 c #Conflicts: 417000 | #Constraints: 184399
242.70/243.45 c #Conflicts: 418000 | #Constraints: 185399
242.70/243.45 c #Conflicts: 419000 | #Constraints: 186399
242.70/243.45 c #Conflicts: 420000 | #Constraints: 187399
242.70/243.45 c #Conflicts: 421000 | #Constraints: 188399
242.70/243.45 c #Conflicts: 422000 | #Constraints: 189399
242.70/243.45 c #Conflicts: 423000 | #Constraints: 190399
242.70/243.45 c #Conflicts: 424000 | #Constraints: 191399
242.70/243.45 c #Conflicts: 425000 | #Constraints: 192399
242.70/243.45 c #Conflicts: 426000 | #Constraints: 193399
242.70/243.45 c #Conflicts: 427000 | #Constraints: 194399
242.70/243.45 c #Conflicts: 428000 | #Constraints: 195399
242.70/243.45 c #Conflicts: 429000 | #Constraints: 196399
242.70/243.45 c #Conflicts: 430000 | #Constraints: 197399
242.70/243.45 c #Conflicts: 431000 | #Constraints: 198399
242.70/243.45 c #Conflicts: 432000 | #Constraints: 199399
242.70/243.45 c #Conflicts: 433000 | #Constraints: 200399
242.70/243.45 c #Conflicts: 434000 | #Constraints: 201399
242.70/243.45 c INPROCESSING
242.70/243.45 c GARBAGE COLLECT
242.70/243.45 c #Conflicts: 435000 | #Constraints: 177180
242.70/243.45 c #Conflicts: 436000 | #Constraints: 178180
242.70/243.45 c #Conflicts: 437000 | #Constraints: 179180
242.70/243.45 c #Conflicts: 438000 | #Constraints: 180180
242.70/243.45 c #Conflicts: 439000 | #Constraints: 181180
242.70/243.45 c #Conflicts: 440000 | #Constraints: 182180
242.70/243.45 c #Conflicts: 441000 | #Constraints: 183180
242.70/243.45 c #Conflicts: 442000 | #Constraints: 184180
242.70/243.45 c #Conflicts: 443000 | #Constraints: 185180
242.70/243.45 c #Conflicts: 444000 | #Constraints: 186180
242.70/243.45 c #Conflicts: 445000 | #Constraints: 187180
242.70/243.45 c #Conflicts: 446000 | #Constraints: 188180
242.70/243.45 c #Conflicts: 447000 | #Constraints: 189180
242.70/243.45 c #Conflicts: 448000 | #Constraints: 190180
242.70/243.45 c #Conflicts: 449000 | #Constraints: 191180
242.70/243.45 c #Conflicts: 450000 | #Constraints: 192180
242.70/243.45 c #Conflicts: 451000 | #Constraints: 193180
242.70/243.45 c #Conflicts: 452000 | #Constraints: 194180
242.70/243.45 c #Conflicts: 453000 | #Constraints: 195180
242.70/243.45 c #Conflicts: 454000 | #Constraints: 196180
242.70/243.45 c #Conflicts: 455000 | #Constraints: 197180
242.70/243.45 c #Conflicts: 456000 | #Constraints: 198180
242.70/243.45 c #Conflicts: 457000 | #Constraints: 199180
242.70/243.45 c #Conflicts: 458000 | #Constraints: 200180
242.70/243.45 c #Conflicts: 459000 | #Constraints: 201180
242.70/243.45 c #Conflicts: 460000 | #Constraints: 202180
242.70/243.45 c #Conflicts: 461000 | #Constraints: 203180
242.70/243.45 c #Conflicts: 462000 | #Constraints: 204180
242.70/243.45 c #Conflicts: 463000 | #Constraints: 205180
242.70/243.45 c #Conflicts: 464000 | #Constraints: 206180
242.70/243.45 c #Conflicts: 465000 | #Constraints: 207180
242.70/243.45 c #Conflicts: 466000 | #Constraints: 208180
242.70/243.45 c #Conflicts: 467000 | #Constraints: 209180
242.70/243.45 c #Conflicts: 468000 | #Constraints: 210180
242.70/243.45 c #Conflicts: 469000 | #Constraints: 211180
242.70/243.45 c #Conflicts: 470000 | #Constraints: 212180
242.70/243.45 c #Conflicts: 471000 | #Constraints: 213180
242.70/243.45 c #Conflicts: 472000 | #Constraints: 214180
242.70/243.45 c #Conflicts: 473000 | #Constraints: 215180
242.70/243.45 c #Conflicts: 474000 | #Constraints: 216180
242.70/243.45 c #Conflicts: 475000 | #Constraints: 217180
242.70/243.45 c #Conflicts: 476000 | #Constraints: 218180
242.70/243.45 c #Conflicts: 477000 | #Constraints: 219180
242.70/243.45 c #Conflicts: 478000 | #Constraints: 220180
242.70/243.45 c INPROCESSING
242.70/243.45 c GARBAGE COLLECT
242.70/243.45 c #Conflicts: 479000 | #Constraints: 186240
242.70/243.45 c #Conflicts: 480000 | #Constraints: 187240
242.70/243.45 c #Conflicts: 481000 | #Constraints: 188240
242.70/243.45 c #Conflicts: 482000 | #Constraints: 189240
242.70/243.45 c #Conflicts: 483000 | #Constraints: 190240
242.70/243.45 c #Conflicts: 484000 | #Constraints: 191240
242.70/243.45 c #Conflicts: 485000 | #Constraints: 192240
242.70/243.45 c #Conflicts: 486000 | #Constraints: 193240
242.70/243.45 c #Conflicts: 487000 | #Constraints: 194240
242.70/243.45 c #Conflicts: 488000 | #Constraints: 195240
242.70/243.45 c #Conflicts: 489000 | #Constraints: 196240
242.70/243.45 c #Conflicts: 490000 | #Constraints: 197240
242.70/243.45 c #Conflicts: 491000 | #Constraints: 198240
242.70/243.45 c #Conflicts: 492000 | #Constraints: 199240
242.70/243.45 c #Conflicts: 493000 | #Constraints: 200240
264.34/265.18 c #Conflicts: 494000 | #Constraints: 201240
264.34/265.18 c #Conflicts: 495000 | #Constraints: 202240
264.34/265.18 c #Conflicts: 496000 | #Constraints: 203240
264.34/265.18 c #Conflicts: 497000 | #Constraints: 204240
264.34/265.18 c #Conflicts: 498000 | #Constraints: 205240
264.34/265.18 c INPROCESSING
264.34/265.18 c GARBAGE COLLECT
264.34/265.18 c #Conflicts: 499000 | #Constraints: 178943
264.34/265.18 c #Conflicts: 500000 | #Constraints: 179943
264.34/265.18 c #Conflicts: 501000 | #Constraints: 180943
264.34/265.18 c #Conflicts: 502000 | #Constraints: 181943
264.34/265.18 c #Conflicts: 503000 | #Constraints: 182943
264.34/265.18 c #Conflicts: 504000 | #Constraints: 183943
264.34/265.18 c #Conflicts: 505000 | #Constraints: 184943
264.34/265.18 c #Conflicts: 506000 | #Constraints: 185943
264.34/265.18 c #Conflicts: 507000 | #Constraints: 186943
264.34/265.18 c #Conflicts: 508000 | #Constraints: 187943
264.34/265.18 c #Conflicts: 509000 | #Constraints: 188943
264.34/265.18 c #Conflicts: 510000 | #Constraints: 189943
264.34/265.18 c #Conflicts: 511000 | #Constraints: 190943
264.34/265.18 c #Conflicts: 512000 | #Constraints: 191943
264.34/265.18 c #Conflicts: 513000 | #Constraints: 192943
264.34/265.18 c #Conflicts: 514000 | #Constraints: 193943
264.34/265.18 c #Conflicts: 515000 | #Constraints: 194943
264.34/265.18 c #Conflicts: 516000 | #Constraints: 195943
264.34/265.18 c #Conflicts: 517000 | #Constraints: 196943
264.34/265.18 c #Conflicts: 518000 | #Constraints: 197943
264.34/265.18 c #Conflicts: 519000 | #Constraints: 198943
264.34/265.18 c #Conflicts: 520000 | #Constraints: 199943
264.34/265.18 c #Conflicts: 521000 | #Constraints: 200943
264.34/265.18 c #Conflicts: 522000 | #Constraints: 201943
264.34/265.18 c #Conflicts: 523000 | #Constraints: 202943
264.34/265.18 c #Conflicts: 524000 | #Constraints: 203943
264.34/265.18 c #Conflicts: 525000 | #Constraints: 204943
264.34/265.18 c #Conflicts: 526000 | #Constraints: 205943
264.34/265.18 c #Conflicts: 527000 | #Constraints: 206943
264.34/265.18 c #Conflicts: 528000 | #Constraints: 207943
264.34/265.18 c #Conflicts: 529000 | #Constraints: 208943
264.34/265.18 c #Conflicts: 530000 | #Constraints: 209943
264.34/265.18 c #Conflicts: 531000 | #Constraints: 210943
264.34/265.18 c #Conflicts: 532000 | #Constraints: 211943
264.34/265.18 c #Conflicts: 533000 | #Constraints: 212943
264.34/265.18 c #Conflicts: 534000 | #Constraints: 213943
264.34/265.18 c #Conflicts: 535000 | #Constraints: 214943
264.34/265.18 c #Conflicts: 536000 | #Constraints: 215943
264.34/265.18 c #Conflicts: 537000 | #Constraints: 216943
264.34/265.18 c #Conflicts: 538000 | #Constraints: 217943
264.34/265.18 c #Conflicts: 539000 | #Constraints: 218943
264.34/265.18 c #Conflicts: 540000 | #Constraints: 219943
264.34/265.18 c #Conflicts: 541000 | #Constraints: 220943
264.34/265.18 c #Conflicts: 542000 | #Constraints: 221943
264.34/265.18 c #Conflicts: 543000 | #Constraints: 222943
264.34/265.18 c #Conflicts: 544000 | #Constraints: 223943
264.34/265.18 c #Conflicts: 545000 | #Constraints: 224943
264.34/265.18 c INPROCESSING
264.34/265.18 c GARBAGE COLLECT
264.34/265.18 c rational objective 433.917
288.87/289.78 c #Conflicts: 546000 | #Constraints: 188555
288.87/289.78 c #Conflicts: 547000 | #Constraints: 189555
288.87/289.78 c #Conflicts: 548000 | #Constraints: 190555
288.87/289.78 c #Conflicts: 549000 | #Constraints: 191555
288.87/289.78 c #Conflicts: 550000 | #Constraints: 192555
288.87/289.78 c #Conflicts: 551000 | #Constraints: 193555
288.87/289.78 c #Conflicts: 552000 | #Constraints: 194555
288.87/289.78 c #Conflicts: 553000 | #Constraints: 195555
288.87/289.78 c #Conflicts: 554000 | #Constraints: 196555
288.87/289.78 c #Conflicts: 555000 | #Constraints: 197555
288.87/289.78 c #Conflicts: 556000 | #Constraints: 198555
288.87/289.78 c #Conflicts: 557000 | #Constraints: 199555
288.87/289.78 c #Conflicts: 558000 | #Constraints: 200555
288.87/289.78 c #Conflicts: 559000 | #Constraints: 201555
288.87/289.78 c #Conflicts: 560000 | #Constraints: 202555
288.87/289.78 c #Conflicts: 561000 | #Constraints: 203555
288.87/289.78 c #Conflicts: 562000 | #Constraints: 204555
288.87/289.78 c #Conflicts: 563000 | #Constraints: 205555
288.87/289.78 c #Conflicts: 564000 | #Constraints: 206555
288.87/289.78 c #Conflicts: 565000 | #Constraints: 207555
288.87/289.78 c #Conflicts: 566000 | #Constraints: 208555
288.87/289.78 c INPROCESSING
288.87/289.78 c GARBAGE COLLECT
288.87/289.78 c #Conflicts: 567000 | #Constraints: 180481
288.87/289.78 c #Conflicts: 568000 | #Constraints: 181481
288.87/289.78 c #Conflicts: 569000 | #Constraints: 182481
288.87/289.78 c #Conflicts: 570000 | #Constraints: 183481
288.87/289.78 c #Conflicts: 571000 | #Constraints: 184481
288.87/289.78 c #Conflicts: 572000 | #Constraints: 185481
288.87/289.78 c #Conflicts: 573000 | #Constraints: 186481
288.87/289.78 c #Conflicts: 574000 | #Constraints: 187481
288.87/289.78 c #Conflicts: 575000 | #Constraints: 188481
288.87/289.78 c #Conflicts: 576000 | #Constraints: 189481
288.87/289.78 c #Conflicts: 577000 | #Constraints: 190481
288.87/289.78 c #Conflicts: 578000 | #Constraints: 191481
288.87/289.78 c #Conflicts: 579000 | #Constraints: 192481
288.87/289.78 c #Conflicts: 580000 | #Constraints: 193481
288.87/289.78 c #Conflicts: 581000 | #Constraints: 194481
288.87/289.78 c #Conflicts: 582000 | #Constraints: 195481
288.87/289.78 c #Conflicts: 583000 | #Constraints: 196481
288.87/289.78 c #Conflicts: 584000 | #Constraints: 197481
288.87/289.78 c #Conflicts: 585000 | #Constraints: 198481
288.87/289.78 c #Conflicts: 586000 | #Constraints: 199481
288.87/289.78 c #Conflicts: 587000 | #Constraints: 200481
288.87/289.78 c #Conflicts: 588000 | #Constraints: 201481
288.87/289.78 c #Conflicts: 589000 | #Constraints: 202481
288.87/289.78 c #Conflicts: 590000 | #Constraints: 203481
288.87/289.78 c #Conflicts: 591000 | #Constraints: 204481
288.87/289.78 c #Conflicts: 592000 | #Constraints: 205481
288.87/289.78 c #Conflicts: 593000 | #Constraints: 206481
288.87/289.78 c #Conflicts: 594000 | #Constraints: 207481
288.87/289.78 c #Conflicts: 595000 | #Constraints: 208481
288.87/289.78 c #Conflicts: 596000 | #Constraints: 209481
288.87/289.78 c #Conflicts: 597000 | #Constraints: 210481
288.87/289.78 c #Conflicts: 598000 | #Constraints: 211481
288.87/289.78 c #Conflicts: 599000 | #Constraints: 212481
288.87/289.78 c #Conflicts: 600000 | #Constraints: 213481
288.87/289.78 c #Conflicts: 601000 | #Constraints: 214481
288.87/289.78 c #Conflicts: 602000 | #Constraints: 215481
288.87/289.78 c #Conflicts: 603000 | #Constraints: 216481
288.87/289.78 c #Conflicts: 604000 | #Constraints: 217481
288.87/289.78 c #Conflicts: 605000 | #Constraints: 218481
288.87/289.78 c #Conflicts: 606000 | #Constraints: 219481
288.87/289.78 c #Conflicts: 607000 | #Constraints: 220481
288.87/289.78 c #Conflicts: 608000 | #Constraints: 221481
288.87/289.78 c #Conflicts: 609000 | #Constraints: 222481
288.87/289.78 c #Conflicts: 610000 | #Constraints: 223481
288.87/289.78 c #Conflicts: 611000 | #Constraints: 224481
288.87/289.78 c #Conflicts: 612000 | #Constraints: 225481
288.87/289.78 c #Conflicts: 613000 | #Constraints: 226481
288.87/289.78 c #Conflicts: 614000 | #Constraints: 227481
288.87/289.78 c #Conflicts: 615000 | #Constraints: 228481
288.87/289.78 c #Conflicts: 616000 | #Constraints: 229481
288.87/289.78 c #Conflicts: 617000 | #Constraints: 230481
288.87/289.78 c INPROCESSING
288.87/289.78 c GARBAGE COLLECT
288.87/289.78 c #Conflicts: 618000 | #Constraints: 191600
288.87/289.78 c #Conflicts: 619000 | #Constraints: 192600
288.87/289.78 c #Conflicts: 620000 | #Constraints: 193600
288.87/289.78 c #Conflicts: 621000 | #Constraints: 194600
288.87/289.78 c #Conflicts: 622000 | #Constraints: 195600
288.87/289.78 c #Conflicts: 623000 | #Constraints: 196600
299.25/300.18 c #Conflicts: 624000 | #Constraints: 197600
299.25/300.18 c #Conflicts: 625000 | #Constraints: 198600
299.25/300.18 c #Conflicts: 626000 | #Constraints: 199600
299.25/300.18 c #Conflicts: 627000 | #Constraints: 200600
299.25/300.18 c #Conflicts: 628000 | #Constraints: 201600
299.25/300.18 c #Conflicts: 629000 | #Constraints: 202600
299.25/300.18 c #Conflicts: 630000 | #Constraints: 203600
299.25/300.18 c #Conflicts: 631000 | #Constraints: 204600
299.25/300.18 c #Conflicts: 632000 | #Constraints: 205600
299.25/300.18 c #Conflicts: 633000 | #Constraints: 206600
299.25/300.18 c #Conflicts: 634000 | #Constraints: 207600
299.25/300.18 c #Conflicts: 635000 | #Constraints: 208600
299.25/300.18 c #Conflicts: 636000 | #Constraints: 209600
299.25/300.18 c #Conflicts: 637000 | #Constraints: 210600
299.25/300.18 c #Conflicts: 638000 | #Constraints: 211600
299.25/300.18 c #Conflicts: 639000 | #Constraints: 212600
299.25/300.18 c INPROCESSING
299.25/300.18 c GARBAGE COLLECT
299.25/300.18 c rational objective 435.833
323.49/324.46 c #Conflicts: 640000 | #Constraints: 182621
323.49/324.46 c #Conflicts: 641000 | #Constraints: 183621
323.49/324.46 c #Conflicts: 642000 | #Constraints: 184621
323.49/324.46 c #Conflicts: 643000 | #Constraints: 185621
323.49/324.46 c #Conflicts: 644000 | #Constraints: 186621
323.49/324.46 c #Conflicts: 645000 | #Constraints: 187621
323.49/324.46 c #Conflicts: 646000 | #Constraints: 188621
323.49/324.46 c #Conflicts: 647000 | #Constraints: 189621
323.49/324.46 c #Conflicts: 648000 | #Constraints: 190621
323.49/324.46 c #Conflicts: 649000 | #Constraints: 191621
323.49/324.46 c #Conflicts: 650000 | #Constraints: 192621
323.49/324.46 c #Conflicts: 651000 | #Constraints: 193621
323.49/324.46 c #Conflicts: 652000 | #Constraints: 194621
323.49/324.46 c #Conflicts: 653000 | #Constraints: 195621
323.49/324.46 c #Conflicts: 654000 | #Constraints: 196621
323.49/324.46 c #Conflicts: 655000 | #Constraints: 197621
323.49/324.46 c #Conflicts: 656000 | #Constraints: 198621
323.49/324.46 c #Conflicts: 657000 | #Constraints: 199621
323.49/324.46 c #Conflicts: 658000 | #Constraints: 200621
323.49/324.46 c #Conflicts: 659000 | #Constraints: 201621
323.49/324.46 c #Conflicts: 660000 | #Constraints: 202621
323.49/324.46 c #Conflicts: 661000 | #Constraints: 203621
323.49/324.46 c #Conflicts: 662000 | #Constraints: 204621
323.49/324.46 c #Conflicts: 663000 | #Constraints: 205621
323.49/324.46 c #Conflicts: 664000 | #Constraints: 206621
323.49/324.46 c #Conflicts: 665000 | #Constraints: 207621
323.49/324.46 c #Conflicts: 666000 | #Constraints: 208621
323.49/324.46 c #Conflicts: 667000 | #Constraints: 209621
323.49/324.46 c #Conflicts: 668000 | #Constraints: 210621
323.49/324.46 c #Conflicts: 669000 | #Constraints: 211621
323.49/324.46 c #Conflicts: 670000 | #Constraints: 212621
323.49/324.46 c #Conflicts: 671000 | #Constraints: 213621
323.49/324.46 c #Conflicts: 672000 | #Constraints: 214621
323.49/324.46 c #Conflicts: 673000 | #Constraints: 215621
323.49/324.46 c #Conflicts: 674000 | #Constraints: 216621
323.49/324.46 c #Conflicts: 675000 | #Constraints: 217621
323.49/324.46 c #Conflicts: 676000 | #Constraints: 218621
323.49/324.46 c #Conflicts: 677000 | #Constraints: 219621
323.49/324.46 c #Conflicts: 678000 | #Constraints: 220621
323.49/324.46 c #Conflicts: 679000 | #Constraints: 221621
323.49/324.46 c #Conflicts: 680000 | #Constraints: 222621
323.49/324.46 c #Conflicts: 681000 | #Constraints: 223621
323.49/324.46 c #Conflicts: 682000 | #Constraints: 224621
323.49/324.46 c #Conflicts: 683000 | #Constraints: 225621
323.49/324.46 c #Conflicts: 684000 | #Constraints: 226621
323.49/324.46 c #Conflicts: 685000 | #Constraints: 227621
323.49/324.46 c #Conflicts: 686000 | #Constraints: 228621
323.49/324.46 c #Conflicts: 687000 | #Constraints: 229621
323.49/324.46 c #Conflicts: 688000 | #Constraints: 230621
323.49/324.46 c #Conflicts: 689000 | #Constraints: 231621
323.49/324.46 c #Conflicts: 690000 | #Constraints: 232621
323.49/324.46 c #Conflicts: 691000 | #Constraints: 233621
323.49/324.46 c #Conflicts: 692000 | #Constraints: 234621
323.49/324.46 c #Conflicts: 693000 | #Constraints: 235621
323.49/324.46 c INPROCESSING
323.49/324.46 c GARBAGE COLLECT
323.49/324.46 c #Conflicts: 694000 | #Constraints: 194208
323.49/324.46 c #Conflicts: 695000 | #Constraints: 195208
323.49/324.46 c #Conflicts: 696000 | #Constraints: 196208
323.49/324.46 c #Conflicts: 697000 | #Constraints: 197208
323.49/324.46 c #Conflicts: 698000 | #Constraints: 198208
323.49/324.46 c #Conflicts: 699000 | #Constraints: 199208
323.49/324.46 c #Conflicts: 700000 | #Constraints: 200208
323.49/324.46 c #Conflicts: 701000 | #Constraints: 201208
323.49/324.46 c #Conflicts: 702000 | #Constraints: 202208
323.49/324.46 c #Conflicts: 703000 | #Constraints: 203208
323.49/324.46 c #Conflicts: 704000 | #Constraints: 204208
323.49/324.46 c #Conflicts: 705000 | #Constraints: 205208
323.49/324.46 c #Conflicts: 706000 | #Constraints: 206208
323.49/324.46 c #Conflicts: 707000 | #Constraints: 207208
323.49/324.46 c #Conflicts: 708000 | #Constraints: 208208
323.49/324.46 c #Conflicts: 709000 | #Constraints: 209208
323.49/324.46 c #Conflicts: 710000 | #Constraints: 210208
323.49/324.46 c #Conflicts: 711000 | #Constraints: 211208
323.49/324.46 c #Conflicts: 712000 | #Constraints: 212208
323.49/324.46 c #Conflicts: 713000 | #Constraints: 213208
323.49/324.46 c #Conflicts: 714000 | #Constraints: 214208
323.49/324.46 c #Conflicts: 715000 | #Constraints: 215208
323.49/324.46 c #Conflicts: 716000 | #Constraints: 216208
323.49/324.46 c INPROCESSING
323.49/324.46 c GARBAGE COLLECT
323.49/324.46 c #Conflicts: 717000 | #Constraints: 184299
343.13/344.10 c #Conflicts: 718000 | #Constraints: 185299
343.13/344.10 c #Conflicts: 719000 | #Constraints: 186299
343.13/344.10 c #Conflicts: 720000 | #Constraints: 187299
343.13/344.10 c #Conflicts: 721000 | #Constraints: 188299
343.13/344.10 c #Conflicts: 722000 | #Constraints: 189299
343.13/344.10 c #Conflicts: 723000 | #Constraints: 190299
343.13/344.10 c #Conflicts: 724000 | #Constraints: 191299
343.13/344.10 c #Conflicts: 725000 | #Constraints: 192299
343.13/344.10 c #Conflicts: 726000 | #Constraints: 193299
343.13/344.10 c #Conflicts: 727000 | #Constraints: 194299
343.13/344.10 c #Conflicts: 728000 | #Constraints: 195299
343.13/344.10 c #Conflicts: 729000 | #Constraints: 196299
343.13/344.10 c #Conflicts: 730000 | #Constraints: 197299
343.13/344.10 c #Conflicts: 731000 | #Constraints: 198299
343.13/344.10 c #Conflicts: 732000 | #Constraints: 199299
343.13/344.10 c #Conflicts: 733000 | #Constraints: 200299
343.13/344.10 c #Conflicts: 734000 | #Constraints: 201299
343.13/344.10 c #Conflicts: 735000 | #Constraints: 202299
343.13/344.10 c #Conflicts: 736000 | #Constraints: 203299
343.13/344.10 c #Conflicts: 737000 | #Constraints: 204299
343.13/344.10 c #Conflicts: 738000 | #Constraints: 205299
343.13/344.10 c #Conflicts: 739000 | #Constraints: 206299
343.13/344.10 c #Conflicts: 740000 | #Constraints: 207299
343.13/344.10 c #Conflicts: 741000 | #Constraints: 208299
343.13/344.10 c #Conflicts: 742000 | #Constraints: 209299
343.13/344.10 c #Conflicts: 743000 | #Constraints: 210299
343.13/344.10 c #Conflicts: 744000 | #Constraints: 211299
343.13/344.10 c #Conflicts: 745000 | #Constraints: 212299
343.13/344.10 c #Conflicts: 746000 | #Constraints: 213299
343.13/344.10 c #Conflicts: 747000 | #Constraints: 214299
343.13/344.10 c #Conflicts: 748000 | #Constraints: 215299
343.13/344.10 c #Conflicts: 749000 | #Constraints: 216299
343.13/344.10 c #Conflicts: 750000 | #Constraints: 217299
343.13/344.10 c #Conflicts: 751000 | #Constraints: 218299
343.13/344.10 c #Conflicts: 752000 | #Constraints: 219299
343.13/344.10 c #Conflicts: 753000 | #Constraints: 220299
343.13/344.10 c #Conflicts: 754000 | #Constraints: 221299
343.13/344.10 c #Conflicts: 755000 | #Constraints: 222299
343.13/344.10 c #Conflicts: 756000 | #Constraints: 223299
343.13/344.10 c #Conflicts: 757000 | #Constraints: 224299
343.13/344.10 c #Conflicts: 758000 | #Constraints: 225299
343.13/344.10 c #Conflicts: 759000 | #Constraints: 226299
343.13/344.10 c #Conflicts: 760000 | #Constraints: 227299
343.13/344.10 c #Conflicts: 761000 | #Constraints: 228299
343.13/344.10 c #Conflicts: 762000 | #Constraints: 229299
343.13/344.10 c #Conflicts: 763000 | #Constraints: 230299
343.13/344.10 c #Conflicts: 764000 | #Constraints: 231299
343.13/344.10 c #Conflicts: 765000 | #Constraints: 232299
343.13/344.10 c #Conflicts: 766000 | #Constraints: 233299
343.13/344.10 c #Conflicts: 767000 | #Constraints: 234299
343.13/344.10 c #Conflicts: 768000 | #Constraints: 235299
343.13/344.10 c #Conflicts: 769000 | #Constraints: 236299
343.13/344.10 c #Conflicts: 770000 | #Constraints: 237299
343.13/344.10 c #Conflicts: 771000 | #Constraints: 238299
343.13/344.10 c #Conflicts: 772000 | #Constraints: 239299
343.13/344.10 c #Conflicts: 773000 | #Constraints: 240299
343.13/344.10 c INPROCESSING
343.13/344.10 c GARBAGE COLLECT
343.13/344.10 c rational objective 435.833
362.77/363.82 c #Conflicts: 774000 | #Constraints: 196490
362.77/363.82 c #Conflicts: 775000 | #Constraints: 197490
362.77/363.82 c #Conflicts: 776000 | #Constraints: 198490
362.77/363.82 c #Conflicts: 777000 | #Constraints: 199490
362.77/363.82 c #Conflicts: 778000 | #Constraints: 200490
362.77/363.82 c #Conflicts: 779000 | #Constraints: 201490
362.77/363.82 c #Conflicts: 780000 | #Constraints: 202490
362.77/363.82 c #Conflicts: 781000 | #Constraints: 203490
362.77/363.82 c #Conflicts: 782000 | #Constraints: 204490
362.77/363.82 c #Conflicts: 783000 | #Constraints: 205490
362.77/363.82 c #Conflicts: 784000 | #Constraints: 206490
362.77/363.82 c #Conflicts: 785000 | #Constraints: 207490
362.77/363.82 c #Conflicts: 786000 | #Constraints: 208490
362.77/363.82 c #Conflicts: 787000 | #Constraints: 209490
362.77/363.82 c #Conflicts: 788000 | #Constraints: 210490
362.77/363.82 c #Conflicts: 789000 | #Constraints: 211490
362.77/363.82 c #Conflicts: 790000 | #Constraints: 212490
362.77/363.82 c #Conflicts: 791000 | #Constraints: 213490
362.77/363.82 c #Conflicts: 792000 | #Constraints: 214490
362.77/363.82 c #Conflicts: 793000 | #Constraints: 215490
362.77/363.82 c #Conflicts: 794000 | #Constraints: 216490
362.77/363.82 c #Conflicts: 795000 | #Constraints: 217490
362.77/363.82 c #Conflicts: 796000 | #Constraints: 218490
362.77/363.82 c #Conflicts: 797000 | #Constraints: 219490
362.77/363.82 c #Conflicts: 798000 | #Constraints: 220490
362.77/363.82 c INPROCESSING
362.77/363.82 c GARBAGE COLLECT
362.77/363.82 c #Conflicts: 799000 | #Constraints: 186731
362.77/363.82 c #Conflicts: 800000 | #Constraints: 187731
362.77/363.82 c #Conflicts: 801000 | #Constraints: 188731
362.77/363.82 c #Conflicts: 802000 | #Constraints: 189731
362.77/363.82 c #Conflicts: 803000 | #Constraints: 190731
362.77/363.82 c #Conflicts: 804000 | #Constraints: 191731
362.77/363.82 c #Conflicts: 805000 | #Constraints: 192731
362.77/363.82 c #Conflicts: 806000 | #Constraints: 193731
362.77/363.82 c #Conflicts: 807000 | #Constraints: 194731
362.77/363.82 c #Conflicts: 808000 | #Constraints: 195731
362.77/363.82 c #Conflicts: 809000 | #Constraints: 196731
362.77/363.82 c #Conflicts: 810000 | #Constraints: 197731
362.77/363.82 c #Conflicts: 811000 | #Constraints: 198731
362.77/363.82 c #Conflicts: 812000 | #Constraints: 199731
362.77/363.82 c #Conflicts: 813000 | #Constraints: 200731
362.77/363.82 c #Conflicts: 814000 | #Constraints: 201731
362.77/363.82 c #Conflicts: 815000 | #Constraints: 202731
362.77/363.82 c #Conflicts: 816000 | #Constraints: 203731
362.77/363.82 c #Conflicts: 817000 | #Constraints: 204731
362.77/363.82 c #Conflicts: 818000 | #Constraints: 205731
362.77/363.82 c #Conflicts: 819000 | #Constraints: 206731
362.77/363.82 c #Conflicts: 820000 | #Constraints: 207731
362.77/363.82 c #Conflicts: 821000 | #Constraints: 208731
362.77/363.82 c #Conflicts: 822000 | #Constraints: 209731
362.77/363.82 c #Conflicts: 823000 | #Constraints: 210731
362.77/363.82 c #Conflicts: 824000 | #Constraints: 211731
362.77/363.82 c #Conflicts: 825000 | #Constraints: 212731
362.77/363.82 c #Conflicts: 826000 | #Constraints: 213731
362.77/363.82 c #Conflicts: 827000 | #Constraints: 214731
362.77/363.82 c #Conflicts: 828000 | #Constraints: 215731
362.77/363.82 c #Conflicts: 829000 | #Constraints: 216731
362.77/363.82 c #Conflicts: 830000 | #Constraints: 217731
362.77/363.82 c #Conflicts: 831000 | #Constraints: 218731
362.77/363.82 c #Conflicts: 832000 | #Constraints: 219731
362.77/363.82 c #Conflicts: 833000 | #Constraints: 220731
362.77/363.82 c #Conflicts: 834000 | #Constraints: 221731
362.77/363.82 c #Conflicts: 835000 | #Constraints: 222731
362.77/363.82 c #Conflicts: 836000 | #Constraints: 223731
362.77/363.82 c #Conflicts: 837000 | #Constraints: 224731
362.77/363.82 c #Conflicts: 838000 | #Constraints: 225731
362.77/363.82 c #Conflicts: 839000 | #Constraints: 226731
362.77/363.82 c #Conflicts: 840000 | #Constraints: 227731
362.77/363.82 c #Conflicts: 841000 | #Constraints: 228731
362.77/363.82 c #Conflicts: 842000 | #Constraints: 229731
362.77/363.82 c #Conflicts: 843000 | #Constraints: 230731
362.77/363.82 c #Conflicts: 844000 | #Constraints: 231731
362.77/363.82 c #Conflicts: 845000 | #Constraints: 232731
362.77/363.82 c #Conflicts: 846000 | #Constraints: 233731
362.77/363.82 c #Conflicts: 847000 | #Constraints: 234731
362.77/363.82 c #Conflicts: 848000 | #Constraints: 235731
362.77/363.82 c #Conflicts: 849000 | #Constraints: 236731
362.77/363.82 c #Conflicts: 850000 | #Constraints: 237731
362.77/363.82 c #Conflicts: 851000 | #Constraints: 238731
362.77/363.82 c #Conflicts: 852000 | #Constraints: 239731
367.45/368.52 c #Conflicts: 853000 | #Constraints: 240731
367.45/368.52 c #Conflicts: 854000 | #Constraints: 241731
367.45/368.52 c #Conflicts: 855000 | #Constraints: 242731
367.45/368.52 c #Conflicts: 856000 | #Constraints: 243731
367.45/368.52 c #Conflicts: 857000 | #Constraints: 244731
367.45/368.52 c #Conflicts: 858000 | #Constraints: 245731
367.45/368.52 c INPROCESSING
367.45/368.52 c GARBAGE COLLECT
367.45/368.52 c rational objective 436.083
390.99/392.14 c #Conflicts: 859000 | #Constraints: 199307
390.99/392.14 c #Conflicts: 860000 | #Constraints: 200307
390.99/392.14 c #Conflicts: 861000 | #Constraints: 201307
390.99/392.14 c #Conflicts: 862000 | #Constraints: 202307
390.99/392.14 c #Conflicts: 863000 | #Constraints: 203307
390.99/392.14 c #Conflicts: 864000 | #Constraints: 204307
390.99/392.14 c #Conflicts: 865000 | #Constraints: 205307
390.99/392.14 c #Conflicts: 866000 | #Constraints: 206307
390.99/392.14 c #Conflicts: 867000 | #Constraints: 207307
390.99/392.14 c #Conflicts: 868000 | #Constraints: 208307
390.99/392.14 c #Conflicts: 869000 | #Constraints: 209307
390.99/392.14 c #Conflicts: 870000 | #Constraints: 210307
390.99/392.14 c #Conflicts: 871000 | #Constraints: 211307
390.99/392.14 c #Conflicts: 872000 | #Constraints: 212307
390.99/392.14 c #Conflicts: 873000 | #Constraints: 213307
390.99/392.14 c #Conflicts: 874000 | #Constraints: 214307
390.99/392.14 c #Conflicts: 875000 | #Constraints: 215307
390.99/392.14 c #Conflicts: 876000 | #Constraints: 216307
390.99/392.14 c #Conflicts: 877000 | #Constraints: 217307
390.99/392.14 c #Conflicts: 878000 | #Constraints: 218307
390.99/392.14 c #Conflicts: 879000 | #Constraints: 219307
390.99/392.14 c #Conflicts: 880000 | #Constraints: 220307
390.99/392.14 c #Conflicts: 881000 | #Constraints: 221307
390.99/392.14 c #Conflicts: 882000 | #Constraints: 222307
390.99/392.14 c #Conflicts: 883000 | #Constraints: 223307
390.99/392.14 c #Conflicts: 884000 | #Constraints: 224307
390.99/392.14 c INPROCESSING
390.99/392.14 c GARBAGE COLLECT
390.99/392.14 c #Conflicts: 885000 | #Constraints: 188705
390.99/392.14 c #Conflicts: 886000 | #Constraints: 189705
390.99/392.14 c #Conflicts: 887000 | #Constraints: 190705
390.99/392.14 c #Conflicts: 888000 | #Constraints: 191705
390.99/392.14 c #Conflicts: 889000 | #Constraints: 192705
390.99/392.14 c #Conflicts: 890000 | #Constraints: 193705
390.99/392.14 c #Conflicts: 891000 | #Constraints: 194705
390.99/392.14 c #Conflicts: 892000 | #Constraints: 195705
390.99/392.14 c #Conflicts: 893000 | #Constraints: 196705
390.99/392.14 c #Conflicts: 894000 | #Constraints: 197705
390.99/392.14 c #Conflicts: 895000 | #Constraints: 198705
390.99/392.14 c #Conflicts: 896000 | #Constraints: 199705
390.99/392.14 c #Conflicts: 897000 | #Constraints: 200705
390.99/392.14 c #Conflicts: 898000 | #Constraints: 201705
390.99/392.14 c #Conflicts: 899000 | #Constraints: 202705
390.99/392.14 c #Conflicts: 900000 | #Constraints: 203705
390.99/392.14 c #Conflicts: 901000 | #Constraints: 204705
390.99/392.14 c #Conflicts: 902000 | #Constraints: 205705
390.99/392.14 c #Conflicts: 903000 | #Constraints: 206705
390.99/392.14 c #Conflicts: 904000 | #Constraints: 207705
390.99/392.14 c #Conflicts: 905000 | #Constraints: 208705
390.99/392.14 c #Conflicts: 906000 | #Constraints: 209705
390.99/392.14 c #Conflicts: 907000 | #Constraints: 210705
390.99/392.14 c #Conflicts: 908000 | #Constraints: 211705
390.99/392.14 c #Conflicts: 909000 | #Constraints: 212705
390.99/392.14 c #Conflicts: 910000 | #Constraints: 213705
390.99/392.14 c #Conflicts: 911000 | #Constraints: 214705
390.99/392.14 c #Conflicts: 912000 | #Constraints: 215705
390.99/392.14 c #Conflicts: 913000 | #Constraints: 216705
390.99/392.14 c #Conflicts: 914000 | #Constraints: 217705
390.99/392.14 c #Conflicts: 915000 | #Constraints: 218705
390.99/392.14 c #Conflicts: 916000 | #Constraints: 219705
390.99/392.14 c #Conflicts: 917000 | #Constraints: 220705
390.99/392.14 c #Conflicts: 918000 | #Constraints: 221705
390.99/392.14 c #Conflicts: 919000 | #Constraints: 222705
390.99/392.14 c #Conflicts: 920000 | #Constraints: 223705
390.99/392.14 c #Conflicts: 921000 | #Constraints: 224705
390.99/392.14 c #Conflicts: 922000 | #Constraints: 225705
390.99/392.14 c #Conflicts: 923000 | #Constraints: 226705
390.99/392.14 c #Conflicts: 924000 | #Constraints: 227705
390.99/392.14 c #Conflicts: 925000 | #Constraints: 228705
390.99/392.14 c #Conflicts: 926000 | #Constraints: 229705
390.99/392.14 c #Conflicts: 927000 | #Constraints: 230705
390.99/392.14 c #Conflicts: 928000 | #Constraints: 231705
390.99/392.14 c #Conflicts: 929000 | #Constraints: 232705
390.99/392.14 c #Conflicts: 930000 | #Constraints: 233705
390.99/392.14 c #Conflicts: 931000 | #Constraints: 234705
390.99/392.14 c #Conflicts: 932000 | #Constraints: 235705
390.99/392.14 c #Conflicts: 933000 | #Constraints: 236705
390.99/392.14 c #Conflicts: 934000 | #Constraints: 237705
390.99/392.14 c #Conflicts: 935000 | #Constraints: 238705
390.99/392.14 c #Conflicts: 936000 | #Constraints: 239705
390.99/392.14 c #Conflicts: 937000 | #Constraints: 240705
403.25/404.48 c #Conflicts: 938000 | #Constraints: 241705
403.25/404.48 c #Conflicts: 939000 | #Constraints: 242705
403.25/404.48 c #Conflicts: 940000 | #Constraints: 243705
403.25/404.48 c #Conflicts: 941000 | #Constraints: 244705
403.25/404.48 c #Conflicts: 942000 | #Constraints: 245705
403.25/404.48 c #Conflicts: 943000 | #Constraints: 246705
403.25/404.48 c #Conflicts: 944000 | #Constraints: 247705
403.25/404.48 c #Conflicts: 945000 | #Constraints: 248705
403.25/404.48 c #Conflicts: 946000 | #Constraints: 249705
403.25/404.48 c #Conflicts: 947000 | #Constraints: 250705
403.25/404.48 c INPROCESSING
403.25/404.48 c GARBAGE COLLECT
403.25/404.48 c rational objective 436.833
430.88/432.13 c #Conflicts: 948000 | #Constraints: 201814
430.88/432.13 c #Conflicts: 949000 | #Constraints: 202814
430.88/432.13 c #Conflicts: 950000 | #Constraints: 203814
430.88/432.13 c #Conflicts: 951000 | #Constraints: 204814
430.88/432.13 c #Conflicts: 952000 | #Constraints: 205814
430.88/432.13 c #Conflicts: 953000 | #Constraints: 206814
430.88/432.13 c #Conflicts: 954000 | #Constraints: 207814
430.88/432.13 c #Conflicts: 955000 | #Constraints: 208814
430.88/432.13 c #Conflicts: 956000 | #Constraints: 209814
430.88/432.13 c #Conflicts: 957000 | #Constraints: 210814
430.88/432.13 c #Conflicts: 958000 | #Constraints: 211814
430.88/432.13 c #Conflicts: 959000 | #Constraints: 212814
430.88/432.13 c #Conflicts: 960000 | #Constraints: 213814
430.88/432.13 c #Conflicts: 961000 | #Constraints: 214814
430.88/432.13 c #Conflicts: 962000 | #Constraints: 215814
430.88/432.13 c #Conflicts: 963000 | #Constraints: 216814
430.88/432.13 c #Conflicts: 964000 | #Constraints: 217814
430.88/432.13 c #Conflicts: 965000 | #Constraints: 218814
430.88/432.13 c #Conflicts: 966000 | #Constraints: 219814
430.88/432.13 c #Conflicts: 967000 | #Constraints: 220814
430.88/432.13 c #Conflicts: 968000 | #Constraints: 221814
430.88/432.13 c #Conflicts: 969000 | #Constraints: 222814
430.88/432.13 c #Conflicts: 970000 | #Constraints: 223814
430.88/432.13 c #Conflicts: 971000 | #Constraints: 224814
430.88/432.13 c #Conflicts: 972000 | #Constraints: 225814
430.88/432.13 c #Conflicts: 973000 | #Constraints: 226814
430.88/432.13 c #Conflicts: 974000 | #Constraints: 227814
430.88/432.13 c INPROCESSING
430.88/432.13 c GARBAGE COLLECT
430.88/432.13 c #Conflicts: 975000 | #Constraints: 190091
430.88/432.13 c #Conflicts: 976000 | #Constraints: 191091
430.88/432.13 c #Conflicts: 977000 | #Constraints: 192091
430.88/432.13 c #Conflicts: 978000 | #Constraints: 193091
430.88/432.13 c #Conflicts: 979000 | #Constraints: 194091
430.88/432.13 c #Conflicts: 980000 | #Constraints: 195091
430.88/432.13 c #Conflicts: 981000 | #Constraints: 196091
430.88/432.13 c #Conflicts: 982000 | #Constraints: 197091
430.88/432.13 c #Conflicts: 983000 | #Constraints: 198091
430.88/432.13 c #Conflicts: 984000 | #Constraints: 199091
430.88/432.13 c #Conflicts: 985000 | #Constraints: 200091
430.88/432.13 c #Conflicts: 986000 | #Constraints: 201091
430.88/432.13 c #Conflicts: 987000 | #Constraints: 202091
430.88/432.13 c #Conflicts: 988000 | #Constraints: 203091
430.88/432.13 c #Conflicts: 989000 | #Constraints: 204091
430.88/432.13 c #Conflicts: 990000 | #Constraints: 205091
430.88/432.13 c #Conflicts: 991000 | #Constraints: 206091
430.88/432.13 c #Conflicts: 992000 | #Constraints: 207091
430.88/432.13 c #Conflicts: 993000 | #Constraints: 208091
430.88/432.13 c #Conflicts: 994000 | #Constraints: 209091
430.88/432.13 c #Conflicts: 995000 | #Constraints: 210091
430.88/432.13 c #Conflicts: 996000 | #Constraints: 211091
430.88/432.13 c #Conflicts: 997000 | #Constraints: 212091
430.88/432.13 c #Conflicts: 998000 | #Constraints: 213091
430.88/432.13 c #Conflicts: 999000 | #Constraints: 214091
430.88/432.13 c #Conflicts: 1000000 | #Constraints: 215091
430.88/432.13 c #Conflicts: 1001000 | #Constraints: 216091
430.88/432.13 c #Conflicts: 1002000 | #Constraints: 217091
430.88/432.13 c #Conflicts: 1003000 | #Constraints: 218091
430.88/432.13 c #Conflicts: 1004000 | #Constraints: 219091
430.88/432.13 c #Conflicts: 1005000 | #Constraints: 220091
430.88/432.13 c #Conflicts: 1006000 | #Constraints: 221091
430.88/432.13 c #Conflicts: 1007000 | #Constraints: 222091
430.88/432.13 c #Conflicts: 1008000 | #Constraints: 223091
430.88/432.13 c #Conflicts: 1009000 | #Constraints: 224091
430.88/432.13 c #Conflicts: 1010000 | #Constraints: 225091
430.88/432.13 c #Conflicts: 1011000 | #Constraints: 226091
430.88/432.13 c #Conflicts: 1012000 | #Constraints: 227091
430.88/432.13 c #Conflicts: 1013000 | #Constraints: 228091
430.88/432.13 c #Conflicts: 1014000 | #Constraints: 229091
430.88/432.13 c #Conflicts: 1015000 | #Constraints: 230091
430.88/432.13 c #Conflicts: 1016000 | #Constraints: 231091
430.88/432.13 c #Conflicts: 1017000 | #Constraints: 232091
430.88/432.13 c #Conflicts: 1018000 | #Constraints: 233091
430.88/432.13 c #Conflicts: 1019000 | #Constraints: 234091
430.88/432.13 c #Conflicts: 1020000 | #Constraints: 235091
430.88/432.13 c #Conflicts: 1021000 | #Constraints: 236091
430.88/432.13 c #Conflicts: 1022000 | #Constraints: 237091
430.88/432.13 c #Conflicts: 1023000 | #Constraints: 238091
430.88/432.13 c #Conflicts: 1024000 | #Constraints: 239091
430.88/432.13 c #Conflicts: 1025000 | #Constraints: 240091
430.88/432.13 c #Conflicts: 1026000 | #Constraints: 241091
455.11/456.47 c #Conflicts: 1027000 | #Constraints: 242091
455.11/456.47 c #Conflicts: 1028000 | #Constraints: 243091
455.11/456.47 c #Conflicts: 1029000 | #Constraints: 244091
455.11/456.47 c #Conflicts: 1030000 | #Constraints: 245091
455.11/456.47 c #Conflicts: 1031000 | #Constraints: 246091
455.11/456.47 c #Conflicts: 1032000 | #Constraints: 247091
455.11/456.47 c #Conflicts: 1033000 | #Constraints: 248091
455.11/456.47 c #Conflicts: 1034000 | #Constraints: 249091
455.11/456.47 c #Conflicts: 1035000 | #Constraints: 250091
455.11/456.47 c #Conflicts: 1036000 | #Constraints: 251091
455.11/456.47 c #Conflicts: 1037000 | #Constraints: 252091
455.11/456.47 c #Conflicts: 1038000 | #Constraints: 253091
455.11/456.47 c #Conflicts: 1039000 | #Constraints: 254091
455.11/456.47 c #Conflicts: 1040000 | #Constraints: 255091
455.11/456.47 c INPROCESSING
455.11/456.47 c GARBAGE COLLECT
455.11/456.47 c #Conflicts: 1041000 | #Constraints: 203636
455.11/456.47 c #Conflicts: 1042000 | #Constraints: 204636
455.11/456.47 c #Conflicts: 1043000 | #Constraints: 205636
455.11/456.47 c #Conflicts: 1044000 | #Constraints: 206636
455.11/456.47 c #Conflicts: 1045000 | #Constraints: 207636
455.11/456.47 c #Conflicts: 1046000 | #Constraints: 208636
455.11/456.47 c #Conflicts: 1047000 | #Constraints: 209636
455.11/456.47 c #Conflicts: 1048000 | #Constraints: 210636
455.11/456.47 c #Conflicts: 1049000 | #Constraints: 211636
455.11/456.47 c #Conflicts: 1050000 | #Constraints: 212636
455.11/456.47 c #Conflicts: 1051000 | #Constraints: 213636
455.11/456.47 c #Conflicts: 1052000 | #Constraints: 214636
455.11/456.47 c #Conflicts: 1053000 | #Constraints: 215636
455.11/456.47 c #Conflicts: 1054000 | #Constraints: 216636
455.11/456.47 c #Conflicts: 1055000 | #Constraints: 217636
455.11/456.47 c #Conflicts: 1056000 | #Constraints: 218636
455.11/456.47 c #Conflicts: 1057000 | #Constraints: 219636
455.11/456.47 c #Conflicts: 1058000 | #Constraints: 220636
455.11/456.47 c #Conflicts: 1059000 | #Constraints: 221636
455.11/456.47 c #Conflicts: 1060000 | #Constraints: 222636
455.11/456.47 c #Conflicts: 1061000 | #Constraints: 223636
455.11/456.47 c #Conflicts: 1062000 | #Constraints: 224636
455.11/456.47 c #Conflicts: 1063000 | #Constraints: 225636
455.11/456.47 c #Conflicts: 1064000 | #Constraints: 226636
455.11/456.47 c #Conflicts: 1065000 | #Constraints: 227636
455.11/456.47 c #Conflicts: 1066000 | #Constraints: 228636
455.11/456.47 c #Conflicts: 1067000 | #Constraints: 229636
455.11/456.47 c #Conflicts: 1068000 | #Constraints: 230636
455.11/456.47 c #Conflicts: 1069000 | #Constraints: 231636
455.11/456.47 c INPROCESSING
455.11/456.47 c GARBAGE COLLECT
455.11/456.47 c #Conflicts: 1070000 | #Constraints: 191918
455.11/456.47 c #Conflicts: 1071000 | #Constraints: 192918
455.11/456.47 c #Conflicts: 1072000 | #Constraints: 193918
455.11/456.47 c #Conflicts: 1073000 | #Constraints: 194918
455.11/456.47 c #Conflicts: 1074000 | #Constraints: 195918
455.11/456.47 c #Conflicts: 1075000 | #Constraints: 196918
455.11/456.47 c #Conflicts: 1076000 | #Constraints: 197918
455.11/456.47 c #Conflicts: 1077000 | #Constraints: 198918
455.11/456.47 c #Conflicts: 1078000 | #Constraints: 199918
455.11/456.47 c #Conflicts: 1079000 | #Constraints: 200918
455.11/456.47 c #Conflicts: 1080000 | #Constraints: 201918
455.11/456.47 c #Conflicts: 1081000 | #Constraints: 202918
455.11/456.47 c #Conflicts: 1082000 | #Constraints: 203918
455.11/456.47 c #Conflicts: 1083000 | #Constraints: 204918
455.11/456.47 c #Conflicts: 1084000 | #Constraints: 205918
455.11/456.47 c #Conflicts: 1085000 | #Constraints: 206918
455.11/456.47 c #Conflicts: 1086000 | #Constraints: 207918
455.11/456.47 c #Conflicts: 1087000 | #Constraints: 208918
455.11/456.47 c #Conflicts: 1088000 | #Constraints: 209918
455.11/456.47 c #Conflicts: 1089000 | #Constraints: 210918
455.11/456.47 c #Conflicts: 1090000 | #Constraints: 211918
455.11/456.47 c #Conflicts: 1091000 | #Constraints: 212918
455.11/456.47 c #Conflicts: 1092000 | #Constraints: 213918
455.11/456.47 c #Conflicts: 1093000 | #Constraints: 214918
455.11/456.47 c #Conflicts: 1094000 | #Constraints: 215918
455.11/456.47 c #Conflicts: 1095000 | #Constraints: 216918
455.11/456.47 c #Conflicts: 1096000 | #Constraints: 217918
455.11/456.47 c #Conflicts: 1097000 | #Constraints: 218918
455.11/456.47 c #Conflicts: 1098000 | #Constraints: 219918
455.11/456.47 c #Conflicts: 1099000 | #Constraints: 220918
455.11/456.47 c #Conflicts: 1100000 | #Constraints: 221918
455.11/456.47 c #Conflicts: 1101000 | #Constraints: 222918
455.11/456.47 c #Conflicts: 1102000 | #Constraints: 223918
455.11/456.47 c #Conflicts: 1103000 | #Constraints: 224918
473.96/475.36 c #Conflicts: 1104000 | #Constraints: 225918
473.96/475.36 c #Conflicts: 1105000 | #Constraints: 226918
473.96/475.36 c #Conflicts: 1106000 | #Constraints: 227918
473.96/475.36 c #Conflicts: 1107000 | #Constraints: 228918
473.96/475.36 c #Conflicts: 1108000 | #Constraints: 229918
473.96/475.36 c #Conflicts: 1109000 | #Constraints: 230918
473.96/475.36 c #Conflicts: 1110000 | #Constraints: 231918
473.96/475.36 c #Conflicts: 1111000 | #Constraints: 232918
473.96/475.36 c #Conflicts: 1112000 | #Constraints: 233918
473.96/475.36 c #Conflicts: 1113000 | #Constraints: 234918
473.96/475.36 c #Conflicts: 1114000 | #Constraints: 235918
473.96/475.36 c #Conflicts: 1115000 | #Constraints: 236918
473.96/475.36 c #Conflicts: 1116000 | #Constraints: 237918
473.96/475.36 c #Conflicts: 1117000 | #Constraints: 238918
473.96/475.36 c #Conflicts: 1118000 | #Constraints: 239918
473.96/475.36 c #Conflicts: 1119000 | #Constraints: 240918
473.96/475.36 c #Conflicts: 1120000 | #Constraints: 241918
473.96/475.36 c #Conflicts: 1121000 | #Constraints: 242918
473.96/475.36 c #Conflicts: 1122000 | #Constraints: 243918
473.96/475.36 c #Conflicts: 1123000 | #Constraints: 244918
473.96/475.36 c #Conflicts: 1124000 | #Constraints: 245918
473.96/475.36 c #Conflicts: 1125000 | #Constraints: 246918
473.96/475.36 c #Conflicts: 1126000 | #Constraints: 247918
473.96/475.36 c #Conflicts: 1127000 | #Constraints: 248918
473.96/475.36 c #Conflicts: 1128000 | #Constraints: 249918
473.96/475.36 c #Conflicts: 1129000 | #Constraints: 250918
473.96/475.36 c #Conflicts: 1130000 | #Constraints: 251918
473.96/475.36 c #Conflicts: 1131000 | #Constraints: 252918
473.96/475.36 c #Conflicts: 1132000 | #Constraints: 253918
473.96/475.36 c #Conflicts: 1133000 | #Constraints: 254918
473.96/475.36 c #Conflicts: 1134000 | #Constraints: 255918
473.96/475.36 c #Conflicts: 1135000 | #Constraints: 256918
473.96/475.36 c #Conflicts: 1136000 | #Constraints: 257918
473.96/475.36 c #Conflicts: 1137000 | #Constraints: 258918
473.96/475.36 c #Conflicts: 1138000 | #Constraints: 259918
473.96/475.36 c INPROCESSING
473.96/475.36 c GARBAGE COLLECT
473.96/475.36 c rational objective 439.75
496.31/497.77 c #Conflicts: 1139000 | #Constraints: 205071
496.31/497.77 c #Conflicts: 1140000 | #Constraints: 206071
496.31/497.77 c #Conflicts: 1141000 | #Constraints: 207071
496.31/497.77 c #Conflicts: 1142000 | #Constraints: 208071
496.31/497.77 c #Conflicts: 1143000 | #Constraints: 209071
496.31/497.77 c #Conflicts: 1144000 | #Constraints: 210071
496.31/497.77 c #Conflicts: 1145000 | #Constraints: 211071
496.31/497.77 c #Conflicts: 1146000 | #Constraints: 212071
496.31/497.77 c #Conflicts: 1147000 | #Constraints: 213071
496.31/497.77 c #Conflicts: 1148000 | #Constraints: 214071
496.31/497.77 c #Conflicts: 1149000 | #Constraints: 215071
496.31/497.77 c #Conflicts: 1150000 | #Constraints: 216071
496.31/497.77 c #Conflicts: 1151000 | #Constraints: 217071
496.31/497.77 c #Conflicts: 1152000 | #Constraints: 218071
496.31/497.77 c #Conflicts: 1153000 | #Constraints: 219071
496.31/497.77 c #Conflicts: 1154000 | #Constraints: 220071
496.31/497.77 c #Conflicts: 1155000 | #Constraints: 221071
496.31/497.77 c #Conflicts: 1156000 | #Constraints: 222071
496.31/497.77 c #Conflicts: 1157000 | #Constraints: 223071
496.31/497.77 c #Conflicts: 1158000 | #Constraints: 224071
496.31/497.77 c #Conflicts: 1159000 | #Constraints: 225071
496.31/497.77 c #Conflicts: 1160000 | #Constraints: 226071
496.31/497.77 c #Conflicts: 1161000 | #Constraints: 227071
496.31/497.77 c #Conflicts: 1162000 | #Constraints: 228071
496.31/497.77 c #Conflicts: 1163000 | #Constraints: 229071
496.31/497.77 c #Conflicts: 1164000 | #Constraints: 230071
496.31/497.77 c #Conflicts: 1165000 | #Constraints: 231071
496.31/497.77 c #Conflicts: 1166000 | #Constraints: 232071
496.31/497.77 c #Conflicts: 1167000 | #Constraints: 233071
496.31/497.77 c #Conflicts: 1168000 | #Constraints: 234071
496.31/497.77 c INPROCESSING
496.31/497.77 c GARBAGE COLLECT
496.31/497.77 c #Conflicts: 1169000 | #Constraints: 192649
496.31/497.77 c #Conflicts: 1170000 | #Constraints: 193649
496.31/497.77 c #Conflicts: 1171000 | #Constraints: 194649
496.31/497.77 c #Conflicts: 1172000 | #Constraints: 195649
496.31/497.77 c #Conflicts: 1173000 | #Constraints: 196649
496.31/497.77 c #Conflicts: 1174000 | #Constraints: 197649
496.31/497.77 c #Conflicts: 1175000 | #Constraints: 198649
496.31/497.77 c #Conflicts: 1176000 | #Constraints: 199649
496.31/497.77 c #Conflicts: 1177000 | #Constraints: 200649
496.31/497.77 c #Conflicts: 1178000 | #Constraints: 201649
496.31/497.77 c #Conflicts: 1179000 | #Constraints: 202649
496.31/497.77 c #Conflicts: 1180000 | #Constraints: 203649
496.31/497.77 c #Conflicts: 1181000 | #Constraints: 204649
496.31/497.77 c #Conflicts: 1182000 | #Constraints: 205649
496.31/497.77 c #Conflicts: 1183000 | #Constraints: 206649
496.31/497.77 c #Conflicts: 1184000 | #Constraints: 207649
496.31/497.77 c #Conflicts: 1185000 | #Constraints: 208649
496.31/497.77 c #Conflicts: 1186000 | #Constraints: 209649
496.31/497.77 c #Conflicts: 1187000 | #Constraints: 210649
496.31/497.77 c #Conflicts: 1188000 | #Constraints: 211649
496.31/497.77 c #Conflicts: 1189000 | #Constraints: 212649
496.31/497.77 c #Conflicts: 1190000 | #Constraints: 213649
496.31/497.77 c #Conflicts: 1191000 | #Constraints: 214649
496.31/497.77 c #Conflicts: 1192000 | #Constraints: 215649
496.31/497.77 c #Conflicts: 1193000 | #Constraints: 216649
496.31/497.77 c #Conflicts: 1194000 | #Constraints: 217649
496.31/497.77 c #Conflicts: 1195000 | #Constraints: 218649
496.31/497.77 c #Conflicts: 1196000 | #Constraints: 219649
496.31/497.77 c #Conflicts: 1197000 | #Constraints: 220649
496.31/497.77 c #Conflicts: 1198000 | #Constraints: 221649
496.31/497.77 c #Conflicts: 1199000 | #Constraints: 222649
496.31/497.77 c #Conflicts: 1200000 | #Constraints: 223649
496.31/497.77 c #Conflicts: 1201000 | #Constraints: 224649
496.31/497.77 c #Conflicts: 1202000 | #Constraints: 225649
496.31/497.77 c #Conflicts: 1203000 | #Constraints: 226649
496.31/497.77 c #Conflicts: 1204000 | #Constraints: 227649
496.31/497.77 c #Conflicts: 1205000 | #Constraints: 228649
496.31/497.77 c #Conflicts: 1206000 | #Constraints: 229649
496.31/497.77 c #Conflicts: 1207000 | #Constraints: 230649
496.31/497.77 c #Conflicts: 1208000 | #Constraints: 231649
496.31/497.77 c #Conflicts: 1209000 | #Constraints: 232649
496.31/497.77 c #Conflicts: 1210000 | #Constraints: 233649
496.31/497.77 c #Conflicts: 1211000 | #Constraints: 234649
496.31/497.77 c #Conflicts: 1212000 | #Constraints: 235649
496.31/497.77 c #Conflicts: 1213000 | #Constraints: 236649
496.31/497.77 c #Conflicts: 1214000 | #Constraints: 237649
496.31/497.77 c #Conflicts: 1215000 | #Constraints: 238649
496.31/497.77 c #Conflicts: 1216000 | #Constraints: 239649
496.31/497.77 c #Conflicts: 1217000 | #Constraints: 240649
512.46/513.98 c #Conflicts: 1218000 | #Constraints: 241649
512.46/513.98 c #Conflicts: 1219000 | #Constraints: 242649
512.46/513.98 c #Conflicts: 1220000 | #Constraints: 243649
512.46/513.98 c #Conflicts: 1221000 | #Constraints: 244649
512.46/513.98 c #Conflicts: 1222000 | #Constraints: 245649
512.46/513.98 c #Conflicts: 1223000 | #Constraints: 246649
512.46/513.98 c #Conflicts: 1224000 | #Constraints: 247649
512.46/513.98 c #Conflicts: 1225000 | #Constraints: 248649
512.46/513.98 c #Conflicts: 1226000 | #Constraints: 249649
512.46/513.98 c #Conflicts: 1227000 | #Constraints: 250649
512.46/513.98 c #Conflicts: 1228000 | #Constraints: 251649
512.46/513.98 c #Conflicts: 1229000 | #Constraints: 252649
512.46/513.98 c #Conflicts: 1230000 | #Constraints: 253649
512.46/513.98 c #Conflicts: 1231000 | #Constraints: 254649
512.46/513.98 c #Conflicts: 1232000 | #Constraints: 255649
512.46/513.98 c #Conflicts: 1233000 | #Constraints: 256649
512.46/513.98 c #Conflicts: 1234000 | #Constraints: 257649
512.46/513.98 c #Conflicts: 1235000 | #Constraints: 258649
512.46/513.98 c #Conflicts: 1236000 | #Constraints: 259649
512.46/513.98 c #Conflicts: 1237000 | #Constraints: 260649
512.46/513.98 c #Conflicts: 1238000 | #Constraints: 261649
512.46/513.98 c #Conflicts: 1239000 | #Constraints: 262649
512.46/513.98 c #Conflicts: 1240000 | #Constraints: 263649
512.46/513.98 c INPROCESSING
512.46/513.98 c GARBAGE COLLECT
512.46/513.98 c rational objective 446.833
537.40/538.94 c #Conflicts: 1241000 | #Constraints: 207752
537.40/538.94 c #Conflicts: 1242000 | #Constraints: 208752
537.40/538.94 c #Conflicts: 1243000 | #Constraints: 209752
537.40/538.94 c #Conflicts: 1244000 | #Constraints: 210752
537.40/538.94 c #Conflicts: 1245000 | #Constraints: 211752
537.40/538.94 c #Conflicts: 1246000 | #Constraints: 212752
537.40/538.94 c #Conflicts: 1247000 | #Constraints: 213752
537.40/538.94 c #Conflicts: 1248000 | #Constraints: 214752
537.40/538.94 c #Conflicts: 1249000 | #Constraints: 215752
537.40/538.94 c #Conflicts: 1250000 | #Constraints: 216752
537.40/538.94 c #Conflicts: 1251000 | #Constraints: 217752
537.40/538.94 c #Conflicts: 1252000 | #Constraints: 218752
537.40/538.94 c #Conflicts: 1253000 | #Constraints: 219752
537.40/538.94 c #Conflicts: 1254000 | #Constraints: 220752
537.40/538.94 c #Conflicts: 1255000 | #Constraints: 221752
537.40/538.94 c #Conflicts: 1256000 | #Constraints: 222752
537.40/538.94 c #Conflicts: 1257000 | #Constraints: 223752
537.40/538.94 c #Conflicts: 1258000 | #Constraints: 224752
537.40/538.94 c #Conflicts: 1259000 | #Constraints: 225752
537.40/538.94 c #Conflicts: 1260000 | #Constraints: 226752
537.40/538.94 c #Conflicts: 1261000 | #Constraints: 227752
537.40/538.94 c #Conflicts: 1262000 | #Constraints: 228752
537.40/538.94 c #Conflicts: 1263000 | #Constraints: 229752
537.40/538.94 c #Conflicts: 1264000 | #Constraints: 230752
537.40/538.94 c #Conflicts: 1265000 | #Constraints: 231752
537.40/538.94 c #Conflicts: 1266000 | #Constraints: 232752
537.40/538.94 c #Conflicts: 1267000 | #Constraints: 233752
537.40/538.94 c #Conflicts: 1268000 | #Constraints: 234752
537.40/538.94 c #Conflicts: 1269000 | #Constraints: 235752
537.40/538.94 c #Conflicts: 1270000 | #Constraints: 236752
537.40/538.94 c #Conflicts: 1271000 | #Constraints: 237752
537.40/538.94 c #Conflicts: 1272000 | #Constraints: 238752
537.40/538.94 c INPROCESSING
537.40/538.94 c GARBAGE COLLECT
537.40/538.94 c #Conflicts: 1273000 | #Constraints: 195333
537.40/538.94 c #Conflicts: 1274000 | #Constraints: 196333
537.40/538.94 c #Conflicts: 1275000 | #Constraints: 197333
537.40/538.94 c #Conflicts: 1276000 | #Constraints: 198333
537.40/538.94 c #Conflicts: 1277000 | #Constraints: 199333
537.40/538.94 c #Conflicts: 1278000 | #Constraints: 200333
537.40/538.94 c #Conflicts: 1279000 | #Constraints: 201333
537.40/538.94 c #Conflicts: 1280000 | #Constraints: 202333
537.40/538.94 c #Conflicts: 1281000 | #Constraints: 203333
537.40/538.94 c #Conflicts: 1282000 | #Constraints: 204333
537.40/538.94 c #Conflicts: 1283000 | #Constraints: 205333
537.40/538.94 c #Conflicts: 1284000 | #Constraints: 206333
537.40/538.94 c #Conflicts: 1285000 | #Constraints: 207333
537.40/538.94 c #Conflicts: 1286000 | #Constraints: 208333
537.40/538.94 c #Conflicts: 1287000 | #Constraints: 209333
537.40/538.94 c #Conflicts: 1288000 | #Constraints: 210333
537.40/538.94 c #Conflicts: 1289000 | #Constraints: 211333
537.40/538.94 c #Conflicts: 1290000 | #Constraints: 212333
537.40/538.94 c #Conflicts: 1291000 | #Constraints: 213333
537.40/538.94 c #Conflicts: 1292000 | #Constraints: 214333
537.40/538.94 c #Conflicts: 1293000 | #Constraints: 215333
537.40/538.94 c #Conflicts: 1294000 | #Constraints: 216333
537.40/538.94 c #Conflicts: 1295000 | #Constraints: 217333
537.40/538.94 c #Conflicts: 1296000 | #Constraints: 218333
537.40/538.94 c #Conflicts: 1297000 | #Constraints: 219333
537.40/538.94 c #Conflicts: 1298000 | #Constraints: 220333
537.40/538.94 c #Conflicts: 1299000 | #Constraints: 221333
537.40/538.94 c #Conflicts: 1300000 | #Constraints: 222333
537.40/538.94 c #Conflicts: 1301000 | #Constraints: 223333
537.40/538.94 c #Conflicts: 1302000 | #Constraints: 224333
537.40/538.94 c #Conflicts: 1303000 | #Constraints: 225333
537.40/538.94 c #Conflicts: 1304000 | #Constraints: 226333
537.40/538.94 c #Conflicts: 1305000 | #Constraints: 227333
537.40/538.94 c #Conflicts: 1306000 | #Constraints: 228333
537.40/538.94 c #Conflicts: 1307000 | #Constraints: 229333
537.40/538.94 c #Conflicts: 1308000 | #Constraints: 230333
537.40/538.94 c #Conflicts: 1309000 | #Constraints: 231333
537.40/538.94 c #Conflicts: 1310000 | #Constraints: 232333
537.40/538.94 c #Conflicts: 1311000 | #Constraints: 233333
537.40/538.94 c #Conflicts: 1312000 | #Constraints: 234333
537.40/538.94 c #Conflicts: 1313000 | #Constraints: 235333
537.40/538.94 c #Conflicts: 1314000 | #Constraints: 236333
537.40/538.94 c #Conflicts: 1315000 | #Constraints: 237333
537.40/538.94 c #Conflicts: 1316000 | #Constraints: 238333
537.40/538.94 c #Conflicts: 1317000 | #Constraints: 239333
537.40/538.94 c #Conflicts: 1318000 | #Constraints: 240333
537.40/538.94 c #Conflicts: 1319000 | #Constraints: 241333
571.21/572.89 c #Conflicts: 1320000 | #Constraints: 242333
571.21/572.89 c #Conflicts: 1321000 | #Constraints: 243333
571.21/572.89 c #Conflicts: 1322000 | #Constraints: 244333
571.21/572.89 c #Conflicts: 1323000 | #Constraints: 245333
571.21/572.89 c #Conflicts: 1324000 | #Constraints: 246333
571.21/572.89 c #Conflicts: 1325000 | #Constraints: 247333
571.21/572.89 c #Conflicts: 1326000 | #Constraints: 248333
571.21/572.89 c #Conflicts: 1327000 | #Constraints: 249333
571.21/572.89 c #Conflicts: 1328000 | #Constraints: 250333
571.21/572.89 c #Conflicts: 1329000 | #Constraints: 251333
571.21/572.89 c #Conflicts: 1330000 | #Constraints: 252333
571.21/572.89 c #Conflicts: 1331000 | #Constraints: 253333
571.21/572.89 c #Conflicts: 1332000 | #Constraints: 254333
571.21/572.89 c #Conflicts: 1333000 | #Constraints: 255333
571.21/572.89 c #Conflicts: 1334000 | #Constraints: 256333
571.21/572.89 c #Conflicts: 1335000 | #Constraints: 257333
571.21/572.89 c #Conflicts: 1336000 | #Constraints: 258333
571.21/572.89 c #Conflicts: 1337000 | #Constraints: 259333
571.21/572.89 c #Conflicts: 1338000 | #Constraints: 260333
571.21/572.89 c #Conflicts: 1339000 | #Constraints: 261333
571.21/572.89 c #Conflicts: 1340000 | #Constraints: 262333
571.21/572.89 c #Conflicts: 1341000 | #Constraints: 263333
571.21/572.89 c #Conflicts: 1342000 | #Constraints: 264333
571.21/572.89 c #Conflicts: 1343000 | #Constraints: 265333
571.21/572.89 c #Conflicts: 1344000 | #Constraints: 266333
571.21/572.89 c #Conflicts: 1345000 | #Constraints: 267333
571.21/572.89 c #Conflicts: 1346000 | #Constraints: 268333
571.21/572.89 c #Conflicts: 1347000 | #Constraints: 269333
571.21/572.89 c INPROCESSING
571.21/572.89 c GARBAGE COLLECT
571.21/572.89 c #Conflicts: 1348000 | #Constraints: 210477
571.21/572.89 c #Conflicts: 1349000 | #Constraints: 211477
571.21/572.89 c #Conflicts: 1350000 | #Constraints: 212477
571.21/572.89 c #Conflicts: 1351000 | #Constraints: 213477
571.21/572.89 c #Conflicts: 1352000 | #Constraints: 214477
571.21/572.89 c #Conflicts: 1353000 | #Constraints: 215477
571.21/572.89 c #Conflicts: 1354000 | #Constraints: 216477
571.21/572.89 c #Conflicts: 1355000 | #Constraints: 217477
571.21/572.89 c #Conflicts: 1356000 | #Constraints: 218477
571.21/572.89 c #Conflicts: 1357000 | #Constraints: 219477
571.21/572.89 c #Conflicts: 1358000 | #Constraints: 220477
571.21/572.89 c #Conflicts: 1359000 | #Constraints: 221477
571.21/572.89 c #Conflicts: 1360000 | #Constraints: 222477
571.21/572.89 c #Conflicts: 1361000 | #Constraints: 223477
571.21/572.89 c #Conflicts: 1362000 | #Constraints: 224477
571.21/572.89 c #Conflicts: 1363000 | #Constraints: 225477
571.21/572.89 c #Conflicts: 1364000 | #Constraints: 226477
571.21/572.89 c #Conflicts: 1365000 | #Constraints: 227477
571.21/572.89 c #Conflicts: 1366000 | #Constraints: 228477
571.21/572.89 c #Conflicts: 1367000 | #Constraints: 229477
571.21/572.89 c #Conflicts: 1368000 | #Constraints: 230477
571.21/572.89 c #Conflicts: 1369000 | #Constraints: 231477
571.21/572.89 c #Conflicts: 1370000 | #Constraints: 232477
571.21/572.89 c #Conflicts: 1371000 | #Constraints: 233477
571.21/572.89 c #Conflicts: 1372000 | #Constraints: 234477
571.21/572.89 c #Conflicts: 1373000 | #Constraints: 235477
571.21/572.89 c #Conflicts: 1374000 | #Constraints: 236477
571.21/572.89 c #Conflicts: 1375000 | #Constraints: 237477
571.21/572.89 c #Conflicts: 1376000 | #Constraints: 238477
571.21/572.89 c #Conflicts: 1377000 | #Constraints: 239477
571.21/572.89 c #Conflicts: 1378000 | #Constraints: 240477
571.21/572.89 c #Conflicts: 1379000 | #Constraints: 241477
571.21/572.89 c #Conflicts: 1380000 | #Constraints: 242477
571.21/572.89 c INPROCESSING
571.21/572.89 c GARBAGE COLLECT
571.21/572.89 c rational objective 450.75
600.74/602.42 c #Conflicts: 1381000 | #Constraints: 196810
600.74/602.42 c #Conflicts: 1382000 | #Constraints: 197810
600.74/602.42 c #Conflicts: 1383000 | #Constraints: 198810
600.74/602.42 c #Conflicts: 1384000 | #Constraints: 199810
600.74/602.42 c #Conflicts: 1385000 | #Constraints: 200810
600.74/602.42 c #Conflicts: 1386000 | #Constraints: 201810
600.74/602.42 c #Conflicts: 1387000 | #Constraints: 202810
600.74/602.42 c #Conflicts: 1388000 | #Constraints: 203810
600.74/602.42 c #Conflicts: 1389000 | #Constraints: 204810
600.74/602.42 c #Conflicts: 1390000 | #Constraints: 205810
600.74/602.42 c #Conflicts: 1391000 | #Constraints: 206810
600.74/602.42 c #Conflicts: 1392000 | #Constraints: 207810
600.74/602.42 c #Conflicts: 1393000 | #Constraints: 208810
600.74/602.42 c #Conflicts: 1394000 | #Constraints: 209810
600.74/602.42 c #Conflicts: 1395000 | #Constraints: 210810
600.74/602.42 c #Conflicts: 1396000 | #Constraints: 211810
600.74/602.42 c #Conflicts: 1397000 | #Constraints: 212810
600.74/602.42 c #Conflicts: 1398000 | #Constraints: 213810
600.74/602.42 c #Conflicts: 1399000 | #Constraints: 214810
600.74/602.42 c #Conflicts: 1400000 | #Constraints: 215810
600.74/602.42 c #Conflicts: 1401000 | #Constraints: 216810
600.74/602.42 c #Conflicts: 1402000 | #Constraints: 217810
600.74/602.42 c #Conflicts: 1403000 | #Constraints: 218810
600.74/602.42 c #Conflicts: 1404000 | #Constraints: 219810
600.74/602.42 c #Conflicts: 1405000 | #Constraints: 220810
600.74/602.42 c #Conflicts: 1406000 | #Constraints: 221810
600.74/602.42 c #Conflicts: 1407000 | #Constraints: 222810
600.74/602.42 c #Conflicts: 1408000 | #Constraints: 223810
600.74/602.42 c #Conflicts: 1409000 | #Constraints: 224810
600.74/602.42 c #Conflicts: 1410000 | #Constraints: 225810
600.74/602.42 c #Conflicts: 1411000 | #Constraints: 226810
600.74/602.42 c #Conflicts: 1412000 | #Constraints: 227810
600.74/602.42 c #Conflicts: 1413000 | #Constraints: 228810
600.74/602.42 c #Conflicts: 1414000 | #Constraints: 229810
600.74/602.42 c #Conflicts: 1415000 | #Constraints: 230810
600.74/602.42 c #Conflicts: 1416000 | #Constraints: 231810
600.74/602.42 c #Conflicts: 1417000 | #Constraints: 232810
600.74/602.42 c #Conflicts: 1418000 | #Constraints: 233810
600.74/602.42 c #Conflicts: 1419000 | #Constraints: 234810
600.74/602.42 c #Conflicts: 1420000 | #Constraints: 235810
600.74/602.42 c #Conflicts: 1421000 | #Constraints: 236810
600.74/602.42 c #Conflicts: 1422000 | #Constraints: 237810
600.74/602.42 c #Conflicts: 1423000 | #Constraints: 238810
600.74/602.42 c #Conflicts: 1424000 | #Constraints: 239810
600.74/602.42 c #Conflicts: 1425000 | #Constraints: 240810
600.74/602.42 c #Conflicts: 1426000 | #Constraints: 241810
600.74/602.42 c #Conflicts: 1427000 | #Constraints: 242810
600.74/602.42 c #Conflicts: 1428000 | #Constraints: 243810
600.74/602.42 c #Conflicts: 1429000 | #Constraints: 244810
600.74/602.42 c #Conflicts: 1430000 | #Constraints: 245810
600.74/602.42 c #Conflicts: 1431000 | #Constraints: 246810
600.74/602.42 c #Conflicts: 1432000 | #Constraints: 247810
600.74/602.42 c #Conflicts: 1433000 | #Constraints: 248810
600.74/602.42 c #Conflicts: 1434000 | #Constraints: 249810
600.74/602.42 c #Conflicts: 1435000 | #Constraints: 250810
600.74/602.42 c #Conflicts: 1436000 | #Constraints: 251810
600.74/602.42 c #Conflicts: 1437000 | #Constraints: 252810
600.74/602.42 c #Conflicts: 1438000 | #Constraints: 253810
600.74/602.42 c #Conflicts: 1439000 | #Constraints: 254810
600.74/602.42 c #Conflicts: 1440000 | #Constraints: 255810
600.74/602.42 c #Conflicts: 1441000 | #Constraints: 256810
600.74/602.42 c #Conflicts: 1442000 | #Constraints: 257810
600.74/602.42 c #Conflicts: 1443000 | #Constraints: 258810
600.74/602.42 c #Conflicts: 1444000 | #Constraints: 259810
600.74/602.42 c #Conflicts: 1445000 | #Constraints: 260810
600.74/602.42 c #Conflicts: 1446000 | #Constraints: 261810
600.74/602.42 c #Conflicts: 1447000 | #Constraints: 262810
600.74/602.42 c #Conflicts: 1448000 | #Constraints: 263810
600.74/602.42 c #Conflicts: 1449000 | #Constraints: 264810
600.74/602.42 c #Conflicts: 1450000 | #Constraints: 265810
600.74/602.42 c #Conflicts: 1451000 | #Constraints: 266810
600.74/602.42 c #Conflicts: 1452000 | #Constraints: 267810
600.74/602.42 c #Conflicts: 1453000 | #Constraints: 268810
600.74/602.42 c #Conflicts: 1454000 | #Constraints: 269810
600.74/602.42 c #Conflicts: 1455000 | #Constraints: 270810
600.74/602.42 c #Conflicts: 1456000 | #Constraints: 271810
600.74/602.42 c #Conflicts: 1457000 | #Constraints: 272810
600.74/602.42 c #Conflicts: 1458000 | #Constraints: 273810
600.74/602.42 c INPROCESSING
600.74/602.42 c GARBAGE COLLECT
600.74/602.42 c #Conflicts: 1459000 | #Constraints: 203102
625.98/627.74 c #Conflicts: 1460000 | #Constraints: 204102
625.98/627.74 c #Conflicts: 1461000 | #Constraints: 205102
625.98/627.74 c #Conflicts: 1462000 | #Constraints: 206102
625.98/627.74 c #Conflicts: 1463000 | #Constraints: 207102
625.98/627.74 c #Conflicts: 1464000 | #Constraints: 208102
625.98/627.74 c #Conflicts: 1465000 | #Constraints: 209102
625.98/627.74 c #Conflicts: 1466000 | #Constraints: 210102
625.98/627.74 c #Conflicts: 1467000 | #Constraints: 211102
625.98/627.74 c #Conflicts: 1468000 | #Constraints: 212102
625.98/627.74 c #Conflicts: 1469000 | #Constraints: 213102
625.98/627.74 c #Conflicts: 1470000 | #Constraints: 214102
625.98/627.74 c #Conflicts: 1471000 | #Constraints: 215102
625.98/627.74 c #Conflicts: 1472000 | #Constraints: 216102
625.98/627.74 c #Conflicts: 1473000 | #Constraints: 217102
625.98/627.74 c #Conflicts: 1474000 | #Constraints: 218102
625.98/627.74 c #Conflicts: 1475000 | #Constraints: 219102
625.98/627.74 c #Conflicts: 1476000 | #Constraints: 220102
625.98/627.74 c #Conflicts: 1477000 | #Constraints: 221102
625.98/627.74 c #Conflicts: 1478000 | #Constraints: 222102
625.98/627.74 c #Conflicts: 1479000 | #Constraints: 223102
625.98/627.74 c #Conflicts: 1480000 | #Constraints: 224102
625.98/627.74 c #Conflicts: 1481000 | #Constraints: 225102
625.98/627.74 c #Conflicts: 1482000 | #Constraints: 226102
625.98/627.74 c #Conflicts: 1483000 | #Constraints: 227102
625.98/627.74 c #Conflicts: 1484000 | #Constraints: 228102
625.98/627.74 c #Conflicts: 1485000 | #Constraints: 229102
625.98/627.74 c #Conflicts: 1486000 | #Constraints: 230102
625.98/627.74 c #Conflicts: 1487000 | #Constraints: 231102
625.98/627.74 c #Conflicts: 1488000 | #Constraints: 232102
625.98/627.74 c #Conflicts: 1489000 | #Constraints: 233102
625.98/627.74 c #Conflicts: 1490000 | #Constraints: 234102
625.98/627.74 c #Conflicts: 1491000 | #Constraints: 235102
625.98/627.74 c #Conflicts: 1492000 | #Constraints: 236102
625.98/627.74 c INPROCESSING
625.98/627.74 c GARBAGE COLLECT
625.98/627.74 c #Conflicts: 1493000 | #Constraints: 189417
625.98/627.74 c #Conflicts: 1494000 | #Constraints: 190417
625.98/627.74 c #Conflicts: 1495000 | #Constraints: 191417
625.98/627.74 c #Conflicts: 1496000 | #Constraints: 192417
625.98/627.74 c #Conflicts: 1497000 | #Constraints: 193417
625.98/627.74 c #Conflicts: 1498000 | #Constraints: 194417
625.98/627.74 c #Conflicts: 1499000 | #Constraints: 195417
625.98/627.74 c #Conflicts: 1500000 | #Constraints: 196417
625.98/627.74 c #Conflicts: 1501000 | #Constraints: 197417
625.98/627.74 c #Conflicts: 1502000 | #Constraints: 198417
625.98/627.74 c #Conflicts: 1503000 | #Constraints: 199417
625.98/627.74 c #Conflicts: 1504000 | #Constraints: 200417
625.98/627.74 c #Conflicts: 1505000 | #Constraints: 201417
625.98/627.74 c #Conflicts: 1506000 | #Constraints: 202417
625.98/627.74 c #Conflicts: 1507000 | #Constraints: 203417
625.98/627.74 c #Conflicts: 1508000 | #Constraints: 204417
625.98/627.74 c #Conflicts: 1509000 | #Constraints: 205417
625.98/627.74 c #Conflicts: 1510000 | #Constraints: 206417
625.98/627.74 c #Conflicts: 1511000 | #Constraints: 207417
625.98/627.74 c #Conflicts: 1512000 | #Constraints: 208417
625.98/627.74 c #Conflicts: 1513000 | #Constraints: 209417
625.98/627.74 c #Conflicts: 1514000 | #Constraints: 210417
625.98/627.74 c #Conflicts: 1515000 | #Constraints: 211417
625.98/627.74 c #Conflicts: 1516000 | #Constraints: 212417
625.98/627.74 c #Conflicts: 1517000 | #Constraints: 213417
625.98/627.74 c #Conflicts: 1518000 | #Constraints: 214417
625.98/627.74 c #Conflicts: 1519000 | #Constraints: 215417
625.98/627.74 c #Conflicts: 1520000 | #Constraints: 216417
625.98/627.74 c #Conflicts: 1521000 | #Constraints: 217417
625.98/627.74 c #Conflicts: 1522000 | #Constraints: 218417
625.98/627.74 c #Conflicts: 1523000 | #Constraints: 219417
625.98/627.74 c #Conflicts: 1524000 | #Constraints: 220417
625.98/627.74 c #Conflicts: 1525000 | #Constraints: 221417
625.98/627.74 c #Conflicts: 1526000 | #Constraints: 222417
625.98/627.74 c #Conflicts: 1527000 | #Constraints: 223417
625.98/627.74 c #Conflicts: 1528000 | #Constraints: 224417
625.98/627.74 c #Conflicts: 1529000 | #Constraints: 225417
625.98/627.74 c #Conflicts: 1530000 | #Constraints: 226417
625.98/627.74 c #Conflicts: 1531000 | #Constraints: 227417
625.98/627.74 c #Conflicts: 1532000 | #Constraints: 228417
625.98/627.74 c #Conflicts: 1533000 | #Constraints: 229417
625.98/627.74 c #Conflicts: 1534000 | #Constraints: 230417
625.98/627.74 c #Conflicts: 1535000 | #Constraints: 231417
625.98/627.74 c #Conflicts: 1536000 | #Constraints: 232417
625.98/627.74 c #Conflicts: 1537000 | #Constraints: 233417
645.74/647.52 c #Conflicts: 1538000 | #Constraints: 234417
645.74/647.52 c #Conflicts: 1539000 | #Constraints: 235417
645.74/647.52 c #Conflicts: 1540000 | #Constraints: 236417
645.74/647.52 c #Conflicts: 1541000 | #Constraints: 237417
645.74/647.52 c #Conflicts: 1542000 | #Constraints: 238417
645.74/647.52 c #Conflicts: 1543000 | #Constraints: 239417
645.74/647.52 c #Conflicts: 1544000 | #Constraints: 240417
645.74/647.52 c #Conflicts: 1545000 | #Constraints: 241417
645.74/647.52 c #Conflicts: 1546000 | #Constraints: 242417
645.74/647.52 c #Conflicts: 1547000 | #Constraints: 243417
645.74/647.52 c #Conflicts: 1548000 | #Constraints: 244417
645.74/647.52 c #Conflicts: 1549000 | #Constraints: 245417
645.74/647.52 c #Conflicts: 1550000 | #Constraints: 246417
645.74/647.52 c #Conflicts: 1551000 | #Constraints: 247417
645.74/647.52 c #Conflicts: 1552000 | #Constraints: 248417
645.74/647.52 c #Conflicts: 1553000 | #Constraints: 249417
645.74/647.52 c #Conflicts: 1554000 | #Constraints: 250417
645.74/647.52 c #Conflicts: 1555000 | #Constraints: 251417
645.74/647.52 c #Conflicts: 1556000 | #Constraints: 252417
645.74/647.52 c #Conflicts: 1557000 | #Constraints: 253417
645.74/647.52 c #Conflicts: 1558000 | #Constraints: 254417
645.74/647.52 c #Conflicts: 1559000 | #Constraints: 255417
645.74/647.52 c #Conflicts: 1560000 | #Constraints: 256417
645.74/647.52 c #Conflicts: 1561000 | #Constraints: 257417
645.74/647.52 c #Conflicts: 1562000 | #Constraints: 258417
645.74/647.52 c #Conflicts: 1563000 | #Constraints: 259417
645.74/647.52 c #Conflicts: 1564000 | #Constraints: 260417
645.74/647.52 c #Conflicts: 1565000 | #Constraints: 261417
645.74/647.52 c #Conflicts: 1566000 | #Constraints: 262417
645.74/647.52 c #Conflicts: 1567000 | #Constraints: 263417
645.74/647.52 c #Conflicts: 1568000 | #Constraints: 264417
645.74/647.52 c #Conflicts: 1569000 | #Constraints: 265417
645.74/647.52 c #Conflicts: 1570000 | #Constraints: 266417
645.74/647.52 c #Conflicts: 1571000 | #Constraints: 267417
645.74/647.52 c #Conflicts: 1572000 | #Constraints: 268417
645.74/647.52 c #Conflicts: 1573000 | #Constraints: 269417
645.74/647.52 c #Conflicts: 1574000 | #Constraints: 270417
645.74/647.52 c INPROCESSING
645.74/647.52 c GARBAGE COLLECT
645.74/647.52 c rational objective 538.028
673.28/675.11 c #Conflicts: 1575000 | #Constraints: 207346
673.28/675.11 c #Conflicts: 1576000 | #Constraints: 208346
673.28/675.11 c #Conflicts: 1577000 | #Constraints: 209346
673.28/675.11 c #Conflicts: 1578000 | #Constraints: 210346
673.28/675.11 c #Conflicts: 1579000 | #Constraints: 211346
673.28/675.11 c #Conflicts: 1580000 | #Constraints: 212346
673.28/675.11 c #Conflicts: 1581000 | #Constraints: 213346
673.28/675.11 c #Conflicts: 1582000 | #Constraints: 214346
673.28/675.11 c #Conflicts: 1583000 | #Constraints: 215346
673.28/675.11 c #Conflicts: 1584000 | #Constraints: 216346
673.28/675.11 c #Conflicts: 1585000 | #Constraints: 217346
673.28/675.11 c #Conflicts: 1586000 | #Constraints: 218346
673.28/675.11 c #Conflicts: 1587000 | #Constraints: 219346
673.28/675.11 c #Conflicts: 1588000 | #Constraints: 220346
673.28/675.11 c #Conflicts: 1589000 | #Constraints: 221346
673.28/675.11 c #Conflicts: 1590000 | #Constraints: 222346
673.28/675.11 c #Conflicts: 1591000 | #Constraints: 223346
673.28/675.11 c #Conflicts: 1592000 | #Constraints: 224346
673.28/675.11 c #Conflicts: 1593000 | #Constraints: 225346
673.28/675.11 c #Conflicts: 1594000 | #Constraints: 226346
673.28/675.11 c #Conflicts: 1595000 | #Constraints: 227346
673.28/675.11 c #Conflicts: 1596000 | #Constraints: 228346
673.28/675.11 c #Conflicts: 1597000 | #Constraints: 229346
673.28/675.11 c #Conflicts: 1598000 | #Constraints: 230346
673.28/675.11 c #Conflicts: 1599000 | #Constraints: 231346
673.28/675.11 c #Conflicts: 1600000 | #Constraints: 232346
673.28/675.11 c #Conflicts: 1601000 | #Constraints: 233346
673.28/675.11 c #Conflicts: 1602000 | #Constraints: 234346
673.28/675.11 c #Conflicts: 1603000 | #Constraints: 235346
673.28/675.11 c #Conflicts: 1604000 | #Constraints: 236346
673.28/675.11 c #Conflicts: 1605000 | #Constraints: 237346
673.28/675.11 c #Conflicts: 1606000 | #Constraints: 238346
673.28/675.11 c #Conflicts: 1607000 | #Constraints: 239346
673.28/675.11 c #Conflicts: 1608000 | #Constraints: 240346
673.28/675.11 c #Conflicts: 1609000 | #Constraints: 241346
673.28/675.11 c INPROCESSING
673.28/675.11 c GARBAGE COLLECT
673.28/675.11 c #Conflicts: 1610000 | #Constraints: 192706
673.28/675.11 c #Conflicts: 1611000 | #Constraints: 193706
673.28/675.11 c #Conflicts: 1612000 | #Constraints: 194706
673.28/675.11 c #Conflicts: 1613000 | #Constraints: 195706
673.28/675.11 c #Conflicts: 1614000 | #Constraints: 196706
673.28/675.11 c #Conflicts: 1615000 | #Constraints: 197706
673.28/675.11 c #Conflicts: 1616000 | #Constraints: 198706
673.28/675.11 c #Conflicts: 1617000 | #Constraints: 199706
673.28/675.11 c #Conflicts: 1618000 | #Constraints: 200706
673.28/675.11 c #Conflicts: 1619000 | #Constraints: 201706
673.28/675.11 c #Conflicts: 1620000 | #Constraints: 202706
673.28/675.11 c #Conflicts: 1621000 | #Constraints: 203706
673.28/675.11 c #Conflicts: 1622000 | #Constraints: 204706
673.28/675.11 c #Conflicts: 1623000 | #Constraints: 205706
673.28/675.11 c #Conflicts: 1624000 | #Constraints: 206706
673.28/675.11 c #Conflicts: 1625000 | #Constraints: 207706
673.28/675.11 c #Conflicts: 1626000 | #Constraints: 208706
673.28/675.11 c #Conflicts: 1627000 | #Constraints: 209706
673.28/675.11 c #Conflicts: 1628000 | #Constraints: 210706
673.28/675.11 c #Conflicts: 1629000 | #Constraints: 211706
673.28/675.11 c #Conflicts: 1630000 | #Constraints: 212706
673.28/675.11 c #Conflicts: 1631000 | #Constraints: 213706
673.28/675.11 c #Conflicts: 1632000 | #Constraints: 214706
673.28/675.11 c #Conflicts: 1633000 | #Constraints: 215706
673.28/675.11 c #Conflicts: 1634000 | #Constraints: 216706
673.28/675.11 c #Conflicts: 1635000 | #Constraints: 217706
673.28/675.11 c #Conflicts: 1636000 | #Constraints: 218706
673.28/675.11 c #Conflicts: 1637000 | #Constraints: 219706
673.28/675.11 c #Conflicts: 1638000 | #Constraints: 220706
673.28/675.11 c #Conflicts: 1639000 | #Constraints: 221706
673.28/675.11 c #Conflicts: 1640000 | #Constraints: 222706
673.28/675.11 c #Conflicts: 1641000 | #Constraints: 223706
673.28/675.11 c #Conflicts: 1642000 | #Constraints: 224706
673.28/675.11 c #Conflicts: 1643000 | #Constraints: 225706
673.28/675.11 c #Conflicts: 1644000 | #Constraints: 226706
673.28/675.11 c #Conflicts: 1645000 | #Constraints: 227706
673.28/675.11 c #Conflicts: 1646000 | #Constraints: 228706
673.28/675.11 c #Conflicts: 1647000 | #Constraints: 229706
673.28/675.11 c #Conflicts: 1648000 | #Constraints: 230706
673.28/675.11 c #Conflicts: 1649000 | #Constraints: 231706
673.28/675.11 c #Conflicts: 1650000 | #Constraints: 232706
673.28/675.11 c #Conflicts: 1651000 | #Constraints: 233706
673.28/675.11 c #Conflicts: 1652000 | #Constraints: 234706
673.28/675.11 c #Conflicts: 1653000 | #Constraints: 235706
693.02/694.96 c #Conflicts: 1654000 | #Constraints: 236706
693.02/694.96 c #Conflicts: 1655000 | #Constraints: 237706
693.02/694.96 c #Conflicts: 1656000 | #Constraints: 238706
693.02/694.96 c #Conflicts: 1657000 | #Constraints: 239706
693.02/694.96 c #Conflicts: 1658000 | #Constraints: 240706
693.02/694.96 c #Conflicts: 1659000 | #Constraints: 241706
693.02/694.96 c #Conflicts: 1660000 | #Constraints: 242706
693.02/694.96 c #Conflicts: 1661000 | #Constraints: 243706
693.02/694.96 c #Conflicts: 1662000 | #Constraints: 244706
693.02/694.96 c #Conflicts: 1663000 | #Constraints: 245706
693.02/694.96 c #Conflicts: 1664000 | #Constraints: 246706
693.02/694.96 c #Conflicts: 1665000 | #Constraints: 247706
693.02/694.96 c #Conflicts: 1666000 | #Constraints: 248706
693.02/694.96 c #Conflicts: 1667000 | #Constraints: 249706
693.02/694.96 c #Conflicts: 1668000 | #Constraints: 250706
693.02/694.96 c #Conflicts: 1669000 | #Constraints: 251706
693.02/694.96 c #Conflicts: 1670000 | #Constraints: 252706
693.02/694.96 c #Conflicts: 1671000 | #Constraints: 253706
693.02/694.96 c #Conflicts: 1672000 | #Constraints: 254706
693.02/694.96 c #Conflicts: 1673000 | #Constraints: 255706
693.02/694.96 c #Conflicts: 1674000 | #Constraints: 256706
693.02/694.96 c #Conflicts: 1675000 | #Constraints: 257706
693.02/694.96 c #Conflicts: 1676000 | #Constraints: 258706
693.02/694.96 c #Conflicts: 1677000 | #Constraints: 259706
693.02/694.96 c #Conflicts: 1678000 | #Constraints: 260706
693.02/694.96 c #Conflicts: 1679000 | #Constraints: 261706
693.02/694.96 c #Conflicts: 1680000 | #Constraints: 262706
693.02/694.96 c #Conflicts: 1681000 | #Constraints: 263706
693.02/694.96 c #Conflicts: 1682000 | #Constraints: 264706
693.02/694.96 c #Conflicts: 1683000 | #Constraints: 265706
693.02/694.96 c #Conflicts: 1684000 | #Constraints: 266706
693.02/694.96 c #Conflicts: 1685000 | #Constraints: 267706
693.02/694.96 c #Conflicts: 1686000 | #Constraints: 268706
693.02/694.96 c #Conflicts: 1687000 | #Constraints: 269706
693.02/694.96 c #Conflicts: 1688000 | #Constraints: 270706
693.02/694.96 c #Conflicts: 1689000 | #Constraints: 271706
693.02/694.96 c #Conflicts: 1690000 | #Constraints: 272707
693.02/694.96 c #Conflicts: 1691000 | #Constraints: 273707
693.02/694.96 c #Conflicts: 1692000 | #Constraints: 274707
693.02/694.96 c #Conflicts: 1693000 | #Constraints: 275707
693.02/694.96 c #Conflicts: 1694000 | #Constraints: 276707
693.02/694.96 c INPROCESSING
693.02/694.96 c GARBAGE COLLECT
693.02/694.96 c rational objective 541.942
711.28/713.26 c #Conflicts: 1695000 | #Constraints: 207639
711.28/713.26 c #Conflicts: 1696000 | #Constraints: 208639
711.28/713.26 c #Conflicts: 1697000 | #Constraints: 209639
711.28/713.26 c #Conflicts: 1698000 | #Constraints: 210639
711.28/713.26 c #Conflicts: 1699000 | #Constraints: 211639
711.28/713.26 c #Conflicts: 1700000 | #Constraints: 212639
711.28/713.26 c #Conflicts: 1701000 | #Constraints: 213639
711.28/713.26 c #Conflicts: 1702000 | #Constraints: 214639
711.28/713.26 c #Conflicts: 1703000 | #Constraints: 215639
711.28/713.26 c #Conflicts: 1704000 | #Constraints: 216639
711.28/713.26 c #Conflicts: 1705000 | #Constraints: 217639
711.28/713.26 c #Conflicts: 1706000 | #Constraints: 218639
711.28/713.26 c #Conflicts: 1707000 | #Constraints: 219639
711.28/713.26 c #Conflicts: 1708000 | #Constraints: 220639
711.28/713.26 c #Conflicts: 1709000 | #Constraints: 221639
711.28/713.26 c #Conflicts: 1710000 | #Constraints: 222639
711.28/713.26 c #Conflicts: 1711000 | #Constraints: 223639
711.28/713.26 c #Conflicts: 1712000 | #Constraints: 224639
711.28/713.26 c #Conflicts: 1713000 | #Constraints: 225639
711.28/713.26 c #Conflicts: 1714000 | #Constraints: 226639
711.28/713.26 c #Conflicts: 1715000 | #Constraints: 227639
711.28/713.26 c #Conflicts: 1716000 | #Constraints: 228639
711.28/713.26 c #Conflicts: 1717000 | #Constraints: 229639
711.28/713.26 c #Conflicts: 1718000 | #Constraints: 230639
711.28/713.26 c #Conflicts: 1719000 | #Constraints: 231639
711.28/713.26 c #Conflicts: 1720000 | #Constraints: 232639
711.28/713.26 c #Conflicts: 1721000 | #Constraints: 233639
711.28/713.26 c #Conflicts: 1722000 | #Constraints: 234639
711.28/713.26 c #Conflicts: 1723000 | #Constraints: 235639
711.28/713.26 c #Conflicts: 1724000 | #Constraints: 236639
711.28/713.26 c #Conflicts: 1725000 | #Constraints: 237639
711.28/713.26 c #Conflicts: 1726000 | #Constraints: 238639
711.28/713.26 c cpu time 701.478 s
711.28/713.26 c deterministic time 11054218837 1.11e+10
711.28/713.26 c optimization time 8.4e-05 s
711.28/713.26 c total solve time 700.936 s
711.28/713.26 c core-guided solve time 0 s
711.28/713.26 c propagation time 201.631 s
711.28/713.26 c conflict analysis time 112.663 s
711.28/713.26 c propagations 544833227
711.28/713.26 c resolve steps 35061219
711.28/713.26 c decisions 6733322
711.28/713.26 c conflicts 1726235
711.28/713.26 c restarts 3323
711.28/713.26 c inprocessing phases 55
711.28/713.26 c garbage collections 48 ,( 87.27 )
711.28/713.26 c input clauses 137472 ,( 89.42 )
711.28/713.26 c input cardinalities 563 ,( 0.37 )
711.28/713.26 c input general constraints 15694 ,( 10.21 )
711.28/713.26 c input average constraint length 3.92
711.28/713.26 c input average constraint degree 1.12
711.28/713.26 c learned clauses 1725311 ,( 99.94 )
711.28/713.26 c learned cardinalities 626 ,( 0.04 )
711.28/713.26 c learned general constraints 332 ,( 0.02 )
711.28/713.26 c learned average constraint length 99.87
711.28/713.26 c learned average constraint degree 8740.11
711.28/713.26 c watched CF 32, 64, 128, Arb: 115 , 0 , 0 , 0
711.28/713.26 c counting CF 32, 64, 128, Arb: 15911 , 0 , 0 , 0
711.28/713.26 c watched constraints 115 ,( 0.72 )
711.28/713.26 c counting constraints 15911 ,( 99.28 )
711.28/713.26 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2009544244 , 3038120 , 49902733 ,( 65602 , 49837131 )
711.28/713.26 c gcd simplifications 2706
711.28/713.26 c detected cardinalities 47
711.28/713.26 c weakened non-implied lits 1025054
711.28/713.26 c weakened non-implying lits 4020
711.28/713.26 c original variables 7320
711.28/713.26 c clausal propagations 535326020
711.28/713.26 c cardinality propagations 1421528
711.28/713.26 c watched propagations 2426
711.28/713.26 c counting propagations 6352198
711.28/713.26 c watch lookups 2724427106
711.28/713.26 c watch backjump lookups 0
711.28/713.26 c watch checks 6063908961
711.28/713.26 c propagation checks 666646706
711.28/713.26 c constraint additions 494021790
711.28/713.26 c trail pops 553290746
711.28/713.26 c formula constraints 153729
711.28/713.26 c learned constraints 1726234
711.28/713.26 c bound constraints 0
711.28/713.26 c core-guided constraints 0
711.28/713.26 c encountered formula constraints 21759731
711.28/713.26 c encountered learned constraints 15000299
711.28/713.26 c encountered bound constraints 0
711.28/713.26 c encountered core-guided constraints 0
711.28/713.26 c LP total time 170.795 s
711.28/713.26 c LP solve time 160.5 s
711.28/713.26 c LP constraints added 154183
711.28/713.26 c LP constraints removed 296
711.28/713.26 c LP pivots internal 179958
711.28/713.26 c LP pivots root 177020
711.28/713.26 c LP calls 56
711.28/713.26 c LP optimalities 50
711.28/713.26 c LP no pivot count 0
711.28/713.26 c LP infeasibilities 1
711.28/713.26 c LP valid Farkas constraints 1
711.28/713.26 c LP learned Farkas constraints 0
711.28/713.26 c LP basis resets 0
711.28/713.26 c LP cycling count 0
711.28/713.26 c LP singular count 0
711.28/713.26 c LP no primal count 0
711.28/713.26 c LP no farkas count 0
711.28/713.26 c LP other issue count 0
711.28/713.26 c LP Gomory cuts 34
711.28/713.26 c LP learned cuts 420
711.28/713.26 c LP deleted cuts 296
711.28/713.26 c LP encountered Gomory constraints 27424
711.28/713.26 c LP encountered Farkas constraints 0
711.28/713.26 c LP encountered learned Farkas constraints 0
711.28/713.26 c CG auxiliary variables introduced 0
711.28/713.27 c CG solutions found 0
711.28/713.27 c CG cores constructed 0
711.28/713.27 c CG core cardinality constraints returned 0
711.28/713.27 c CG unit cores 0
711.28/713.27 c CG single cores 0
711.28/713.27 c CG blocks removed during cardinality reduction 0
711.28/713.27 c CG first core best 0
711.28/713.27 c CG decision core best 0
711.28/713.27 c CG core reduction tie 0
711.28/713.27 c CG core degree average 0.00
711.28/713.27 c CG core slack average 0.00
711.28/713.27 c CG core upper bound improvements 0
711.28/713.27 c STR number of successful calls 0
711.28/713.27 c STR number of unsuccessful calls 0
711.28/713.27 c STR number of inconclusive calls 0
711.28/713.27 c STR number of successful attempts 0
711.28/713.27 c STR number of unsuccessful attempts 0
711.28/713.27 c STR number of inconclusive attempts 0
711.28/713.27 c STR average degree increase per successful call inf
711.28/713.27 c STR average degree increase per successful attempt inf
711.28/713.27 c STR total number of conflicts for successful attempts 0
711.28/713.27 c STR total number of conflicts for unsuccessful attempts 0
711.28/713.27 c STR total number of conflicts for inconclusive attempts 0
711.28/713.27 c STR average number of conflicts per successful attempt inf
711.28/713.27 c STR average number of conflicts per unsuccessful attempt inf
711.28/713.27 c STR average number of conflicts per inconclusive attempt inf
711.28/713.27 c AVG.sumWPerc 60.64
711.28/713.27 c bigint constraints 0
711.28/713.27 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62444 MiB free)
memory of node 1: 64507 MiB (63387 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503640-1751163762/watcher-4503640-1751163762 -o /tmp/evaluation-result-4503640-1751163762/solver-4503640-1751163762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17847 --watchdog 3760 run-dec-break.sh HOME/instance-4503640-1751163762.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=22431, runsolver pid=22428
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.24 4.20 4.13 5/270 22433
/proc/meminfo: memFree=128819504/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22433] ppid=22431 vsize=64312 memory=55616 CPUtime=0.08 cores=1,3
/proc/22433/stat : 22433 (pbsuma) R 22431 22431 17835 0 -1 4194304 6493 0 0 0 7 1 0 0 20 0 1 0 32054110 65855488 13904 18446744073709551615 4210688 4653049 140736578843888 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 29429760 140736578849123 140736578849330 140736578849330 140736578854895 0
/proc/22433/statm: 16078 13904 960 108 0 13486 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 68504 KiB
Current children cumulated memory: 58688 KiB
[startup+0.205911 s]*
/proc/loadavg: 4.24 4.20 4.13 5/270 22433
/proc/meminfo: memFree=128787752/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22433] ppid=22431 vsize=42368 memory=34936 CPUtime=0.19 cores=1,3
/proc/22433/stat : 22433 (pbsuma) R 22431 22431 17835 0 -1 4194304 15850 0 0 0 16 3 0 0 20 0 1 0 32054110 43384832 8734 18446744073709551615 4210688 4653049 140736578843888 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 29429760 140736578849123 140736578849330 140736578849330 140736578854895 0
/proc/22433/statm: 10592 8734 992 108 0 8000 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 46560 KiB
Current children cumulated memory: 38008 KiB
[startup+0.306027 s]*
/proc/loadavg: 4.24 4.20 4.13 5/270 22434
/proc/meminfo: memFree=128814208/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=64772 memory=19084 CPUtime=0.08 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 3103 0 0 0 6 2 0 0 20 0 1 0 32054132 66326528 4771 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 16193 4771 2016 1147 0 3620 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 68964 KiB
Current children cumulated memory: 22156 KiB
[startup+0.700202 s]
/proc/loadavg: 4.24 4.20 4.13 5/270 22434
/proc/meminfo: memFree=128814208/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=111784 memory=63892 CPUtime=0.46 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 14855 0 0 0 32 14 0 0 20 0 1 0 32054132 114466816 15973 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 27946 15973 2016 1147 0 15373 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 115976 KiB
Current children cumulated memory: 66964 KiB
[startup+1.50022 s]
/proc/loadavg: 4.24 4.20 4.13 5/270 22434
/proc/meminfo: memFree=128650908/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=335336 memory=234056 CPUtime=1.26 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 32905 0 0 0 103 23 0 0 20 0 1 0 32054132 343384064 58514 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 83834 58514 2272 1147 0 71261 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 339528 KiB
Current children cumulated memory: 237128 KiB
[startup+3.10586 s]
/proc/loadavg: 4.24 4.20 4.13 5/270 22434
/proc/meminfo: memFree=128622692/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=335336 memory=234056 CPUtime=2.86 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 32907 0 0 0 263 23 0 0 20 0 1 0 32054132 343384064 58514 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 83834 58514 2272 1147 0 71261 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 339528 KiB
Current children cumulated memory: 237128 KiB
[startup+6.30021 s]
/proc/loadavg: 4.22 4.20 4.13 5/270 22434
/proc/meminfo: memFree=128622772/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=335336 memory=234696 CPUtime=6.04 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 33012 0 0 0 578 26 0 0 20 0 1 0 32054132 343384064 58674 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 83834 58674 2368 1147 0 71261 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 339528 KiB
Current children cumulated memory: 237768 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.20 4.13 5/270 22434
/proc/meminfo: memFree=128635180/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=335336 memory=235080 CPUtime=12.43 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 33121 0 0 0 1214 29 0 0 20 0 1 0 32054132 343384064 58770 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 83834 58770 2368 1147 0 71261 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 339528 KiB
Current children cumulated memory: 238152 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.18 4.12 5/270 22435
/proc/meminfo: memFree=128613552/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=335336 memory=237728 CPUtime=25.2 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 33281 0 0 0 2481 39 0 0 20 0 1 0 32054132 343384064 59432 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 83834 59432 2368 1147 0 71261 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 339528 KiB
Current children cumulated memory: 240800 KiB
[startup+51.1061 s]
/proc/loadavg: 4.17 4.18 4.12 5/272 22438
/proc/meminfo: memFree=128632012/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=335336 memory=237856 CPUtime=50.73 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 33318 0 0 0 5015 58 0 0 20 0 1 0 32054132 343384064 59464 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 83834 59464 2368 1147 0 71261 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 339528 KiB
Current children cumulated memory: 240928 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/272 22440
/proc/meminfo: memFree=128621492/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=344232 memory=246028 CPUtime=101.77 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 34380 0 0 0 10065 112 0 0 20 0 1 0 32054132 352493568 61507 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 86058 61507 2368 1147 0 73485 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 348424 KiB
Current children cumulated memory: 249100 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/270 22442
/proc/meminfo: memFree=128595144/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=367768 memory=261420 CPUtime=161.61 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 36715 0 0 0 15987 174 0 0 20 0 1 0 32054132 376594432 65355 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 91942 65355 2368 1147 0 79369 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 371960 KiB
Current children cumulated memory: 264492 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/269 22444
/proc/meminfo: memFree=128513264/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=401576 memory=291996 CPUtime=221.45 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 40302 0 0 0 21895 250 0 0 20 0 1 0 32054132 411213824 72999 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 100394 72999 2368 1147 0 87821 0
################
# More data... #
################
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 41587 0 0 0 39553 543 0 0 20 0 1 0 32054132 443277312 79311 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 108222 79311 2368 1147 0 95649 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 437080 KiB
Current children cumulated memory: 320316 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.18 4.13 5/269 22507
/proc/meminfo: memFree=127079268/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=463708 memory=341628 CPUtime=460.79 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 42216 0 0 0 45460 619 0 0 20 0 1 0 32054132 474836992 85407 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 115927 85407 2368 1147 0 103354 0
Current children cumulated CPU time: 460.99 s
Current children cumulated vsize: 467900 KiB
Current children cumulated memory: 344700 KiB
[startup+522.3 s]
/proc/loadavg: 4.15 4.18 4.13 5/269 22513
/proc/meminfo: memFree=127097604/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=464400 memory=346412 CPUtime=520.64 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 42413 0 0 0 51366 698 0 0 20 0 1 0 32054132 475545600 86603 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 116100 86603 2368 1147 0 103527 0
Current children cumulated CPU time: 520.84 s
Current children cumulated vsize: 468592 KiB
Current children cumulated memory: 349484 KiB
[startup+582.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/271 22517
/proc/meminfo: memFree=127066744/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=469204 memory=351228 CPUtime=580.49 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 42697 0 0 0 57268 781 0 0 20 0 1 0 32054132 480464896 87807 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 117301 87807 2368 1147 0 104728 0
Current children cumulated CPU time: 580.69 s
Current children cumulated vsize: 473396 KiB
Current children cumulated memory: 354300 KiB
[startup+642.3 s]
/proc/loadavg: 4.31 4.19 4.14 5/271 22520
/proc/meminfo: memFree=127052136/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=471272 memory=361532 CPUtime=640.34 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 43222 0 0 0 63156 878 0 0 20 0 1 0 32054132 482582528 90383 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 117818 90383 2368 1147 0 105245 0
Current children cumulated CPU time: 640.54 s
Current children cumulated vsize: 475464 KiB
Current children cumulated memory: 364604 KiB
[startup+702.3 s]
/proc/loadavg: 4.36 4.23 4.15 5/271 22522
/proc/meminfo: memFree=126986340/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=515316 memory=411720 CPUtime=700.2 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 46060 0 0 0 69069 951 0 0 20 0 1 0 32054132 527683584 102930 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 128829 102930 2368 1147 0 116256 0
Current children cumulated CPU time: 700.4 s
Current children cumulated vsize: 519508 KiB
Current children cumulated memory: 414792 KiB
[startup+713.28 s]
# the end of solver process 22431 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=701.668 s, system=9.71181 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+704 s]*
/proc/loadavg: 4.33 4.23 4.15 5/271 22522
/proc/meminfo: memFree=126986340/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=515316 memory=411720 CPUtime=701.9 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 46060 0 0 0 69236 954 0 0 20 0 1 0 32054132 527683584 102930 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 128829 102930 2368 1147 0 116256 0
Current children cumulated CPU time: 702.1 s
Current children cumulated vsize: 519508 KiB
Current children cumulated memory: 414792 KiB
[startup+707.2 s]
/proc/loadavg: 4.33 4.23 4.15 5/271 22522
/proc/meminfo: memFree=126978276/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=516024 memory=412360 CPUtime=705.09 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 46237 0 0 0 69548 961 0 0 20 0 1 0 32054132 528408576 103090 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 129006 103090 2368 1147 0 116433 0
Current children cumulated CPU time: 705.29 s
Current children cumulated vsize: 520216 KiB
Current children cumulated memory: 415432 KiB
[startup+710.4 s]
/proc/loadavg: 4.30 4.22 4.15 5/271 22522
/proc/meminfo: memFree=126968224/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=516024 memory=412360 CPUtime=708.28 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 46237 0 0 0 69864 964 0 0 20 0 1 0 32054132 528408576 103090 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 129006 103090 2368 1147 0 116433 0
Current children cumulated CPU time: 708.48 s
Current children cumulated vsize: 520216 KiB
Current children cumulated memory: 415432 KiB
[startup+712 s]*
/proc/loadavg: 4.30 4.22 4.15 5/271 22522
/proc/meminfo: memFree=126968224/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=516024 memory=412360 CPUtime=709.89 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 46237 0 0 0 70023 966 0 0 20 0 1 0 32054132 528408576 103090 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 129006 103090 2368 1147 0 116433 0
Current children cumulated CPU time: 710.09 s
Current children cumulated vsize: 520216 KiB
Current children cumulated memory: 415432 KiB
[startup+712.8 s]
/proc/loadavg: 4.30 4.22 4.15 5/271 22522
/proc/meminfo: memFree=126968224/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=516024 memory=412360 CPUtime=710.68 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 46237 0 0 0 70102 966 0 0 20 0 1 0 32054132 528408576 103090 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 129006 103090 2368 1147 0 116433 0
Current children cumulated CPU time: 710.88 s
Current children cumulated vsize: 520216 KiB
Current children cumulated memory: 415432 KiB
[startup+713.2 s]
/proc/loadavg: 4.30 4.22 4.15 5/271 22522
/proc/meminfo: memFree=126968224/131249996 swapFree=33010684/33010684
[pid=22431] ppid=22428 vsize=4192 memory=3072 CPUtime=0.2 cores=1,3
/proc/22431/stat : 22431 (run-dec-break.s) S 22428 22431 17835 0 -1 4194304 236 15853 0 0 0 0 17 3 20 0 1 0 32054110 4292608 768 18446744073709551615 94871384612864 94871385507397 140727710652672 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94871385746448 94871385794192 94871397101568 140727710656865 140727710656994 140727710656994 140727710662596 0
/proc/22431/statm: 1048 768 704 219 0 110 0
[pid=22434] ppid=22431 vsize=516024 memory=412360 CPUtime=711.08 cores=1,3
/proc/22434/stat : 22434 (roundingsat) R 22431 22431 17835 0 -1 4194304 46237 0 0 0 70141 967 0 0 20 0 1 0 32054132 528408576 103090 18446744073709551615 4227072 8923433 140735391793888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22368256 140735391799620 140735391799848 140735391799848 140735391805418 0
/proc/22434/statm: 129006 103090 2368 1147 0 116433 0
Current children cumulated CPU time: 711.28 s
Current children cumulated vsize: 520216 KiB
Current children cumulated memory: 415432 KiB
Child status: 0
Real time (s): 713.28
CPU time (s): 711.38
CPU user time (s): 701.668
CPU system time (s): 9.71181
CPU usage (%): 99.7335
Max. virtual memory (cumulated for all children) (KiB): 520216
Max. memory (cumulated for all children) (KiB): 415432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 701.668
system time used= 9.71181
maximum resident set size= 412360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62349
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 263
involuntary context switches= 507
# summary of solver processes directly reported to runsolver:
# pid: 22431
# total CPU time (s): 711.38
# total CPU user time (s): 701.668
# total CPU system time (s): 9.71181
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.22587 second user time and 3.78336 second system time
The end
Begin job on nodeC024 at 2025-06-29 04:22:42
IDJOB=4503640
IDBENCH=155525
IDSOLVER=3357
FILE ID=nodeC024/4503640-1751163762
RUNJOBID= nodeC024-1751155906-17847
SLURM_JOB_ID= 9587473
Free space on /tmp= 432916 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-38.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503640-1751163762/watcher-4503640-1751163762 -o /tmp/evaluation-result-4503640-1751163762/solver-4503640-1751163762 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17847 --watchdog 3760 run-dec-break.sh HOME/instance-4503640-1751163762.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9e23e458e7baadfd402519ffe94968c6
RANDOM SEED=1505115594
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.668
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.975
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.350
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.681
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.711
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.596
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3609.972
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3731.567
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128851936 kB
MemAvailable: 128593840 kB
Buffers: 3280 kB
Cached: 552436 kB
SwapCached: 0 kB
Active: 1425612 kB
Inactive: 332424 kB
Active(anon): 1220392 kB
Inactive(anon): 0 kB
Active(file): 205220 kB
Inactive(file): 332424 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13632 kB
Writeback: 0 kB
AnonPages: 1199276 kB
Mapped: 115388 kB
Shmem: 18064 kB
KReclaimable: 86600 kB
Slab: 170020 kB
SReclaimable: 86600 kB
SUnreclaim: 83420 kB
KernelStack: 4320 kB
PageTables: 5608 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1686368 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 604160 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432816 MiB
End job on nodeC024 at 2025-06-29 04:34:36