0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4507053-1751174038.opb'
0.00/0.03 c read 1.27MB (18.59ms)
0.00/0.03 c [cnf: #variables 18445 #clauses 18757 #duplicates 0 #arr 120633]
0.00/0.03 c output proof to 'PROOFDIR/proof-4507053-1751174038'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 2790] (23.57ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06 c (4.08ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 92537 #edges 351936]
0.00/0.06 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.08 c [group: #symmetries 4.80*10^1 #generators 5] (19.69ms)
0.00/0.08 c
0.00/0.08 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.08 c (0.07ms)
0.00/0.08 c
0.00/0.08 c finalize break order and special generators
0.00/0.08 c
0.00/0.08 c add generic predicates (break_depth=10)
0.00/0.08 c added predicates for 5 generators (0.05ms)
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-4507053-1751174038.opb.pre'
0.00/0.10 c wrote 1.29MB (3.05ms)
0.00/0.10 c ------------------------------------------------------------------
0.00/0.10 c 23.57ms 27.99% approx_orbits
0.00/0.10 c 19.69ms 23.39% detect_generic
0.00/0.10 c 18.59ms 22.07% parse
0.00/0.10 c 14.43ms 17.14% other
0.00/0.10 c 4.08ms 4.85% detect_special
0.00/0.10 c 3.05ms 3.62% output
0.00/0.10 c 0.66ms 0.79% finalize_order
0.00/0.10 c 0.07ms 0.09% optimize_gens
0.00/0.10 c 0.05ms 0.07% break_generic
0.00/0.10 c ───────────────────────────────────────────────
0.00/0.10 c 84.20ms 100% total
0.00/0.10 c ------------------------------------------------------------------
0.08/0.12 c RoundingSat 2
0.08/0.12 c branch pb25
0.08/0.12 c commit 63f22ad
0.16/0.27 c #variables 18490 #constraints 18895
112.05/112.88 c #Conflicts: 1000 | #Constraints: 19894
112.05/112.88 c #Conflicts: 2000 | #Constraints: 20894
112.05/112.88 c INPROCESSING
112.05/112.88 c GARBAGE COLLECT
112.05/112.88 c #Conflicts: 3000 | #Constraints: 20134
112.05/112.88 c #Conflicts: 4000 | #Constraints: 21134
112.05/112.88 c INPROCESSING
112.05/112.88 c GARBAGE COLLECT
112.05/112.88 c #Conflicts: 5000 | #Constraints: 20607
112.05/112.88 c #Conflicts: 6000 | #Constraints: 21607
112.05/112.88 c INPROCESSING
112.05/112.88 c GARBAGE COLLECT
112.05/112.88 c #Conflicts: 7000 | #Constraints: 20705
112.05/112.88 c #Conflicts: 8000 | #Constraints: 21705
112.05/112.88 c #Conflicts: 9000 | #Constraints: 22705
112.05/112.88 c INPROCESSING
112.05/112.88 c GARBAGE COLLECT
112.05/112.88 c #Conflicts: 10000 | #Constraints: 21447
112.05/112.88 c #Conflicts: 11000 | #Constraints: 22447
112.05/112.88 c #Conflicts: 12000 | #Constraints: 23447
112.05/112.88 c INPROCESSING
112.05/112.88 c GARBAGE COLLECT
112.05/112.88 c #Conflicts: 13000 | #Constraints: 21964
112.05/112.88 c #Conflicts: 14000 | #Constraints: 22964
112.05/112.88 c #Conflicts: 15000 | #Constraints: 23964
112.05/112.88 c #Conflicts: 16000 | #Constraints: 24964
112.05/112.88 c #Conflicts: 17000 | #Constraints: 25964
112.05/112.88 c #Conflicts: 18000 | #Constraints: 26964
112.05/112.88 c #Conflicts: 19000 | #Constraints: 27964
112.05/112.88 c #Conflicts: 20000 | #Constraints: 28964
112.05/112.88 c INPROCESSING
112.05/112.88 c GARBAGE COLLECT
112.05/112.88 c #Conflicts: 21000 | #Constraints: 24543
112.05/112.88 c #Conflicts: 22000 | #Constraints: 25543
112.05/112.88 c #Conflicts: 23000 | #Constraints: 26543
112.05/112.88 c #Conflicts: 24000 | #Constraints: 27543
112.05/112.88 c INPROCESSING
112.05/112.88 c GARBAGE COLLECT
112.05/112.88 c #Conflicts: 25000 | #Constraints: 23878
112.05/112.88 c #Conflicts: 26000 | #Constraints: 24878
112.05/112.88 c #Conflicts: 27000 | #Constraints: 25878
112.05/112.88 c #Conflicts: 28000 | #Constraints: 26878
112.05/112.88 c #Conflicts: 29000 | #Constraints: 27878
112.05/112.88 c #Conflicts: 30000 | #Constraints: 28878
112.05/112.88 c #Conflicts: 31000 | #Constraints: 29878
112.05/112.88 c #Conflicts: 32000 | #Constraints: 30878
112.05/112.88 c #Conflicts: 33000 | #Constraints: 31878
112.05/112.88 c #Conflicts: 34000 | #Constraints: 32878
112.05/112.88 c #Conflicts: 35000 | #Constraints: 33878
112.05/112.88 c #Conflicts: 36000 | #Constraints: 34878
112.05/112.88 c INPROCESSING
112.05/112.88 c GARBAGE COLLECT
112.05/112.88 c #Conflicts: 37000 | #Constraints: 27892
112.05/112.88 c #Conflicts: 38000 | #Constraints: 28892
112.05/112.88 c #Conflicts: 39000 | #Constraints: 29892
112.05/112.88 c #Conflicts: 40000 | #Constraints: 30892
112.05/112.88 c #Conflicts: 41000 | #Constraints: 31892
112.05/112.88 c INPROCESSING
112.05/112.88 c GARBAGE COLLECT
112.05/112.88 c #Conflicts: 42000 | #Constraints: 26251
112.05/112.88 c #Conflicts: 43000 | #Constraints: 27251
112.05/112.88 c #Conflicts: 44000 | #Constraints: 28251
112.05/112.88 c #Conflicts: 45000 | #Constraints: 29251
112.05/112.88 c #Conflicts: 46000 | #Constraints: 30251
112.05/112.88 c #Conflicts: 47000 | #Constraints: 31251
112.05/112.88 c #Conflicts: 48000 | #Constraints: 32251
112.05/112.88 c #Conflicts: 49000 | #Constraints: 33251
112.05/112.88 c #Conflicts: 50000 | #Constraints: 34251
112.05/112.88 c #Conflicts: 51000 | #Constraints: 35251
112.05/112.88 c #Conflicts: 52000 | #Constraints: 36251
112.05/112.88 c #Conflicts: 53000 | #Constraints: 37251
112.05/112.88 c #Conflicts: 54000 | #Constraints: 38251
112.05/112.88 c #Conflicts: 55000 | #Constraints: 39251
112.05/112.88 c #Conflicts: 56000 | #Constraints: 40251
112.05/112.88 c INPROCESSING
112.05/112.88 c GARBAGE COLLECT
112.05/112.88 c #Conflicts: 57000 | #Constraints: 30685
112.05/112.88 c #Conflicts: 58000 | #Constraints: 31685
112.05/112.88 c #Conflicts: 59000 | #Constraints: 32685
112.05/112.88 c #Conflicts: 60000 | #Constraints: 33685
112.05/112.88 c #Conflicts: 61000 | #Constraints: 34685
112.05/112.88 c #Conflicts: 62000 | #Constraints: 35685
112.05/112.88 c INPROCESSING
112.05/112.88 c GARBAGE COLLECT
112.05/112.88 c #Conflicts: 63000 | #Constraints: 28110
112.05/112.88 c #Conflicts: 64000 | #Constraints: 29110
112.05/112.88 c #Conflicts: 65000 | #Constraints: 30110
112.05/112.88 c #Conflicts: 66000 | #Constraints: 31110
112.05/112.88 c #Conflicts: 67000 | #Constraints: 32110
112.05/112.88 c #Conflicts: 68000 | #Constraints: 33110
112.05/112.88 c #Conflicts: 69000 | #Constraints: 34110
112.05/112.88 c #Conflicts: 70000 | #Constraints: 35110
112.05/112.88 c #Conflicts: 71000 | #Constraints: 36110
112.05/112.88 c #Conflicts: 72000 | #Constraints: 37110
249.38/254.19 c #Conflicts: 73000 | #Constraints: 38110
249.38/254.19 c #Conflicts: 74000 | #Constraints: 39110
249.38/254.19 c #Conflicts: 75000 | #Constraints: 40110
249.38/254.19 c #Conflicts: 76000 | #Constraints: 41110
249.38/254.19 c #Conflicts: 77000 | #Constraints: 42110
249.38/254.19 c #Conflicts: 78000 | #Constraints: 43110
249.38/254.19 c #Conflicts: 79000 | #Constraints: 44110
249.38/254.19 c #Conflicts: 80000 | #Constraints: 45110
249.38/254.19 c INPROCESSING
249.38/254.19 c GARBAGE COLLECT
249.38/254.19 c #Conflicts: 81000 | #Constraints: 33075
249.38/254.19 c #Conflicts: 82000 | #Constraints: 34075
249.38/254.19 c #Conflicts: 83000 | #Constraints: 35075
249.38/254.19 c #Conflicts: 84000 | #Constraints: 36075
249.38/254.19 c #Conflicts: 85000 | #Constraints: 37075
249.38/254.19 c #Conflicts: 86000 | #Constraints: 38075
249.38/254.19 c #Conflicts: 87000 | #Constraints: 39075
249.38/254.19 c #Conflicts: 88000 | #Constraints: 40075
249.38/254.19 c INPROCESSING
249.38/254.19 c GARBAGE COLLECT
249.38/254.19 c #Conflicts: 89000 | #Constraints: 30869
249.38/254.19 c #Conflicts: 90000 | #Constraints: 31869
249.38/254.19 c #Conflicts: 91000 | #Constraints: 32869
249.38/254.19 c #Conflicts: 92000 | #Constraints: 33869
249.38/254.19 c #Conflicts: 93000 | #Constraints: 34869
249.38/254.19 c #Conflicts: 94000 | #Constraints: 35869
249.38/254.19 c #Conflicts: 95000 | #Constraints: 36869
249.38/254.19 c #Conflicts: 96000 | #Constraints: 37869
249.38/254.19 c #Conflicts: 97000 | #Constraints: 38869
249.38/254.19 c #Conflicts: 98000 | #Constraints: 39869
249.38/254.19 c #Conflicts: 99000 | #Constraints: 40869
249.38/254.19 c #Conflicts: 100000 | #Constraints: 41869
249.38/254.19 c #Conflicts: 101000 | #Constraints: 42869
249.38/254.19 c #Conflicts: 102000 | #Constraints: 43869
249.38/254.19 c #Conflicts: 103000 | #Constraints: 44869
249.38/254.19 c #Conflicts: 104000 | #Constraints: 45869
249.38/254.19 c #Conflicts: 105000 | #Constraints: 46869
249.38/254.19 c #Conflicts: 106000 | #Constraints: 47869
249.38/254.19 c #Conflicts: 107000 | #Constraints: 48869
249.38/254.19 c #Conflicts: 108000 | #Constraints: 49869
249.38/254.19 c #Conflicts: 109000 | #Constraints: 50869
249.38/254.19 c INPROCESSING
249.38/254.19 c GARBAGE COLLECT
249.38/254.19 c #Conflicts: 110000 | #Constraints: 36064
249.38/254.19 c #Conflicts: 111000 | #Constraints: 37064
249.38/254.19 c #Conflicts: 112000 | #Constraints: 38064
249.38/254.19 c #Conflicts: 113000 | #Constraints: 39064
249.38/254.19 c #Conflicts: 114000 | #Constraints: 40064
249.38/254.19 c #Conflicts: 115000 | #Constraints: 41064
249.38/254.19 c #Conflicts: 116000 | #Constraints: 42064
249.38/254.19 c #Conflicts: 117000 | #Constraints: 43064
249.38/254.19 c #Conflicts: 118000 | #Constraints: 44064
249.38/254.19 c INPROCESSING
249.38/254.19 c GARBAGE COLLECT
249.38/254.19 c #Conflicts: 119000 | #Constraints: 33184
249.38/254.19 c #Conflicts: 120000 | #Constraints: 34184
249.38/254.19 c #Conflicts: 121000 | #Constraints: 35184
249.38/254.19 c #Conflicts: 122000 | #Constraints: 36184
249.38/254.19 c #Conflicts: 123000 | #Constraints: 37184
249.38/254.19 c #Conflicts: 124000 | #Constraints: 38184
249.38/254.19 c #Conflicts: 125000 | #Constraints: 39184
249.38/254.19 c #Conflicts: 126000 | #Constraints: 40184
249.38/254.19 c #Conflicts: 127000 | #Constraints: 41184
249.38/254.19 c #Conflicts: 128000 | #Constraints: 42184
249.38/254.19 c #Conflicts: 129000 | #Constraints: 43184
249.38/254.19 c #Conflicts: 130000 | #Constraints: 44184
249.38/254.19 c #Conflicts: 131000 | #Constraints: 45184
249.38/254.19 c #Conflicts: 132000 | #Constraints: 46184
249.38/254.19 c #Conflicts: 133000 | #Constraints: 47184
249.38/254.19 c #Conflicts: 134000 | #Constraints: 48184
249.38/254.19 c #Conflicts: 135000 | #Constraints: 49184
249.38/254.19 c #Conflicts: 136000 | #Constraints: 50184
249.38/254.19 c #Conflicts: 137000 | #Constraints: 51184
249.38/254.19 c #Conflicts: 138000 | #Constraints: 52184
249.38/254.19 c #Conflicts: 139000 | #Constraints: 53184
249.38/254.19 c #Conflicts: 140000 | #Constraints: 54184
249.38/254.19 c #Conflicts: 141000 | #Constraints: 55184
249.38/254.19 c #Conflicts: 142000 | #Constraints: 56184
249.38/254.19 c INPROCESSING
249.38/254.19 c GARBAGE COLLECT
249.38/254.19 c #Conflicts: 143000 | #Constraints: 38808
249.38/254.19 c #Conflicts: 144000 | #Constraints: 39808
249.38/254.19 c #Conflicts: 145000 | #Constraints: 40808
249.38/254.19 c #Conflicts: 146000 | #Constraints: 41808
249.38/254.19 c #Conflicts: 147000 | #Constraints: 42808
249.38/254.19 c #Conflicts: 148000 | #Constraints: 43808
434.71/440.81 c #Conflicts: 149000 | #Constraints: 44808
434.71/440.81 c #Conflicts: 150000 | #Constraints: 45808
434.71/440.81 c #Conflicts: 151000 | #Constraints: 46808
434.71/440.81 c #Conflicts: 152000 | #Constraints: 47808
434.71/440.81 c #Conflicts: 153000 | #Constraints: 48808
434.71/440.81 c INPROCESSING
434.71/440.81 c GARBAGE COLLECT
434.71/440.81 c #Conflicts: 154000 | #Constraints: 36491
434.71/440.81 c #Conflicts: 155000 | #Constraints: 37491
434.71/440.81 c #Conflicts: 156000 | #Constraints: 38491
434.71/440.81 c #Conflicts: 157000 | #Constraints: 39491
434.71/440.81 c #Conflicts: 158000 | #Constraints: 40491
434.71/440.81 c #Conflicts: 159000 | #Constraints: 41491
434.71/440.81 c #Conflicts: 160000 | #Constraints: 42491
434.71/440.81 c #Conflicts: 161000 | #Constraints: 43491
434.71/440.81 c #Conflicts: 162000 | #Constraints: 44491
434.71/440.81 c #Conflicts: 163000 | #Constraints: 45491
434.71/440.81 c #Conflicts: 164000 | #Constraints: 46491
434.71/440.81 c #Conflicts: 165000 | #Constraints: 47491
434.71/440.81 c #Conflicts: 166000 | #Constraints: 48491
434.71/440.81 c #Conflicts: 167000 | #Constraints: 49491
434.71/440.81 c #Conflicts: 168000 | #Constraints: 50491
434.71/440.81 c #Conflicts: 169000 | #Constraints: 51491
434.71/440.81 c #Conflicts: 170000 | #Constraints: 52491
434.71/440.81 c #Conflicts: 171000 | #Constraints: 53491
434.71/440.81 c #Conflicts: 172000 | #Constraints: 54491
434.71/440.81 c #Conflicts: 173000 | #Constraints: 55491
434.71/440.81 c #Conflicts: 174000 | #Constraints: 56491
434.71/440.81 c #Conflicts: 175000 | #Constraints: 57491
434.71/440.81 c #Conflicts: 176000 | #Constraints: 58491
434.71/440.81 c #Conflicts: 177000 | #Constraints: 59491
434.71/440.81 c #Conflicts: 178000 | #Constraints: 60491
434.71/440.81 c #Conflicts: 179000 | #Constraints: 61491
434.71/440.81 c #Conflicts: 180000 | #Constraints: 62491
434.71/440.81 c INPROCESSING
434.71/440.81 c GARBAGE COLLECT
434.71/440.81 c #Conflicts: 181000 | #Constraints: 42141
434.71/440.81 c #Conflicts: 182000 | #Constraints: 43141
434.71/440.81 c #Conflicts: 183000 | #Constraints: 44141
434.71/440.81 c #Conflicts: 184000 | #Constraints: 45141
434.71/440.81 c #Conflicts: 185000 | #Constraints: 46141
434.71/440.81 c #Conflicts: 186000 | #Constraints: 47141
434.71/440.81 c #Conflicts: 187000 | #Constraints: 48141
434.71/440.81 c #Conflicts: 188000 | #Constraints: 49141
434.71/440.81 c #Conflicts: 189000 | #Constraints: 50141
434.71/440.81 c #Conflicts: 190000 | #Constraints: 51141
434.71/440.81 c #Conflicts: 191000 | #Constraints: 52141
434.71/440.81 c INPROCESSING
434.71/440.81 c GARBAGE COLLECT
434.71/440.81 c #Conflicts: 192000 | #Constraints: 37950
434.71/440.81 c #Conflicts: 193000 | #Constraints: 38950
434.71/440.81 c #Conflicts: 194000 | #Constraints: 39950
434.71/440.81 c #Conflicts: 195000 | #Constraints: 40950
434.71/440.81 c #Conflicts: 196000 | #Constraints: 41950
434.71/440.81 c #Conflicts: 197000 | #Constraints: 42950
434.71/440.81 c #Conflicts: 198000 | #Constraints: 43950
434.71/440.81 c #Conflicts: 199000 | #Constraints: 44950
434.71/440.81 c #Conflicts: 200000 | #Constraints: 45950
434.71/440.81 c #Conflicts: 201000 | #Constraints: 46950
434.71/440.81 c #Conflicts: 202000 | #Constraints: 47950
434.71/440.81 c #Conflicts: 203000 | #Constraints: 48950
434.71/440.81 c #Conflicts: 204000 | #Constraints: 49950
434.71/440.81 c #Conflicts: 205000 | #Constraints: 50950
434.71/440.81 c #Conflicts: 206000 | #Constraints: 51950
434.71/440.81 c #Conflicts: 207000 | #Constraints: 52950
434.71/440.81 c #Conflicts: 208000 | #Constraints: 53950
434.71/440.81 c #Conflicts: 209000 | #Constraints: 54950
434.71/440.81 c #Conflicts: 210000 | #Constraints: 55950
434.71/440.81 c #Conflicts: 211000 | #Constraints: 56950
434.71/440.81 c #Conflicts: 212000 | #Constraints: 57950
434.71/440.81 c #Conflicts: 213000 | #Constraints: 58950
434.71/440.81 c #Conflicts: 214000 | #Constraints: 59950
434.71/440.81 c #Conflicts: 215000 | #Constraints: 60950
434.71/440.81 c #Conflicts: 216000 | #Constraints: 61950
434.71/440.81 c #Conflicts: 217000 | #Constraints: 62950
434.71/440.81 c #Conflicts: 218000 | #Constraints: 63950
434.71/440.81 c #Conflicts: 219000 | #Constraints: 64950
434.71/440.81 c #Conflicts: 220000 | #Constraints: 65950
434.71/440.81 c #Conflicts: 221000 | #Constraints: 66950
434.71/440.81 c #Conflicts: 222000 | #Constraints: 67950
434.71/440.81 c INPROCESSING
434.71/440.81 c GARBAGE COLLECT
434.71/440.81 c rational objective 155.031
565.40/573.46 c #Conflicts: 223000 | #Constraints: 45003
565.40/573.46 c #Conflicts: 224000 | #Constraints: 46003
565.40/573.46 c #Conflicts: 225000 | #Constraints: 47003
565.40/573.46 c #Conflicts: 226000 | #Constraints: 48003
565.40/573.46 c #Conflicts: 227000 | #Constraints: 49003
565.40/573.46 c #Conflicts: 228000 | #Constraints: 50003
565.40/573.46 c #Conflicts: 229000 | #Constraints: 51003
565.40/573.46 c #Conflicts: 230000 | #Constraints: 52003
565.40/573.46 c #Conflicts: 231000 | #Constraints: 53003
565.40/573.46 c #Conflicts: 232000 | #Constraints: 54003
565.40/573.46 c #Conflicts: 233000 | #Constraints: 55003
565.40/573.46 c #Conflicts: 234000 | #Constraints: 56003
565.40/573.46 c #Conflicts: 235000 | #Constraints: 57003
565.40/573.46 c INPROCESSING
565.40/573.46 c GARBAGE COLLECT
565.40/573.46 c #Conflicts: 236000 | #Constraints: 40827
565.40/573.46 c #Conflicts: 237000 | #Constraints: 41827
565.40/573.46 c #Conflicts: 238000 | #Constraints: 42827
565.40/573.46 c #Conflicts: 239000 | #Constraints: 43827
565.40/573.46 c #Conflicts: 240000 | #Constraints: 44827
565.40/573.46 c #Conflicts: 241000 | #Constraints: 45827
565.40/573.46 c #Conflicts: 242000 | #Constraints: 46827
565.40/573.46 c #Conflicts: 243000 | #Constraints: 47827
565.40/573.46 c #Conflicts: 244000 | #Constraints: 48827
565.40/573.46 c #Conflicts: 245000 | #Constraints: 49827
565.40/573.46 c #Conflicts: 246000 | #Constraints: 50827
565.40/573.46 c #Conflicts: 247000 | #Constraints: 51827
565.40/573.46 c #Conflicts: 248000 | #Constraints: 52827
565.40/573.46 c #Conflicts: 249000 | #Constraints: 53827
565.40/573.46 c #Conflicts: 250000 | #Constraints: 54827
565.40/573.46 c #Conflicts: 251000 | #Constraints: 55827
565.40/573.46 c #Conflicts: 252000 | #Constraints: 56827
565.40/573.46 c #Conflicts: 253000 | #Constraints: 57827
565.40/573.46 c #Conflicts: 254000 | #Constraints: 58827
565.40/573.46 c #Conflicts: 255000 | #Constraints: 59827
565.40/573.46 c #Conflicts: 256000 | #Constraints: 60827
565.40/573.46 c #Conflicts: 257000 | #Constraints: 61827
565.40/573.46 c #Conflicts: 258000 | #Constraints: 62827
565.40/573.46 c #Conflicts: 259000 | #Constraints: 63827
565.40/573.46 c #Conflicts: 260000 | #Constraints: 64827
565.40/573.46 c #Conflicts: 261000 | #Constraints: 65827
565.40/573.46 c #Conflicts: 262000 | #Constraints: 66827
565.40/573.46 c #Conflicts: 263000 | #Constraints: 67827
565.40/573.46 c #Conflicts: 264000 | #Constraints: 68827
565.40/573.46 c #Conflicts: 265000 | #Constraints: 69827
565.40/573.46 c #Conflicts: 266000 | #Constraints: 70827
565.40/573.46 c #Conflicts: 267000 | #Constraints: 71827
565.40/573.46 c #Conflicts: 268000 | #Constraints: 72827
565.40/573.46 c INPROCESSING
565.40/573.46 c GARBAGE COLLECT
565.40/573.46 c #Conflicts: 269000 | #Constraints: 47276
565.40/573.46 c #Conflicts: 270000 | #Constraints: 48276
565.40/573.46 c #Conflicts: 271000 | #Constraints: 49276
565.40/573.46 c #Conflicts: 272000 | #Constraints: 50276
565.40/573.46 c #Conflicts: 273000 | #Constraints: 51276
565.40/573.46 c #Conflicts: 274000 | #Constraints: 52276
565.40/573.46 c #Conflicts: 275000 | #Constraints: 53276
565.40/573.46 c #Conflicts: 276000 | #Constraints: 54276
565.40/573.46 c #Conflicts: 277000 | #Constraints: 55276
565.40/573.46 c #Conflicts: 278000 | #Constraints: 56276
565.40/573.46 c #Conflicts: 279000 | #Constraints: 57276
565.40/573.46 c #Conflicts: 280000 | #Constraints: 58276
565.40/573.46 c #Conflicts: 281000 | #Constraints: 59276
565.40/573.46 c #Conflicts: 282000 | #Constraints: 60276
565.40/573.46 c INPROCESSING
565.40/573.46 c GARBAGE COLLECT
565.40/573.46 c #Conflicts: 283000 | #Constraints: 42672
565.40/573.46 c #Conflicts: 284000 | #Constraints: 43672
565.40/573.46 c #Conflicts: 285000 | #Constraints: 44672
565.40/573.46 c #Conflicts: 286000 | #Constraints: 45672
565.40/573.46 c #Conflicts: 287000 | #Constraints: 46672
565.40/573.46 c #Conflicts: 288000 | #Constraints: 47672
565.40/573.46 c #Conflicts: 289000 | #Constraints: 48672
565.40/573.46 c #Conflicts: 290000 | #Constraints: 49672
565.40/573.46 c #Conflicts: 291000 | #Constraints: 50672
565.40/573.46 c #Conflicts: 292000 | #Constraints: 51672
565.40/573.46 c #Conflicts: 293000 | #Constraints: 52672
565.40/573.46 c #Conflicts: 294000 | #Constraints: 53672
565.40/573.46 c #Conflicts: 295000 | #Constraints: 54672
565.40/573.46 c #Conflicts: 296000 | #Constraints: 55672
565.40/573.46 c #Conflicts: 297000 | #Constraints: 56672
565.40/573.46 c #Conflicts: 298000 | #Constraints: 57672
565.40/573.46 c #Conflicts: 299000 | #Constraints: 58672
750.01/766.74 c #Conflicts: 300000 | #Constraints: 59672
750.01/766.74 c #Conflicts: 301000 | #Constraints: 60672
750.01/766.74 c #Conflicts: 302000 | #Constraints: 61672
750.01/766.74 c #Conflicts: 303000 | #Constraints: 62672
750.01/766.74 c #Conflicts: 304000 | #Constraints: 63672
750.01/766.74 c #Conflicts: 305000 | #Constraints: 64672
750.01/766.74 c #Conflicts: 306000 | #Constraints: 65672
750.01/766.74 c #Conflicts: 307000 | #Constraints: 66672
750.01/766.74 c #Conflicts: 308000 | #Constraints: 67672
750.01/766.74 c #Conflicts: 309000 | #Constraints: 68672
750.01/766.74 c #Conflicts: 310000 | #Constraints: 69672
750.01/766.74 c #Conflicts: 311000 | #Constraints: 70672
750.01/766.74 c #Conflicts: 312000 | #Constraints: 71672
750.01/766.74 c #Conflicts: 313000 | #Constraints: 72672
750.01/766.74 c #Conflicts: 314000 | #Constraints: 73672
750.01/766.74 c #Conflicts: 315000 | #Constraints: 74672
750.01/766.74 c #Conflicts: 316000 | #Constraints: 75672
750.01/766.74 c #Conflicts: 317000 | #Constraints: 76672
750.01/766.74 c #Conflicts: 318000 | #Constraints: 77672
750.01/766.74 c #Conflicts: 319000 | #Constraints: 78672
750.01/766.74 c INPROCESSING
750.01/766.74 c GARBAGE COLLECT
750.01/766.74 c #Conflicts: 320000 | #Constraints: 50447
750.01/766.74 c #Conflicts: 321000 | #Constraints: 51447
750.01/766.74 c #Conflicts: 322000 | #Constraints: 52447
750.01/766.74 c #Conflicts: 323000 | #Constraints: 53447
750.01/766.74 c #Conflicts: 324000 | #Constraints: 54447
750.01/766.74 c #Conflicts: 325000 | #Constraints: 55447
750.01/766.74 c #Conflicts: 326000 | #Constraints: 56447
750.01/766.74 c #Conflicts: 327000 | #Constraints: 57447
750.01/766.74 c #Conflicts: 328000 | #Constraints: 58447
750.01/766.74 c #Conflicts: 329000 | #Constraints: 59447
750.01/766.74 c #Conflicts: 330000 | #Constraints: 60447
750.01/766.74 c #Conflicts: 331000 | #Constraints: 61447
750.01/766.74 c #Conflicts: 332000 | #Constraints: 62447
750.01/766.74 c #Conflicts: 333000 | #Constraints: 63447
750.01/766.74 c #Conflicts: 334000 | #Constraints: 64447
750.01/766.74 c #Conflicts: 335000 | #Constraints: 65447
750.01/766.74 c INPROCESSING
750.01/766.74 c GARBAGE COLLECT
750.01/766.74 c #Conflicts: 336000 | #Constraints: 45710
750.01/766.74 c #Conflicts: 337000 | #Constraints: 46710
750.01/766.74 c #Conflicts: 338000 | #Constraints: 47710
750.01/766.74 c #Conflicts: 339000 | #Constraints: 48710
750.01/766.74 c #Conflicts: 340000 | #Constraints: 49710
750.01/766.74 c #Conflicts: 341000 | #Constraints: 50710
750.01/766.74 c #Conflicts: 342000 | #Constraints: 51710
750.01/766.74 c #Conflicts: 343000 | #Constraints: 52710
750.01/766.74 c #Conflicts: 344000 | #Constraints: 53710
750.01/766.74 c #Conflicts: 345000 | #Constraints: 54711
750.01/766.74 c #Conflicts: 346000 | #Constraints: 55711
750.01/766.74 c #Conflicts: 347000 | #Constraints: 56711
750.01/766.74 c #Conflicts: 348000 | #Constraints: 57711
750.01/766.74 c #Conflicts: 349000 | #Constraints: 58711
750.01/766.74 c #Conflicts: 350000 | #Constraints: 59711
750.01/766.74 c #Conflicts: 351000 | #Constraints: 60711
750.01/766.74 c #Conflicts: 352000 | #Constraints: 61711
750.01/766.74 c #Conflicts: 353000 | #Constraints: 62711
750.01/766.74 c #Conflicts: 354000 | #Constraints: 63711
750.01/766.74 c #Conflicts: 355000 | #Constraints: 64711
750.01/766.74 c #Conflicts: 356000 | #Constraints: 65711
750.01/766.74 c #Conflicts: 357000 | #Constraints: 66711
750.01/766.74 c #Conflicts: 358000 | #Constraints: 67711
750.01/766.74 c #Conflicts: 359000 | #Constraints: 68711
750.01/766.74 c #Conflicts: 360000 | #Constraints: 69711
750.01/766.74 c #Conflicts: 361000 | #Constraints: 70711
750.01/766.74 c #Conflicts: 362000 | #Constraints: 71711
750.01/766.74 c #Conflicts: 363000 | #Constraints: 72711
750.01/766.74 c #Conflicts: 364000 | #Constraints: 73711
750.01/766.74 c #Conflicts: 365000 | #Constraints: 74711
750.01/766.74 c #Conflicts: 366000 | #Constraints: 75711
750.01/766.74 c #Conflicts: 367000 | #Constraints: 76711
750.01/766.74 c #Conflicts: 368000 | #Constraints: 77711
750.01/766.74 c #Conflicts: 369000 | #Constraints: 78711
750.01/766.74 c #Conflicts: 370000 | #Constraints: 79711
750.01/766.74 c #Conflicts: 371000 | #Constraints: 80711
750.01/766.74 c #Conflicts: 372000 | #Constraints: 81711
750.01/766.74 c #Conflicts: 373000 | #Constraints: 82711
750.01/766.74 c #Conflicts: 374000 | #Constraints: 83711
750.01/766.74 c INPROCESSING
750.01/766.74 c GARBAGE COLLECT
750.01/766.74 c #Conflicts: 375000 | #Constraints: 52817
750.01/766.74 c #Conflicts: 376000 | #Constraints: 53817
894.98/917.90 c #Conflicts: 377000 | #Constraints: 54817
894.98/917.90 c #Conflicts: 378000 | #Constraints: 55817
894.98/917.90 c #Conflicts: 379000 | #Constraints: 56817
894.98/917.90 c #Conflicts: 380000 | #Constraints: 57817
894.98/917.90 c #Conflicts: 381000 | #Constraints: 58817
894.98/917.90 c #Conflicts: 382000 | #Constraints: 59817
894.98/917.90 c #Conflicts: 383000 | #Constraints: 60817
894.98/917.90 c #Conflicts: 384000 | #Constraints: 61817
894.98/917.90 c #Conflicts: 385000 | #Constraints: 62817
894.98/917.90 c #Conflicts: 386000 | #Constraints: 63817
894.98/917.90 c #Conflicts: 387000 | #Constraints: 64817
894.98/917.90 c #Conflicts: 388000 | #Constraints: 65817
894.98/917.90 c #Conflicts: 389000 | #Constraints: 66817
894.98/917.90 c #Conflicts: 390000 | #Constraints: 67817
894.98/917.90 c #Conflicts: 391000 | #Constraints: 68817
894.98/917.90 c INPROCESSING
894.98/917.90 c GARBAGE COLLECT
894.98/917.90 c #Conflicts: 392000 | #Constraints: 47963
894.98/917.90 c #Conflicts: 393000 | #Constraints: 48963
894.98/917.90 c #Conflicts: 394000 | #Constraints: 49963
894.98/917.90 c #Conflicts: 395000 | #Constraints: 50963
894.98/917.90 c #Conflicts: 396000 | #Constraints: 51963
894.98/917.90 c #Conflicts: 397000 | #Constraints: 52963
894.98/917.90 c #Conflicts: 398000 | #Constraints: 53963
894.98/917.90 c #Conflicts: 399000 | #Constraints: 54963
894.98/917.90 c #Conflicts: 400000 | #Constraints: 55963
894.98/917.90 c #Conflicts: 401000 | #Constraints: 56963
894.98/917.90 c #Conflicts: 402000 | #Constraints: 57963
894.98/917.90 c #Conflicts: 403000 | #Constraints: 58963
894.98/917.90 c #Conflicts: 404000 | #Constraints: 59963
894.98/917.90 c #Conflicts: 405000 | #Constraints: 60963
894.98/917.90 c #Conflicts: 406000 | #Constraints: 61963
894.98/917.90 c #Conflicts: 407000 | #Constraints: 62963
894.98/917.90 c #Conflicts: 408000 | #Constraints: 63963
894.98/917.90 c #Conflicts: 409000 | #Constraints: 64963
894.98/917.90 c #Conflicts: 410000 | #Constraints: 65963
894.98/917.90 c #Conflicts: 411000 | #Constraints: 66963
894.98/917.90 c #Conflicts: 412000 | #Constraints: 67963
894.98/917.90 c #Conflicts: 413000 | #Constraints: 68963
894.98/917.90 c #Conflicts: 414000 | #Constraints: 69963
894.98/917.90 c #Conflicts: 415000 | #Constraints: 70963
894.98/917.90 c #Conflicts: 416000 | #Constraints: 71963
894.98/917.90 c #Conflicts: 417000 | #Constraints: 72963
894.98/917.90 c #Conflicts: 418000 | #Constraints: 73963
894.98/917.90 c #Conflicts: 419000 | #Constraints: 74963
894.98/917.90 c #Conflicts: 420000 | #Constraints: 75963
894.98/917.90 c #Conflicts: 421000 | #Constraints: 76963
894.98/917.90 c #Conflicts: 422000 | #Constraints: 77963
894.98/917.90 c #Conflicts: 423000 | #Constraints: 78963
894.98/917.90 c #Conflicts: 424000 | #Constraints: 79963
894.98/917.90 c #Conflicts: 425000 | #Constraints: 80963
894.98/917.90 c #Conflicts: 426000 | #Constraints: 81963
894.98/917.90 c #Conflicts: 427000 | #Constraints: 82963
894.98/917.90 c #Conflicts: 428000 | #Constraints: 83963
894.98/917.90 c #Conflicts: 429000 | #Constraints: 84963
894.98/917.90 c #Conflicts: 430000 | #Constraints: 85963
894.98/917.90 c #Conflicts: 431000 | #Constraints: 86963
894.98/917.90 c #Conflicts: 432000 | #Constraints: 87963
894.98/917.90 c #Conflicts: 433000 | #Constraints: 88963
894.98/917.90 c #Conflicts: 434000 | #Constraints: 89963
894.98/917.90 c INPROCESSING
894.98/917.90 c GARBAGE COLLECT
894.98/917.90 c #Conflicts: 435000 | #Constraints: 56170
894.98/917.90 c #Conflicts: 436000 | #Constraints: 57170
894.98/917.90 c #Conflicts: 437000 | #Constraints: 58170
894.98/917.90 c #Conflicts: 438000 | #Constraints: 59170
894.98/917.90 c #Conflicts: 439000 | #Constraints: 60170
894.98/917.90 c #Conflicts: 440000 | #Constraints: 61170
894.98/917.90 c #Conflicts: 441000 | #Constraints: 62170
894.98/917.90 c #Conflicts: 442000 | #Constraints: 63170
894.98/917.90 c #Conflicts: 443000 | #Constraints: 64170
894.98/917.90 c #Conflicts: 444000 | #Constraints: 65170
894.98/917.90 c #Conflicts: 445000 | #Constraints: 66170
894.98/917.90 c #Conflicts: 446000 | #Constraints: 67170
894.98/917.90 c #Conflicts: 447000 | #Constraints: 68170
894.98/917.90 c #Conflicts: 448000 | #Constraints: 69170
894.98/917.90 c #Conflicts: 449000 | #Constraints: 70170
894.98/917.90 c #Conflicts: 450000 | #Constraints: 71170
894.98/917.90 c #Conflicts: 451000 | #Constraints: 72170
894.98/917.90 c #Conflicts: 452000 | #Constraints: 73170
894.98/917.90 c INPROCESSING
894.98/917.90 c GARBAGE COLLECT
894.98/917.90 c #Conflicts: 453000 | #Constraints: 50374
1165.68/1191.74 c #Conflicts: 454000 | #Constraints: 51374
1165.68/1191.74 c #Conflicts: 455000 | #Constraints: 52374
1165.68/1191.74 c #Conflicts: 456000 | #Constraints: 53374
1165.68/1191.74 c #Conflicts: 457000 | #Constraints: 54374
1165.68/1191.74 c #Conflicts: 458000 | #Constraints: 55374
1165.68/1191.74 c #Conflicts: 459000 | #Constraints: 56374
1165.68/1191.74 c #Conflicts: 460000 | #Constraints: 57374
1165.68/1191.74 c #Conflicts: 461000 | #Constraints: 58374
1165.68/1191.74 c #Conflicts: 462000 | #Constraints: 59374
1165.68/1191.74 c #Conflicts: 463000 | #Constraints: 60374
1165.68/1191.74 c #Conflicts: 464000 | #Constraints: 61374
1165.68/1191.74 c #Conflicts: 465000 | #Constraints: 62374
1165.68/1191.74 c #Conflicts: 466000 | #Constraints: 63374
1165.68/1191.74 c #Conflicts: 467000 | #Constraints: 64374
1165.68/1191.74 c #Conflicts: 468000 | #Constraints: 65374
1165.68/1191.74 c #Conflicts: 469000 | #Constraints: 66374
1165.68/1191.74 c #Conflicts: 470000 | #Constraints: 67374
1165.68/1191.74 c #Conflicts: 471000 | #Constraints: 68374
1165.68/1191.74 c #Conflicts: 472000 | #Constraints: 69374
1165.68/1191.74 c #Conflicts: 473000 | #Constraints: 70374
1165.68/1191.74 c #Conflicts: 474000 | #Constraints: 71374
1165.68/1191.74 c #Conflicts: 475000 | #Constraints: 72374
1165.68/1191.74 c #Conflicts: 476000 | #Constraints: 73374
1165.68/1191.74 c #Conflicts: 477000 | #Constraints: 74374
1165.68/1191.74 c #Conflicts: 478000 | #Constraints: 75374
1165.68/1191.74 c #Conflicts: 479000 | #Constraints: 76374
1165.68/1191.74 c #Conflicts: 480000 | #Constraints: 77374
1165.68/1191.74 c #Conflicts: 481000 | #Constraints: 78374
1165.68/1191.74 c #Conflicts: 482000 | #Constraints: 79374
1165.68/1191.74 c #Conflicts: 483000 | #Constraints: 80374
1165.68/1191.74 c #Conflicts: 484000 | #Constraints: 81374
1165.68/1191.74 c #Conflicts: 485000 | #Constraints: 82374
1165.68/1191.74 c #Conflicts: 486000 | #Constraints: 83374
1165.68/1191.74 c #Conflicts: 487000 | #Constraints: 84374
1165.68/1191.74 c #Conflicts: 488000 | #Constraints: 85374
1165.68/1191.74 c #Conflicts: 489000 | #Constraints: 86374
1165.68/1191.74 c #Conflicts: 490000 | #Constraints: 87374
1165.68/1191.74 c #Conflicts: 491000 | #Constraints: 88374
1165.68/1191.74 c #Conflicts: 492000 | #Constraints: 89374
1165.68/1191.74 c #Conflicts: 493000 | #Constraints: 90374
1165.68/1191.74 c #Conflicts: 494000 | #Constraints: 91374
1165.68/1191.74 c #Conflicts: 495000 | #Constraints: 92374
1165.68/1191.74 c #Conflicts: 496000 | #Constraints: 93374
1165.68/1191.74 c #Conflicts: 497000 | #Constraints: 94374
1165.68/1191.74 c #Conflicts: 498000 | #Constraints: 95374
1165.68/1191.74 c INPROCESSING
1165.68/1191.74 c GARBAGE COLLECT
1165.68/1191.74 c #Conflicts: 499000 | #Constraints: 58849
1165.68/1191.74 c #Conflicts: 500000 | #Constraints: 59849
1165.68/1191.74 c #Conflicts: 501000 | #Constraints: 60849
1165.68/1191.74 c #Conflicts: 502000 | #Constraints: 61849
1165.68/1191.74 c #Conflicts: 503000 | #Constraints: 62849
1165.68/1191.74 c #Conflicts: 504000 | #Constraints: 63849
1165.68/1191.74 c #Conflicts: 505000 | #Constraints: 64849
1165.68/1191.74 c #Conflicts: 506000 | #Constraints: 65849
1165.68/1191.74 c #Conflicts: 507000 | #Constraints: 66849
1165.68/1191.74 c #Conflicts: 508000 | #Constraints: 67849
1165.68/1191.74 c #Conflicts: 509000 | #Constraints: 68849
1165.68/1191.74 c #Conflicts: 510000 | #Constraints: 69849
1165.68/1191.74 c #Conflicts: 511000 | #Constraints: 70849
1165.68/1191.74 c #Conflicts: 512000 | #Constraints: 71849
1165.68/1191.74 c #Conflicts: 513000 | #Constraints: 72849
1165.68/1191.74 c #Conflicts: 514000 | #Constraints: 73849
1165.68/1191.74 c #Conflicts: 515000 | #Constraints: 74849
1165.68/1191.74 c #Conflicts: 516000 | #Constraints: 75849
1165.68/1191.74 c #Conflicts: 517000 | #Constraints: 76849
1165.68/1191.74 c INPROCESSING
1165.68/1191.74 c GARBAGE COLLECT
1165.68/1191.74 c #Conflicts: 518000 | #Constraints: 51296
1165.68/1191.74 c #Conflicts: 519000 | #Constraints: 52296
1165.68/1191.74 c #Conflicts: 520000 | #Constraints: 53296
1165.68/1191.74 c #Conflicts: 521000 | #Constraints: 54296
1165.68/1191.74 c #Conflicts: 522000 | #Constraints: 55296
1165.68/1191.74 c #Conflicts: 523000 | #Constraints: 56296
1165.68/1191.74 c #Conflicts: 524000 | #Constraints: 57296
1165.68/1191.74 c #Conflicts: 525000 | #Constraints: 58296
1165.68/1191.74 c #Conflicts: 526000 | #Constraints: 59296
1165.68/1191.74 c #Conflicts: 527000 | #Constraints: 60296
1165.68/1191.74 c #Conflicts: 528000 | #Constraints: 61296
1165.68/1191.74 c #Conflicts: 529000 | #Constraints: 62296
1165.68/1191.74 c #Conflicts: 530000 | #Constraints: 63296
1165.68/1191.74 c #Conflicts: 531000 | #Constraints: 64296
1405.07/1437.99 c #Conflicts: 532000 | #Constraints: 65296
1405.07/1437.99 c #Conflicts: 533000 | #Constraints: 66296
1405.07/1437.99 c #Conflicts: 534000 | #Constraints: 67296
1405.07/1437.99 c #Conflicts: 535000 | #Constraints: 68296
1405.07/1437.99 c #Conflicts: 536000 | #Constraints: 69296
1405.07/1437.99 c #Conflicts: 537000 | #Constraints: 70296
1405.07/1437.99 c #Conflicts: 538000 | #Constraints: 71296
1405.07/1437.99 c #Conflicts: 539000 | #Constraints: 72296
1405.07/1437.99 c #Conflicts: 540000 | #Constraints: 73296
1405.07/1437.99 c #Conflicts: 541000 | #Constraints: 74296
1405.07/1437.99 c #Conflicts: 542000 | #Constraints: 75296
1405.07/1437.99 c #Conflicts: 543000 | #Constraints: 76296
1405.07/1437.99 c #Conflicts: 544000 | #Constraints: 77296
1405.07/1437.99 c #Conflicts: 545000 | #Constraints: 78296
1405.07/1437.99 c #Conflicts: 546000 | #Constraints: 79296
1405.07/1437.99 c #Conflicts: 547000 | #Constraints: 80296
1405.07/1437.99 c #Conflicts: 548000 | #Constraints: 81296
1405.07/1437.99 c #Conflicts: 549000 | #Constraints: 82296
1405.07/1437.99 c #Conflicts: 550000 | #Constraints: 83296
1405.07/1437.99 c #Conflicts: 551000 | #Constraints: 84296
1405.07/1437.99 c #Conflicts: 552000 | #Constraints: 85296
1405.07/1437.99 c #Conflicts: 553000 | #Constraints: 86296
1405.07/1437.99 c #Conflicts: 554000 | #Constraints: 87296
1405.07/1437.99 c #Conflicts: 555000 | #Constraints: 88296
1405.07/1437.99 c #Conflicts: 556000 | #Constraints: 89296
1405.07/1437.99 c #Conflicts: 557000 | #Constraints: 90296
1405.07/1437.99 c #Conflicts: 558000 | #Constraints: 91296
1405.07/1437.99 c #Conflicts: 559000 | #Constraints: 92296
1405.07/1437.99 c #Conflicts: 560000 | #Constraints: 93296
1405.07/1437.99 c #Conflicts: 561000 | #Constraints: 94296
1405.07/1437.99 c #Conflicts: 562000 | #Constraints: 95296
1405.07/1437.99 c #Conflicts: 563000 | #Constraints: 96296
1405.07/1437.99 c #Conflicts: 564000 | #Constraints: 97296
1405.07/1437.99 c #Conflicts: 565000 | #Constraints: 98296
1405.07/1437.99 c #Conflicts: 566000 | #Constraints: 99296
1405.07/1437.99 c INPROCESSING
1405.07/1437.99 c GARBAGE COLLECT
1405.07/1437.99 c #Conflicts: 567000 | #Constraints: 60837
1405.07/1437.99 c #Conflicts: 568000 | #Constraints: 61837
1405.07/1437.99 c #Conflicts: 569000 | #Constraints: 62837
1405.07/1437.99 c #Conflicts: 570000 | #Constraints: 63837
1405.07/1437.99 c #Conflicts: 571000 | #Constraints: 64837
1405.07/1437.99 c #Conflicts: 572000 | #Constraints: 65837
1405.07/1437.99 c #Conflicts: 573000 | #Constraints: 66837
1405.07/1437.99 c #Conflicts: 574000 | #Constraints: 67837
1405.07/1437.99 c #Conflicts: 575000 | #Constraints: 68837
1405.07/1437.99 c #Conflicts: 576000 | #Constraints: 69837
1405.07/1437.99 c #Conflicts: 577000 | #Constraints: 70837
1405.07/1437.99 c #Conflicts: 578000 | #Constraints: 71837
1405.07/1437.99 c #Conflicts: 579000 | #Constraints: 72837
1405.07/1437.99 c #Conflicts: 580000 | #Constraints: 73837
1405.07/1437.99 c #Conflicts: 581000 | #Constraints: 74837
1405.07/1437.99 c #Conflicts: 582000 | #Constraints: 75837
1405.07/1437.99 c #Conflicts: 583000 | #Constraints: 76837
1405.07/1437.99 c #Conflicts: 584000 | #Constraints: 77837
1405.07/1437.99 c #Conflicts: 585000 | #Constraints: 78837
1405.07/1437.99 c #Conflicts: 586000 | #Constraints: 79837
1405.07/1437.99 c #Conflicts: 587000 | #Constraints: 80837
1405.07/1437.99 c INPROCESSING
1405.07/1437.99 c GARBAGE COLLECT
1405.07/1437.99 c #Conflicts: 588000 | #Constraints: 54571
1405.07/1437.99 c #Conflicts: 589000 | #Constraints: 55571
1405.07/1437.99 c #Conflicts: 590000 | #Constraints: 56571
1405.07/1437.99 c #Conflicts: 591000 | #Constraints: 57571
1405.07/1437.99 c #Conflicts: 592000 | #Constraints: 58571
1405.07/1437.99 c #Conflicts: 593000 | #Constraints: 59571
1405.07/1437.99 c #Conflicts: 594000 | #Constraints: 60571
1405.07/1437.99 c #Conflicts: 595000 | #Constraints: 61572
1405.07/1437.99 c #Conflicts: 596000 | #Constraints: 62572
1405.07/1437.99 c #Conflicts: 597000 | #Constraints: 63572
1405.07/1437.99 c #Conflicts: 598000 | #Constraints: 64572
1405.07/1437.99 c #Conflicts: 599000 | #Constraints: 65572
1405.07/1437.99 c #Conflicts: 600000 | #Constraints: 66572
1405.07/1437.99 c #Conflicts: 601000 | #Constraints: 67572
1405.07/1437.99 c #Conflicts: 602000 | #Constraints: 68572
1405.07/1437.99 c #Conflicts: 603000 | #Constraints: 69572
1405.07/1437.99 c #Conflicts: 604000 | #Constraints: 70572
1405.07/1437.99 c #Conflicts: 605000 | #Constraints: 71572
1405.07/1437.99 c #Conflicts: 606000 | #Constraints: 72572
1405.07/1437.99 c #Conflicts: 607000 | #Constraints: 73572
1405.07/1437.99 c #Conflicts: 608000 | #Constraints: 74572
1575.53/1614.78 c #Conflicts: 609000 | #Constraints: 75572
1575.53/1614.78 c #Conflicts: 610000 | #Constraints: 76572
1575.53/1614.78 c #Conflicts: 611000 | #Constraints: 77572
1575.53/1614.78 c #Conflicts: 612000 | #Constraints: 78572
1575.53/1614.78 c #Conflicts: 613000 | #Constraints: 79572
1575.53/1614.78 c #Conflicts: 614000 | #Constraints: 80572
1575.53/1614.78 c #Conflicts: 615000 | #Constraints: 81572
1575.53/1614.78 c #Conflicts: 616000 | #Constraints: 82572
1575.53/1614.78 c #Conflicts: 617000 | #Constraints: 83572
1575.53/1614.78 c #Conflicts: 618000 | #Constraints: 84572
1575.53/1614.78 c #Conflicts: 619000 | #Constraints: 85572
1575.53/1614.78 c #Conflicts: 620000 | #Constraints: 86572
1575.53/1614.78 c #Conflicts: 621000 | #Constraints: 87572
1575.53/1614.78 c #Conflicts: 622000 | #Constraints: 88572
1575.53/1614.78 c #Conflicts: 623000 | #Constraints: 89572
1575.53/1614.78 c #Conflicts: 624000 | #Constraints: 90572
1575.53/1614.78 c #Conflicts: 625000 | #Constraints: 91572
1575.53/1614.78 c #Conflicts: 626000 | #Constraints: 92572
1575.53/1614.78 c #Conflicts: 627000 | #Constraints: 93572
1575.53/1614.78 c #Conflicts: 628000 | #Constraints: 94572
1575.53/1614.78 c #Conflicts: 629000 | #Constraints: 95572
1575.53/1614.78 c #Conflicts: 630000 | #Constraints: 96572
1575.53/1614.78 c #Conflicts: 631000 | #Constraints: 97572
1575.53/1614.78 c #Conflicts: 632000 | #Constraints: 98572
1575.53/1614.78 c #Conflicts: 633000 | #Constraints: 99572
1575.53/1614.78 c #Conflicts: 634000 | #Constraints: 100572
1575.53/1614.78 c #Conflicts: 635000 | #Constraints: 101572
1575.53/1614.78 c #Conflicts: 636000 | #Constraints: 102572
1575.53/1614.78 c #Conflicts: 637000 | #Constraints: 103572
1575.53/1614.78 c #Conflicts: 638000 | #Constraints: 104572
1575.53/1614.78 c #Conflicts: 639000 | #Constraints: 105572
1575.53/1614.78 c INPROCESSING
1575.53/1614.78 c GARBAGE COLLECT
1575.53/1614.78 c #Conflicts: 640000 | #Constraints: 63968
1575.53/1614.78 c #Conflicts: 641000 | #Constraints: 64968
1575.53/1614.78 c #Conflicts: 642000 | #Constraints: 65968
1575.53/1614.78 c #Conflicts: 643000 | #Constraints: 66968
1575.53/1614.78 c #Conflicts: 644000 | #Constraints: 67968
1575.53/1614.78 c #Conflicts: 645000 | #Constraints: 68968
1575.53/1614.78 c #Conflicts: 646000 | #Constraints: 69968
1575.53/1614.78 c #Conflicts: 647000 | #Constraints: 70968
1575.53/1614.78 c #Conflicts: 648000 | #Constraints: 71968
1575.53/1614.78 c #Conflicts: 649000 | #Constraints: 72968
1575.53/1614.78 c #Conflicts: 650000 | #Constraints: 73968
1575.53/1614.78 c #Conflicts: 651000 | #Constraints: 74968
1575.53/1614.78 c #Conflicts: 652000 | #Constraints: 75968
1575.53/1614.78 c #Conflicts: 653000 | #Constraints: 76968
1575.53/1614.78 c #Conflicts: 654000 | #Constraints: 77968
1575.53/1614.78 c #Conflicts: 655000 | #Constraints: 78968
1575.53/1614.78 c #Conflicts: 656000 | #Constraints: 79968
1575.53/1614.78 c #Conflicts: 657000 | #Constraints: 80968
1575.53/1614.78 c #Conflicts: 658000 | #Constraints: 81968
1575.53/1614.78 c #Conflicts: 659000 | #Constraints: 82968
1575.53/1614.78 c #Conflicts: 660000 | #Constraints: 83968
1575.53/1614.78 c #Conflicts: 661000 | #Constraints: 84968
1575.53/1614.78 c INPROCESSING
1575.53/1614.78 c GARBAGE COLLECT
1575.53/1614.78 c #Conflicts: 662000 | #Constraints: 56657
1575.53/1614.78 c #Conflicts: 663000 | #Constraints: 57657
1575.53/1614.78 c #Conflicts: 664000 | #Constraints: 58657
1575.53/1614.78 c #Conflicts: 665000 | #Constraints: 59657
1575.53/1614.78 c #Conflicts: 666000 | #Constraints: 60657
1575.53/1614.78 c #Conflicts: 667000 | #Constraints: 61657
1575.53/1614.78 c #Conflicts: 668000 | #Constraints: 62657
1575.53/1614.78 c #Conflicts: 669000 | #Constraints: 63657
1575.53/1614.78 c #Conflicts: 670000 | #Constraints: 64657
1575.53/1614.78 c #Conflicts: 671000 | #Constraints: 65657
1575.53/1614.78 c #Conflicts: 672000 | #Constraints: 66657
1575.53/1614.78 c #Conflicts: 673000 | #Constraints: 67657
1575.53/1614.78 c #Conflicts: 674000 | #Constraints: 68657
1575.53/1614.78 c #Conflicts: 675000 | #Constraints: 69657
1575.53/1614.78 c #Conflicts: 676000 | #Constraints: 70657
1575.53/1614.78 c #Conflicts: 677000 | #Constraints: 71657
1575.53/1614.78 c #Conflicts: 678000 | #Constraints: 72657
1575.53/1614.78 c #Conflicts: 679000 | #Constraints: 73657
1575.53/1614.78 c #Conflicts: 680000 | #Constraints: 74657
1575.53/1614.78 c #Conflicts: 681000 | #Constraints: 75657
1575.53/1614.78 c #Conflicts: 682000 | #Constraints: 76657
1575.53/1614.78 c #Conflicts: 683000 | #Constraints: 77657
1575.53/1614.78 c #Conflicts: 684000 | #Constraints: 78657
1575.53/1614.78 c #Conflicts: 685000 | #Constraints: 79657
1575.53/1614.78 c #Conflicts: 686000 | #Constraints: 80657
1769.05/1814.45 c #Conflicts: 687000 | #Constraints: 81657
1769.05/1814.45 c #Conflicts: 688000 | #Constraints: 82657
1769.05/1814.45 c #Conflicts: 689000 | #Constraints: 83657
1769.05/1814.45 c #Conflicts: 690000 | #Constraints: 84657
1769.05/1814.45 c #Conflicts: 691000 | #Constraints: 85657
1769.05/1814.45 c #Conflicts: 692000 | #Constraints: 86657
1769.05/1814.45 c #Conflicts: 693000 | #Constraints: 87657
1769.05/1814.45 c #Conflicts: 694000 | #Constraints: 88657
1769.05/1814.45 c #Conflicts: 695000 | #Constraints: 89657
1769.05/1814.45 c #Conflicts: 696000 | #Constraints: 90657
1769.05/1814.45 c #Conflicts: 697000 | #Constraints: 91657
1769.05/1814.45 c #Conflicts: 698000 | #Constraints: 92657
1769.05/1814.45 c #Conflicts: 699000 | #Constraints: 93657
1769.05/1814.45 c #Conflicts: 700000 | #Constraints: 94657
1769.05/1814.45 c #Conflicts: 701000 | #Constraints: 95657
1769.05/1814.45 c #Conflicts: 702000 | #Constraints: 96657
1769.05/1814.45 c #Conflicts: 703000 | #Constraints: 97657
1769.05/1814.45 c #Conflicts: 704000 | #Constraints: 98657
1769.05/1814.45 c #Conflicts: 705000 | #Constraints: 99657
1769.05/1814.45 c #Conflicts: 706000 | #Constraints: 100657
1769.05/1814.45 c #Conflicts: 707000 | #Constraints: 101657
1769.05/1814.45 c #Conflicts: 708000 | #Constraints: 102657
1769.05/1814.45 c #Conflicts: 709000 | #Constraints: 103657
1769.05/1814.45 c #Conflicts: 710000 | #Constraints: 104657
1769.05/1814.45 c #Conflicts: 711000 | #Constraints: 105657
1769.05/1814.45 c #Conflicts: 712000 | #Constraints: 106657
1769.05/1814.45 c #Conflicts: 713000 | #Constraints: 107657
1769.05/1814.45 c #Conflicts: 714000 | #Constraints: 108657
1769.05/1814.45 c #Conflicts: 715000 | #Constraints: 109657
1769.05/1814.45 c #Conflicts: 716000 | #Constraints: 110657
1769.05/1814.45 c INPROCESSING
1769.05/1814.45 c GARBAGE COLLECT
1769.05/1814.45 c #Conflicts: 717000 | #Constraints: 66672
1769.05/1814.45 c #Conflicts: 718000 | #Constraints: 67672
1769.05/1814.45 c #Conflicts: 719000 | #Constraints: 68672
1769.05/1814.45 c #Conflicts: 720000 | #Constraints: 69672
1769.05/1814.45 c #Conflicts: 721000 | #Constraints: 70672
1769.05/1814.45 c #Conflicts: 722000 | #Constraints: 71672
1769.05/1814.45 c #Conflicts: 723000 | #Constraints: 72672
1769.05/1814.45 c #Conflicts: 724000 | #Constraints: 73672
1769.05/1814.45 c #Conflicts: 725000 | #Constraints: 74672
1769.05/1814.45 c #Conflicts: 726000 | #Constraints: 75672
1769.05/1814.45 c #Conflicts: 727000 | #Constraints: 76672
1769.05/1814.45 c #Conflicts: 728000 | #Constraints: 77672
1769.05/1814.45 c #Conflicts: 729000 | #Constraints: 78672
1769.05/1814.45 c #Conflicts: 730000 | #Constraints: 79672
1769.05/1814.45 c #Conflicts: 731000 | #Constraints: 80672
1769.05/1814.45 c #Conflicts: 732000 | #Constraints: 81672
1769.05/1814.45 c #Conflicts: 733000 | #Constraints: 82672
1769.05/1814.45 c #Conflicts: 734000 | #Constraints: 83672
1769.05/1814.45 c #Conflicts: 735000 | #Constraints: 84672
1769.05/1814.45 c #Conflicts: 736000 | #Constraints: 85672
1769.05/1814.45 c #Conflicts: 737000 | #Constraints: 86672
1769.05/1814.45 c #Conflicts: 738000 | #Constraints: 87672
1769.05/1814.45 c #Conflicts: 739000 | #Constraints: 88672
1769.05/1814.45 c #Conflicts: 740000 | #Constraints: 89672
1769.05/1814.45 c INPROCESSING
1769.05/1814.45 c GARBAGE COLLECT
1769.05/1814.45 c #Conflicts: 741000 | #Constraints: 59394
1769.05/1814.45 c #Conflicts: 742000 | #Constraints: 60394
1769.05/1814.45 c #Conflicts: 743000 | #Constraints: 61394
1769.05/1814.45 c #Conflicts: 744000 | #Constraints: 62394
1769.05/1814.45 c #Conflicts: 745000 | #Constraints: 63394
1769.05/1814.45 c #Conflicts: 746000 | #Constraints: 64394
1769.05/1814.45 c #Conflicts: 747000 | #Constraints: 65394
1769.05/1814.45 c #Conflicts: 748000 | #Constraints: 66394
1769.05/1814.45 c #Conflicts: 749000 | #Constraints: 67394
1769.05/1814.45 c #Conflicts: 750000 | #Constraints: 68394
1769.05/1814.45 c #Conflicts: 751000 | #Constraints: 69394
1769.05/1814.45 c #Conflicts: 752000 | #Constraints: 70394
1769.05/1814.45 c #Conflicts: 753000 | #Constraints: 71394
1769.05/1814.45 c #Conflicts: 754000 | #Constraints: 72394
1769.05/1814.45 c #Conflicts: 755000 | #Constraints: 73394
1769.05/1814.45 c #Conflicts: 756000 | #Constraints: 74394
1769.05/1814.45 c #Conflicts: 757000 | #Constraints: 75394
1769.05/1814.45 c #Conflicts: 758000 | #Constraints: 76394
1769.05/1814.45 c #Conflicts: 759000 | #Constraints: 77394
1769.05/1814.45 c #Conflicts: 760000 | #Constraints: 78394
1769.05/1814.45 c #Conflicts: 761000 | #Constraints: 79394
1769.05/1814.45 c #Conflicts: 762000 | #Constraints: 80394
1769.05/1814.45 c #Conflicts: 763000 | #Constraints: 81394
2029.91/2077.85 c #Conflicts: 764000 | #Constraints: 82394
2029.91/2077.85 c #Conflicts: 765000 | #Constraints: 83394
2029.91/2077.85 c #Conflicts: 766000 | #Constraints: 84394
2029.91/2077.85 c #Conflicts: 767000 | #Constraints: 85394
2029.91/2077.85 c #Conflicts: 768000 | #Constraints: 86394
2029.91/2077.85 c #Conflicts: 769000 | #Constraints: 87394
2029.91/2077.85 c #Conflicts: 770000 | #Constraints: 88394
2029.91/2077.85 c #Conflicts: 771000 | #Constraints: 89394
2029.91/2077.85 c #Conflicts: 772000 | #Constraints: 90394
2029.91/2077.85 c #Conflicts: 773000 | #Constraints: 91394
2029.91/2077.85 c #Conflicts: 774000 | #Constraints: 92394
2029.91/2077.85 c #Conflicts: 775000 | #Constraints: 93394
2029.91/2077.85 c #Conflicts: 776000 | #Constraints: 94394
2029.91/2077.85 c #Conflicts: 777000 | #Constraints: 95394
2029.91/2077.85 c #Conflicts: 778000 | #Constraints: 96394
2029.91/2077.85 c #Conflicts: 779000 | #Constraints: 97394
2029.91/2077.85 c #Conflicts: 780000 | #Constraints: 98394
2029.91/2077.85 c #Conflicts: 781000 | #Constraints: 99394
2029.91/2077.85 c #Conflicts: 782000 | #Constraints: 100394
2029.91/2077.85 c #Conflicts: 783000 | #Constraints: 101394
2029.91/2077.85 c #Conflicts: 784000 | #Constraints: 102394
2029.91/2077.85 c #Conflicts: 785000 | #Constraints: 103394
2029.91/2077.85 c #Conflicts: 786000 | #Constraints: 104394
2029.91/2077.85 c #Conflicts: 787000 | #Constraints: 105394
2029.91/2077.85 c #Conflicts: 788000 | #Constraints: 106394
2029.91/2077.85 c #Conflicts: 789000 | #Constraints: 107394
2029.91/2077.85 c #Conflicts: 790000 | #Constraints: 108394
2029.91/2077.85 c #Conflicts: 791000 | #Constraints: 109394
2029.91/2077.85 c #Conflicts: 792000 | #Constraints: 110394
2029.91/2077.85 c #Conflicts: 793000 | #Constraints: 111394
2029.91/2077.85 c #Conflicts: 794000 | #Constraints: 112394
2029.91/2077.85 c #Conflicts: 795000 | #Constraints: 113394
2029.91/2077.85 c #Conflicts: 796000 | #Constraints: 114394
2029.91/2077.85 c #Conflicts: 797000 | #Constraints: 115394
2029.91/2077.85 c #Conflicts: 798000 | #Constraints: 116394
2029.91/2077.85 c INPROCESSING
2029.91/2077.85 c GARBAGE COLLECT
2029.91/2077.85 c #Conflicts: 799000 | #Constraints: 69678
2029.91/2077.85 c #Conflicts: 800000 | #Constraints: 70678
2029.91/2077.85 c #Conflicts: 801000 | #Constraints: 71678
2029.91/2077.85 c #Conflicts: 802000 | #Constraints: 72678
2029.91/2077.85 c #Conflicts: 803000 | #Constraints: 73678
2029.91/2077.85 c #Conflicts: 804000 | #Constraints: 74678
2029.91/2077.85 c #Conflicts: 805000 | #Constraints: 75678
2029.91/2077.85 c #Conflicts: 806000 | #Constraints: 76678
2029.91/2077.85 c #Conflicts: 807000 | #Constraints: 77678
2029.91/2077.85 c #Conflicts: 808000 | #Constraints: 78678
2029.91/2077.85 c #Conflicts: 809000 | #Constraints: 79678
2029.91/2077.85 c #Conflicts: 810000 | #Constraints: 80678
2029.91/2077.85 c #Conflicts: 811000 | #Constraints: 81678
2029.91/2077.85 c #Conflicts: 812000 | #Constraints: 82678
2029.91/2077.85 c #Conflicts: 813000 | #Constraints: 83678
2029.91/2077.85 c #Conflicts: 814000 | #Constraints: 84678
2029.91/2077.85 c #Conflicts: 815000 | #Constraints: 85678
2029.91/2077.85 c #Conflicts: 816000 | #Constraints: 86678
2029.91/2077.85 c #Conflicts: 817000 | #Constraints: 87678
2029.91/2077.85 c #Conflicts: 818000 | #Constraints: 88678
2029.91/2077.85 c #Conflicts: 819000 | #Constraints: 89678
2029.91/2077.85 c #Conflicts: 820000 | #Constraints: 90678
2029.91/2077.85 c #Conflicts: 821000 | #Constraints: 91678
2029.91/2077.85 c #Conflicts: 822000 | #Constraints: 92678
2029.91/2077.85 c INPROCESSING
2029.91/2077.85 c GARBAGE COLLECT
2029.91/2077.85 c #Conflicts: 823000 | #Constraints: 61193
2029.91/2077.85 c #Conflicts: 824000 | #Constraints: 62193
2029.91/2077.85 c #Conflicts: 825000 | #Constraints: 63193
2029.91/2077.85 c #Conflicts: 826000 | #Constraints: 64193
2029.91/2077.85 c #Conflicts: 827000 | #Constraints: 65193
2029.91/2077.85 c #Conflicts: 828000 | #Constraints: 66193
2029.91/2077.85 c #Conflicts: 829000 | #Constraints: 67193
2029.91/2077.85 c #Conflicts: 830000 | #Constraints: 68193
2029.91/2077.85 c #Conflicts: 831000 | #Constraints: 69193
2029.91/2077.85 c #Conflicts: 832000 | #Constraints: 70193
2029.91/2077.85 c #Conflicts: 833000 | #Constraints: 71193
2029.91/2077.85 c #Conflicts: 834000 | #Constraints: 72193
2029.91/2077.85 c #Conflicts: 835000 | #Constraints: 73193
2029.91/2077.85 c #Conflicts: 836000 | #Constraints: 74193
2029.91/2077.85 c #Conflicts: 837000 | #Constraints: 75193
2029.91/2077.85 c #Conflicts: 838000 | #Constraints: 76193
2029.91/2077.85 c #Conflicts: 839000 | #Constraints: 77193
2029.91/2077.85 c #Conflicts: 840000 | #Constraints: 78193
2029.91/2077.85 c #Conflicts: 841000 | #Constraints: 79193
2215.33/2269.39 c #Conflicts: 842000 | #Constraints: 80193
2215.33/2269.39 c #Conflicts: 843000 | #Constraints: 81193
2215.33/2269.39 c #Conflicts: 844000 | #Constraints: 82193
2215.33/2269.39 c #Conflicts: 845000 | #Constraints: 83193
2215.33/2269.39 c #Conflicts: 846000 | #Constraints: 84193
2215.33/2269.39 c #Conflicts: 847000 | #Constraints: 85193
2215.33/2269.39 c #Conflicts: 848000 | #Constraints: 86193
2215.33/2269.39 c #Conflicts: 849000 | #Constraints: 87193
2215.33/2269.39 c #Conflicts: 850000 | #Constraints: 88193
2215.33/2269.39 c #Conflicts: 851000 | #Constraints: 89193
2215.33/2269.39 c #Conflicts: 852000 | #Constraints: 90193
2215.33/2269.39 c #Conflicts: 853000 | #Constraints: 91193
2215.33/2269.39 c #Conflicts: 854000 | #Constraints: 92193
2215.33/2269.39 c #Conflicts: 855000 | #Constraints: 93193
2215.33/2269.39 c #Conflicts: 856000 | #Constraints: 94193
2215.33/2269.39 c #Conflicts: 857000 | #Constraints: 95193
2215.33/2269.39 c #Conflicts: 858000 | #Constraints: 96193
2215.33/2269.39 c #Conflicts: 859000 | #Constraints: 97193
2215.33/2269.39 c #Conflicts: 860000 | #Constraints: 98193
2215.33/2269.39 c #Conflicts: 861000 | #Constraints: 99193
2215.33/2269.39 c #Conflicts: 862000 | #Constraints: 100193
2215.33/2269.39 c #Conflicts: 863000 | #Constraints: 101193
2215.33/2269.39 c #Conflicts: 864000 | #Constraints: 102193
2215.33/2269.39 c #Conflicts: 865000 | #Constraints: 103193
2215.33/2269.39 c #Conflicts: 866000 | #Constraints: 104193
2215.33/2269.39 c #Conflicts: 867000 | #Constraints: 105193
2215.33/2269.39 c #Conflicts: 868000 | #Constraints: 106193
2215.33/2269.39 c #Conflicts: 869000 | #Constraints: 107193
2215.33/2269.39 c #Conflicts: 870000 | #Constraints: 108193
2215.33/2269.39 c #Conflicts: 871000 | #Constraints: 109193
2215.33/2269.39 c #Conflicts: 872000 | #Constraints: 110193
2215.33/2269.39 c #Conflicts: 873000 | #Constraints: 111193
2215.33/2269.39 c #Conflicts: 874000 | #Constraints: 112193
2215.33/2269.39 c #Conflicts: 875000 | #Constraints: 113193
2215.33/2269.39 c #Conflicts: 876000 | #Constraints: 114193
2215.33/2269.39 c #Conflicts: 877000 | #Constraints: 115193
2215.33/2269.39 c #Conflicts: 878000 | #Constraints: 116193
2215.33/2269.39 c #Conflicts: 879000 | #Constraints: 117193
2215.33/2269.39 c #Conflicts: 880000 | #Constraints: 118193
2215.33/2269.39 c #Conflicts: 881000 | #Constraints: 119193
2215.33/2269.39 c #Conflicts: 882000 | #Constraints: 120193
2215.33/2269.39 c #Conflicts: 883000 | #Constraints: 121193
2215.33/2269.39 c #Conflicts: 884000 | #Constraints: 122193
2215.33/2269.39 c INPROCESSING
2215.33/2269.39 c GARBAGE COLLECT
2215.33/2269.39 c #Conflicts: 885000 | #Constraints: 72588
2215.33/2269.39 c #Conflicts: 886000 | #Constraints: 73588
2215.33/2269.39 c #Conflicts: 887000 | #Constraints: 74588
2215.33/2269.39 c #Conflicts: 888000 | #Constraints: 75588
2215.33/2269.39 c #Conflicts: 889000 | #Constraints: 76588
2215.33/2269.39 c #Conflicts: 890000 | #Constraints: 77588
2215.33/2269.39 c #Conflicts: 891000 | #Constraints: 78588
2215.33/2269.39 c #Conflicts: 892000 | #Constraints: 79588
2215.33/2269.39 c #Conflicts: 893000 | #Constraints: 80588
2215.33/2269.39 c #Conflicts: 894000 | #Constraints: 81588
2215.33/2269.39 c #Conflicts: 895000 | #Constraints: 82588
2215.33/2269.39 c #Conflicts: 896000 | #Constraints: 83588
2215.33/2269.39 c #Conflicts: 897000 | #Constraints: 84588
2215.33/2269.39 c #Conflicts: 898000 | #Constraints: 85588
2215.33/2269.39 c #Conflicts: 899000 | #Constraints: 86588
2215.33/2269.39 c #Conflicts: 900000 | #Constraints: 87588
2215.33/2269.39 c #Conflicts: 901000 | #Constraints: 88588
2215.33/2269.39 c #Conflicts: 902000 | #Constraints: 89588
2215.33/2269.39 c #Conflicts: 903000 | #Constraints: 90588
2215.33/2269.39 c #Conflicts: 904000 | #Constraints: 91588
2215.33/2269.39 c #Conflicts: 905000 | #Constraints: 92588
2215.33/2269.39 c #Conflicts: 906000 | #Constraints: 93588
2215.33/2269.39 c #Conflicts: 907000 | #Constraints: 94588
2215.33/2269.39 c #Conflicts: 908000 | #Constraints: 95588
2215.33/2269.39 c #Conflicts: 909000 | #Constraints: 96588
2215.33/2269.39 c #Conflicts: 910000 | #Constraints: 97588
2215.33/2269.39 c INPROCESSING
2215.33/2269.39 c GARBAGE COLLECT
2215.33/2269.39 c #Conflicts: 911000 | #Constraints: 64342
2215.33/2269.39 c #Conflicts: 912000 | #Constraints: 65342
2215.33/2269.39 c #Conflicts: 913000 | #Constraints: 66342
2215.33/2269.39 c #Conflicts: 914000 | #Constraints: 67342
2215.33/2269.39 c #Conflicts: 915000 | #Constraints: 68342
2215.33/2269.39 c #Conflicts: 916000 | #Constraints: 69342
2215.33/2269.39 c #Conflicts: 917000 | #Constraints: 70342
2215.33/2269.39 c #Conflicts: 918000 | #Constraints: 71342
2451.07/2508.10 c #Conflicts: 919000 | #Constraints: 72342
2451.07/2508.10 c #Conflicts: 920000 | #Constraints: 73342
2451.07/2508.10 c #Conflicts: 921000 | #Constraints: 74342
2451.07/2508.10 c #Conflicts: 922000 | #Constraints: 75342
2451.07/2508.10 c #Conflicts: 923000 | #Constraints: 76342
2451.07/2508.10 c #Conflicts: 924000 | #Constraints: 77342
2451.07/2508.10 c #Conflicts: 925000 | #Constraints: 78342
2451.07/2508.10 c #Conflicts: 926000 | #Constraints: 79342
2451.07/2508.10 c #Conflicts: 927000 | #Constraints: 80342
2451.07/2508.10 c #Conflicts: 928000 | #Constraints: 81342
2451.07/2508.10 c #Conflicts: 929000 | #Constraints: 82342
2451.07/2508.10 c #Conflicts: 930000 | #Constraints: 83342
2451.07/2508.10 c #Conflicts: 931000 | #Constraints: 84342
2451.07/2508.10 c #Conflicts: 932000 | #Constraints: 85342
2451.07/2508.10 c #Conflicts: 933000 | #Constraints: 86342
2451.07/2508.10 c #Conflicts: 934000 | #Constraints: 87342
2451.07/2508.10 c #Conflicts: 935000 | #Constraints: 88342
2451.07/2508.10 c #Conflicts: 936000 | #Constraints: 89342
2451.07/2508.10 c #Conflicts: 937000 | #Constraints: 90342
2451.07/2508.10 c #Conflicts: 938000 | #Constraints: 91342
2451.07/2508.10 c #Conflicts: 939000 | #Constraints: 92342
2451.07/2508.10 c #Conflicts: 940000 | #Constraints: 93342
2451.07/2508.10 c #Conflicts: 941000 | #Constraints: 94342
2451.07/2508.10 c #Conflicts: 942000 | #Constraints: 95342
2451.07/2508.10 c #Conflicts: 943000 | #Constraints: 96342
2451.07/2508.10 c #Conflicts: 944000 | #Constraints: 97342
2451.07/2508.10 c #Conflicts: 945000 | #Constraints: 98342
2451.07/2508.10 c #Conflicts: 946000 | #Constraints: 99342
2451.07/2508.10 c #Conflicts: 947000 | #Constraints: 100342
2451.07/2508.10 c #Conflicts: 948000 | #Constraints: 101342
2451.07/2508.10 c #Conflicts: 949000 | #Constraints: 102342
2451.07/2508.10 c #Conflicts: 950000 | #Constraints: 103342
2451.07/2508.10 c #Conflicts: 951000 | #Constraints: 104342
2451.07/2508.10 c #Conflicts: 952000 | #Constraints: 105342
2451.07/2508.10 c #Conflicts: 953000 | #Constraints: 106342
2451.07/2508.10 c #Conflicts: 954000 | #Constraints: 107342
2451.07/2508.10 c #Conflicts: 955000 | #Constraints: 108342
2451.07/2508.10 c #Conflicts: 956000 | #Constraints: 109342
2451.07/2508.10 c #Conflicts: 957000 | #Constraints: 110342
2451.07/2508.10 c #Conflicts: 958000 | #Constraints: 111342
2451.07/2508.10 c #Conflicts: 959000 | #Constraints: 112342
2451.07/2508.10 c #Conflicts: 960000 | #Constraints: 113342
2451.07/2508.10 c #Conflicts: 961000 | #Constraints: 114342
2451.07/2508.10 c #Conflicts: 962000 | #Constraints: 115342
2451.07/2508.10 c #Conflicts: 963000 | #Constraints: 116342
2451.07/2508.10 c #Conflicts: 964000 | #Constraints: 117342
2451.07/2508.10 c #Conflicts: 965000 | #Constraints: 118342
2451.07/2508.10 c #Conflicts: 966000 | #Constraints: 119342
2451.07/2508.10 c #Conflicts: 967000 | #Constraints: 120342
2451.07/2508.10 c #Conflicts: 968000 | #Constraints: 121342
2451.07/2508.10 c #Conflicts: 969000 | #Constraints: 122342
2451.07/2508.10 c #Conflicts: 970000 | #Constraints: 123342
2451.07/2508.10 c #Conflicts: 971000 | #Constraints: 124342
2451.07/2508.10 c #Conflicts: 972000 | #Constraints: 125342
2451.07/2508.10 c #Conflicts: 973000 | #Constraints: 126342
2451.07/2508.10 c #Conflicts: 974000 | #Constraints: 127342
2451.07/2508.10 c INPROCESSING
2451.07/2508.10 c GARBAGE COLLECT
2451.07/2508.10 c #Conflicts: 975000 | #Constraints: 75002
2451.07/2508.10 c #Conflicts: 976000 | #Constraints: 76002
2451.07/2508.10 c #Conflicts: 977000 | #Constraints: 77002
2451.07/2508.10 c #Conflicts: 978000 | #Constraints: 78002
2451.07/2508.10 c #Conflicts: 979000 | #Constraints: 79002
2451.07/2508.10 c #Conflicts: 980000 | #Constraints: 80002
2451.07/2508.10 c #Conflicts: 981000 | #Constraints: 81002
2451.07/2508.10 c #Conflicts: 982000 | #Constraints: 82002
2451.07/2508.10 c #Conflicts: 983000 | #Constraints: 83002
2451.07/2508.10 c #Conflicts: 984000 | #Constraints: 84002
2451.07/2508.10 c #Conflicts: 985000 | #Constraints: 85002
2451.07/2508.10 c #Conflicts: 986000 | #Constraints: 86002
2451.07/2508.10 c #Conflicts: 987000 | #Constraints: 87002
2451.07/2508.10 c #Conflicts: 988000 | #Constraints: 88002
2451.07/2508.10 c #Conflicts: 989000 | #Constraints: 89002
2451.07/2508.10 c #Conflicts: 990000 | #Constraints: 90002
2451.07/2508.10 c #Conflicts: 991000 | #Constraints: 91002
2451.07/2508.10 c #Conflicts: 992000 | #Constraints: 92002
2451.07/2508.10 c #Conflicts: 993000 | #Constraints: 93002
2451.07/2508.10 c #Conflicts: 994000 | #Constraints: 94002
2451.07/2508.10 c #Conflicts: 995000 | #Constraints: 95002
2451.07/2508.10 c #Conflicts: 996000 | #Constraints: 96002
2781.96/2842.31 c #Conflicts: 997000 | #Constraints: 97002
2781.96/2842.31 c #Conflicts: 998000 | #Constraints: 98002
2781.96/2842.31 c #Conflicts: 999000 | #Constraints: 99002
2781.96/2842.31 c #Conflicts: 1000000 | #Constraints: 100002
2781.96/2842.31 c #Conflicts: 1001000 | #Constraints: 101002
2781.96/2842.31 c INPROCESSING
2781.96/2842.31 c GARBAGE COLLECT
2781.96/2842.31 c #Conflicts: 1002000 | #Constraints: 65667
2781.96/2842.31 c #Conflicts: 1003000 | #Constraints: 66667
2781.96/2842.31 c #Conflicts: 1004000 | #Constraints: 67667
2781.96/2842.31 c #Conflicts: 1005000 | #Constraints: 68667
2781.96/2842.31 c #Conflicts: 1006000 | #Constraints: 69667
2781.96/2842.31 c #Conflicts: 1007000 | #Constraints: 70667
2781.96/2842.31 c #Conflicts: 1008000 | #Constraints: 71667
2781.96/2842.31 c #Conflicts: 1009000 | #Constraints: 72667
2781.96/2842.31 c #Conflicts: 1010000 | #Constraints: 73667
2781.96/2842.31 c #Conflicts: 1011000 | #Constraints: 74667
2781.96/2842.31 c #Conflicts: 1012000 | #Constraints: 75667
2781.96/2842.31 c #Conflicts: 1013000 | #Constraints: 76667
2781.96/2842.31 c #Conflicts: 1014000 | #Constraints: 77667
2781.96/2842.31 c #Conflicts: 1015000 | #Constraints: 78667
2781.96/2842.31 c #Conflicts: 1016000 | #Constraints: 79667
2781.96/2842.31 c #Conflicts: 1017000 | #Constraints: 80667
2781.96/2842.31 c #Conflicts: 1018000 | #Constraints: 81667
2781.96/2842.31 c #Conflicts: 1019000 | #Constraints: 82667
2781.96/2842.31 c #Conflicts: 1020000 | #Constraints: 83667
2781.96/2842.31 c #Conflicts: 1021000 | #Constraints: 84667
2781.96/2842.31 c #Conflicts: 1022000 | #Constraints: 85667
2781.96/2842.31 c #Conflicts: 1023000 | #Constraints: 86667
2781.96/2842.31 c #Conflicts: 1024000 | #Constraints: 87667
2781.96/2842.31 c #Conflicts: 1025000 | #Constraints: 88667
2781.96/2842.31 c #Conflicts: 1026000 | #Constraints: 89667
2781.96/2842.31 c #Conflicts: 1027000 | #Constraints: 90667
2781.96/2842.31 c #Conflicts: 1028000 | #Constraints: 91667
2781.96/2842.31 c #Conflicts: 1029000 | #Constraints: 92667
2781.96/2842.31 c #Conflicts: 1030000 | #Constraints: 93667
2781.96/2842.31 c #Conflicts: 1031000 | #Constraints: 94667
2781.96/2842.31 c #Conflicts: 1032000 | #Constraints: 95667
2781.96/2842.31 c #Conflicts: 1033000 | #Constraints: 96667
2781.96/2842.31 c #Conflicts: 1034000 | #Constraints: 97667
2781.96/2842.31 c #Conflicts: 1035000 | #Constraints: 98667
2781.96/2842.31 c #Conflicts: 1036000 | #Constraints: 99667
2781.96/2842.31 c #Conflicts: 1037000 | #Constraints: 100667
2781.96/2842.31 c #Conflicts: 1038000 | #Constraints: 101667
2781.96/2842.31 c #Conflicts: 1039000 | #Constraints: 102667
2781.96/2842.31 c #Conflicts: 1040000 | #Constraints: 103667
2781.96/2842.31 c #Conflicts: 1041000 | #Constraints: 104667
2781.96/2842.31 c #Conflicts: 1042000 | #Constraints: 105667
2781.96/2842.31 c #Conflicts: 1043000 | #Constraints: 106667
2781.96/2842.31 c #Conflicts: 1044000 | #Constraints: 107667
2781.96/2842.31 c #Conflicts: 1045000 | #Constraints: 108667
2781.96/2842.31 c #Conflicts: 1046000 | #Constraints: 109667
2781.96/2842.31 c #Conflicts: 1047000 | #Constraints: 110667
2781.96/2842.31 c #Conflicts: 1048000 | #Constraints: 111667
2781.96/2842.31 c #Conflicts: 1049000 | #Constraints: 112667
2781.96/2842.31 c #Conflicts: 1050000 | #Constraints: 113667
2781.96/2842.31 c #Conflicts: 1051000 | #Constraints: 114667
2781.96/2842.31 c #Conflicts: 1052000 | #Constraints: 115667
2781.96/2842.31 c #Conflicts: 1053000 | #Constraints: 116667
2781.96/2842.31 c #Conflicts: 1054000 | #Constraints: 117667
2781.96/2842.31 c #Conflicts: 1055000 | #Constraints: 118667
2781.96/2842.31 c #Conflicts: 1056000 | #Constraints: 119667
2781.96/2842.31 c #Conflicts: 1057000 | #Constraints: 120667
2781.96/2842.31 c #Conflicts: 1058000 | #Constraints: 121667
2781.96/2842.31 c #Conflicts: 1059000 | #Constraints: 122667
2781.96/2842.31 c #Conflicts: 1060000 | #Constraints: 123667
2781.96/2842.31 c #Conflicts: 1061000 | #Constraints: 124667
2781.96/2842.31 c #Conflicts: 1062000 | #Constraints: 125667
2781.96/2842.31 c #Conflicts: 1063000 | #Constraints: 126667
2781.96/2842.31 c #Conflicts: 1064000 | #Constraints: 127667
2781.96/2842.31 c #Conflicts: 1065000 | #Constraints: 128667
2781.96/2842.31 c #Conflicts: 1066000 | #Constraints: 129667
2781.96/2842.31 c #Conflicts: 1067000 | #Constraints: 130667
2781.96/2842.31 c #Conflicts: 1068000 | #Constraints: 131667
2781.96/2842.31 c #Conflicts: 1069000 | #Constraints: 132667
2781.96/2842.31 c INPROCESSING
2781.96/2842.31 c GARBAGE COLLECT
2781.96/2842.31 c #Conflicts: 1070000 | #Constraints: 77916
2781.96/2842.31 c #Conflicts: 1071000 | #Constraints: 78916
2781.96/2842.31 c #Conflicts: 1072000 | #Constraints: 79916
2781.96/2842.31 c #Conflicts: 1073000 | #Constraints: 80916
2781.96/2842.31 c #Conflicts: 1074000 | #Constraints: 81916
2988.77/3052.42 c #Conflicts: 1075000 | #Constraints: 82916
2988.77/3052.42 c #Conflicts: 1076000 | #Constraints: 83916
2988.77/3052.42 c #Conflicts: 1077000 | #Constraints: 84916
2988.77/3052.42 c #Conflicts: 1078000 | #Constraints: 85916
2988.77/3052.42 c #Conflicts: 1079000 | #Constraints: 86916
2988.77/3052.42 c #Conflicts: 1080000 | #Constraints: 87916
2988.77/3052.42 c #Conflicts: 1081000 | #Constraints: 88916
2988.77/3052.42 c #Conflicts: 1082000 | #Constraints: 89916
2988.77/3052.42 c #Conflicts: 1083000 | #Constraints: 90916
2988.77/3052.42 c #Conflicts: 1084000 | #Constraints: 91916
2988.77/3052.42 c #Conflicts: 1085000 | #Constraints: 92916
2988.77/3052.42 c #Conflicts: 1086000 | #Constraints: 93916
2988.77/3052.42 c #Conflicts: 1087000 | #Constraints: 94916
2988.77/3052.42 c #Conflicts: 1088000 | #Constraints: 95916
2988.77/3052.42 c #Conflicts: 1089000 | #Constraints: 96916
2988.77/3052.42 c #Conflicts: 1090000 | #Constraints: 97916
2988.77/3052.42 c #Conflicts: 1091000 | #Constraints: 98916
2988.77/3052.42 c #Conflicts: 1092000 | #Constraints: 99916
2988.77/3052.42 c #Conflicts: 1093000 | #Constraints: 100916
2988.77/3052.42 c #Conflicts: 1094000 | #Constraints: 101916
2988.77/3052.42 c #Conflicts: 1095000 | #Constraints: 102916
2988.77/3052.42 c #Conflicts: 1096000 | #Constraints: 103916
2988.77/3052.42 c #Conflicts: 1097000 | #Constraints: 104916
2988.77/3052.42 c #Conflicts: 1098000 | #Constraints: 105916
2988.77/3052.42 c INPROCESSING
2988.77/3052.42 c GARBAGE COLLECT
2988.77/3052.42 c #Conflicts: 1099000 | #Constraints: 68263
2988.77/3052.42 c #Conflicts: 1100000 | #Constraints: 69263
2988.77/3052.42 c #Conflicts: 1101000 | #Constraints: 70263
2988.77/3052.42 c #Conflicts: 1102000 | #Constraints: 71263
2988.77/3052.42 c #Conflicts: 1103000 | #Constraints: 72263
2988.77/3052.42 c #Conflicts: 1104000 | #Constraints: 73263
2988.77/3052.42 c #Conflicts: 1105000 | #Constraints: 74263
2988.77/3052.42 c #Conflicts: 1106000 | #Constraints: 75263
2988.77/3052.42 c #Conflicts: 1107000 | #Constraints: 76263
2988.77/3052.42 c #Conflicts: 1108000 | #Constraints: 77263
2988.77/3052.42 c #Conflicts: 1109000 | #Constraints: 78263
2988.77/3052.42 c #Conflicts: 1110000 | #Constraints: 79263
2988.77/3052.42 c #Conflicts: 1111000 | #Constraints: 80263
2988.77/3052.42 c #Conflicts: 1112000 | #Constraints: 81263
2988.77/3052.42 c #Conflicts: 1113000 | #Constraints: 82263
2988.77/3052.42 c #Conflicts: 1114000 | #Constraints: 83263
2988.77/3052.42 c #Conflicts: 1115000 | #Constraints: 84263
2988.77/3052.42 c #Conflicts: 1116000 | #Constraints: 85263
2988.77/3052.42 c #Conflicts: 1117000 | #Constraints: 86263
2988.77/3052.42 c #Conflicts: 1118000 | #Constraints: 87263
2988.77/3052.42 c #Conflicts: 1119000 | #Constraints: 88263
2988.77/3052.42 c #Conflicts: 1120000 | #Constraints: 89263
2988.77/3052.42 c #Conflicts: 1121000 | #Constraints: 90263
2988.77/3052.42 c #Conflicts: 1122000 | #Constraints: 91263
2988.77/3052.42 c #Conflicts: 1123000 | #Constraints: 92263
2988.77/3052.42 c #Conflicts: 1124000 | #Constraints: 93263
2988.77/3052.42 c #Conflicts: 1125000 | #Constraints: 94263
2988.77/3052.42 c #Conflicts: 1126000 | #Constraints: 95263
2988.77/3052.42 c #Conflicts: 1127000 | #Constraints: 96263
2988.77/3052.42 c #Conflicts: 1128000 | #Constraints: 97263
2988.77/3052.42 c #Conflicts: 1129000 | #Constraints: 98263
2988.77/3052.42 c #Conflicts: 1130000 | #Constraints: 99263
2988.77/3052.42 c #Conflicts: 1131000 | #Constraints: 100263
2988.77/3052.42 c #Conflicts: 1132000 | #Constraints: 101263
2988.77/3052.42 c #Conflicts: 1133000 | #Constraints: 102263
2988.77/3052.42 c #Conflicts: 1134000 | #Constraints: 103263
2988.77/3052.42 c #Conflicts: 1135000 | #Constraints: 104263
2988.77/3052.42 c #Conflicts: 1136000 | #Constraints: 105263
2988.77/3052.42 c #Conflicts: 1137000 | #Constraints: 106263
2988.77/3052.42 c #Conflicts: 1138000 | #Constraints: 107263
2988.77/3052.42 c #Conflicts: 1139000 | #Constraints: 108263
2988.77/3052.42 c #Conflicts: 1140000 | #Constraints: 109263
2988.77/3052.42 c #Conflicts: 1141000 | #Constraints: 110263
2988.77/3052.42 c #Conflicts: 1142000 | #Constraints: 111263
2988.77/3052.42 c #Conflicts: 1143000 | #Constraints: 112263
2988.77/3052.42 c #Conflicts: 1144000 | #Constraints: 113263
2988.77/3052.42 c #Conflicts: 1145000 | #Constraints: 114263
2988.77/3052.42 c #Conflicts: 1146000 | #Constraints: 115263
2988.77/3052.42 c #Conflicts: 1147000 | #Constraints: 116263
2988.77/3052.42 c #Conflicts: 1148000 | #Constraints: 117263
2988.77/3052.42 c #Conflicts: 1149000 | #Constraints: 118263
2988.77/3052.42 c #Conflicts: 1150000 | #Constraints: 119263
2988.77/3052.42 c #Conflicts: 1151000 | #Constraints: 120263
2988.77/3052.42 c #Conflicts: 1152000 | #Constraints: 121263
3234.68/3299.83 c #Conflicts: 1153000 | #Constraints: 122263
3234.68/3299.83 c #Conflicts: 1154000 | #Constraints: 123263
3234.68/3299.83 c #Conflicts: 1155000 | #Constraints: 124263
3234.68/3299.83 c #Conflicts: 1156000 | #Constraints: 125263
3234.68/3299.83 c #Conflicts: 1157000 | #Constraints: 126263
3234.68/3299.83 c #Conflicts: 1158000 | #Constraints: 127263
3234.68/3299.83 c #Conflicts: 1159000 | #Constraints: 128263
3234.68/3299.83 c #Conflicts: 1160000 | #Constraints: 129263
3234.68/3299.83 c #Conflicts: 1161000 | #Constraints: 130263
3234.68/3299.83 c #Conflicts: 1162000 | #Constraints: 131263
3234.68/3299.83 c #Conflicts: 1163000 | #Constraints: 132263
3234.68/3299.83 c #Conflicts: 1164000 | #Constraints: 133263
3234.68/3299.83 c #Conflicts: 1165000 | #Constraints: 134263
3234.68/3299.83 c #Conflicts: 1166000 | #Constraints: 135263
3234.68/3299.83 c #Conflicts: 1167000 | #Constraints: 136263
3234.68/3299.83 c #Conflicts: 1168000 | #Constraints: 137263
3234.68/3299.83 c INPROCESSING
3234.68/3299.83 c GARBAGE COLLECT
3234.68/3299.83 c #Conflicts: 1169000 | #Constraints: 80108
3234.68/3299.83 c #Conflicts: 1170000 | #Constraints: 81108
3234.68/3299.83 c #Conflicts: 1171000 | #Constraints: 82108
3234.68/3299.83 c #Conflicts: 1172000 | #Constraints: 83108
3234.68/3299.83 c #Conflicts: 1173000 | #Constraints: 84108
3234.68/3299.83 c #Conflicts: 1174000 | #Constraints: 85108
3234.68/3299.83 c #Conflicts: 1175000 | #Constraints: 86108
3234.68/3299.83 c #Conflicts: 1176000 | #Constraints: 87108
3234.68/3299.83 c #Conflicts: 1177000 | #Constraints: 88108
3234.68/3299.83 c #Conflicts: 1178000 | #Constraints: 89108
3234.68/3299.83 c #Conflicts: 1179000 | #Constraints: 90108
3234.68/3299.83 c #Conflicts: 1180000 | #Constraints: 91108
3234.68/3299.83 c #Conflicts: 1181000 | #Constraints: 92108
3234.68/3299.83 c #Conflicts: 1182000 | #Constraints: 93108
3234.68/3299.83 c #Conflicts: 1183000 | #Constraints: 94108
3234.68/3299.83 c #Conflicts: 1184000 | #Constraints: 95108
3234.68/3299.83 c #Conflicts: 1185000 | #Constraints: 96108
3234.68/3299.83 c #Conflicts: 1186000 | #Constraints: 97108
3234.68/3299.83 c #Conflicts: 1187000 | #Constraints: 98108
3234.68/3299.83 c #Conflicts: 1188000 | #Constraints: 99108
3234.68/3299.83 c #Conflicts: 1189000 | #Constraints: 100108
3234.68/3299.83 c #Conflicts: 1190000 | #Constraints: 101108
3234.68/3299.83 c #Conflicts: 1191000 | #Constraints: 102108
3234.68/3299.83 c #Conflicts: 1192000 | #Constraints: 103108
3234.68/3299.83 c #Conflicts: 1193000 | #Constraints: 104108
3234.68/3299.83 c #Conflicts: 1194000 | #Constraints: 105108
3234.68/3299.83 c #Conflicts: 1195000 | #Constraints: 106108
3234.68/3299.83 c #Conflicts: 1196000 | #Constraints: 107108
3234.68/3299.83 c #Conflicts: 1197000 | #Constraints: 108108
3234.68/3299.83 c #Conflicts: 1198000 | #Constraints: 109108
3234.68/3299.83 c INPROCESSING
3234.68/3299.83 c GARBAGE COLLECT
3234.68/3299.83 c #Conflicts: 1199000 | #Constraints: 70180
3234.68/3299.83 c #Conflicts: 1200000 | #Constraints: 71180
3234.68/3299.83 c #Conflicts: 1201000 | #Constraints: 72180
3234.68/3299.83 c #Conflicts: 1202000 | #Constraints: 73180
3234.68/3299.83 c #Conflicts: 1203000 | #Constraints: 74180
3234.68/3299.83 c #Conflicts: 1204000 | #Constraints: 75180
3234.68/3299.83 c #Conflicts: 1205000 | #Constraints: 76180
3234.68/3299.83 c #Conflicts: 1206000 | #Constraints: 77180
3234.68/3299.83 c #Conflicts: 1207000 | #Constraints: 78180
3234.68/3299.83 c #Conflicts: 1208000 | #Constraints: 79180
3234.68/3299.83 c #Conflicts: 1209000 | #Constraints: 80180
3234.68/3299.83 c #Conflicts: 1210000 | #Constraints: 81180
3234.68/3299.83 c #Conflicts: 1211000 | #Constraints: 82180
3234.68/3299.83 c #Conflicts: 1212000 | #Constraints: 83180
3234.68/3299.83 c #Conflicts: 1213000 | #Constraints: 84180
3234.68/3299.83 c #Conflicts: 1214000 | #Constraints: 85180
3234.68/3299.83 c #Conflicts: 1215000 | #Constraints: 86180
3234.68/3299.83 c #Conflicts: 1216000 | #Constraints: 87180
3234.68/3299.83 c #Conflicts: 1217000 | #Constraints: 88180
3234.68/3299.83 c #Conflicts: 1218000 | #Constraints: 89180
3234.68/3299.83 c #Conflicts: 1219000 | #Constraints: 90180
3234.68/3299.83 c #Conflicts: 1220000 | #Constraints: 91180
3234.68/3299.83 c #Conflicts: 1221000 | #Constraints: 92180
3234.68/3299.83 c #Conflicts: 1222000 | #Constraints: 93180
3234.68/3299.83 c #Conflicts: 1223000 | #Constraints: 94180
3234.68/3299.83 c #Conflicts: 1224000 | #Constraints: 95180
3234.68/3299.83 c #Conflicts: 1225000 | #Constraints: 96180
3234.68/3299.83 c #Conflicts: 1226000 | #Constraints: 97180
3234.68/3299.83 c #Conflicts: 1227000 | #Constraints: 98180
3234.68/3299.83 c #Conflicts: 1228000 | #Constraints: 99180
3234.68/3299.83 c #Conflicts: 1229000 | #Constraints: 100180
3463.31/3530.14 c #Conflicts: 1230000 | #Constraints: 101180
3463.31/3530.14 c #Conflicts: 1231000 | #Constraints: 102180
3463.31/3530.14 c #Conflicts: 1232000 | #Constraints: 103180
3463.31/3530.14 c #Conflicts: 1233000 | #Constraints: 104180
3463.31/3530.14 c #Conflicts: 1234000 | #Constraints: 105180
3463.31/3530.14 c #Conflicts: 1235000 | #Constraints: 106180
3463.31/3530.14 c #Conflicts: 1236000 | #Constraints: 107180
3463.31/3530.14 c #Conflicts: 1237000 | #Constraints: 108180
3463.31/3530.14 c #Conflicts: 1238000 | #Constraints: 109180
3463.31/3530.14 c #Conflicts: 1239000 | #Constraints: 110180
3463.31/3530.14 c #Conflicts: 1240000 | #Constraints: 111180
3463.31/3530.14 c #Conflicts: 1241000 | #Constraints: 112180
3463.31/3530.14 c #Conflicts: 1242000 | #Constraints: 113180
3463.31/3530.14 c #Conflicts: 1243000 | #Constraints: 114180
3463.31/3530.14 c #Conflicts: 1244000 | #Constraints: 115180
3463.31/3530.14 c #Conflicts: 1245000 | #Constraints: 116180
3463.31/3530.14 c #Conflicts: 1246000 | #Constraints: 117180
3463.31/3530.14 c #Conflicts: 1247000 | #Constraints: 118180
3463.31/3530.14 c #Conflicts: 1248000 | #Constraints: 119180
3463.31/3530.14 c #Conflicts: 1249000 | #Constraints: 120180
3463.31/3530.14 c #Conflicts: 1250000 | #Constraints: 121180
3463.31/3530.14 c #Conflicts: 1251000 | #Constraints: 122180
3463.31/3530.14 c #Conflicts: 1252000 | #Constraints: 123180
3463.31/3530.14 c #Conflicts: 1253000 | #Constraints: 124180
3463.31/3530.14 c #Conflicts: 1254000 | #Constraints: 125180
3463.31/3530.14 c #Conflicts: 1255000 | #Constraints: 126180
3463.31/3530.14 c #Conflicts: 1256000 | #Constraints: 127180
3463.31/3530.14 c #Conflicts: 1257000 | #Constraints: 128180
3463.31/3530.14 c #Conflicts: 1258000 | #Constraints: 129180
3463.31/3530.14 c #Conflicts: 1259000 | #Constraints: 130180
3463.31/3530.14 c #Conflicts: 1260000 | #Constraints: 131180
3463.31/3530.14 c #Conflicts: 1261000 | #Constraints: 132180
3463.31/3530.14 c #Conflicts: 1262000 | #Constraints: 133180
3463.31/3530.14 c #Conflicts: 1263000 | #Constraints: 134180
3463.31/3530.14 c #Conflicts: 1264000 | #Constraints: 135180
3463.31/3530.14 c #Conflicts: 1265000 | #Constraints: 136180
3463.31/3530.14 c #Conflicts: 1266000 | #Constraints: 137180
3463.31/3530.14 c #Conflicts: 1267000 | #Constraints: 138180
3463.31/3530.14 c #Conflicts: 1268000 | #Constraints: 139180
3463.31/3530.14 c #Conflicts: 1269000 | #Constraints: 140180
3463.31/3530.14 c #Conflicts: 1270000 | #Constraints: 141180
3463.31/3530.14 c #Conflicts: 1271000 | #Constraints: 142180
3463.31/3530.14 c #Conflicts: 1272000 | #Constraints: 143180
3463.31/3530.14 c INPROCESSING
3463.31/3530.14 c GARBAGE COLLECT
3463.31/3530.14 c #Conflicts: 1273000 | #Constraints: 83117
3463.31/3530.14 c #Conflicts: 1274000 | #Constraints: 84117
3463.31/3530.14 c #Conflicts: 1275000 | #Constraints: 85117
3463.31/3530.14 c #Conflicts: 1276000 | #Constraints: 86117
3463.31/3530.14 c #Conflicts: 1277000 | #Constraints: 87117
3463.31/3530.14 c #Conflicts: 1278000 | #Constraints: 88117
3463.31/3530.14 c #Conflicts: 1279000 | #Constraints: 89117
3463.31/3530.14 c #Conflicts: 1280000 | #Constraints: 90117
3463.31/3530.14 c #Conflicts: 1281000 | #Constraints: 91117
3463.31/3530.14 c #Conflicts: 1282000 | #Constraints: 92117
3463.31/3530.14 c #Conflicts: 1283000 | #Constraints: 93117
3463.31/3530.14 c #Conflicts: 1284000 | #Constraints: 94117
3463.31/3530.14 c #Conflicts: 1285000 | #Constraints: 95117
3463.31/3530.14 c #Conflicts: 1286000 | #Constraints: 96117
3463.31/3530.14 c #Conflicts: 1287000 | #Constraints: 97117
3463.31/3530.14 c #Conflicts: 1288000 | #Constraints: 98117
3463.31/3530.14 c #Conflicts: 1289000 | #Constraints: 99117
3463.31/3530.14 c #Conflicts: 1290000 | #Constraints: 100117
3463.31/3530.14 c #Conflicts: 1291000 | #Constraints: 101117
3463.31/3530.14 c #Conflicts: 1292000 | #Constraints: 102117
3463.31/3530.14 c #Conflicts: 1293000 | #Constraints: 103117
3463.31/3530.14 c #Conflicts: 1294000 | #Constraints: 104117
3463.31/3530.14 c #Conflicts: 1295000 | #Constraints: 105117
3463.31/3530.14 c #Conflicts: 1296000 | #Constraints: 106117
3463.31/3530.14 c #Conflicts: 1297000 | #Constraints: 107117
3463.31/3530.14 c #Conflicts: 1298000 | #Constraints: 108117
3463.31/3530.14 c #Conflicts: 1299000 | #Constraints: 109117
3463.31/3530.14 c #Conflicts: 1300000 | #Constraints: 110117
3463.31/3530.14 c #Conflicts: 1301000 | #Constraints: 111117
3463.31/3530.14 c #Conflicts: 1302000 | #Constraints: 112117
3463.31/3530.14 c #Conflicts: 1303000 | #Constraints: 113117
3463.31/3530.14 c INPROCESSING
3463.31/3530.14 c GARBAGE COLLECT
3463.31/3530.14 c #Conflicts: 1304000 | #Constraints: 72705
3463.31/3530.14 c #Conflicts: 1305000 | #Constraints: 73705
3463.31/3530.14 c #Conflicts: 1306000 | #Constraints: 74705
3463.31/3530.14 c #Conflicts: 1307000 | #Constraints: 75705
3600.04/3667.70 c #Conflicts: 1308000 | #Constraints: 76705
3600.04/3667.70 c #Conflicts: 1309000 | #Constraints: 77705
3600.04/3667.70 c #Conflicts: 1310000 | #Constraints: 78705
3600.04/3667.70 c #Conflicts: 1311000 | #Constraints: 79705
3600.04/3667.70 c #Conflicts: 1312000 | #Constraints: 80705
3600.04/3667.70 c #Conflicts: 1313000 | #Constraints: 81705
3600.04/3667.70 c #Conflicts: 1314000 | #Constraints: 82705
3600.04/3667.70 c #Conflicts: 1315000 | #Constraints: 83705
3600.04/3667.70 c #Conflicts: 1316000 | #Constraints: 84705
3600.04/3667.70 c #Conflicts: 1317000 | #Constraints: 85705
3600.04/3667.70 c #Conflicts: 1318000 | #Constraints: 86705
3600.04/3667.70 c #Conflicts: 1319000 | #Constraints: 87705
3600.04/3667.70 c #Conflicts: 1320000 | #Constraints: 88705
3600.04/3667.70 c #Conflicts: 1321000 | #Constraints: 89705
3600.04/3667.70 c #Conflicts: 1322000 | #Constraints: 90705
3600.04/3667.70 c #Conflicts: 1323000 | #Constraints: 91705
3600.04/3667.70 c #Conflicts: 1324000 | #Constraints: 92705
3600.04/3667.70 c #Conflicts: 1325000 | #Constraints: 93705
3600.04/3667.70 c #Conflicts: 1326000 | #Constraints: 94705
3600.04/3667.70 c #Conflicts: 1327000 | #Constraints: 95705
3600.04/3667.70 c #Conflicts: 1328000 | #Constraints: 96705
3600.04/3667.70 c #Conflicts: 1329000 | #Constraints: 97705
3600.04/3667.70 c #Conflicts: 1330000 | #Constraints: 98705
3600.04/3667.70 c #Conflicts: 1331000 | #Constraints: 99705
3600.04/3667.70 c #Conflicts: 1332000 | #Constraints: 100705
3600.04/3667.70 c #Conflicts: 1333000 | #Constraints: 101705
3600.04/3667.70 c #Conflicts: 1334000 | #Constraints: 102705
3600.04/3667.70 c #Conflicts: 1335000 | #Constraints: 103705
3600.04/3667.70 c #Conflicts: 1336000 | #Constraints: 104705
3600.04/3667.70 c #Conflicts: 1337000 | #Constraints: 105705
3600.04/3667.70 c #Conflicts: 1338000 | #Constraints: 106705
3600.04/3667.70 c #Conflicts: 1339000 | #Constraints: 107705
3600.04/3667.70 c #Conflicts: 1340000 | #Constraints: 108705
3600.04/3667.70 c #Conflicts: 1341000 | #Constraints: 109705
3600.04/3667.70 c #Conflicts: 1342000 | #Constraints: 110705
3600.04/3667.70 c #Conflicts: 1343000 | #Constraints: 111705
3600.04/3667.70 c #Conflicts: 1344000 | #Constraints: 112705
3600.04/3667.70 c #Conflicts: 1345000 | #Constraints: 113705
3600.04/3667.70 c #Conflicts: 1346000 | #Constraints: 114705
3600.04/3667.70 c #Conflicts: 1347000 | #Constraints: 115705
3600.04/3667.70 c #Conflicts: 1348000 | #Constraints: 116705
3600.04/3667.70 c #Conflicts: 1349000 | #Constraints: 117705
3600.04/3667.70 c #Conflicts: 1350000 | #Constraints: 118705
3600.04/3667.70 c #Conflicts: 1351000 | #Constraints: 119705
3600.04/3667.70 c cpu time 3569.64 s
3600.04/3667.70 c deterministic time 220145772648 2.20e+11
3600.04/3667.70 c optimization time 142.835 s
3600.04/3667.70 c total solve time 3426.69 s
3600.04/3667.70 c core-guided solve time 0 s
3600.04/3667.70 c propagation time 1734.97 s
3600.04/3667.70 c conflict analysis time 1435.19 s
3600.04/3667.70 c propagations 1340655851
3600.04/3667.70 c resolve steps 91221609
3600.04/3667.70 c decisions 25447216
3600.04/3667.70 c conflicts 1351326
3600.04/3667.70 c restarts 2557
3600.04/3667.70 c inprocessing phases 49
3600.04/3667.70 c garbage collections 49 ,( 100.00 )
3600.04/3667.70 c input clauses 18740 ,( 99.18 )
3600.04/3667.70 c input cardinalities 155 ,( 0.82 )
3600.04/3667.70 c input general constraints 0 ,( 0.00 )
3600.04/3667.70 c input average constraint length 6.41
3600.04/3667.70 c input average constraint degree 1.96
3600.04/3667.70 c learned clauses 1011417 ,( 74.85 )
3600.04/3667.70 c learned cardinalities 41286 ,( 3.06 )
3600.04/3667.70 c learned general constraints 298625 ,( 22.10 )
3600.04/3667.70 c learned average constraint length 776.57
3600.04/3667.70 c learned average constraint degree 21608433.32
3600.04/3667.70 c watched CF 32, 64, 128, Arb: 80365 , 0 , 0 , 0
3600.04/3667.70 c counting CF 32, 64, 128, Arb: 218260 , 0 , 0 , 0
3600.04/3667.70 c watched constraints 80365 ,( 26.91 )
3600.04/3667.70 c counting constraints 218260 ,( 73.09 )
3600.04/3667.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1275069757 , 619663088 , 2271163578 ,( 78008020 , 2193155558 )
3600.04/3667.70 c gcd simplifications 602
3600.04/3667.70 c detected cardinalities 5618
3600.04/3667.70 c weakened non-implied lits 386259396
3600.04/3667.70 c weakened non-implying lits 195966
3600.04/3667.70 c original variables 18490
3600.04/3667.70 c clausal propagations 614516319
3600.04/3667.70 c cardinality propagations 490228429
3600.04/3667.70 c watched propagations 4738939
3600.04/3667.70 c counting propagations 219409053
3600.04/3667.70 c watch lookups 75589642216
3600.04/3667.70 c watch backjump lookups 0
3600.04/3667.70 c watch checks 33693504468
3600.04/3667.70 c propagation checks 103194770291
3600.04/3667.70 c constraint additions 4934006882
3600.04/3667.70 c trail pops 1367441581
3600.04/3667.70 c formula constraints 18895
3600.04/3667.70 c learned constraints 1351323
3600.04/3667.70 c bound constraints 0
3600.04/3667.70 c core-guided constraints 0
3600.04/3667.70 c encountered formula constraints 59278077
3600.04/3667.70 c encountered learned constraints 33294680
3600.04/3667.70 c encountered bound constraints 0
3600.04/3667.70 c encountered core-guided constraints 0
3600.04/3667.70 c LP total time 432.171 s
3600.04/3667.70 c LP solve time 424.59 s
3600.04/3667.70 c LP constraints added 19014
3600.04/3667.70 c LP constraints removed 0
3600.04/3667.70 c LP pivots internal 158196
3600.04/3667.70 c LP pivots root 145946
3600.04/3667.70 c LP calls 12
3600.04/3667.70 c LP optimalities 3
3600.04/3667.70 c LP no pivot count 0
3600.04/3667.70 c LP infeasibilities 2
3600.04/3667.70 c LP valid Farkas constraints 2
3600.04/3667.70 c LP learned Farkas constraints 2
3600.04/3667.70 c LP basis resets 0
3600.04/3667.70 c LP cycling count 0
3600.04/3667.70 c LP singular count 0
3600.04/3667.70 c LP no primal count 0
3600.04/3667.70 c LP no farkas count 0
3600.04/3667.70 c LP other issue count 0
3600.04/3667.70 c LP Gomory cuts 1
3600.04/3667.70 c LP learned cuts 118
3600.04/3667.70 c LP deleted cuts 0
3600.04/3667.70 c LP encountered Gomory constraints 0
3600.04/3667.70 c LP encountered Farkas constraints 174
3600.04/3667.70 c LP encountered learned Farkas constraints 2
3600.04/3667.70 c CG auxiliary variables introduced 0
3600.04/3667.70 c CG solutions found 0
3600.04/3667.70 c CG cores constructed 0
3600.04/3667.70 c CG core cardinality constraints returned 0
3600.04/3667.70 c CG unit cores 0
3600.04/3667.70 c CG single cores 0
3600.04/3667.70 c CG blocks removed during cardinality reduction 0
3600.04/3667.70 c CG first core best 0
3600.04/3667.70 c CG decision core best 0
3600.04/3667.70 c CG core reduction tie 0
3600.04/3667.70 c CG core degree average 0.00
3600.04/3667.70 c CG core slack average 0.00
3600.04/3667.70 c CG core upper bound improvements 0
3600.04/3667.70 c STR number of successful calls 0
3600.04/3667.70 c STR number of unsuccessful calls 0
3600.04/3667.70 c STR number of inconclusive calls 0
3600.04/3667.70 c STR number of successful attempts 0
3600.04/3667.70 c STR number of unsuccessful attempts 0
3600.04/3667.70 c STR number of inconclusive attempts 0
3600.04/3667.70 c STR average degree increase per successful call inf
3600.04/3667.70 c STR average degree increase per successful attempt inf
3600.04/3667.70 c STR total number of conflicts for successful attempts 0
3600.04/3667.70 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3667.70 c STR total number of conflicts for inconclusive attempts 0
3600.04/3667.70 c STR average number of conflicts per successful attempt inf
3600.04/3667.70 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3667.70 c STR average number of conflicts per inconclusive attempt inf
3600.04/3667.70 c AVG.sumWPerc 64.95
3600.04/3667.70 c bigint constraints 0
3600.04/3667.70 s UNKNOWN
3600.04/3667.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (58331 MiB free)
memory of node 1: 64465 MiB (57919 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507053-1751174038/watcher-4507053-1751174038 -o /tmp/evaluation-result-4507053-1751174038/solver-4507053-1751174038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20382 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507053-1751174038.opb PROOFDIR/proof-4507053-1751174038
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20784, runsolver pid=20777
[startup+0.100058 s]*
/proc/loadavg: 4.11 4.09 4.03 5/273 20787
/proc/meminfo: memFree=118969420/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20787] ppid=20784 vsize=38204 memory=27052 CPUtime=0.08 cores=1,3
/proc/20787/stat : 20787 (pbsuma) D 20784 20784 20370 0 -1 4194304 12620 0 0 0 6 2 0 0 20 0 1 0 33081341 39120896 6763 18446744073709551615 4210688 4653049 140732954174176 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 4700520 4703148 6918144 140732954175715 140732954176050 140732954176050 140732954181615 0
/proc/20787/statm: 9551 6763 1024 108 0 6959 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 42396 KiB
Current children cumulated memory: 29996 KiB
[startup+0.205708 s]*
/proc/loadavg: 4.11 4.09 4.03 5/273 20789
/proc/meminfo: memFree=118993500/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=67492 memory=22680 CPUtime=0.08 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 3424 0 0 0 7 1 0 0 20 0 1 0 33081351 69111808 5670 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 16873 5670 2080 1147 0 4300 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 71684 KiB
Current children cumulated memory: 25624 KiB
[startup+0.305624 s]*
/proc/loadavg: 4.11 4.09 4.03 5/273 20789
/proc/meminfo: memFree=118955504/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=108968 memory=57336 CPUtime=0.18 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 10803 0 0 0 15 3 0 0 20 0 1 0 33081351 111583232 14334 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 27242 14334 2336 1147 0 14669 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 113160 KiB
Current children cumulated memory: 60280 KiB
[startup+0.700194 s]
/proc/loadavg: 4.11 4.09 4.03 5/273 20789
/proc/meminfo: memFree=118937440/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=113328 memory=60152 CPUtime=0.57 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 11518 0 0 0 53 4 0 0 20 0 1 0 33081351 116047872 15038 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 28332 15038 2336 1147 0 15759 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 117520 KiB
Current children cumulated memory: 63096 KiB
[startup+1.5002 s]
/proc/loadavg: 4.11 4.09 4.03 5/273 20789
/proc/meminfo: memFree=118927360/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=113328 memory=60152 CPUtime=1.37 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 11518 0 0 0 133 4 0 0 20 0 1 0 33081351 116047872 15038 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 28332 15038 2336 1147 0 15759 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 117520 KiB
Current children cumulated memory: 63096 KiB
[startup+3.10547 s]
/proc/loadavg: 4.10 4.09 4.03 5/273 20789
/proc/meminfo: memFree=118921812/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=115688 memory=62968 CPUtime=2.97 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 12208 0 0 0 292 5 0 0 20 0 1 0 33081351 118464512 15742 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 28922 15742 2368 1147 0 16349 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 119880 KiB
Current children cumulated memory: 65912 KiB
[startup+6.30018 s]
/proc/loadavg: 4.10 4.09 4.03 5/273 20789
/proc/meminfo: memFree=118880164/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=119500 memory=69972 CPUtime=6.15 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 13443 0 0 0 601 14 0 0 20 0 1 0 33081351 122368000 17493 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 29875 17493 2400 1147 0 17302 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 123692 KiB
Current children cumulated memory: 72916 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.03 5/273 20789
/proc/meminfo: memFree=118843944/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=130772 memory=79828 CPUtime=12.54 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 15927 0 0 0 1226 28 0 0 20 0 1 0 33081351 133910528 19957 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 32693 19957 2400 1147 0 20120 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 134964 KiB
Current children cumulated memory: 82772 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.02 5/271 20836
/proc/meminfo: memFree=124943996/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=152760 memory=99544 CPUtime=25.3 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 19817 0 0 0 2478 52 0 0 20 0 1 0 33081351 156426240 24886 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 38190 24886 2400 1147 0 25617 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 156952 KiB
Current children cumulated memory: 102488 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.09 4.03 5/272 20838
/proc/meminfo: memFree=124660960/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=184928 memory=129620 CPUtime=50.69 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 25895 0 0 0 4966 103 0 0 20 0 1 0 33081351 189366272 32405 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 46232 32405 2400 1147 0 33659 0
Current children cumulated CPU time: 50.77 s
Current children cumulated vsize: 189120 KiB
Current children cumulated memory: 132564 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/271 20839
/proc/meminfo: memFree=124226008/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=224880 memory=158108 CPUtime=101.5 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 31470 0 0 0 9968 182 0 0 20 0 1 0 33081351 230277120 39527 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 56220 39527 2400 1147 0 43647 0
Current children cumulated CPU time: 101.58 s
Current children cumulated vsize: 229072 KiB
Current children cumulated memory: 161052 KiB
[startup+162.3 s]
/proc/loadavg: 4.45 4.19 4.07 5/272 20842
/proc/meminfo: memFree=123605956/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=247292 memory=190676 CPUtime=158 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 37051 0 0 0 15524 276 0 0 20 0 1 0 33081351 253227008 47669 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 61823 47669 2400 1147 0 49250 0
Current children cumulated CPU time: 158.08 s
Current children cumulated vsize: 251484 KiB
Current children cumulated memory: 193620 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.17 4.07 5/272 20844
/proc/meminfo: memFree=123199648/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=285052 memory=212684 CPUtime=217.8 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 39502 0 0 0 21422 358 0 0 20 0 1 0 33081351 291893248 53171 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 71263 53171 2400 1147 0 58690 0
################
# More data... #
################
/proc/20788/statm: 385454 283438 2400 1147 0 372881 0
Current children cumulated CPU time: 3097.7 s
Current children cumulated vsize: 1546008 KiB
Current children cumulated memory: 1136696 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 21060
/proc/meminfo: memFree=107173844/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=1541816 memory=1133752 CPUtime=3157.45 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 140252 0 0 0 313046 2699 0 0 20 0 1 0 33081351 1578819584 283438 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 385454 283438 2400 1147 0 372881 0
Current children cumulated CPU time: 3157.53 s
Current children cumulated vsize: 1546008 KiB
Current children cumulated memory: 1136696 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 21062
/proc/meminfo: memFree=106917748/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=1542072 memory=1133752 CPUtime=3217.22 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 140254 0 0 0 318965 2757 0 0 20 0 1 0 33081351 1579081728 283438 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 385518 283438 2400 1147 0 372945 0
Current children cumulated CPU time: 3217.3 s
Current children cumulated vsize: 1546264 KiB
Current children cumulated memory: 1136696 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/271 21067
/proc/meminfo: memFree=106666720/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=1542072 memory=1133752 CPUtime=3276.91 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 140258 0 0 0 324886 2805 0 0 20 0 1 0 33081351 1579081728 283438 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 385518 283438 2400 1147 0 372945 0
Current children cumulated CPU time: 3276.99 s
Current children cumulated vsize: 1546264 KiB
Current children cumulated memory: 1136696 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 21072
/proc/meminfo: memFree=106228180/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=1542072 memory=1133880 CPUtime=3336.16 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 140270 0 0 0 330763 2853 0 0 20 0 1 0 33081351 1579081728 283470 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 385518 283470 2400 1147 0 372945 0
Current children cumulated CPU time: 3336.24 s
Current children cumulated vsize: 1546264 KiB
Current children cumulated memory: 1136824 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 21079
/proc/meminfo: memFree=105887276/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=1543472 memory=1135288 CPUtime=3395.69 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 140617 0 0 0 336680 2889 0 0 20 0 1 0 33081351 1580515328 283822 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 385868 283822 2400 1147 0 373295 0
Current children cumulated CPU time: 3395.77 s
Current children cumulated vsize: 1547664 KiB
Current children cumulated memory: 1138232 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/271 21081
/proc/meminfo: memFree=105614588/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=1543472 memory=1135288 CPUtime=3455.45 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 140617 0 0 0 342598 2947 0 0 20 0 1 0 33081351 1580515328 283822 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 385868 283822 2400 1147 0 373295 0
Current children cumulated CPU time: 3455.53 s
Current children cumulated vsize: 1547664 KiB
Current children cumulated memory: 1138232 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/271 21083
/proc/meminfo: memFree=105238696/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=1543472 memory=1135672 CPUtime=3514.92 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 140719 0 0 0 348495 2997 0 0 20 0 1 0 33081351 1580515328 283918 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 385868 283918 2400 1147 0 373295 0
Current children cumulated CPU time: 3515 s
Current children cumulated vsize: 1547664 KiB
Current children cumulated memory: 1138616 KiB
[startup+3642.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/270 21085
/proc/meminfo: memFree=104830344/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=1543472 memory=1135672 CPUtime=3574.65 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 140719 0 0 0 354440 3025 0 0 20 0 1 0 33081351 1580515328 283918 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 385868 283918 2400 1147 0 373295 0
Current children cumulated CPU time: 3574.73 s
Current children cumulated vsize: 1547664 KiB
Current children cumulated memory: 1138616 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3667.7 s]
/proc/loadavg: 4.09 4.09 4.09 5/270 21085
/proc/meminfo: memFree=104628076/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=1543472 memory=1135672 CPUtime=3599.96 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 140722 0 0 0 356964 3032 0 0 20 0 1 0 33081351 1580515328 283918 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 385868 283918 2400 1147 0 373295 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1547664 KiB
Current children cumulated memory: 1138616 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3667.7 s]
# the end of solver process 20784 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.066471 s, system=0.026148 s
Sleeping 2 seconds
[startup+3667.73 s]
# the end of solver process 20788 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3569.73 s, system=30.3657 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+3667.7 s]
/proc/loadavg: 4.09 4.09 4.09 5/270 21085
/proc/meminfo: memFree=104628076/131249996 swapFree=33010684/33010684
[pid=20784] ppid=20777 vsize=4192 memory=2944 CPUtime=0.08 cores=1,3
/proc/20784/stat : 20784 (run-dec-break-l) S 20777 20784 20370 0 -1 4194304 242 12623 0 0 0 0 6 2 20 0 1 0 33081340 4292608 736 18446744073709551615 94614170021888 94614170916421 140730142114784 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94614171155472 94614171203216 94614183391232 140730142120213 140730142120414 140730142120414 140730142126016 0
/proc/20784/statm: 1048 736 672 219 0 110 0
[pid=20788] ppid=20784 vsize=1543472 memory=1135672 CPUtime=3599.96 cores=1,3
/proc/20788/stat : 20788 (roundingsat) R 20784 20784 20370 0 -1 4194304 140722 0 0 0 356964 3032 0 0 20 0 1 0 33081351 1580515328 283918 18446744073709551615 4227072 8923433 140732908207856 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 37720064 140732908214516 140732908214824 140732908214824 140732908220394 0
/proc/20788/statm: 385868 283918 2400 1147 0 373295 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1547664 KiB
Current children cumulated memory: 1138616 KiB
Child status: 2
Real time (s): 3667.73
CPU time (s): 3600.09
CPU user time (s): 3569.73
CPU system time (s): 30.3657
CPU usage (%): 98.1558
Max. virtual memory (cumulated for all children) (KiB): 1547664
Max. memory (cumulated for all children) (KiB): 1138616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.73
system time used= 30.3657
maximum resident set size= 1136056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153608
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11799848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 577
involuntary context switches= 8049
# summary of solver processes directly reported to runsolver:
# pid: 20784,20788
# total CPU time (s): 3600.09
# total CPU user time (s): 3569.73
# total CPU system time (s): 30.3657
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0685 second user time and 16.6177 second system time
The end
Begin job on nodeC015 at 2025-06-29 07:13:59
IDJOB=4507053
IDBENCH=158319
IDSOLVER=3358
FILE ID=nodeC015/4507053-1751174038
RUNJOBID= nodeC015-1751170426-20382
SLURM_JOB_ID= 9587528
Free space on /tmp= 432996 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K155.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507053-1751174038/watcher-4507053-1751174038 -o /tmp/evaluation-result-4507053-1751174038/solver-4507053-1751174038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20382 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507053-1751174038.opb PROOFDIR/proof-4507053-1751174038
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4394b20101c323a14e6df6504cadd31d
RANDOM SEED=2091039403
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.070
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.118
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.987
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.621
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.179
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.067
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.067
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3606.518
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 119041316 kB
MemAvailable: 128131096 kB
Buffers: 3280 kB
Cached: 9890020 kB
SwapCached: 0 kB
Active: 1901244 kB
Inactive: 9670952 kB
Active(anon): 1697060 kB
Inactive(anon): 0 kB
Active(file): 204184 kB
Inactive(file): 9670952 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 68992 kB
Writeback: 0 kB
AnonPages: 1679192 kB
Mapped: 112504 kB
Shmem: 18076 kB
KReclaimable: 107764 kB
Slab: 194508 kB
SReclaimable: 107764 kB
SUnreclaim: 86744 kB
KernelStack: 4320 kB
PageTables: 6344 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2243568 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1517568 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432980 MiB
End job on nodeC015 at 2025-06-29 08:15:06