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-4503641-1751170426.opb'
0.08/0.11 c read 6.57MB (97.16ms)
0.08/0.11 c [cnf: #variables 7320 #clauses 155722 #duplicates 0 #arr 606176]
0.08/0.11 c output proof to 'PROOFDIR/proof-4503641-1751170426'
0.08/0.11 c
0.08/0.11 c make graph and approximate orbits
0.08/0.17 c [group: #orbits ~= 0] (55.67ms)
0.08/0.17 c
0.08/0.17 c detect special group actions
0.08/0.17 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.18 c (9.15ms)
0.08/0.18 c
0.08/0.18 c detect symmetries on remainder
0.08/0.18 c [graph: #vertices 186018 #edges 1258304]
0.08/0.18 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.19 c [group: #symmetries 1.00*10^0 #generators 0] (13.22ms)
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-4503641-1751170426.opb.pre'
0.08/0.20 c wrote 6.57MB (13.80ms)
0.08/0.20 c ------------------------------------------------------------------
0.08/0.20 c 97.16ms 50.85% parse
0.08/0.20 c 55.67ms 29.13% approx_orbits
0.08/0.20 c 13.80ms 7.22% output
0.08/0.20 c 13.22ms 6.92% detect_generic
0.08/0.20 c 9.15ms 4.79% detect_special
0.08/0.20 c 1.83ms 0.96% other
0.08/0.20 c 0.25ms 0.13% finalize_order
0.08/0.20 c ───────────────────────────────────────────────
0.08/0.20 c 191.09ms 100% total
0.08/0.20 c ------------------------------------------------------------------
0.18/0.23 c RoundingSat 2
0.18/0.23 c branch pb25
0.18/0.23 c commit 63f22ad
1.15/1.24 c #variables 7320 #constraints 153729
72.49/72.88 c #Conflicts: 1000 | #Constraints: 154728
72.49/72.88 c #Conflicts: 2000 | #Constraints: 155728
72.49/72.88 c INPROCESSING
72.49/72.88 c #Conflicts: 3000 | #Constraints: 153528
72.49/72.88 c #Conflicts: 4000 | #Constraints: 154528
72.49/72.88 c INPROCESSING
72.49/72.88 c #Conflicts: 5000 | #Constraints: 153611
72.49/72.88 c #Conflicts: 6000 | #Constraints: 154611
72.49/72.88 c INPROCESSING
72.49/72.88 c #Conflicts: 7000 | #Constraints: 153604
72.49/72.88 c #Conflicts: 8000 | #Constraints: 154604
72.49/72.88 c #Conflicts: 9000 | #Constraints: 155604
72.49/72.88 c #Conflicts: 10000 | #Constraints: 156604
72.49/72.88 c #Conflicts: 11000 | #Constraints: 157604
72.49/72.88 c #Conflicts: 12000 | #Constraints: 158604
72.49/72.88 c INPROCESSING
72.49/72.88 c #Conflicts: 13000 | #Constraints: 155298
72.49/72.88 c #Conflicts: 14000 | #Constraints: 156298
72.49/72.88 c #Conflicts: 15000 | #Constraints: 157298
72.49/72.88 c #Conflicts: 16000 | #Constraints: 158298
72.49/72.88 c INPROCESSING
72.49/72.88 c GARBAGE COLLECT
72.49/72.88 c #Conflicts: 17000 | #Constraints: 155385
72.49/72.88 c #Conflicts: 18000 | #Constraints: 156385
72.49/72.88 c #Conflicts: 19000 | #Constraints: 157385
72.49/72.88 c #Conflicts: 20000 | #Constraints: 158385
72.49/72.88 c #Conflicts: 21000 | #Constraints: 159385
72.49/72.88 c #Conflicts: 22000 | #Constraints: 160385
72.49/72.88 c #Conflicts: 23000 | #Constraints: 161385
72.49/72.88 c #Conflicts: 24000 | #Constraints: 162385
72.49/72.88 c #Conflicts: 25000 | #Constraints: 163385
72.49/72.88 c INPROCESSING
72.49/72.88 c #Conflicts: 26000 | #Constraints: 157688
72.49/72.88 c #Conflicts: 27000 | #Constraints: 158688
72.49/72.88 c #Conflicts: 28000 | #Constraints: 159688
72.49/72.88 c #Conflicts: 29000 | #Constraints: 160688
72.49/72.88 c #Conflicts: 30000 | #Constraints: 161688
72.49/72.88 c INPROCESSING
72.49/72.88 c GARBAGE COLLECT
72.49/72.88 c #Conflicts: 31000 | #Constraints: 156842
72.49/72.88 c #Conflicts: 32000 | #Constraints: 157842
72.49/72.88 c #Conflicts: 33000 | #Constraints: 158842
72.49/72.88 c #Conflicts: 34000 | #Constraints: 159842
72.49/72.88 c #Conflicts: 35000 | #Constraints: 160842
72.49/72.88 c #Conflicts: 36000 | #Constraints: 161842
72.49/72.88 c #Conflicts: 37000 | #Constraints: 162842
72.49/72.88 c #Conflicts: 38000 | #Constraints: 163842
72.49/72.88 c #Conflicts: 39000 | #Constraints: 164842
72.49/72.88 c #Conflicts: 40000 | #Constraints: 165842
72.49/72.88 c #Conflicts: 41000 | #Constraints: 166842
72.49/72.88 c #Conflicts: 42000 | #Constraints: 167842
72.49/72.88 c #Conflicts: 43000 | #Constraints: 168842
72.49/72.88 c INPROCESSING
72.49/72.88 c GARBAGE COLLECT
72.49/72.88 c #Conflicts: 44000 | #Constraints: 160671
72.49/72.88 c #Conflicts: 45000 | #Constraints: 161671
72.49/72.88 c #Conflicts: 46000 | #Constraints: 162671
72.49/72.88 c #Conflicts: 47000 | #Constraints: 163671
72.49/72.88 c #Conflicts: 48000 | #Constraints: 164671
72.49/72.88 c #Conflicts: 49000 | #Constraints: 165671
72.49/72.88 c INPROCESSING
72.49/72.88 c #Conflicts: 50000 | #Constraints: 158931
72.49/72.88 c #Conflicts: 51000 | #Constraints: 159931
72.49/72.88 c #Conflicts: 52000 | #Constraints: 160931
72.49/72.88 c #Conflicts: 53000 | #Constraints: 161931
72.49/72.88 c #Conflicts: 54000 | #Constraints: 162931
72.49/72.88 c #Conflicts: 55000 | #Constraints: 163931
72.49/72.88 c #Conflicts: 56000 | #Constraints: 164931
72.49/72.88 c INPROCESSING
72.49/72.88 c GARBAGE COLLECT
72.49/72.88 c #Conflicts: 57000 | #Constraints: 158791
72.49/72.88 c #Conflicts: 58000 | #Constraints: 159791
72.49/72.88 c #Conflicts: 59000 | #Constraints: 160791
72.49/72.88 c #Conflicts: 60000 | #Constraints: 161791
72.49/72.88 c #Conflicts: 61000 | #Constraints: 162791
72.49/72.88 c #Conflicts: 62000 | #Constraints: 163791
72.49/72.88 c #Conflicts: 63000 | #Constraints: 164791
72.49/72.88 c #Conflicts: 64000 | #Constraints: 165791
72.49/72.88 c #Conflicts: 65000 | #Constraints: 166791
72.49/72.88 c #Conflicts: 66000 | #Constraints: 167791
72.49/72.88 c #Conflicts: 67000 | #Constraints: 168791
72.49/72.88 c #Conflicts: 68000 | #Constraints: 169791
72.49/72.88 c #Conflicts: 69000 | #Constraints: 170791
72.49/72.88 c #Conflicts: 70000 | #Constraints: 171791
72.49/72.88 c #Conflicts: 71000 | #Constraints: 172791
72.49/72.88 c #Conflicts: 72000 | #Constraints: 173791
72.49/72.88 c INPROCESSING
72.49/72.88 c GARBAGE COLLECT
72.49/72.88 c #Conflicts: 73000 | #Constraints: 162945
72.49/72.88 c #Conflicts: 74000 | #Constraints: 163945
120.32/120.83 c #Conflicts: 75000 | #Constraints: 164945
120.32/120.83 c #Conflicts: 76000 | #Constraints: 165945
120.32/120.83 c #Conflicts: 77000 | #Constraints: 166945
120.32/120.83 c #Conflicts: 78000 | #Constraints: 167945
120.32/120.83 c #Conflicts: 79000 | #Constraints: 168945
120.32/120.83 c #Conflicts: 80000 | #Constraints: 169945
120.32/120.83 c INPROCESSING
120.32/120.83 c #Conflicts: 81000 | #Constraints: 161109
120.32/120.83 c #Conflicts: 82000 | #Constraints: 162109
120.32/120.83 c #Conflicts: 83000 | #Constraints: 163109
120.32/120.83 c #Conflicts: 84000 | #Constraints: 164109
120.32/120.83 c #Conflicts: 85000 | #Constraints: 165109
120.32/120.83 c #Conflicts: 86000 | #Constraints: 166109
120.32/120.83 c #Conflicts: 87000 | #Constraints: 167109
120.32/120.83 c #Conflicts: 88000 | #Constraints: 168109
120.32/120.83 c #Conflicts: 89000 | #Constraints: 169109
120.32/120.83 c #Conflicts: 90000 | #Constraints: 170109
120.32/120.83 c #Conflicts: 91000 | #Constraints: 171109
120.32/120.83 c #Conflicts: 92000 | #Constraints: 172109
120.32/120.83 c #Conflicts: 93000 | #Constraints: 173109
120.32/120.83 c #Conflicts: 94000 | #Constraints: 174109
120.32/120.83 c #Conflicts: 95000 | #Constraints: 175109
120.32/120.83 c #Conflicts: 96000 | #Constraints: 176109
120.32/120.83 c #Conflicts: 97000 | #Constraints: 177109
120.32/120.83 c #Conflicts: 98000 | #Constraints: 178109
120.32/120.83 c #Conflicts: 99000 | #Constraints: 179109
120.32/120.83 c #Conflicts: 100000 | #Constraints: 180109
120.32/120.83 c INPROCESSING
120.32/120.83 c GARBAGE COLLECT
120.32/120.83 c #Conflicts: 101000 | #Constraints: 166418
120.32/120.83 c #Conflicts: 102000 | #Constraints: 167418
120.32/120.83 c #Conflicts: 103000 | #Constraints: 168418
120.32/120.83 c #Conflicts: 104000 | #Constraints: 169418
120.32/120.83 c #Conflicts: 105000 | #Constraints: 170418
120.32/120.83 c #Conflicts: 106000 | #Constraints: 171418
120.32/120.83 c #Conflicts: 107000 | #Constraints: 172418
120.32/120.83 c #Conflicts: 108000 | #Constraints: 173418
120.32/120.83 c #Conflicts: 109000 | #Constraints: 174418
120.32/120.83 c INPROCESSING
120.32/120.83 c GARBAGE COLLECT
120.32/120.83 c #Conflicts: 110000 | #Constraints: 163502
120.32/120.83 c #Conflicts: 111000 | #Constraints: 164502
120.32/120.83 c #Conflicts: 112000 | #Constraints: 165502
120.32/120.83 c #Conflicts: 113000 | #Constraints: 166502
120.32/120.83 c #Conflicts: 114000 | #Constraints: 167502
120.32/120.83 c #Conflicts: 115000 | #Constraints: 168502
120.32/120.83 c #Conflicts: 116000 | #Constraints: 169502
120.32/120.83 c #Conflicts: 117000 | #Constraints: 170502
120.32/120.83 c #Conflicts: 118000 | #Constraints: 171502
120.32/120.83 c #Conflicts: 119000 | #Constraints: 172502
120.32/120.83 c #Conflicts: 120000 | #Constraints: 173502
120.32/120.83 c #Conflicts: 121000 | #Constraints: 174502
120.32/120.83 c #Conflicts: 122000 | #Constraints: 175502
120.32/120.83 c #Conflicts: 123000 | #Constraints: 176502
120.32/120.83 c #Conflicts: 124000 | #Constraints: 177502
120.32/120.83 c #Conflicts: 125000 | #Constraints: 178502
120.32/120.83 c #Conflicts: 126000 | #Constraints: 179502
120.32/120.83 c #Conflicts: 127000 | #Constraints: 180502
120.32/120.83 c #Conflicts: 128000 | #Constraints: 181502
120.32/120.83 c #Conflicts: 129000 | #Constraints: 182502
120.32/120.83 c #Conflicts: 130000 | #Constraints: 183502
120.32/120.83 c #Conflicts: 131000 | #Constraints: 184502
120.32/120.83 c #Conflicts: 132000 | #Constraints: 185502
120.32/120.83 c INPROCESSING
120.32/120.83 c GARBAGE COLLECT
120.32/120.83 c #Conflicts: 133000 | #Constraints: 169163
120.32/120.83 c #Conflicts: 134000 | #Constraints: 170163
120.32/120.83 c #Conflicts: 135000 | #Constraints: 171163
120.32/120.83 c #Conflicts: 136000 | #Constraints: 172163
120.32/120.83 c #Conflicts: 137000 | #Constraints: 173163
120.32/120.83 c #Conflicts: 138000 | #Constraints: 174163
120.32/120.83 c #Conflicts: 139000 | #Constraints: 175163
120.32/120.83 c #Conflicts: 140000 | #Constraints: 176163
120.32/120.83 c #Conflicts: 141000 | #Constraints: 177163
120.32/120.83 c #Conflicts: 142000 | #Constraints: 178163
120.32/120.83 c INPROCESSING
120.32/120.83 c GARBAGE COLLECT
120.32/120.83 c #Conflicts: 143000 | #Constraints: 165269
120.32/120.83 c #Conflicts: 144000 | #Constraints: 166269
120.32/120.83 c #Conflicts: 145000 | #Constraints: 167269
120.32/120.83 c #Conflicts: 146000 | #Constraints: 168269
120.32/120.83 c #Conflicts: 147000 | #Constraints: 169269
120.32/120.83 c #Conflicts: 148000 | #Constraints: 170269
120.32/120.83 c #Conflicts: 149000 | #Constraints: 171269
120.32/120.83 c #Conflicts: 150000 | #Constraints: 172269
156.15/156.85 c #Conflicts: 151000 | #Constraints: 173269
156.15/156.85 c #Conflicts: 152000 | #Constraints: 174269
156.15/156.85 c #Conflicts: 153000 | #Constraints: 175269
156.15/156.85 c #Conflicts: 154000 | #Constraints: 176269
156.15/156.85 c #Conflicts: 155000 | #Constraints: 177269
156.15/156.85 c #Conflicts: 156000 | #Constraints: 178269
156.15/156.85 c #Conflicts: 157000 | #Constraints: 179269
156.15/156.85 c #Conflicts: 158000 | #Constraints: 180269
156.15/156.85 c #Conflicts: 159000 | #Constraints: 181269
156.15/156.85 c #Conflicts: 160000 | #Constraints: 182269
156.15/156.85 c #Conflicts: 161000 | #Constraints: 183269
156.15/156.85 c #Conflicts: 162000 | #Constraints: 184269
156.15/156.85 c #Conflicts: 163000 | #Constraints: 185269
156.15/156.85 c #Conflicts: 164000 | #Constraints: 186269
156.15/156.85 c #Conflicts: 165000 | #Constraints: 187269
156.15/156.85 c #Conflicts: 166000 | #Constraints: 188269
156.15/156.85 c #Conflicts: 167000 | #Constraints: 189269
156.15/156.85 c #Conflicts: 168000 | #Constraints: 190269
156.15/156.85 c INPROCESSING
156.15/156.85 c GARBAGE COLLECT
156.15/156.85 c #Conflicts: 169000 | #Constraints: 171423
156.15/156.85 c #Conflicts: 170000 | #Constraints: 172423
156.15/156.85 c #Conflicts: 171000 | #Constraints: 173423
156.15/156.85 c #Conflicts: 172000 | #Constraints: 174423
156.15/156.85 c #Conflicts: 173000 | #Constraints: 175423
156.15/156.85 c #Conflicts: 174000 | #Constraints: 176423
156.15/156.85 c #Conflicts: 175000 | #Constraints: 177423
156.15/156.85 c #Conflicts: 176000 | #Constraints: 178423
156.15/156.85 c #Conflicts: 177000 | #Constraints: 179423
156.15/156.85 c #Conflicts: 178000 | #Constraints: 180423
156.15/156.85 c #Conflicts: 179000 | #Constraints: 181423
156.15/156.85 c #Conflicts: 180000 | #Constraints: 182423
156.15/156.85 c INPROCESSING
156.15/156.85 c GARBAGE COLLECT
156.15/156.85 c #Conflicts: 181000 | #Constraints: 167698
156.15/156.85 c #Conflicts: 182000 | #Constraints: 168698
156.15/156.85 c #Conflicts: 183000 | #Constraints: 169698
156.15/156.85 c #Conflicts: 184000 | #Constraints: 170698
156.15/156.85 c #Conflicts: 185000 | #Constraints: 171698
156.15/156.85 c #Conflicts: 186000 | #Constraints: 172698
156.15/156.85 c #Conflicts: 187000 | #Constraints: 173698
156.15/156.85 c #Conflicts: 188000 | #Constraints: 174698
156.15/156.85 c #Conflicts: 189000 | #Constraints: 175698
156.15/156.85 c #Conflicts: 190000 | #Constraints: 176698
156.15/156.85 c #Conflicts: 191000 | #Constraints: 177698
156.15/156.85 c #Conflicts: 192000 | #Constraints: 178698
156.15/156.85 c #Conflicts: 193000 | #Constraints: 179698
156.15/156.85 c #Conflicts: 194000 | #Constraints: 180698
156.15/156.85 c #Conflicts: 195000 | #Constraints: 181698
156.15/156.85 c #Conflicts: 196000 | #Constraints: 182698
156.15/156.85 c #Conflicts: 197000 | #Constraints: 183698
156.15/156.85 c #Conflicts: 198000 | #Constraints: 184698
156.15/156.85 c #Conflicts: 199000 | #Constraints: 185698
156.15/156.85 c #Conflicts: 200000 | #Constraints: 186698
156.15/156.85 c #Conflicts: 201000 | #Constraints: 187698
156.15/156.85 c #Conflicts: 202000 | #Constraints: 188698
156.15/156.85 c #Conflicts: 203000 | #Constraints: 189698
156.15/156.85 c #Conflicts: 204000 | #Constraints: 190698
156.15/156.85 c #Conflicts: 205000 | #Constraints: 191698
156.15/156.85 c #Conflicts: 206000 | #Constraints: 192698
156.15/156.85 c #Conflicts: 207000 | #Constraints: 193698
156.15/156.85 c #Conflicts: 208000 | #Constraints: 194698
156.15/156.85 c #Conflicts: 209000 | #Constraints: 195698
156.15/156.85 c INPROCESSING
156.15/156.85 c GARBAGE COLLECT
156.15/156.85 c #Conflicts: 210000 | #Constraints: 174373
156.15/156.85 c #Conflicts: 211000 | #Constraints: 175373
156.15/156.85 c #Conflicts: 212000 | #Constraints: 176373
156.15/156.85 c #Conflicts: 213000 | #Constraints: 177373
156.15/156.85 c #Conflicts: 214000 | #Constraints: 178373
156.15/156.85 c #Conflicts: 215000 | #Constraints: 179373
156.15/156.85 c #Conflicts: 216000 | #Constraints: 180373
156.15/156.85 c #Conflicts: 217000 | #Constraints: 181373
156.15/156.85 c #Conflicts: 218000 | #Constraints: 182373
156.15/156.85 c #Conflicts: 219000 | #Constraints: 183373
156.15/156.85 c #Conflicts: 220000 | #Constraints: 184373
156.15/156.85 c #Conflicts: 221000 | #Constraints: 185373
156.15/156.85 c #Conflicts: 222000 | #Constraints: 186373
156.15/156.85 c INPROCESSING
156.15/156.85 c GARBAGE COLLECT
156.15/156.85 c #Conflicts: 223000 | #Constraints: 169667
156.15/156.85 c #Conflicts: 224000 | #Constraints: 170667
156.15/156.85 c #Conflicts: 225000 | #Constraints: 171667
156.15/156.85 c #Conflicts: 226000 | #Constraints: 172667
156.15/156.85 c #Conflicts: 227000 | #Constraints: 173667
175.40/176.12 c #Conflicts: 228000 | #Constraints: 174667
175.40/176.12 c #Conflicts: 229000 | #Constraints: 175667
175.40/176.12 c #Conflicts: 230000 | #Constraints: 176667
175.40/176.12 c #Conflicts: 231000 | #Constraints: 177667
175.40/176.12 c #Conflicts: 232000 | #Constraints: 178667
175.40/176.12 c #Conflicts: 233000 | #Constraints: 179667
175.40/176.12 c #Conflicts: 234000 | #Constraints: 180667
175.40/176.12 c #Conflicts: 235000 | #Constraints: 181667
175.40/176.12 c #Conflicts: 236000 | #Constraints: 182667
175.40/176.12 c #Conflicts: 237000 | #Constraints: 183667
175.40/176.12 c #Conflicts: 238000 | #Constraints: 184667
175.40/176.12 c #Conflicts: 239000 | #Constraints: 185667
175.40/176.12 c #Conflicts: 240000 | #Constraints: 186667
175.40/176.12 c #Conflicts: 241000 | #Constraints: 187667
175.40/176.12 c #Conflicts: 242000 | #Constraints: 188667
175.40/176.12 c #Conflicts: 243000 | #Constraints: 189667
175.40/176.12 c #Conflicts: 244000 | #Constraints: 190667
175.40/176.12 c #Conflicts: 245000 | #Constraints: 191667
175.40/176.12 c #Conflicts: 246000 | #Constraints: 192667
175.40/176.12 c #Conflicts: 247000 | #Constraints: 193667
175.40/176.12 c #Conflicts: 248000 | #Constraints: 194667
175.40/176.12 c #Conflicts: 249000 | #Constraints: 195667
175.40/176.12 c #Conflicts: 250000 | #Constraints: 196667
175.40/176.12 c #Conflicts: 251000 | #Constraints: 197667
175.40/176.12 c #Conflicts: 252000 | #Constraints: 198667
175.40/176.12 c #Conflicts: 253000 | #Constraints: 199667
175.40/176.12 c #Conflicts: 254000 | #Constraints: 200667
175.40/176.12 c INPROCESSING
175.40/176.12 c GARBAGE COLLECT
175.40/176.12 c #Conflicts: 255000 | #Constraints: 176772
175.40/176.12 c #Conflicts: 256000 | #Constraints: 177772
175.40/176.12 c #Conflicts: 257000 | #Constraints: 178772
175.40/176.12 c #Conflicts: 258000 | #Constraints: 179772
175.40/176.12 c #Conflicts: 259000 | #Constraints: 180772
175.40/176.12 c #Conflicts: 260000 | #Constraints: 181772
175.40/176.12 c #Conflicts: 261000 | #Constraints: 182772
175.40/176.12 c #Conflicts: 262000 | #Constraints: 183772
175.40/176.12 c #Conflicts: 263000 | #Constraints: 184772
175.40/176.12 c #Conflicts: 264000 | #Constraints: 185772
175.40/176.12 c #Conflicts: 265000 | #Constraints: 186772
175.40/176.12 c #Conflicts: 266000 | #Constraints: 187772
175.40/176.12 c #Conflicts: 267000 | #Constraints: 188772
175.40/176.12 c #Conflicts: 268000 | #Constraints: 189772
175.40/176.12 c INPROCESSING
175.40/176.12 c GARBAGE COLLECT
175.40/176.12 c #Conflicts: 269000 | #Constraints: 171224
175.40/176.12 c #Conflicts: 270000 | #Constraints: 172224
175.40/176.12 c #Conflicts: 271000 | #Constraints: 173224
175.40/176.12 c #Conflicts: 272000 | #Constraints: 174224
175.40/176.12 c #Conflicts: 273000 | #Constraints: 175224
175.40/176.12 c #Conflicts: 274000 | #Constraints: 176224
175.40/176.12 c #Conflicts: 275000 | #Constraints: 177224
175.40/176.12 c #Conflicts: 276000 | #Constraints: 178224
175.40/176.12 c #Conflicts: 277000 | #Constraints: 179224
175.40/176.12 c #Conflicts: 278000 | #Constraints: 180224
175.40/176.12 c #Conflicts: 279000 | #Constraints: 181224
175.40/176.12 c #Conflicts: 280000 | #Constraints: 182224
175.40/176.12 c #Conflicts: 281000 | #Constraints: 183224
175.40/176.12 c #Conflicts: 282000 | #Constraints: 184224
175.40/176.12 c #Conflicts: 283000 | #Constraints: 185224
175.40/176.12 c #Conflicts: 284000 | #Constraints: 186224
175.40/176.12 c #Conflicts: 285000 | #Constraints: 187224
175.40/176.12 c #Conflicts: 286000 | #Constraints: 188224
175.40/176.12 c #Conflicts: 287000 | #Constraints: 189224
175.40/176.12 c #Conflicts: 288000 | #Constraints: 190224
175.40/176.12 c #Conflicts: 289000 | #Constraints: 191224
175.40/176.12 c #Conflicts: 290000 | #Constraints: 192224
175.40/176.12 c #Conflicts: 291000 | #Constraints: 193224
175.40/176.12 c #Conflicts: 292000 | #Constraints: 194224
175.40/176.12 c #Conflicts: 293000 | #Constraints: 195224
175.40/176.12 c #Conflicts: 294000 | #Constraints: 196224
175.40/176.12 c #Conflicts: 295000 | #Constraints: 197224
175.40/176.12 c #Conflicts: 296000 | #Constraints: 198224
175.40/176.12 c #Conflicts: 297000 | #Constraints: 199224
175.40/176.12 c #Conflicts: 298000 | #Constraints: 200224
175.40/176.12 c #Conflicts: 299000 | #Constraints: 201224
175.40/176.12 c #Conflicts: 300000 | #Constraints: 202224
175.40/176.12 c #Conflicts: 301000 | #Constraints: 203224
175.40/176.12 c #Conflicts: 302000 | #Constraints: 204224
175.40/176.12 c #Conflicts: 303000 | #Constraints: 205224
175.40/176.12 c INPROCESSING
175.40/176.12 c GARBAGE COLLECT
180.98/181.77 c rational objective 413
212.86/213.75 c #Conflicts: 304000 | #Constraints: 178760
212.86/213.75 c #Conflicts: 305000 | #Constraints: 179760
212.86/213.75 c #Conflicts: 306000 | #Constraints: 180760
212.86/213.75 c #Conflicts: 307000 | #Constraints: 181760
212.86/213.75 c #Conflicts: 308000 | #Constraints: 182760
212.86/213.75 c #Conflicts: 309000 | #Constraints: 183760
212.86/213.75 c #Conflicts: 310000 | #Constraints: 184760
212.86/213.75 c #Conflicts: 311000 | #Constraints: 185760
212.86/213.75 c #Conflicts: 312000 | #Constraints: 186760
212.86/213.75 c #Conflicts: 313000 | #Constraints: 187760
212.86/213.75 c #Conflicts: 314000 | #Constraints: 188760
212.86/213.75 c #Conflicts: 315000 | #Constraints: 189760
212.86/213.75 c #Conflicts: 316000 | #Constraints: 190760
212.86/213.75 c #Conflicts: 317000 | #Constraints: 191760
212.86/213.75 c #Conflicts: 318000 | #Constraints: 192760
212.86/213.75 c #Conflicts: 319000 | #Constraints: 193760
212.86/213.75 c INPROCESSING
212.86/213.75 c GARBAGE COLLECT
212.86/213.75 c #Conflicts: 320000 | #Constraints: 173132
212.86/213.75 c #Conflicts: 321000 | #Constraints: 174132
212.86/213.75 c #Conflicts: 322000 | #Constraints: 175132
212.86/213.75 c #Conflicts: 323000 | #Constraints: 176132
212.86/213.75 c #Conflicts: 324000 | #Constraints: 177132
212.86/213.75 c #Conflicts: 325000 | #Constraints: 178132
212.86/213.75 c #Conflicts: 326000 | #Constraints: 179132
212.86/213.75 c #Conflicts: 327000 | #Constraints: 180132
212.86/213.75 c #Conflicts: 328000 | #Constraints: 181132
212.86/213.75 c #Conflicts: 329000 | #Constraints: 182132
212.86/213.75 c #Conflicts: 330000 | #Constraints: 183132
212.86/213.75 c #Conflicts: 331000 | #Constraints: 184132
212.86/213.75 c #Conflicts: 332000 | #Constraints: 185132
212.86/213.75 c #Conflicts: 333000 | #Constraints: 186132
212.86/213.75 c #Conflicts: 334000 | #Constraints: 187132
212.86/213.75 c #Conflicts: 335000 | #Constraints: 188132
212.86/213.75 c #Conflicts: 336000 | #Constraints: 189132
212.86/213.75 c #Conflicts: 337000 | #Constraints: 190132
212.86/213.75 c #Conflicts: 338000 | #Constraints: 191132
212.86/213.75 c #Conflicts: 339000 | #Constraints: 192132
212.86/213.75 c #Conflicts: 340000 | #Constraints: 193132
212.86/213.75 c #Conflicts: 341000 | #Constraints: 194132
212.86/213.75 c #Conflicts: 342000 | #Constraints: 195132
212.86/213.75 c #Conflicts: 343000 | #Constraints: 196132
212.86/213.75 c #Conflicts: 344000 | #Constraints: 197132
212.86/213.75 c #Conflicts: 345000 | #Constraints: 198132
212.86/213.75 c #Conflicts: 346000 | #Constraints: 199132
212.86/213.75 c #Conflicts: 347000 | #Constraints: 200132
212.86/213.75 c #Conflicts: 348000 | #Constraints: 201132
212.86/213.75 c #Conflicts: 349000 | #Constraints: 202132
212.86/213.75 c #Conflicts: 350000 | #Constraints: 203132
212.86/213.75 c #Conflicts: 351000 | #Constraints: 204132
212.86/213.75 c #Conflicts: 352000 | #Constraints: 205132
212.86/213.75 c #Conflicts: 353000 | #Constraints: 206132
212.86/213.75 c #Conflicts: 354000 | #Constraints: 207132
212.86/213.75 c #Conflicts: 355000 | #Constraints: 208132
212.86/213.75 c #Conflicts: 356000 | #Constraints: 209132
212.86/213.75 c #Conflicts: 357000 | #Constraints: 210132
212.86/213.75 c INPROCESSING
212.86/213.75 c GARBAGE COLLECT
212.86/213.75 c #Conflicts: 358000 | #Constraints: 181219
212.86/213.75 c #Conflicts: 359000 | #Constraints: 182219
212.86/213.75 c #Conflicts: 360000 | #Constraints: 183219
212.86/213.75 c #Conflicts: 361000 | #Constraints: 184219
212.86/213.75 c #Conflicts: 362000 | #Constraints: 185219
212.86/213.75 c #Conflicts: 363000 | #Constraints: 186219
212.86/213.75 c #Conflicts: 364000 | #Constraints: 187219
212.86/213.75 c #Conflicts: 365000 | #Constraints: 188219
212.86/213.75 c #Conflicts: 366000 | #Constraints: 189219
212.86/213.75 c #Conflicts: 367000 | #Constraints: 190219
212.86/213.75 c #Conflicts: 368000 | #Constraints: 191219
212.86/213.75 c #Conflicts: 369000 | #Constraints: 192219
212.86/213.75 c #Conflicts: 370000 | #Constraints: 193219
212.86/213.75 c #Conflicts: 371000 | #Constraints: 194219
212.86/213.75 c #Conflicts: 372000 | #Constraints: 195219
212.86/213.75 c #Conflicts: 373000 | #Constraints: 196219
212.86/213.75 c #Conflicts: 374000 | #Constraints: 197219
212.86/213.75 c INPROCESSING
212.86/213.75 c GARBAGE COLLECT
212.86/213.75 c #Conflicts: 375000 | #Constraints: 174698
212.86/213.75 c #Conflicts: 376000 | #Constraints: 175698
212.86/213.75 c #Conflicts: 377000 | #Constraints: 176698
212.86/213.75 c #Conflicts: 378000 | #Constraints: 177698
212.86/213.75 c #Conflicts: 379000 | #Constraints: 178698
212.86/213.75 c #Conflicts: 380000 | #Constraints: 179698
225.02/225.92 c #Conflicts: 381000 | #Constraints: 180698
225.02/225.92 c #Conflicts: 382000 | #Constraints: 181698
225.02/225.92 c #Conflicts: 383000 | #Constraints: 182698
225.02/225.92 c #Conflicts: 384000 | #Constraints: 183698
225.02/225.92 c #Conflicts: 385000 | #Constraints: 184698
225.02/225.92 c #Conflicts: 386000 | #Constraints: 185698
225.02/225.92 c #Conflicts: 387000 | #Constraints: 186698
225.02/225.92 c #Conflicts: 388000 | #Constraints: 187698
225.02/225.92 c #Conflicts: 389000 | #Constraints: 188698
225.02/225.92 c #Conflicts: 390000 | #Constraints: 189698
225.02/225.92 c #Conflicts: 391000 | #Constraints: 190698
225.02/225.92 c #Conflicts: 392000 | #Constraints: 191698
225.02/225.92 c #Conflicts: 393000 | #Constraints: 192698
225.02/225.92 c #Conflicts: 394000 | #Constraints: 193698
225.02/225.92 c #Conflicts: 395000 | #Constraints: 194698
225.02/225.92 c #Conflicts: 396000 | #Constraints: 195698
225.02/225.92 c #Conflicts: 397000 | #Constraints: 196698
225.02/225.92 c #Conflicts: 398000 | #Constraints: 197698
225.02/225.92 c #Conflicts: 399000 | #Constraints: 198698
225.02/225.92 c #Conflicts: 400000 | #Constraints: 199698
225.02/225.92 c #Conflicts: 401000 | #Constraints: 200698
225.02/225.92 c #Conflicts: 402000 | #Constraints: 201698
225.02/225.92 c #Conflicts: 403000 | #Constraints: 202698
225.02/225.92 c #Conflicts: 404000 | #Constraints: 203698
225.02/225.92 c #Conflicts: 405000 | #Constraints: 204698
225.02/225.92 c #Conflicts: 406000 | #Constraints: 205698
225.02/225.92 c #Conflicts: 407000 | #Constraints: 206698
225.02/225.92 c #Conflicts: 408000 | #Constraints: 207698
225.02/225.92 c #Conflicts: 409000 | #Constraints: 208698
225.02/225.92 c #Conflicts: 410000 | #Constraints: 209698
225.02/225.92 c #Conflicts: 411000 | #Constraints: 210698
225.02/225.92 c #Conflicts: 412000 | #Constraints: 211698
225.02/225.92 c #Conflicts: 413000 | #Constraints: 212698
225.02/225.92 c #Conflicts: 414000 | #Constraints: 213698
225.02/225.92 c #Conflicts: 415000 | #Constraints: 214698
225.02/225.92 c INPROCESSING
225.02/225.92 c GARBAGE COLLECT
225.02/225.92 c rational objective 423.917
252.63/253.68 c #Conflicts: 416000 | #Constraints: 183399
252.63/253.68 c #Conflicts: 417000 | #Constraints: 184399
252.63/253.68 c #Conflicts: 418000 | #Constraints: 185399
252.63/253.68 c #Conflicts: 419000 | #Constraints: 186399
252.63/253.68 c #Conflicts: 420000 | #Constraints: 187399
252.63/253.68 c #Conflicts: 421000 | #Constraints: 188399
252.63/253.68 c #Conflicts: 422000 | #Constraints: 189399
252.63/253.68 c #Conflicts: 423000 | #Constraints: 190399
252.63/253.68 c #Conflicts: 424000 | #Constraints: 191399
252.63/253.68 c #Conflicts: 425000 | #Constraints: 192399
252.63/253.68 c #Conflicts: 426000 | #Constraints: 193399
252.63/253.68 c #Conflicts: 427000 | #Constraints: 194399
252.63/253.68 c #Conflicts: 428000 | #Constraints: 195399
252.63/253.68 c #Conflicts: 429000 | #Constraints: 196399
252.63/253.68 c #Conflicts: 430000 | #Constraints: 197399
252.63/253.68 c #Conflicts: 431000 | #Constraints: 198399
252.63/253.68 c #Conflicts: 432000 | #Constraints: 199399
252.63/253.68 c #Conflicts: 433000 | #Constraints: 200399
252.63/253.68 c #Conflicts: 434000 | #Constraints: 201399
252.63/253.68 c INPROCESSING
252.63/253.68 c GARBAGE COLLECT
252.63/253.68 c #Conflicts: 435000 | #Constraints: 177180
252.63/253.68 c #Conflicts: 436000 | #Constraints: 178180
252.63/253.68 c #Conflicts: 437000 | #Constraints: 179180
252.63/253.68 c #Conflicts: 438000 | #Constraints: 180180
252.63/253.68 c #Conflicts: 439000 | #Constraints: 181180
252.63/253.68 c #Conflicts: 440000 | #Constraints: 182180
252.63/253.68 c #Conflicts: 441000 | #Constraints: 183180
252.63/253.68 c #Conflicts: 442000 | #Constraints: 184180
252.63/253.68 c #Conflicts: 443000 | #Constraints: 185180
252.63/253.68 c #Conflicts: 444000 | #Constraints: 186180
252.63/253.68 c #Conflicts: 445000 | #Constraints: 187180
252.63/253.68 c #Conflicts: 446000 | #Constraints: 188180
252.63/253.68 c #Conflicts: 447000 | #Constraints: 189180
252.63/253.68 c #Conflicts: 448000 | #Constraints: 190180
252.63/253.68 c #Conflicts: 449000 | #Constraints: 191180
252.63/253.68 c #Conflicts: 450000 | #Constraints: 192180
252.63/253.68 c #Conflicts: 451000 | #Constraints: 193180
252.63/253.68 c #Conflicts: 452000 | #Constraints: 194180
252.63/253.68 c #Conflicts: 453000 | #Constraints: 195180
252.63/253.68 c #Conflicts: 454000 | #Constraints: 196180
252.63/253.68 c #Conflicts: 455000 | #Constraints: 197180
252.63/253.68 c #Conflicts: 456000 | #Constraints: 198180
252.63/253.68 c #Conflicts: 457000 | #Constraints: 199180
252.63/253.68 c #Conflicts: 458000 | #Constraints: 200180
252.63/253.68 c #Conflicts: 459000 | #Constraints: 201180
252.63/253.68 c #Conflicts: 460000 | #Constraints: 202180
252.63/253.68 c #Conflicts: 461000 | #Constraints: 203180
252.63/253.68 c #Conflicts: 462000 | #Constraints: 204180
252.63/253.68 c #Conflicts: 463000 | #Constraints: 205180
252.63/253.68 c #Conflicts: 464000 | #Constraints: 206180
252.63/253.68 c #Conflicts: 465000 | #Constraints: 207180
252.63/253.68 c #Conflicts: 466000 | #Constraints: 208180
252.63/253.68 c #Conflicts: 467000 | #Constraints: 209180
252.63/253.68 c #Conflicts: 468000 | #Constraints: 210180
252.63/253.68 c #Conflicts: 469000 | #Constraints: 211180
252.63/253.68 c #Conflicts: 470000 | #Constraints: 212180
252.63/253.68 c #Conflicts: 471000 | #Constraints: 213180
252.63/253.68 c #Conflicts: 472000 | #Constraints: 214180
252.63/253.68 c #Conflicts: 473000 | #Constraints: 215180
252.63/253.68 c #Conflicts: 474000 | #Constraints: 216180
252.63/253.68 c #Conflicts: 475000 | #Constraints: 217180
252.63/253.68 c #Conflicts: 476000 | #Constraints: 218180
252.63/253.68 c #Conflicts: 477000 | #Constraints: 219180
252.63/253.68 c #Conflicts: 478000 | #Constraints: 220180
252.63/253.68 c INPROCESSING
252.63/253.68 c GARBAGE COLLECT
252.63/253.68 c #Conflicts: 479000 | #Constraints: 186240
252.63/253.68 c #Conflicts: 480000 | #Constraints: 187240
252.63/253.68 c #Conflicts: 481000 | #Constraints: 188240
252.63/253.68 c #Conflicts: 482000 | #Constraints: 189240
252.63/253.68 c #Conflicts: 483000 | #Constraints: 190240
252.63/253.68 c #Conflicts: 484000 | #Constraints: 191240
252.63/253.68 c #Conflicts: 485000 | #Constraints: 192240
252.63/253.68 c #Conflicts: 486000 | #Constraints: 193240
252.63/253.68 c #Conflicts: 487000 | #Constraints: 194240
252.63/253.68 c #Conflicts: 488000 | #Constraints: 195240
252.63/253.68 c #Conflicts: 489000 | #Constraints: 196240
252.63/253.68 c #Conflicts: 490000 | #Constraints: 197240
252.63/253.68 c #Conflicts: 491000 | #Constraints: 198240
252.63/253.68 c #Conflicts: 492000 | #Constraints: 199240
252.63/253.68 c #Conflicts: 493000 | #Constraints: 200240
274.46/275.60 c #Conflicts: 494000 | #Constraints: 201240
274.46/275.60 c #Conflicts: 495000 | #Constraints: 202240
274.46/275.60 c #Conflicts: 496000 | #Constraints: 203240
274.46/275.60 c #Conflicts: 497000 | #Constraints: 204240
274.46/275.60 c #Conflicts: 498000 | #Constraints: 205240
274.46/275.60 c INPROCESSING
274.46/275.60 c GARBAGE COLLECT
274.46/275.60 c #Conflicts: 499000 | #Constraints: 178943
274.46/275.60 c #Conflicts: 500000 | #Constraints: 179943
274.46/275.60 c #Conflicts: 501000 | #Constraints: 180943
274.46/275.60 c #Conflicts: 502000 | #Constraints: 181943
274.46/275.60 c #Conflicts: 503000 | #Constraints: 182943
274.46/275.60 c #Conflicts: 504000 | #Constraints: 183943
274.46/275.60 c #Conflicts: 505000 | #Constraints: 184943
274.46/275.60 c #Conflicts: 506000 | #Constraints: 185943
274.46/275.60 c #Conflicts: 507000 | #Constraints: 186943
274.46/275.60 c #Conflicts: 508000 | #Constraints: 187943
274.46/275.60 c #Conflicts: 509000 | #Constraints: 188943
274.46/275.60 c #Conflicts: 510000 | #Constraints: 189943
274.46/275.60 c #Conflicts: 511000 | #Constraints: 190943
274.46/275.60 c #Conflicts: 512000 | #Constraints: 191943
274.46/275.60 c #Conflicts: 513000 | #Constraints: 192943
274.46/275.60 c #Conflicts: 514000 | #Constraints: 193943
274.46/275.60 c #Conflicts: 515000 | #Constraints: 194943
274.46/275.60 c #Conflicts: 516000 | #Constraints: 195943
274.46/275.60 c #Conflicts: 517000 | #Constraints: 196943
274.46/275.60 c #Conflicts: 518000 | #Constraints: 197943
274.46/275.60 c #Conflicts: 519000 | #Constraints: 198943
274.46/275.60 c #Conflicts: 520000 | #Constraints: 199943
274.46/275.60 c #Conflicts: 521000 | #Constraints: 200943
274.46/275.60 c #Conflicts: 522000 | #Constraints: 201943
274.46/275.60 c #Conflicts: 523000 | #Constraints: 202943
274.46/275.60 c #Conflicts: 524000 | #Constraints: 203943
274.46/275.60 c #Conflicts: 525000 | #Constraints: 204943
274.46/275.60 c #Conflicts: 526000 | #Constraints: 205943
274.46/275.60 c #Conflicts: 527000 | #Constraints: 206943
274.46/275.60 c #Conflicts: 528000 | #Constraints: 207943
274.46/275.60 c #Conflicts: 529000 | #Constraints: 208943
274.46/275.60 c #Conflicts: 530000 | #Constraints: 209943
274.46/275.60 c #Conflicts: 531000 | #Constraints: 210943
274.46/275.60 c #Conflicts: 532000 | #Constraints: 211943
274.46/275.60 c #Conflicts: 533000 | #Constraints: 212943
274.46/275.60 c #Conflicts: 534000 | #Constraints: 213943
274.46/275.60 c #Conflicts: 535000 | #Constraints: 214943
274.46/275.60 c #Conflicts: 536000 | #Constraints: 215943
274.46/275.60 c #Conflicts: 537000 | #Constraints: 216943
274.46/275.60 c #Conflicts: 538000 | #Constraints: 217943
274.46/275.60 c #Conflicts: 539000 | #Constraints: 218943
274.46/275.60 c #Conflicts: 540000 | #Constraints: 219943
274.46/275.60 c #Conflicts: 541000 | #Constraints: 220943
274.46/275.60 c #Conflicts: 542000 | #Constraints: 221943
274.46/275.60 c #Conflicts: 543000 | #Constraints: 222943
274.46/275.60 c #Conflicts: 544000 | #Constraints: 223943
274.46/275.60 c #Conflicts: 545000 | #Constraints: 224943
274.46/275.60 c INPROCESSING
274.46/275.60 c GARBAGE COLLECT
274.46/275.60 c rational objective 433.917
299.62/301.55 c #Conflicts: 546000 | #Constraints: 188555
299.62/301.55 c #Conflicts: 547000 | #Constraints: 189555
299.62/301.55 c #Conflicts: 548000 | #Constraints: 190555
299.62/301.55 c #Conflicts: 549000 | #Constraints: 191555
299.62/301.55 c #Conflicts: 550000 | #Constraints: 192555
299.62/301.55 c #Conflicts: 551000 | #Constraints: 193555
299.62/301.55 c #Conflicts: 552000 | #Constraints: 194555
299.62/301.55 c #Conflicts: 553000 | #Constraints: 195555
299.62/301.55 c #Conflicts: 554000 | #Constraints: 196555
299.62/301.55 c #Conflicts: 555000 | #Constraints: 197555
299.62/301.55 c #Conflicts: 556000 | #Constraints: 198555
299.62/301.55 c #Conflicts: 557000 | #Constraints: 199555
299.62/301.55 c #Conflicts: 558000 | #Constraints: 200555
299.62/301.55 c #Conflicts: 559000 | #Constraints: 201555
299.62/301.55 c #Conflicts: 560000 | #Constraints: 202555
299.62/301.55 c #Conflicts: 561000 | #Constraints: 203555
299.62/301.55 c #Conflicts: 562000 | #Constraints: 204555
299.62/301.55 c #Conflicts: 563000 | #Constraints: 205555
299.62/301.55 c #Conflicts: 564000 | #Constraints: 206555
299.62/301.55 c #Conflicts: 565000 | #Constraints: 207555
299.62/301.55 c #Conflicts: 566000 | #Constraints: 208555
299.62/301.55 c INPROCESSING
299.62/301.55 c GARBAGE COLLECT
299.62/301.55 c #Conflicts: 567000 | #Constraints: 180481
299.62/301.55 c #Conflicts: 568000 | #Constraints: 181481
299.62/301.55 c #Conflicts: 569000 | #Constraints: 182481
299.62/301.55 c #Conflicts: 570000 | #Constraints: 183481
299.62/301.55 c #Conflicts: 571000 | #Constraints: 184481
299.62/301.55 c #Conflicts: 572000 | #Constraints: 185481
299.62/301.55 c #Conflicts: 573000 | #Constraints: 186481
299.62/301.55 c #Conflicts: 574000 | #Constraints: 187481
299.62/301.55 c #Conflicts: 575000 | #Constraints: 188481
299.62/301.55 c #Conflicts: 576000 | #Constraints: 189481
299.62/301.55 c #Conflicts: 577000 | #Constraints: 190481
299.62/301.55 c #Conflicts: 578000 | #Constraints: 191481
299.62/301.55 c #Conflicts: 579000 | #Constraints: 192481
299.62/301.55 c #Conflicts: 580000 | #Constraints: 193481
299.62/301.55 c #Conflicts: 581000 | #Constraints: 194481
299.62/301.55 c #Conflicts: 582000 | #Constraints: 195481
299.62/301.55 c #Conflicts: 583000 | #Constraints: 196481
299.62/301.55 c #Conflicts: 584000 | #Constraints: 197481
299.62/301.55 c #Conflicts: 585000 | #Constraints: 198481
299.62/301.55 c #Conflicts: 586000 | #Constraints: 199481
299.62/301.55 c #Conflicts: 587000 | #Constraints: 200481
299.62/301.55 c #Conflicts: 588000 | #Constraints: 201481
299.62/301.55 c #Conflicts: 589000 | #Constraints: 202481
299.62/301.55 c #Conflicts: 590000 | #Constraints: 203481
299.62/301.55 c #Conflicts: 591000 | #Constraints: 204481
299.62/301.55 c #Conflicts: 592000 | #Constraints: 205481
299.62/301.55 c #Conflicts: 593000 | #Constraints: 206481
299.62/301.55 c #Conflicts: 594000 | #Constraints: 207481
299.62/301.55 c #Conflicts: 595000 | #Constraints: 208481
299.62/301.55 c #Conflicts: 596000 | #Constraints: 209481
299.62/301.55 c #Conflicts: 597000 | #Constraints: 210481
299.62/301.55 c #Conflicts: 598000 | #Constraints: 211481
299.62/301.55 c #Conflicts: 599000 | #Constraints: 212481
299.62/301.55 c #Conflicts: 600000 | #Constraints: 213481
299.62/301.55 c #Conflicts: 601000 | #Constraints: 214481
299.62/301.55 c #Conflicts: 602000 | #Constraints: 215481
299.62/301.55 c #Conflicts: 603000 | #Constraints: 216481
299.62/301.55 c #Conflicts: 604000 | #Constraints: 217481
299.62/301.55 c #Conflicts: 605000 | #Constraints: 218481
299.62/301.55 c #Conflicts: 606000 | #Constraints: 219481
299.62/301.55 c #Conflicts: 607000 | #Constraints: 220481
299.62/301.55 c #Conflicts: 608000 | #Constraints: 221481
299.62/301.55 c #Conflicts: 609000 | #Constraints: 222481
299.62/301.55 c #Conflicts: 610000 | #Constraints: 223481
299.62/301.55 c #Conflicts: 611000 | #Constraints: 224481
299.62/301.55 c #Conflicts: 612000 | #Constraints: 225481
299.62/301.55 c #Conflicts: 613000 | #Constraints: 226481
299.62/301.55 c #Conflicts: 614000 | #Constraints: 227481
299.62/301.55 c #Conflicts: 615000 | #Constraints: 228481
299.62/301.55 c #Conflicts: 616000 | #Constraints: 229481
299.62/301.55 c #Conflicts: 617000 | #Constraints: 230481
299.62/301.55 c INPROCESSING
299.62/301.55 c GARBAGE COLLECT
299.62/301.55 c #Conflicts: 618000 | #Constraints: 191600
299.62/301.55 c #Conflicts: 619000 | #Constraints: 192600
299.62/301.55 c #Conflicts: 620000 | #Constraints: 193600
299.62/301.55 c #Conflicts: 621000 | #Constraints: 194600
299.62/301.55 c #Conflicts: 622000 | #Constraints: 195600
299.62/301.55 c #Conflicts: 623000 | #Constraints: 196600
310.10/312.05 c #Conflicts: 624000 | #Constraints: 197600
310.10/312.05 c #Conflicts: 625000 | #Constraints: 198600
310.10/312.05 c #Conflicts: 626000 | #Constraints: 199600
310.10/312.05 c #Conflicts: 627000 | #Constraints: 200600
310.10/312.05 c #Conflicts: 628000 | #Constraints: 201600
310.10/312.05 c #Conflicts: 629000 | #Constraints: 202600
310.10/312.05 c #Conflicts: 630000 | #Constraints: 203600
310.10/312.05 c #Conflicts: 631000 | #Constraints: 204600
310.10/312.05 c #Conflicts: 632000 | #Constraints: 205600
310.10/312.05 c #Conflicts: 633000 | #Constraints: 206600
310.10/312.05 c #Conflicts: 634000 | #Constraints: 207600
310.10/312.05 c #Conflicts: 635000 | #Constraints: 208600
310.10/312.05 c #Conflicts: 636000 | #Constraints: 209600
310.10/312.05 c #Conflicts: 637000 | #Constraints: 210600
310.10/312.05 c #Conflicts: 638000 | #Constraints: 211600
310.10/312.05 c #Conflicts: 639000 | #Constraints: 212600
310.10/312.05 c INPROCESSING
310.10/312.05 c GARBAGE COLLECT
310.10/312.05 c rational objective 435.833
335.45/337.54 c #Conflicts: 640000 | #Constraints: 182621
335.45/337.54 c #Conflicts: 641000 | #Constraints: 183621
335.45/337.54 c #Conflicts: 642000 | #Constraints: 184621
335.45/337.54 c #Conflicts: 643000 | #Constraints: 185621
335.45/337.54 c #Conflicts: 644000 | #Constraints: 186621
335.45/337.54 c #Conflicts: 645000 | #Constraints: 187621
335.45/337.54 c #Conflicts: 646000 | #Constraints: 188621
335.45/337.54 c #Conflicts: 647000 | #Constraints: 189621
335.45/337.54 c #Conflicts: 648000 | #Constraints: 190621
335.45/337.54 c #Conflicts: 649000 | #Constraints: 191621
335.45/337.54 c #Conflicts: 650000 | #Constraints: 192621
335.45/337.54 c #Conflicts: 651000 | #Constraints: 193621
335.45/337.54 c #Conflicts: 652000 | #Constraints: 194621
335.45/337.54 c #Conflicts: 653000 | #Constraints: 195621
335.45/337.54 c #Conflicts: 654000 | #Constraints: 196621
335.45/337.54 c #Conflicts: 655000 | #Constraints: 197621
335.45/337.54 c #Conflicts: 656000 | #Constraints: 198621
335.45/337.54 c #Conflicts: 657000 | #Constraints: 199621
335.45/337.54 c #Conflicts: 658000 | #Constraints: 200621
335.45/337.54 c #Conflicts: 659000 | #Constraints: 201621
335.45/337.54 c #Conflicts: 660000 | #Constraints: 202621
335.45/337.54 c #Conflicts: 661000 | #Constraints: 203621
335.45/337.54 c #Conflicts: 662000 | #Constraints: 204621
335.45/337.54 c #Conflicts: 663000 | #Constraints: 205621
335.45/337.54 c #Conflicts: 664000 | #Constraints: 206621
335.45/337.54 c #Conflicts: 665000 | #Constraints: 207621
335.45/337.54 c #Conflicts: 666000 | #Constraints: 208621
335.45/337.54 c #Conflicts: 667000 | #Constraints: 209621
335.45/337.54 c #Conflicts: 668000 | #Constraints: 210621
335.45/337.54 c #Conflicts: 669000 | #Constraints: 211621
335.45/337.54 c #Conflicts: 670000 | #Constraints: 212621
335.45/337.54 c #Conflicts: 671000 | #Constraints: 213621
335.45/337.54 c #Conflicts: 672000 | #Constraints: 214621
335.45/337.54 c #Conflicts: 673000 | #Constraints: 215621
335.45/337.54 c #Conflicts: 674000 | #Constraints: 216621
335.45/337.54 c #Conflicts: 675000 | #Constraints: 217621
335.45/337.54 c #Conflicts: 676000 | #Constraints: 218621
335.45/337.54 c #Conflicts: 677000 | #Constraints: 219621
335.45/337.54 c #Conflicts: 678000 | #Constraints: 220621
335.45/337.54 c #Conflicts: 679000 | #Constraints: 221621
335.45/337.54 c #Conflicts: 680000 | #Constraints: 222621
335.45/337.54 c #Conflicts: 681000 | #Constraints: 223621
335.45/337.54 c #Conflicts: 682000 | #Constraints: 224621
335.45/337.54 c #Conflicts: 683000 | #Constraints: 225621
335.45/337.54 c #Conflicts: 684000 | #Constraints: 226621
335.45/337.54 c #Conflicts: 685000 | #Constraints: 227621
335.45/337.54 c #Conflicts: 686000 | #Constraints: 228621
335.45/337.54 c #Conflicts: 687000 | #Constraints: 229621
335.45/337.54 c #Conflicts: 688000 | #Constraints: 230621
335.45/337.54 c #Conflicts: 689000 | #Constraints: 231621
335.45/337.54 c #Conflicts: 690000 | #Constraints: 232621
335.45/337.54 c #Conflicts: 691000 | #Constraints: 233621
335.45/337.54 c #Conflicts: 692000 | #Constraints: 234621
335.45/337.54 c #Conflicts: 693000 | #Constraints: 235621
335.45/337.54 c INPROCESSING
335.45/337.54 c GARBAGE COLLECT
335.45/337.54 c #Conflicts: 694000 | #Constraints: 194208
335.45/337.54 c #Conflicts: 695000 | #Constraints: 195208
335.45/337.54 c #Conflicts: 696000 | #Constraints: 196208
335.45/337.54 c #Conflicts: 697000 | #Constraints: 197208
335.45/337.54 c #Conflicts: 698000 | #Constraints: 198208
335.45/337.54 c #Conflicts: 699000 | #Constraints: 199208
335.45/337.54 c #Conflicts: 700000 | #Constraints: 200208
335.45/337.54 c #Conflicts: 701000 | #Constraints: 201208
335.45/337.54 c #Conflicts: 702000 | #Constraints: 202208
335.45/337.54 c #Conflicts: 703000 | #Constraints: 203208
335.45/337.54 c #Conflicts: 704000 | #Constraints: 204208
335.45/337.54 c #Conflicts: 705000 | #Constraints: 205208
335.45/337.54 c #Conflicts: 706000 | #Constraints: 206208
335.45/337.54 c #Conflicts: 707000 | #Constraints: 207208
335.45/337.54 c #Conflicts: 708000 | #Constraints: 208208
335.45/337.54 c #Conflicts: 709000 | #Constraints: 209208
335.45/337.54 c #Conflicts: 710000 | #Constraints: 210208
335.45/337.54 c #Conflicts: 711000 | #Constraints: 211208
335.45/337.54 c #Conflicts: 712000 | #Constraints: 212208
335.45/337.54 c #Conflicts: 713000 | #Constraints: 213208
335.45/337.54 c #Conflicts: 714000 | #Constraints: 214208
335.45/337.54 c #Conflicts: 715000 | #Constraints: 215208
335.45/337.54 c #Conflicts: 716000 | #Constraints: 216208
335.45/337.54 c INPROCESSING
335.45/337.54 c GARBAGE COLLECT
335.45/337.54 c #Conflicts: 717000 | #Constraints: 184299
355.69/357.81 c #Conflicts: 718000 | #Constraints: 185299
355.69/357.81 c #Conflicts: 719000 | #Constraints: 186299
355.69/357.81 c #Conflicts: 720000 | #Constraints: 187299
355.69/357.81 c #Conflicts: 721000 | #Constraints: 188299
355.69/357.81 c #Conflicts: 722000 | #Constraints: 189299
355.69/357.81 c #Conflicts: 723000 | #Constraints: 190299
355.69/357.81 c #Conflicts: 724000 | #Constraints: 191299
355.69/357.81 c #Conflicts: 725000 | #Constraints: 192299
355.69/357.81 c #Conflicts: 726000 | #Constraints: 193299
355.69/357.81 c #Conflicts: 727000 | #Constraints: 194299
355.69/357.81 c #Conflicts: 728000 | #Constraints: 195299
355.69/357.81 c #Conflicts: 729000 | #Constraints: 196299
355.69/357.81 c #Conflicts: 730000 | #Constraints: 197299
355.69/357.81 c #Conflicts: 731000 | #Constraints: 198299
355.69/357.81 c #Conflicts: 732000 | #Constraints: 199299
355.69/357.81 c #Conflicts: 733000 | #Constraints: 200299
355.69/357.81 c #Conflicts: 734000 | #Constraints: 201299
355.69/357.81 c #Conflicts: 735000 | #Constraints: 202299
355.69/357.81 c #Conflicts: 736000 | #Constraints: 203299
355.69/357.81 c #Conflicts: 737000 | #Constraints: 204299
355.69/357.81 c #Conflicts: 738000 | #Constraints: 205299
355.69/357.81 c #Conflicts: 739000 | #Constraints: 206299
355.69/357.81 c #Conflicts: 740000 | #Constraints: 207299
355.69/357.81 c #Conflicts: 741000 | #Constraints: 208299
355.69/357.81 c #Conflicts: 742000 | #Constraints: 209299
355.69/357.81 c #Conflicts: 743000 | #Constraints: 210299
355.69/357.81 c #Conflicts: 744000 | #Constraints: 211299
355.69/357.81 c #Conflicts: 745000 | #Constraints: 212299
355.69/357.81 c #Conflicts: 746000 | #Constraints: 213299
355.69/357.81 c #Conflicts: 747000 | #Constraints: 214299
355.69/357.81 c #Conflicts: 748000 | #Constraints: 215299
355.69/357.81 c #Conflicts: 749000 | #Constraints: 216299
355.69/357.81 c #Conflicts: 750000 | #Constraints: 217299
355.69/357.81 c #Conflicts: 751000 | #Constraints: 218299
355.69/357.81 c #Conflicts: 752000 | #Constraints: 219299
355.69/357.81 c #Conflicts: 753000 | #Constraints: 220299
355.69/357.81 c #Conflicts: 754000 | #Constraints: 221299
355.69/357.81 c #Conflicts: 755000 | #Constraints: 222299
355.69/357.81 c #Conflicts: 756000 | #Constraints: 223299
355.69/357.81 c #Conflicts: 757000 | #Constraints: 224299
355.69/357.81 c #Conflicts: 758000 | #Constraints: 225299
355.69/357.81 c #Conflicts: 759000 | #Constraints: 226299
355.69/357.81 c #Conflicts: 760000 | #Constraints: 227299
355.69/357.81 c #Conflicts: 761000 | #Constraints: 228299
355.69/357.81 c #Conflicts: 762000 | #Constraints: 229299
355.69/357.81 c #Conflicts: 763000 | #Constraints: 230299
355.69/357.81 c #Conflicts: 764000 | #Constraints: 231299
355.69/357.81 c #Conflicts: 765000 | #Constraints: 232299
355.69/357.81 c #Conflicts: 766000 | #Constraints: 233299
355.69/357.81 c #Conflicts: 767000 | #Constraints: 234299
355.69/357.81 c #Conflicts: 768000 | #Constraints: 235299
355.69/357.81 c #Conflicts: 769000 | #Constraints: 236299
355.69/357.81 c #Conflicts: 770000 | #Constraints: 237299
355.69/357.81 c #Conflicts: 771000 | #Constraints: 238299
355.69/357.81 c #Conflicts: 772000 | #Constraints: 239299
355.69/357.81 c #Conflicts: 773000 | #Constraints: 240299
355.69/357.81 c INPROCESSING
355.69/357.81 c GARBAGE COLLECT
355.69/357.81 c rational objective 435.833
376.93/379.12 c #Conflicts: 774000 | #Constraints: 196490
376.93/379.12 c #Conflicts: 775000 | #Constraints: 197490
376.93/379.12 c #Conflicts: 776000 | #Constraints: 198490
376.93/379.12 c #Conflicts: 777000 | #Constraints: 199490
376.93/379.12 c #Conflicts: 778000 | #Constraints: 200490
376.93/379.12 c #Conflicts: 779000 | #Constraints: 201490
376.93/379.12 c #Conflicts: 780000 | #Constraints: 202490
376.93/379.12 c #Conflicts: 781000 | #Constraints: 203490
376.93/379.12 c #Conflicts: 782000 | #Constraints: 204490
376.93/379.12 c #Conflicts: 783000 | #Constraints: 205490
376.93/379.12 c #Conflicts: 784000 | #Constraints: 206490
376.93/379.12 c #Conflicts: 785000 | #Constraints: 207490
376.93/379.12 c #Conflicts: 786000 | #Constraints: 208490
376.93/379.12 c #Conflicts: 787000 | #Constraints: 209490
376.93/379.12 c #Conflicts: 788000 | #Constraints: 210490
376.93/379.12 c #Conflicts: 789000 | #Constraints: 211490
376.93/379.12 c #Conflicts: 790000 | #Constraints: 212490
376.93/379.12 c #Conflicts: 791000 | #Constraints: 213490
376.93/379.12 c #Conflicts: 792000 | #Constraints: 214490
376.93/379.12 c #Conflicts: 793000 | #Constraints: 215490
376.93/379.12 c #Conflicts: 794000 | #Constraints: 216490
376.93/379.12 c #Conflicts: 795000 | #Constraints: 217490
376.93/379.12 c #Conflicts: 796000 | #Constraints: 218490
376.93/379.12 c #Conflicts: 797000 | #Constraints: 219490
376.93/379.12 c #Conflicts: 798000 | #Constraints: 220490
376.93/379.12 c INPROCESSING
376.93/379.12 c GARBAGE COLLECT
376.93/379.12 c #Conflicts: 799000 | #Constraints: 186731
376.93/379.12 c #Conflicts: 800000 | #Constraints: 187731
376.93/379.12 c #Conflicts: 801000 | #Constraints: 188731
376.93/379.12 c #Conflicts: 802000 | #Constraints: 189731
376.93/379.12 c #Conflicts: 803000 | #Constraints: 190731
376.93/379.12 c #Conflicts: 804000 | #Constraints: 191731
376.93/379.12 c #Conflicts: 805000 | #Constraints: 192731
376.93/379.12 c #Conflicts: 806000 | #Constraints: 193731
376.93/379.12 c #Conflicts: 807000 | #Constraints: 194731
376.93/379.12 c #Conflicts: 808000 | #Constraints: 195731
376.93/379.12 c #Conflicts: 809000 | #Constraints: 196731
376.93/379.12 c #Conflicts: 810000 | #Constraints: 197731
376.93/379.12 c #Conflicts: 811000 | #Constraints: 198731
376.93/379.12 c #Conflicts: 812000 | #Constraints: 199731
376.93/379.12 c #Conflicts: 813000 | #Constraints: 200731
376.93/379.12 c #Conflicts: 814000 | #Constraints: 201731
376.93/379.12 c #Conflicts: 815000 | #Constraints: 202731
376.93/379.12 c #Conflicts: 816000 | #Constraints: 203731
376.93/379.12 c #Conflicts: 817000 | #Constraints: 204731
376.93/379.12 c #Conflicts: 818000 | #Constraints: 205731
376.93/379.12 c #Conflicts: 819000 | #Constraints: 206731
376.93/379.12 c #Conflicts: 820000 | #Constraints: 207731
376.93/379.12 c #Conflicts: 821000 | #Constraints: 208731
376.93/379.12 c #Conflicts: 822000 | #Constraints: 209731
376.93/379.12 c #Conflicts: 823000 | #Constraints: 210731
376.93/379.12 c #Conflicts: 824000 | #Constraints: 211731
376.93/379.12 c #Conflicts: 825000 | #Constraints: 212731
376.93/379.12 c #Conflicts: 826000 | #Constraints: 213731
376.93/379.12 c #Conflicts: 827000 | #Constraints: 214731
376.93/379.12 c #Conflicts: 828000 | #Constraints: 215731
376.93/379.12 c #Conflicts: 829000 | #Constraints: 216731
376.93/379.12 c #Conflicts: 830000 | #Constraints: 217731
376.93/379.12 c #Conflicts: 831000 | #Constraints: 218731
376.93/379.12 c #Conflicts: 832000 | #Constraints: 219731
376.93/379.12 c #Conflicts: 833000 | #Constraints: 220731
376.93/379.12 c #Conflicts: 834000 | #Constraints: 221731
376.93/379.12 c #Conflicts: 835000 | #Constraints: 222731
376.93/379.12 c #Conflicts: 836000 | #Constraints: 223731
376.93/379.12 c #Conflicts: 837000 | #Constraints: 224731
376.93/379.12 c #Conflicts: 838000 | #Constraints: 225731
376.93/379.12 c #Conflicts: 839000 | #Constraints: 226731
376.93/379.12 c #Conflicts: 840000 | #Constraints: 227731
376.93/379.12 c #Conflicts: 841000 | #Constraints: 228731
376.93/379.12 c #Conflicts: 842000 | #Constraints: 229731
376.93/379.12 c #Conflicts: 843000 | #Constraints: 230731
376.93/379.12 c #Conflicts: 844000 | #Constraints: 231731
376.93/379.12 c #Conflicts: 845000 | #Constraints: 232731
376.93/379.12 c #Conflicts: 846000 | #Constraints: 233731
376.93/379.12 c #Conflicts: 847000 | #Constraints: 234731
376.93/379.12 c #Conflicts: 848000 | #Constraints: 235731
376.93/379.12 c #Conflicts: 849000 | #Constraints: 236731
376.93/379.12 c #Conflicts: 850000 | #Constraints: 237731
376.93/379.12 c #Conflicts: 851000 | #Constraints: 238731
376.93/379.12 c #Conflicts: 852000 | #Constraints: 239731
381.61/383.83 c #Conflicts: 853000 | #Constraints: 240731
381.61/383.83 c #Conflicts: 854000 | #Constraints: 241731
381.61/383.83 c #Conflicts: 855000 | #Constraints: 242731
381.61/383.83 c #Conflicts: 856000 | #Constraints: 243731
381.61/383.83 c #Conflicts: 857000 | #Constraints: 244731
381.61/383.83 c #Conflicts: 858000 | #Constraints: 245731
381.61/383.83 c INPROCESSING
381.61/383.83 c GARBAGE COLLECT
381.61/383.83 c rational objective 436.083
407.23/409.63 c #Conflicts: 859000 | #Constraints: 199307
407.23/409.63 c #Conflicts: 860000 | #Constraints: 200307
407.23/409.63 c #Conflicts: 861000 | #Constraints: 201307
407.23/409.63 c #Conflicts: 862000 | #Constraints: 202307
407.23/409.63 c #Conflicts: 863000 | #Constraints: 203307
407.23/409.63 c #Conflicts: 864000 | #Constraints: 204307
407.23/409.63 c #Conflicts: 865000 | #Constraints: 205307
407.23/409.63 c #Conflicts: 866000 | #Constraints: 206307
407.23/409.63 c #Conflicts: 867000 | #Constraints: 207307
407.23/409.63 c #Conflicts: 868000 | #Constraints: 208307
407.23/409.63 c #Conflicts: 869000 | #Constraints: 209307
407.23/409.63 c #Conflicts: 870000 | #Constraints: 210307
407.23/409.63 c #Conflicts: 871000 | #Constraints: 211307
407.23/409.63 c #Conflicts: 872000 | #Constraints: 212307
407.23/409.63 c #Conflicts: 873000 | #Constraints: 213307
407.23/409.63 c #Conflicts: 874000 | #Constraints: 214307
407.23/409.63 c #Conflicts: 875000 | #Constraints: 215307
407.23/409.63 c #Conflicts: 876000 | #Constraints: 216307
407.23/409.63 c #Conflicts: 877000 | #Constraints: 217307
407.23/409.63 c #Conflicts: 878000 | #Constraints: 218307
407.23/409.63 c #Conflicts: 879000 | #Constraints: 219307
407.23/409.63 c #Conflicts: 880000 | #Constraints: 220307
407.23/409.63 c #Conflicts: 881000 | #Constraints: 221307
407.23/409.63 c #Conflicts: 882000 | #Constraints: 222307
407.23/409.63 c #Conflicts: 883000 | #Constraints: 223307
407.23/409.63 c #Conflicts: 884000 | #Constraints: 224307
407.23/409.63 c INPROCESSING
407.23/409.63 c GARBAGE COLLECT
407.23/409.63 c #Conflicts: 885000 | #Constraints: 188705
407.23/409.63 c #Conflicts: 886000 | #Constraints: 189705
407.23/409.63 c #Conflicts: 887000 | #Constraints: 190705
407.23/409.63 c #Conflicts: 888000 | #Constraints: 191705
407.23/409.63 c #Conflicts: 889000 | #Constraints: 192705
407.23/409.63 c #Conflicts: 890000 | #Constraints: 193705
407.23/409.63 c #Conflicts: 891000 | #Constraints: 194705
407.23/409.63 c #Conflicts: 892000 | #Constraints: 195705
407.23/409.63 c #Conflicts: 893000 | #Constraints: 196705
407.23/409.63 c #Conflicts: 894000 | #Constraints: 197705
407.23/409.63 c #Conflicts: 895000 | #Constraints: 198705
407.23/409.63 c #Conflicts: 896000 | #Constraints: 199705
407.23/409.63 c #Conflicts: 897000 | #Constraints: 200705
407.23/409.63 c #Conflicts: 898000 | #Constraints: 201705
407.23/409.63 c #Conflicts: 899000 | #Constraints: 202705
407.23/409.63 c #Conflicts: 900000 | #Constraints: 203705
407.23/409.63 c #Conflicts: 901000 | #Constraints: 204705
407.23/409.63 c #Conflicts: 902000 | #Constraints: 205705
407.23/409.63 c #Conflicts: 903000 | #Constraints: 206705
407.23/409.63 c #Conflicts: 904000 | #Constraints: 207705
407.23/409.63 c #Conflicts: 905000 | #Constraints: 208705
407.23/409.63 c #Conflicts: 906000 | #Constraints: 209705
407.23/409.63 c #Conflicts: 907000 | #Constraints: 210705
407.23/409.63 c #Conflicts: 908000 | #Constraints: 211705
407.23/409.63 c #Conflicts: 909000 | #Constraints: 212705
407.23/409.63 c #Conflicts: 910000 | #Constraints: 213705
407.23/409.63 c #Conflicts: 911000 | #Constraints: 214705
407.23/409.63 c #Conflicts: 912000 | #Constraints: 215705
407.23/409.63 c #Conflicts: 913000 | #Constraints: 216705
407.23/409.63 c #Conflicts: 914000 | #Constraints: 217705
407.23/409.63 c #Conflicts: 915000 | #Constraints: 218705
407.23/409.63 c #Conflicts: 916000 | #Constraints: 219705
407.23/409.63 c #Conflicts: 917000 | #Constraints: 220705
407.23/409.63 c #Conflicts: 918000 | #Constraints: 221705
407.23/409.63 c #Conflicts: 919000 | #Constraints: 222705
407.23/409.63 c #Conflicts: 920000 | #Constraints: 223705
407.23/409.63 c #Conflicts: 921000 | #Constraints: 224705
407.23/409.63 c #Conflicts: 922000 | #Constraints: 225705
407.23/409.63 c #Conflicts: 923000 | #Constraints: 226705
407.23/409.63 c #Conflicts: 924000 | #Constraints: 227705
407.23/409.63 c #Conflicts: 925000 | #Constraints: 228705
407.23/409.63 c #Conflicts: 926000 | #Constraints: 229705
407.23/409.63 c #Conflicts: 927000 | #Constraints: 230705
407.23/409.63 c #Conflicts: 928000 | #Constraints: 231705
407.23/409.63 c #Conflicts: 929000 | #Constraints: 232705
407.23/409.63 c #Conflicts: 930000 | #Constraints: 233705
407.23/409.63 c #Conflicts: 931000 | #Constraints: 234705
407.23/409.63 c #Conflicts: 932000 | #Constraints: 235705
407.23/409.63 c #Conflicts: 933000 | #Constraints: 236705
407.23/409.63 c #Conflicts: 934000 | #Constraints: 237705
407.23/409.63 c #Conflicts: 935000 | #Constraints: 238705
407.23/409.63 c #Conflicts: 936000 | #Constraints: 239705
407.23/409.63 c #Conflicts: 937000 | #Constraints: 240705
419.90/422.36 c #Conflicts: 938000 | #Constraints: 241705
419.90/422.36 c #Conflicts: 939000 | #Constraints: 242705
419.90/422.36 c #Conflicts: 940000 | #Constraints: 243705
419.90/422.36 c #Conflicts: 941000 | #Constraints: 244705
419.90/422.36 c #Conflicts: 942000 | #Constraints: 245705
419.90/422.36 c #Conflicts: 943000 | #Constraints: 246705
419.90/422.36 c #Conflicts: 944000 | #Constraints: 247705
419.90/422.36 c #Conflicts: 945000 | #Constraints: 248705
419.90/422.36 c #Conflicts: 946000 | #Constraints: 249705
419.90/422.36 c #Conflicts: 947000 | #Constraints: 250705
419.90/422.36 c INPROCESSING
419.90/422.36 c GARBAGE COLLECT
419.90/422.36 c rational objective 436.833
449.00/451.56 c #Conflicts: 948000 | #Constraints: 201814
449.00/451.56 c #Conflicts: 949000 | #Constraints: 202814
449.00/451.56 c #Conflicts: 950000 | #Constraints: 203814
449.00/451.56 c #Conflicts: 951000 | #Constraints: 204814
449.00/451.56 c #Conflicts: 952000 | #Constraints: 205814
449.00/451.56 c #Conflicts: 953000 | #Constraints: 206814
449.00/451.56 c #Conflicts: 954000 | #Constraints: 207814
449.00/451.56 c #Conflicts: 955000 | #Constraints: 208814
449.00/451.56 c #Conflicts: 956000 | #Constraints: 209814
449.00/451.56 c #Conflicts: 957000 | #Constraints: 210814
449.00/451.56 c #Conflicts: 958000 | #Constraints: 211814
449.00/451.56 c #Conflicts: 959000 | #Constraints: 212814
449.00/451.56 c #Conflicts: 960000 | #Constraints: 213814
449.00/451.56 c #Conflicts: 961000 | #Constraints: 214814
449.00/451.56 c #Conflicts: 962000 | #Constraints: 215814
449.00/451.56 c #Conflicts: 963000 | #Constraints: 216814
449.00/451.56 c #Conflicts: 964000 | #Constraints: 217814
449.00/451.56 c #Conflicts: 965000 | #Constraints: 218814
449.00/451.56 c #Conflicts: 966000 | #Constraints: 219814
449.00/451.56 c #Conflicts: 967000 | #Constraints: 220814
449.00/451.56 c #Conflicts: 968000 | #Constraints: 221814
449.00/451.56 c #Conflicts: 969000 | #Constraints: 222814
449.00/451.56 c #Conflicts: 970000 | #Constraints: 223814
449.00/451.56 c #Conflicts: 971000 | #Constraints: 224814
449.00/451.56 c #Conflicts: 972000 | #Constraints: 225814
449.00/451.56 c #Conflicts: 973000 | #Constraints: 226814
449.00/451.56 c #Conflicts: 974000 | #Constraints: 227814
449.00/451.56 c INPROCESSING
449.00/451.56 c GARBAGE COLLECT
449.00/451.56 c #Conflicts: 975000 | #Constraints: 190091
449.00/451.56 c #Conflicts: 976000 | #Constraints: 191091
449.00/451.56 c #Conflicts: 977000 | #Constraints: 192091
449.00/451.56 c #Conflicts: 978000 | #Constraints: 193091
449.00/451.56 c #Conflicts: 979000 | #Constraints: 194091
449.00/451.56 c #Conflicts: 980000 | #Constraints: 195091
449.00/451.56 c #Conflicts: 981000 | #Constraints: 196091
449.00/451.56 c #Conflicts: 982000 | #Constraints: 197091
449.00/451.56 c #Conflicts: 983000 | #Constraints: 198091
449.00/451.56 c #Conflicts: 984000 | #Constraints: 199091
449.00/451.56 c #Conflicts: 985000 | #Constraints: 200091
449.00/451.56 c #Conflicts: 986000 | #Constraints: 201091
449.00/451.56 c #Conflicts: 987000 | #Constraints: 202091
449.00/451.56 c #Conflicts: 988000 | #Constraints: 203091
449.00/451.56 c #Conflicts: 989000 | #Constraints: 204091
449.00/451.56 c #Conflicts: 990000 | #Constraints: 205091
449.00/451.56 c #Conflicts: 991000 | #Constraints: 206091
449.00/451.56 c #Conflicts: 992000 | #Constraints: 207091
449.00/451.56 c #Conflicts: 993000 | #Constraints: 208091
449.00/451.56 c #Conflicts: 994000 | #Constraints: 209091
449.00/451.56 c #Conflicts: 995000 | #Constraints: 210091
449.00/451.56 c #Conflicts: 996000 | #Constraints: 211091
449.00/451.56 c #Conflicts: 997000 | #Constraints: 212091
449.00/451.56 c #Conflicts: 998000 | #Constraints: 213091
449.00/451.56 c #Conflicts: 999000 | #Constraints: 214091
449.00/451.56 c #Conflicts: 1000000 | #Constraints: 215091
449.00/451.56 c #Conflicts: 1001000 | #Constraints: 216091
449.00/451.56 c #Conflicts: 1002000 | #Constraints: 217091
449.00/451.56 c #Conflicts: 1003000 | #Constraints: 218091
449.00/451.56 c #Conflicts: 1004000 | #Constraints: 219091
449.00/451.56 c #Conflicts: 1005000 | #Constraints: 220091
449.00/451.56 c #Conflicts: 1006000 | #Constraints: 221091
449.00/451.56 c #Conflicts: 1007000 | #Constraints: 222091
449.00/451.56 c #Conflicts: 1008000 | #Constraints: 223091
449.00/451.56 c #Conflicts: 1009000 | #Constraints: 224091
449.00/451.56 c #Conflicts: 1010000 | #Constraints: 225091
449.00/451.56 c #Conflicts: 1011000 | #Constraints: 226091
449.00/451.56 c #Conflicts: 1012000 | #Constraints: 227091
449.00/451.56 c #Conflicts: 1013000 | #Constraints: 228091
449.00/451.56 c #Conflicts: 1014000 | #Constraints: 229091
449.00/451.56 c #Conflicts: 1015000 | #Constraints: 230091
449.00/451.56 c #Conflicts: 1016000 | #Constraints: 231091
449.00/451.56 c #Conflicts: 1017000 | #Constraints: 232091
449.00/451.56 c #Conflicts: 1018000 | #Constraints: 233091
449.00/451.56 c #Conflicts: 1019000 | #Constraints: 234091
449.00/451.56 c #Conflicts: 1020000 | #Constraints: 235091
449.00/451.56 c #Conflicts: 1021000 | #Constraints: 236091
449.00/451.56 c #Conflicts: 1022000 | #Constraints: 237091
449.00/451.56 c #Conflicts: 1023000 | #Constraints: 238091
449.00/451.56 c #Conflicts: 1024000 | #Constraints: 239091
449.00/451.56 c #Conflicts: 1025000 | #Constraints: 240091
449.00/451.56 c #Conflicts: 1026000 | #Constraints: 241091
474.88/477.55 c #Conflicts: 1027000 | #Constraints: 242091
474.88/477.55 c #Conflicts: 1028000 | #Constraints: 243091
474.88/477.55 c #Conflicts: 1029000 | #Constraints: 244091
474.88/477.55 c #Conflicts: 1030000 | #Constraints: 245091
474.88/477.55 c #Conflicts: 1031000 | #Constraints: 246091
474.88/477.55 c #Conflicts: 1032000 | #Constraints: 247091
474.88/477.55 c #Conflicts: 1033000 | #Constraints: 248091
474.88/477.55 c #Conflicts: 1034000 | #Constraints: 249091
474.88/477.55 c #Conflicts: 1035000 | #Constraints: 250091
474.88/477.55 c #Conflicts: 1036000 | #Constraints: 251091
474.88/477.55 c #Conflicts: 1037000 | #Constraints: 252091
474.88/477.55 c #Conflicts: 1038000 | #Constraints: 253091
474.88/477.55 c #Conflicts: 1039000 | #Constraints: 254091
474.88/477.55 c #Conflicts: 1040000 | #Constraints: 255091
474.88/477.55 c INPROCESSING
474.88/477.55 c GARBAGE COLLECT
474.88/477.55 c #Conflicts: 1041000 | #Constraints: 203636
474.88/477.55 c #Conflicts: 1042000 | #Constraints: 204636
474.88/477.55 c #Conflicts: 1043000 | #Constraints: 205636
474.88/477.55 c #Conflicts: 1044000 | #Constraints: 206636
474.88/477.55 c #Conflicts: 1045000 | #Constraints: 207636
474.88/477.55 c #Conflicts: 1046000 | #Constraints: 208636
474.88/477.55 c #Conflicts: 1047000 | #Constraints: 209636
474.88/477.55 c #Conflicts: 1048000 | #Constraints: 210636
474.88/477.55 c #Conflicts: 1049000 | #Constraints: 211636
474.88/477.55 c #Conflicts: 1050000 | #Constraints: 212636
474.88/477.55 c #Conflicts: 1051000 | #Constraints: 213636
474.88/477.55 c #Conflicts: 1052000 | #Constraints: 214636
474.88/477.55 c #Conflicts: 1053000 | #Constraints: 215636
474.88/477.55 c #Conflicts: 1054000 | #Constraints: 216636
474.88/477.55 c #Conflicts: 1055000 | #Constraints: 217636
474.88/477.55 c #Conflicts: 1056000 | #Constraints: 218636
474.88/477.55 c #Conflicts: 1057000 | #Constraints: 219636
474.88/477.55 c #Conflicts: 1058000 | #Constraints: 220636
474.88/477.55 c #Conflicts: 1059000 | #Constraints: 221636
474.88/477.55 c #Conflicts: 1060000 | #Constraints: 222636
474.88/477.55 c #Conflicts: 1061000 | #Constraints: 223636
474.88/477.55 c #Conflicts: 1062000 | #Constraints: 224636
474.88/477.55 c #Conflicts: 1063000 | #Constraints: 225636
474.88/477.55 c #Conflicts: 1064000 | #Constraints: 226636
474.88/477.55 c #Conflicts: 1065000 | #Constraints: 227636
474.88/477.55 c #Conflicts: 1066000 | #Constraints: 228636
474.88/477.55 c #Conflicts: 1067000 | #Constraints: 229636
474.88/477.55 c #Conflicts: 1068000 | #Constraints: 230636
474.88/477.55 c #Conflicts: 1069000 | #Constraints: 231636
474.88/477.55 c INPROCESSING
474.88/477.55 c GARBAGE COLLECT
474.88/477.55 c #Conflicts: 1070000 | #Constraints: 191918
474.88/477.55 c #Conflicts: 1071000 | #Constraints: 192918
474.88/477.55 c #Conflicts: 1072000 | #Constraints: 193918
474.88/477.55 c #Conflicts: 1073000 | #Constraints: 194918
474.88/477.55 c #Conflicts: 1074000 | #Constraints: 195918
474.88/477.55 c #Conflicts: 1075000 | #Constraints: 196918
474.88/477.55 c #Conflicts: 1076000 | #Constraints: 197918
474.88/477.55 c #Conflicts: 1077000 | #Constraints: 198918
474.88/477.55 c #Conflicts: 1078000 | #Constraints: 199918
474.88/477.55 c #Conflicts: 1079000 | #Constraints: 200918
474.88/477.55 c #Conflicts: 1080000 | #Constraints: 201918
474.88/477.55 c #Conflicts: 1081000 | #Constraints: 202918
474.88/477.55 c #Conflicts: 1082000 | #Constraints: 203918
474.88/477.55 c #Conflicts: 1083000 | #Constraints: 204918
474.88/477.55 c #Conflicts: 1084000 | #Constraints: 205918
474.88/477.55 c #Conflicts: 1085000 | #Constraints: 206918
474.88/477.55 c #Conflicts: 1086000 | #Constraints: 207918
474.88/477.55 c #Conflicts: 1087000 | #Constraints: 208918
474.88/477.55 c #Conflicts: 1088000 | #Constraints: 209918
474.88/477.55 c #Conflicts: 1089000 | #Constraints: 210918
474.88/477.55 c #Conflicts: 1090000 | #Constraints: 211918
474.88/477.55 c #Conflicts: 1091000 | #Constraints: 212918
474.88/477.55 c #Conflicts: 1092000 | #Constraints: 213918
474.88/477.55 c #Conflicts: 1093000 | #Constraints: 214918
474.88/477.55 c #Conflicts: 1094000 | #Constraints: 215918
474.88/477.55 c #Conflicts: 1095000 | #Constraints: 216918
474.88/477.55 c #Conflicts: 1096000 | #Constraints: 217918
474.88/477.55 c #Conflicts: 1097000 | #Constraints: 218918
474.88/477.55 c #Conflicts: 1098000 | #Constraints: 219918
474.88/477.55 c #Conflicts: 1099000 | #Constraints: 220918
474.88/477.55 c #Conflicts: 1100000 | #Constraints: 221918
474.88/477.55 c #Conflicts: 1101000 | #Constraints: 222918
474.88/477.55 c #Conflicts: 1102000 | #Constraints: 223918
474.88/477.55 c #Conflicts: 1103000 | #Constraints: 224918
494.82/497.56 c #Conflicts: 1104000 | #Constraints: 225918
494.82/497.56 c #Conflicts: 1105000 | #Constraints: 226918
494.82/497.56 c #Conflicts: 1106000 | #Constraints: 227918
494.82/497.56 c #Conflicts: 1107000 | #Constraints: 228918
494.82/497.56 c #Conflicts: 1108000 | #Constraints: 229918
494.82/497.56 c #Conflicts: 1109000 | #Constraints: 230918
494.82/497.56 c #Conflicts: 1110000 | #Constraints: 231918
494.82/497.56 c #Conflicts: 1111000 | #Constraints: 232918
494.82/497.56 c #Conflicts: 1112000 | #Constraints: 233918
494.82/497.56 c #Conflicts: 1113000 | #Constraints: 234918
494.82/497.56 c #Conflicts: 1114000 | #Constraints: 235918
494.82/497.56 c #Conflicts: 1115000 | #Constraints: 236918
494.82/497.56 c #Conflicts: 1116000 | #Constraints: 237918
494.82/497.56 c #Conflicts: 1117000 | #Constraints: 238918
494.82/497.56 c #Conflicts: 1118000 | #Constraints: 239918
494.82/497.56 c #Conflicts: 1119000 | #Constraints: 240918
494.82/497.56 c #Conflicts: 1120000 | #Constraints: 241918
494.82/497.56 c #Conflicts: 1121000 | #Constraints: 242918
494.82/497.56 c #Conflicts: 1122000 | #Constraints: 243918
494.82/497.56 c #Conflicts: 1123000 | #Constraints: 244918
494.82/497.56 c #Conflicts: 1124000 | #Constraints: 245918
494.82/497.56 c #Conflicts: 1125000 | #Constraints: 246918
494.82/497.56 c #Conflicts: 1126000 | #Constraints: 247918
494.82/497.56 c #Conflicts: 1127000 | #Constraints: 248918
494.82/497.56 c #Conflicts: 1128000 | #Constraints: 249918
494.82/497.56 c #Conflicts: 1129000 | #Constraints: 250918
494.82/497.56 c #Conflicts: 1130000 | #Constraints: 251918
494.82/497.56 c #Conflicts: 1131000 | #Constraints: 252918
494.82/497.56 c #Conflicts: 1132000 | #Constraints: 253918
494.82/497.56 c #Conflicts: 1133000 | #Constraints: 254918
494.82/497.56 c #Conflicts: 1134000 | #Constraints: 255918
494.82/497.56 c #Conflicts: 1135000 | #Constraints: 256918
494.82/497.56 c #Conflicts: 1136000 | #Constraints: 257918
494.82/497.56 c #Conflicts: 1137000 | #Constraints: 258918
494.82/497.56 c #Conflicts: 1138000 | #Constraints: 259918
494.82/497.56 c INPROCESSING
494.82/497.56 c GARBAGE COLLECT
494.82/497.56 c rational objective 439.75
520.02/522.86 c #Conflicts: 1139000 | #Constraints: 205071
520.02/522.86 c #Conflicts: 1140000 | #Constraints: 206071
520.02/522.86 c #Conflicts: 1141000 | #Constraints: 207071
520.02/522.86 c #Conflicts: 1142000 | #Constraints: 208071
520.02/522.86 c #Conflicts: 1143000 | #Constraints: 209071
520.02/522.86 c #Conflicts: 1144000 | #Constraints: 210071
520.02/522.86 c #Conflicts: 1145000 | #Constraints: 211071
520.02/522.86 c #Conflicts: 1146000 | #Constraints: 212071
520.02/522.86 c #Conflicts: 1147000 | #Constraints: 213071
520.02/522.86 c #Conflicts: 1148000 | #Constraints: 214071
520.02/522.86 c #Conflicts: 1149000 | #Constraints: 215071
520.02/522.86 c #Conflicts: 1150000 | #Constraints: 216071
520.02/522.86 c #Conflicts: 1151000 | #Constraints: 217071
520.02/522.86 c #Conflicts: 1152000 | #Constraints: 218071
520.02/522.86 c #Conflicts: 1153000 | #Constraints: 219071
520.02/522.86 c #Conflicts: 1154000 | #Constraints: 220071
520.02/522.86 c #Conflicts: 1155000 | #Constraints: 221071
520.02/522.86 c #Conflicts: 1156000 | #Constraints: 222071
520.02/522.86 c #Conflicts: 1157000 | #Constraints: 223071
520.02/522.86 c #Conflicts: 1158000 | #Constraints: 224071
520.02/522.86 c #Conflicts: 1159000 | #Constraints: 225071
520.02/522.86 c #Conflicts: 1160000 | #Constraints: 226071
520.02/522.86 c #Conflicts: 1161000 | #Constraints: 227071
520.02/522.86 c #Conflicts: 1162000 | #Constraints: 228071
520.02/522.86 c #Conflicts: 1163000 | #Constraints: 229071
520.02/522.86 c #Conflicts: 1164000 | #Constraints: 230071
520.02/522.86 c #Conflicts: 1165000 | #Constraints: 231071
520.02/522.86 c #Conflicts: 1166000 | #Constraints: 232071
520.02/522.86 c #Conflicts: 1167000 | #Constraints: 233071
520.02/522.86 c #Conflicts: 1168000 | #Constraints: 234071
520.02/522.86 c INPROCESSING
520.02/522.86 c GARBAGE COLLECT
520.02/522.86 c #Conflicts: 1169000 | #Constraints: 192649
520.02/522.86 c #Conflicts: 1170000 | #Constraints: 193649
520.02/522.86 c #Conflicts: 1171000 | #Constraints: 194649
520.02/522.86 c #Conflicts: 1172000 | #Constraints: 195649
520.02/522.86 c #Conflicts: 1173000 | #Constraints: 196649
520.02/522.86 c #Conflicts: 1174000 | #Constraints: 197649
520.02/522.86 c #Conflicts: 1175000 | #Constraints: 198649
520.02/522.86 c #Conflicts: 1176000 | #Constraints: 199649
520.02/522.86 c #Conflicts: 1177000 | #Constraints: 200649
520.02/522.86 c #Conflicts: 1178000 | #Constraints: 201649
520.02/522.86 c #Conflicts: 1179000 | #Constraints: 202649
520.02/522.86 c #Conflicts: 1180000 | #Constraints: 203649
520.02/522.86 c #Conflicts: 1181000 | #Constraints: 204649
520.02/522.86 c #Conflicts: 1182000 | #Constraints: 205649
520.02/522.86 c #Conflicts: 1183000 | #Constraints: 206649
520.02/522.86 c #Conflicts: 1184000 | #Constraints: 207649
520.02/522.86 c #Conflicts: 1185000 | #Constraints: 208649
520.02/522.86 c #Conflicts: 1186000 | #Constraints: 209649
520.02/522.86 c #Conflicts: 1187000 | #Constraints: 210649
520.02/522.86 c #Conflicts: 1188000 | #Constraints: 211649
520.02/522.86 c #Conflicts: 1189000 | #Constraints: 212649
520.02/522.86 c #Conflicts: 1190000 | #Constraints: 213649
520.02/522.86 c #Conflicts: 1191000 | #Constraints: 214649
520.02/522.86 c #Conflicts: 1192000 | #Constraints: 215649
520.02/522.86 c #Conflicts: 1193000 | #Constraints: 216649
520.02/522.86 c #Conflicts: 1194000 | #Constraints: 217649
520.02/522.86 c #Conflicts: 1195000 | #Constraints: 218649
520.02/522.86 c #Conflicts: 1196000 | #Constraints: 219649
520.02/522.86 c #Conflicts: 1197000 | #Constraints: 220649
520.02/522.86 c #Conflicts: 1198000 | #Constraints: 221649
520.02/522.86 c #Conflicts: 1199000 | #Constraints: 222649
520.02/522.86 c #Conflicts: 1200000 | #Constraints: 223649
520.02/522.86 c #Conflicts: 1201000 | #Constraints: 224649
520.02/522.86 c #Conflicts: 1202000 | #Constraints: 225649
520.02/522.86 c #Conflicts: 1203000 | #Constraints: 226649
520.02/522.86 c #Conflicts: 1204000 | #Constraints: 227649
520.02/522.86 c #Conflicts: 1205000 | #Constraints: 228649
520.02/522.86 c #Conflicts: 1206000 | #Constraints: 229649
520.02/522.86 c #Conflicts: 1207000 | #Constraints: 230649
520.02/522.86 c #Conflicts: 1208000 | #Constraints: 231649
520.02/522.86 c #Conflicts: 1209000 | #Constraints: 232649
520.02/522.86 c #Conflicts: 1210000 | #Constraints: 233649
520.02/522.86 c #Conflicts: 1211000 | #Constraints: 234649
520.02/522.86 c #Conflicts: 1212000 | #Constraints: 235649
520.02/522.86 c #Conflicts: 1213000 | #Constraints: 236649
520.02/522.86 c #Conflicts: 1214000 | #Constraints: 237649
520.02/522.86 c #Conflicts: 1215000 | #Constraints: 238649
520.02/522.86 c #Conflicts: 1216000 | #Constraints: 239649
520.02/522.86 c #Conflicts: 1217000 | #Constraints: 240649
536.98/539.81 c #Conflicts: 1218000 | #Constraints: 241649
536.98/539.81 c #Conflicts: 1219000 | #Constraints: 242649
536.98/539.81 c #Conflicts: 1220000 | #Constraints: 243649
536.98/539.81 c #Conflicts: 1221000 | #Constraints: 244649
536.98/539.81 c #Conflicts: 1222000 | #Constraints: 245649
536.98/539.81 c #Conflicts: 1223000 | #Constraints: 246649
536.98/539.81 c #Conflicts: 1224000 | #Constraints: 247649
536.98/539.81 c #Conflicts: 1225000 | #Constraints: 248649
536.98/539.81 c #Conflicts: 1226000 | #Constraints: 249649
536.98/539.81 c #Conflicts: 1227000 | #Constraints: 250649
536.98/539.81 c #Conflicts: 1228000 | #Constraints: 251649
536.98/539.81 c #Conflicts: 1229000 | #Constraints: 252649
536.98/539.81 c #Conflicts: 1230000 | #Constraints: 253649
536.98/539.81 c #Conflicts: 1231000 | #Constraints: 254649
536.98/539.81 c #Conflicts: 1232000 | #Constraints: 255649
536.98/539.81 c #Conflicts: 1233000 | #Constraints: 256649
536.98/539.81 c #Conflicts: 1234000 | #Constraints: 257649
536.98/539.81 c #Conflicts: 1235000 | #Constraints: 258649
536.98/539.81 c #Conflicts: 1236000 | #Constraints: 259649
536.98/539.81 c #Conflicts: 1237000 | #Constraints: 260649
536.98/539.81 c #Conflicts: 1238000 | #Constraints: 261649
536.98/539.81 c #Conflicts: 1239000 | #Constraints: 262649
536.98/539.81 c #Conflicts: 1240000 | #Constraints: 263649
536.98/539.81 c INPROCESSING
536.98/539.81 c GARBAGE COLLECT
536.98/539.81 c rational objective 446.833
564.66/567.68 c #Conflicts: 1241000 | #Constraints: 207752
564.66/567.68 c #Conflicts: 1242000 | #Constraints: 208752
564.66/567.68 c #Conflicts: 1243000 | #Constraints: 209752
564.66/567.68 c #Conflicts: 1244000 | #Constraints: 210752
564.66/567.68 c #Conflicts: 1245000 | #Constraints: 211752
564.66/567.68 c #Conflicts: 1246000 | #Constraints: 212752
564.66/567.68 c #Conflicts: 1247000 | #Constraints: 213752
564.66/567.68 c #Conflicts: 1248000 | #Constraints: 214752
564.66/567.68 c #Conflicts: 1249000 | #Constraints: 215752
564.66/567.68 c #Conflicts: 1250000 | #Constraints: 216752
564.66/567.68 c #Conflicts: 1251000 | #Constraints: 217752
564.66/567.68 c #Conflicts: 1252000 | #Constraints: 218752
564.66/567.68 c #Conflicts: 1253000 | #Constraints: 219752
564.66/567.68 c #Conflicts: 1254000 | #Constraints: 220752
564.66/567.68 c #Conflicts: 1255000 | #Constraints: 221752
564.66/567.68 c #Conflicts: 1256000 | #Constraints: 222752
564.66/567.68 c #Conflicts: 1257000 | #Constraints: 223752
564.66/567.68 c #Conflicts: 1258000 | #Constraints: 224752
564.66/567.68 c #Conflicts: 1259000 | #Constraints: 225752
564.66/567.68 c #Conflicts: 1260000 | #Constraints: 226752
564.66/567.68 c #Conflicts: 1261000 | #Constraints: 227752
564.66/567.68 c #Conflicts: 1262000 | #Constraints: 228752
564.66/567.68 c #Conflicts: 1263000 | #Constraints: 229752
564.66/567.68 c #Conflicts: 1264000 | #Constraints: 230752
564.66/567.68 c #Conflicts: 1265000 | #Constraints: 231752
564.66/567.68 c #Conflicts: 1266000 | #Constraints: 232752
564.66/567.68 c #Conflicts: 1267000 | #Constraints: 233752
564.66/567.68 c #Conflicts: 1268000 | #Constraints: 234752
564.66/567.68 c #Conflicts: 1269000 | #Constraints: 235752
564.66/567.68 c #Conflicts: 1270000 | #Constraints: 236752
564.66/567.68 c #Conflicts: 1271000 | #Constraints: 237752
564.66/567.68 c #Conflicts: 1272000 | #Constraints: 238752
564.66/567.68 c INPROCESSING
564.66/567.68 c GARBAGE COLLECT
564.66/567.68 c #Conflicts: 1273000 | #Constraints: 195333
564.66/567.68 c #Conflicts: 1274000 | #Constraints: 196333
564.66/567.68 c #Conflicts: 1275000 | #Constraints: 197333
564.66/567.68 c #Conflicts: 1276000 | #Constraints: 198333
564.66/567.68 c #Conflicts: 1277000 | #Constraints: 199333
564.66/567.68 c #Conflicts: 1278000 | #Constraints: 200333
564.66/567.68 c #Conflicts: 1279000 | #Constraints: 201333
564.66/567.68 c #Conflicts: 1280000 | #Constraints: 202333
564.66/567.68 c #Conflicts: 1281000 | #Constraints: 203333
564.66/567.68 c #Conflicts: 1282000 | #Constraints: 204333
564.66/567.68 c #Conflicts: 1283000 | #Constraints: 205333
564.66/567.68 c #Conflicts: 1284000 | #Constraints: 206333
564.66/567.68 c #Conflicts: 1285000 | #Constraints: 207333
564.66/567.68 c #Conflicts: 1286000 | #Constraints: 208333
564.66/567.68 c #Conflicts: 1287000 | #Constraints: 209333
564.66/567.68 c #Conflicts: 1288000 | #Constraints: 210333
564.66/567.68 c #Conflicts: 1289000 | #Constraints: 211333
564.66/567.68 c #Conflicts: 1290000 | #Constraints: 212333
564.66/567.68 c #Conflicts: 1291000 | #Constraints: 213333
564.66/567.68 c #Conflicts: 1292000 | #Constraints: 214333
564.66/567.68 c #Conflicts: 1293000 | #Constraints: 215333
564.66/567.68 c #Conflicts: 1294000 | #Constraints: 216333
564.66/567.68 c #Conflicts: 1295000 | #Constraints: 217333
564.66/567.68 c #Conflicts: 1296000 | #Constraints: 218333
564.66/567.68 c #Conflicts: 1297000 | #Constraints: 219333
564.66/567.68 c #Conflicts: 1298000 | #Constraints: 220333
564.66/567.68 c #Conflicts: 1299000 | #Constraints: 221333
564.66/567.68 c #Conflicts: 1300000 | #Constraints: 222333
564.66/567.68 c #Conflicts: 1301000 | #Constraints: 223333
564.66/567.68 c #Conflicts: 1302000 | #Constraints: 224333
564.66/567.68 c #Conflicts: 1303000 | #Constraints: 225333
564.66/567.68 c #Conflicts: 1304000 | #Constraints: 226333
564.66/567.68 c #Conflicts: 1305000 | #Constraints: 227333
564.66/567.68 c #Conflicts: 1306000 | #Constraints: 228333
564.66/567.68 c #Conflicts: 1307000 | #Constraints: 229333
564.66/567.68 c #Conflicts: 1308000 | #Constraints: 230333
564.66/567.68 c #Conflicts: 1309000 | #Constraints: 231333
564.66/567.68 c #Conflicts: 1310000 | #Constraints: 232333
564.66/567.68 c #Conflicts: 1311000 | #Constraints: 233333
564.66/567.68 c #Conflicts: 1312000 | #Constraints: 234333
564.66/567.68 c #Conflicts: 1313000 | #Constraints: 235333
564.66/567.68 c #Conflicts: 1314000 | #Constraints: 236333
564.66/567.68 c #Conflicts: 1315000 | #Constraints: 237333
564.66/567.68 c #Conflicts: 1316000 | #Constraints: 238333
564.66/567.68 c #Conflicts: 1317000 | #Constraints: 239333
564.66/567.68 c #Conflicts: 1318000 | #Constraints: 240333
564.66/567.68 c #Conflicts: 1319000 | #Constraints: 241333
602.92/606.04 c #Conflicts: 1320000 | #Constraints: 242333
602.92/606.04 c #Conflicts: 1321000 | #Constraints: 243333
602.92/606.04 c #Conflicts: 1322000 | #Constraints: 244333
602.92/606.04 c #Conflicts: 1323000 | #Constraints: 245333
602.92/606.04 c #Conflicts: 1324000 | #Constraints: 246333
602.92/606.04 c #Conflicts: 1325000 | #Constraints: 247333
602.92/606.04 c #Conflicts: 1326000 | #Constraints: 248333
602.92/606.04 c #Conflicts: 1327000 | #Constraints: 249333
602.92/606.04 c #Conflicts: 1328000 | #Constraints: 250333
602.92/606.04 c #Conflicts: 1329000 | #Constraints: 251333
602.92/606.04 c #Conflicts: 1330000 | #Constraints: 252333
602.92/606.04 c #Conflicts: 1331000 | #Constraints: 253333
602.92/606.04 c #Conflicts: 1332000 | #Constraints: 254333
602.92/606.04 c #Conflicts: 1333000 | #Constraints: 255333
602.92/606.04 c #Conflicts: 1334000 | #Constraints: 256333
602.92/606.04 c #Conflicts: 1335000 | #Constraints: 257333
602.92/606.04 c #Conflicts: 1336000 | #Constraints: 258333
602.92/606.04 c #Conflicts: 1337000 | #Constraints: 259333
602.92/606.04 c #Conflicts: 1338000 | #Constraints: 260333
602.92/606.04 c #Conflicts: 1339000 | #Constraints: 261333
602.92/606.04 c #Conflicts: 1340000 | #Constraints: 262333
602.92/606.04 c #Conflicts: 1341000 | #Constraints: 263333
602.92/606.04 c #Conflicts: 1342000 | #Constraints: 264333
602.92/606.04 c #Conflicts: 1343000 | #Constraints: 265333
602.92/606.04 c #Conflicts: 1344000 | #Constraints: 266333
602.92/606.04 c #Conflicts: 1345000 | #Constraints: 267333
602.92/606.04 c #Conflicts: 1346000 | #Constraints: 268333
602.92/606.04 c #Conflicts: 1347000 | #Constraints: 269333
602.92/606.04 c INPROCESSING
602.92/606.04 c GARBAGE COLLECT
602.92/606.04 c #Conflicts: 1348000 | #Constraints: 210477
602.92/606.04 c #Conflicts: 1349000 | #Constraints: 211477
602.92/606.04 c #Conflicts: 1350000 | #Constraints: 212477
602.92/606.04 c #Conflicts: 1351000 | #Constraints: 213477
602.92/606.04 c #Conflicts: 1352000 | #Constraints: 214477
602.92/606.04 c #Conflicts: 1353000 | #Constraints: 215477
602.92/606.04 c #Conflicts: 1354000 | #Constraints: 216477
602.92/606.04 c #Conflicts: 1355000 | #Constraints: 217477
602.92/606.04 c #Conflicts: 1356000 | #Constraints: 218477
602.92/606.04 c #Conflicts: 1357000 | #Constraints: 219477
602.92/606.04 c #Conflicts: 1358000 | #Constraints: 220477
602.92/606.04 c #Conflicts: 1359000 | #Constraints: 221477
602.92/606.04 c #Conflicts: 1360000 | #Constraints: 222477
602.92/606.04 c #Conflicts: 1361000 | #Constraints: 223477
602.92/606.04 c #Conflicts: 1362000 | #Constraints: 224477
602.92/606.04 c #Conflicts: 1363000 | #Constraints: 225477
602.92/606.04 c #Conflicts: 1364000 | #Constraints: 226477
602.92/606.04 c #Conflicts: 1365000 | #Constraints: 227477
602.92/606.04 c #Conflicts: 1366000 | #Constraints: 228477
602.92/606.04 c #Conflicts: 1367000 | #Constraints: 229477
602.92/606.04 c #Conflicts: 1368000 | #Constraints: 230477
602.92/606.04 c #Conflicts: 1369000 | #Constraints: 231477
602.92/606.04 c #Conflicts: 1370000 | #Constraints: 232477
602.92/606.04 c #Conflicts: 1371000 | #Constraints: 233477
602.92/606.04 c #Conflicts: 1372000 | #Constraints: 234477
602.92/606.04 c #Conflicts: 1373000 | #Constraints: 235477
602.92/606.04 c #Conflicts: 1374000 | #Constraints: 236477
602.92/606.04 c #Conflicts: 1375000 | #Constraints: 237477
602.92/606.04 c #Conflicts: 1376000 | #Constraints: 238477
602.92/606.04 c #Conflicts: 1377000 | #Constraints: 239477
602.92/606.04 c #Conflicts: 1378000 | #Constraints: 240477
602.92/606.04 c #Conflicts: 1379000 | #Constraints: 241477
602.92/606.04 c #Conflicts: 1380000 | #Constraints: 242477
602.92/606.04 c INPROCESSING
602.92/606.04 c GARBAGE COLLECT
602.92/606.04 c rational objective 450.75
639.19/642.44 c #Conflicts: 1381000 | #Constraints: 196810
639.19/642.44 c #Conflicts: 1382000 | #Constraints: 197810
639.19/642.44 c #Conflicts: 1383000 | #Constraints: 198810
639.19/642.44 c #Conflicts: 1384000 | #Constraints: 199810
639.19/642.44 c #Conflicts: 1385000 | #Constraints: 200810
639.19/642.44 c #Conflicts: 1386000 | #Constraints: 201810
639.19/642.44 c #Conflicts: 1387000 | #Constraints: 202810
639.19/642.44 c #Conflicts: 1388000 | #Constraints: 203810
639.19/642.44 c #Conflicts: 1389000 | #Constraints: 204810
639.19/642.44 c #Conflicts: 1390000 | #Constraints: 205810
639.19/642.44 c #Conflicts: 1391000 | #Constraints: 206810
639.19/642.44 c #Conflicts: 1392000 | #Constraints: 207810
639.19/642.44 c #Conflicts: 1393000 | #Constraints: 208810
639.19/642.44 c #Conflicts: 1394000 | #Constraints: 209810
639.19/642.44 c #Conflicts: 1395000 | #Constraints: 210810
639.19/642.44 c #Conflicts: 1396000 | #Constraints: 211810
639.19/642.44 c #Conflicts: 1397000 | #Constraints: 212810
639.19/642.44 c #Conflicts: 1398000 | #Constraints: 213810
639.19/642.44 c #Conflicts: 1399000 | #Constraints: 214810
639.19/642.44 c #Conflicts: 1400000 | #Constraints: 215810
639.19/642.44 c #Conflicts: 1401000 | #Constraints: 216810
639.19/642.44 c #Conflicts: 1402000 | #Constraints: 217810
639.19/642.44 c #Conflicts: 1403000 | #Constraints: 218810
639.19/642.44 c #Conflicts: 1404000 | #Constraints: 219810
639.19/642.44 c #Conflicts: 1405000 | #Constraints: 220810
639.19/642.44 c #Conflicts: 1406000 | #Constraints: 221810
639.19/642.44 c #Conflicts: 1407000 | #Constraints: 222810
639.19/642.44 c #Conflicts: 1408000 | #Constraints: 223810
639.19/642.44 c #Conflicts: 1409000 | #Constraints: 224810
639.19/642.44 c #Conflicts: 1410000 | #Constraints: 225810
639.19/642.44 c #Conflicts: 1411000 | #Constraints: 226810
639.19/642.44 c #Conflicts: 1412000 | #Constraints: 227810
639.19/642.44 c #Conflicts: 1413000 | #Constraints: 228810
639.19/642.44 c #Conflicts: 1414000 | #Constraints: 229810
639.19/642.44 c #Conflicts: 1415000 | #Constraints: 230810
639.19/642.44 c #Conflicts: 1416000 | #Constraints: 231810
639.19/642.44 c #Conflicts: 1417000 | #Constraints: 232810
639.19/642.44 c #Conflicts: 1418000 | #Constraints: 233810
639.19/642.44 c #Conflicts: 1419000 | #Constraints: 234810
639.19/642.44 c #Conflicts: 1420000 | #Constraints: 235810
639.19/642.44 c #Conflicts: 1421000 | #Constraints: 236810
639.19/642.44 c #Conflicts: 1422000 | #Constraints: 237810
639.19/642.44 c #Conflicts: 1423000 | #Constraints: 238810
639.19/642.44 c #Conflicts: 1424000 | #Constraints: 239810
639.19/642.44 c #Conflicts: 1425000 | #Constraints: 240810
639.19/642.44 c #Conflicts: 1426000 | #Constraints: 241810
639.19/642.44 c #Conflicts: 1427000 | #Constraints: 242810
639.19/642.44 c #Conflicts: 1428000 | #Constraints: 243810
639.19/642.44 c #Conflicts: 1429000 | #Constraints: 244810
639.19/642.44 c #Conflicts: 1430000 | #Constraints: 245810
639.19/642.44 c #Conflicts: 1431000 | #Constraints: 246810
639.19/642.44 c #Conflicts: 1432000 | #Constraints: 247810
639.19/642.44 c #Conflicts: 1433000 | #Constraints: 248810
639.19/642.44 c #Conflicts: 1434000 | #Constraints: 249810
639.19/642.44 c #Conflicts: 1435000 | #Constraints: 250810
639.19/642.44 c #Conflicts: 1436000 | #Constraints: 251810
639.19/642.44 c #Conflicts: 1437000 | #Constraints: 252810
639.19/642.44 c #Conflicts: 1438000 | #Constraints: 253810
639.19/642.44 c #Conflicts: 1439000 | #Constraints: 254810
639.19/642.44 c #Conflicts: 1440000 | #Constraints: 255810
639.19/642.44 c #Conflicts: 1441000 | #Constraints: 256810
639.19/642.44 c #Conflicts: 1442000 | #Constraints: 257810
639.19/642.44 c #Conflicts: 1443000 | #Constraints: 258810
639.19/642.44 c #Conflicts: 1444000 | #Constraints: 259810
639.19/642.44 c #Conflicts: 1445000 | #Constraints: 260810
639.19/642.44 c #Conflicts: 1446000 | #Constraints: 261810
639.19/642.44 c #Conflicts: 1447000 | #Constraints: 262810
639.19/642.44 c #Conflicts: 1448000 | #Constraints: 263810
639.19/642.44 c #Conflicts: 1449000 | #Constraints: 264810
639.19/642.44 c #Conflicts: 1450000 | #Constraints: 265810
639.19/642.44 c #Conflicts: 1451000 | #Constraints: 266810
639.19/642.44 c #Conflicts: 1452000 | #Constraints: 267810
639.19/642.44 c #Conflicts: 1453000 | #Constraints: 268810
639.19/642.44 c #Conflicts: 1454000 | #Constraints: 269810
639.19/642.44 c #Conflicts: 1455000 | #Constraints: 270810
639.19/642.44 c #Conflicts: 1456000 | #Constraints: 271810
639.19/642.44 c #Conflicts: 1457000 | #Constraints: 272810
639.19/642.44 c #Conflicts: 1458000 | #Constraints: 273810
639.19/642.44 c INPROCESSING
639.19/642.44 c GARBAGE COLLECT
639.19/642.44 c #Conflicts: 1459000 | #Constraints: 203102
669.30/672.63 c #Conflicts: 1460000 | #Constraints: 204102
669.30/672.63 c #Conflicts: 1461000 | #Constraints: 205102
669.30/672.63 c #Conflicts: 1462000 | #Constraints: 206102
669.30/672.63 c #Conflicts: 1463000 | #Constraints: 207102
669.30/672.63 c #Conflicts: 1464000 | #Constraints: 208102
669.30/672.63 c #Conflicts: 1465000 | #Constraints: 209102
669.30/672.63 c #Conflicts: 1466000 | #Constraints: 210102
669.30/672.63 c #Conflicts: 1467000 | #Constraints: 211102
669.30/672.63 c #Conflicts: 1468000 | #Constraints: 212102
669.30/672.63 c #Conflicts: 1469000 | #Constraints: 213102
669.30/672.63 c #Conflicts: 1470000 | #Constraints: 214102
669.30/672.63 c #Conflicts: 1471000 | #Constraints: 215102
669.30/672.63 c #Conflicts: 1472000 | #Constraints: 216102
669.30/672.63 c #Conflicts: 1473000 | #Constraints: 217102
669.30/672.63 c #Conflicts: 1474000 | #Constraints: 218102
669.30/672.63 c #Conflicts: 1475000 | #Constraints: 219102
669.30/672.63 c #Conflicts: 1476000 | #Constraints: 220102
669.30/672.63 c #Conflicts: 1477000 | #Constraints: 221102
669.30/672.63 c #Conflicts: 1478000 | #Constraints: 222102
669.30/672.63 c #Conflicts: 1479000 | #Constraints: 223102
669.30/672.63 c #Conflicts: 1480000 | #Constraints: 224102
669.30/672.63 c #Conflicts: 1481000 | #Constraints: 225102
669.30/672.63 c #Conflicts: 1482000 | #Constraints: 226102
669.30/672.63 c #Conflicts: 1483000 | #Constraints: 227102
669.30/672.63 c #Conflicts: 1484000 | #Constraints: 228102
669.30/672.63 c #Conflicts: 1485000 | #Constraints: 229102
669.30/672.63 c #Conflicts: 1486000 | #Constraints: 230102
669.30/672.63 c #Conflicts: 1487000 | #Constraints: 231102
669.30/672.63 c #Conflicts: 1488000 | #Constraints: 232102
669.30/672.63 c #Conflicts: 1489000 | #Constraints: 233102
669.30/672.63 c #Conflicts: 1490000 | #Constraints: 234102
669.30/672.63 c #Conflicts: 1491000 | #Constraints: 235102
669.30/672.63 c #Conflicts: 1492000 | #Constraints: 236102
669.30/672.63 c INPROCESSING
669.30/672.63 c GARBAGE COLLECT
669.30/672.63 c #Conflicts: 1493000 | #Constraints: 189417
669.30/672.63 c #Conflicts: 1494000 | #Constraints: 190417
669.30/672.63 c #Conflicts: 1495000 | #Constraints: 191417
669.30/672.63 c #Conflicts: 1496000 | #Constraints: 192417
669.30/672.63 c #Conflicts: 1497000 | #Constraints: 193417
669.30/672.63 c #Conflicts: 1498000 | #Constraints: 194417
669.30/672.63 c #Conflicts: 1499000 | #Constraints: 195417
669.30/672.63 c #Conflicts: 1500000 | #Constraints: 196417
669.30/672.63 c #Conflicts: 1501000 | #Constraints: 197417
669.30/672.63 c #Conflicts: 1502000 | #Constraints: 198417
669.30/672.63 c #Conflicts: 1503000 | #Constraints: 199417
669.30/672.63 c #Conflicts: 1504000 | #Constraints: 200417
669.30/672.63 c #Conflicts: 1505000 | #Constraints: 201417
669.30/672.63 c #Conflicts: 1506000 | #Constraints: 202417
669.30/672.63 c #Conflicts: 1507000 | #Constraints: 203417
669.30/672.63 c #Conflicts: 1508000 | #Constraints: 204417
669.30/672.63 c #Conflicts: 1509000 | #Constraints: 205417
669.30/672.63 c #Conflicts: 1510000 | #Constraints: 206417
669.30/672.63 c #Conflicts: 1511000 | #Constraints: 207417
669.30/672.63 c #Conflicts: 1512000 | #Constraints: 208417
669.30/672.63 c #Conflicts: 1513000 | #Constraints: 209417
669.30/672.63 c #Conflicts: 1514000 | #Constraints: 210417
669.30/672.63 c #Conflicts: 1515000 | #Constraints: 211417
669.30/672.63 c #Conflicts: 1516000 | #Constraints: 212417
669.30/672.63 c #Conflicts: 1517000 | #Constraints: 213417
669.30/672.63 c #Conflicts: 1518000 | #Constraints: 214417
669.30/672.63 c #Conflicts: 1519000 | #Constraints: 215417
669.30/672.63 c #Conflicts: 1520000 | #Constraints: 216417
669.30/672.63 c #Conflicts: 1521000 | #Constraints: 217417
669.30/672.63 c #Conflicts: 1522000 | #Constraints: 218417
669.30/672.63 c #Conflicts: 1523000 | #Constraints: 219417
669.30/672.63 c #Conflicts: 1524000 | #Constraints: 220417
669.30/672.63 c #Conflicts: 1525000 | #Constraints: 221417
669.30/672.63 c #Conflicts: 1526000 | #Constraints: 222417
669.30/672.63 c #Conflicts: 1527000 | #Constraints: 223417
669.30/672.63 c #Conflicts: 1528000 | #Constraints: 224417
669.30/672.63 c #Conflicts: 1529000 | #Constraints: 225417
669.30/672.63 c #Conflicts: 1530000 | #Constraints: 226417
669.30/672.63 c #Conflicts: 1531000 | #Constraints: 227417
669.30/672.63 c #Conflicts: 1532000 | #Constraints: 228417
669.30/672.63 c #Conflicts: 1533000 | #Constraints: 229417
669.30/672.63 c #Conflicts: 1534000 | #Constraints: 230417
669.30/672.63 c #Conflicts: 1535000 | #Constraints: 231417
669.30/672.63 c #Conflicts: 1536000 | #Constraints: 232417
669.30/672.63 c #Conflicts: 1537000 | #Constraints: 233417
691.63/695.01 c #Conflicts: 1538000 | #Constraints: 234417
691.63/695.01 c #Conflicts: 1539000 | #Constraints: 235417
691.63/695.01 c #Conflicts: 1540000 | #Constraints: 236417
691.63/695.01 c #Conflicts: 1541000 | #Constraints: 237417
691.63/695.01 c #Conflicts: 1542000 | #Constraints: 238417
691.63/695.01 c #Conflicts: 1543000 | #Constraints: 239417
691.63/695.01 c #Conflicts: 1544000 | #Constraints: 240417
691.63/695.01 c #Conflicts: 1545000 | #Constraints: 241417
691.63/695.01 c #Conflicts: 1546000 | #Constraints: 242417
691.63/695.01 c #Conflicts: 1547000 | #Constraints: 243417
691.63/695.01 c #Conflicts: 1548000 | #Constraints: 244417
691.63/695.01 c #Conflicts: 1549000 | #Constraints: 245417
691.63/695.01 c #Conflicts: 1550000 | #Constraints: 246417
691.63/695.01 c #Conflicts: 1551000 | #Constraints: 247417
691.63/695.01 c #Conflicts: 1552000 | #Constraints: 248417
691.63/695.01 c #Conflicts: 1553000 | #Constraints: 249417
691.63/695.01 c #Conflicts: 1554000 | #Constraints: 250417
691.63/695.01 c #Conflicts: 1555000 | #Constraints: 251417
691.63/695.01 c #Conflicts: 1556000 | #Constraints: 252417
691.63/695.01 c #Conflicts: 1557000 | #Constraints: 253417
691.63/695.01 c #Conflicts: 1558000 | #Constraints: 254417
691.63/695.01 c #Conflicts: 1559000 | #Constraints: 255417
691.63/695.01 c #Conflicts: 1560000 | #Constraints: 256417
691.63/695.01 c #Conflicts: 1561000 | #Constraints: 257417
691.63/695.01 c #Conflicts: 1562000 | #Constraints: 258417
691.63/695.01 c #Conflicts: 1563000 | #Constraints: 259417
691.63/695.01 c #Conflicts: 1564000 | #Constraints: 260417
691.63/695.01 c #Conflicts: 1565000 | #Constraints: 261417
691.63/695.01 c #Conflicts: 1566000 | #Constraints: 262417
691.63/695.01 c #Conflicts: 1567000 | #Constraints: 263417
691.63/695.01 c #Conflicts: 1568000 | #Constraints: 264417
691.63/695.01 c #Conflicts: 1569000 | #Constraints: 265417
691.63/695.01 c #Conflicts: 1570000 | #Constraints: 266417
691.63/695.01 c #Conflicts: 1571000 | #Constraints: 267417
691.63/695.01 c #Conflicts: 1572000 | #Constraints: 268417
691.63/695.01 c #Conflicts: 1573000 | #Constraints: 269417
691.63/695.01 c #Conflicts: 1574000 | #Constraints: 270417
691.63/695.01 c INPROCESSING
691.63/695.01 c GARBAGE COLLECT
691.63/695.01 c rational objective 538.028
725.29/728.80 c #Conflicts: 1575000 | #Constraints: 207346
725.29/728.80 c #Conflicts: 1576000 | #Constraints: 208346
725.29/728.80 c #Conflicts: 1577000 | #Constraints: 209346
725.29/728.80 c #Conflicts: 1578000 | #Constraints: 210346
725.29/728.80 c #Conflicts: 1579000 | #Constraints: 211346
725.29/728.80 c #Conflicts: 1580000 | #Constraints: 212346
725.29/728.80 c #Conflicts: 1581000 | #Constraints: 213346
725.29/728.80 c #Conflicts: 1582000 | #Constraints: 214346
725.29/728.80 c #Conflicts: 1583000 | #Constraints: 215346
725.29/728.80 c #Conflicts: 1584000 | #Constraints: 216346
725.29/728.80 c #Conflicts: 1585000 | #Constraints: 217346
725.29/728.80 c #Conflicts: 1586000 | #Constraints: 218346
725.29/728.80 c #Conflicts: 1587000 | #Constraints: 219346
725.29/728.80 c #Conflicts: 1588000 | #Constraints: 220346
725.29/728.80 c #Conflicts: 1589000 | #Constraints: 221346
725.29/728.80 c #Conflicts: 1590000 | #Constraints: 222346
725.29/728.80 c #Conflicts: 1591000 | #Constraints: 223346
725.29/728.80 c #Conflicts: 1592000 | #Constraints: 224346
725.29/728.80 c #Conflicts: 1593000 | #Constraints: 225346
725.29/728.80 c #Conflicts: 1594000 | #Constraints: 226346
725.29/728.80 c #Conflicts: 1595000 | #Constraints: 227346
725.29/728.80 c #Conflicts: 1596000 | #Constraints: 228346
725.29/728.80 c #Conflicts: 1597000 | #Constraints: 229346
725.29/728.80 c #Conflicts: 1598000 | #Constraints: 230346
725.29/728.80 c #Conflicts: 1599000 | #Constraints: 231346
725.29/728.80 c #Conflicts: 1600000 | #Constraints: 232346
725.29/728.80 c #Conflicts: 1601000 | #Constraints: 233346
725.29/728.80 c #Conflicts: 1602000 | #Constraints: 234346
725.29/728.80 c #Conflicts: 1603000 | #Constraints: 235346
725.29/728.80 c #Conflicts: 1604000 | #Constraints: 236346
725.29/728.80 c #Conflicts: 1605000 | #Constraints: 237346
725.29/728.80 c #Conflicts: 1606000 | #Constraints: 238346
725.29/728.80 c #Conflicts: 1607000 | #Constraints: 239346
725.29/728.80 c #Conflicts: 1608000 | #Constraints: 240346
725.29/728.80 c #Conflicts: 1609000 | #Constraints: 241346
725.29/728.80 c INPROCESSING
725.29/728.80 c GARBAGE COLLECT
725.29/728.80 c #Conflicts: 1610000 | #Constraints: 192706
725.29/728.80 c #Conflicts: 1611000 | #Constraints: 193706
725.29/728.80 c #Conflicts: 1612000 | #Constraints: 194706
725.29/728.80 c #Conflicts: 1613000 | #Constraints: 195706
725.29/728.80 c #Conflicts: 1614000 | #Constraints: 196706
725.29/728.80 c #Conflicts: 1615000 | #Constraints: 197706
725.29/728.80 c #Conflicts: 1616000 | #Constraints: 198706
725.29/728.80 c #Conflicts: 1617000 | #Constraints: 199706
725.29/728.80 c #Conflicts: 1618000 | #Constraints: 200706
725.29/728.80 c #Conflicts: 1619000 | #Constraints: 201706
725.29/728.80 c #Conflicts: 1620000 | #Constraints: 202706
725.29/728.80 c #Conflicts: 1621000 | #Constraints: 203706
725.29/728.80 c #Conflicts: 1622000 | #Constraints: 204706
725.29/728.80 c #Conflicts: 1623000 | #Constraints: 205706
725.29/728.80 c #Conflicts: 1624000 | #Constraints: 206706
725.29/728.80 c #Conflicts: 1625000 | #Constraints: 207706
725.29/728.80 c #Conflicts: 1626000 | #Constraints: 208706
725.29/728.80 c #Conflicts: 1627000 | #Constraints: 209706
725.29/728.80 c #Conflicts: 1628000 | #Constraints: 210706
725.29/728.80 c #Conflicts: 1629000 | #Constraints: 211706
725.29/728.80 c #Conflicts: 1630000 | #Constraints: 212706
725.29/728.80 c #Conflicts: 1631000 | #Constraints: 213706
725.29/728.80 c #Conflicts: 1632000 | #Constraints: 214706
725.29/728.80 c #Conflicts: 1633000 | #Constraints: 215706
725.29/728.80 c #Conflicts: 1634000 | #Constraints: 216706
725.29/728.80 c #Conflicts: 1635000 | #Constraints: 217706
725.29/728.80 c #Conflicts: 1636000 | #Constraints: 218706
725.29/728.80 c #Conflicts: 1637000 | #Constraints: 219706
725.29/728.80 c #Conflicts: 1638000 | #Constraints: 220706
725.29/728.80 c #Conflicts: 1639000 | #Constraints: 221706
725.29/728.80 c #Conflicts: 1640000 | #Constraints: 222706
725.29/728.80 c #Conflicts: 1641000 | #Constraints: 223706
725.29/728.80 c #Conflicts: 1642000 | #Constraints: 224706
725.29/728.80 c #Conflicts: 1643000 | #Constraints: 225706
725.29/728.80 c #Conflicts: 1644000 | #Constraints: 226706
725.29/728.80 c #Conflicts: 1645000 | #Constraints: 227706
725.29/728.80 c #Conflicts: 1646000 | #Constraints: 228706
725.29/728.80 c #Conflicts: 1647000 | #Constraints: 229706
725.29/728.80 c #Conflicts: 1648000 | #Constraints: 230706
725.29/728.80 c #Conflicts: 1649000 | #Constraints: 231706
725.29/728.80 c #Conflicts: 1650000 | #Constraints: 232706
725.29/728.80 c #Conflicts: 1651000 | #Constraints: 233706
725.29/728.80 c #Conflicts: 1652000 | #Constraints: 234706
725.29/728.80 c #Conflicts: 1653000 | #Constraints: 235706
749.13/752.70 c #Conflicts: 1654000 | #Constraints: 236706
749.13/752.70 c #Conflicts: 1655000 | #Constraints: 237706
749.13/752.70 c #Conflicts: 1656000 | #Constraints: 238706
749.13/752.70 c #Conflicts: 1657000 | #Constraints: 239706
749.13/752.70 c #Conflicts: 1658000 | #Constraints: 240706
749.13/752.70 c #Conflicts: 1659000 | #Constraints: 241706
749.13/752.70 c #Conflicts: 1660000 | #Constraints: 242706
749.13/752.70 c #Conflicts: 1661000 | #Constraints: 243706
749.13/752.70 c #Conflicts: 1662000 | #Constraints: 244706
749.13/752.70 c #Conflicts: 1663000 | #Constraints: 245706
749.13/752.70 c #Conflicts: 1664000 | #Constraints: 246706
749.13/752.70 c #Conflicts: 1665000 | #Constraints: 247706
749.13/752.70 c #Conflicts: 1666000 | #Constraints: 248706
749.13/752.70 c #Conflicts: 1667000 | #Constraints: 249706
749.13/752.70 c #Conflicts: 1668000 | #Constraints: 250706
749.13/752.70 c #Conflicts: 1669000 | #Constraints: 251706
749.13/752.70 c #Conflicts: 1670000 | #Constraints: 252706
749.13/752.70 c #Conflicts: 1671000 | #Constraints: 253706
749.13/752.70 c #Conflicts: 1672000 | #Constraints: 254706
749.13/752.70 c #Conflicts: 1673000 | #Constraints: 255706
749.13/752.70 c #Conflicts: 1674000 | #Constraints: 256706
749.13/752.70 c #Conflicts: 1675000 | #Constraints: 257706
749.13/752.70 c #Conflicts: 1676000 | #Constraints: 258706
749.13/752.70 c #Conflicts: 1677000 | #Constraints: 259706
749.13/752.70 c #Conflicts: 1678000 | #Constraints: 260706
749.13/752.70 c #Conflicts: 1679000 | #Constraints: 261706
749.13/752.70 c #Conflicts: 1680000 | #Constraints: 262706
749.13/752.70 c #Conflicts: 1681000 | #Constraints: 263706
749.13/752.70 c #Conflicts: 1682000 | #Constraints: 264706
749.13/752.70 c #Conflicts: 1683000 | #Constraints: 265706
749.13/752.70 c #Conflicts: 1684000 | #Constraints: 266706
749.13/752.70 c #Conflicts: 1685000 | #Constraints: 267706
749.13/752.70 c #Conflicts: 1686000 | #Constraints: 268706
749.13/752.70 c #Conflicts: 1687000 | #Constraints: 269706
749.13/752.70 c #Conflicts: 1688000 | #Constraints: 270706
749.13/752.70 c #Conflicts: 1689000 | #Constraints: 271706
749.13/752.70 c #Conflicts: 1690000 | #Constraints: 272707
749.13/752.70 c #Conflicts: 1691000 | #Constraints: 273707
749.13/752.70 c #Conflicts: 1692000 | #Constraints: 274707
749.13/752.70 c #Conflicts: 1693000 | #Constraints: 275707
749.13/752.70 c #Conflicts: 1694000 | #Constraints: 276707
749.13/752.70 c INPROCESSING
749.13/752.70 c GARBAGE COLLECT
749.13/752.70 c rational objective 541.942
771.26/774.93 c #Conflicts: 1695000 | #Constraints: 207639
771.26/774.93 c #Conflicts: 1696000 | #Constraints: 208639
771.26/774.93 c #Conflicts: 1697000 | #Constraints: 209639
771.26/774.93 c #Conflicts: 1698000 | #Constraints: 210639
771.26/774.93 c #Conflicts: 1699000 | #Constraints: 211639
771.26/774.93 c #Conflicts: 1700000 | #Constraints: 212639
771.26/774.93 c #Conflicts: 1701000 | #Constraints: 213639
771.26/774.93 c #Conflicts: 1702000 | #Constraints: 214639
771.26/774.93 c #Conflicts: 1703000 | #Constraints: 215639
771.26/774.93 c #Conflicts: 1704000 | #Constraints: 216639
771.26/774.93 c #Conflicts: 1705000 | #Constraints: 217639
771.26/774.93 c #Conflicts: 1706000 | #Constraints: 218639
771.26/774.93 c #Conflicts: 1707000 | #Constraints: 219639
771.26/774.93 c #Conflicts: 1708000 | #Constraints: 220639
771.26/774.93 c #Conflicts: 1709000 | #Constraints: 221639
771.26/774.93 c #Conflicts: 1710000 | #Constraints: 222639
771.26/774.93 c #Conflicts: 1711000 | #Constraints: 223639
771.26/774.93 c #Conflicts: 1712000 | #Constraints: 224639
771.26/774.93 c #Conflicts: 1713000 | #Constraints: 225639
771.26/774.93 c #Conflicts: 1714000 | #Constraints: 226639
771.26/774.93 c #Conflicts: 1715000 | #Constraints: 227639
771.26/774.93 c #Conflicts: 1716000 | #Constraints: 228639
771.26/774.93 c #Conflicts: 1717000 | #Constraints: 229639
771.26/774.93 c #Conflicts: 1718000 | #Constraints: 230639
771.26/774.93 c #Conflicts: 1719000 | #Constraints: 231639
771.26/774.93 c #Conflicts: 1720000 | #Constraints: 232639
771.26/774.93 c #Conflicts: 1721000 | #Constraints: 233639
771.26/774.93 c #Conflicts: 1722000 | #Constraints: 234639
771.26/774.93 c #Conflicts: 1723000 | #Constraints: 235639
771.26/774.93 c #Conflicts: 1724000 | #Constraints: 236639
771.26/774.93 c #Conflicts: 1725000 | #Constraints: 237639
771.26/774.93 c #Conflicts: 1726000 | #Constraints: 238639
771.26/774.93 c cpu time 759.705 s
771.26/774.93 c deterministic time 11054218837 1.11e+10
771.26/774.93 c optimization time 8.4e-05 s
771.26/774.93 c total solve time 758.88 s
771.26/774.93 c core-guided solve time 0 s
771.26/774.93 c propagation time 223.098 s
771.26/774.93 c conflict analysis time 137.003 s
771.26/774.93 c propagations 544833227
771.26/774.93 c resolve steps 35061219
771.26/774.93 c decisions 6733322
771.26/774.93 c conflicts 1726235
771.26/774.93 c restarts 3323
771.26/774.93 c inprocessing phases 55
771.26/774.93 c garbage collections 48 ,( 87.27 )
771.26/774.93 c input clauses 137472 ,( 89.42 )
771.26/774.93 c input cardinalities 563 ,( 0.37 )
771.26/774.93 c input general constraints 15694 ,( 10.21 )
771.26/774.93 c input average constraint length 3.92
771.26/774.93 c input average constraint degree 1.12
771.26/774.93 c learned clauses 1725311 ,( 99.94 )
771.26/774.93 c learned cardinalities 626 ,( 0.04 )
771.26/774.93 c learned general constraints 332 ,( 0.02 )
771.26/774.93 c learned average constraint length 99.87
771.26/774.93 c learned average constraint degree 8740.11
771.26/774.93 c watched CF 32, 64, 128, Arb: 115 , 0 , 0 , 0
771.26/774.93 c counting CF 32, 64, 128, Arb: 15911 , 0 , 0 , 0
771.26/774.93 c watched constraints 115 ,( 0.72 )
771.26/774.93 c counting constraints 15911 ,( 99.28 )
771.26/774.93 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2009544244 , 3038120 , 49902733 ,( 65602 , 49837131 )
771.26/774.93 c gcd simplifications 2706
771.26/774.93 c detected cardinalities 47
771.26/774.93 c weakened non-implied lits 1025054
771.26/774.93 c weakened non-implying lits 4020
771.26/774.93 c original variables 7320
771.26/774.93 c clausal propagations 535326020
771.26/774.93 c cardinality propagations 1421528
771.26/774.93 c watched propagations 2426
771.26/774.93 c counting propagations 6352198
771.26/774.93 c watch lookups 2724427106
771.26/774.93 c watch backjump lookups 0
771.26/774.93 c watch checks 6063908961
771.26/774.93 c propagation checks 666646706
771.26/774.93 c constraint additions 494021790
771.26/774.93 c trail pops 553290746
771.26/774.93 c formula constraints 153729
771.26/774.93 c learned constraints 1726234
771.26/774.93 c bound constraints 0
771.26/774.93 c core-guided constraints 0
771.26/774.93 c encountered formula constraints 21759731
771.26/774.93 c encountered learned constraints 15000299
771.26/774.93 c encountered bound constraints 0
771.26/774.93 c encountered core-guided constraints 0
771.26/774.93 c LP total time 171.4 s
771.26/774.93 c LP solve time 160.61 s
771.26/774.93 c LP constraints added 154183
771.26/774.93 c LP constraints removed 296
771.26/774.93 c LP pivots internal 179958
771.26/774.93 c LP pivots root 177020
771.26/774.93 c LP calls 56
771.26/774.93 c LP optimalities 50
771.26/774.93 c LP no pivot count 0
771.26/774.93 c LP infeasibilities 1
771.26/774.93 c LP valid Farkas constraints 1
771.26/774.93 c LP learned Farkas constraints 0
771.26/774.93 c LP basis resets 0
771.26/774.93 c LP cycling count 0
771.26/774.93 c LP singular count 0
771.26/774.93 c LP no primal count 0
771.26/774.93 c LP no farkas count 0
771.26/774.93 c LP other issue count 0
771.26/774.93 c LP Gomory cuts 34
771.26/774.93 c LP learned cuts 420
771.26/774.93 c LP deleted cuts 296
771.26/774.93 c LP encountered Gomory constraints 27424
771.26/774.93 c LP encountered Farkas constraints 0
771.26/774.93 c LP encountered learned Farkas constraints 0
771.26/774.93 c CG auxiliary variables introduced 0
771.30/775.04 c CG solutions found 0
771.30/775.04 c CG cores constructed 0
771.30/775.04 c CG core cardinality constraints returned 0
771.30/775.04 c CG unit cores 0
771.30/775.04 c CG single cores 0
771.30/775.04 c CG blocks removed during cardinality reduction 0
771.30/775.04 c CG first core best 0
771.30/775.04 c CG decision core best 0
771.30/775.04 c CG core reduction tie 0
771.30/775.04 c CG core degree average 0.00
771.30/775.04 c CG core slack average 0.00
771.30/775.04 c CG core upper bound improvements 0
771.30/775.04 c STR number of successful calls 0
771.30/775.04 c STR number of unsuccessful calls 0
771.30/775.04 c STR number of inconclusive calls 0
771.30/775.04 c STR number of successful attempts 0
771.30/775.04 c STR number of unsuccessful attempts 0
771.30/775.04 c STR number of inconclusive attempts 0
771.30/775.04 c STR average degree increase per successful call inf
771.30/775.04 c STR average degree increase per successful attempt inf
771.30/775.04 c STR total number of conflicts for successful attempts 0
771.30/775.04 c STR total number of conflicts for unsuccessful attempts 0
771.30/775.04 c STR total number of conflicts for inconclusive attempts 0
771.30/775.04 c STR average number of conflicts per successful attempt inf
771.30/775.04 c STR average number of conflicts per unsuccessful attempt inf
771.30/775.04 c STR average number of conflicts per inconclusive attempt inf
771.30/775.04 c AVG.sumWPerc 60.64
771.30/775.04 c bigint constraints 0
771.30/775.04 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: 63708 MiB (62952 MiB free)
memory of node 1: 64465 MiB (63998 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503641-1751170426/watcher-4503641-1751170426 -o /tmp/evaluation-result-4503641-1751170426/solver-4503641-1751170426 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20380 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4503641-1751170426.opb PROOFDIR/proof-4503641-1751170426
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 FSIZE limit: 102400000 KiB
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
Current StackSize limit: 8192 KiB
solver pid=20418, runsolver pid=20411
[startup+0.100061 s]*
/proc/loadavg: 0.66 1.56 2.40 5/259 20427
/proc/meminfo: memFree=129917640/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20421] ppid=20418 vsize=64180 memory=54264 CPUtime=0.08 cores=0,2
/proc/20421/stat : 20421 (pbsuma) R 20418 20418 20370 0 -1 4194304 6103 0 0 0 7 1 0 0 20 0 1 0 32720128 65720320 13566 18446744073709551615 4210688 4653049 140720759839728 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 31686656 140720759847139 140720759847474 140720759847474 140720759853039 0
/proc/20421/statm: 16045 13566 992 108 0 13453 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 68372 KiB
Current children cumulated memory: 57336 KiB
[startup+0.205443 s]*
/proc/loadavg: 0.66 1.56 2.40 5/265 20438
/proc/meminfo: memFree=129709644/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20421] ppid=20418 vsize=66016 memory=57220 CPUtime=0.18 cores=0,2
/proc/20421/stat : 20421 (pbsuma) R 20418 20418 20370 0 -1 4194304 15653 0 0 0 15 3 0 0 20 0 1 0 32720128 67600384 14305 18446744073709551615 4210688 4653049 140720759839728 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 31686656 140720759847139 140720759847474 140720759847474 140720759853039 0
/proc/20421/statm: 16504 14305 1056 108 0 13912 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 70208 KiB
Current children cumulated memory: 60292 KiB
[startup+0.305496 s]*
/proc/loadavg: 0.66 1.56 2.40 6/268 20445
/proc/meminfo: memFree=129576072/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=62220 memory=16384 CPUtime=0.07 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 2297 0 0 0 5 2 0 0 20 0 1 0 32720149 63713280 4096 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 15555 4096 2080 1147 0 2982 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 66412 KiB
Current children cumulated memory: 19456 KiB
[startup+0.700203 s]
/proc/loadavg: 0.66 1.56 2.40 6/268 20445
/proc/meminfo: memFree=129478668/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=96328 memory=51448 CPUtime=0.45 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 11562 0 0 0 37 8 0 0 20 0 1 0 32720149 98639872 12862 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 24082 12862 2080 1147 0 11509 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 100520 KiB
Current children cumulated memory: 54520 KiB
[startup+1.5002 s]
/proc/loadavg: 0.66 1.56 2.40 6/268 20445
/proc/meminfo: memFree=129126876/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=341720 memory=238308 CPUtime=1.24 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 35649 0 0 0 105 19 0 0 20 0 1 0 32720149 349921280 59577 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 85430 59577 2336 1147 0 72857 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 345912 KiB
Current children cumulated memory: 241380 KiB
[startup+3.10542 s]
/proc/loadavg: 0.66 1.56 2.40 6/268 20447
/proc/meminfo: memFree=129038996/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=341720 memory=238308 CPUtime=2.84 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 35650 0 0 0 265 19 0 0 20 0 1 0 32720149 349921280 59577 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 85430 59577 2336 1147 0 72857 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 345912 KiB
Current children cumulated memory: 241380 KiB
[startup+6.3002 s]
/proc/loadavg: 0.92 1.60 2.41 6/268 20447
/proc/meminfo: memFree=128025376/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=341720 memory=238948 CPUtime=6.04 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 35750 0 0 0 580 24 0 0 20 0 1 0 32720149 349921280 59737 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 85430 59737 2400 1147 0 72857 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 345912 KiB
Current children cumulated memory: 242020 KiB
[startup+12.7002 s]
/proc/loadavg: 1.17 1.64 2.42 6/268 20447
/proc/meminfo: memFree=126722364/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=341720 memory=241080 CPUtime=12.41 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 35770 0 0 0 1214 27 0 0 20 0 1 0 32720149 349921280 60270 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 85430 60270 2400 1147 0 72857 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 345912 KiB
Current children cumulated memory: 244152 KiB
[startup+25.5002 s]
/proc/loadavg: 1.87 1.78 2.45 6/272 20451
/proc/meminfo: memFree=126896412/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=341720 memory=241080 CPUtime=25.17 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 35782 0 0 0 2481 36 0 0 20 0 1 0 32720149 349921280 60270 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 85430 60270 2400 1147 0 72857 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 345912 KiB
Current children cumulated memory: 244152 KiB
[startup+51.1058 s]
/proc/loadavg: 2.60 1.95 2.49 6/272 20452
/proc/meminfo: memFree=126925540/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=341720 memory=241720 CPUtime=50.68 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 35955 0 0 0 5010 58 0 0 20 0 1 0 32720149 349921280 60430 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 85430 60430 2400 1147 0 72857 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 345912 KiB
Current children cumulated memory: 244792 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 2.29 2.58 6/272 20454
/proc/meminfo: memFree=126766108/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=352844 memory=253588 CPUtime=101.69 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 37757 0 0 0 10056 113 0 0 20 0 1 0 32720149 361312256 63397 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 88211 63397 2400 1147 0 75638 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 357036 KiB
Current children cumulated memory: 256660 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 2.71 2.70 6/272 20456
/proc/meminfo: memFree=126524900/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=376592 memory=265240 CPUtime=161.43 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 39674 0 0 0 15961 182 0 0 20 0 1 0 32720149 385630208 66310 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 94148 66310 2400 1147 0 81575 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 380784 KiB
Current children cumulated memory: 268312 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.95 2.79 6/273 20459
/proc/meminfo: memFree=126347108/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=410680 memory=299172 CPUtime=221.24 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 43041 0 0 0 21849 275 0 0 20 0 1 0 32720149 420536320 74793 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
################
# More data... #
################
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 44379 0 0 0 45304 652 0 0 20 0 1 0 32720149 452599808 85144 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 110498 85144 2400 1147 0 97925 0
Current children cumulated CPU time: 459.76 s
Current children cumulated vsize: 446184 KiB
Current children cumulated memory: 343648 KiB
[startup+522.3 s]
/proc/loadavg: 4.09 3.69 3.17 6/272 20477
/proc/meminfo: memFree=125311476/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=473532 memory=353800 CPUtime=519.32 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 45139 0 0 0 51189 743 0 0 20 0 1 0 32720149 484896768 88450 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 118383 88450 2400 1147 0 105810 0
Current children cumulated CPU time: 519.52 s
Current children cumulated vsize: 477724 KiB
Current children cumulated memory: 356872 KiB
[startup+582.3 s]
/proc/loadavg: 4.07 3.76 3.23 6/274 20482
/proc/meminfo: memFree=125110572/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=480368 memory=359736 CPUtime=579.11 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 46735 0 0 0 57077 834 0 0 20 0 1 0 32720149 491896832 89934 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 120092 89934 2400 1147 0 107519 0
Current children cumulated CPU time: 579.31 s
Current children cumulated vsize: 484560 KiB
Current children cumulated memory: 362808 KiB
[startup+642.3 s]
/proc/loadavg: 4.06 3.82 3.28 6/274 20484
/proc/meminfo: memFree=124926788/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=484836 memory=370284 CPUtime=638.89 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 47860 0 0 0 62966 923 0 0 20 0 1 0 32720149 496472064 92571 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 121209 92571 2400 1147 0 108636 0
Current children cumulated CPU time: 639.09 s
Current children cumulated vsize: 489028 KiB
Current children cumulated memory: 373356 KiB
[startup+702.3 s]
/proc/loadavg: 4.06 3.87 3.34 6/273 20486
/proc/meminfo: memFree=124707400/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=484836 memory=374504 CPUtime=698.71 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 47862 0 0 0 68849 1022 0 0 20 0 1 0 32720149 496472064 93626 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 121209 93626 2400 1147 0 108636 0
Current children cumulated CPU time: 698.91 s
Current children cumulated vsize: 489028 KiB
Current children cumulated memory: 377576 KiB
[startup+762.3 s]
/proc/loadavg: 4.13 3.93 3.39 6/273 20488
/proc/meminfo: memFree=124373676/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=528884 memory=422652 CPUtime=758.49 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 50288 0 0 0 74728 1121 0 0 20 0 1 0 32720149 541577216 105663 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 132221 105663 2400 1147 0 119648 0
Current children cumulated CPU time: 758.69 s
Current children cumulated vsize: 533076 KiB
Current children cumulated memory: 425724 KiB
[startup+775.048 s]
# the end of solver process 20418 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=759.919 s, system=11.4421 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 4.12 3.93 3.39 6/273 20488
/proc/meminfo: memFree=124337272/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=531392 memory=425064 CPUtime=764.19 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 50420 0 0 0 75289 1130 0 0 20 0 1 0 32720149 544145408 106266 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 132848 106266 2400 1147 0 120275 0
Current children cumulated CPU time: 764.39 s
Current children cumulated vsize: 535584 KiB
Current children cumulated memory: 428136 KiB
[startup+771.2 s]
/proc/loadavg: 4.11 3.93 3.40 6/273 20489
/proc/meminfo: memFree=124321396/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=531392 memory=425064 CPUtime=767.38 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 50420 0 0 0 75603 1135 0 0 20 0 1 0 32720149 544145408 106266 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 132848 106266 2400 1147 0 120275 0
Current children cumulated CPU time: 767.58 s
Current children cumulated vsize: 535584 KiB
Current children cumulated memory: 428136 KiB
[startup+772.8 s]
/proc/loadavg: 4.11 3.93 3.40 6/273 20489
/proc/meminfo: memFree=124321428/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=531392 memory=425064 CPUtime=768.97 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 50420 0 0 0 75761 1136 0 0 20 0 1 0 32720149 544145408 106266 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 132848 106266 2400 1147 0 120275 0
Current children cumulated CPU time: 769.17 s
Current children cumulated vsize: 535584 KiB
Current children cumulated memory: 428136 KiB
[startup+774.4 s]
/proc/loadavg: 4.11 3.93 3.40 6/273 20489
/proc/meminfo: memFree=124305552/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=531392 memory=425064 CPUtime=770.56 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 50420 0 0 0 75918 1138 0 0 20 0 1 0 32720149 544145408 106266 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 132848 106266 2400 1147 0 120275 0
Current children cumulated CPU time: 770.76 s
Current children cumulated vsize: 535584 KiB
Current children cumulated memory: 428136 KiB
[startup+774.8 s]
/proc/loadavg: 4.11 3.93 3.40 6/273 20489
/proc/meminfo: memFree=124305552/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=531392 memory=425064 CPUtime=770.96 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 50420 0 0 0 75957 1139 0 0 20 0 1 0 32720149 544145408 106266 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 132848 106266 2400 1147 0 120275 0
Current children cumulated CPU time: 771.16 s
Current children cumulated vsize: 535584 KiB
Current children cumulated memory: 428136 KiB
[startup+775 s]*
/proc/loadavg: 4.10 3.93 3.40 6/273 20489
/proc/meminfo: memFree=124315184/131249996 swapFree=33010684/33010684
[pid=20418] ppid=20411 vsize=4192 memory=3072 CPUtime=0.2 cores=0,2
/proc/20418/stat : 20418 (run-dec-break-l) S 20411 20418 20370 0 -1 4194304 241 15656 0 0 0 0 17 3 20 0 1 0 32720127 4292608 768 18446744073709551615 94601879019520 94601879914053 140733564622128 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94601880153104 94601880200848 94601900716032 140733564631317 140733564631518 140733564631518 140733564637120 0
/proc/20418/statm: 1048 768 704 219 0 110 0
[pid=20439] ppid=20418 vsize=531392 memory=425064 CPUtime=771.1 cores=0,2
/proc/20439/stat : 20439 (roundingsat) R 20418 20418 20370 0 -1 4194304 50420 0 0 0 75970 1140 0 0 20 0 1 0 32720149 544145408 106266 18446744073709551615 4227072 8923433 140735954116528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12746752 140735954122996 140735954123304 140735954123304 140735954128874 0
/proc/20439/statm: 132848 106266 2400 1147 0 120275 0
Current children cumulated CPU time: 771.3 s
Current children cumulated vsize: 535584 KiB
Current children cumulated memory: 428136 KiB
Child status: 0
Real time (s): 775.048
CPU time (s): 771.361
CPU user time (s): 759.919
CPU system time (s): 11.4421
CPU usage (%): 99.5243
Max. virtual memory (cumulated for all children) (KiB): 535584
Max. memory (cumulated for all children) (KiB): 428136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 759.919
system time used= 11.4421
maximum resident set size= 425064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66341
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1509840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1229
involuntary context switches= 1235
# summary of solver processes directly reported to runsolver:
# pid: 20418
# total CPU time (s): 771.361
# total CPU user time (s): 759.919
# total CPU system time (s): 11.4421
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48972 second user time and 3.8267 second system time
The end
Begin job on nodeC015 at 2025-06-29 06:13:46
IDJOB=4503641
IDBENCH=155525
IDSOLVER=3358
FILE ID=nodeC015/4503641-1751170426
RUNJOBID= nodeC015-1751170426-20380
SLURM_JOB_ID= 9587528
Free space on /tmp= 432992 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-38.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503641-1751170426/watcher-4503641-1751170426 -o /tmp/evaluation-result-4503641-1751170426/solver-4503641-1751170426 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20380 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4503641-1751170426.opb PROOFDIR/proof-4503641-1751170426
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9e23e458e7baadfd402519ffe94968c6
RANDOM SEED=1383446850
nodeC015 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.852
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 : 7000.14
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 : 3600.182
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 : 7000.14
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 : 3601.642
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 : 7000.14
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 : 3600.069
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 : 7000.14
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 : 3600.808
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 : 7000.14
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 : 3493.621
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 : 7000.14
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 : 3600.079
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 : 7000.14
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 : 3600.041
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130038772 kB
MemAvailable: 129757000 kB
Buffers: 3280 kB
Cached: 529128 kB
SwapCached: 0 kB
Active: 314316 kB
Inactive: 310168 kB
Active(anon): 110152 kB
Inactive(anon): 0 kB
Active(file): 204164 kB
Inactive(file): 310168 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 57348 kB
Writeback: 0 kB
AnonPages: 95444 kB
Mapped: 102632 kB
Shmem: 18076 kB
KReclaimable: 86268 kB
Slab: 168648 kB
SReclaimable: 86268 kB
SUnreclaim: 82380 kB
KernelStack: 3940 kB
PageTables: 2680 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 358156 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 36864 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432824 MiB
End job on nodeC015 at 2025-06-29 06:26:42