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-4507052-1751176317.opb'
0.00/0.04 c read 1.27MB (18.10ms)
0.00/0.04 c [cnf: #variables 18445 #clauses 18757 #duplicates 0 #arr 120633]
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.07 c [group: #orbits ~= 2790] (24.63ms)
0.00/0.07 c
0.00/0.07 c detect special group actions
0.00/0.07 c probe for Johnson action (limit=64)
0.00/0.07 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c (4.27ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 92537 #edges 351936]
0.00/0.07 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.09 c [group: #symmetries 4.80*10^1 #generators 5] (20.20ms)
0.00/0.09 c
0.00/0.09 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.09 c (0.06ms)
0.00/0.09 c
0.00/0.09 c finalize break order and special generators
0.00/0.09 c
0.00/0.09 c add generic predicates (break_depth=10)
0.00/0.09 c added predicates for 5 generators (0.17ms)
0.00/0.09 c
0.00/0.09 c generation finished
0.00/0.09 c [sbp: #constraints 140 #add_vars 45]
0.00/0.09 c
0.00/0.09 c write result to 'HOME/instance-4507052-1751176317.opb.pre'
0.00/0.10 c wrote 1.29MB (3.01ms)
0.00/0.10 c ------------------------------------------------------------------
0.00/0.10 c 24.63ms 33.99% approx_orbits
0.00/0.10 c 20.20ms 27.88% detect_generic
0.00/0.10 c 18.10ms 24.97% parse
0.00/0.10 c 4.27ms 5.89% detect_special
0.00/0.10 c 3.01ms 4.16% output
0.00/0.10 c 1.28ms 1.76% other
0.00/0.10 c 0.75ms 1.03% finalize_order
0.00/0.10 c 0.17ms 0.23% break_generic
0.00/0.10 c 0.06ms 0.09% optimize_gens
0.00/0.10 c ───────────────────────────────────────────────
0.00/0.10 c 72.46ms 100% total
0.00/0.10 c ------------------------------------------------------------------
0.00/0.11 c RoundingSat 2
0.00/0.11 c branch pb25
0.00/0.11 c commit 63f22ad
0.16/0.22 c #variables 18490 #constraints 18895
108.59/108.90 c #Conflicts: 1000 | #Constraints: 19894
108.59/108.90 c #Conflicts: 2000 | #Constraints: 20894
108.59/108.90 c INPROCESSING
108.59/108.90 c GARBAGE COLLECT
108.59/108.90 c #Conflicts: 3000 | #Constraints: 20134
108.59/108.90 c #Conflicts: 4000 | #Constraints: 21134
108.59/108.90 c INPROCESSING
108.59/108.90 c GARBAGE COLLECT
108.59/108.90 c #Conflicts: 5000 | #Constraints: 20607
108.59/108.90 c #Conflicts: 6000 | #Constraints: 21607
108.59/108.90 c INPROCESSING
108.59/108.90 c GARBAGE COLLECT
108.59/108.90 c #Conflicts: 7000 | #Constraints: 20705
108.59/108.90 c #Conflicts: 8000 | #Constraints: 21705
108.59/108.90 c #Conflicts: 9000 | #Constraints: 22705
108.59/108.90 c INPROCESSING
108.59/108.90 c GARBAGE COLLECT
108.59/108.90 c #Conflicts: 10000 | #Constraints: 21447
108.59/108.90 c #Conflicts: 11000 | #Constraints: 22447
108.59/108.90 c #Conflicts: 12000 | #Constraints: 23447
108.59/108.90 c INPROCESSING
108.59/108.90 c GARBAGE COLLECT
108.59/108.90 c #Conflicts: 13000 | #Constraints: 21964
108.59/108.90 c #Conflicts: 14000 | #Constraints: 22964
108.59/108.90 c #Conflicts: 15000 | #Constraints: 23964
108.59/108.90 c #Conflicts: 16000 | #Constraints: 24964
108.59/108.90 c #Conflicts: 17000 | #Constraints: 25964
108.59/108.90 c #Conflicts: 18000 | #Constraints: 26964
108.59/108.90 c #Conflicts: 19000 | #Constraints: 27964
108.59/108.90 c #Conflicts: 20000 | #Constraints: 28964
108.59/108.90 c INPROCESSING
108.59/108.90 c GARBAGE COLLECT
108.59/108.90 c #Conflicts: 21000 | #Constraints: 24543
108.59/108.90 c #Conflicts: 22000 | #Constraints: 25543
108.59/108.90 c #Conflicts: 23000 | #Constraints: 26543
108.59/108.90 c #Conflicts: 24000 | #Constraints: 27543
108.59/108.90 c INPROCESSING
108.59/108.90 c GARBAGE COLLECT
108.59/108.90 c #Conflicts: 25000 | #Constraints: 23878
108.59/108.90 c #Conflicts: 26000 | #Constraints: 24878
108.59/108.90 c #Conflicts: 27000 | #Constraints: 25878
108.59/108.90 c #Conflicts: 28000 | #Constraints: 26878
108.59/108.90 c #Conflicts: 29000 | #Constraints: 27878
108.59/108.90 c #Conflicts: 30000 | #Constraints: 28878
108.59/108.90 c #Conflicts: 31000 | #Constraints: 29878
108.59/108.90 c #Conflicts: 32000 | #Constraints: 30878
108.59/108.90 c #Conflicts: 33000 | #Constraints: 31878
108.59/108.90 c #Conflicts: 34000 | #Constraints: 32878
108.59/108.90 c #Conflicts: 35000 | #Constraints: 33878
108.59/108.90 c #Conflicts: 36000 | #Constraints: 34878
108.59/108.90 c INPROCESSING
108.59/108.90 c GARBAGE COLLECT
108.59/108.90 c #Conflicts: 37000 | #Constraints: 27892
108.59/108.90 c #Conflicts: 38000 | #Constraints: 28892
108.59/108.90 c #Conflicts: 39000 | #Constraints: 29892
108.59/108.90 c #Conflicts: 40000 | #Constraints: 30892
108.59/108.90 c #Conflicts: 41000 | #Constraints: 31892
108.59/108.90 c INPROCESSING
108.59/108.90 c GARBAGE COLLECT
108.59/108.90 c #Conflicts: 42000 | #Constraints: 26251
108.59/108.90 c #Conflicts: 43000 | #Constraints: 27251
108.59/108.90 c #Conflicts: 44000 | #Constraints: 28251
108.59/108.90 c #Conflicts: 45000 | #Constraints: 29251
108.59/108.90 c #Conflicts: 46000 | #Constraints: 30251
108.59/108.90 c #Conflicts: 47000 | #Constraints: 31251
108.59/108.90 c #Conflicts: 48000 | #Constraints: 32251
108.59/108.90 c #Conflicts: 49000 | #Constraints: 33251
108.59/108.90 c #Conflicts: 50000 | #Constraints: 34251
108.59/108.90 c #Conflicts: 51000 | #Constraints: 35251
108.59/108.90 c #Conflicts: 52000 | #Constraints: 36251
108.59/108.90 c #Conflicts: 53000 | #Constraints: 37251
108.59/108.90 c #Conflicts: 54000 | #Constraints: 38251
108.59/108.90 c #Conflicts: 55000 | #Constraints: 39251
108.59/108.90 c #Conflicts: 56000 | #Constraints: 40251
108.59/108.90 c INPROCESSING
108.59/108.90 c GARBAGE COLLECT
108.59/108.90 c #Conflicts: 57000 | #Constraints: 30685
108.59/108.90 c #Conflicts: 58000 | #Constraints: 31685
108.59/108.90 c #Conflicts: 59000 | #Constraints: 32685
108.59/108.90 c #Conflicts: 60000 | #Constraints: 33685
108.59/108.90 c #Conflicts: 61000 | #Constraints: 34685
108.59/108.90 c #Conflicts: 62000 | #Constraints: 35685
108.59/108.90 c INPROCESSING
108.59/108.90 c GARBAGE COLLECT
108.59/108.90 c #Conflicts: 63000 | #Constraints: 28110
108.59/108.90 c #Conflicts: 64000 | #Constraints: 29110
108.59/108.90 c #Conflicts: 65000 | #Constraints: 30110
108.59/108.90 c #Conflicts: 66000 | #Constraints: 31110
108.59/108.90 c #Conflicts: 67000 | #Constraints: 32110
108.59/108.90 c #Conflicts: 68000 | #Constraints: 33110
108.59/108.90 c #Conflicts: 69000 | #Constraints: 34110
108.59/108.90 c #Conflicts: 70000 | #Constraints: 35110
108.59/108.90 c #Conflicts: 71000 | #Constraints: 36110
108.59/108.90 c #Conflicts: 72000 | #Constraints: 37110
240.19/240.88 c #Conflicts: 73000 | #Constraints: 38110
240.19/240.88 c #Conflicts: 74000 | #Constraints: 39110
240.19/240.88 c #Conflicts: 75000 | #Constraints: 40110
240.19/240.88 c #Conflicts: 76000 | #Constraints: 41110
240.19/240.88 c #Conflicts: 77000 | #Constraints: 42110
240.19/240.88 c #Conflicts: 78000 | #Constraints: 43110
240.19/240.88 c #Conflicts: 79000 | #Constraints: 44110
240.19/240.88 c #Conflicts: 80000 | #Constraints: 45110
240.19/240.88 c INPROCESSING
240.19/240.88 c GARBAGE COLLECT
240.19/240.88 c #Conflicts: 81000 | #Constraints: 33075
240.19/240.88 c #Conflicts: 82000 | #Constraints: 34075
240.19/240.88 c #Conflicts: 83000 | #Constraints: 35075
240.19/240.88 c #Conflicts: 84000 | #Constraints: 36075
240.19/240.88 c #Conflicts: 85000 | #Constraints: 37075
240.19/240.88 c #Conflicts: 86000 | #Constraints: 38075
240.19/240.88 c #Conflicts: 87000 | #Constraints: 39075
240.19/240.88 c #Conflicts: 88000 | #Constraints: 40075
240.19/240.88 c INPROCESSING
240.19/240.88 c GARBAGE COLLECT
240.19/240.88 c #Conflicts: 89000 | #Constraints: 30869
240.19/240.88 c #Conflicts: 90000 | #Constraints: 31869
240.19/240.88 c #Conflicts: 91000 | #Constraints: 32869
240.19/240.88 c #Conflicts: 92000 | #Constraints: 33869
240.19/240.88 c #Conflicts: 93000 | #Constraints: 34869
240.19/240.88 c #Conflicts: 94000 | #Constraints: 35869
240.19/240.88 c #Conflicts: 95000 | #Constraints: 36869
240.19/240.88 c #Conflicts: 96000 | #Constraints: 37869
240.19/240.88 c #Conflicts: 97000 | #Constraints: 38869
240.19/240.88 c #Conflicts: 98000 | #Constraints: 39869
240.19/240.88 c #Conflicts: 99000 | #Constraints: 40869
240.19/240.88 c #Conflicts: 100000 | #Constraints: 41869
240.19/240.88 c #Conflicts: 101000 | #Constraints: 42869
240.19/240.88 c #Conflicts: 102000 | #Constraints: 43869
240.19/240.88 c #Conflicts: 103000 | #Constraints: 44869
240.19/240.88 c #Conflicts: 104000 | #Constraints: 45869
240.19/240.88 c #Conflicts: 105000 | #Constraints: 46869
240.19/240.88 c #Conflicts: 106000 | #Constraints: 47869
240.19/240.88 c #Conflicts: 107000 | #Constraints: 48869
240.19/240.88 c #Conflicts: 108000 | #Constraints: 49869
240.19/240.88 c #Conflicts: 109000 | #Constraints: 50869
240.19/240.88 c INPROCESSING
240.19/240.88 c GARBAGE COLLECT
240.19/240.88 c #Conflicts: 110000 | #Constraints: 36064
240.19/240.88 c #Conflicts: 111000 | #Constraints: 37064
240.19/240.88 c #Conflicts: 112000 | #Constraints: 38064
240.19/240.88 c #Conflicts: 113000 | #Constraints: 39064
240.19/240.88 c #Conflicts: 114000 | #Constraints: 40064
240.19/240.88 c #Conflicts: 115000 | #Constraints: 41064
240.19/240.88 c #Conflicts: 116000 | #Constraints: 42064
240.19/240.88 c #Conflicts: 117000 | #Constraints: 43064
240.19/240.88 c #Conflicts: 118000 | #Constraints: 44064
240.19/240.88 c INPROCESSING
240.19/240.88 c GARBAGE COLLECT
240.19/240.88 c #Conflicts: 119000 | #Constraints: 33184
240.19/240.88 c #Conflicts: 120000 | #Constraints: 34184
240.19/240.88 c #Conflicts: 121000 | #Constraints: 35184
240.19/240.88 c #Conflicts: 122000 | #Constraints: 36184
240.19/240.88 c #Conflicts: 123000 | #Constraints: 37184
240.19/240.88 c #Conflicts: 124000 | #Constraints: 38184
240.19/240.88 c #Conflicts: 125000 | #Constraints: 39184
240.19/240.88 c #Conflicts: 126000 | #Constraints: 40184
240.19/240.88 c #Conflicts: 127000 | #Constraints: 41184
240.19/240.88 c #Conflicts: 128000 | #Constraints: 42184
240.19/240.88 c #Conflicts: 129000 | #Constraints: 43184
240.19/240.88 c #Conflicts: 130000 | #Constraints: 44184
240.19/240.88 c #Conflicts: 131000 | #Constraints: 45184
240.19/240.88 c #Conflicts: 132000 | #Constraints: 46184
240.19/240.88 c #Conflicts: 133000 | #Constraints: 47184
240.19/240.88 c #Conflicts: 134000 | #Constraints: 48184
240.19/240.88 c #Conflicts: 135000 | #Constraints: 49184
240.19/240.88 c #Conflicts: 136000 | #Constraints: 50184
240.19/240.88 c #Conflicts: 137000 | #Constraints: 51184
240.19/240.88 c #Conflicts: 138000 | #Constraints: 52184
240.19/240.88 c #Conflicts: 139000 | #Constraints: 53184
240.19/240.88 c #Conflicts: 140000 | #Constraints: 54184
240.19/240.88 c #Conflicts: 141000 | #Constraints: 55184
240.19/240.88 c #Conflicts: 142000 | #Constraints: 56184
240.19/240.88 c INPROCESSING
240.19/240.88 c GARBAGE COLLECT
240.19/240.88 c #Conflicts: 143000 | #Constraints: 38808
240.19/240.88 c #Conflicts: 144000 | #Constraints: 39808
240.19/240.88 c #Conflicts: 145000 | #Constraints: 40808
240.19/240.88 c #Conflicts: 146000 | #Constraints: 41808
240.19/240.88 c #Conflicts: 147000 | #Constraints: 42808
240.19/240.88 c #Conflicts: 148000 | #Constraints: 43808
415.26/416.38 c #Conflicts: 149000 | #Constraints: 44808
415.26/416.38 c #Conflicts: 150000 | #Constraints: 45808
415.26/416.38 c #Conflicts: 151000 | #Constraints: 46808
415.26/416.38 c #Conflicts: 152000 | #Constraints: 47808
415.26/416.38 c #Conflicts: 153000 | #Constraints: 48808
415.26/416.38 c INPROCESSING
415.26/416.38 c GARBAGE COLLECT
415.26/416.38 c #Conflicts: 154000 | #Constraints: 36491
415.26/416.38 c #Conflicts: 155000 | #Constraints: 37491
415.26/416.38 c #Conflicts: 156000 | #Constraints: 38491
415.26/416.38 c #Conflicts: 157000 | #Constraints: 39491
415.26/416.38 c #Conflicts: 158000 | #Constraints: 40491
415.26/416.38 c #Conflicts: 159000 | #Constraints: 41491
415.26/416.38 c #Conflicts: 160000 | #Constraints: 42491
415.26/416.38 c #Conflicts: 161000 | #Constraints: 43491
415.26/416.38 c #Conflicts: 162000 | #Constraints: 44491
415.26/416.38 c #Conflicts: 163000 | #Constraints: 45491
415.26/416.38 c #Conflicts: 164000 | #Constraints: 46491
415.26/416.38 c #Conflicts: 165000 | #Constraints: 47491
415.26/416.38 c #Conflicts: 166000 | #Constraints: 48491
415.26/416.38 c #Conflicts: 167000 | #Constraints: 49491
415.26/416.38 c #Conflicts: 168000 | #Constraints: 50491
415.26/416.38 c #Conflicts: 169000 | #Constraints: 51491
415.26/416.38 c #Conflicts: 170000 | #Constraints: 52491
415.26/416.38 c #Conflicts: 171000 | #Constraints: 53491
415.26/416.38 c #Conflicts: 172000 | #Constraints: 54491
415.26/416.38 c #Conflicts: 173000 | #Constraints: 55491
415.26/416.38 c #Conflicts: 174000 | #Constraints: 56491
415.26/416.38 c #Conflicts: 175000 | #Constraints: 57491
415.26/416.38 c #Conflicts: 176000 | #Constraints: 58491
415.26/416.38 c #Conflicts: 177000 | #Constraints: 59491
415.26/416.38 c #Conflicts: 178000 | #Constraints: 60491
415.26/416.38 c #Conflicts: 179000 | #Constraints: 61491
415.26/416.38 c #Conflicts: 180000 | #Constraints: 62491
415.26/416.38 c INPROCESSING
415.26/416.38 c GARBAGE COLLECT
415.26/416.38 c #Conflicts: 181000 | #Constraints: 42141
415.26/416.38 c #Conflicts: 182000 | #Constraints: 43141
415.26/416.38 c #Conflicts: 183000 | #Constraints: 44141
415.26/416.38 c #Conflicts: 184000 | #Constraints: 45141
415.26/416.38 c #Conflicts: 185000 | #Constraints: 46141
415.26/416.38 c #Conflicts: 186000 | #Constraints: 47141
415.26/416.38 c #Conflicts: 187000 | #Constraints: 48141
415.26/416.38 c #Conflicts: 188000 | #Constraints: 49141
415.26/416.38 c #Conflicts: 189000 | #Constraints: 50141
415.26/416.38 c #Conflicts: 190000 | #Constraints: 51141
415.26/416.38 c #Conflicts: 191000 | #Constraints: 52141
415.26/416.38 c INPROCESSING
415.26/416.38 c GARBAGE COLLECT
415.26/416.38 c #Conflicts: 192000 | #Constraints: 37950
415.26/416.38 c #Conflicts: 193000 | #Constraints: 38950
415.26/416.38 c #Conflicts: 194000 | #Constraints: 39950
415.26/416.38 c #Conflicts: 195000 | #Constraints: 40950
415.26/416.38 c #Conflicts: 196000 | #Constraints: 41950
415.26/416.38 c #Conflicts: 197000 | #Constraints: 42950
415.26/416.38 c #Conflicts: 198000 | #Constraints: 43950
415.26/416.38 c #Conflicts: 199000 | #Constraints: 44950
415.26/416.38 c #Conflicts: 200000 | #Constraints: 45950
415.26/416.38 c #Conflicts: 201000 | #Constraints: 46950
415.26/416.38 c #Conflicts: 202000 | #Constraints: 47950
415.26/416.38 c #Conflicts: 203000 | #Constraints: 48950
415.26/416.38 c #Conflicts: 204000 | #Constraints: 49950
415.26/416.38 c #Conflicts: 205000 | #Constraints: 50950
415.26/416.38 c #Conflicts: 206000 | #Constraints: 51950
415.26/416.38 c #Conflicts: 207000 | #Constraints: 52950
415.26/416.38 c #Conflicts: 208000 | #Constraints: 53950
415.26/416.38 c #Conflicts: 209000 | #Constraints: 54950
415.26/416.38 c #Conflicts: 210000 | #Constraints: 55950
415.26/416.38 c #Conflicts: 211000 | #Constraints: 56950
415.26/416.38 c #Conflicts: 212000 | #Constraints: 57950
415.26/416.38 c #Conflicts: 213000 | #Constraints: 58950
415.26/416.38 c #Conflicts: 214000 | #Constraints: 59950
415.26/416.38 c #Conflicts: 215000 | #Constraints: 60950
415.26/416.38 c #Conflicts: 216000 | #Constraints: 61950
415.26/416.38 c #Conflicts: 217000 | #Constraints: 62950
415.26/416.38 c #Conflicts: 218000 | #Constraints: 63950
415.26/416.38 c #Conflicts: 219000 | #Constraints: 64950
415.26/416.38 c #Conflicts: 220000 | #Constraints: 65950
415.26/416.38 c #Conflicts: 221000 | #Constraints: 66950
415.26/416.38 c #Conflicts: 222000 | #Constraints: 67950
415.26/416.38 c INPROCESSING
415.26/416.38 c GARBAGE COLLECT
415.26/416.38 c rational objective 155.031
534.09/535.42 c #Conflicts: 223000 | #Constraints: 45003
534.09/535.42 c #Conflicts: 224000 | #Constraints: 46003
534.09/535.42 c #Conflicts: 225000 | #Constraints: 47003
534.09/535.42 c #Conflicts: 226000 | #Constraints: 48003
534.09/535.42 c #Conflicts: 227000 | #Constraints: 49003
534.09/535.42 c #Conflicts: 228000 | #Constraints: 50003
534.09/535.42 c #Conflicts: 229000 | #Constraints: 51003
534.09/535.42 c #Conflicts: 230000 | #Constraints: 52003
534.09/535.42 c #Conflicts: 231000 | #Constraints: 53003
534.09/535.42 c #Conflicts: 232000 | #Constraints: 54003
534.09/535.42 c #Conflicts: 233000 | #Constraints: 55003
534.09/535.42 c #Conflicts: 234000 | #Constraints: 56003
534.09/535.42 c #Conflicts: 235000 | #Constraints: 57003
534.09/535.42 c INPROCESSING
534.09/535.42 c GARBAGE COLLECT
534.09/535.42 c #Conflicts: 236000 | #Constraints: 40827
534.09/535.42 c #Conflicts: 237000 | #Constraints: 41827
534.09/535.42 c #Conflicts: 238000 | #Constraints: 42827
534.09/535.42 c #Conflicts: 239000 | #Constraints: 43827
534.09/535.42 c #Conflicts: 240000 | #Constraints: 44827
534.09/535.42 c #Conflicts: 241000 | #Constraints: 45827
534.09/535.42 c #Conflicts: 242000 | #Constraints: 46827
534.09/535.42 c #Conflicts: 243000 | #Constraints: 47827
534.09/535.42 c #Conflicts: 244000 | #Constraints: 48827
534.09/535.42 c #Conflicts: 245000 | #Constraints: 49827
534.09/535.42 c #Conflicts: 246000 | #Constraints: 50827
534.09/535.42 c #Conflicts: 247000 | #Constraints: 51827
534.09/535.42 c #Conflicts: 248000 | #Constraints: 52827
534.09/535.42 c #Conflicts: 249000 | #Constraints: 53827
534.09/535.42 c #Conflicts: 250000 | #Constraints: 54827
534.09/535.42 c #Conflicts: 251000 | #Constraints: 55827
534.09/535.42 c #Conflicts: 252000 | #Constraints: 56827
534.09/535.42 c #Conflicts: 253000 | #Constraints: 57827
534.09/535.42 c #Conflicts: 254000 | #Constraints: 58827
534.09/535.42 c #Conflicts: 255000 | #Constraints: 59827
534.09/535.42 c #Conflicts: 256000 | #Constraints: 60827
534.09/535.42 c #Conflicts: 257000 | #Constraints: 61827
534.09/535.42 c #Conflicts: 258000 | #Constraints: 62827
534.09/535.42 c #Conflicts: 259000 | #Constraints: 63827
534.09/535.42 c #Conflicts: 260000 | #Constraints: 64827
534.09/535.42 c #Conflicts: 261000 | #Constraints: 65827
534.09/535.42 c #Conflicts: 262000 | #Constraints: 66827
534.09/535.42 c #Conflicts: 263000 | #Constraints: 67827
534.09/535.42 c #Conflicts: 264000 | #Constraints: 68827
534.09/535.42 c #Conflicts: 265000 | #Constraints: 69827
534.09/535.42 c #Conflicts: 266000 | #Constraints: 70827
534.09/535.42 c #Conflicts: 267000 | #Constraints: 71827
534.09/535.42 c #Conflicts: 268000 | #Constraints: 72827
534.09/535.42 c INPROCESSING
534.09/535.42 c GARBAGE COLLECT
534.09/535.42 c #Conflicts: 269000 | #Constraints: 47276
534.09/535.42 c #Conflicts: 270000 | #Constraints: 48276
534.09/535.42 c #Conflicts: 271000 | #Constraints: 49276
534.09/535.42 c #Conflicts: 272000 | #Constraints: 50276
534.09/535.42 c #Conflicts: 273000 | #Constraints: 51276
534.09/535.42 c #Conflicts: 274000 | #Constraints: 52276
534.09/535.42 c #Conflicts: 275000 | #Constraints: 53276
534.09/535.42 c #Conflicts: 276000 | #Constraints: 54276
534.09/535.42 c #Conflicts: 277000 | #Constraints: 55276
534.09/535.42 c #Conflicts: 278000 | #Constraints: 56276
534.09/535.42 c #Conflicts: 279000 | #Constraints: 57276
534.09/535.42 c #Conflicts: 280000 | #Constraints: 58276
534.09/535.42 c #Conflicts: 281000 | #Constraints: 59276
534.09/535.42 c #Conflicts: 282000 | #Constraints: 60276
534.09/535.42 c INPROCESSING
534.09/535.42 c GARBAGE COLLECT
534.09/535.42 c #Conflicts: 283000 | #Constraints: 42672
534.09/535.42 c #Conflicts: 284000 | #Constraints: 43672
534.09/535.42 c #Conflicts: 285000 | #Constraints: 44672
534.09/535.42 c #Conflicts: 286000 | #Constraints: 45672
534.09/535.42 c #Conflicts: 287000 | #Constraints: 46672
534.09/535.42 c #Conflicts: 288000 | #Constraints: 47672
534.09/535.42 c #Conflicts: 289000 | #Constraints: 48672
534.09/535.42 c #Conflicts: 290000 | #Constraints: 49672
534.09/535.42 c #Conflicts: 291000 | #Constraints: 50672
534.09/535.42 c #Conflicts: 292000 | #Constraints: 51672
534.09/535.42 c #Conflicts: 293000 | #Constraints: 52672
534.09/535.42 c #Conflicts: 294000 | #Constraints: 53672
534.09/535.42 c #Conflicts: 295000 | #Constraints: 54672
534.09/535.42 c #Conflicts: 296000 | #Constraints: 55672
534.09/535.42 c #Conflicts: 297000 | #Constraints: 56672
534.09/535.42 c #Conflicts: 298000 | #Constraints: 57672
534.09/535.42 c #Conflicts: 299000 | #Constraints: 58672
711.33/713.18 c #Conflicts: 300000 | #Constraints: 59672
711.33/713.18 c #Conflicts: 301000 | #Constraints: 60672
711.33/713.18 c #Conflicts: 302000 | #Constraints: 61672
711.33/713.18 c #Conflicts: 303000 | #Constraints: 62672
711.33/713.18 c #Conflicts: 304000 | #Constraints: 63672
711.33/713.18 c #Conflicts: 305000 | #Constraints: 64672
711.33/713.18 c #Conflicts: 306000 | #Constraints: 65672
711.33/713.18 c #Conflicts: 307000 | #Constraints: 66672
711.33/713.18 c #Conflicts: 308000 | #Constraints: 67672
711.33/713.18 c #Conflicts: 309000 | #Constraints: 68672
711.33/713.18 c #Conflicts: 310000 | #Constraints: 69672
711.33/713.18 c #Conflicts: 311000 | #Constraints: 70672
711.33/713.18 c #Conflicts: 312000 | #Constraints: 71672
711.33/713.18 c #Conflicts: 313000 | #Constraints: 72672
711.33/713.18 c #Conflicts: 314000 | #Constraints: 73672
711.33/713.18 c #Conflicts: 315000 | #Constraints: 74672
711.33/713.18 c #Conflicts: 316000 | #Constraints: 75672
711.33/713.18 c #Conflicts: 317000 | #Constraints: 76672
711.33/713.18 c #Conflicts: 318000 | #Constraints: 77672
711.33/713.18 c #Conflicts: 319000 | #Constraints: 78672
711.33/713.18 c INPROCESSING
711.33/713.18 c GARBAGE COLLECT
711.33/713.18 c #Conflicts: 320000 | #Constraints: 50447
711.33/713.18 c #Conflicts: 321000 | #Constraints: 51447
711.33/713.18 c #Conflicts: 322000 | #Constraints: 52447
711.33/713.18 c #Conflicts: 323000 | #Constraints: 53447
711.33/713.18 c #Conflicts: 324000 | #Constraints: 54447
711.33/713.18 c #Conflicts: 325000 | #Constraints: 55447
711.33/713.18 c #Conflicts: 326000 | #Constraints: 56447
711.33/713.18 c #Conflicts: 327000 | #Constraints: 57447
711.33/713.18 c #Conflicts: 328000 | #Constraints: 58447
711.33/713.18 c #Conflicts: 329000 | #Constraints: 59447
711.33/713.18 c #Conflicts: 330000 | #Constraints: 60447
711.33/713.18 c #Conflicts: 331000 | #Constraints: 61447
711.33/713.18 c #Conflicts: 332000 | #Constraints: 62447
711.33/713.18 c #Conflicts: 333000 | #Constraints: 63447
711.33/713.18 c #Conflicts: 334000 | #Constraints: 64447
711.33/713.18 c #Conflicts: 335000 | #Constraints: 65447
711.33/713.18 c INPROCESSING
711.33/713.18 c GARBAGE COLLECT
711.33/713.18 c #Conflicts: 336000 | #Constraints: 45710
711.33/713.18 c #Conflicts: 337000 | #Constraints: 46710
711.33/713.18 c #Conflicts: 338000 | #Constraints: 47710
711.33/713.18 c #Conflicts: 339000 | #Constraints: 48710
711.33/713.18 c #Conflicts: 340000 | #Constraints: 49710
711.33/713.18 c #Conflicts: 341000 | #Constraints: 50710
711.33/713.18 c #Conflicts: 342000 | #Constraints: 51710
711.33/713.18 c #Conflicts: 343000 | #Constraints: 52710
711.33/713.18 c #Conflicts: 344000 | #Constraints: 53710
711.33/713.18 c #Conflicts: 345000 | #Constraints: 54711
711.33/713.18 c #Conflicts: 346000 | #Constraints: 55711
711.33/713.18 c #Conflicts: 347000 | #Constraints: 56711
711.33/713.18 c #Conflicts: 348000 | #Constraints: 57711
711.33/713.18 c #Conflicts: 349000 | #Constraints: 58711
711.33/713.18 c #Conflicts: 350000 | #Constraints: 59711
711.33/713.18 c #Conflicts: 351000 | #Constraints: 60711
711.33/713.18 c #Conflicts: 352000 | #Constraints: 61711
711.33/713.18 c #Conflicts: 353000 | #Constraints: 62711
711.33/713.18 c #Conflicts: 354000 | #Constraints: 63711
711.33/713.18 c #Conflicts: 355000 | #Constraints: 64711
711.33/713.18 c #Conflicts: 356000 | #Constraints: 65711
711.33/713.18 c #Conflicts: 357000 | #Constraints: 66711
711.33/713.18 c #Conflicts: 358000 | #Constraints: 67711
711.33/713.18 c #Conflicts: 359000 | #Constraints: 68711
711.33/713.18 c #Conflicts: 360000 | #Constraints: 69711
711.33/713.18 c #Conflicts: 361000 | #Constraints: 70711
711.33/713.18 c #Conflicts: 362000 | #Constraints: 71711
711.33/713.18 c #Conflicts: 363000 | #Constraints: 72711
711.33/713.18 c #Conflicts: 364000 | #Constraints: 73711
711.33/713.18 c #Conflicts: 365000 | #Constraints: 74711
711.33/713.18 c #Conflicts: 366000 | #Constraints: 75711
711.33/713.18 c #Conflicts: 367000 | #Constraints: 76711
711.33/713.18 c #Conflicts: 368000 | #Constraints: 77711
711.33/713.18 c #Conflicts: 369000 | #Constraints: 78711
711.33/713.18 c #Conflicts: 370000 | #Constraints: 79711
711.33/713.18 c #Conflicts: 371000 | #Constraints: 80711
711.33/713.18 c #Conflicts: 372000 | #Constraints: 81711
711.33/713.18 c #Conflicts: 373000 | #Constraints: 82711
711.33/713.18 c #Conflicts: 374000 | #Constraints: 83711
711.33/713.18 c INPROCESSING
711.33/713.18 c GARBAGE COLLECT
711.33/713.18 c #Conflicts: 375000 | #Constraints: 52817
711.33/713.18 c #Conflicts: 376000 | #Constraints: 53817
849.16/851.34 c #Conflicts: 377000 | #Constraints: 54817
849.16/851.34 c #Conflicts: 378000 | #Constraints: 55817
849.16/851.34 c #Conflicts: 379000 | #Constraints: 56817
849.16/851.34 c #Conflicts: 380000 | #Constraints: 57817
849.16/851.34 c #Conflicts: 381000 | #Constraints: 58817
849.16/851.34 c #Conflicts: 382000 | #Constraints: 59817
849.16/851.34 c #Conflicts: 383000 | #Constraints: 60817
849.16/851.34 c #Conflicts: 384000 | #Constraints: 61817
849.16/851.34 c #Conflicts: 385000 | #Constraints: 62817
849.16/851.34 c #Conflicts: 386000 | #Constraints: 63817
849.16/851.34 c #Conflicts: 387000 | #Constraints: 64817
849.16/851.34 c #Conflicts: 388000 | #Constraints: 65817
849.16/851.34 c #Conflicts: 389000 | #Constraints: 66817
849.16/851.34 c #Conflicts: 390000 | #Constraints: 67817
849.16/851.34 c #Conflicts: 391000 | #Constraints: 68817
849.16/851.34 c INPROCESSING
849.16/851.34 c GARBAGE COLLECT
849.16/851.34 c #Conflicts: 392000 | #Constraints: 47963
849.16/851.34 c #Conflicts: 393000 | #Constraints: 48963
849.16/851.34 c #Conflicts: 394000 | #Constraints: 49963
849.16/851.34 c #Conflicts: 395000 | #Constraints: 50963
849.16/851.34 c #Conflicts: 396000 | #Constraints: 51963
849.16/851.34 c #Conflicts: 397000 | #Constraints: 52963
849.16/851.34 c #Conflicts: 398000 | #Constraints: 53963
849.16/851.34 c #Conflicts: 399000 | #Constraints: 54963
849.16/851.34 c #Conflicts: 400000 | #Constraints: 55963
849.16/851.34 c #Conflicts: 401000 | #Constraints: 56963
849.16/851.34 c #Conflicts: 402000 | #Constraints: 57963
849.16/851.34 c #Conflicts: 403000 | #Constraints: 58963
849.16/851.34 c #Conflicts: 404000 | #Constraints: 59963
849.16/851.34 c #Conflicts: 405000 | #Constraints: 60963
849.16/851.34 c #Conflicts: 406000 | #Constraints: 61963
849.16/851.34 c #Conflicts: 407000 | #Constraints: 62963
849.16/851.34 c #Conflicts: 408000 | #Constraints: 63963
849.16/851.34 c #Conflicts: 409000 | #Constraints: 64963
849.16/851.34 c #Conflicts: 410000 | #Constraints: 65963
849.16/851.34 c #Conflicts: 411000 | #Constraints: 66963
849.16/851.34 c #Conflicts: 412000 | #Constraints: 67963
849.16/851.34 c #Conflicts: 413000 | #Constraints: 68963
849.16/851.34 c #Conflicts: 414000 | #Constraints: 69963
849.16/851.34 c #Conflicts: 415000 | #Constraints: 70963
849.16/851.34 c #Conflicts: 416000 | #Constraints: 71963
849.16/851.34 c #Conflicts: 417000 | #Constraints: 72963
849.16/851.34 c #Conflicts: 418000 | #Constraints: 73963
849.16/851.34 c #Conflicts: 419000 | #Constraints: 74963
849.16/851.34 c #Conflicts: 420000 | #Constraints: 75963
849.16/851.34 c #Conflicts: 421000 | #Constraints: 76963
849.16/851.34 c #Conflicts: 422000 | #Constraints: 77963
849.16/851.34 c #Conflicts: 423000 | #Constraints: 78963
849.16/851.34 c #Conflicts: 424000 | #Constraints: 79963
849.16/851.34 c #Conflicts: 425000 | #Constraints: 80963
849.16/851.34 c #Conflicts: 426000 | #Constraints: 81963
849.16/851.34 c #Conflicts: 427000 | #Constraints: 82963
849.16/851.34 c #Conflicts: 428000 | #Constraints: 83963
849.16/851.34 c #Conflicts: 429000 | #Constraints: 84963
849.16/851.34 c #Conflicts: 430000 | #Constraints: 85963
849.16/851.34 c #Conflicts: 431000 | #Constraints: 86963
849.16/851.34 c #Conflicts: 432000 | #Constraints: 87963
849.16/851.34 c #Conflicts: 433000 | #Constraints: 88963
849.16/851.34 c #Conflicts: 434000 | #Constraints: 89963
849.16/851.34 c INPROCESSING
849.16/851.34 c GARBAGE COLLECT
849.16/851.34 c #Conflicts: 435000 | #Constraints: 56170
849.16/851.34 c #Conflicts: 436000 | #Constraints: 57170
849.16/851.34 c #Conflicts: 437000 | #Constraints: 58170
849.16/851.34 c #Conflicts: 438000 | #Constraints: 59170
849.16/851.34 c #Conflicts: 439000 | #Constraints: 60170
849.16/851.34 c #Conflicts: 440000 | #Constraints: 61170
849.16/851.34 c #Conflicts: 441000 | #Constraints: 62170
849.16/851.34 c #Conflicts: 442000 | #Constraints: 63170
849.16/851.34 c #Conflicts: 443000 | #Constraints: 64170
849.16/851.34 c #Conflicts: 444000 | #Constraints: 65170
849.16/851.34 c #Conflicts: 445000 | #Constraints: 66170
849.16/851.34 c #Conflicts: 446000 | #Constraints: 67170
849.16/851.34 c #Conflicts: 447000 | #Constraints: 68170
849.16/851.34 c #Conflicts: 448000 | #Constraints: 69170
849.16/851.34 c #Conflicts: 449000 | #Constraints: 70170
849.16/851.34 c #Conflicts: 450000 | #Constraints: 71170
849.16/851.34 c #Conflicts: 451000 | #Constraints: 72170
849.16/851.34 c #Conflicts: 452000 | #Constraints: 73170
849.16/851.34 c INPROCESSING
849.16/851.34 c GARBAGE COLLECT
849.16/851.34 c #Conflicts: 453000 | #Constraints: 50374
1110.26/1113.17 c #Conflicts: 454000 | #Constraints: 51374
1110.26/1113.17 c #Conflicts: 455000 | #Constraints: 52374
1110.26/1113.17 c #Conflicts: 456000 | #Constraints: 53374
1110.26/1113.17 c #Conflicts: 457000 | #Constraints: 54374
1110.26/1113.17 c #Conflicts: 458000 | #Constraints: 55374
1110.26/1113.17 c #Conflicts: 459000 | #Constraints: 56374
1110.26/1113.17 c #Conflicts: 460000 | #Constraints: 57374
1110.26/1113.17 c #Conflicts: 461000 | #Constraints: 58374
1110.26/1113.17 c #Conflicts: 462000 | #Constraints: 59374
1110.26/1113.17 c #Conflicts: 463000 | #Constraints: 60374
1110.26/1113.17 c #Conflicts: 464000 | #Constraints: 61374
1110.26/1113.17 c #Conflicts: 465000 | #Constraints: 62374
1110.26/1113.17 c #Conflicts: 466000 | #Constraints: 63374
1110.26/1113.17 c #Conflicts: 467000 | #Constraints: 64374
1110.26/1113.17 c #Conflicts: 468000 | #Constraints: 65374
1110.26/1113.17 c #Conflicts: 469000 | #Constraints: 66374
1110.26/1113.17 c #Conflicts: 470000 | #Constraints: 67374
1110.26/1113.17 c #Conflicts: 471000 | #Constraints: 68374
1110.26/1113.17 c #Conflicts: 472000 | #Constraints: 69374
1110.26/1113.17 c #Conflicts: 473000 | #Constraints: 70374
1110.26/1113.17 c #Conflicts: 474000 | #Constraints: 71374
1110.26/1113.17 c #Conflicts: 475000 | #Constraints: 72374
1110.26/1113.17 c #Conflicts: 476000 | #Constraints: 73374
1110.26/1113.17 c #Conflicts: 477000 | #Constraints: 74374
1110.26/1113.17 c #Conflicts: 478000 | #Constraints: 75374
1110.26/1113.17 c #Conflicts: 479000 | #Constraints: 76374
1110.26/1113.17 c #Conflicts: 480000 | #Constraints: 77374
1110.26/1113.17 c #Conflicts: 481000 | #Constraints: 78374
1110.26/1113.17 c #Conflicts: 482000 | #Constraints: 79374
1110.26/1113.17 c #Conflicts: 483000 | #Constraints: 80374
1110.26/1113.17 c #Conflicts: 484000 | #Constraints: 81374
1110.26/1113.17 c #Conflicts: 485000 | #Constraints: 82374
1110.26/1113.17 c #Conflicts: 486000 | #Constraints: 83374
1110.26/1113.17 c #Conflicts: 487000 | #Constraints: 84374
1110.26/1113.17 c #Conflicts: 488000 | #Constraints: 85374
1110.26/1113.17 c #Conflicts: 489000 | #Constraints: 86374
1110.26/1113.17 c #Conflicts: 490000 | #Constraints: 87374
1110.26/1113.17 c #Conflicts: 491000 | #Constraints: 88374
1110.26/1113.17 c #Conflicts: 492000 | #Constraints: 89374
1110.26/1113.17 c #Conflicts: 493000 | #Constraints: 90374
1110.26/1113.17 c #Conflicts: 494000 | #Constraints: 91374
1110.26/1113.17 c #Conflicts: 495000 | #Constraints: 92374
1110.26/1113.17 c #Conflicts: 496000 | #Constraints: 93374
1110.26/1113.17 c #Conflicts: 497000 | #Constraints: 94374
1110.26/1113.17 c #Conflicts: 498000 | #Constraints: 95374
1110.26/1113.17 c INPROCESSING
1110.26/1113.17 c GARBAGE COLLECT
1110.26/1113.17 c #Conflicts: 499000 | #Constraints: 58849
1110.26/1113.17 c #Conflicts: 500000 | #Constraints: 59849
1110.26/1113.17 c #Conflicts: 501000 | #Constraints: 60849
1110.26/1113.17 c #Conflicts: 502000 | #Constraints: 61849
1110.26/1113.17 c #Conflicts: 503000 | #Constraints: 62849
1110.26/1113.17 c #Conflicts: 504000 | #Constraints: 63849
1110.26/1113.17 c #Conflicts: 505000 | #Constraints: 64849
1110.26/1113.17 c #Conflicts: 506000 | #Constraints: 65849
1110.26/1113.17 c #Conflicts: 507000 | #Constraints: 66849
1110.26/1113.17 c #Conflicts: 508000 | #Constraints: 67849
1110.26/1113.17 c #Conflicts: 509000 | #Constraints: 68849
1110.26/1113.17 c #Conflicts: 510000 | #Constraints: 69849
1110.26/1113.17 c #Conflicts: 511000 | #Constraints: 70849
1110.26/1113.17 c #Conflicts: 512000 | #Constraints: 71849
1110.26/1113.17 c #Conflicts: 513000 | #Constraints: 72849
1110.26/1113.17 c #Conflicts: 514000 | #Constraints: 73849
1110.26/1113.17 c #Conflicts: 515000 | #Constraints: 74849
1110.26/1113.17 c #Conflicts: 516000 | #Constraints: 75849
1110.26/1113.17 c #Conflicts: 517000 | #Constraints: 76849
1110.26/1113.17 c INPROCESSING
1110.26/1113.17 c GARBAGE COLLECT
1110.26/1113.17 c #Conflicts: 518000 | #Constraints: 51296
1110.26/1113.17 c #Conflicts: 519000 | #Constraints: 52296
1110.26/1113.17 c #Conflicts: 520000 | #Constraints: 53296
1110.26/1113.17 c #Conflicts: 521000 | #Constraints: 54296
1110.26/1113.17 c #Conflicts: 522000 | #Constraints: 55296
1110.26/1113.17 c #Conflicts: 523000 | #Constraints: 56296
1110.26/1113.17 c #Conflicts: 524000 | #Constraints: 57296
1110.26/1113.17 c #Conflicts: 525000 | #Constraints: 58296
1110.26/1113.17 c #Conflicts: 526000 | #Constraints: 59296
1110.26/1113.17 c #Conflicts: 527000 | #Constraints: 60296
1110.26/1113.17 c #Conflicts: 528000 | #Constraints: 61296
1110.26/1113.17 c #Conflicts: 529000 | #Constraints: 62296
1110.26/1113.17 c #Conflicts: 530000 | #Constraints: 63296
1110.26/1113.17 c #Conflicts: 531000 | #Constraints: 64296
1340.01/1343.57 c #Conflicts: 532000 | #Constraints: 65296
1340.01/1343.57 c #Conflicts: 533000 | #Constraints: 66296
1340.01/1343.57 c #Conflicts: 534000 | #Constraints: 67296
1340.01/1343.57 c #Conflicts: 535000 | #Constraints: 68296
1340.01/1343.57 c #Conflicts: 536000 | #Constraints: 69296
1340.01/1343.57 c #Conflicts: 537000 | #Constraints: 70296
1340.01/1343.57 c #Conflicts: 538000 | #Constraints: 71296
1340.01/1343.57 c #Conflicts: 539000 | #Constraints: 72296
1340.01/1343.57 c #Conflicts: 540000 | #Constraints: 73296
1340.01/1343.57 c #Conflicts: 541000 | #Constraints: 74296
1340.01/1343.57 c #Conflicts: 542000 | #Constraints: 75296
1340.01/1343.57 c #Conflicts: 543000 | #Constraints: 76296
1340.01/1343.57 c #Conflicts: 544000 | #Constraints: 77296
1340.01/1343.57 c #Conflicts: 545000 | #Constraints: 78296
1340.01/1343.57 c #Conflicts: 546000 | #Constraints: 79296
1340.01/1343.57 c #Conflicts: 547000 | #Constraints: 80296
1340.01/1343.57 c #Conflicts: 548000 | #Constraints: 81296
1340.01/1343.57 c #Conflicts: 549000 | #Constraints: 82296
1340.01/1343.57 c #Conflicts: 550000 | #Constraints: 83296
1340.01/1343.57 c #Conflicts: 551000 | #Constraints: 84296
1340.01/1343.57 c #Conflicts: 552000 | #Constraints: 85296
1340.01/1343.57 c #Conflicts: 553000 | #Constraints: 86296
1340.01/1343.57 c #Conflicts: 554000 | #Constraints: 87296
1340.01/1343.57 c #Conflicts: 555000 | #Constraints: 88296
1340.01/1343.57 c #Conflicts: 556000 | #Constraints: 89296
1340.01/1343.57 c #Conflicts: 557000 | #Constraints: 90296
1340.01/1343.57 c #Conflicts: 558000 | #Constraints: 91296
1340.01/1343.57 c #Conflicts: 559000 | #Constraints: 92296
1340.01/1343.57 c #Conflicts: 560000 | #Constraints: 93296
1340.01/1343.57 c #Conflicts: 561000 | #Constraints: 94296
1340.01/1343.57 c #Conflicts: 562000 | #Constraints: 95296
1340.01/1343.57 c #Conflicts: 563000 | #Constraints: 96296
1340.01/1343.57 c #Conflicts: 564000 | #Constraints: 97296
1340.01/1343.57 c #Conflicts: 565000 | #Constraints: 98296
1340.01/1343.57 c #Conflicts: 566000 | #Constraints: 99296
1340.01/1343.57 c INPROCESSING
1340.01/1343.57 c GARBAGE COLLECT
1340.01/1343.57 c #Conflicts: 567000 | #Constraints: 60837
1340.01/1343.57 c #Conflicts: 568000 | #Constraints: 61837
1340.01/1343.57 c #Conflicts: 569000 | #Constraints: 62837
1340.01/1343.57 c #Conflicts: 570000 | #Constraints: 63837
1340.01/1343.57 c #Conflicts: 571000 | #Constraints: 64837
1340.01/1343.57 c #Conflicts: 572000 | #Constraints: 65837
1340.01/1343.57 c #Conflicts: 573000 | #Constraints: 66837
1340.01/1343.57 c #Conflicts: 574000 | #Constraints: 67837
1340.01/1343.57 c #Conflicts: 575000 | #Constraints: 68837
1340.01/1343.57 c #Conflicts: 576000 | #Constraints: 69837
1340.01/1343.57 c #Conflicts: 577000 | #Constraints: 70837
1340.01/1343.57 c #Conflicts: 578000 | #Constraints: 71837
1340.01/1343.57 c #Conflicts: 579000 | #Constraints: 72837
1340.01/1343.57 c #Conflicts: 580000 | #Constraints: 73837
1340.01/1343.57 c #Conflicts: 581000 | #Constraints: 74837
1340.01/1343.57 c #Conflicts: 582000 | #Constraints: 75837
1340.01/1343.57 c #Conflicts: 583000 | #Constraints: 76837
1340.01/1343.57 c #Conflicts: 584000 | #Constraints: 77837
1340.01/1343.57 c #Conflicts: 585000 | #Constraints: 78837
1340.01/1343.57 c #Conflicts: 586000 | #Constraints: 79837
1340.01/1343.57 c #Conflicts: 587000 | #Constraints: 80837
1340.01/1343.57 c INPROCESSING
1340.01/1343.57 c GARBAGE COLLECT
1340.01/1343.57 c #Conflicts: 588000 | #Constraints: 54571
1340.01/1343.57 c #Conflicts: 589000 | #Constraints: 55571
1340.01/1343.57 c #Conflicts: 590000 | #Constraints: 56571
1340.01/1343.57 c #Conflicts: 591000 | #Constraints: 57571
1340.01/1343.57 c #Conflicts: 592000 | #Constraints: 58571
1340.01/1343.57 c #Conflicts: 593000 | #Constraints: 59571
1340.01/1343.57 c #Conflicts: 594000 | #Constraints: 60571
1340.01/1343.57 c #Conflicts: 595000 | #Constraints: 61572
1340.01/1343.57 c #Conflicts: 596000 | #Constraints: 62572
1340.01/1343.57 c #Conflicts: 597000 | #Constraints: 63572
1340.01/1343.57 c #Conflicts: 598000 | #Constraints: 64572
1340.01/1343.57 c #Conflicts: 599000 | #Constraints: 65572
1340.01/1343.57 c #Conflicts: 600000 | #Constraints: 66572
1340.01/1343.57 c #Conflicts: 601000 | #Constraints: 67572
1340.01/1343.57 c #Conflicts: 602000 | #Constraints: 68572
1340.01/1343.57 c #Conflicts: 603000 | #Constraints: 69572
1340.01/1343.57 c #Conflicts: 604000 | #Constraints: 70572
1340.01/1343.57 c #Conflicts: 605000 | #Constraints: 71572
1340.01/1343.57 c #Conflicts: 606000 | #Constraints: 72572
1340.01/1343.57 c #Conflicts: 607000 | #Constraints: 73572
1340.01/1343.57 c #Conflicts: 608000 | #Constraints: 74572
1502.27/1506.23 c #Conflicts: 609000 | #Constraints: 75572
1502.27/1506.23 c #Conflicts: 610000 | #Constraints: 76572
1502.27/1506.23 c #Conflicts: 611000 | #Constraints: 77572
1502.27/1506.23 c #Conflicts: 612000 | #Constraints: 78572
1502.27/1506.23 c #Conflicts: 613000 | #Constraints: 79572
1502.27/1506.23 c #Conflicts: 614000 | #Constraints: 80572
1502.27/1506.23 c #Conflicts: 615000 | #Constraints: 81572
1502.27/1506.23 c #Conflicts: 616000 | #Constraints: 82572
1502.27/1506.23 c #Conflicts: 617000 | #Constraints: 83572
1502.27/1506.23 c #Conflicts: 618000 | #Constraints: 84572
1502.27/1506.23 c #Conflicts: 619000 | #Constraints: 85572
1502.27/1506.23 c #Conflicts: 620000 | #Constraints: 86572
1502.27/1506.23 c #Conflicts: 621000 | #Constraints: 87572
1502.27/1506.23 c #Conflicts: 622000 | #Constraints: 88572
1502.27/1506.23 c #Conflicts: 623000 | #Constraints: 89572
1502.27/1506.23 c #Conflicts: 624000 | #Constraints: 90572
1502.27/1506.23 c #Conflicts: 625000 | #Constraints: 91572
1502.27/1506.23 c #Conflicts: 626000 | #Constraints: 92572
1502.27/1506.23 c #Conflicts: 627000 | #Constraints: 93572
1502.27/1506.23 c #Conflicts: 628000 | #Constraints: 94572
1502.27/1506.23 c #Conflicts: 629000 | #Constraints: 95572
1502.27/1506.23 c #Conflicts: 630000 | #Constraints: 96572
1502.27/1506.23 c #Conflicts: 631000 | #Constraints: 97572
1502.27/1506.23 c #Conflicts: 632000 | #Constraints: 98572
1502.27/1506.23 c #Conflicts: 633000 | #Constraints: 99572
1502.27/1506.23 c #Conflicts: 634000 | #Constraints: 100572
1502.27/1506.23 c #Conflicts: 635000 | #Constraints: 101572
1502.27/1506.23 c #Conflicts: 636000 | #Constraints: 102572
1502.27/1506.23 c #Conflicts: 637000 | #Constraints: 103572
1502.27/1506.23 c #Conflicts: 638000 | #Constraints: 104572
1502.27/1506.23 c #Conflicts: 639000 | #Constraints: 105572
1502.27/1506.23 c INPROCESSING
1502.27/1506.23 c GARBAGE COLLECT
1502.27/1506.23 c #Conflicts: 640000 | #Constraints: 63968
1502.27/1506.23 c #Conflicts: 641000 | #Constraints: 64968
1502.27/1506.23 c #Conflicts: 642000 | #Constraints: 65968
1502.27/1506.23 c #Conflicts: 643000 | #Constraints: 66968
1502.27/1506.23 c #Conflicts: 644000 | #Constraints: 67968
1502.27/1506.23 c #Conflicts: 645000 | #Constraints: 68968
1502.27/1506.23 c #Conflicts: 646000 | #Constraints: 69968
1502.27/1506.23 c #Conflicts: 647000 | #Constraints: 70968
1502.27/1506.23 c #Conflicts: 648000 | #Constraints: 71968
1502.27/1506.23 c #Conflicts: 649000 | #Constraints: 72968
1502.27/1506.23 c #Conflicts: 650000 | #Constraints: 73968
1502.27/1506.23 c #Conflicts: 651000 | #Constraints: 74968
1502.27/1506.23 c #Conflicts: 652000 | #Constraints: 75968
1502.27/1506.23 c #Conflicts: 653000 | #Constraints: 76968
1502.27/1506.23 c #Conflicts: 654000 | #Constraints: 77968
1502.27/1506.23 c #Conflicts: 655000 | #Constraints: 78968
1502.27/1506.23 c #Conflicts: 656000 | #Constraints: 79968
1502.27/1506.23 c #Conflicts: 657000 | #Constraints: 80968
1502.27/1506.23 c #Conflicts: 658000 | #Constraints: 81968
1502.27/1506.23 c #Conflicts: 659000 | #Constraints: 82968
1502.27/1506.23 c #Conflicts: 660000 | #Constraints: 83968
1502.27/1506.23 c #Conflicts: 661000 | #Constraints: 84968
1502.27/1506.23 c INPROCESSING
1502.27/1506.23 c GARBAGE COLLECT
1502.27/1506.23 c #Conflicts: 662000 | #Constraints: 56657
1502.27/1506.23 c #Conflicts: 663000 | #Constraints: 57657
1502.27/1506.23 c #Conflicts: 664000 | #Constraints: 58657
1502.27/1506.23 c #Conflicts: 665000 | #Constraints: 59657
1502.27/1506.23 c #Conflicts: 666000 | #Constraints: 60657
1502.27/1506.23 c #Conflicts: 667000 | #Constraints: 61657
1502.27/1506.23 c #Conflicts: 668000 | #Constraints: 62657
1502.27/1506.23 c #Conflicts: 669000 | #Constraints: 63657
1502.27/1506.23 c #Conflicts: 670000 | #Constraints: 64657
1502.27/1506.23 c #Conflicts: 671000 | #Constraints: 65657
1502.27/1506.23 c #Conflicts: 672000 | #Constraints: 66657
1502.27/1506.23 c #Conflicts: 673000 | #Constraints: 67657
1502.27/1506.23 c #Conflicts: 674000 | #Constraints: 68657
1502.27/1506.23 c #Conflicts: 675000 | #Constraints: 69657
1502.27/1506.23 c #Conflicts: 676000 | #Constraints: 70657
1502.27/1506.23 c #Conflicts: 677000 | #Constraints: 71657
1502.27/1506.23 c #Conflicts: 678000 | #Constraints: 72657
1502.27/1506.23 c #Conflicts: 679000 | #Constraints: 73657
1502.27/1506.23 c #Conflicts: 680000 | #Constraints: 74657
1502.27/1506.23 c #Conflicts: 681000 | #Constraints: 75657
1502.27/1506.23 c #Conflicts: 682000 | #Constraints: 76657
1502.27/1506.23 c #Conflicts: 683000 | #Constraints: 77657
1502.27/1506.23 c #Conflicts: 684000 | #Constraints: 78657
1502.27/1506.23 c #Conflicts: 685000 | #Constraints: 79657
1502.27/1506.23 c #Conflicts: 686000 | #Constraints: 80657
1685.07/1689.55 c #Conflicts: 687000 | #Constraints: 81657
1685.07/1689.55 c #Conflicts: 688000 | #Constraints: 82657
1685.07/1689.55 c #Conflicts: 689000 | #Constraints: 83657
1685.07/1689.55 c #Conflicts: 690000 | #Constraints: 84657
1685.07/1689.55 c #Conflicts: 691000 | #Constraints: 85657
1685.07/1689.55 c #Conflicts: 692000 | #Constraints: 86657
1685.07/1689.55 c #Conflicts: 693000 | #Constraints: 87657
1685.07/1689.55 c #Conflicts: 694000 | #Constraints: 88657
1685.07/1689.55 c #Conflicts: 695000 | #Constraints: 89657
1685.07/1689.55 c #Conflicts: 696000 | #Constraints: 90657
1685.07/1689.55 c #Conflicts: 697000 | #Constraints: 91657
1685.07/1689.55 c #Conflicts: 698000 | #Constraints: 92657
1685.07/1689.55 c #Conflicts: 699000 | #Constraints: 93657
1685.07/1689.55 c #Conflicts: 700000 | #Constraints: 94657
1685.07/1689.55 c #Conflicts: 701000 | #Constraints: 95657
1685.07/1689.55 c #Conflicts: 702000 | #Constraints: 96657
1685.07/1689.55 c #Conflicts: 703000 | #Constraints: 97657
1685.07/1689.55 c #Conflicts: 704000 | #Constraints: 98657
1685.07/1689.55 c #Conflicts: 705000 | #Constraints: 99657
1685.07/1689.55 c #Conflicts: 706000 | #Constraints: 100657
1685.07/1689.55 c #Conflicts: 707000 | #Constraints: 101657
1685.07/1689.55 c #Conflicts: 708000 | #Constraints: 102657
1685.07/1689.55 c #Conflicts: 709000 | #Constraints: 103657
1685.07/1689.55 c #Conflicts: 710000 | #Constraints: 104657
1685.07/1689.55 c #Conflicts: 711000 | #Constraints: 105657
1685.07/1689.55 c #Conflicts: 712000 | #Constraints: 106657
1685.07/1689.55 c #Conflicts: 713000 | #Constraints: 107657
1685.07/1689.55 c #Conflicts: 714000 | #Constraints: 108657
1685.07/1689.55 c #Conflicts: 715000 | #Constraints: 109657
1685.07/1689.55 c #Conflicts: 716000 | #Constraints: 110657
1685.07/1689.55 c INPROCESSING
1685.07/1689.55 c GARBAGE COLLECT
1685.07/1689.55 c #Conflicts: 717000 | #Constraints: 66672
1685.07/1689.55 c #Conflicts: 718000 | #Constraints: 67672
1685.07/1689.55 c #Conflicts: 719000 | #Constraints: 68672
1685.07/1689.55 c #Conflicts: 720000 | #Constraints: 69672
1685.07/1689.55 c #Conflicts: 721000 | #Constraints: 70672
1685.07/1689.55 c #Conflicts: 722000 | #Constraints: 71672
1685.07/1689.55 c #Conflicts: 723000 | #Constraints: 72672
1685.07/1689.55 c #Conflicts: 724000 | #Constraints: 73672
1685.07/1689.55 c #Conflicts: 725000 | #Constraints: 74672
1685.07/1689.55 c #Conflicts: 726000 | #Constraints: 75672
1685.07/1689.55 c #Conflicts: 727000 | #Constraints: 76672
1685.07/1689.55 c #Conflicts: 728000 | #Constraints: 77672
1685.07/1689.55 c #Conflicts: 729000 | #Constraints: 78672
1685.07/1689.55 c #Conflicts: 730000 | #Constraints: 79672
1685.07/1689.55 c #Conflicts: 731000 | #Constraints: 80672
1685.07/1689.55 c #Conflicts: 732000 | #Constraints: 81672
1685.07/1689.55 c #Conflicts: 733000 | #Constraints: 82672
1685.07/1689.55 c #Conflicts: 734000 | #Constraints: 83672
1685.07/1689.55 c #Conflicts: 735000 | #Constraints: 84672
1685.07/1689.55 c #Conflicts: 736000 | #Constraints: 85672
1685.07/1689.55 c #Conflicts: 737000 | #Constraints: 86672
1685.07/1689.55 c #Conflicts: 738000 | #Constraints: 87672
1685.07/1689.55 c #Conflicts: 739000 | #Constraints: 88672
1685.07/1689.55 c #Conflicts: 740000 | #Constraints: 89672
1685.07/1689.55 c INPROCESSING
1685.07/1689.55 c GARBAGE COLLECT
1685.07/1689.55 c #Conflicts: 741000 | #Constraints: 59394
1685.07/1689.55 c #Conflicts: 742000 | #Constraints: 60394
1685.07/1689.55 c #Conflicts: 743000 | #Constraints: 61394
1685.07/1689.55 c #Conflicts: 744000 | #Constraints: 62394
1685.07/1689.55 c #Conflicts: 745000 | #Constraints: 63394
1685.07/1689.55 c #Conflicts: 746000 | #Constraints: 64394
1685.07/1689.55 c #Conflicts: 747000 | #Constraints: 65394
1685.07/1689.55 c #Conflicts: 748000 | #Constraints: 66394
1685.07/1689.55 c #Conflicts: 749000 | #Constraints: 67394
1685.07/1689.55 c #Conflicts: 750000 | #Constraints: 68394
1685.07/1689.55 c #Conflicts: 751000 | #Constraints: 69394
1685.07/1689.55 c #Conflicts: 752000 | #Constraints: 70394
1685.07/1689.55 c #Conflicts: 753000 | #Constraints: 71394
1685.07/1689.55 c #Conflicts: 754000 | #Constraints: 72394
1685.07/1689.55 c #Conflicts: 755000 | #Constraints: 73394
1685.07/1689.55 c #Conflicts: 756000 | #Constraints: 74394
1685.07/1689.55 c #Conflicts: 757000 | #Constraints: 75394
1685.07/1689.55 c #Conflicts: 758000 | #Constraints: 76394
1685.07/1689.55 c #Conflicts: 759000 | #Constraints: 77394
1685.07/1689.55 c #Conflicts: 760000 | #Constraints: 78394
1685.07/1689.55 c #Conflicts: 761000 | #Constraints: 79394
1685.07/1689.55 c #Conflicts: 762000 | #Constraints: 80394
1685.07/1689.55 c #Conflicts: 763000 | #Constraints: 81394
1943.05/1948.23 c #Conflicts: 764000 | #Constraints: 82394
1943.05/1948.23 c #Conflicts: 765000 | #Constraints: 83394
1943.05/1948.23 c #Conflicts: 766000 | #Constraints: 84394
1943.05/1948.23 c #Conflicts: 767000 | #Constraints: 85394
1943.05/1948.23 c #Conflicts: 768000 | #Constraints: 86394
1943.05/1948.23 c #Conflicts: 769000 | #Constraints: 87394
1943.05/1948.23 c #Conflicts: 770000 | #Constraints: 88394
1943.05/1948.23 c #Conflicts: 771000 | #Constraints: 89394
1943.05/1948.23 c #Conflicts: 772000 | #Constraints: 90394
1943.05/1948.23 c #Conflicts: 773000 | #Constraints: 91394
1943.05/1948.23 c #Conflicts: 774000 | #Constraints: 92394
1943.05/1948.23 c #Conflicts: 775000 | #Constraints: 93394
1943.05/1948.23 c #Conflicts: 776000 | #Constraints: 94394
1943.05/1948.23 c #Conflicts: 777000 | #Constraints: 95394
1943.05/1948.23 c #Conflicts: 778000 | #Constraints: 96394
1943.05/1948.23 c #Conflicts: 779000 | #Constraints: 97394
1943.05/1948.23 c #Conflicts: 780000 | #Constraints: 98394
1943.05/1948.23 c #Conflicts: 781000 | #Constraints: 99394
1943.05/1948.23 c #Conflicts: 782000 | #Constraints: 100394
1943.05/1948.23 c #Conflicts: 783000 | #Constraints: 101394
1943.05/1948.23 c #Conflicts: 784000 | #Constraints: 102394
1943.05/1948.23 c #Conflicts: 785000 | #Constraints: 103394
1943.05/1948.23 c #Conflicts: 786000 | #Constraints: 104394
1943.05/1948.23 c #Conflicts: 787000 | #Constraints: 105394
1943.05/1948.23 c #Conflicts: 788000 | #Constraints: 106394
1943.05/1948.23 c #Conflicts: 789000 | #Constraints: 107394
1943.05/1948.23 c #Conflicts: 790000 | #Constraints: 108394
1943.05/1948.23 c #Conflicts: 791000 | #Constraints: 109394
1943.05/1948.23 c #Conflicts: 792000 | #Constraints: 110394
1943.05/1948.23 c #Conflicts: 793000 | #Constraints: 111394
1943.05/1948.23 c #Conflicts: 794000 | #Constraints: 112394
1943.05/1948.23 c #Conflicts: 795000 | #Constraints: 113394
1943.05/1948.23 c #Conflicts: 796000 | #Constraints: 114394
1943.05/1948.23 c #Conflicts: 797000 | #Constraints: 115394
1943.05/1948.23 c #Conflicts: 798000 | #Constraints: 116394
1943.05/1948.23 c INPROCESSING
1943.05/1948.23 c GARBAGE COLLECT
1943.05/1948.23 c #Conflicts: 799000 | #Constraints: 69678
1943.05/1948.23 c #Conflicts: 800000 | #Constraints: 70678
1943.05/1948.23 c #Conflicts: 801000 | #Constraints: 71678
1943.05/1948.23 c #Conflicts: 802000 | #Constraints: 72678
1943.05/1948.23 c #Conflicts: 803000 | #Constraints: 73678
1943.05/1948.23 c #Conflicts: 804000 | #Constraints: 74678
1943.05/1948.23 c #Conflicts: 805000 | #Constraints: 75678
1943.05/1948.23 c #Conflicts: 806000 | #Constraints: 76678
1943.05/1948.23 c #Conflicts: 807000 | #Constraints: 77678
1943.05/1948.23 c #Conflicts: 808000 | #Constraints: 78678
1943.05/1948.23 c #Conflicts: 809000 | #Constraints: 79678
1943.05/1948.23 c #Conflicts: 810000 | #Constraints: 80678
1943.05/1948.23 c #Conflicts: 811000 | #Constraints: 81678
1943.05/1948.23 c #Conflicts: 812000 | #Constraints: 82678
1943.05/1948.23 c #Conflicts: 813000 | #Constraints: 83678
1943.05/1948.23 c #Conflicts: 814000 | #Constraints: 84678
1943.05/1948.23 c #Conflicts: 815000 | #Constraints: 85678
1943.05/1948.23 c #Conflicts: 816000 | #Constraints: 86678
1943.05/1948.23 c #Conflicts: 817000 | #Constraints: 87678
1943.05/1948.23 c #Conflicts: 818000 | #Constraints: 88678
1943.05/1948.23 c #Conflicts: 819000 | #Constraints: 89678
1943.05/1948.23 c #Conflicts: 820000 | #Constraints: 90678
1943.05/1948.23 c #Conflicts: 821000 | #Constraints: 91678
1943.05/1948.23 c #Conflicts: 822000 | #Constraints: 92678
1943.05/1948.23 c INPROCESSING
1943.05/1948.23 c GARBAGE COLLECT
1943.05/1948.23 c #Conflicts: 823000 | #Constraints: 61193
1943.05/1948.23 c #Conflicts: 824000 | #Constraints: 62193
1943.05/1948.23 c #Conflicts: 825000 | #Constraints: 63193
1943.05/1948.23 c #Conflicts: 826000 | #Constraints: 64193
1943.05/1948.23 c #Conflicts: 827000 | #Constraints: 65193
1943.05/1948.23 c #Conflicts: 828000 | #Constraints: 66193
1943.05/1948.23 c #Conflicts: 829000 | #Constraints: 67193
1943.05/1948.23 c #Conflicts: 830000 | #Constraints: 68193
1943.05/1948.23 c #Conflicts: 831000 | #Constraints: 69193
1943.05/1948.23 c #Conflicts: 832000 | #Constraints: 70193
1943.05/1948.23 c #Conflicts: 833000 | #Constraints: 71193
1943.05/1948.23 c #Conflicts: 834000 | #Constraints: 72193
1943.05/1948.23 c #Conflicts: 835000 | #Constraints: 73193
1943.05/1948.23 c #Conflicts: 836000 | #Constraints: 74193
1943.05/1948.23 c #Conflicts: 837000 | #Constraints: 75193
1943.05/1948.23 c #Conflicts: 838000 | #Constraints: 76193
1943.05/1948.23 c #Conflicts: 839000 | #Constraints: 77193
1943.05/1948.23 c #Conflicts: 840000 | #Constraints: 78193
1943.05/1948.23 c #Conflicts: 841000 | #Constraints: 79193
2123.86/2129.51 c #Conflicts: 842000 | #Constraints: 80193
2123.86/2129.51 c #Conflicts: 843000 | #Constraints: 81193
2123.86/2129.51 c #Conflicts: 844000 | #Constraints: 82193
2123.86/2129.51 c #Conflicts: 845000 | #Constraints: 83193
2123.86/2129.51 c #Conflicts: 846000 | #Constraints: 84193
2123.86/2129.51 c #Conflicts: 847000 | #Constraints: 85193
2123.86/2129.51 c #Conflicts: 848000 | #Constraints: 86193
2123.86/2129.51 c #Conflicts: 849000 | #Constraints: 87193
2123.86/2129.51 c #Conflicts: 850000 | #Constraints: 88193
2123.86/2129.51 c #Conflicts: 851000 | #Constraints: 89193
2123.86/2129.51 c #Conflicts: 852000 | #Constraints: 90193
2123.86/2129.51 c #Conflicts: 853000 | #Constraints: 91193
2123.86/2129.51 c #Conflicts: 854000 | #Constraints: 92193
2123.86/2129.51 c #Conflicts: 855000 | #Constraints: 93193
2123.86/2129.51 c #Conflicts: 856000 | #Constraints: 94193
2123.86/2129.51 c #Conflicts: 857000 | #Constraints: 95193
2123.86/2129.51 c #Conflicts: 858000 | #Constraints: 96193
2123.86/2129.51 c #Conflicts: 859000 | #Constraints: 97193
2123.86/2129.51 c #Conflicts: 860000 | #Constraints: 98193
2123.86/2129.51 c #Conflicts: 861000 | #Constraints: 99193
2123.86/2129.51 c #Conflicts: 862000 | #Constraints: 100193
2123.86/2129.51 c #Conflicts: 863000 | #Constraints: 101193
2123.86/2129.51 c #Conflicts: 864000 | #Constraints: 102193
2123.86/2129.51 c #Conflicts: 865000 | #Constraints: 103193
2123.86/2129.51 c #Conflicts: 866000 | #Constraints: 104193
2123.86/2129.51 c #Conflicts: 867000 | #Constraints: 105193
2123.86/2129.51 c #Conflicts: 868000 | #Constraints: 106193
2123.86/2129.51 c #Conflicts: 869000 | #Constraints: 107193
2123.86/2129.51 c #Conflicts: 870000 | #Constraints: 108193
2123.86/2129.51 c #Conflicts: 871000 | #Constraints: 109193
2123.86/2129.51 c #Conflicts: 872000 | #Constraints: 110193
2123.86/2129.51 c #Conflicts: 873000 | #Constraints: 111193
2123.86/2129.51 c #Conflicts: 874000 | #Constraints: 112193
2123.86/2129.51 c #Conflicts: 875000 | #Constraints: 113193
2123.86/2129.51 c #Conflicts: 876000 | #Constraints: 114193
2123.86/2129.51 c #Conflicts: 877000 | #Constraints: 115193
2123.86/2129.51 c #Conflicts: 878000 | #Constraints: 116193
2123.86/2129.51 c #Conflicts: 879000 | #Constraints: 117193
2123.86/2129.51 c #Conflicts: 880000 | #Constraints: 118193
2123.86/2129.51 c #Conflicts: 881000 | #Constraints: 119193
2123.86/2129.51 c #Conflicts: 882000 | #Constraints: 120193
2123.86/2129.51 c #Conflicts: 883000 | #Constraints: 121193
2123.86/2129.51 c #Conflicts: 884000 | #Constraints: 122193
2123.86/2129.51 c INPROCESSING
2123.86/2129.51 c GARBAGE COLLECT
2123.86/2129.51 c #Conflicts: 885000 | #Constraints: 72588
2123.86/2129.51 c #Conflicts: 886000 | #Constraints: 73588
2123.86/2129.51 c #Conflicts: 887000 | #Constraints: 74588
2123.86/2129.51 c #Conflicts: 888000 | #Constraints: 75588
2123.86/2129.51 c #Conflicts: 889000 | #Constraints: 76588
2123.86/2129.51 c #Conflicts: 890000 | #Constraints: 77588
2123.86/2129.51 c #Conflicts: 891000 | #Constraints: 78588
2123.86/2129.51 c #Conflicts: 892000 | #Constraints: 79588
2123.86/2129.51 c #Conflicts: 893000 | #Constraints: 80588
2123.86/2129.51 c #Conflicts: 894000 | #Constraints: 81588
2123.86/2129.51 c #Conflicts: 895000 | #Constraints: 82588
2123.86/2129.51 c #Conflicts: 896000 | #Constraints: 83588
2123.86/2129.51 c #Conflicts: 897000 | #Constraints: 84588
2123.86/2129.51 c #Conflicts: 898000 | #Constraints: 85588
2123.86/2129.51 c #Conflicts: 899000 | #Constraints: 86588
2123.86/2129.51 c #Conflicts: 900000 | #Constraints: 87588
2123.86/2129.51 c #Conflicts: 901000 | #Constraints: 88588
2123.86/2129.51 c #Conflicts: 902000 | #Constraints: 89588
2123.86/2129.51 c #Conflicts: 903000 | #Constraints: 90588
2123.86/2129.51 c #Conflicts: 904000 | #Constraints: 91588
2123.86/2129.51 c #Conflicts: 905000 | #Constraints: 92588
2123.86/2129.51 c #Conflicts: 906000 | #Constraints: 93588
2123.86/2129.51 c #Conflicts: 907000 | #Constraints: 94588
2123.86/2129.51 c #Conflicts: 908000 | #Constraints: 95588
2123.86/2129.51 c #Conflicts: 909000 | #Constraints: 96588
2123.86/2129.51 c #Conflicts: 910000 | #Constraints: 97588
2123.86/2129.51 c INPROCESSING
2123.86/2129.51 c GARBAGE COLLECT
2123.86/2129.51 c #Conflicts: 911000 | #Constraints: 64342
2123.86/2129.51 c #Conflicts: 912000 | #Constraints: 65342
2123.86/2129.51 c #Conflicts: 913000 | #Constraints: 66342
2123.86/2129.51 c #Conflicts: 914000 | #Constraints: 67342
2123.86/2129.51 c #Conflicts: 915000 | #Constraints: 68342
2123.86/2129.51 c #Conflicts: 916000 | #Constraints: 69342
2123.86/2129.51 c #Conflicts: 917000 | #Constraints: 70342
2123.86/2129.51 c #Conflicts: 918000 | #Constraints: 71342
2350.91/2357.10 c #Conflicts: 919000 | #Constraints: 72342
2350.91/2357.10 c #Conflicts: 920000 | #Constraints: 73342
2350.91/2357.10 c #Conflicts: 921000 | #Constraints: 74342
2350.91/2357.10 c #Conflicts: 922000 | #Constraints: 75342
2350.91/2357.10 c #Conflicts: 923000 | #Constraints: 76342
2350.91/2357.10 c #Conflicts: 924000 | #Constraints: 77342
2350.91/2357.10 c #Conflicts: 925000 | #Constraints: 78342
2350.91/2357.10 c #Conflicts: 926000 | #Constraints: 79342
2350.91/2357.10 c #Conflicts: 927000 | #Constraints: 80342
2350.91/2357.10 c #Conflicts: 928000 | #Constraints: 81342
2350.91/2357.10 c #Conflicts: 929000 | #Constraints: 82342
2350.91/2357.10 c #Conflicts: 930000 | #Constraints: 83342
2350.91/2357.10 c #Conflicts: 931000 | #Constraints: 84342
2350.91/2357.10 c #Conflicts: 932000 | #Constraints: 85342
2350.91/2357.10 c #Conflicts: 933000 | #Constraints: 86342
2350.91/2357.10 c #Conflicts: 934000 | #Constraints: 87342
2350.91/2357.10 c #Conflicts: 935000 | #Constraints: 88342
2350.91/2357.10 c #Conflicts: 936000 | #Constraints: 89342
2350.91/2357.10 c #Conflicts: 937000 | #Constraints: 90342
2350.91/2357.10 c #Conflicts: 938000 | #Constraints: 91342
2350.91/2357.10 c #Conflicts: 939000 | #Constraints: 92342
2350.91/2357.10 c #Conflicts: 940000 | #Constraints: 93342
2350.91/2357.10 c #Conflicts: 941000 | #Constraints: 94342
2350.91/2357.10 c #Conflicts: 942000 | #Constraints: 95342
2350.91/2357.10 c #Conflicts: 943000 | #Constraints: 96342
2350.91/2357.10 c #Conflicts: 944000 | #Constraints: 97342
2350.91/2357.10 c #Conflicts: 945000 | #Constraints: 98342
2350.91/2357.10 c #Conflicts: 946000 | #Constraints: 99342
2350.91/2357.10 c #Conflicts: 947000 | #Constraints: 100342
2350.91/2357.10 c #Conflicts: 948000 | #Constraints: 101342
2350.91/2357.10 c #Conflicts: 949000 | #Constraints: 102342
2350.91/2357.10 c #Conflicts: 950000 | #Constraints: 103342
2350.91/2357.10 c #Conflicts: 951000 | #Constraints: 104342
2350.91/2357.10 c #Conflicts: 952000 | #Constraints: 105342
2350.91/2357.10 c #Conflicts: 953000 | #Constraints: 106342
2350.91/2357.10 c #Conflicts: 954000 | #Constraints: 107342
2350.91/2357.10 c #Conflicts: 955000 | #Constraints: 108342
2350.91/2357.10 c #Conflicts: 956000 | #Constraints: 109342
2350.91/2357.10 c #Conflicts: 957000 | #Constraints: 110342
2350.91/2357.10 c #Conflicts: 958000 | #Constraints: 111342
2350.91/2357.10 c #Conflicts: 959000 | #Constraints: 112342
2350.91/2357.10 c #Conflicts: 960000 | #Constraints: 113342
2350.91/2357.10 c #Conflicts: 961000 | #Constraints: 114342
2350.91/2357.10 c #Conflicts: 962000 | #Constraints: 115342
2350.91/2357.10 c #Conflicts: 963000 | #Constraints: 116342
2350.91/2357.10 c #Conflicts: 964000 | #Constraints: 117342
2350.91/2357.10 c #Conflicts: 965000 | #Constraints: 118342
2350.91/2357.10 c #Conflicts: 966000 | #Constraints: 119342
2350.91/2357.10 c #Conflicts: 967000 | #Constraints: 120342
2350.91/2357.10 c #Conflicts: 968000 | #Constraints: 121342
2350.91/2357.10 c #Conflicts: 969000 | #Constraints: 122342
2350.91/2357.10 c #Conflicts: 970000 | #Constraints: 123342
2350.91/2357.10 c #Conflicts: 971000 | #Constraints: 124342
2350.91/2357.10 c #Conflicts: 972000 | #Constraints: 125342
2350.91/2357.10 c #Conflicts: 973000 | #Constraints: 126342
2350.91/2357.10 c #Conflicts: 974000 | #Constraints: 127342
2350.91/2357.10 c INPROCESSING
2350.91/2357.10 c GARBAGE COLLECT
2350.91/2357.10 c #Conflicts: 975000 | #Constraints: 75002
2350.91/2357.10 c #Conflicts: 976000 | #Constraints: 76002
2350.91/2357.10 c #Conflicts: 977000 | #Constraints: 77002
2350.91/2357.10 c #Conflicts: 978000 | #Constraints: 78002
2350.91/2357.10 c #Conflicts: 979000 | #Constraints: 79002
2350.91/2357.10 c #Conflicts: 980000 | #Constraints: 80002
2350.91/2357.10 c #Conflicts: 981000 | #Constraints: 81002
2350.91/2357.10 c #Conflicts: 982000 | #Constraints: 82002
2350.91/2357.10 c #Conflicts: 983000 | #Constraints: 83002
2350.91/2357.10 c #Conflicts: 984000 | #Constraints: 84002
2350.91/2357.10 c #Conflicts: 985000 | #Constraints: 85002
2350.91/2357.10 c #Conflicts: 986000 | #Constraints: 86002
2350.91/2357.10 c #Conflicts: 987000 | #Constraints: 87002
2350.91/2357.10 c #Conflicts: 988000 | #Constraints: 88002
2350.91/2357.10 c #Conflicts: 989000 | #Constraints: 89002
2350.91/2357.10 c #Conflicts: 990000 | #Constraints: 90002
2350.91/2357.10 c #Conflicts: 991000 | #Constraints: 91002
2350.91/2357.10 c #Conflicts: 992000 | #Constraints: 92002
2350.91/2357.10 c #Conflicts: 993000 | #Constraints: 93002
2350.91/2357.10 c #Conflicts: 994000 | #Constraints: 94002
2350.91/2357.10 c #Conflicts: 995000 | #Constraints: 95002
2350.91/2357.10 c #Conflicts: 996000 | #Constraints: 96002
2669.29/2676.29 c #Conflicts: 997000 | #Constraints: 97002
2669.29/2676.29 c #Conflicts: 998000 | #Constraints: 98002
2669.29/2676.29 c #Conflicts: 999000 | #Constraints: 99002
2669.29/2676.29 c #Conflicts: 1000000 | #Constraints: 100002
2669.29/2676.29 c #Conflicts: 1001000 | #Constraints: 101002
2669.29/2676.29 c INPROCESSING
2669.29/2676.29 c GARBAGE COLLECT
2669.29/2676.29 c #Conflicts: 1002000 | #Constraints: 65667
2669.29/2676.29 c #Conflicts: 1003000 | #Constraints: 66667
2669.29/2676.29 c #Conflicts: 1004000 | #Constraints: 67667
2669.29/2676.29 c #Conflicts: 1005000 | #Constraints: 68667
2669.29/2676.29 c #Conflicts: 1006000 | #Constraints: 69667
2669.29/2676.29 c #Conflicts: 1007000 | #Constraints: 70667
2669.29/2676.29 c #Conflicts: 1008000 | #Constraints: 71667
2669.29/2676.29 c #Conflicts: 1009000 | #Constraints: 72667
2669.29/2676.29 c #Conflicts: 1010000 | #Constraints: 73667
2669.29/2676.29 c #Conflicts: 1011000 | #Constraints: 74667
2669.29/2676.29 c #Conflicts: 1012000 | #Constraints: 75667
2669.29/2676.29 c #Conflicts: 1013000 | #Constraints: 76667
2669.29/2676.29 c #Conflicts: 1014000 | #Constraints: 77667
2669.29/2676.29 c #Conflicts: 1015000 | #Constraints: 78667
2669.29/2676.29 c #Conflicts: 1016000 | #Constraints: 79667
2669.29/2676.29 c #Conflicts: 1017000 | #Constraints: 80667
2669.29/2676.29 c #Conflicts: 1018000 | #Constraints: 81667
2669.29/2676.29 c #Conflicts: 1019000 | #Constraints: 82667
2669.29/2676.29 c #Conflicts: 1020000 | #Constraints: 83667
2669.29/2676.29 c #Conflicts: 1021000 | #Constraints: 84667
2669.29/2676.29 c #Conflicts: 1022000 | #Constraints: 85667
2669.29/2676.29 c #Conflicts: 1023000 | #Constraints: 86667
2669.29/2676.29 c #Conflicts: 1024000 | #Constraints: 87667
2669.29/2676.29 c #Conflicts: 1025000 | #Constraints: 88667
2669.29/2676.29 c #Conflicts: 1026000 | #Constraints: 89667
2669.29/2676.29 c #Conflicts: 1027000 | #Constraints: 90667
2669.29/2676.29 c #Conflicts: 1028000 | #Constraints: 91667
2669.29/2676.29 c #Conflicts: 1029000 | #Constraints: 92667
2669.29/2676.29 c #Conflicts: 1030000 | #Constraints: 93667
2669.29/2676.29 c #Conflicts: 1031000 | #Constraints: 94667
2669.29/2676.29 c #Conflicts: 1032000 | #Constraints: 95667
2669.29/2676.29 c #Conflicts: 1033000 | #Constraints: 96667
2669.29/2676.29 c #Conflicts: 1034000 | #Constraints: 97667
2669.29/2676.29 c #Conflicts: 1035000 | #Constraints: 98667
2669.29/2676.29 c #Conflicts: 1036000 | #Constraints: 99667
2669.29/2676.29 c #Conflicts: 1037000 | #Constraints: 100667
2669.29/2676.29 c #Conflicts: 1038000 | #Constraints: 101667
2669.29/2676.29 c #Conflicts: 1039000 | #Constraints: 102667
2669.29/2676.29 c #Conflicts: 1040000 | #Constraints: 103667
2669.29/2676.29 c #Conflicts: 1041000 | #Constraints: 104667
2669.29/2676.29 c #Conflicts: 1042000 | #Constraints: 105667
2669.29/2676.29 c #Conflicts: 1043000 | #Constraints: 106667
2669.29/2676.29 c #Conflicts: 1044000 | #Constraints: 107667
2669.29/2676.29 c #Conflicts: 1045000 | #Constraints: 108667
2669.29/2676.29 c #Conflicts: 1046000 | #Constraints: 109667
2669.29/2676.29 c #Conflicts: 1047000 | #Constraints: 110667
2669.29/2676.29 c #Conflicts: 1048000 | #Constraints: 111667
2669.29/2676.29 c #Conflicts: 1049000 | #Constraints: 112667
2669.29/2676.29 c #Conflicts: 1050000 | #Constraints: 113667
2669.29/2676.29 c #Conflicts: 1051000 | #Constraints: 114667
2669.29/2676.29 c #Conflicts: 1052000 | #Constraints: 115667
2669.29/2676.29 c #Conflicts: 1053000 | #Constraints: 116667
2669.29/2676.29 c #Conflicts: 1054000 | #Constraints: 117667
2669.29/2676.29 c #Conflicts: 1055000 | #Constraints: 118667
2669.29/2676.29 c #Conflicts: 1056000 | #Constraints: 119667
2669.29/2676.29 c #Conflicts: 1057000 | #Constraints: 120667
2669.29/2676.29 c #Conflicts: 1058000 | #Constraints: 121667
2669.29/2676.29 c #Conflicts: 1059000 | #Constraints: 122667
2669.29/2676.29 c #Conflicts: 1060000 | #Constraints: 123667
2669.29/2676.29 c #Conflicts: 1061000 | #Constraints: 124667
2669.29/2676.29 c #Conflicts: 1062000 | #Constraints: 125667
2669.29/2676.29 c #Conflicts: 1063000 | #Constraints: 126667
2669.29/2676.29 c #Conflicts: 1064000 | #Constraints: 127667
2669.29/2676.29 c #Conflicts: 1065000 | #Constraints: 128667
2669.29/2676.29 c #Conflicts: 1066000 | #Constraints: 129667
2669.29/2676.29 c #Conflicts: 1067000 | #Constraints: 130667
2669.29/2676.29 c #Conflicts: 1068000 | #Constraints: 131667
2669.29/2676.29 c #Conflicts: 1069000 | #Constraints: 132667
2669.29/2676.29 c INPROCESSING
2669.29/2676.29 c GARBAGE COLLECT
2669.29/2676.29 c #Conflicts: 1070000 | #Constraints: 77916
2669.29/2676.29 c #Conflicts: 1071000 | #Constraints: 78916
2669.29/2676.29 c #Conflicts: 1072000 | #Constraints: 79916
2669.29/2676.29 c #Conflicts: 1073000 | #Constraints: 80916
2669.29/2676.29 c #Conflicts: 1074000 | #Constraints: 81916
2867.42/2874.86 c #Conflicts: 1075000 | #Constraints: 82916
2867.42/2874.86 c #Conflicts: 1076000 | #Constraints: 83916
2867.42/2874.86 c #Conflicts: 1077000 | #Constraints: 84916
2867.42/2874.86 c #Conflicts: 1078000 | #Constraints: 85916
2867.42/2874.86 c #Conflicts: 1079000 | #Constraints: 86916
2867.42/2874.86 c #Conflicts: 1080000 | #Constraints: 87916
2867.42/2874.86 c #Conflicts: 1081000 | #Constraints: 88916
2867.42/2874.86 c #Conflicts: 1082000 | #Constraints: 89916
2867.42/2874.86 c #Conflicts: 1083000 | #Constraints: 90916
2867.42/2874.86 c #Conflicts: 1084000 | #Constraints: 91916
2867.42/2874.86 c #Conflicts: 1085000 | #Constraints: 92916
2867.42/2874.86 c #Conflicts: 1086000 | #Constraints: 93916
2867.42/2874.86 c #Conflicts: 1087000 | #Constraints: 94916
2867.42/2874.86 c #Conflicts: 1088000 | #Constraints: 95916
2867.42/2874.86 c #Conflicts: 1089000 | #Constraints: 96916
2867.42/2874.86 c #Conflicts: 1090000 | #Constraints: 97916
2867.42/2874.86 c #Conflicts: 1091000 | #Constraints: 98916
2867.42/2874.86 c #Conflicts: 1092000 | #Constraints: 99916
2867.42/2874.86 c #Conflicts: 1093000 | #Constraints: 100916
2867.42/2874.86 c #Conflicts: 1094000 | #Constraints: 101916
2867.42/2874.86 c #Conflicts: 1095000 | #Constraints: 102916
2867.42/2874.86 c #Conflicts: 1096000 | #Constraints: 103916
2867.42/2874.86 c #Conflicts: 1097000 | #Constraints: 104916
2867.42/2874.86 c #Conflicts: 1098000 | #Constraints: 105916
2867.42/2874.86 c INPROCESSING
2867.42/2874.86 c GARBAGE COLLECT
2867.42/2874.86 c #Conflicts: 1099000 | #Constraints: 68263
2867.42/2874.86 c #Conflicts: 1100000 | #Constraints: 69263
2867.42/2874.86 c #Conflicts: 1101000 | #Constraints: 70263
2867.42/2874.86 c #Conflicts: 1102000 | #Constraints: 71263
2867.42/2874.86 c #Conflicts: 1103000 | #Constraints: 72263
2867.42/2874.86 c #Conflicts: 1104000 | #Constraints: 73263
2867.42/2874.86 c #Conflicts: 1105000 | #Constraints: 74263
2867.42/2874.86 c #Conflicts: 1106000 | #Constraints: 75263
2867.42/2874.86 c #Conflicts: 1107000 | #Constraints: 76263
2867.42/2874.86 c #Conflicts: 1108000 | #Constraints: 77263
2867.42/2874.86 c #Conflicts: 1109000 | #Constraints: 78263
2867.42/2874.86 c #Conflicts: 1110000 | #Constraints: 79263
2867.42/2874.86 c #Conflicts: 1111000 | #Constraints: 80263
2867.42/2874.86 c #Conflicts: 1112000 | #Constraints: 81263
2867.42/2874.86 c #Conflicts: 1113000 | #Constraints: 82263
2867.42/2874.86 c #Conflicts: 1114000 | #Constraints: 83263
2867.42/2874.86 c #Conflicts: 1115000 | #Constraints: 84263
2867.42/2874.86 c #Conflicts: 1116000 | #Constraints: 85263
2867.42/2874.86 c #Conflicts: 1117000 | #Constraints: 86263
2867.42/2874.86 c #Conflicts: 1118000 | #Constraints: 87263
2867.42/2874.86 c #Conflicts: 1119000 | #Constraints: 88263
2867.42/2874.86 c #Conflicts: 1120000 | #Constraints: 89263
2867.42/2874.86 c #Conflicts: 1121000 | #Constraints: 90263
2867.42/2874.86 c #Conflicts: 1122000 | #Constraints: 91263
2867.42/2874.86 c #Conflicts: 1123000 | #Constraints: 92263
2867.42/2874.86 c #Conflicts: 1124000 | #Constraints: 93263
2867.42/2874.86 c #Conflicts: 1125000 | #Constraints: 94263
2867.42/2874.86 c #Conflicts: 1126000 | #Constraints: 95263
2867.42/2874.86 c #Conflicts: 1127000 | #Constraints: 96263
2867.42/2874.86 c #Conflicts: 1128000 | #Constraints: 97263
2867.42/2874.86 c #Conflicts: 1129000 | #Constraints: 98263
2867.42/2874.86 c #Conflicts: 1130000 | #Constraints: 99263
2867.42/2874.86 c #Conflicts: 1131000 | #Constraints: 100263
2867.42/2874.86 c #Conflicts: 1132000 | #Constraints: 101263
2867.42/2874.86 c #Conflicts: 1133000 | #Constraints: 102263
2867.42/2874.86 c #Conflicts: 1134000 | #Constraints: 103263
2867.42/2874.86 c #Conflicts: 1135000 | #Constraints: 104263
2867.42/2874.86 c #Conflicts: 1136000 | #Constraints: 105263
2867.42/2874.86 c #Conflicts: 1137000 | #Constraints: 106263
2867.42/2874.86 c #Conflicts: 1138000 | #Constraints: 107263
2867.42/2874.86 c #Conflicts: 1139000 | #Constraints: 108263
2867.42/2874.86 c #Conflicts: 1140000 | #Constraints: 109263
2867.42/2874.86 c #Conflicts: 1141000 | #Constraints: 110263
2867.42/2874.86 c #Conflicts: 1142000 | #Constraints: 111263
2867.42/2874.86 c #Conflicts: 1143000 | #Constraints: 112263
2867.42/2874.86 c #Conflicts: 1144000 | #Constraints: 113263
2867.42/2874.86 c #Conflicts: 1145000 | #Constraints: 114263
2867.42/2874.86 c #Conflicts: 1146000 | #Constraints: 115263
2867.42/2874.86 c #Conflicts: 1147000 | #Constraints: 116263
2867.42/2874.86 c #Conflicts: 1148000 | #Constraints: 117263
2867.42/2874.86 c #Conflicts: 1149000 | #Constraints: 118263
2867.42/2874.86 c #Conflicts: 1150000 | #Constraints: 119263
2867.42/2874.86 c #Conflicts: 1151000 | #Constraints: 120263
2867.42/2874.86 c #Conflicts: 1152000 | #Constraints: 121263
3103.46/3111.41 c #Conflicts: 1153000 | #Constraints: 122263
3103.46/3111.41 c #Conflicts: 1154000 | #Constraints: 123263
3103.46/3111.41 c #Conflicts: 1155000 | #Constraints: 124263
3103.46/3111.41 c #Conflicts: 1156000 | #Constraints: 125263
3103.46/3111.41 c #Conflicts: 1157000 | #Constraints: 126263
3103.46/3111.41 c #Conflicts: 1158000 | #Constraints: 127263
3103.46/3111.41 c #Conflicts: 1159000 | #Constraints: 128263
3103.46/3111.41 c #Conflicts: 1160000 | #Constraints: 129263
3103.46/3111.41 c #Conflicts: 1161000 | #Constraints: 130263
3103.46/3111.41 c #Conflicts: 1162000 | #Constraints: 131263
3103.46/3111.41 c #Conflicts: 1163000 | #Constraints: 132263
3103.46/3111.41 c #Conflicts: 1164000 | #Constraints: 133263
3103.46/3111.41 c #Conflicts: 1165000 | #Constraints: 134263
3103.46/3111.41 c #Conflicts: 1166000 | #Constraints: 135263
3103.46/3111.41 c #Conflicts: 1167000 | #Constraints: 136263
3103.46/3111.41 c #Conflicts: 1168000 | #Constraints: 137263
3103.46/3111.41 c INPROCESSING
3103.46/3111.41 c GARBAGE COLLECT
3103.46/3111.41 c #Conflicts: 1169000 | #Constraints: 80108
3103.46/3111.41 c #Conflicts: 1170000 | #Constraints: 81108
3103.46/3111.41 c #Conflicts: 1171000 | #Constraints: 82108
3103.46/3111.41 c #Conflicts: 1172000 | #Constraints: 83108
3103.46/3111.41 c #Conflicts: 1173000 | #Constraints: 84108
3103.46/3111.41 c #Conflicts: 1174000 | #Constraints: 85108
3103.46/3111.41 c #Conflicts: 1175000 | #Constraints: 86108
3103.46/3111.41 c #Conflicts: 1176000 | #Constraints: 87108
3103.46/3111.41 c #Conflicts: 1177000 | #Constraints: 88108
3103.46/3111.41 c #Conflicts: 1178000 | #Constraints: 89108
3103.46/3111.41 c #Conflicts: 1179000 | #Constraints: 90108
3103.46/3111.41 c #Conflicts: 1180000 | #Constraints: 91108
3103.46/3111.41 c #Conflicts: 1181000 | #Constraints: 92108
3103.46/3111.41 c #Conflicts: 1182000 | #Constraints: 93108
3103.46/3111.41 c #Conflicts: 1183000 | #Constraints: 94108
3103.46/3111.41 c #Conflicts: 1184000 | #Constraints: 95108
3103.46/3111.41 c #Conflicts: 1185000 | #Constraints: 96108
3103.46/3111.41 c #Conflicts: 1186000 | #Constraints: 97108
3103.46/3111.41 c #Conflicts: 1187000 | #Constraints: 98108
3103.46/3111.41 c #Conflicts: 1188000 | #Constraints: 99108
3103.46/3111.41 c #Conflicts: 1189000 | #Constraints: 100108
3103.46/3111.41 c #Conflicts: 1190000 | #Constraints: 101108
3103.46/3111.41 c #Conflicts: 1191000 | #Constraints: 102108
3103.46/3111.41 c #Conflicts: 1192000 | #Constraints: 103108
3103.46/3111.41 c #Conflicts: 1193000 | #Constraints: 104108
3103.46/3111.41 c #Conflicts: 1194000 | #Constraints: 105108
3103.46/3111.41 c #Conflicts: 1195000 | #Constraints: 106108
3103.46/3111.41 c #Conflicts: 1196000 | #Constraints: 107108
3103.46/3111.41 c #Conflicts: 1197000 | #Constraints: 108108
3103.46/3111.41 c #Conflicts: 1198000 | #Constraints: 109108
3103.46/3111.41 c INPROCESSING
3103.46/3111.41 c GARBAGE COLLECT
3103.46/3111.41 c #Conflicts: 1199000 | #Constraints: 70180
3103.46/3111.41 c #Conflicts: 1200000 | #Constraints: 71180
3103.46/3111.41 c #Conflicts: 1201000 | #Constraints: 72180
3103.46/3111.41 c #Conflicts: 1202000 | #Constraints: 73180
3103.46/3111.41 c #Conflicts: 1203000 | #Constraints: 74180
3103.46/3111.41 c #Conflicts: 1204000 | #Constraints: 75180
3103.46/3111.41 c #Conflicts: 1205000 | #Constraints: 76180
3103.46/3111.41 c #Conflicts: 1206000 | #Constraints: 77180
3103.46/3111.41 c #Conflicts: 1207000 | #Constraints: 78180
3103.46/3111.41 c #Conflicts: 1208000 | #Constraints: 79180
3103.46/3111.41 c #Conflicts: 1209000 | #Constraints: 80180
3103.46/3111.41 c #Conflicts: 1210000 | #Constraints: 81180
3103.46/3111.41 c #Conflicts: 1211000 | #Constraints: 82180
3103.46/3111.41 c #Conflicts: 1212000 | #Constraints: 83180
3103.46/3111.41 c #Conflicts: 1213000 | #Constraints: 84180
3103.46/3111.41 c #Conflicts: 1214000 | #Constraints: 85180
3103.46/3111.41 c #Conflicts: 1215000 | #Constraints: 86180
3103.46/3111.41 c #Conflicts: 1216000 | #Constraints: 87180
3103.46/3111.41 c #Conflicts: 1217000 | #Constraints: 88180
3103.46/3111.41 c #Conflicts: 1218000 | #Constraints: 89180
3103.46/3111.41 c #Conflicts: 1219000 | #Constraints: 90180
3103.46/3111.41 c #Conflicts: 1220000 | #Constraints: 91180
3103.46/3111.41 c #Conflicts: 1221000 | #Constraints: 92180
3103.46/3111.41 c #Conflicts: 1222000 | #Constraints: 93180
3103.46/3111.41 c #Conflicts: 1223000 | #Constraints: 94180
3103.46/3111.41 c #Conflicts: 1224000 | #Constraints: 95180
3103.46/3111.41 c #Conflicts: 1225000 | #Constraints: 96180
3103.46/3111.41 c #Conflicts: 1226000 | #Constraints: 97180
3103.46/3111.41 c #Conflicts: 1227000 | #Constraints: 98180
3103.46/3111.41 c #Conflicts: 1228000 | #Constraints: 99180
3103.46/3111.41 c #Conflicts: 1229000 | #Constraints: 100180
3320.85/3329.31 c #Conflicts: 1230000 | #Constraints: 101180
3320.85/3329.31 c #Conflicts: 1231000 | #Constraints: 102180
3320.85/3329.31 c #Conflicts: 1232000 | #Constraints: 103180
3320.85/3329.31 c #Conflicts: 1233000 | #Constraints: 104180
3320.85/3329.31 c #Conflicts: 1234000 | #Constraints: 105180
3320.85/3329.31 c #Conflicts: 1235000 | #Constraints: 106180
3320.85/3329.31 c #Conflicts: 1236000 | #Constraints: 107180
3320.85/3329.31 c #Conflicts: 1237000 | #Constraints: 108180
3320.85/3329.31 c #Conflicts: 1238000 | #Constraints: 109180
3320.85/3329.31 c #Conflicts: 1239000 | #Constraints: 110180
3320.85/3329.31 c #Conflicts: 1240000 | #Constraints: 111180
3320.85/3329.31 c #Conflicts: 1241000 | #Constraints: 112180
3320.85/3329.31 c #Conflicts: 1242000 | #Constraints: 113180
3320.85/3329.31 c #Conflicts: 1243000 | #Constraints: 114180
3320.85/3329.31 c #Conflicts: 1244000 | #Constraints: 115180
3320.85/3329.31 c #Conflicts: 1245000 | #Constraints: 116180
3320.85/3329.31 c #Conflicts: 1246000 | #Constraints: 117180
3320.85/3329.31 c #Conflicts: 1247000 | #Constraints: 118180
3320.85/3329.31 c #Conflicts: 1248000 | #Constraints: 119180
3320.85/3329.31 c #Conflicts: 1249000 | #Constraints: 120180
3320.85/3329.31 c #Conflicts: 1250000 | #Constraints: 121180
3320.85/3329.31 c #Conflicts: 1251000 | #Constraints: 122180
3320.85/3329.31 c #Conflicts: 1252000 | #Constraints: 123180
3320.85/3329.31 c #Conflicts: 1253000 | #Constraints: 124180
3320.85/3329.31 c #Conflicts: 1254000 | #Constraints: 125180
3320.85/3329.31 c #Conflicts: 1255000 | #Constraints: 126180
3320.85/3329.31 c #Conflicts: 1256000 | #Constraints: 127180
3320.85/3329.31 c #Conflicts: 1257000 | #Constraints: 128180
3320.85/3329.31 c #Conflicts: 1258000 | #Constraints: 129180
3320.85/3329.31 c #Conflicts: 1259000 | #Constraints: 130180
3320.85/3329.31 c #Conflicts: 1260000 | #Constraints: 131180
3320.85/3329.31 c #Conflicts: 1261000 | #Constraints: 132180
3320.85/3329.31 c #Conflicts: 1262000 | #Constraints: 133180
3320.85/3329.31 c #Conflicts: 1263000 | #Constraints: 134180
3320.85/3329.31 c #Conflicts: 1264000 | #Constraints: 135180
3320.85/3329.31 c #Conflicts: 1265000 | #Constraints: 136180
3320.85/3329.31 c #Conflicts: 1266000 | #Constraints: 137180
3320.85/3329.31 c #Conflicts: 1267000 | #Constraints: 138180
3320.85/3329.31 c #Conflicts: 1268000 | #Constraints: 139180
3320.85/3329.31 c #Conflicts: 1269000 | #Constraints: 140180
3320.85/3329.31 c #Conflicts: 1270000 | #Constraints: 141180
3320.85/3329.31 c #Conflicts: 1271000 | #Constraints: 142180
3320.85/3329.31 c #Conflicts: 1272000 | #Constraints: 143180
3320.85/3329.31 c INPROCESSING
3320.85/3329.31 c GARBAGE COLLECT
3320.85/3329.31 c #Conflicts: 1273000 | #Constraints: 83117
3320.85/3329.31 c #Conflicts: 1274000 | #Constraints: 84117
3320.85/3329.31 c #Conflicts: 1275000 | #Constraints: 85117
3320.85/3329.31 c #Conflicts: 1276000 | #Constraints: 86117
3320.85/3329.31 c #Conflicts: 1277000 | #Constraints: 87117
3320.85/3329.31 c #Conflicts: 1278000 | #Constraints: 88117
3320.85/3329.31 c #Conflicts: 1279000 | #Constraints: 89117
3320.85/3329.31 c #Conflicts: 1280000 | #Constraints: 90117
3320.85/3329.31 c #Conflicts: 1281000 | #Constraints: 91117
3320.85/3329.31 c #Conflicts: 1282000 | #Constraints: 92117
3320.85/3329.31 c #Conflicts: 1283000 | #Constraints: 93117
3320.85/3329.31 c #Conflicts: 1284000 | #Constraints: 94117
3320.85/3329.31 c #Conflicts: 1285000 | #Constraints: 95117
3320.85/3329.31 c #Conflicts: 1286000 | #Constraints: 96117
3320.85/3329.31 c #Conflicts: 1287000 | #Constraints: 97117
3320.85/3329.31 c #Conflicts: 1288000 | #Constraints: 98117
3320.85/3329.31 c #Conflicts: 1289000 | #Constraints: 99117
3320.85/3329.31 c #Conflicts: 1290000 | #Constraints: 100117
3320.85/3329.31 c #Conflicts: 1291000 | #Constraints: 101117
3320.85/3329.31 c #Conflicts: 1292000 | #Constraints: 102117
3320.85/3329.31 c #Conflicts: 1293000 | #Constraints: 103117
3320.85/3329.31 c #Conflicts: 1294000 | #Constraints: 104117
3320.85/3329.31 c #Conflicts: 1295000 | #Constraints: 105117
3320.85/3329.31 c #Conflicts: 1296000 | #Constraints: 106117
3320.85/3329.31 c #Conflicts: 1297000 | #Constraints: 107117
3320.85/3329.31 c #Conflicts: 1298000 | #Constraints: 108117
3320.85/3329.31 c #Conflicts: 1299000 | #Constraints: 109117
3320.85/3329.31 c #Conflicts: 1300000 | #Constraints: 110117
3320.85/3329.31 c #Conflicts: 1301000 | #Constraints: 111117
3320.85/3329.31 c #Conflicts: 1302000 | #Constraints: 112117
3320.85/3329.31 c #Conflicts: 1303000 | #Constraints: 113117
3320.85/3329.31 c INPROCESSING
3320.85/3329.31 c GARBAGE COLLECT
3320.85/3329.31 c #Conflicts: 1304000 | #Constraints: 72705
3320.85/3329.31 c #Conflicts: 1305000 | #Constraints: 73705
3320.85/3329.31 c #Conflicts: 1306000 | #Constraints: 74705
3320.85/3329.31 c #Conflicts: 1307000 | #Constraints: 75705
3577.17/3586.22 c #Conflicts: 1308000 | #Constraints: 76705
3577.17/3586.22 c #Conflicts: 1309000 | #Constraints: 77705
3577.17/3586.22 c #Conflicts: 1310000 | #Constraints: 78705
3577.17/3586.22 c #Conflicts: 1311000 | #Constraints: 79705
3577.17/3586.22 c #Conflicts: 1312000 | #Constraints: 80705
3577.17/3586.22 c #Conflicts: 1313000 | #Constraints: 81705
3577.17/3586.22 c #Conflicts: 1314000 | #Constraints: 82705
3577.17/3586.22 c #Conflicts: 1315000 | #Constraints: 83705
3577.17/3586.22 c #Conflicts: 1316000 | #Constraints: 84705
3577.17/3586.22 c #Conflicts: 1317000 | #Constraints: 85705
3577.17/3586.22 c #Conflicts: 1318000 | #Constraints: 86705
3577.17/3586.22 c #Conflicts: 1319000 | #Constraints: 87705
3577.17/3586.22 c #Conflicts: 1320000 | #Constraints: 88705
3577.17/3586.22 c #Conflicts: 1321000 | #Constraints: 89705
3577.17/3586.22 c #Conflicts: 1322000 | #Constraints: 90705
3577.17/3586.22 c #Conflicts: 1323000 | #Constraints: 91705
3577.17/3586.22 c #Conflicts: 1324000 | #Constraints: 92705
3577.17/3586.22 c #Conflicts: 1325000 | #Constraints: 93705
3577.17/3586.22 c #Conflicts: 1326000 | #Constraints: 94705
3577.17/3586.22 c #Conflicts: 1327000 | #Constraints: 95705
3577.17/3586.22 c #Conflicts: 1328000 | #Constraints: 96705
3577.17/3586.22 c #Conflicts: 1329000 | #Constraints: 97705
3577.17/3586.22 c #Conflicts: 1330000 | #Constraints: 98705
3577.17/3586.22 c #Conflicts: 1331000 | #Constraints: 99705
3577.17/3586.22 c #Conflicts: 1332000 | #Constraints: 100705
3577.17/3586.22 c #Conflicts: 1333000 | #Constraints: 101705
3577.17/3586.22 c #Conflicts: 1334000 | #Constraints: 102705
3577.17/3586.22 c #Conflicts: 1335000 | #Constraints: 103705
3577.17/3586.22 c #Conflicts: 1336000 | #Constraints: 104705
3577.17/3586.22 c #Conflicts: 1337000 | #Constraints: 105705
3577.17/3586.22 c #Conflicts: 1338000 | #Constraints: 106705
3577.17/3586.22 c #Conflicts: 1339000 | #Constraints: 107705
3577.17/3586.22 c #Conflicts: 1340000 | #Constraints: 108705
3577.17/3586.22 c #Conflicts: 1341000 | #Constraints: 109705
3577.17/3586.22 c #Conflicts: 1342000 | #Constraints: 110705
3577.17/3586.22 c #Conflicts: 1343000 | #Constraints: 111705
3577.17/3586.22 c #Conflicts: 1344000 | #Constraints: 112705
3577.17/3586.22 c #Conflicts: 1345000 | #Constraints: 113705
3577.17/3586.22 c #Conflicts: 1346000 | #Constraints: 114705
3577.17/3586.22 c #Conflicts: 1347000 | #Constraints: 115705
3577.17/3586.22 c #Conflicts: 1348000 | #Constraints: 116705
3577.17/3586.22 c #Conflicts: 1349000 | #Constraints: 117705
3577.17/3586.22 c #Conflicts: 1350000 | #Constraints: 118705
3577.17/3586.22 c #Conflicts: 1351000 | #Constraints: 119705
3577.17/3586.22 c #Conflicts: 1352000 | #Constraints: 120705
3577.17/3586.22 c #Conflicts: 1353000 | #Constraints: 121705
3577.17/3586.22 c #Conflicts: 1354000 | #Constraints: 122705
3577.17/3586.22 c #Conflicts: 1355000 | #Constraints: 123705
3577.17/3586.22 c #Conflicts: 1356000 | #Constraints: 124705
3577.17/3586.22 c #Conflicts: 1357000 | #Constraints: 125705
3577.17/3586.22 c #Conflicts: 1358000 | #Constraints: 126705
3577.17/3586.22 c #Conflicts: 1359000 | #Constraints: 127705
3577.17/3586.22 c #Conflicts: 1360000 | #Constraints: 128705
3577.17/3586.22 c #Conflicts: 1361000 | #Constraints: 129705
3577.17/3586.22 c #Conflicts: 1362000 | #Constraints: 130705
3577.17/3586.22 c #Conflicts: 1363000 | #Constraints: 131705
3577.17/3586.22 c #Conflicts: 1364000 | #Constraints: 132705
3577.17/3586.22 c #Conflicts: 1365000 | #Constraints: 133705
3577.17/3586.22 c #Conflicts: 1366000 | #Constraints: 134705
3577.17/3586.22 c #Conflicts: 1367000 | #Constraints: 135705
3577.17/3586.22 c #Conflicts: 1368000 | #Constraints: 136705
3577.17/3586.22 c #Conflicts: 1369000 | #Constraints: 137705
3577.17/3586.22 c #Conflicts: 1370000 | #Constraints: 138705
3577.17/3586.22 c #Conflicts: 1371000 | #Constraints: 139705
3577.17/3586.22 c #Conflicts: 1372000 | #Constraints: 140705
3577.17/3586.22 c #Conflicts: 1373000 | #Constraints: 141705
3577.17/3586.22 c #Conflicts: 1374000 | #Constraints: 142705
3577.17/3586.22 c #Conflicts: 1375000 | #Constraints: 143705
3577.17/3586.22 c #Conflicts: 1376000 | #Constraints: 144705
3577.17/3586.22 c #Conflicts: 1377000 | #Constraints: 145705
3577.17/3586.22 c #Conflicts: 1378000 | #Constraints: 146705
3577.17/3586.22 c #Conflicts: 1379000 | #Constraints: 147705
3577.17/3586.22 c #Conflicts: 1380000 | #Constraints: 148705
3577.17/3586.22 c INPROCESSING
3577.17/3586.22 c GARBAGE COLLECT
3577.17/3586.22 c #Conflicts: 1381000 | #Constraints: 86096
3577.17/3586.22 c #Conflicts: 1382000 | #Constraints: 87096
3577.17/3586.22 c #Conflicts: 1383000 | #Constraints: 88096
3577.17/3586.22 c #Conflicts: 1384000 | #Constraints: 89096
3577.17/3586.22 c #Conflicts: 1385000 | #Constraints: 90096
3600.01/3609.10 c #Conflicts: 1386000 | #Constraints: 91096
3600.01/3609.10 c #Conflicts: 1387000 | #Constraints: 92096
3600.01/3609.10 c #Conflicts: 1388000 | #Constraints: 93096
3600.01/3609.10 c #Conflicts: 1389000 | #Constraints: 94096
3600.01/3609.10 c #Conflicts: 1390000 | #Constraints: 95096
3600.01/3609.10 c #Conflicts: 1391000 | #Constraints: 96096
3600.01/3609.10 c #Conflicts: 1392000 | #Constraints: 97096
3600.01/3609.10 c #Conflicts: 1393000 | #Constraints: 98096
3600.01/3609.10 c #Conflicts: 1394000 | #Constraints: 99096
3600.01/3609.10 c #Conflicts: 1395000 | #Constraints: 100096
3600.01/3609.10 c cpu time 3575.31 s
3600.01/3609.10 c deterministic time 231459729190 2.31e+11
3600.01/3609.10 c optimization time 32.231 s
3600.01/3609.10 c total solve time 3542.99 s
3600.01/3609.10 c core-guided solve time 0 s
3600.01/3609.10 c propagation time 1754.26 s
3600.01/3609.10 c conflict analysis time 1421.44 s
3600.01/3609.10 c propagations 1387223184
3600.01/3609.10 c resolve steps 94242253
3600.01/3609.10 c decisions 26253867
3600.01/3609.10 c conflicts 1395951
3600.01/3609.10 c restarts 2683
3600.01/3609.10 c inprocessing phases 50
3600.01/3609.10 c garbage collections 50 ,( 100.00 )
3600.01/3609.10 c input clauses 18740 ,( 99.18 )
3600.01/3609.10 c input cardinalities 155 ,( 0.82 )
3600.01/3609.10 c input general constraints 0 ,( 0.00 )
3600.01/3609.10 c input average constraint length 6.41
3600.01/3609.10 c input average constraint degree 1.96
3600.01/3609.10 c learned clauses 1046976 ,( 75.00 )
3600.01/3609.10 c learned cardinalities 41886 ,( 3.00 )
3600.01/3609.10 c learned general constraints 307091 ,( 22.00 )
3600.01/3609.10 c learned average constraint length 780.35
3600.01/3609.10 c learned average constraint degree 21208778.19
3600.01/3609.10 c watched CF 32, 64, 128, Arb: 82596 , 0 , 0 , 0
3600.01/3609.10 c counting CF 32, 64, 128, Arb: 224495 , 0 , 0 , 0
3600.01/3609.10 c watched constraints 82596 ,( 26.90 )
3600.01/3609.10 c counting constraints 224495 ,( 73.10 )
3600.01/3609.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1331775903 , 645831262 , 2374507302 ,( 80869283 , 2293638019 )
3600.01/3609.10 c gcd simplifications 616
3600.01/3609.10 c detected cardinalities 5700
3600.01/3609.10 c weakened non-implied lits 400591802
3600.01/3609.10 c weakened non-implying lits 203618
3600.01/3609.10 c original variables 18490
3600.01/3609.10 c clausal propagations 633755115
3600.01/3609.10 c cardinality propagations 508422171
3600.01/3609.10 c watched propagations 4862159
3600.01/3609.10 c counting propagations 228141661
3600.01/3609.10 c watch lookups 80655755659
3600.01/3609.10 c watch backjump lookups 0
3600.01/3609.10 c watch checks 35069426906
3600.01/3609.10 c propagation checks 107783181673
3600.01/3609.10 c constraint additions 5122725592
3600.01/3609.10 c trail pops 1414858166
3600.01/3609.10 c formula constraints 18895
3600.01/3609.10 c learned constraints 1395948
3600.01/3609.10 c bound constraints 0
3600.01/3609.10 c core-guided constraints 0
3600.01/3609.10 c encountered formula constraints 60982634
3600.01/3609.10 c encountered learned constraints 34655392
3600.01/3609.10 c encountered bound constraints 0
3600.01/3609.10 c encountered core-guided constraints 0
3600.01/3609.10 c LP total time 431.623 s
3600.01/3609.10 c LP solve time 427.97 s
3600.01/3609.10 c LP constraints added 19014
3600.01/3609.10 c LP constraints removed 0
3600.01/3609.10 c LP pivots internal 158196
3600.01/3609.10 c LP pivots root 145946
3600.01/3609.10 c LP calls 12
3600.01/3609.10 c LP optimalities 3
3600.01/3609.10 c LP no pivot count 0
3600.01/3609.10 c LP infeasibilities 2
3600.01/3609.10 c LP valid Farkas constraints 2
3600.01/3609.10 c LP learned Farkas constraints 2
3600.01/3609.10 c LP basis resets 0
3600.01/3609.10 c LP cycling count 0
3600.01/3609.10 c LP singular count 0
3600.01/3609.10 c LP no primal count 0
3600.01/3609.10 c LP no farkas count 0
3600.01/3609.10 c LP other issue count 0
3600.01/3609.10 c LP Gomory cuts 1
3600.01/3609.10 c LP learned cuts 118
3600.01/3609.10 c LP deleted cuts 0
3600.01/3609.10 c LP encountered Gomory constraints 0
3600.01/3609.10 c LP encountered Farkas constraints 174
3600.01/3609.10 c LP encountered learned Farkas constraints 2
3600.01/3609.10 c CG auxiliary variables introduced 0
3600.01/3609.10 c CG solutions found 0
3600.01/3609.10 c CG cores constructed 0
3600.01/3609.10 c CG core cardinality constraints returned 0
3600.01/3609.10 c CG unit cores 0
3600.01/3609.10 c CG single cores 0
3600.01/3609.10 c CG blocks removed during cardinality reduction 0
3600.01/3609.10 c CG first core best 0
3600.01/3609.10 c CG decision core best 0
3600.01/3609.10 c CG core reduction tie 0
3600.01/3609.10 c CG core degree average 0.00
3600.01/3609.10 c CG core slack average 0.00
3600.01/3609.10 c CG core upper bound improvements 0
3600.01/3609.10 c STR number of successful calls 0
3600.01/3609.10 c STR number of unsuccessful calls 0
3600.01/3609.10 c STR number of inconclusive calls 0
3600.01/3609.10 c STR number of successful attempts 0
3600.01/3609.10 c STR number of unsuccessful attempts 0
3600.01/3609.10 c STR number of inconclusive attempts 0
3600.01/3609.10 c STR average degree increase per successful call inf
3600.01/3609.10 c STR average degree increase per successful attempt inf
3600.01/3609.10 c STR total number of conflicts for successful attempts 0
3600.01/3609.10 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.10 c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.10 c STR average number of conflicts per successful attempt inf
3600.01/3609.10 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.10 c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.10 c AVG.sumWPerc 64.92
3600.01/3609.10 c bigint constraints 0
3600.01/3609.10 s UNKNOWN
3600.01/3609.10 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 (63051 MiB free)
memory of node 1: 64507 MiB (64071 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507052-1751176317/watcher-4507052-1751176317 -o /tmp/evaluation-result-4507052-1751176317/solver-4507052-1751176317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18879 --watchdog 3760 run-dec-break.sh HOME/instance-4507052-1751176317.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=19282, runsolver pid=19270
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.12 4.10 4.03 2/263 19297
/proc/meminfo: memFree=130037220/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+0.205612 s]*
/proc/loadavg: 4.12 4.10 4.03 5/265 19305
/proc/meminfo: memFree=130019944/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=84156 memory=37752 CPUtime=0.09 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 6737 0 0 0 7 2 0 0 20 0 1 0 33309474 86175744 9438 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 21039 9438 2272 1147 0 8466 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 88348 KiB
Current children cumulated memory: 40696 KiB
[startup+0.305836 s]*
/proc/loadavg: 4.12 4.10 4.03 5/268 19312
/proc/meminfo: memFree=129932944/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=111356 memory=57088 CPUtime=0.18 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 10818 0 0 0 15 3 0 0 20 0 1 0 33309474 114028544 14272 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 27839 14272 2272 1147 0 15266 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 115548 KiB
Current children cumulated memory: 60032 KiB
[startup+0.700174 s]
/proc/loadavg: 4.12 4.10 4.03 5/268 19313
/proc/meminfo: memFree=129900180/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=112640 memory=59008 CPUtime=0.57 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 11268 0 0 0 54 3 0 0 20 0 1 0 33309474 115343360 14752 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 28160 14752 2304 1147 0 15587 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 116832 KiB
Current children cumulated memory: 61952 KiB
[startup+1.50015 s]
/proc/loadavg: 4.12 4.10 4.03 5/268 19313
/proc/meminfo: memFree=129900180/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=112640 memory=59008 CPUtime=1.37 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 11268 0 0 0 134 3 0 0 20 0 1 0 33309474 115343360 14752 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 28160 14752 2304 1147 0 15587 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 116832 KiB
Current children cumulated memory: 61952 KiB
[startup+3.10551 s]
/proc/loadavg: 4.11 4.09 4.03 5/268 19313
/proc/meminfo: memFree=129892528/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=114732 memory=61568 CPUtime=2.98 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 11907 0 0 0 293 5 0 0 20 0 1 0 33309474 117485568 15392 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 28683 15392 2336 1147 0 16110 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 118924 KiB
Current children cumulated memory: 64512 KiB
[startup+6.30014 s]
/proc/loadavg: 4.11 4.09 4.03 5/268 19313
/proc/meminfo: memFree=129884188/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=118392 memory=68448 CPUtime=6.16 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 13057 0 0 0 603 13 0 0 20 0 1 0 33309474 121233408 17112 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 29598 17112 2368 1147 0 17025 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 122584 KiB
Current children cumulated memory: 71392 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.03 5/268 19313
/proc/meminfo: memFree=129855272/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=130344 memory=79072 CPUtime=12.54 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 15744 0 0 0 1227 27 0 0 20 0 1 0 33309474 133472256 19768 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 32586 19768 2368 1147 0 20013 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 134536 KiB
Current children cumulated memory: 82016 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.03 5/268 19313
/proc/meminfo: memFree=129768116/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=152624 memory=102744 CPUtime=25.31 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 19617 0 0 0 2480 51 0 0 20 0 1 0 33309474 156286976 25686 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 38156 25686 2368 1147 0 25583 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 156816 KiB
Current children cumulated memory: 105688 KiB
[startup+51.1052 s]
/proc/loadavg: 4.05 4.08 4.03 5/268 19313
/proc/meminfo: memFree=129636980/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=185016 memory=128996 CPUtime=50.86 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 25202 0 0 0 4987 99 0 0 20 0 1 0 33309474 189456384 32249 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 46254 32249 2368 1147 0 33681 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 189208 KiB
Current children cumulated memory: 131940 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/267 19315
/proc/meminfo: memFree=129471900/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=222296 memory=153004 CPUtime=101.93 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 29700 0 0 0 10019 174 0 0 20 0 1 0 33309474 227631104 38251 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 55574 38251 2368 1147 0 43001 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 226488 KiB
Current children cumulated memory: 155948 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/266 19317
/proc/meminfo: memFree=129268284/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=244572 memory=187212 CPUtime=161.8 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 35677 0 0 0 15929 251 0 0 20 0 1 0 33309474 250441728 46803 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 61143 46803 2368 1147 0 48570 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 248764 KiB
Current children cumulated memory: 190156 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/266 19319
/proc/meminfo: memFree=129157484/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=288380 memory=215048 CPUtime=221.65 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 39605 0 0 0 21828 337 0 0 20 0 1 0 33309474 295301120 53762 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 72095 53762 2368 1147 0 59522 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 292572 KiB
Current children cumulated memory: 217992 KiB
################
# More data... #
################
/proc/19298/statm: 382993 280964 2368 1147 0 370420 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 1536164 KiB
Current children cumulated memory: 1126800 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 19470
/proc/meminfo: memFree=126256216/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=1531972 memory=1123856 CPUtime=3154.17 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 137026 0 0 0 313193 2224 0 0 20 0 1 0 33309474 1568739328 280964 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 382993 280964 2368 1147 0 370420 0
Current children cumulated CPU time: 3154.24 s
Current children cumulated vsize: 1536164 KiB
Current children cumulated memory: 1126800 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 19472
/proc/meminfo: memFree=126233188/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=1531972 memory=1123984 CPUtime=3214.02 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 137044 0 0 0 319141 2261 0 0 20 0 1 0 33309474 1568739328 280996 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 382993 280996 2368 1147 0 370420 0
Current children cumulated CPU time: 3214.09 s
Current children cumulated vsize: 1536164 KiB
Current children cumulated memory: 1126928 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 19475
/proc/meminfo: memFree=126209780/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=1533372 memory=1125264 CPUtime=3273.89 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 137381 0 0 0 325095 2294 0 0 20 0 1 0 33309474 1570172928 281316 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 383343 281316 2368 1147 0 370770 0
Current children cumulated CPU time: 3273.96 s
Current children cumulated vsize: 1537564 KiB
Current children cumulated memory: 1128208 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 19480
/proc/meminfo: memFree=126209932/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=1533372 memory=1125776 CPUtime=3333.75 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 137482 0 0 0 331028 2347 0 0 20 0 1 0 33309474 1570172928 281444 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 383343 281444 2368 1147 0 370770 0
Current children cumulated CPU time: 3333.82 s
Current children cumulated vsize: 1537564 KiB
Current children cumulated memory: 1128720 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 19486
/proc/meminfo: memFree=126201900/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=1533372 memory=1125776 CPUtime=3393.62 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 137482 0 0 0 336990 2372 0 0 20 0 1 0 33309474 1570172928 281444 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 383343 281444 2368 1147 0 370770 0
Current children cumulated CPU time: 3393.69 s
Current children cumulated vsize: 1537564 KiB
Current children cumulated memory: 1128720 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/269 19489
/proc/meminfo: memFree=126202660/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=1533372 memory=1125776 CPUtime=3453.48 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 137487 0 0 0 342961 2387 0 0 20 0 1 0 33309474 1570172928 281444 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 383343 281444 2368 1147 0 370770 0
Current children cumulated CPU time: 3453.55 s
Current children cumulated vsize: 1537564 KiB
Current children cumulated memory: 1128720 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 19491
/proc/meminfo: memFree=126210028/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=1533372 memory=1125904 CPUtime=3513.35 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 137531 0 0 0 348923 2412 0 0 20 0 1 0 33309474 1570172928 281476 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 383343 281476 2368 1147 0 370770 0
Current children cumulated CPU time: 3513.42 s
Current children cumulated vsize: 1537564 KiB
Current children cumulated memory: 1128848 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 19494
/proc/meminfo: memFree=126209808/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=1538036 memory=1129744 CPUtime=3573.2 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 138518 0 0 0 354880 2440 0 0 20 0 1 0 33309474 1574948864 282436 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 384509 282436 2368 1147 0 371936 0
Current children cumulated CPU time: 3573.27 s
Current children cumulated vsize: 1542228 KiB
Current children cumulated memory: 1132688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.1 s]
/proc/loadavg: 4.11 4.09 4.09 3/260 19503
/proc/meminfo: memFree=128102480/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=1538036 memory=1129744 CPUtime=3599.94 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 138518 0 0 0 357530 2464 0 0 20 0 1 0 33309474 1574948864 282436 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 384509 282436 2368 1147 0 371936 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1542228 KiB
Current children cumulated memory: 1132688 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.11 s]
# the end of solver process 19282 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.05267 s, system=0.027875 s
Sleeping 2 seconds
[startup+3609.12 s]
# the end of solver process 19298 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3575.37 s, system=24.6891 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+3609.1 s]
/proc/loadavg: 4.11 4.09 4.09 3/260 19503
/proc/meminfo: memFree=128102480/131249996 swapFree=33010684/33010684
[pid=19282] ppid=19270 vsize=4192 memory=2944 CPUtime=0.07 cores=5,7
/proc/19282/stat : 19282 (run-dec-break.s) S 19270 19282 18866 0 -1 4194304 235 12106 0 0 0 0 5 2 20 0 1 0 33309463 4292608 736 18446744073709551615 94781155549184 94781156443717 140728993915328 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94781156682768 94781156730512 94781171605504 140728993921377 140728993921506 140728993921506 140728993927108 0
/proc/19282/statm: 1048 736 672 219 0 110 0
[pid=19298] ppid=19282 vsize=1538036 memory=1129744 CPUtime=3599.94 cores=5,7
/proc/19298/stat : 19298 (roundingsat) R 19282 19282 18866 0 -1 4194304 138518 0 0 0 357530 2464 0 0 20 0 1 0 33309474 1574948864 282436 18446744073709551615 4227072 8923433 140729651688528 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 14036992 140729651693892 140729651694120 140729651694120 140729651699690 0
/proc/19298/statm: 384509 282436 2368 1147 0 371936 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1542228 KiB
Current children cumulated memory: 1132688 KiB
Child status: 2
Real time (s): 3609.12
CPU time (s): 3600.06
CPU user time (s): 3575.37
CPU system time (s): 24.6891
CPU usage (%): 99.7487
Max. virtual memory (cumulated for all children) (KiB): 1542228
Max. memory (cumulated for all children) (KiB): 1132688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.37
system time used= 24.6891
maximum resident set size= 1130128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150880
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 447
involuntary context switches= 2836
# summary of solver processes directly reported to runsolver:
# pid: 19282,19298
# total CPU time (s): 3600.06
# total CPU user time (s): 3575.37
# total CPU system time (s): 24.6891
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21049 second user time and 15.8374 second system time
The end
Begin job on nodeC022 at 2025-06-29 07:51:57
IDJOB=4507052
IDBENCH=158319
IDSOLVER=3357
FILE ID=nodeC022/4507052-1751176317
RUNJOBID= nodeC022-1751172706-18879
SLURM_JOB_ID= 9587539
Free space on /tmp= 433052 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K155.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507052-1751176317/watcher-4507052-1751176317 -o /tmp/evaluation-result-4507052-1751176317/solver-4507052-1751176317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751172706-18879 --watchdog 3760 run-dec-break.sh HOME/instance-4507052-1751176317.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4394b20101c323a14e6df6504cadd31d
RANDOM SEED=1684975713
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 : 3596.557
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 : 3599.766
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.706
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 : 3599.746
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 : 3602.647
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 : 3599.718
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 : 3599.719
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 : 3704.705
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: 130172508 kB
MemAvailable: 129827268 kB
Buffers: 3280 kB
Cached: 465684 kB
SwapCached: 0 kB
Active: 316708 kB
Inactive: 217320 kB
Active(anon): 83128 kB
Inactive(anon): 0 kB
Active(file): 233580 kB
Inactive(file): 217320 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25088 kB
Writeback: 8 kB
AnonPages: 68636 kB
Mapped: 103136 kB
Shmem: 18060 kB
KReclaimable: 85796 kB
Slab: 169548 kB
SReclaimable: 85796 kB
SUnreclaim: 83752 kB
KernelStack: 4148 kB
PageTables: 2936 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 340392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150440 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 08:52:06