0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4506944-1751172706.opb'
0.00/0.03 c read 1.08MB (14.57ms)
0.00/0.03 c [cnf: #variables 15827 #clauses 16095 #duplicates 0 #arr 103451]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 2394] (19.23ms)
0.00/0.05 c
0.00/0.05 c detect special group actions
0.00/0.05 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.05 c (3.27ms)
0.00/0.05 c
0.00/0.05 c detect symmetries on remainder
0.00/0.05 c [graph: #vertices 79403 #edges 301864]
0.00/0.05 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07 c [group: #symmetries 4.80*10^1 #generators 5] (17.24ms)
0.00/0.07 c
0.00/0.07 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.07 c (0.05ms)
0.00/0.07 c
0.00/0.07 c finalize break order and special generators
0.00/0.07 c
0.00/0.07 c add generic predicates (break_depth=10)
0.00/0.07 c added predicates for 5 generators (0.16ms)
0.00/0.07 c
0.00/0.07 c generation finished
0.00/0.07 c [sbp: #constraints 140 #add_vars 45]
0.00/0.07 c
0.00/0.07 c write result to 'HOME/instance-4506944-1751172706.opb.pre'
0.00/0.08 c wrote 1.10MB (2.63ms)
0.00/0.08 c ------------------------------------------------------------------
0.00/0.08 c 19.23ms 32.75% approx_orbits
0.00/0.08 c 17.24ms 29.36% detect_generic
0.00/0.08 c 14.57ms 24.82% parse
0.00/0.08 c 3.27ms 5.57% detect_special
0.00/0.08 c 2.63ms 4.48% output
0.00/0.08 c 0.99ms 1.69% other
0.00/0.08 c 0.57ms 0.97% finalize_order
0.00/0.08 c 0.16ms 0.27% break_generic
0.00/0.08 c 0.05ms 0.09% optimize_gens
0.00/0.08 c ───────────────────────────────────────────────
0.00/0.08 c 58.72ms 100% total
0.00/0.08 c ------------------------------------------------------------------
0.00/0.09 c RoundingSat 2
0.00/0.09 c branch pb25
0.00/0.09 c commit 63f22ad
0.05/0.18 c #variables 15872 #constraints 16233
104.86/105.21 c #Conflicts: 1000 | #Constraints: 17232
104.86/105.21 c #Conflicts: 2000 | #Constraints: 18232
104.86/105.21 c INPROCESSING
104.86/105.21 c GARBAGE COLLECT
104.86/105.21 c #Conflicts: 3000 | #Constraints: 17451
104.86/105.21 c #Conflicts: 4000 | #Constraints: 18451
104.86/105.21 c INPROCESSING
104.86/105.21 c GARBAGE COLLECT
104.86/105.21 c #Conflicts: 5000 | #Constraints: 17935
104.86/105.21 c #Conflicts: 6000 | #Constraints: 18935
104.86/105.21 c INPROCESSING
104.86/105.21 c GARBAGE COLLECT
104.86/105.21 c #Conflicts: 7000 | #Constraints: 17997
104.86/105.21 c #Conflicts: 8000 | #Constraints: 18997
104.86/105.21 c #Conflicts: 9000 | #Constraints: 19997
104.86/105.21 c INPROCESSING
104.86/105.21 c GARBAGE COLLECT
104.86/105.21 c #Conflicts: 10000 | #Constraints: 18751
104.86/105.21 c #Conflicts: 11000 | #Constraints: 19751
104.86/105.21 c #Conflicts: 12000 | #Constraints: 20751
104.86/105.21 c INPROCESSING
104.86/105.21 c GARBAGE COLLECT
104.86/105.21 c #Conflicts: 13000 | #Constraints: 19241
104.86/105.21 c #Conflicts: 14000 | #Constraints: 20241
104.86/105.21 c #Conflicts: 15000 | #Constraints: 21241
104.86/105.21 c INPROCESSING
104.86/105.21 c GARBAGE COLLECT
104.86/105.21 c #Conflicts: 16000 | #Constraints: 19524
104.86/105.21 c #Conflicts: 17000 | #Constraints: 20524
104.86/105.21 c #Conflicts: 18000 | #Constraints: 21524
104.86/105.21 c INPROCESSING
104.86/105.21 c GARBAGE COLLECT
104.86/105.21 c #Conflicts: 19000 | #Constraints: 19560
104.86/105.21 c #Conflicts: 20000 | #Constraints: 20560
104.86/105.21 c #Conflicts: 21000 | #Constraints: 21560
104.86/105.21 c INPROCESSING
104.86/105.21 c GARBAGE COLLECT
104.86/105.21 c #Conflicts: 22000 | #Constraints: 19435
104.86/105.21 c #Conflicts: 23000 | #Constraints: 20435
104.86/105.21 c #Conflicts: 24000 | #Constraints: 21435
104.86/105.21 c #Conflicts: 25000 | #Constraints: 22435
104.86/105.21 c #Conflicts: 26000 | #Constraints: 23435
104.86/105.21 c #Conflicts: 27000 | #Constraints: 24435
104.86/105.21 c #Conflicts: 28000 | #Constraints: 25435
104.86/105.21 c #Conflicts: 29000 | #Constraints: 26435
104.86/105.21 c #Conflicts: 30000 | #Constraints: 27435
104.86/105.21 c #Conflicts: 31000 | #Constraints: 28435
104.86/105.21 c #Conflicts: 32000 | #Constraints: 29435
104.86/105.21 c #Conflicts: 33000 | #Constraints: 30435
104.86/105.21 c INPROCESSING
104.86/105.21 c GARBAGE COLLECT
104.86/105.21 c #Conflicts: 34000 | #Constraints: 24102
104.86/105.21 c #Conflicts: 35000 | #Constraints: 25102
104.86/105.21 c #Conflicts: 36000 | #Constraints: 26102
104.86/105.21 c #Conflicts: 37000 | #Constraints: 27102
104.86/105.21 c #Conflicts: 38000 | #Constraints: 28102
104.86/105.21 c INPROCESSING
104.86/105.21 c GARBAGE COLLECT
104.86/105.21 c #Conflicts: 39000 | #Constraints: 23134
104.86/105.21 c #Conflicts: 40000 | #Constraints: 24134
104.86/105.21 c #Conflicts: 41000 | #Constraints: 25134
104.86/105.21 c #Conflicts: 42000 | #Constraints: 26134
104.86/105.21 c INPROCESSING
104.86/105.21 c GARBAGE COLLECT
104.86/105.21 c #Conflicts: 43000 | #Constraints: 21689
104.86/105.21 c #Conflicts: 44000 | #Constraints: 22689
104.86/105.21 c #Conflicts: 45000 | #Constraints: 23689
104.86/105.21 c #Conflicts: 46000 | #Constraints: 24689
104.86/105.21 c #Conflicts: 47000 | #Constraints: 25689
104.86/105.21 c #Conflicts: 48000 | #Constraints: 26689
104.86/105.21 c #Conflicts: 49000 | #Constraints: 27689
104.86/105.21 c #Conflicts: 50000 | #Constraints: 28689
104.86/105.21 c #Conflicts: 51000 | #Constraints: 29689
104.86/105.21 c #Conflicts: 52000 | #Constraints: 30689
104.86/105.21 c #Conflicts: 53000 | #Constraints: 31689
104.86/105.21 c #Conflicts: 54000 | #Constraints: 32689
104.86/105.21 c #Conflicts: 55000 | #Constraints: 33689
104.86/105.21 c #Conflicts: 56000 | #Constraints: 34689
104.86/105.21 c #Conflicts: 57000 | #Constraints: 35689
104.86/105.21 c #Conflicts: 58000 | #Constraints: 36689
104.86/105.21 c INPROCESSING
104.86/105.21 c GARBAGE COLLECT
104.86/105.21 c #Conflicts: 59000 | #Constraints: 27101
104.86/105.21 c #Conflicts: 60000 | #Constraints: 28101
104.86/105.21 c #Conflicts: 61000 | #Constraints: 29101
104.86/105.21 c #Conflicts: 62000 | #Constraints: 30101
104.86/105.21 c #Conflicts: 63000 | #Constraints: 31101
104.86/105.21 c #Conflicts: 64000 | #Constraints: 32101
104.86/105.21 c #Conflicts: 65000 | #Constraints: 33101
104.86/105.21 c INPROCESSING
104.86/105.21 c GARBAGE COLLECT
104.86/105.21 c #Conflicts: 66000 | #Constraints: 25765
104.86/105.21 c #Conflicts: 67000 | #Constraints: 26765
104.86/105.21 c #Conflicts: 68000 | #Constraints: 27765
104.86/105.21 c #Conflicts: 69000 | #Constraints: 28765
104.86/105.21 c #Conflicts: 70000 | #Constraints: 29765
104.86/105.21 c #Conflicts: 71000 | #Constraints: 30765
233.45/234.15 c INPROCESSING
233.45/234.15 c GARBAGE COLLECT
233.45/234.15 c #Conflicts: 72000 | #Constraints: 24389
233.45/234.15 c #Conflicts: 73000 | #Constraints: 25389
233.45/234.15 c #Conflicts: 74000 | #Constraints: 26389
233.45/234.15 c #Conflicts: 75000 | #Constraints: 27389
233.45/234.15 c #Conflicts: 76000 | #Constraints: 28389
233.45/234.15 c #Conflicts: 77000 | #Constraints: 29389
233.45/234.15 c #Conflicts: 78000 | #Constraints: 30389
233.45/234.15 c #Conflicts: 79000 | #Constraints: 31389
233.45/234.15 c #Conflicts: 80000 | #Constraints: 32389
233.45/234.15 c #Conflicts: 81000 | #Constraints: 33389
233.45/234.15 c #Conflicts: 82000 | #Constraints: 34389
233.45/234.15 c #Conflicts: 83000 | #Constraints: 35389
233.45/234.15 c #Conflicts: 84000 | #Constraints: 36389
233.45/234.15 c #Conflicts: 85000 | #Constraints: 37389
233.45/234.15 c #Conflicts: 86000 | #Constraints: 38389
233.45/234.15 c #Conflicts: 87000 | #Constraints: 39389
233.45/234.15 c #Conflicts: 88000 | #Constraints: 40389
233.45/234.15 c #Conflicts: 89000 | #Constraints: 41389
233.45/234.15 c #Conflicts: 90000 | #Constraints: 42389
233.45/234.15 c #Conflicts: 91000 | #Constraints: 43389
233.45/234.15 c INPROCESSING
233.45/234.15 c GARBAGE COLLECT
233.45/234.15 c #Conflicts: 92000 | #Constraints: 30635
233.45/234.15 c #Conflicts: 93000 | #Constraints: 31635
233.45/234.15 c #Conflicts: 94000 | #Constraints: 32635
233.45/234.15 c #Conflicts: 95000 | #Constraints: 33635
233.45/234.15 c #Conflicts: 96000 | #Constraints: 34635
233.45/234.15 c #Conflicts: 97000 | #Constraints: 35635
233.45/234.15 c #Conflicts: 98000 | #Constraints: 36635
233.45/234.15 c #Conflicts: 99000 | #Constraints: 37635
233.45/234.15 c INPROCESSING
233.45/234.15 c GARBAGE COLLECT
233.45/234.15 c #Conflicts: 100000 | #Constraints: 28002
233.45/234.15 c #Conflicts: 101000 | #Constraints: 29002
233.45/234.15 c #Conflicts: 102000 | #Constraints: 30002
233.45/234.15 c #Conflicts: 103000 | #Constraints: 31002
233.45/234.15 c #Conflicts: 104000 | #Constraints: 32002
233.45/234.15 c #Conflicts: 105000 | #Constraints: 33002
233.45/234.15 c #Conflicts: 106000 | #Constraints: 34002
233.45/234.15 c #Conflicts: 107000 | #Constraints: 35002
233.45/234.15 c INPROCESSING
233.45/234.15 c GARBAGE COLLECT
233.45/234.15 c #Conflicts: 108000 | #Constraints: 26688
233.45/234.15 c #Conflicts: 109000 | #Constraints: 27688
233.45/234.15 c #Conflicts: 110000 | #Constraints: 28688
233.45/234.15 c #Conflicts: 111000 | #Constraints: 29688
233.45/234.15 c #Conflicts: 112000 | #Constraints: 30688
233.45/234.15 c #Conflicts: 113000 | #Constraints: 31688
233.45/234.15 c #Conflicts: 114000 | #Constraints: 32688
233.45/234.15 c #Conflicts: 115000 | #Constraints: 33688
233.45/234.15 c #Conflicts: 116000 | #Constraints: 34688
233.45/234.15 c #Conflicts: 117000 | #Constraints: 35688
233.45/234.15 c #Conflicts: 118000 | #Constraints: 36688
233.45/234.15 c #Conflicts: 119000 | #Constraints: 37688
233.45/234.15 c #Conflicts: 120000 | #Constraints: 38688
233.45/234.15 c #Conflicts: 121000 | #Constraints: 39688
233.45/234.15 c #Conflicts: 122000 | #Constraints: 40688
233.45/234.15 c #Conflicts: 123000 | #Constraints: 41688
233.45/234.15 c #Conflicts: 124000 | #Constraints: 42688
233.45/234.15 c #Conflicts: 125000 | #Constraints: 43688
233.45/234.15 c #Conflicts: 126000 | #Constraints: 44688
233.45/234.15 c #Conflicts: 127000 | #Constraints: 45688
233.45/234.15 c #Conflicts: 128000 | #Constraints: 46688
233.45/234.15 c #Conflicts: 129000 | #Constraints: 47688
233.45/234.15 c #Conflicts: 130000 | #Constraints: 48688
233.45/234.15 c #Conflicts: 131000 | #Constraints: 49688
233.45/234.15 c INPROCESSING
233.45/234.15 c GARBAGE COLLECT
233.45/234.15 c #Conflicts: 132000 | #Constraints: 33948
233.45/234.15 c #Conflicts: 133000 | #Constraints: 34948
233.45/234.15 c #Conflicts: 134000 | #Constraints: 35948
233.45/234.15 c #Conflicts: 135000 | #Constraints: 36948
233.45/234.15 c #Conflicts: 136000 | #Constraints: 37948
233.45/234.15 c #Conflicts: 137000 | #Constraints: 38948
233.45/234.15 c #Conflicts: 138000 | #Constraints: 39948
233.45/234.15 c #Conflicts: 139000 | #Constraints: 40948
233.45/234.15 c #Conflicts: 140000 | #Constraints: 41948
233.45/234.15 c INPROCESSING
233.45/234.15 c GARBAGE COLLECT
233.45/234.15 c #Conflicts: 141000 | #Constraints: 30041
233.45/234.15 c #Conflicts: 142000 | #Constraints: 31041
233.45/234.15 c #Conflicts: 143000 | #Constraints: 32041
233.45/234.15 c #Conflicts: 144000 | #Constraints: 33041
233.45/234.15 c #Conflicts: 145000 | #Constraints: 34041
233.45/234.15 c #Conflicts: 146000 | #Constraints: 35041
363.26/364.24 c #Conflicts: 147000 | #Constraints: 36041
363.26/364.24 c #Conflicts: 148000 | #Constraints: 37041
363.26/364.24 c #Conflicts: 149000 | #Constraints: 38041
363.26/364.24 c #Conflicts: 150000 | #Constraints: 39041
363.26/364.24 c INPROCESSING
363.26/364.24 c GARBAGE COLLECT
363.26/364.24 c #Conflicts: 151000 | #Constraints: 29356
363.26/364.24 c #Conflicts: 152000 | #Constraints: 30356
363.26/364.24 c #Conflicts: 153000 | #Constraints: 31356
363.26/364.24 c #Conflicts: 154000 | #Constraints: 32356
363.26/364.24 c #Conflicts: 155000 | #Constraints: 33356
363.26/364.24 c #Conflicts: 156000 | #Constraints: 34356
363.26/364.24 c #Conflicts: 157000 | #Constraints: 35356
363.26/364.24 c #Conflicts: 158000 | #Constraints: 36356
363.26/364.24 c #Conflicts: 159000 | #Constraints: 37356
363.26/364.24 c #Conflicts: 160000 | #Constraints: 38356
363.26/364.24 c #Conflicts: 161000 | #Constraints: 39356
363.26/364.24 c #Conflicts: 162000 | #Constraints: 40356
363.26/364.24 c #Conflicts: 163000 | #Constraints: 41356
363.26/364.24 c #Conflicts: 164000 | #Constraints: 42356
363.26/364.24 c #Conflicts: 165000 | #Constraints: 43356
363.26/364.24 c #Conflicts: 166000 | #Constraints: 44356
363.26/364.24 c #Conflicts: 167000 | #Constraints: 45356
363.26/364.24 c #Conflicts: 168000 | #Constraints: 46356
363.26/364.24 c #Conflicts: 169000 | #Constraints: 47356
363.26/364.24 c #Conflicts: 170000 | #Constraints: 48356
363.26/364.24 c #Conflicts: 171000 | #Constraints: 49356
363.26/364.24 c #Conflicts: 172000 | #Constraints: 50356
363.26/364.24 c #Conflicts: 173000 | #Constraints: 51356
363.26/364.24 c #Conflicts: 174000 | #Constraints: 52356
363.26/364.24 c #Conflicts: 175000 | #Constraints: 53356
363.26/364.24 c #Conflicts: 176000 | #Constraints: 54356
363.26/364.24 c #Conflicts: 177000 | #Constraints: 55356
363.26/364.24 c #Conflicts: 178000 | #Constraints: 56356
363.26/364.24 c INPROCESSING
363.26/364.24 c GARBAGE COLLECT
363.26/364.24 c #Conflicts: 179000 | #Constraints: 37338
363.26/364.24 c #Conflicts: 180000 | #Constraints: 38338
363.26/364.24 c #Conflicts: 181000 | #Constraints: 39338
363.26/364.24 c #Conflicts: 182000 | #Constraints: 40338
363.26/364.24 c #Conflicts: 183000 | #Constraints: 41338
363.26/364.24 c #Conflicts: 184000 | #Constraints: 42338
363.26/364.24 c #Conflicts: 185000 | #Constraints: 43338
363.26/364.24 c #Conflicts: 186000 | #Constraints: 44338
363.26/364.24 c #Conflicts: 187000 | #Constraints: 45338
363.26/364.24 c #Conflicts: 188000 | #Constraints: 46338
363.26/364.24 c #Conflicts: 189000 | #Constraints: 47338
363.26/364.24 c INPROCESSING
363.26/364.24 c GARBAGE COLLECT
363.26/364.24 c #Conflicts: 190000 | #Constraints: 32894
363.26/364.24 c #Conflicts: 191000 | #Constraints: 33894
363.26/364.24 c #Conflicts: 192000 | #Constraints: 34894
363.26/364.24 c #Conflicts: 193000 | #Constraints: 35894
363.26/364.24 c #Conflicts: 194000 | #Constraints: 36894
363.26/364.24 c #Conflicts: 195000 | #Constraints: 37894
363.26/364.24 c #Conflicts: 196000 | #Constraints: 38894
363.26/364.24 c #Conflicts: 197000 | #Constraints: 39894
363.26/364.24 c #Conflicts: 198000 | #Constraints: 40894
363.26/364.24 c #Conflicts: 199000 | #Constraints: 41894
363.26/364.24 c #Conflicts: 200000 | #Constraints: 42894
363.26/364.24 c INPROCESSING
363.26/364.24 c GARBAGE COLLECT
363.26/364.24 c #Conflicts: 201000 | #Constraints: 32026
363.26/364.24 c #Conflicts: 202000 | #Constraints: 33026
363.26/364.24 c #Conflicts: 203000 | #Constraints: 34026
363.26/364.24 c #Conflicts: 204000 | #Constraints: 35026
363.26/364.24 c #Conflicts: 205000 | #Constraints: 36026
363.26/364.24 c #Conflicts: 206000 | #Constraints: 37026
363.26/364.24 c #Conflicts: 207000 | #Constraints: 38026
363.26/364.24 c #Conflicts: 208000 | #Constraints: 39026
363.26/364.24 c #Conflicts: 209000 | #Constraints: 40026
363.26/364.24 c #Conflicts: 210000 | #Constraints: 41026
363.26/364.24 c #Conflicts: 211000 | #Constraints: 42026
363.26/364.24 c #Conflicts: 212000 | #Constraints: 43026
363.26/364.24 c #Conflicts: 213000 | #Constraints: 44026
363.26/364.24 c #Conflicts: 214000 | #Constraints: 45026
363.26/364.24 c #Conflicts: 215000 | #Constraints: 46026
363.26/364.24 c #Conflicts: 216000 | #Constraints: 47026
363.26/364.24 c #Conflicts: 217000 | #Constraints: 48026
363.26/364.24 c #Conflicts: 218000 | #Constraints: 49026
363.26/364.24 c #Conflicts: 219000 | #Constraints: 50026
363.26/364.24 c #Conflicts: 220000 | #Constraints: 51026
363.26/364.24 c #Conflicts: 221000 | #Constraints: 52026
363.26/364.24 c #Conflicts: 222000 | #Constraints: 53026
603.12/604.64 c #Conflicts: 223000 | #Constraints: 54026
603.12/604.64 c #Conflicts: 224000 | #Constraints: 55026
603.12/604.64 c #Conflicts: 225000 | #Constraints: 56026
603.12/604.64 c #Conflicts: 226000 | #Constraints: 57026
603.12/604.64 c #Conflicts: 227000 | #Constraints: 58026
603.12/604.64 c #Conflicts: 228000 | #Constraints: 59026
603.12/604.64 c #Conflicts: 229000 | #Constraints: 60026
603.12/604.64 c #Conflicts: 230000 | #Constraints: 61026
603.12/604.64 c #Conflicts: 231000 | #Constraints: 62026
603.12/604.64 c #Conflicts: 232000 | #Constraints: 63026
603.12/604.64 c INPROCESSING
603.12/604.64 c GARBAGE COLLECT
603.12/604.64 c #Conflicts: 233000 | #Constraints: 40541
603.12/604.64 c #Conflicts: 234000 | #Constraints: 41541
603.12/604.64 c #Conflicts: 235000 | #Constraints: 42541
603.12/604.64 c #Conflicts: 236000 | #Constraints: 43541
603.12/604.64 c #Conflicts: 237000 | #Constraints: 44541
603.12/604.64 c #Conflicts: 238000 | #Constraints: 45541
603.12/604.64 c #Conflicts: 239000 | #Constraints: 46541
603.12/604.64 c #Conflicts: 240000 | #Constraints: 47541
603.12/604.64 c #Conflicts: 241000 | #Constraints: 48541
603.12/604.64 c #Conflicts: 242000 | #Constraints: 49541
603.12/604.64 c #Conflicts: 243000 | #Constraints: 50541
603.12/604.64 c #Conflicts: 244000 | #Constraints: 51541
603.12/604.64 c #Conflicts: 245000 | #Constraints: 52541
603.12/604.64 c INPROCESSING
603.12/604.64 c GARBAGE COLLECT
603.12/604.64 c #Conflicts: 246000 | #Constraints: 35695
603.12/604.64 c #Conflicts: 247000 | #Constraints: 36695
603.12/604.64 c #Conflicts: 248000 | #Constraints: 37695
603.12/604.64 c #Conflicts: 249000 | #Constraints: 38695
603.12/604.64 c #Conflicts: 250000 | #Constraints: 39695
603.12/604.64 c #Conflicts: 251000 | #Constraints: 40695
603.12/604.64 c #Conflicts: 252000 | #Constraints: 41695
603.12/604.64 c #Conflicts: 253000 | #Constraints: 42695
603.12/604.64 c #Conflicts: 254000 | #Constraints: 43695
603.12/604.64 c #Conflicts: 255000 | #Constraints: 44695
603.12/604.64 c #Conflicts: 256000 | #Constraints: 45695
603.12/604.64 c #Conflicts: 257000 | #Constraints: 46695
603.12/604.64 c INPROCESSING
603.12/604.64 c GARBAGE COLLECT
603.12/604.64 c #Conflicts: 258000 | #Constraints: 33669
603.12/604.64 c #Conflicts: 259000 | #Constraints: 34669
603.12/604.64 c #Conflicts: 260000 | #Constraints: 35669
603.12/604.64 c #Conflicts: 261000 | #Constraints: 36669
603.12/604.64 c #Conflicts: 262000 | #Constraints: 37669
603.12/604.64 c #Conflicts: 263000 | #Constraints: 38669
603.12/604.64 c #Conflicts: 264000 | #Constraints: 39669
603.12/604.64 c #Conflicts: 265000 | #Constraints: 40669
603.12/604.64 c #Conflicts: 266000 | #Constraints: 41669
603.12/604.64 c #Conflicts: 267000 | #Constraints: 42669
603.12/604.64 c #Conflicts: 268000 | #Constraints: 43669
603.12/604.64 c #Conflicts: 269000 | #Constraints: 44669
603.12/604.64 c #Conflicts: 270000 | #Constraints: 45669
603.12/604.64 c #Conflicts: 271000 | #Constraints: 46669
603.12/604.64 c #Conflicts: 272000 | #Constraints: 47669
603.12/604.64 c #Conflicts: 273000 | #Constraints: 48669
603.12/604.64 c #Conflicts: 274000 | #Constraints: 49669
603.12/604.64 c #Conflicts: 275000 | #Constraints: 50669
603.12/604.64 c #Conflicts: 276000 | #Constraints: 51669
603.12/604.64 c #Conflicts: 277000 | #Constraints: 52669
603.12/604.64 c #Conflicts: 278000 | #Constraints: 53669
603.12/604.64 c #Conflicts: 279000 | #Constraints: 54669
603.12/604.64 c #Conflicts: 280000 | #Constraints: 55669
603.12/604.64 c #Conflicts: 281000 | #Constraints: 56669
603.12/604.64 c #Conflicts: 282000 | #Constraints: 57669
603.12/604.64 c #Conflicts: 283000 | #Constraints: 58669
603.12/604.64 c #Conflicts: 284000 | #Constraints: 59669
603.12/604.64 c #Conflicts: 285000 | #Constraints: 60669
603.12/604.64 c #Conflicts: 286000 | #Constraints: 61669
603.12/604.64 c #Conflicts: 287000 | #Constraints: 62669
603.12/604.64 c #Conflicts: 288000 | #Constraints: 63669
603.12/604.64 c #Conflicts: 289000 | #Constraints: 64669
603.12/604.64 c #Conflicts: 290000 | #Constraints: 65669
603.12/604.64 c #Conflicts: 291000 | #Constraints: 66669
603.12/604.64 c #Conflicts: 292000 | #Constraints: 67669
603.12/604.64 c #Conflicts: 293000 | #Constraints: 68669
603.12/604.64 c #Conflicts: 294000 | #Constraints: 69669
603.12/604.64 c INPROCESSING
603.12/604.64 c GARBAGE COLLECT
603.12/604.64 c #Conflicts: 295000 | #Constraints: 44277
603.12/604.64 c #Conflicts: 296000 | #Constraints: 45277
603.12/604.64 c #Conflicts: 297000 | #Constraints: 46277
603.12/604.64 c #Conflicts: 298000 | #Constraints: 47277
750.37/752.29 c #Conflicts: 299000 | #Constraints: 48277
750.37/752.29 c #Conflicts: 300000 | #Constraints: 49277
750.37/752.29 c #Conflicts: 301000 | #Constraints: 50277
750.37/752.29 c #Conflicts: 302000 | #Constraints: 51277
750.37/752.29 c #Conflicts: 303000 | #Constraints: 52277
750.37/752.29 c #Conflicts: 304000 | #Constraints: 53277
750.37/752.29 c #Conflicts: 305000 | #Constraints: 54277
750.37/752.29 c #Conflicts: 306000 | #Constraints: 55277
750.37/752.29 c #Conflicts: 307000 | #Constraints: 56277
750.37/752.29 c #Conflicts: 308000 | #Constraints: 57277
750.37/752.29 c INPROCESSING
750.37/752.29 c GARBAGE COLLECT
750.37/752.29 c #Conflicts: 309000 | #Constraints: 38151
750.37/752.29 c #Conflicts: 310000 | #Constraints: 39151
750.37/752.29 c #Conflicts: 311000 | #Constraints: 40151
750.37/752.29 c #Conflicts: 312000 | #Constraints: 41151
750.37/752.29 c #Conflicts: 313000 | #Constraints: 42151
750.37/752.29 c #Conflicts: 314000 | #Constraints: 43151
750.37/752.29 c #Conflicts: 315000 | #Constraints: 44151
750.37/752.29 c #Conflicts: 316000 | #Constraints: 45151
750.37/752.29 c #Conflicts: 317000 | #Constraints: 46151
750.37/752.29 c #Conflicts: 318000 | #Constraints: 47151
750.37/752.29 c #Conflicts: 319000 | #Constraints: 48151
750.37/752.29 c #Conflicts: 320000 | #Constraints: 49151
750.37/752.29 c #Conflicts: 321000 | #Constraints: 50151
750.37/752.29 c INPROCESSING
750.37/752.29 c GARBAGE COLLECT
750.37/752.29 c #Conflicts: 322000 | #Constraints: 35976
750.37/752.29 c #Conflicts: 323000 | #Constraints: 36976
750.37/752.29 c #Conflicts: 324000 | #Constraints: 37976
750.37/752.29 c #Conflicts: 325000 | #Constraints: 38976
750.37/752.29 c #Conflicts: 326000 | #Constraints: 39976
750.37/752.29 c #Conflicts: 327000 | #Constraints: 40976
750.37/752.29 c #Conflicts: 328000 | #Constraints: 41976
750.37/752.29 c #Conflicts: 329000 | #Constraints: 42976
750.37/752.29 c #Conflicts: 330000 | #Constraints: 43976
750.37/752.29 c #Conflicts: 331000 | #Constraints: 44976
750.37/752.29 c #Conflicts: 332000 | #Constraints: 45976
750.37/752.29 c #Conflicts: 333000 | #Constraints: 46976
750.37/752.29 c #Conflicts: 334000 | #Constraints: 47976
750.37/752.29 c #Conflicts: 335000 | #Constraints: 48976
750.37/752.29 c #Conflicts: 336000 | #Constraints: 49976
750.37/752.29 c #Conflicts: 337000 | #Constraints: 50976
750.37/752.29 c #Conflicts: 338000 | #Constraints: 51976
750.37/752.29 c #Conflicts: 339000 | #Constraints: 52976
750.37/752.29 c #Conflicts: 340000 | #Constraints: 53976
750.37/752.29 c #Conflicts: 341000 | #Constraints: 54976
750.37/752.29 c #Conflicts: 342000 | #Constraints: 55976
750.37/752.29 c #Conflicts: 343000 | #Constraints: 56976
750.37/752.29 c #Conflicts: 344000 | #Constraints: 57976
750.37/752.29 c #Conflicts: 345000 | #Constraints: 58976
750.37/752.29 c #Conflicts: 346000 | #Constraints: 59976
750.37/752.29 c #Conflicts: 347000 | #Constraints: 60976
750.37/752.29 c #Conflicts: 348000 | #Constraints: 61976
750.37/752.29 c #Conflicts: 349000 | #Constraints: 62976
750.37/752.29 c #Conflicts: 350000 | #Constraints: 63976
750.37/752.29 c #Conflicts: 351000 | #Constraints: 64976
750.37/752.29 c #Conflicts: 352000 | #Constraints: 65976
750.37/752.29 c #Conflicts: 353000 | #Constraints: 66976
750.37/752.29 c #Conflicts: 354000 | #Constraints: 67976
750.37/752.29 c #Conflicts: 355000 | #Constraints: 68976
750.37/752.29 c #Conflicts: 356000 | #Constraints: 69976
750.37/752.29 c #Conflicts: 357000 | #Constraints: 70976
750.37/752.29 c #Conflicts: 358000 | #Constraints: 71976
750.37/752.29 c #Conflicts: 359000 | #Constraints: 72976
750.37/752.29 c #Conflicts: 360000 | #Constraints: 73976
750.37/752.29 c #Conflicts: 361000 | #Constraints: 74976
750.37/752.29 c #Conflicts: 362000 | #Constraints: 75976
750.37/752.29 c #Conflicts: 363000 | #Constraints: 76976
750.37/752.29 c INPROCESSING
750.37/752.29 c GARBAGE COLLECT
750.37/752.29 c #Conflicts: 364000 | #Constraints: 48060
750.37/752.29 c #Conflicts: 365000 | #Constraints: 49060
750.37/752.29 c #Conflicts: 366000 | #Constraints: 50060
750.37/752.29 c #Conflicts: 367000 | #Constraints: 51060
750.37/752.29 c #Conflicts: 368000 | #Constraints: 52060
750.37/752.29 c #Conflicts: 369000 | #Constraints: 53060
750.37/752.29 c #Conflicts: 370000 | #Constraints: 54060
750.37/752.29 c #Conflicts: 371000 | #Constraints: 55060
750.37/752.29 c #Conflicts: 372000 | #Constraints: 56060
750.37/752.29 c #Conflicts: 373000 | #Constraints: 57060
750.37/752.29 c #Conflicts: 374000 | #Constraints: 58060
750.37/752.29 c #Conflicts: 375000 | #Constraints: 59060
926.46/928.72 c #Conflicts: 376000 | #Constraints: 60060
926.46/928.72 c #Conflicts: 377000 | #Constraints: 61060
926.46/928.72 c #Conflicts: 378000 | #Constraints: 62060
926.46/928.72 c INPROCESSING
926.46/928.72 c GARBAGE COLLECT
926.46/928.72 c #Conflicts: 379000 | #Constraints: 40457
926.46/928.72 c #Conflicts: 380000 | #Constraints: 41457
926.46/928.72 c #Conflicts: 381000 | #Constraints: 42457
926.46/928.72 c #Conflicts: 382000 | #Constraints: 43457
926.46/928.72 c #Conflicts: 383000 | #Constraints: 44457
926.46/928.72 c #Conflicts: 384000 | #Constraints: 45457
926.46/928.72 c #Conflicts: 385000 | #Constraints: 46457
926.46/928.72 c #Conflicts: 386000 | #Constraints: 47457
926.46/928.72 c #Conflicts: 387000 | #Constraints: 48457
926.46/928.72 c #Conflicts: 388000 | #Constraints: 49457
926.46/928.72 c #Conflicts: 389000 | #Constraints: 50457
926.46/928.72 c #Conflicts: 390000 | #Constraints: 51457
926.46/928.72 c #Conflicts: 391000 | #Constraints: 52457
926.46/928.72 c #Conflicts: 392000 | #Constraints: 53457
926.46/928.72 c #Conflicts: 393000 | #Constraints: 54457
926.46/928.72 c INPROCESSING
926.46/928.72 c GARBAGE COLLECT
926.46/928.72 c #Conflicts: 394000 | #Constraints: 38716
926.46/928.72 c #Conflicts: 395000 | #Constraints: 39716
926.46/928.72 c #Conflicts: 396000 | #Constraints: 40716
926.46/928.72 c #Conflicts: 397000 | #Constraints: 41716
926.46/928.72 c #Conflicts: 398000 | #Constraints: 42716
926.46/928.72 c #Conflicts: 399000 | #Constraints: 43716
926.46/928.72 c #Conflicts: 400000 | #Constraints: 44716
926.46/928.72 c #Conflicts: 401000 | #Constraints: 45716
926.46/928.72 c #Conflicts: 402000 | #Constraints: 46716
926.46/928.72 c #Conflicts: 403000 | #Constraints: 47716
926.46/928.72 c #Conflicts: 404000 | #Constraints: 48716
926.46/928.72 c #Conflicts: 405000 | #Constraints: 49716
926.46/928.72 c #Conflicts: 406000 | #Constraints: 50716
926.46/928.72 c #Conflicts: 407000 | #Constraints: 51716
926.46/928.72 c #Conflicts: 408000 | #Constraints: 52716
926.46/928.72 c #Conflicts: 409000 | #Constraints: 53716
926.46/928.72 c #Conflicts: 410000 | #Constraints: 54716
926.46/928.72 c #Conflicts: 411000 | #Constraints: 55716
926.46/928.72 c #Conflicts: 412000 | #Constraints: 56716
926.46/928.72 c #Conflicts: 413000 | #Constraints: 57716
926.46/928.72 c #Conflicts: 414000 | #Constraints: 58716
926.46/928.72 c #Conflicts: 415000 | #Constraints: 59716
926.46/928.72 c #Conflicts: 416000 | #Constraints: 60716
926.46/928.72 c #Conflicts: 417000 | #Constraints: 61716
926.46/928.72 c #Conflicts: 418000 | #Constraints: 62716
926.46/928.72 c #Conflicts: 419000 | #Constraints: 63716
926.46/928.72 c #Conflicts: 420000 | #Constraints: 64716
926.46/928.72 c #Conflicts: 421000 | #Constraints: 65717
926.46/928.72 c #Conflicts: 422000 | #Constraints: 66717
926.46/928.72 c #Conflicts: 423000 | #Constraints: 67717
926.46/928.72 c #Conflicts: 424000 | #Constraints: 68717
926.46/928.72 c #Conflicts: 425000 | #Constraints: 69717
926.46/928.72 c #Conflicts: 426000 | #Constraints: 70717
926.46/928.72 c #Conflicts: 427000 | #Constraints: 71717
926.46/928.72 c #Conflicts: 428000 | #Constraints: 72717
926.46/928.72 c #Conflicts: 429000 | #Constraints: 73717
926.46/928.72 c #Conflicts: 430000 | #Constraints: 74717
926.46/928.72 c #Conflicts: 431000 | #Constraints: 75717
926.46/928.72 c #Conflicts: 432000 | #Constraints: 76717
926.46/928.72 c #Conflicts: 433000 | #Constraints: 77717
926.46/928.72 c #Conflicts: 434000 | #Constraints: 78717
926.46/928.72 c #Conflicts: 435000 | #Constraints: 79717
926.46/928.72 c #Conflicts: 436000 | #Constraints: 80717
926.46/928.72 c #Conflicts: 437000 | #Constraints: 81717
926.46/928.72 c #Conflicts: 438000 | #Constraints: 82717
926.46/928.72 c INPROCESSING
926.46/928.72 c GARBAGE COLLECT
926.46/928.72 c #Conflicts: 439000 | #Constraints: 50565
926.46/928.72 c #Conflicts: 440000 | #Constraints: 51565
926.46/928.72 c #Conflicts: 441000 | #Constraints: 52565
926.46/928.72 c #Conflicts: 442000 | #Constraints: 53565
926.46/928.72 c #Conflicts: 443000 | #Constraints: 54565
926.46/928.72 c #Conflicts: 444000 | #Constraints: 55565
926.46/928.72 c #Conflicts: 445000 | #Constraints: 56565
926.46/928.72 c #Conflicts: 446000 | #Constraints: 57565
926.46/928.72 c #Conflicts: 447000 | #Constraints: 58565
926.46/928.72 c #Conflicts: 448000 | #Constraints: 59565
926.46/928.72 c #Conflicts: 449000 | #Constraints: 60565
926.46/928.72 c #Conflicts: 450000 | #Constraints: 61565
926.46/928.72 c #Conflicts: 451000 | #Constraints: 62565
926.46/928.72 c #Conflicts: 452000 | #Constraints: 63565
1131.37/1134.15 c #Conflicts: 453000 | #Constraints: 64565
1131.37/1134.15 c #Conflicts: 454000 | #Constraints: 65565
1131.37/1134.15 c #Conflicts: 455000 | #Constraints: 66565
1131.37/1134.15 c INPROCESSING
1131.37/1134.15 c GARBAGE COLLECT
1131.37/1134.15 c #Conflicts: 456000 | #Constraints: 42600
1131.37/1134.15 c #Conflicts: 457000 | #Constraints: 43600
1131.37/1134.15 c #Conflicts: 458000 | #Constraints: 44600
1131.37/1134.15 c #Conflicts: 459000 | #Constraints: 45600
1131.37/1134.15 c #Conflicts: 460000 | #Constraints: 46600
1131.37/1134.15 c #Conflicts: 461000 | #Constraints: 47600
1131.37/1134.15 c #Conflicts: 462000 | #Constraints: 48600
1131.37/1134.15 c #Conflicts: 463000 | #Constraints: 49600
1131.37/1134.15 c #Conflicts: 464000 | #Constraints: 50600
1131.37/1134.15 c #Conflicts: 465000 | #Constraints: 51600
1131.37/1134.15 c #Conflicts: 466000 | #Constraints: 52600
1131.37/1134.15 c #Conflicts: 467000 | #Constraints: 53600
1131.37/1134.15 c #Conflicts: 468000 | #Constraints: 54600
1131.37/1134.15 c #Conflicts: 469000 | #Constraints: 55600
1131.37/1134.15 c #Conflicts: 470000 | #Constraints: 56600
1131.37/1134.15 c #Conflicts: 471000 | #Constraints: 57600
1131.37/1134.15 c #Conflicts: 472000 | #Constraints: 58600
1131.37/1134.15 c INPROCESSING
1131.37/1134.15 c GARBAGE COLLECT
1131.37/1134.15 c #Conflicts: 473000 | #Constraints: 40962
1131.37/1134.15 c #Conflicts: 474000 | #Constraints: 41962
1131.37/1134.15 c #Conflicts: 475000 | #Constraints: 42962
1131.37/1134.15 c #Conflicts: 476000 | #Constraints: 43962
1131.37/1134.15 c #Conflicts: 477000 | #Constraints: 44962
1131.37/1134.15 c #Conflicts: 478000 | #Constraints: 45962
1131.37/1134.15 c #Conflicts: 479000 | #Constraints: 46962
1131.37/1134.15 c #Conflicts: 480000 | #Constraints: 47962
1131.37/1134.15 c #Conflicts: 481000 | #Constraints: 48962
1131.37/1134.15 c #Conflicts: 482000 | #Constraints: 49962
1131.37/1134.15 c #Conflicts: 483000 | #Constraints: 50962
1131.37/1134.15 c #Conflicts: 484000 | #Constraints: 51962
1131.37/1134.15 c #Conflicts: 485000 | #Constraints: 52962
1131.37/1134.15 c #Conflicts: 486000 | #Constraints: 53962
1131.37/1134.15 c #Conflicts: 487000 | #Constraints: 54962
1131.37/1134.15 c #Conflicts: 488000 | #Constraints: 55962
1131.37/1134.15 c #Conflicts: 489000 | #Constraints: 56962
1131.37/1134.15 c #Conflicts: 490000 | #Constraints: 57962
1131.37/1134.15 c #Conflicts: 491000 | #Constraints: 58962
1131.37/1134.15 c #Conflicts: 492000 | #Constraints: 59962
1131.37/1134.15 c #Conflicts: 493000 | #Constraints: 60962
1131.37/1134.15 c #Conflicts: 494000 | #Constraints: 61962
1131.37/1134.15 c #Conflicts: 495000 | #Constraints: 62962
1131.37/1134.15 c #Conflicts: 496000 | #Constraints: 63962
1131.37/1134.15 c #Conflicts: 497000 | #Constraints: 64962
1131.37/1134.15 c #Conflicts: 498000 | #Constraints: 65962
1131.37/1134.15 c #Conflicts: 499000 | #Constraints: 66962
1131.37/1134.15 c #Conflicts: 500000 | #Constraints: 67962
1131.37/1134.15 c #Conflicts: 501000 | #Constraints: 68962
1131.37/1134.15 c #Conflicts: 502000 | #Constraints: 69962
1131.37/1134.15 c #Conflicts: 503000 | #Constraints: 70962
1131.37/1134.15 c #Conflicts: 504000 | #Constraints: 71962
1131.37/1134.15 c #Conflicts: 505000 | #Constraints: 72962
1131.37/1134.15 c #Conflicts: 506000 | #Constraints: 73962
1131.37/1134.15 c #Conflicts: 507000 | #Constraints: 74962
1131.37/1134.15 c #Conflicts: 508000 | #Constraints: 75962
1131.37/1134.15 c #Conflicts: 509000 | #Constraints: 76962
1131.37/1134.15 c #Conflicts: 510000 | #Constraints: 77962
1131.37/1134.15 c #Conflicts: 511000 | #Constraints: 78962
1131.37/1134.15 c #Conflicts: 512000 | #Constraints: 79962
1131.37/1134.15 c #Conflicts: 513000 | #Constraints: 80962
1131.37/1134.15 c #Conflicts: 514000 | #Constraints: 81962
1131.37/1134.15 c #Conflicts: 515000 | #Constraints: 82962
1131.37/1134.15 c #Conflicts: 516000 | #Constraints: 83962
1131.37/1134.15 c #Conflicts: 517000 | #Constraints: 84962
1131.37/1134.15 c #Conflicts: 518000 | #Constraints: 85962
1131.37/1134.15 c #Conflicts: 519000 | #Constraints: 86962
1131.37/1134.15 c #Conflicts: 520000 | #Constraints: 87962
1131.37/1134.15 c #Conflicts: 521000 | #Constraints: 88962
1131.37/1134.15 c #Conflicts: 522000 | #Constraints: 89962
1131.37/1134.15 c INPROCESSING
1131.37/1134.15 c GARBAGE COLLECT
1131.37/1134.15 c #Conflicts: 523000 | #Constraints: 54673
1131.37/1134.15 c #Conflicts: 524000 | #Constraints: 55673
1131.37/1134.15 c #Conflicts: 525000 | #Constraints: 56673
1131.37/1134.15 c #Conflicts: 526000 | #Constraints: 57673
1131.37/1134.15 c #Conflicts: 527000 | #Constraints: 58673
1131.37/1134.15 c #Conflicts: 528000 | #Constraints: 59673
1131.37/1134.15 c #Conflicts: 529000 | #Constraints: 60673
1283.31/1286.47 c #Conflicts: 530000 | #Constraints: 61673
1283.31/1286.47 c #Conflicts: 531000 | #Constraints: 62673
1283.31/1286.47 c #Conflicts: 532000 | #Constraints: 63673
1283.31/1286.47 c #Conflicts: 533000 | #Constraints: 64673
1283.31/1286.47 c #Conflicts: 534000 | #Constraints: 65673
1283.31/1286.47 c #Conflicts: 535000 | #Constraints: 66673
1283.31/1286.47 c #Conflicts: 536000 | #Constraints: 67673
1283.31/1286.47 c #Conflicts: 537000 | #Constraints: 68673
1283.31/1286.47 c #Conflicts: 538000 | #Constraints: 69673
1283.31/1286.47 c #Conflicts: 539000 | #Constraints: 70673
1283.31/1286.47 c #Conflicts: 540000 | #Constraints: 71673
1283.31/1286.47 c INPROCESSING
1283.31/1286.47 c GARBAGE COLLECT
1283.31/1286.47 c #Conflicts: 541000 | #Constraints: 45469
1283.31/1286.47 c #Conflicts: 542000 | #Constraints: 46469
1283.31/1286.47 c #Conflicts: 543000 | #Constraints: 47469
1283.31/1286.47 c #Conflicts: 544000 | #Constraints: 48469
1283.31/1286.47 c #Conflicts: 545000 | #Constraints: 49469
1283.31/1286.47 c #Conflicts: 546000 | #Constraints: 50469
1283.31/1286.47 c #Conflicts: 547000 | #Constraints: 51469
1283.31/1286.47 c #Conflicts: 548000 | #Constraints: 52469
1283.31/1286.47 c #Conflicts: 549000 | #Constraints: 53469
1283.31/1286.47 c #Conflicts: 550000 | #Constraints: 54469
1283.31/1286.47 c #Conflicts: 551000 | #Constraints: 55469
1283.31/1286.47 c #Conflicts: 552000 | #Constraints: 56469
1283.31/1286.47 c #Conflicts: 553000 | #Constraints: 57469
1283.31/1286.47 c #Conflicts: 554000 | #Constraints: 58469
1283.31/1286.47 c #Conflicts: 555000 | #Constraints: 59469
1283.31/1286.47 c #Conflicts: 556000 | #Constraints: 60469
1283.31/1286.47 c #Conflicts: 557000 | #Constraints: 61469
1283.31/1286.47 c #Conflicts: 558000 | #Constraints: 62469
1283.31/1286.47 c INPROCESSING
1283.31/1286.47 c GARBAGE COLLECT
1283.31/1286.47 c #Conflicts: 559000 | #Constraints: 42914
1283.31/1286.47 c #Conflicts: 560000 | #Constraints: 43914
1283.31/1286.47 c #Conflicts: 561000 | #Constraints: 44914
1283.31/1286.47 c #Conflicts: 562000 | #Constraints: 45914
1283.31/1286.47 c #Conflicts: 563000 | #Constraints: 46914
1283.31/1286.47 c #Conflicts: 564000 | #Constraints: 47914
1283.31/1286.47 c #Conflicts: 565000 | #Constraints: 48914
1283.31/1286.47 c #Conflicts: 566000 | #Constraints: 49914
1283.31/1286.47 c #Conflicts: 567000 | #Constraints: 50914
1283.31/1286.47 c #Conflicts: 568000 | #Constraints: 51914
1283.31/1286.47 c #Conflicts: 569000 | #Constraints: 52914
1283.31/1286.47 c #Conflicts: 570000 | #Constraints: 53914
1283.31/1286.47 c #Conflicts: 571000 | #Constraints: 54914
1283.31/1286.47 c #Conflicts: 572000 | #Constraints: 55914
1283.31/1286.47 c #Conflicts: 573000 | #Constraints: 56914
1283.31/1286.47 c #Conflicts: 574000 | #Constraints: 57914
1283.31/1286.47 c #Conflicts: 575000 | #Constraints: 58914
1283.31/1286.47 c #Conflicts: 576000 | #Constraints: 59914
1283.31/1286.47 c #Conflicts: 577000 | #Constraints: 60914
1283.31/1286.47 c #Conflicts: 578000 | #Constraints: 61914
1283.31/1286.47 c #Conflicts: 579000 | #Constraints: 62914
1283.31/1286.47 c #Conflicts: 580000 | #Constraints: 63914
1283.31/1286.47 c #Conflicts: 581000 | #Constraints: 64914
1283.31/1286.47 c #Conflicts: 582000 | #Constraints: 65914
1283.31/1286.47 c #Conflicts: 583000 | #Constraints: 66914
1283.31/1286.47 c #Conflicts: 584000 | #Constraints: 67914
1283.31/1286.47 c #Conflicts: 585000 | #Constraints: 68914
1283.31/1286.47 c #Conflicts: 586000 | #Constraints: 69914
1283.31/1286.47 c #Conflicts: 587000 | #Constraints: 70914
1283.31/1286.47 c #Conflicts: 588000 | #Constraints: 71914
1283.31/1286.47 c #Conflicts: 589000 | #Constraints: 72914
1283.31/1286.47 c #Conflicts: 590000 | #Constraints: 73914
1283.31/1286.47 c #Conflicts: 591000 | #Constraints: 74914
1283.31/1286.47 c #Conflicts: 592000 | #Constraints: 75914
1283.31/1286.47 c #Conflicts: 593000 | #Constraints: 76914
1283.31/1286.47 c #Conflicts: 594000 | #Constraints: 77914
1283.31/1286.47 c #Conflicts: 595000 | #Constraints: 78914
1283.31/1286.47 c #Conflicts: 596000 | #Constraints: 79914
1283.31/1286.47 c #Conflicts: 597000 | #Constraints: 80914
1283.31/1286.47 c #Conflicts: 598000 | #Constraints: 81914
1283.31/1286.47 c #Conflicts: 599000 | #Constraints: 82914
1283.31/1286.47 c #Conflicts: 600000 | #Constraints: 83914
1283.31/1286.47 c #Conflicts: 601000 | #Constraints: 84914
1283.31/1286.47 c #Conflicts: 602000 | #Constraints: 85914
1283.31/1286.47 c #Conflicts: 603000 | #Constraints: 86914
1283.31/1286.47 c #Conflicts: 604000 | #Constraints: 87914
1283.31/1286.47 c #Conflicts: 605000 | #Constraints: 88914
1283.31/1286.47 c #Conflicts: 606000 | #Constraints: 89914
1283.31/1286.47 c #Conflicts: 607000 | #Constraints: 90914
1469.88/1473.46 c #Conflicts: 608000 | #Constraints: 91914
1469.88/1473.46 c #Conflicts: 609000 | #Constraints: 92914
1469.88/1473.46 c #Conflicts: 610000 | #Constraints: 93914
1469.88/1473.46 c #Conflicts: 611000 | #Constraints: 94914
1469.88/1473.46 c #Conflicts: 612000 | #Constraints: 95914
1469.88/1473.46 c INPROCESSING
1469.88/1473.46 c GARBAGE COLLECT
1469.88/1473.46 c #Conflicts: 613000 | #Constraints: 57679
1469.88/1473.46 c #Conflicts: 614000 | #Constraints: 58679
1469.88/1473.46 c #Conflicts: 615000 | #Constraints: 59679
1469.88/1473.46 c #Conflicts: 616000 | #Constraints: 60679
1469.88/1473.46 c #Conflicts: 617000 | #Constraints: 61679
1469.88/1473.46 c #Conflicts: 618000 | #Constraints: 62679
1469.88/1473.46 c #Conflicts: 619000 | #Constraints: 63679
1469.88/1473.46 c #Conflicts: 620000 | #Constraints: 64679
1469.88/1473.46 c #Conflicts: 621000 | #Constraints: 65679
1469.88/1473.46 c #Conflicts: 622000 | #Constraints: 66679
1469.88/1473.46 c #Conflicts: 623000 | #Constraints: 67679
1469.88/1473.46 c #Conflicts: 624000 | #Constraints: 68679
1469.88/1473.46 c #Conflicts: 625000 | #Constraints: 69679
1469.88/1473.46 c #Conflicts: 626000 | #Constraints: 70679
1469.88/1473.46 c #Conflicts: 627000 | #Constraints: 71679
1469.88/1473.46 c #Conflicts: 628000 | #Constraints: 72679
1469.88/1473.46 c #Conflicts: 629000 | #Constraints: 73679
1469.88/1473.46 c #Conflicts: 630000 | #Constraints: 74679
1469.88/1473.46 c #Conflicts: 631000 | #Constraints: 75679
1469.88/1473.46 c #Conflicts: 632000 | #Constraints: 76679
1469.88/1473.46 c INPROCESSING
1469.88/1473.46 c GARBAGE COLLECT
1469.88/1473.46 c #Conflicts: 633000 | #Constraints: 48324
1469.88/1473.46 c #Conflicts: 634000 | #Constraints: 49324
1469.88/1473.46 c #Conflicts: 635000 | #Constraints: 50324
1469.88/1473.46 c #Conflicts: 636000 | #Constraints: 51324
1469.88/1473.46 c #Conflicts: 637000 | #Constraints: 52324
1469.88/1473.46 c #Conflicts: 638000 | #Constraints: 53324
1469.88/1473.46 c #Conflicts: 639000 | #Constraints: 54324
1469.88/1473.46 c #Conflicts: 640000 | #Constraints: 55324
1469.88/1473.46 c #Conflicts: 641000 | #Constraints: 56324
1469.88/1473.46 c #Conflicts: 642000 | #Constraints: 57324
1469.88/1473.46 c #Conflicts: 643000 | #Constraints: 58324
1469.88/1473.46 c #Conflicts: 644000 | #Constraints: 59324
1469.88/1473.46 c #Conflicts: 645000 | #Constraints: 60324
1469.88/1473.46 c #Conflicts: 646000 | #Constraints: 61324
1469.88/1473.46 c #Conflicts: 647000 | #Constraints: 62324
1469.88/1473.46 c #Conflicts: 648000 | #Constraints: 63324
1469.88/1473.46 c #Conflicts: 649000 | #Constraints: 64324
1469.88/1473.46 c #Conflicts: 650000 | #Constraints: 65324
1469.88/1473.46 c #Conflicts: 651000 | #Constraints: 66324
1469.88/1473.46 c INPROCESSING
1469.88/1473.46 c GARBAGE COLLECT
1469.88/1473.46 c #Conflicts: 652000 | #Constraints: 45599
1469.88/1473.46 c #Conflicts: 653000 | #Constraints: 46599
1469.88/1473.46 c #Conflicts: 654000 | #Constraints: 47599
1469.88/1473.46 c #Conflicts: 655000 | #Constraints: 48599
1469.88/1473.46 c #Conflicts: 656000 | #Constraints: 49599
1469.88/1473.46 c #Conflicts: 657000 | #Constraints: 50599
1469.88/1473.46 c #Conflicts: 658000 | #Constraints: 51599
1469.88/1473.46 c #Conflicts: 659000 | #Constraints: 52599
1469.88/1473.46 c #Conflicts: 660000 | #Constraints: 53599
1469.88/1473.46 c #Conflicts: 661000 | #Constraints: 54599
1469.88/1473.46 c #Conflicts: 662000 | #Constraints: 55599
1469.88/1473.46 c #Conflicts: 663000 | #Constraints: 56599
1469.88/1473.46 c #Conflicts: 664000 | #Constraints: 57599
1469.88/1473.46 c #Conflicts: 665000 | #Constraints: 58599
1469.88/1473.46 c #Conflicts: 666000 | #Constraints: 59599
1469.88/1473.46 c #Conflicts: 667000 | #Constraints: 60599
1469.88/1473.46 c #Conflicts: 668000 | #Constraints: 61599
1469.88/1473.46 c #Conflicts: 669000 | #Constraints: 62599
1469.88/1473.46 c #Conflicts: 670000 | #Constraints: 63599
1469.88/1473.46 c #Conflicts: 671000 | #Constraints: 64599
1469.88/1473.46 c #Conflicts: 672000 | #Constraints: 65599
1469.88/1473.46 c #Conflicts: 673000 | #Constraints: 66599
1469.88/1473.46 c #Conflicts: 674000 | #Constraints: 67599
1469.88/1473.46 c #Conflicts: 675000 | #Constraints: 68599
1469.88/1473.46 c #Conflicts: 676000 | #Constraints: 69599
1469.88/1473.46 c #Conflicts: 677000 | #Constraints: 70599
1469.88/1473.46 c #Conflicts: 678000 | #Constraints: 71599
1469.88/1473.46 c #Conflicts: 679000 | #Constraints: 72599
1469.88/1473.46 c #Conflicts: 680000 | #Constraints: 73599
1469.88/1473.46 c #Conflicts: 681000 | #Constraints: 74599
1469.88/1473.46 c #Conflicts: 682000 | #Constraints: 75599
1469.88/1473.46 c #Conflicts: 683000 | #Constraints: 76599
1675.82/1679.87 c #Conflicts: 684000 | #Constraints: 77599
1675.82/1679.87 c #Conflicts: 685000 | #Constraints: 78599
1675.82/1679.87 c #Conflicts: 686000 | #Constraints: 79599
1675.82/1679.87 c #Conflicts: 687000 | #Constraints: 80599
1675.82/1679.87 c #Conflicts: 688000 | #Constraints: 81599
1675.82/1679.87 c #Conflicts: 689000 | #Constraints: 82599
1675.82/1679.87 c #Conflicts: 690000 | #Constraints: 83599
1675.82/1679.87 c #Conflicts: 691000 | #Constraints: 84599
1675.82/1679.87 c #Conflicts: 692000 | #Constraints: 85599
1675.82/1679.87 c #Conflicts: 693000 | #Constraints: 86599
1675.82/1679.87 c #Conflicts: 694000 | #Constraints: 87599
1675.82/1679.87 c #Conflicts: 695000 | #Constraints: 88599
1675.82/1679.87 c #Conflicts: 696000 | #Constraints: 89599
1675.82/1679.87 c #Conflicts: 697000 | #Constraints: 90599
1675.82/1679.87 c #Conflicts: 698000 | #Constraints: 91599
1675.82/1679.87 c #Conflicts: 699000 | #Constraints: 92599
1675.82/1679.87 c #Conflicts: 700000 | #Constraints: 93599
1675.82/1679.87 c #Conflicts: 701000 | #Constraints: 94599
1675.82/1679.87 c #Conflicts: 702000 | #Constraints: 95599
1675.82/1679.87 c #Conflicts: 703000 | #Constraints: 96599
1675.82/1679.87 c #Conflicts: 704000 | #Constraints: 97599
1675.82/1679.87 c #Conflicts: 705000 | #Constraints: 98599
1675.82/1679.87 c #Conflicts: 706000 | #Constraints: 99599
1675.82/1679.87 c #Conflicts: 707000 | #Constraints: 100599
1675.82/1679.87 c #Conflicts: 708000 | #Constraints: 101599
1675.82/1679.87 c #Conflicts: 709000 | #Constraints: 102599
1675.82/1679.87 c INPROCESSING
1675.82/1679.87 c GARBAGE COLLECT
1675.82/1679.87 c #Conflicts: 710000 | #Constraints: 60695
1675.82/1679.87 c #Conflicts: 711000 | #Constraints: 61695
1675.82/1679.87 c #Conflicts: 712000 | #Constraints: 62695
1675.82/1679.87 c #Conflicts: 713000 | #Constraints: 63695
1675.82/1679.87 c #Conflicts: 714000 | #Constraints: 64695
1675.82/1679.87 c #Conflicts: 715000 | #Constraints: 65695
1675.82/1679.87 c #Conflicts: 716000 | #Constraints: 66695
1675.82/1679.87 c #Conflicts: 717000 | #Constraints: 67695
1675.82/1679.87 c #Conflicts: 718000 | #Constraints: 68695
1675.82/1679.87 c #Conflicts: 719000 | #Constraints: 69695
1675.82/1679.87 c #Conflicts: 720000 | #Constraints: 70695
1675.82/1679.87 c #Conflicts: 721000 | #Constraints: 71695
1675.82/1679.87 c #Conflicts: 722000 | #Constraints: 72695
1675.82/1679.87 c #Conflicts: 723000 | #Constraints: 73695
1675.82/1679.87 c #Conflicts: 724000 | #Constraints: 74695
1675.82/1679.87 c #Conflicts: 725000 | #Constraints: 75695
1675.82/1679.87 c #Conflicts: 726000 | #Constraints: 76695
1675.82/1679.87 c #Conflicts: 727000 | #Constraints: 77695
1675.82/1679.87 c #Conflicts: 728000 | #Constraints: 78695
1675.82/1679.87 c #Conflicts: 729000 | #Constraints: 79695
1675.82/1679.87 c #Conflicts: 730000 | #Constraints: 80695
1675.82/1679.87 c #Conflicts: 731000 | #Constraints: 81695
1675.82/1679.87 c INPROCESSING
1675.82/1679.87 c GARBAGE COLLECT
1675.82/1679.87 c #Conflicts: 732000 | #Constraints: 50775
1675.82/1679.87 c #Conflicts: 733000 | #Constraints: 51775
1675.82/1679.87 c #Conflicts: 734000 | #Constraints: 52775
1675.82/1679.87 c #Conflicts: 735000 | #Constraints: 53775
1675.82/1679.87 c #Conflicts: 736000 | #Constraints: 54775
1675.82/1679.87 c #Conflicts: 737000 | #Constraints: 55775
1675.82/1679.87 c #Conflicts: 738000 | #Constraints: 56775
1675.82/1679.87 c #Conflicts: 739000 | #Constraints: 57775
1675.82/1679.87 c #Conflicts: 740000 | #Constraints: 58775
1675.82/1679.87 c #Conflicts: 741000 | #Constraints: 59775
1675.82/1679.87 c #Conflicts: 742000 | #Constraints: 60775
1675.82/1679.87 c #Conflicts: 743000 | #Constraints: 61775
1675.82/1679.87 c #Conflicts: 744000 | #Constraints: 62775
1675.82/1679.87 c #Conflicts: 745000 | #Constraints: 63775
1675.82/1679.87 c #Conflicts: 746000 | #Constraints: 64775
1675.82/1679.87 c #Conflicts: 747000 | #Constraints: 65775
1675.82/1679.87 c #Conflicts: 748000 | #Constraints: 66775
1675.82/1679.87 c #Conflicts: 749000 | #Constraints: 67775
1675.82/1679.87 c #Conflicts: 750000 | #Constraints: 68775
1675.82/1679.87 c #Conflicts: 751000 | #Constraints: 69775
1675.82/1679.87 c #Conflicts: 752000 | #Constraints: 70775
1675.82/1679.87 c INPROCESSING
1675.82/1679.87 c GARBAGE COLLECT
1675.82/1679.87 c #Conflicts: 753000 | #Constraints: 48658
1675.82/1679.87 c #Conflicts: 754000 | #Constraints: 49658
1675.82/1679.87 c #Conflicts: 755000 | #Constraints: 50658
1675.82/1679.87 c #Conflicts: 756000 | #Constraints: 51658
1675.82/1679.87 c #Conflicts: 757000 | #Constraints: 52658
1675.82/1679.87 c #Conflicts: 758000 | #Constraints: 53658
1675.82/1679.87 c #Conflicts: 759000 | #Constraints: 54658
1675.82/1679.87 c #Conflicts: 760000 | #Constraints: 55658
1874.76/1879.25 c #Conflicts: 761000 | #Constraints: 56658
1874.76/1879.25 c #Conflicts: 762000 | #Constraints: 57658
1874.76/1879.25 c #Conflicts: 763000 | #Constraints: 58658
1874.76/1879.25 c #Conflicts: 764000 | #Constraints: 59658
1874.76/1879.25 c #Conflicts: 765000 | #Constraints: 60658
1874.76/1879.25 c #Conflicts: 766000 | #Constraints: 61658
1874.76/1879.25 c #Conflicts: 767000 | #Constraints: 62658
1874.76/1879.25 c #Conflicts: 768000 | #Constraints: 63658
1874.76/1879.25 c #Conflicts: 769000 | #Constraints: 64658
1874.76/1879.25 c #Conflicts: 770000 | #Constraints: 65658
1874.76/1879.25 c #Conflicts: 771000 | #Constraints: 66658
1874.76/1879.25 c #Conflicts: 772000 | #Constraints: 67658
1874.76/1879.25 c #Conflicts: 773000 | #Constraints: 68658
1874.76/1879.25 c #Conflicts: 774000 | #Constraints: 69658
1874.76/1879.25 c #Conflicts: 775000 | #Constraints: 70658
1874.76/1879.25 c #Conflicts: 776000 | #Constraints: 71658
1874.76/1879.25 c #Conflicts: 777000 | #Constraints: 72658
1874.76/1879.25 c #Conflicts: 778000 | #Constraints: 73658
1874.76/1879.25 c #Conflicts: 779000 | #Constraints: 74658
1874.76/1879.25 c #Conflicts: 780000 | #Constraints: 75658
1874.76/1879.25 c #Conflicts: 781000 | #Constraints: 76658
1874.76/1879.25 c #Conflicts: 782000 | #Constraints: 77658
1874.76/1879.25 c #Conflicts: 783000 | #Constraints: 78658
1874.76/1879.25 c #Conflicts: 784000 | #Constraints: 79658
1874.76/1879.25 c #Conflicts: 785000 | #Constraints: 80658
1874.76/1879.25 c #Conflicts: 786000 | #Constraints: 81658
1874.76/1879.25 c #Conflicts: 787000 | #Constraints: 82658
1874.76/1879.25 c #Conflicts: 788000 | #Constraints: 83658
1874.76/1879.25 c #Conflicts: 789000 | #Constraints: 84658
1874.76/1879.25 c #Conflicts: 790000 | #Constraints: 85658
1874.76/1879.25 c #Conflicts: 791000 | #Constraints: 86658
1874.76/1879.25 c #Conflicts: 792000 | #Constraints: 87658
1874.76/1879.25 c #Conflicts: 793000 | #Constraints: 88658
1874.76/1879.25 c #Conflicts: 794000 | #Constraints: 89658
1874.76/1879.25 c #Conflicts: 795000 | #Constraints: 90658
1874.76/1879.25 c #Conflicts: 796000 | #Constraints: 91658
1874.76/1879.25 c #Conflicts: 797000 | #Constraints: 92658
1874.76/1879.25 c #Conflicts: 798000 | #Constraints: 93658
1874.76/1879.25 c #Conflicts: 799000 | #Constraints: 94658
1874.76/1879.25 c #Conflicts: 800000 | #Constraints: 95658
1874.76/1879.25 c #Conflicts: 801000 | #Constraints: 96658
1874.76/1879.25 c #Conflicts: 802000 | #Constraints: 97658
1874.76/1879.25 c #Conflicts: 803000 | #Constraints: 98658
1874.76/1879.25 c #Conflicts: 804000 | #Constraints: 99658
1874.76/1879.25 c #Conflicts: 805000 | #Constraints: 100658
1874.76/1879.25 c #Conflicts: 806000 | #Constraints: 101658
1874.76/1879.25 c #Conflicts: 807000 | #Constraints: 102658
1874.76/1879.25 c #Conflicts: 808000 | #Constraints: 103658
1874.76/1879.25 c #Conflicts: 809000 | #Constraints: 104658
1874.76/1879.25 c #Conflicts: 810000 | #Constraints: 105658
1874.76/1879.25 c #Conflicts: 811000 | #Constraints: 106658
1874.76/1879.25 c #Conflicts: 812000 | #Constraints: 107658
1874.76/1879.25 c #Conflicts: 813000 | #Constraints: 108658
1874.76/1879.25 c #Conflicts: 814000 | #Constraints: 109658
1874.76/1879.25 c INPROCESSING
1874.76/1879.25 c GARBAGE COLLECT
1874.76/1879.25 c #Conflicts: 815000 | #Constraints: 64512
1874.76/1879.25 c #Conflicts: 816000 | #Constraints: 65512
1874.76/1879.25 c #Conflicts: 817000 | #Constraints: 66512
1874.76/1879.25 c #Conflicts: 818000 | #Constraints: 67512
1874.76/1879.25 c #Conflicts: 819000 | #Constraints: 68512
1874.76/1879.25 c #Conflicts: 820000 | #Constraints: 69512
1874.76/1879.25 c #Conflicts: 821000 | #Constraints: 70512
1874.76/1879.25 c #Conflicts: 822000 | #Constraints: 71512
1874.76/1879.25 c #Conflicts: 823000 | #Constraints: 72512
1874.76/1879.25 c #Conflicts: 824000 | #Constraints: 73512
1874.76/1879.25 c #Conflicts: 825000 | #Constraints: 74512
1874.76/1879.25 c #Conflicts: 826000 | #Constraints: 75512
1874.76/1879.25 c #Conflicts: 827000 | #Constraints: 76512
1874.76/1879.25 c #Conflicts: 828000 | #Constraints: 77512
1874.76/1879.25 c #Conflicts: 829000 | #Constraints: 78512
1874.76/1879.25 c #Conflicts: 830000 | #Constraints: 79512
1874.76/1879.25 c #Conflicts: 831000 | #Constraints: 80512
1874.76/1879.25 c #Conflicts: 832000 | #Constraints: 81512
1874.76/1879.25 c #Conflicts: 833000 | #Constraints: 82512
1874.76/1879.25 c #Conflicts: 834000 | #Constraints: 83512
1874.76/1879.25 c #Conflicts: 835000 | #Constraints: 84512
1874.76/1879.25 c #Conflicts: 836000 | #Constraints: 85512
1874.76/1879.25 c #Conflicts: 837000 | #Constraints: 86512
1874.76/1879.25 c INPROCESSING
1874.76/1879.25 c GARBAGE COLLECT
1874.76/1879.25 c #Conflicts: 838000 | #Constraints: 52953
2038.97/2043.88 c #Conflicts: 839000 | #Constraints: 53953
2038.97/2043.88 c #Conflicts: 840000 | #Constraints: 54953
2038.97/2043.88 c #Conflicts: 841000 | #Constraints: 55953
2038.97/2043.88 c #Conflicts: 842000 | #Constraints: 56953
2038.97/2043.88 c #Conflicts: 843000 | #Constraints: 57953
2038.97/2043.88 c #Conflicts: 844000 | #Constraints: 58953
2038.97/2043.88 c #Conflicts: 845000 | #Constraints: 59953
2038.97/2043.88 c #Conflicts: 846000 | #Constraints: 60953
2038.97/2043.88 c #Conflicts: 847000 | #Constraints: 61953
2038.97/2043.88 c #Conflicts: 848000 | #Constraints: 62953
2038.97/2043.88 c #Conflicts: 849000 | #Constraints: 63953
2038.97/2043.88 c #Conflicts: 850000 | #Constraints: 64953
2038.97/2043.88 c #Conflicts: 851000 | #Constraints: 65953
2038.97/2043.88 c #Conflicts: 852000 | #Constraints: 66953
2038.97/2043.88 c #Conflicts: 853000 | #Constraints: 67953
2038.97/2043.88 c #Conflicts: 854000 | #Constraints: 68953
2038.97/2043.88 c #Conflicts: 855000 | #Constraints: 69953
2038.97/2043.88 c #Conflicts: 856000 | #Constraints: 70953
2038.97/2043.88 c #Conflicts: 857000 | #Constraints: 71953
2038.97/2043.88 c #Conflicts: 858000 | #Constraints: 72953
2038.97/2043.88 c #Conflicts: 859000 | #Constraints: 73953
2038.97/2043.88 c #Conflicts: 860000 | #Constraints: 74953
2038.97/2043.88 c INPROCESSING
2038.97/2043.88 c GARBAGE COLLECT
2038.97/2043.88 c rational objective 133.1
2278.71/2284.18 c #Conflicts: 861000 | #Constraints: 51663
2278.71/2284.18 c #Conflicts: 862000 | #Constraints: 52663
2278.71/2284.18 c #Conflicts: 863000 | #Constraints: 53663
2278.71/2284.18 c #Conflicts: 864000 | #Constraints: 54663
2278.71/2284.18 c #Conflicts: 865000 | #Constraints: 55663
2278.71/2284.18 c #Conflicts: 866000 | #Constraints: 56663
2278.71/2284.18 c #Conflicts: 867000 | #Constraints: 57663
2278.71/2284.18 c #Conflicts: 868000 | #Constraints: 58663
2278.71/2284.18 c #Conflicts: 869000 | #Constraints: 59663
2278.71/2284.18 c #Conflicts: 870000 | #Constraints: 60663
2278.71/2284.18 c #Conflicts: 871000 | #Constraints: 61663
2278.71/2284.18 c #Conflicts: 872000 | #Constraints: 62663
2278.71/2284.18 c #Conflicts: 873000 | #Constraints: 63663
2278.71/2284.18 c #Conflicts: 874000 | #Constraints: 64663
2278.71/2284.18 c #Conflicts: 875000 | #Constraints: 65663
2278.71/2284.18 c #Conflicts: 876000 | #Constraints: 66663
2278.71/2284.18 c #Conflicts: 877000 | #Constraints: 67663
2278.71/2284.18 c #Conflicts: 878000 | #Constraints: 68663
2278.71/2284.18 c #Conflicts: 879000 | #Constraints: 69663
2278.71/2284.18 c #Conflicts: 880000 | #Constraints: 70663
2278.71/2284.18 c #Conflicts: 881000 | #Constraints: 71663
2278.71/2284.18 c #Conflicts: 882000 | #Constraints: 72663
2278.71/2284.18 c #Conflicts: 883000 | #Constraints: 73663
2278.71/2284.18 c #Conflicts: 884000 | #Constraints: 74663
2278.71/2284.18 c #Conflicts: 885000 | #Constraints: 75663
2278.71/2284.18 c #Conflicts: 886000 | #Constraints: 76663
2278.71/2284.18 c #Conflicts: 887000 | #Constraints: 77663
2278.71/2284.18 c #Conflicts: 888000 | #Constraints: 78663
2278.71/2284.18 c #Conflicts: 889000 | #Constraints: 79663
2278.71/2284.18 c #Conflicts: 890000 | #Constraints: 80663
2278.71/2284.18 c #Conflicts: 891000 | #Constraints: 81663
2278.71/2284.18 c #Conflicts: 892000 | #Constraints: 82663
2278.71/2284.18 c #Conflicts: 893000 | #Constraints: 83663
2278.71/2284.18 c #Conflicts: 894000 | #Constraints: 84663
2278.71/2284.18 c #Conflicts: 895000 | #Constraints: 85663
2278.71/2284.18 c #Conflicts: 896000 | #Constraints: 86663
2278.71/2284.18 c #Conflicts: 897000 | #Constraints: 87663
2278.71/2284.18 c #Conflicts: 898000 | #Constraints: 88663
2278.71/2284.18 c #Conflicts: 899000 | #Constraints: 89663
2278.71/2284.18 c #Conflicts: 900000 | #Constraints: 90663
2278.71/2284.18 c #Conflicts: 901000 | #Constraints: 91663
2278.71/2284.18 c #Conflicts: 902000 | #Constraints: 92663
2278.71/2284.18 c #Conflicts: 903000 | #Constraints: 93663
2278.71/2284.18 c #Conflicts: 904000 | #Constraints: 94663
2278.71/2284.18 c #Conflicts: 905000 | #Constraints: 95663
2278.71/2284.18 c #Conflicts: 906000 | #Constraints: 96663
2278.71/2284.18 c #Conflicts: 907000 | #Constraints: 97663
2278.71/2284.18 c #Conflicts: 908000 | #Constraints: 98663
2278.71/2284.18 c #Conflicts: 909000 | #Constraints: 99663
2278.71/2284.18 c #Conflicts: 910000 | #Constraints: 100663
2278.71/2284.18 c #Conflicts: 911000 | #Constraints: 101663
2278.71/2284.18 c #Conflicts: 912000 | #Constraints: 102663
2278.71/2284.18 c #Conflicts: 913000 | #Constraints: 103663
2278.71/2284.18 c #Conflicts: 914000 | #Constraints: 104663
2278.71/2284.18 c #Conflicts: 915000 | #Constraints: 105663
2278.71/2284.18 c #Conflicts: 916000 | #Constraints: 106663
2278.71/2284.18 c #Conflicts: 917000 | #Constraints: 107663
2278.71/2284.18 c #Conflicts: 918000 | #Constraints: 108663
2278.71/2284.18 c #Conflicts: 919000 | #Constraints: 109663
2278.71/2284.18 c #Conflicts: 920000 | #Constraints: 110663
2278.71/2284.18 c #Conflicts: 921000 | #Constraints: 111663
2278.71/2284.18 c #Conflicts: 922000 | #Constraints: 112663
2278.71/2284.18 c #Conflicts: 923000 | #Constraints: 113663
2278.71/2284.18 c #Conflicts: 924000 | #Constraints: 114663
2278.71/2284.18 c #Conflicts: 925000 | #Constraints: 115663
2278.71/2284.18 c #Conflicts: 926000 | #Constraints: 116663
2278.71/2284.18 c INPROCESSING
2278.71/2284.18 c GARBAGE COLLECT
2278.71/2284.18 c #Conflicts: 927000 | #Constraints: 68033
2278.71/2284.18 c #Conflicts: 928000 | #Constraints: 69033
2278.71/2284.18 c #Conflicts: 929000 | #Constraints: 70033
2278.71/2284.18 c #Conflicts: 930000 | #Constraints: 71033
2278.71/2284.18 c #Conflicts: 931000 | #Constraints: 72033
2278.71/2284.18 c #Conflicts: 932000 | #Constraints: 73033
2278.71/2284.18 c #Conflicts: 933000 | #Constraints: 74033
2278.71/2284.18 c #Conflicts: 934000 | #Constraints: 75033
2278.71/2284.18 c #Conflicts: 935000 | #Constraints: 76033
2278.71/2284.18 c #Conflicts: 936000 | #Constraints: 77033
2278.71/2284.18 c #Conflicts: 937000 | #Constraints: 78033
2278.71/2284.18 c #Conflicts: 938000 | #Constraints: 79034
2278.71/2284.18 c #Conflicts: 939000 | #Constraints: 80034
2493.71/2499.63 c #Conflicts: 940000 | #Constraints: 81034
2493.71/2499.63 c #Conflicts: 941000 | #Constraints: 82034
2493.71/2499.63 c #Conflicts: 942000 | #Constraints: 83034
2493.71/2499.63 c #Conflicts: 943000 | #Constraints: 84034
2493.71/2499.63 c #Conflicts: 944000 | #Constraints: 85034
2493.71/2499.63 c #Conflicts: 945000 | #Constraints: 86034
2493.71/2499.63 c #Conflicts: 946000 | #Constraints: 87034
2493.71/2499.63 c #Conflicts: 947000 | #Constraints: 88034
2493.71/2499.63 c #Conflicts: 948000 | #Constraints: 89034
2493.71/2499.63 c #Conflicts: 949000 | #Constraints: 90034
2493.71/2499.63 c #Conflicts: 950000 | #Constraints: 91034
2493.71/2499.63 c INPROCESSING
2493.71/2499.63 c GARBAGE COLLECT
2493.71/2499.63 c #Conflicts: 951000 | #Constraints: 55280
2493.71/2499.63 c #Conflicts: 952000 | #Constraints: 56280
2493.71/2499.63 c #Conflicts: 953000 | #Constraints: 57280
2493.71/2499.63 c #Conflicts: 954000 | #Constraints: 58280
2493.71/2499.63 c #Conflicts: 955000 | #Constraints: 59280
2493.71/2499.63 c #Conflicts: 956000 | #Constraints: 60280
2493.71/2499.63 c #Conflicts: 957000 | #Constraints: 61280
2493.71/2499.63 c #Conflicts: 958000 | #Constraints: 62280
2493.71/2499.63 c #Conflicts: 959000 | #Constraints: 63280
2493.71/2499.63 c #Conflicts: 960000 | #Constraints: 64280
2493.71/2499.63 c #Conflicts: 961000 | #Constraints: 65280
2493.71/2499.63 c #Conflicts: 962000 | #Constraints: 66280
2493.71/2499.63 c #Conflicts: 963000 | #Constraints: 67280
2493.71/2499.63 c #Conflicts: 964000 | #Constraints: 68280
2493.71/2499.63 c #Conflicts: 965000 | #Constraints: 69280
2493.71/2499.63 c #Conflicts: 966000 | #Constraints: 70280
2493.71/2499.63 c #Conflicts: 967000 | #Constraints: 71280
2493.71/2499.63 c #Conflicts: 968000 | #Constraints: 72280
2493.71/2499.63 c #Conflicts: 969000 | #Constraints: 73280
2493.71/2499.63 c #Conflicts: 970000 | #Constraints: 74280
2493.71/2499.63 c #Conflicts: 971000 | #Constraints: 75280
2493.71/2499.63 c #Conflicts: 972000 | #Constraints: 76280
2493.71/2499.63 c #Conflicts: 973000 | #Constraints: 77280
2493.71/2499.63 c #Conflicts: 974000 | #Constraints: 78280
2493.71/2499.63 c #Conflicts: 975000 | #Constraints: 79280
2493.71/2499.63 c INPROCESSING
2493.71/2499.63 c GARBAGE COLLECT
2493.71/2499.63 c #Conflicts: 976000 | #Constraints: 54124
2493.71/2499.63 c #Conflicts: 977000 | #Constraints: 55124
2493.71/2499.63 c #Conflicts: 978000 | #Constraints: 56124
2493.71/2499.63 c #Conflicts: 979000 | #Constraints: 57124
2493.71/2499.63 c #Conflicts: 980000 | #Constraints: 58124
2493.71/2499.63 c #Conflicts: 981000 | #Constraints: 59124
2493.71/2499.63 c #Conflicts: 982000 | #Constraints: 60124
2493.71/2499.63 c #Conflicts: 983000 | #Constraints: 61124
2493.71/2499.63 c #Conflicts: 984000 | #Constraints: 62124
2493.71/2499.63 c #Conflicts: 985000 | #Constraints: 63124
2493.71/2499.63 c #Conflicts: 986000 | #Constraints: 64124
2493.71/2499.63 c #Conflicts: 987000 | #Constraints: 65124
2493.71/2499.63 c #Conflicts: 988000 | #Constraints: 66124
2493.71/2499.63 c #Conflicts: 989000 | #Constraints: 67124
2493.71/2499.63 c #Conflicts: 990000 | #Constraints: 68124
2493.71/2499.63 c #Conflicts: 991000 | #Constraints: 69124
2493.71/2499.63 c #Conflicts: 992000 | #Constraints: 70124
2493.71/2499.63 c #Conflicts: 993000 | #Constraints: 71124
2493.71/2499.63 c #Conflicts: 994000 | #Constraints: 72124
2493.71/2499.63 c #Conflicts: 995000 | #Constraints: 73124
2493.71/2499.63 c #Conflicts: 996000 | #Constraints: 74124
2493.71/2499.63 c #Conflicts: 997000 | #Constraints: 75124
2493.71/2499.63 c #Conflicts: 998000 | #Constraints: 76124
2493.71/2499.63 c #Conflicts: 999000 | #Constraints: 77124
2493.71/2499.63 c #Conflicts: 1000000 | #Constraints: 78124
2493.71/2499.63 c #Conflicts: 1001000 | #Constraints: 79124
2493.71/2499.63 c #Conflicts: 1002000 | #Constraints: 80124
2493.71/2499.63 c #Conflicts: 1003000 | #Constraints: 81124
2493.71/2499.63 c #Conflicts: 1004000 | #Constraints: 82124
2493.71/2499.63 c #Conflicts: 1005000 | #Constraints: 83124
2493.71/2499.63 c #Conflicts: 1006000 | #Constraints: 84124
2493.71/2499.63 c #Conflicts: 1007000 | #Constraints: 85124
2493.71/2499.63 c #Conflicts: 1008000 | #Constraints: 86124
2493.71/2499.63 c #Conflicts: 1009000 | #Constraints: 87124
2493.71/2499.63 c #Conflicts: 1010000 | #Constraints: 88124
2493.71/2499.63 c #Conflicts: 1011000 | #Constraints: 89124
2493.71/2499.63 c #Conflicts: 1012000 | #Constraints: 90124
2493.71/2499.63 c #Conflicts: 1013000 | #Constraints: 91124
2493.71/2499.63 c #Conflicts: 1014000 | #Constraints: 92124
2493.71/2499.63 c #Conflicts: 1015000 | #Constraints: 93124
2493.71/2499.63 c #Conflicts: 1016000 | #Constraints: 94124
2744.81/2751.36 c #Conflicts: 1017000 | #Constraints: 95124
2744.81/2751.36 c #Conflicts: 1018000 | #Constraints: 96124
2744.81/2751.36 c #Conflicts: 1019000 | #Constraints: 97124
2744.81/2751.36 c #Conflicts: 1020000 | #Constraints: 98124
2744.81/2751.36 c #Conflicts: 1021000 | #Constraints: 99124
2744.81/2751.36 c #Conflicts: 1022000 | #Constraints: 100124
2744.81/2751.36 c #Conflicts: 1023000 | #Constraints: 101124
2744.81/2751.36 c #Conflicts: 1024000 | #Constraints: 102124
2744.81/2751.36 c #Conflicts: 1025000 | #Constraints: 103124
2744.81/2751.36 c #Conflicts: 1026000 | #Constraints: 104124
2744.81/2751.36 c #Conflicts: 1027000 | #Constraints: 105124
2744.81/2751.36 c #Conflicts: 1028000 | #Constraints: 106124
2744.81/2751.36 c #Conflicts: 1029000 | #Constraints: 107124
2744.81/2751.36 c #Conflicts: 1030000 | #Constraints: 108124
2744.81/2751.36 c #Conflicts: 1031000 | #Constraints: 109124
2744.81/2751.36 c #Conflicts: 1032000 | #Constraints: 110124
2744.81/2751.36 c #Conflicts: 1033000 | #Constraints: 111124
2744.81/2751.36 c #Conflicts: 1034000 | #Constraints: 112124
2744.81/2751.36 c #Conflicts: 1035000 | #Constraints: 113124
2744.81/2751.36 c #Conflicts: 1036000 | #Constraints: 114124
2744.81/2751.36 c #Conflicts: 1037000 | #Constraints: 115124
2744.81/2751.36 c #Conflicts: 1038000 | #Constraints: 116124
2744.81/2751.36 c #Conflicts: 1039000 | #Constraints: 117124
2744.81/2751.36 c #Conflicts: 1040000 | #Constraints: 118124
2744.81/2751.36 c #Conflicts: 1041000 | #Constraints: 119124
2744.81/2751.36 c #Conflicts: 1042000 | #Constraints: 120124
2744.81/2751.36 c #Conflicts: 1043000 | #Constraints: 121124
2744.81/2751.36 c #Conflicts: 1044000 | #Constraints: 122124
2744.81/2751.36 c #Conflicts: 1045000 | #Constraints: 123124
2744.81/2751.36 c INPROCESSING
2744.81/2751.36 c GARBAGE COLLECT
2744.81/2751.36 c #Conflicts: 1046000 | #Constraints: 71168
2744.81/2751.36 c #Conflicts: 1047000 | #Constraints: 72168
2744.81/2751.36 c #Conflicts: 1048000 | #Constraints: 73168
2744.81/2751.36 c #Conflicts: 1049000 | #Constraints: 74168
2744.81/2751.36 c #Conflicts: 1050000 | #Constraints: 75168
2744.81/2751.36 c #Conflicts: 1051000 | #Constraints: 76168
2744.81/2751.36 c #Conflicts: 1052000 | #Constraints: 77168
2744.81/2751.36 c #Conflicts: 1053000 | #Constraints: 78168
2744.81/2751.36 c #Conflicts: 1054000 | #Constraints: 79168
2744.81/2751.36 c #Conflicts: 1055000 | #Constraints: 80168
2744.81/2751.36 c #Conflicts: 1056000 | #Constraints: 81168
2744.81/2751.36 c #Conflicts: 1057000 | #Constraints: 82168
2744.81/2751.36 c #Conflicts: 1058000 | #Constraints: 83168
2744.81/2751.36 c #Conflicts: 1059000 | #Constraints: 84168
2744.81/2751.36 c #Conflicts: 1060000 | #Constraints: 85168
2744.81/2751.36 c #Conflicts: 1061000 | #Constraints: 86168
2744.81/2751.36 c #Conflicts: 1062000 | #Constraints: 87168
2744.81/2751.36 c #Conflicts: 1063000 | #Constraints: 88168
2744.81/2751.36 c #Conflicts: 1064000 | #Constraints: 89168
2744.81/2751.36 c #Conflicts: 1065000 | #Constraints: 90168
2744.81/2751.36 c #Conflicts: 1066000 | #Constraints: 91168
2744.81/2751.36 c #Conflicts: 1067000 | #Constraints: 92168
2744.81/2751.36 c #Conflicts: 1068000 | #Constraints: 93168
2744.81/2751.36 c #Conflicts: 1069000 | #Constraints: 94168
2744.81/2751.36 c #Conflicts: 1070000 | #Constraints: 95168
2744.81/2751.36 c #Conflicts: 1071000 | #Constraints: 96168
2744.81/2751.36 c INPROCESSING
2744.81/2751.36 c GARBAGE COLLECT
2744.81/2751.36 c #Conflicts: 1072000 | #Constraints: 57855
2744.81/2751.36 c #Conflicts: 1073000 | #Constraints: 58855
2744.81/2751.36 c #Conflicts: 1074000 | #Constraints: 59855
2744.81/2751.36 c #Conflicts: 1075000 | #Constraints: 60855
2744.81/2751.36 c #Conflicts: 1076000 | #Constraints: 61855
2744.81/2751.36 c #Conflicts: 1077000 | #Constraints: 62855
2744.81/2751.36 c #Conflicts: 1078000 | #Constraints: 63855
2744.81/2751.36 c #Conflicts: 1079000 | #Constraints: 64855
2744.81/2751.36 c #Conflicts: 1080000 | #Constraints: 65855
2744.81/2751.36 c #Conflicts: 1081000 | #Constraints: 66855
2744.81/2751.36 c #Conflicts: 1082000 | #Constraints: 67855
2744.81/2751.36 c #Conflicts: 1083000 | #Constraints: 68855
2744.81/2751.36 c #Conflicts: 1084000 | #Constraints: 69855
2744.81/2751.36 c #Conflicts: 1085000 | #Constraints: 70855
2744.81/2751.36 c #Conflicts: 1086000 | #Constraints: 71855
2744.81/2751.36 c #Conflicts: 1087000 | #Constraints: 72855
2744.81/2751.36 c #Conflicts: 1088000 | #Constraints: 73855
2744.81/2751.36 c #Conflicts: 1089000 | #Constraints: 74855
2744.81/2751.36 c #Conflicts: 1090000 | #Constraints: 75855
2744.81/2751.36 c #Conflicts: 1091000 | #Constraints: 76855
2744.81/2751.36 c #Conflicts: 1092000 | #Constraints: 77855
2744.81/2751.36 c #Conflicts: 1093000 | #Constraints: 78855
2744.81/2751.36 c #Conflicts: 1094000 | #Constraints: 79855
3007.19/3014.37 c #Conflicts: 1095000 | #Constraints: 80855
3007.19/3014.37 c #Conflicts: 1096000 | #Constraints: 81855
3007.19/3014.37 c #Conflicts: 1097000 | #Constraints: 82855
3007.19/3014.37 c INPROCESSING
3007.19/3014.37 c GARBAGE COLLECT
3007.19/3014.37 c #Conflicts: 1098000 | #Constraints: 55561
3007.19/3014.37 c #Conflicts: 1099000 | #Constraints: 56561
3007.19/3014.37 c #Conflicts: 1100000 | #Constraints: 57561
3007.19/3014.37 c #Conflicts: 1101000 | #Constraints: 58561
3007.19/3014.37 c #Conflicts: 1102000 | #Constraints: 59561
3007.19/3014.37 c #Conflicts: 1103000 | #Constraints: 60561
3007.19/3014.37 c #Conflicts: 1104000 | #Constraints: 61561
3007.19/3014.37 c #Conflicts: 1105000 | #Constraints: 62561
3007.19/3014.37 c #Conflicts: 1106000 | #Constraints: 63561
3007.19/3014.37 c #Conflicts: 1107000 | #Constraints: 64561
3007.19/3014.37 c #Conflicts: 1108000 | #Constraints: 65561
3007.19/3014.37 c #Conflicts: 1109000 | #Constraints: 66561
3007.19/3014.37 c #Conflicts: 1110000 | #Constraints: 67561
3007.19/3014.37 c #Conflicts: 1111000 | #Constraints: 68561
3007.19/3014.37 c #Conflicts: 1112000 | #Constraints: 69561
3007.19/3014.37 c #Conflicts: 1113000 | #Constraints: 70561
3007.19/3014.37 c #Conflicts: 1114000 | #Constraints: 71561
3007.19/3014.37 c #Conflicts: 1115000 | #Constraints: 72561
3007.19/3014.37 c #Conflicts: 1116000 | #Constraints: 73561
3007.19/3014.37 c #Conflicts: 1117000 | #Constraints: 74561
3007.19/3014.37 c #Conflicts: 1118000 | #Constraints: 75561
3007.19/3014.37 c #Conflicts: 1119000 | #Constraints: 76561
3007.19/3014.37 c #Conflicts: 1120000 | #Constraints: 77561
3007.19/3014.37 c #Conflicts: 1121000 | #Constraints: 78561
3007.19/3014.37 c #Conflicts: 1122000 | #Constraints: 79561
3007.19/3014.37 c #Conflicts: 1123000 | #Constraints: 80561
3007.19/3014.37 c #Conflicts: 1124000 | #Constraints: 81561
3007.19/3014.37 c #Conflicts: 1125000 | #Constraints: 82561
3007.19/3014.37 c #Conflicts: 1126000 | #Constraints: 83561
3007.19/3014.37 c #Conflicts: 1127000 | #Constraints: 84561
3007.19/3014.37 c #Conflicts: 1128000 | #Constraints: 85561
3007.19/3014.37 c #Conflicts: 1129000 | #Constraints: 86561
3007.19/3014.37 c #Conflicts: 1130000 | #Constraints: 87561
3007.19/3014.37 c #Conflicts: 1131000 | #Constraints: 88561
3007.19/3014.37 c #Conflicts: 1132000 | #Constraints: 89561
3007.19/3014.37 c #Conflicts: 1133000 | #Constraints: 90561
3007.19/3014.37 c #Conflicts: 1134000 | #Constraints: 91561
3007.19/3014.37 c #Conflicts: 1135000 | #Constraints: 92561
3007.19/3014.37 c #Conflicts: 1136000 | #Constraints: 93561
3007.19/3014.37 c #Conflicts: 1137000 | #Constraints: 94561
3007.19/3014.37 c #Conflicts: 1138000 | #Constraints: 95561
3007.19/3014.37 c #Conflicts: 1139000 | #Constraints: 96561
3007.19/3014.37 c #Conflicts: 1140000 | #Constraints: 97561
3007.19/3014.37 c #Conflicts: 1141000 | #Constraints: 98561
3007.19/3014.37 c #Conflicts: 1142000 | #Constraints: 99561
3007.19/3014.37 c #Conflicts: 1143000 | #Constraints: 100561
3007.19/3014.37 c #Conflicts: 1144000 | #Constraints: 101561
3007.19/3014.37 c #Conflicts: 1145000 | #Constraints: 102561
3007.19/3014.37 c #Conflicts: 1146000 | #Constraints: 103561
3007.19/3014.37 c #Conflicts: 1147000 | #Constraints: 104561
3007.19/3014.37 c #Conflicts: 1148000 | #Constraints: 105561
3007.19/3014.37 c #Conflicts: 1149000 | #Constraints: 106561
3007.19/3014.37 c #Conflicts: 1150000 | #Constraints: 107561
3007.19/3014.37 c #Conflicts: 1151000 | #Constraints: 108561
3007.19/3014.37 c #Conflicts: 1152000 | #Constraints: 109561
3007.19/3014.37 c #Conflicts: 1153000 | #Constraints: 110561
3007.19/3014.37 c #Conflicts: 1154000 | #Constraints: 111561
3007.19/3014.37 c #Conflicts: 1155000 | #Constraints: 112561
3007.19/3014.37 c #Conflicts: 1156000 | #Constraints: 113561
3007.19/3014.37 c #Conflicts: 1157000 | #Constraints: 114561
3007.19/3014.37 c #Conflicts: 1158000 | #Constraints: 115561
3007.19/3014.37 c #Conflicts: 1159000 | #Constraints: 116561
3007.19/3014.37 c #Conflicts: 1160000 | #Constraints: 117561
3007.19/3014.37 c #Conflicts: 1161000 | #Constraints: 118561
3007.19/3014.37 c #Conflicts: 1162000 | #Constraints: 119561
3007.19/3014.37 c #Conflicts: 1163000 | #Constraints: 120561
3007.19/3014.37 c #Conflicts: 1164000 | #Constraints: 121561
3007.19/3014.37 c #Conflicts: 1165000 | #Constraints: 122561
3007.19/3014.37 c #Conflicts: 1166000 | #Constraints: 123561
3007.19/3014.37 c #Conflicts: 1167000 | #Constraints: 124561
3007.19/3014.37 c #Conflicts: 1168000 | #Constraints: 125561
3007.19/3014.37 c #Conflicts: 1169000 | #Constraints: 126561
3007.19/3014.37 c #Conflicts: 1170000 | #Constraints: 127561
3007.19/3014.37 c #Conflicts: 1171000 | #Constraints: 128561
3007.19/3014.37 c INPROCESSING
3204.14/3211.71 c GARBAGE COLLECT
3204.14/3211.71 c #Conflicts: 1172000 | #Constraints: 73931
3204.14/3211.71 c #Conflicts: 1173000 | #Constraints: 74931
3204.14/3211.71 c #Conflicts: 1174000 | #Constraints: 75931
3204.14/3211.71 c #Conflicts: 1175000 | #Constraints: 76931
3204.14/3211.71 c #Conflicts: 1176000 | #Constraints: 77931
3204.14/3211.71 c #Conflicts: 1177000 | #Constraints: 78931
3204.14/3211.71 c #Conflicts: 1178000 | #Constraints: 79931
3204.14/3211.71 c #Conflicts: 1179000 | #Constraints: 80931
3204.14/3211.71 c #Conflicts: 1180000 | #Constraints: 81931
3204.14/3211.71 c #Conflicts: 1181000 | #Constraints: 82931
3204.14/3211.71 c #Conflicts: 1182000 | #Constraints: 83931
3204.14/3211.71 c #Conflicts: 1183000 | #Constraints: 84931
3204.14/3211.71 c #Conflicts: 1184000 | #Constraints: 85931
3204.14/3211.71 c #Conflicts: 1185000 | #Constraints: 86931
3204.14/3211.71 c #Conflicts: 1186000 | #Constraints: 87931
3204.14/3211.71 c #Conflicts: 1187000 | #Constraints: 88931
3204.14/3211.71 c #Conflicts: 1188000 | #Constraints: 89931
3204.14/3211.71 c #Conflicts: 1189000 | #Constraints: 90931
3204.14/3211.71 c #Conflicts: 1190000 | #Constraints: 91931
3204.14/3211.71 c #Conflicts: 1191000 | #Constraints: 92931
3204.14/3211.71 c #Conflicts: 1192000 | #Constraints: 93931
3204.14/3211.71 c #Conflicts: 1193000 | #Constraints: 94931
3204.14/3211.71 c #Conflicts: 1194000 | #Constraints: 95931
3204.14/3211.71 c #Conflicts: 1195000 | #Constraints: 96931
3204.14/3211.71 c #Conflicts: 1196000 | #Constraints: 97931
3204.14/3211.71 c #Conflicts: 1197000 | #Constraints: 98931
3204.14/3211.71 c #Conflicts: 1198000 | #Constraints: 99931
3204.14/3211.71 c #Conflicts: 1199000 | #Constraints: 100931
3204.14/3211.71 c INPROCESSING
3204.14/3211.71 c GARBAGE COLLECT
3204.14/3211.71 c #Conflicts: 1200000 | #Constraints: 60399
3204.14/3211.71 c #Conflicts: 1201000 | #Constraints: 61399
3204.14/3211.71 c #Conflicts: 1202000 | #Constraints: 62399
3204.14/3211.71 c #Conflicts: 1203000 | #Constraints: 63399
3204.14/3211.71 c #Conflicts: 1204000 | #Constraints: 64399
3204.14/3211.71 c #Conflicts: 1205000 | #Constraints: 65399
3204.14/3211.71 c #Conflicts: 1206000 | #Constraints: 66399
3204.14/3211.71 c #Conflicts: 1207000 | #Constraints: 67399
3204.14/3211.71 c #Conflicts: 1208000 | #Constraints: 68399
3204.14/3211.71 c #Conflicts: 1209000 | #Constraints: 69399
3204.14/3211.71 c #Conflicts: 1210000 | #Constraints: 70399
3204.14/3211.71 c #Conflicts: 1211000 | #Constraints: 71399
3204.14/3211.71 c #Conflicts: 1212000 | #Constraints: 72399
3204.14/3211.71 c #Conflicts: 1213000 | #Constraints: 73399
3204.14/3211.71 c #Conflicts: 1214000 | #Constraints: 74400
3204.14/3211.71 c #Conflicts: 1215000 | #Constraints: 75400
3204.14/3211.71 c #Conflicts: 1216000 | #Constraints: 76400
3204.14/3211.71 c #Conflicts: 1217000 | #Constraints: 77400
3204.14/3211.71 c #Conflicts: 1218000 | #Constraints: 78400
3204.14/3211.71 c #Conflicts: 1219000 | #Constraints: 79400
3204.14/3211.71 c #Conflicts: 1220000 | #Constraints: 80400
3204.14/3211.71 c #Conflicts: 1221000 | #Constraints: 81400
3204.14/3211.71 c #Conflicts: 1222000 | #Constraints: 82400
3204.14/3211.71 c #Conflicts: 1223000 | #Constraints: 83400
3204.14/3211.71 c #Conflicts: 1224000 | #Constraints: 84400
3204.14/3211.71 c #Conflicts: 1225000 | #Constraints: 85400
3204.14/3211.71 c #Conflicts: 1226000 | #Constraints: 86400
3204.14/3211.71 c INPROCESSING
3204.14/3211.71 c GARBAGE COLLECT
3204.14/3211.71 c #Conflicts: 1227000 | #Constraints: 58087
3204.14/3211.71 c #Conflicts: 1228000 | #Constraints: 59087
3204.14/3211.71 c #Conflicts: 1229000 | #Constraints: 60087
3204.14/3211.71 c #Conflicts: 1230000 | #Constraints: 61087
3204.14/3211.71 c #Conflicts: 1231000 | #Constraints: 62087
3204.14/3211.71 c #Conflicts: 1232000 | #Constraints: 63087
3204.14/3211.71 c #Conflicts: 1233000 | #Constraints: 64087
3204.14/3211.71 c #Conflicts: 1234000 | #Constraints: 65087
3204.14/3211.71 c #Conflicts: 1235000 | #Constraints: 66087
3204.14/3211.71 c #Conflicts: 1236000 | #Constraints: 67087
3204.14/3211.71 c #Conflicts: 1237000 | #Constraints: 68087
3204.14/3211.71 c #Conflicts: 1238000 | #Constraints: 69087
3204.14/3211.71 c #Conflicts: 1239000 | #Constraints: 70087
3204.14/3211.71 c #Conflicts: 1240000 | #Constraints: 71087
3204.14/3211.71 c #Conflicts: 1241000 | #Constraints: 72087
3204.14/3211.71 c #Conflicts: 1242000 | #Constraints: 73087
3204.14/3211.71 c #Conflicts: 1243000 | #Constraints: 74087
3204.14/3211.71 c #Conflicts: 1244000 | #Constraints: 75087
3204.14/3211.71 c #Conflicts: 1245000 | #Constraints: 76087
3204.14/3211.71 c #Conflicts: 1246000 | #Constraints: 77087
3204.14/3211.71 c #Conflicts: 1247000 | #Constraints: 78087
3204.14/3211.71 c #Conflicts: 1248000 | #Constraints: 79087
3204.14/3211.71 c #Conflicts: 1249000 | #Constraints: 80087
3476.71/3484.94 c #Conflicts: 1250000 | #Constraints: 81087
3476.71/3484.94 c #Conflicts: 1251000 | #Constraints: 82087
3476.71/3484.94 c #Conflicts: 1252000 | #Constraints: 83087
3476.71/3484.94 c #Conflicts: 1253000 | #Constraints: 84087
3476.71/3484.94 c #Conflicts: 1254000 | #Constraints: 85087
3476.71/3484.94 c #Conflicts: 1255000 | #Constraints: 86087
3476.71/3484.94 c #Conflicts: 1256000 | #Constraints: 87087
3476.71/3484.94 c #Conflicts: 1257000 | #Constraints: 88087
3476.71/3484.94 c #Conflicts: 1258000 | #Constraints: 89087
3476.71/3484.94 c #Conflicts: 1259000 | #Constraints: 90087
3476.71/3484.94 c #Conflicts: 1260000 | #Constraints: 91087
3476.71/3484.94 c #Conflicts: 1261000 | #Constraints: 92087
3476.71/3484.94 c #Conflicts: 1262000 | #Constraints: 93087
3476.71/3484.94 c #Conflicts: 1263000 | #Constraints: 94087
3476.71/3484.94 c #Conflicts: 1264000 | #Constraints: 95087
3476.71/3484.94 c #Conflicts: 1265000 | #Constraints: 96087
3476.71/3484.94 c #Conflicts: 1266000 | #Constraints: 97087
3476.71/3484.94 c #Conflicts: 1267000 | #Constraints: 98087
3476.71/3484.94 c #Conflicts: 1268000 | #Constraints: 99087
3476.71/3484.94 c #Conflicts: 1269000 | #Constraints: 100087
3476.71/3484.94 c #Conflicts: 1270000 | #Constraints: 101087
3476.71/3484.94 c #Conflicts: 1271000 | #Constraints: 102087
3476.71/3484.94 c #Conflicts: 1272000 | #Constraints: 103087
3476.71/3484.94 c #Conflicts: 1273000 | #Constraints: 104087
3476.71/3484.94 c #Conflicts: 1274000 | #Constraints: 105087
3476.71/3484.94 c #Conflicts: 1275000 | #Constraints: 106087
3476.71/3484.94 c #Conflicts: 1276000 | #Constraints: 107087
3476.71/3484.94 c #Conflicts: 1277000 | #Constraints: 108087
3476.71/3484.94 c #Conflicts: 1278000 | #Constraints: 109087
3476.71/3484.94 c #Conflicts: 1279000 | #Constraints: 110087
3476.71/3484.94 c #Conflicts: 1280000 | #Constraints: 111087
3476.71/3484.94 c #Conflicts: 1281000 | #Constraints: 112087
3476.71/3484.94 c #Conflicts: 1282000 | #Constraints: 113087
3476.71/3484.94 c #Conflicts: 1283000 | #Constraints: 114087
3476.71/3484.94 c #Conflicts: 1284000 | #Constraints: 115087
3476.71/3484.94 c #Conflicts: 1285000 | #Constraints: 116087
3476.71/3484.94 c #Conflicts: 1286000 | #Constraints: 117087
3476.71/3484.94 c #Conflicts: 1287000 | #Constraints: 118087
3476.71/3484.94 c #Conflicts: 1288000 | #Constraints: 119087
3476.71/3484.94 c #Conflicts: 1289000 | #Constraints: 120087
3476.71/3484.94 c #Conflicts: 1290000 | #Constraints: 121087
3476.71/3484.94 c #Conflicts: 1291000 | #Constraints: 122087
3476.71/3484.94 c #Conflicts: 1292000 | #Constraints: 123087
3476.71/3484.94 c #Conflicts: 1293000 | #Constraints: 124087
3476.71/3484.94 c #Conflicts: 1294000 | #Constraints: 125087
3476.71/3484.94 c #Conflicts: 1295000 | #Constraints: 126087
3476.71/3484.94 c #Conflicts: 1296000 | #Constraints: 127087
3476.71/3484.94 c #Conflicts: 1297000 | #Constraints: 128087
3476.71/3484.94 c #Conflicts: 1298000 | #Constraints: 129087
3476.71/3484.94 c #Conflicts: 1299000 | #Constraints: 130087
3476.71/3484.94 c #Conflicts: 1300000 | #Constraints: 131087
3476.71/3484.94 c #Conflicts: 1301000 | #Constraints: 132087
3476.71/3484.94 c #Conflicts: 1302000 | #Constraints: 133087
3476.71/3484.94 c #Conflicts: 1303000 | #Constraints: 134087
3476.71/3484.94 c #Conflicts: 1304000 | #Constraints: 135087
3476.71/3484.94 c #Conflicts: 1305000 | #Constraints: 136087
3476.71/3484.94 c INPROCESSING
3476.71/3484.94 c GARBAGE COLLECT
3476.71/3484.94 c #Conflicts: 1306000 | #Constraints: 77869
3476.71/3484.94 c #Conflicts: 1307000 | #Constraints: 78869
3476.71/3484.94 c #Conflicts: 1308000 | #Constraints: 79869
3476.71/3484.94 c #Conflicts: 1309000 | #Constraints: 80869
3476.71/3484.94 c #Conflicts: 1310000 | #Constraints: 81869
3476.71/3484.94 c #Conflicts: 1311000 | #Constraints: 82869
3476.71/3484.94 c #Conflicts: 1312000 | #Constraints: 83869
3476.71/3484.94 c #Conflicts: 1313000 | #Constraints: 84869
3476.71/3484.94 c #Conflicts: 1314000 | #Constraints: 85869
3476.71/3484.94 c #Conflicts: 1315000 | #Constraints: 86869
3476.71/3484.94 c #Conflicts: 1316000 | #Constraints: 87869
3476.71/3484.94 c #Conflicts: 1317000 | #Constraints: 88869
3476.71/3484.94 c #Conflicts: 1318000 | #Constraints: 89869
3476.71/3484.94 c #Conflicts: 1319000 | #Constraints: 90869
3476.71/3484.94 c #Conflicts: 1320000 | #Constraints: 91869
3476.71/3484.94 c #Conflicts: 1321000 | #Constraints: 92869
3476.71/3484.94 c #Conflicts: 1322000 | #Constraints: 93869
3476.71/3484.94 c #Conflicts: 1323000 | #Constraints: 94869
3476.71/3484.94 c #Conflicts: 1324000 | #Constraints: 95869
3476.71/3484.94 c #Conflicts: 1325000 | #Constraints: 96869
3476.71/3484.94 c #Conflicts: 1326000 | #Constraints: 97869
3476.71/3484.94 c #Conflicts: 1327000 | #Constraints: 98869
3600.03/3608.50 c #Conflicts: 1328000 | #Constraints: 99869
3600.03/3608.50 c #Conflicts: 1329000 | #Constraints: 100869
3600.03/3608.50 c #Conflicts: 1330000 | #Constraints: 101869
3600.03/3608.50 c #Conflicts: 1331000 | #Constraints: 102869
3600.03/3608.50 c #Conflicts: 1332000 | #Constraints: 103869
3600.03/3608.50 c #Conflicts: 1333000 | #Constraints: 104869
3600.03/3608.50 c #Conflicts: 1334000 | #Constraints: 105869
3600.03/3608.50 c INPROCESSING
3600.03/3608.50 c GARBAGE COLLECT
3600.03/3608.50 c #Conflicts: 1335000 | #Constraints: 63046
3600.03/3608.50 c #Conflicts: 1336000 | #Constraints: 64046
3600.03/3608.50 c #Conflicts: 1337000 | #Constraints: 65046
3600.03/3608.50 c #Conflicts: 1338000 | #Constraints: 66046
3600.03/3608.50 c #Conflicts: 1339000 | #Constraints: 67046
3600.03/3608.50 c #Conflicts: 1340000 | #Constraints: 68046
3600.03/3608.50 c #Conflicts: 1341000 | #Constraints: 69046
3600.03/3608.50 c #Conflicts: 1342000 | #Constraints: 70046
3600.03/3608.50 c #Conflicts: 1343000 | #Constraints: 71046
3600.03/3608.50 c #Conflicts: 1344000 | #Constraints: 72046
3600.03/3608.50 c #Conflicts: 1345000 | #Constraints: 73046
3600.03/3608.50 c #Conflicts: 1346000 | #Constraints: 74046
3600.03/3608.50 c #Conflicts: 1347000 | #Constraints: 75046
3600.03/3608.50 c #Conflicts: 1348000 | #Constraints: 76046
3600.03/3608.50 c #Conflicts: 1349000 | #Constraints: 77046
3600.03/3608.50 c #Conflicts: 1350000 | #Constraints: 78046
3600.03/3608.50 c #Conflicts: 1351000 | #Constraints: 79046
3600.03/3608.50 c #Conflicts: 1352000 | #Constraints: 80046
3600.03/3608.50 c #Conflicts: 1353000 | #Constraints: 81046
3600.03/3608.50 c #Conflicts: 1354000 | #Constraints: 82046
3600.03/3608.50 c #Conflicts: 1355000 | #Constraints: 83046
3600.03/3608.50 c #Conflicts: 1356000 | #Constraints: 84046
3600.03/3608.50 c #Conflicts: 1357000 | #Constraints: 85046
3600.03/3608.50 c #Conflicts: 1358000 | #Constraints: 86046
3600.03/3608.50 c #Conflicts: 1359000 | #Constraints: 87046
3600.03/3608.50 c #Conflicts: 1360000 | #Constraints: 88046
3600.03/3608.50 c #Conflicts: 1361000 | #Constraints: 89046
3600.03/3608.50 c #Conflicts: 1362000 | #Constraints: 90046
3600.03/3608.50 c INPROCESSING
3600.03/3608.50 c GARBAGE COLLECT
3600.03/3608.50 c #Conflicts: 1363000 | #Constraints: 60323
3600.03/3608.50 c #Conflicts: 1364000 | #Constraints: 61323
3600.03/3608.50 c #Conflicts: 1365000 | #Constraints: 62323
3600.03/3608.50 c #Conflicts: 1366000 | #Constraints: 63323
3600.03/3608.50 c #Conflicts: 1367000 | #Constraints: 64323
3600.03/3608.50 c #Conflicts: 1368000 | #Constraints: 65323
3600.03/3608.50 c #Conflicts: 1369000 | #Constraints: 66323
3600.03/3608.50 c #Conflicts: 1370000 | #Constraints: 67323
3600.03/3608.50 c #Conflicts: 1371000 | #Constraints: 68323
3600.03/3608.50 c #Conflicts: 1372000 | #Constraints: 69323
3600.03/3608.50 c #Conflicts: 1373000 | #Constraints: 70323
3600.03/3608.50 c #Conflicts: 1374000 | #Constraints: 71323
3600.03/3608.50 c cpu time 3580.53 s
3600.03/3608.50 c deterministic time 215295131879 2.15e+11
3600.03/3608.50 c optimization time 19.4553 s
3600.03/3608.50 c total solve time 3561 s
3600.03/3608.50 c core-guided solve time 0 s
3600.03/3608.50 c propagation time 1584.52 s
3600.03/3608.50 c conflict analysis time 1590.56 s
3600.03/3608.50 c propagations 1379775532
3600.03/3608.50 c resolve steps 103846398
3600.03/3608.50 c decisions 19503267
3600.03/3608.50 c conflicts 1374532
3600.03/3608.50 c restarts 2619
3600.03/3608.50 c inprocessing phases 59
3600.03/3608.50 c garbage collections 59 ,( 100.00 )
3600.03/3608.50 c input clauses 16100 ,( 99.18 )
3600.03/3608.50 c input cardinalities 133 ,( 0.82 )
3600.03/3608.50 c input general constraints 0 ,( 0.00 )
3600.03/3608.50 c input average constraint length 6.40
3600.03/3608.50 c input average constraint degree 1.96
3600.03/3608.50 c learned clauses 1050665 ,( 76.44 )
3600.03/3608.50 c learned cardinalities 36625 ,( 2.66 )
3600.03/3608.50 c learned general constraints 287245 ,( 20.90 )
3600.03/3608.50 c learned average constraint length 778.06
3600.03/3608.50 c learned average constraint degree 26230959.75
3600.03/3608.50 c watched CF 32, 64, 128, Arb: 81142 , 0 , 0 , 0
3600.03/3608.50 c counting CF 32, 64, 128, Arb: 206103 , 0 , 0 , 0
3600.03/3608.50 c watched constraints 81142 ,( 28.25 )
3600.03/3608.50 c counting constraints 206103 ,( 71.75 )
3600.03/3608.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1388521793 , 540835414 , 1948913996 ,( 76266602 , 1872647394 )
3600.03/3608.50 c gcd simplifications 653
3600.03/3608.50 c detected cardinalities 4083
3600.03/3608.50 c weakened non-implied lits 409704520
3600.03/3608.50 c weakened non-implying lits 208443
3600.03/3608.50 c original variables 15872
3600.03/3608.50 c clausal propagations 634644632
3600.03/3608.50 c cardinality propagations 494710885
3600.03/3608.50 c watched propagations 4656950
3600.03/3608.50 c counting propagations 235148881
3600.03/3608.50 c watch lookups 86361594212
3600.03/3608.50 c watch backjump lookups 0
3600.03/3608.50 c watch checks 33542936229
3600.03/3608.50 c propagation checks 87491782389
3600.03/3608.50 c constraint additions 5098611578
3600.03/3608.50 c trail pops 1400640832
3600.03/3608.50 c formula constraints 16233
3600.03/3608.50 c learned constraints 1374528
3600.03/3608.50 c bound constraints 0
3600.03/3608.50 c core-guided constraints 0
3600.03/3608.50 c encountered formula constraints 70780310
3600.03/3608.50 c encountered learned constraints 34440232
3600.03/3608.50 c encountered bound constraints 0
3600.03/3608.50 c encountered core-guided constraints 0
3600.03/3608.50 c LP total time 383.865 s
3600.03/3608.50 c LP solve time 380.72 s
3600.03/3608.50 c LP constraints added 16381
3600.03/3608.50 c LP constraints removed 0
3600.03/3608.50 c LP pivots internal 139148
3600.03/3608.50 c LP pivots root 148691
3600.03/3608.50 c LP calls 12
3600.03/3608.50 c LP optimalities 2
3600.03/3608.50 c LP no pivot count 0
3600.03/3608.50 c LP infeasibilities 3
3600.03/3608.50 c LP valid Farkas constraints 3
3600.03/3608.50 c LP learned Farkas constraints 3
3600.03/3608.50 c LP basis resets 0
3600.03/3608.50 c LP cycling count 0
3600.03/3608.50 c LP singular count 0
3600.03/3608.50 c LP no primal count 0
3600.03/3608.50 c LP no farkas count 0
3600.03/3608.50 c LP other issue count 0
3600.03/3608.50 c LP Gomory cuts 1
3600.03/3608.50 c LP learned cuts 147
3600.03/3608.50 c LP deleted cuts 0
3600.03/3608.50 c LP encountered Gomory constraints 0
3600.03/3608.50 c LP encountered Farkas constraints 377
3600.03/3608.50 c LP encountered learned Farkas constraints 8
3600.03/3608.50 c CG auxiliary variables introduced 0
3600.03/3608.50 c CG solutions found 0
3600.03/3608.50 c CG cores constructed 0
3600.03/3608.50 c CG core cardinality constraints returned 0
3600.03/3608.50 c CG unit cores 0
3600.03/3608.50 c CG single cores 0
3600.03/3608.50 c CG blocks removed during cardinality reduction 0
3600.03/3608.50 c CG first core best 0
3600.03/3608.50 c CG decision core best 0
3600.03/3608.50 c CG core reduction tie 0
3600.03/3608.50 c CG core degree average 0.00
3600.03/3608.50 c CG core slack average 0.00
3600.03/3608.50 c CG core upper bound improvements 0
3600.03/3608.50 c STR number of successful calls 0
3600.03/3608.50 c STR number of unsuccessful calls 0
3600.03/3608.50 c STR number of inconclusive calls 0
3600.03/3608.50 c STR number of successful attempts 0
3600.03/3608.50 c STR number of unsuccessful attempts 0
3600.03/3608.50 c STR number of inconclusive attempts 0
3600.03/3608.50 c STR average degree increase per successful call inf
3600.03/3608.50 c STR average degree increase per successful attempt inf
3600.03/3608.50 c STR total number of conflicts for successful attempts 0
3600.03/3608.50 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3608.50 c STR total number of conflicts for inconclusive attempts 0
3600.03/3608.50 c STR average number of conflicts per successful attempt inf
3600.03/3608.50 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3608.50 c STR average number of conflicts per inconclusive attempt inf
3600.03/3608.50 c AVG.sumWPerc 63.95
3600.03/3608.50 c bigint constraints 0
3600.03/3608.50 s UNKNOWN
3600.03/3608.50 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (63046 MiB free)
memory of node 1: 64507 MiB (64036 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506944-1751172706/watcher-4506944-1751172706 -o /tmp/evaluation-result-4506944-1751172706/solver-4506944-1751172706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18877 --watchdog 3760 run-dec-break.sh HOME/instance-4506944-1751172706.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18923, runsolver pid=18918
[startup+0.100061 s]*
/proc/loadavg: 0.49 0.93 1.22 5/269 18941
/proc/meminfo: memFree=129986288/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=59900 memory=12928 CPUtime=0 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 1489 0 0 0 0 0 0 0 20 0 1 0 32948427 61337600 3232 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 14975 3232 1984 1147 0 2402 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 64092 KiB
Current children cumulated memory: 15872 KiB
[startup+0.205923 s]*
/proc/loadavg: 0.49 0.93 1.22 6/269 18944
/proc/meminfo: memFree=129931048/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=93120 memory=47320 CPUtime=0.11 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 9239 0 0 0 9 2 0 0 20 0 1 0 32948427 95354880 11830 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 23280 11830 2240 1147 0 10707 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 97312 KiB
Current children cumulated memory: 50264 KiB
[startup+0.305916 s]*
/proc/loadavg: 0.49 0.93 1.22 5/269 18944
/proc/meminfo: memFree=129880136/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=96756 memory=49752 CPUtime=0.21 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 9850 0 0 0 18 3 0 0 20 0 1 0 32948427 99078144 12438 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 24189 12438 2240 1147 0 11616 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 100948 KiB
Current children cumulated memory: 52696 KiB
[startup+0.700166 s]
/proc/loadavg: 0.49 0.93 1.22 5/269 18944
/proc/meminfo: memFree=129874340/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=97280 memory=50520 CPUtime=0.6 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 10024 0 0 0 57 3 0 0 20 0 1 0 32948427 99614720 12630 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 24320 12630 2272 1147 0 11747 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 101472 KiB
Current children cumulated memory: 53464 KiB
[startup+1.50019 s]
/proc/loadavg: 0.49 0.93 1.22 5/269 18944
/proc/meminfo: memFree=129874340/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=97280 memory=50520 CPUtime=1.4 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 10024 0 0 0 137 3 0 0 20 0 1 0 32948427 99614720 12630 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 24320 12630 2272 1147 0 11747 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 101472 KiB
Current children cumulated memory: 53464 KiB
[startup+3.10567 s]
/proc/loadavg: 0.77 0.98 1.24 5/269 18944
/proc/meminfo: memFree=129865324/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=100844 memory=54616 CPUtime=2.99 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 11012 0 0 0 294 5 0 0 20 0 1 0 32948427 103264256 13654 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 25211 13654 2304 1147 0 12638 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 105036 KiB
Current children cumulated memory: 57560 KiB
[startup+6.30019 s]
/proc/loadavg: 0.77 0.98 1.24 5/269 18944
/proc/meminfo: memFree=129853648/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=110132 memory=63768 CPUtime=6.19 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 12799 0 0 0 605 14 0 0 20 0 1 0 32948427 112775168 15942 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 27533 15942 2336 1147 0 14960 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 114324 KiB
Current children cumulated memory: 66712 KiB
[startup+12.7002 s]
/proc/loadavg: 1.27 1.08 1.27 5/269 18944
/proc/meminfo: memFree=129842136/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=114292 memory=70296 CPUtime=12.57 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 14432 0 0 0 1234 23 0 0 20 0 1 0 32948427 117035008 17574 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 28573 17574 2336 1147 0 16000 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 118484 KiB
Current children cumulated memory: 73240 KiB
[startup+25.5002 s]
/proc/loadavg: 1.77 1.19 1.30 5/269 18944
/proc/meminfo: memFree=129770240/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=126828 memory=83008 CPUtime=25.33 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 17092 0 0 0 2495 38 0 0 20 0 1 0 32948427 129871872 20752 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 31707 20752 2336 1147 0 19134 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 131020 KiB
Current children cumulated memory: 85952 KiB
[startup+51.1057 s]
/proc/loadavg: 2.53 1.42 1.38 5/269 18946
/proc/meminfo: memFree=129666272/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=165784 memory=114376 CPUtime=50.87 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 22896 0 0 0 5013 74 0 0 20 0 1 0 32948427 169762816 28594 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 41446 28594 2336 1147 0 28873 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 169976 KiB
Current children cumulated memory: 117320 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.87 1.54 5/270 18949
/proc/meminfo: memFree=129499708/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=209616 memory=147968 CPUtime=101.92 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 29255 0 0 0 10067 125 0 0 20 0 1 0 32948427 214646784 36992 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 52404 36992 2336 1147 0 39831 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 213808 KiB
Current children cumulated memory: 150912 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 2.28 1.70 5/270 18950
/proc/meminfo: memFree=129350872/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=251960 memory=184096 CPUtime=161.76 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 32709 0 0 0 15993 183 0 0 20 0 1 0 32948427 258007040 46024 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 62990 46024 2336 1147 0 50417 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 256152 KiB
Current children cumulated memory: 187040 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.62 1.86 5/270 18952
/proc/meminfo: memFree=129275968/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=275328 memory=214528 CPUtime=221.63 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 38352 0 0 0 21911 252 0 0 20 0 1 0 32948427 281935872 53632 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 68832 53632 2336 1147 0 56259 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
/proc/18941/statm: 261250 222712 2336 1147 0 248677 0
Current children cumulated CPU time: 3094.99 s
Current children cumulated vsize: 1049192 KiB
Current children cumulated memory: 893792 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/268 19101
/proc/meminfo: memFree=125777320/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=1045000 memory=890848 CPUtime=3154.81 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 107271 0 0 0 313743 1738 0 0 20 0 1 0 32948427 1070080000 222712 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 261250 222712 2336 1147 0 248677 0
Current children cumulated CPU time: 3154.86 s
Current children cumulated vsize: 1049192 KiB
Current children cumulated memory: 893792 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/268 19103
/proc/meminfo: memFree=125776920/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=1045836 memory=891616 CPUtime=3214.66 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 107486 0 0 0 319686 1780 0 0 20 0 1 0 32948427 1070936064 222904 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 261459 222904 2336 1147 0 248886 0
Current children cumulated CPU time: 3214.71 s
Current children cumulated vsize: 1050028 KiB
Current children cumulated memory: 894560 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/268 19105
/proc/meminfo: memFree=125776756/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=1046124 memory=892000 CPUtime=3274.53 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 107580 0 0 0 325644 1809 0 0 20 0 1 0 32948427 1071230976 223000 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 261531 223000 2336 1147 0 248958 0
Current children cumulated CPU time: 3274.58 s
Current children cumulated vsize: 1050316 KiB
Current children cumulated memory: 894944 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.03 5/268 19109
/proc/meminfo: memFree=125733104/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=1049584 memory=894816 CPUtime=3334.39 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 108309 0 0 0 331603 1836 0 0 20 0 1 0 32948427 1074774016 223704 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 262396 223704 2336 1147 0 249823 0
Current children cumulated CPU time: 3334.44 s
Current children cumulated vsize: 1053776 KiB
Current children cumulated memory: 897760 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/267 19116
/proc/meminfo: memFree=125708672/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=1062916 memory=904756 CPUtime=3394.25 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 110301 0 0 0 337566 1859 0 0 20 0 1 0 32948427 1088425984 226189 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 265729 226189 2336 1147 0 253156 0
Current children cumulated CPU time: 3394.3 s
Current children cumulated vsize: 1067108 KiB
Current children cumulated memory: 907700 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.08 4.02 5/268 19119
/proc/meminfo: memFree=125677888/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=1071640 memory=910900 CPUtime=3454.1 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 111831 0 0 0 343530 1880 0 0 20 0 1 0 32948427 1097359360 227725 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 267910 227725 2336 1147 0 255337 0
Current children cumulated CPU time: 3454.15 s
Current children cumulated vsize: 1075832 KiB
Current children cumulated memory: 913844 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/268 19121
/proc/meminfo: memFree=125659944/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=1071640 memory=911284 CPUtime=3513.97 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 111948 0 0 0 349503 1894 0 0 20 0 1 0 32948427 1097359360 227821 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 267910 227821 2336 1147 0 255337 0
Current children cumulated CPU time: 3514.02 s
Current children cumulated vsize: 1075832 KiB
Current children cumulated memory: 914228 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/268 19123
/proc/meminfo: memFree=125653648/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=1071640 memory=911284 CPUtime=3573.83 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 112174 0 0 0 355461 1922 0 0 20 0 1 0 32948427 1097359360 227821 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 267910 227821 2336 1147 0 255337 0
Current children cumulated CPU time: 3573.88 s
Current children cumulated vsize: 1075832 KiB
Current children cumulated memory: 914228 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.5 s]
/proc/loadavg: 4.12 4.10 4.03 5/268 19125
/proc/meminfo: memFree=125657620/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=1071640 memory=911284 CPUtime=3599.98 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 112177 0 0 0 358053 1945 0 0 20 0 1 0 32948427 1097359360 227821 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 267910 227821 2336 1147 0 255337 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1075832 KiB
Current children cumulated memory: 914228 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3608.5 s]
# the end of solver process 18923 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.045243 s, system=0.020402 s
Sleeping 2 seconds
[startup+3608.51 s]
# the end of solver process 18941 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3580.58 s, system=19.4782 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.5 s]
/proc/loadavg: 4.12 4.10 4.03 5/268 19125
/proc/meminfo: memFree=125657620/131249996 swapFree=33010684/33010684
[pid=18923] ppid=18918 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/18923/stat : 18923 (run-dec-break.s) S 18918 18923 18866 0 -1 4194304 235 10336 0 0 0 0 4 1 20 0 1 0 32948419 4292608 736 18446744073709551615 93996876070912 93996876965445 140734676163568 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93996877204496 93996877252240 93996907597824 140734676167009 140734676167138 140734676167138 140734676172740 0
/proc/18923/statm: 1048 736 672 219 0 110 0
[pid=18941] ppid=18923 vsize=1071640 memory=911284 CPUtime=3599.98 cores=4,6
/proc/18941/stat : 18941 (roundingsat) R 18923 18923 18866 0 -1 4194304 112177 0 0 0 358053 1945 0 0 20 0 1 0 32948427 1097359360 227821 18446744073709551615 4227072 8923433 140726507156592 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12660736 140726507161924 140726507162152 140726507162152 140726507167722 0
/proc/18941/statm: 267910 227821 2336 1147 0 255337 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1075832 KiB
Current children cumulated memory: 914228 KiB
Child status: 2
Real time (s): 3608.51
CPU time (s): 3600.06
CPU user time (s): 3580.58
CPU system time (s): 19.4782
CPU usage (%): 99.7658
Max. virtual memory (cumulated for all children) (KiB): 1075832
Max. memory (cumulated for all children) (KiB): 914228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.58
system time used= 19.4782
maximum resident set size= 911668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122789
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 410
involuntary context switches= 2898
# summary of solver processes directly reported to runsolver:
# pid: 18923,18941
# total CPU time (s): 3600.06
# total CPU user time (s): 3580.58
# total CPU system time (s): 19.4782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.42492 second user time and 14.7909 second system time
The end
Begin job on nodeC022 at 2025-06-29 06:51:46
IDJOB=4506944
IDBENCH=158309
IDSOLVER=3357
FILE ID=nodeC022/4506944-1751172706
RUNJOBID= nodeC022-1751172706-18877
SLURM_JOB_ID= 9587539
Free space on /tmp= 433060 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K133.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506944-1751172706/watcher-4506944-1751172706 -o /tmp/evaluation-result-4506944-1751172706/solver-4506944-1751172706 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18877 --watchdog 3760 run-dec-break.sh HOME/instance-4506944-1751172706.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9ec822d6c0cd68d217a6cdee070ca11c
RANDOM SEED=1606326041
nodeC022 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 : 3575.080
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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.672
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.716
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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.352
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.719
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3601.390
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3601.698
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
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 : 3599.707
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130133188 kB
MemAvailable: 129784472 kB
Buffers: 3280 kB
Cached: 462228 kB
SwapCached: 0 kB
Active: 315984 kB
Inactive: 213884 kB
Active(anon): 82420 kB
Inactive(anon): 0 kB
Active(file): 233564 kB
Inactive(file): 213884 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33424 kB
Writeback: 0 kB
AnonPages: 67428 kB
Mapped: 101804 kB
Shmem: 18060 kB
KReclaimable: 85748 kB
Slab: 168748 kB
SReclaimable: 85748 kB
SUnreclaim: 83000 kB
KernelStack: 4144 kB
PageTables: 2760 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 332148 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC022 at 2025-06-29 07:51:55