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-4506945-1751172857.opb'
0.00/0.02 c read 1.08MB (16.01ms)
0.00/0.02 c [cnf: #variables 15827 #clauses 16095 #duplicates 0 #arr 103451]
0.00/0.02 c output proof to 'PROOFDIR/proof-4506945-1751172857'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 2394] (20.80ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.05 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.05 c (3.47ms)
0.00/0.05 c
0.00/0.05 c detect symmetries on remainder
0.00/0.05 c [graph: #vertices 79403 #edges 301864]
0.00/0.05 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07 c [group: #symmetries 4.80*10^1 #generators 5] (17.85ms)
0.00/0.07 c
0.00/0.07 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.07 c (0.05ms)
0.00/0.07 c
0.00/0.07 c finalize break order and special generators
0.00/0.07 c
0.00/0.07 c add generic predicates (break_depth=10)
0.00/0.07 c added predicates for 5 generators (0.04ms)
0.00/0.08 c
0.00/0.08 c generation finished
0.00/0.08 c [sbp: #constraints 140 #add_vars 45]
0.00/0.08 c
0.00/0.08 c write result to 'HOME/instance-4506945-1751172857.opb.pre'
0.00/0.08 c wrote 1.10MB (2.61ms)
0.00/0.08 c ------------------------------------------------------------------
0.00/0.08 c 20.80ms 28.71% approx_orbits
0.00/0.08 c 17.85ms 24.63% detect_generic
0.00/0.08 c 16.01ms 22.10% parse
0.00/0.08 c 11.06ms 15.26% other
0.00/0.08 c 3.47ms 4.78% detect_special
0.00/0.08 c 2.61ms 3.60% output
0.00/0.08 c 0.57ms 0.78% finalize_order
0.00/0.08 c 0.05ms 0.07% optimize_gens
0.00/0.08 c 0.04ms 0.06% break_generic
0.00/0.08 c ───────────────────────────────────────────────
0.00/0.08 c 72.46ms 100% total
0.00/0.08 c ------------------------------------------------------------------
0.00/0.10 c RoundingSat 2
0.00/0.10 c branch pb25
0.00/0.10 c commit 63f22ad
0.17/0.23 c #variables 15872 #constraints 16233
116.53/119.89 c #Conflicts: 1000 | #Constraints: 17232
116.53/119.89 c #Conflicts: 2000 | #Constraints: 18232
116.53/119.89 c INPROCESSING
116.53/119.89 c GARBAGE COLLECT
116.53/119.89 c #Conflicts: 3000 | #Constraints: 17451
116.53/119.89 c #Conflicts: 4000 | #Constraints: 18451
116.53/119.89 c INPROCESSING
116.53/119.89 c GARBAGE COLLECT
116.53/119.89 c #Conflicts: 5000 | #Constraints: 17935
116.53/119.89 c #Conflicts: 6000 | #Constraints: 18935
116.53/119.89 c INPROCESSING
116.53/119.89 c GARBAGE COLLECT
116.53/119.89 c #Conflicts: 7000 | #Constraints: 17997
116.53/119.89 c #Conflicts: 8000 | #Constraints: 18997
116.53/119.89 c #Conflicts: 9000 | #Constraints: 19997
116.53/119.89 c INPROCESSING
116.53/119.89 c GARBAGE COLLECT
116.53/119.89 c #Conflicts: 10000 | #Constraints: 18751
116.53/119.89 c #Conflicts: 11000 | #Constraints: 19751
116.53/119.89 c #Conflicts: 12000 | #Constraints: 20751
116.53/119.89 c INPROCESSING
116.53/119.89 c GARBAGE COLLECT
116.53/119.89 c #Conflicts: 13000 | #Constraints: 19241
116.53/119.89 c #Conflicts: 14000 | #Constraints: 20241
116.53/119.89 c #Conflicts: 15000 | #Constraints: 21241
116.53/119.89 c INPROCESSING
116.53/119.89 c GARBAGE COLLECT
116.53/119.89 c #Conflicts: 16000 | #Constraints: 19524
116.53/119.89 c #Conflicts: 17000 | #Constraints: 20524
116.53/119.89 c #Conflicts: 18000 | #Constraints: 21524
116.53/119.89 c INPROCESSING
116.53/119.89 c GARBAGE COLLECT
116.53/119.89 c #Conflicts: 19000 | #Constraints: 19560
116.53/119.89 c #Conflicts: 20000 | #Constraints: 20560
116.53/119.89 c #Conflicts: 21000 | #Constraints: 21560
116.53/119.89 c INPROCESSING
116.53/119.89 c GARBAGE COLLECT
116.53/119.89 c #Conflicts: 22000 | #Constraints: 19435
116.53/119.89 c #Conflicts: 23000 | #Constraints: 20435
116.53/119.89 c #Conflicts: 24000 | #Constraints: 21435
116.53/119.89 c #Conflicts: 25000 | #Constraints: 22435
116.53/119.89 c #Conflicts: 26000 | #Constraints: 23435
116.53/119.89 c #Conflicts: 27000 | #Constraints: 24435
116.53/119.89 c #Conflicts: 28000 | #Constraints: 25435
116.53/119.89 c #Conflicts: 29000 | #Constraints: 26435
116.53/119.89 c #Conflicts: 30000 | #Constraints: 27435
116.53/119.89 c #Conflicts: 31000 | #Constraints: 28435
116.53/119.89 c #Conflicts: 32000 | #Constraints: 29435
116.53/119.89 c #Conflicts: 33000 | #Constraints: 30435
116.53/119.89 c INPROCESSING
116.53/119.89 c GARBAGE COLLECT
116.53/119.89 c #Conflicts: 34000 | #Constraints: 24102
116.53/119.89 c #Conflicts: 35000 | #Constraints: 25102
116.53/119.89 c #Conflicts: 36000 | #Constraints: 26102
116.53/119.89 c #Conflicts: 37000 | #Constraints: 27102
116.53/119.89 c #Conflicts: 38000 | #Constraints: 28102
116.53/119.89 c INPROCESSING
116.53/119.89 c GARBAGE COLLECT
116.53/119.89 c #Conflicts: 39000 | #Constraints: 23134
116.53/119.89 c #Conflicts: 40000 | #Constraints: 24134
116.53/119.89 c #Conflicts: 41000 | #Constraints: 25134
116.53/119.89 c #Conflicts: 42000 | #Constraints: 26134
116.53/119.89 c INPROCESSING
116.53/119.89 c GARBAGE COLLECT
116.53/119.89 c #Conflicts: 43000 | #Constraints: 21689
116.53/119.89 c #Conflicts: 44000 | #Constraints: 22689
116.53/119.89 c #Conflicts: 45000 | #Constraints: 23689
116.53/119.89 c #Conflicts: 46000 | #Constraints: 24689
116.53/119.89 c #Conflicts: 47000 | #Constraints: 25689
116.53/119.89 c #Conflicts: 48000 | #Constraints: 26689
116.53/119.89 c #Conflicts: 49000 | #Constraints: 27689
116.53/119.89 c #Conflicts: 50000 | #Constraints: 28689
116.53/119.89 c #Conflicts: 51000 | #Constraints: 29689
116.53/119.89 c #Conflicts: 52000 | #Constraints: 30689
116.53/119.89 c #Conflicts: 53000 | #Constraints: 31689
116.53/119.89 c #Conflicts: 54000 | #Constraints: 32689
116.53/119.89 c #Conflicts: 55000 | #Constraints: 33689
116.53/119.89 c #Conflicts: 56000 | #Constraints: 34689
116.53/119.89 c #Conflicts: 57000 | #Constraints: 35689
116.53/119.89 c #Conflicts: 58000 | #Constraints: 36689
116.53/119.89 c INPROCESSING
116.53/119.89 c GARBAGE COLLECT
116.53/119.89 c #Conflicts: 59000 | #Constraints: 27101
116.53/119.89 c #Conflicts: 60000 | #Constraints: 28101
116.53/119.89 c #Conflicts: 61000 | #Constraints: 29101
116.53/119.89 c #Conflicts: 62000 | #Constraints: 30101
116.53/119.89 c #Conflicts: 63000 | #Constraints: 31101
116.53/119.89 c #Conflicts: 64000 | #Constraints: 32101
116.53/119.89 c #Conflicts: 65000 | #Constraints: 33101
116.53/119.89 c INPROCESSING
116.53/119.89 c GARBAGE COLLECT
116.53/119.89 c #Conflicts: 66000 | #Constraints: 25765
116.53/119.89 c #Conflicts: 67000 | #Constraints: 26765
116.53/119.89 c #Conflicts: 68000 | #Constraints: 27765
116.53/119.89 c #Conflicts: 69000 | #Constraints: 28765
116.53/119.89 c #Conflicts: 70000 | #Constraints: 29765
116.53/119.89 c #Conflicts: 71000 | #Constraints: 30765
259.68/263.61 c INPROCESSING
259.68/263.61 c GARBAGE COLLECT
259.68/263.61 c #Conflicts: 72000 | #Constraints: 24389
259.68/263.61 c #Conflicts: 73000 | #Constraints: 25389
259.68/263.61 c #Conflicts: 74000 | #Constraints: 26389
259.68/263.61 c #Conflicts: 75000 | #Constraints: 27389
259.68/263.61 c #Conflicts: 76000 | #Constraints: 28389
259.68/263.61 c #Conflicts: 77000 | #Constraints: 29389
259.68/263.61 c #Conflicts: 78000 | #Constraints: 30389
259.68/263.61 c #Conflicts: 79000 | #Constraints: 31389
259.68/263.61 c #Conflicts: 80000 | #Constraints: 32389
259.68/263.61 c #Conflicts: 81000 | #Constraints: 33389
259.68/263.61 c #Conflicts: 82000 | #Constraints: 34389
259.68/263.61 c #Conflicts: 83000 | #Constraints: 35389
259.68/263.61 c #Conflicts: 84000 | #Constraints: 36389
259.68/263.61 c #Conflicts: 85000 | #Constraints: 37389
259.68/263.61 c #Conflicts: 86000 | #Constraints: 38389
259.68/263.61 c #Conflicts: 87000 | #Constraints: 39389
259.68/263.61 c #Conflicts: 88000 | #Constraints: 40389
259.68/263.61 c #Conflicts: 89000 | #Constraints: 41389
259.68/263.61 c #Conflicts: 90000 | #Constraints: 42389
259.68/263.61 c #Conflicts: 91000 | #Constraints: 43389
259.68/263.61 c INPROCESSING
259.68/263.61 c GARBAGE COLLECT
259.68/263.61 c #Conflicts: 92000 | #Constraints: 30635
259.68/263.61 c #Conflicts: 93000 | #Constraints: 31635
259.68/263.61 c #Conflicts: 94000 | #Constraints: 32635
259.68/263.61 c #Conflicts: 95000 | #Constraints: 33635
259.68/263.61 c #Conflicts: 96000 | #Constraints: 34635
259.68/263.61 c #Conflicts: 97000 | #Constraints: 35635
259.68/263.61 c #Conflicts: 98000 | #Constraints: 36635
259.68/263.61 c #Conflicts: 99000 | #Constraints: 37635
259.68/263.61 c INPROCESSING
259.68/263.61 c GARBAGE COLLECT
259.68/263.61 c #Conflicts: 100000 | #Constraints: 28002
259.68/263.61 c #Conflicts: 101000 | #Constraints: 29002
259.68/263.61 c #Conflicts: 102000 | #Constraints: 30002
259.68/263.61 c #Conflicts: 103000 | #Constraints: 31002
259.68/263.61 c #Conflicts: 104000 | #Constraints: 32002
259.68/263.61 c #Conflicts: 105000 | #Constraints: 33002
259.68/263.61 c #Conflicts: 106000 | #Constraints: 34002
259.68/263.61 c #Conflicts: 107000 | #Constraints: 35002
259.68/263.61 c INPROCESSING
259.68/263.61 c GARBAGE COLLECT
259.68/263.61 c #Conflicts: 108000 | #Constraints: 26688
259.68/263.61 c #Conflicts: 109000 | #Constraints: 27688
259.68/263.61 c #Conflicts: 110000 | #Constraints: 28688
259.68/263.61 c #Conflicts: 111000 | #Constraints: 29688
259.68/263.61 c #Conflicts: 112000 | #Constraints: 30688
259.68/263.61 c #Conflicts: 113000 | #Constraints: 31688
259.68/263.61 c #Conflicts: 114000 | #Constraints: 32688
259.68/263.61 c #Conflicts: 115000 | #Constraints: 33688
259.68/263.61 c #Conflicts: 116000 | #Constraints: 34688
259.68/263.61 c #Conflicts: 117000 | #Constraints: 35688
259.68/263.61 c #Conflicts: 118000 | #Constraints: 36688
259.68/263.61 c #Conflicts: 119000 | #Constraints: 37688
259.68/263.61 c #Conflicts: 120000 | #Constraints: 38688
259.68/263.61 c #Conflicts: 121000 | #Constraints: 39688
259.68/263.61 c #Conflicts: 122000 | #Constraints: 40688
259.68/263.61 c #Conflicts: 123000 | #Constraints: 41688
259.68/263.61 c #Conflicts: 124000 | #Constraints: 42688
259.68/263.61 c #Conflicts: 125000 | #Constraints: 43688
259.68/263.61 c #Conflicts: 126000 | #Constraints: 44688
259.68/263.61 c #Conflicts: 127000 | #Constraints: 45688
259.68/263.61 c #Conflicts: 128000 | #Constraints: 46688
259.68/263.61 c #Conflicts: 129000 | #Constraints: 47688
259.68/263.61 c #Conflicts: 130000 | #Constraints: 48688
259.68/263.61 c #Conflicts: 131000 | #Constraints: 49688
259.68/263.61 c INPROCESSING
259.68/263.61 c GARBAGE COLLECT
259.68/263.61 c #Conflicts: 132000 | #Constraints: 33948
259.68/263.61 c #Conflicts: 133000 | #Constraints: 34948
259.68/263.61 c #Conflicts: 134000 | #Constraints: 35948
259.68/263.61 c #Conflicts: 135000 | #Constraints: 36948
259.68/263.61 c #Conflicts: 136000 | #Constraints: 37948
259.68/263.61 c #Conflicts: 137000 | #Constraints: 38948
259.68/263.61 c #Conflicts: 138000 | #Constraints: 39948
259.68/263.61 c #Conflicts: 139000 | #Constraints: 40948
259.68/263.61 c #Conflicts: 140000 | #Constraints: 41948
259.68/263.61 c INPROCESSING
259.68/263.61 c GARBAGE COLLECT
259.68/263.61 c #Conflicts: 141000 | #Constraints: 30041
259.68/263.61 c #Conflicts: 142000 | #Constraints: 31041
259.68/263.61 c #Conflicts: 143000 | #Constraints: 32041
259.68/263.61 c #Conflicts: 144000 | #Constraints: 33041
259.68/263.61 c #Conflicts: 145000 | #Constraints: 34041
259.68/263.61 c #Conflicts: 146000 | #Constraints: 35041
405.32/410.02 c #Conflicts: 147000 | #Constraints: 36041
405.32/410.02 c #Conflicts: 148000 | #Constraints: 37041
405.32/410.02 c #Conflicts: 149000 | #Constraints: 38041
405.32/410.02 c #Conflicts: 150000 | #Constraints: 39041
405.32/410.02 c INPROCESSING
405.32/410.02 c GARBAGE COLLECT
405.32/410.02 c #Conflicts: 151000 | #Constraints: 29356
405.32/410.02 c #Conflicts: 152000 | #Constraints: 30356
405.32/410.02 c #Conflicts: 153000 | #Constraints: 31356
405.32/410.02 c #Conflicts: 154000 | #Constraints: 32356
405.32/410.02 c #Conflicts: 155000 | #Constraints: 33356
405.32/410.02 c #Conflicts: 156000 | #Constraints: 34356
405.32/410.02 c #Conflicts: 157000 | #Constraints: 35356
405.32/410.02 c #Conflicts: 158000 | #Constraints: 36356
405.32/410.02 c #Conflicts: 159000 | #Constraints: 37356
405.32/410.02 c #Conflicts: 160000 | #Constraints: 38356
405.32/410.02 c #Conflicts: 161000 | #Constraints: 39356
405.32/410.02 c #Conflicts: 162000 | #Constraints: 40356
405.32/410.02 c #Conflicts: 163000 | #Constraints: 41356
405.32/410.02 c #Conflicts: 164000 | #Constraints: 42356
405.32/410.02 c #Conflicts: 165000 | #Constraints: 43356
405.32/410.02 c #Conflicts: 166000 | #Constraints: 44356
405.32/410.02 c #Conflicts: 167000 | #Constraints: 45356
405.32/410.02 c #Conflicts: 168000 | #Constraints: 46356
405.32/410.02 c #Conflicts: 169000 | #Constraints: 47356
405.32/410.02 c #Conflicts: 170000 | #Constraints: 48356
405.32/410.02 c #Conflicts: 171000 | #Constraints: 49356
405.32/410.02 c #Conflicts: 172000 | #Constraints: 50356
405.32/410.02 c #Conflicts: 173000 | #Constraints: 51356
405.32/410.02 c #Conflicts: 174000 | #Constraints: 52356
405.32/410.02 c #Conflicts: 175000 | #Constraints: 53356
405.32/410.02 c #Conflicts: 176000 | #Constraints: 54356
405.32/410.02 c #Conflicts: 177000 | #Constraints: 55356
405.32/410.02 c #Conflicts: 178000 | #Constraints: 56356
405.32/410.02 c INPROCESSING
405.32/410.02 c GARBAGE COLLECT
405.32/410.02 c #Conflicts: 179000 | #Constraints: 37338
405.32/410.02 c #Conflicts: 180000 | #Constraints: 38338
405.32/410.02 c #Conflicts: 181000 | #Constraints: 39338
405.32/410.02 c #Conflicts: 182000 | #Constraints: 40338
405.32/410.02 c #Conflicts: 183000 | #Constraints: 41338
405.32/410.02 c #Conflicts: 184000 | #Constraints: 42338
405.32/410.02 c #Conflicts: 185000 | #Constraints: 43338
405.32/410.02 c #Conflicts: 186000 | #Constraints: 44338
405.32/410.02 c #Conflicts: 187000 | #Constraints: 45338
405.32/410.02 c #Conflicts: 188000 | #Constraints: 46338
405.32/410.02 c #Conflicts: 189000 | #Constraints: 47338
405.32/410.02 c INPROCESSING
405.32/410.02 c GARBAGE COLLECT
405.32/410.02 c #Conflicts: 190000 | #Constraints: 32894
405.32/410.02 c #Conflicts: 191000 | #Constraints: 33894
405.32/410.02 c #Conflicts: 192000 | #Constraints: 34894
405.32/410.02 c #Conflicts: 193000 | #Constraints: 35894
405.32/410.02 c #Conflicts: 194000 | #Constraints: 36894
405.32/410.02 c #Conflicts: 195000 | #Constraints: 37894
405.32/410.02 c #Conflicts: 196000 | #Constraints: 38894
405.32/410.02 c #Conflicts: 197000 | #Constraints: 39894
405.32/410.02 c #Conflicts: 198000 | #Constraints: 40894
405.32/410.02 c #Conflicts: 199000 | #Constraints: 41894
405.32/410.02 c #Conflicts: 200000 | #Constraints: 42894
405.32/410.02 c INPROCESSING
405.32/410.02 c GARBAGE COLLECT
405.32/410.02 c #Conflicts: 201000 | #Constraints: 32026
405.32/410.02 c #Conflicts: 202000 | #Constraints: 33026
405.32/410.02 c #Conflicts: 203000 | #Constraints: 34026
405.32/410.02 c #Conflicts: 204000 | #Constraints: 35026
405.32/410.02 c #Conflicts: 205000 | #Constraints: 36026
405.32/410.02 c #Conflicts: 206000 | #Constraints: 37026
405.32/410.02 c #Conflicts: 207000 | #Constraints: 38026
405.32/410.02 c #Conflicts: 208000 | #Constraints: 39026
405.32/410.02 c #Conflicts: 209000 | #Constraints: 40026
405.32/410.02 c #Conflicts: 210000 | #Constraints: 41026
405.32/410.02 c #Conflicts: 211000 | #Constraints: 42026
405.32/410.02 c #Conflicts: 212000 | #Constraints: 43026
405.32/410.02 c #Conflicts: 213000 | #Constraints: 44026
405.32/410.02 c #Conflicts: 214000 | #Constraints: 45026
405.32/410.02 c #Conflicts: 215000 | #Constraints: 46026
405.32/410.02 c #Conflicts: 216000 | #Constraints: 47026
405.32/410.02 c #Conflicts: 217000 | #Constraints: 48026
405.32/410.02 c #Conflicts: 218000 | #Constraints: 49026
405.32/410.02 c #Conflicts: 219000 | #Constraints: 50026
405.32/410.02 c #Conflicts: 220000 | #Constraints: 51026
405.32/410.02 c #Conflicts: 221000 | #Constraints: 52026
405.32/410.02 c #Conflicts: 222000 | #Constraints: 53026
651.38/657.16 c #Conflicts: 223000 | #Constraints: 54026
651.38/657.16 c #Conflicts: 224000 | #Constraints: 55026
651.38/657.16 c #Conflicts: 225000 | #Constraints: 56026
651.38/657.16 c #Conflicts: 226000 | #Constraints: 57026
651.38/657.16 c #Conflicts: 227000 | #Constraints: 58026
651.38/657.16 c #Conflicts: 228000 | #Constraints: 59026
651.38/657.16 c #Conflicts: 229000 | #Constraints: 60026
651.38/657.16 c #Conflicts: 230000 | #Constraints: 61026
651.38/657.16 c #Conflicts: 231000 | #Constraints: 62026
651.38/657.16 c #Conflicts: 232000 | #Constraints: 63026
651.38/657.16 c INPROCESSING
651.38/657.16 c GARBAGE COLLECT
651.38/657.16 c #Conflicts: 233000 | #Constraints: 40541
651.38/657.16 c #Conflicts: 234000 | #Constraints: 41541
651.38/657.16 c #Conflicts: 235000 | #Constraints: 42541
651.38/657.16 c #Conflicts: 236000 | #Constraints: 43541
651.38/657.16 c #Conflicts: 237000 | #Constraints: 44541
651.38/657.16 c #Conflicts: 238000 | #Constraints: 45541
651.38/657.16 c #Conflicts: 239000 | #Constraints: 46541
651.38/657.16 c #Conflicts: 240000 | #Constraints: 47541
651.38/657.16 c #Conflicts: 241000 | #Constraints: 48541
651.38/657.16 c #Conflicts: 242000 | #Constraints: 49541
651.38/657.16 c #Conflicts: 243000 | #Constraints: 50541
651.38/657.16 c #Conflicts: 244000 | #Constraints: 51541
651.38/657.16 c #Conflicts: 245000 | #Constraints: 52541
651.38/657.16 c INPROCESSING
651.38/657.16 c GARBAGE COLLECT
651.38/657.16 c #Conflicts: 246000 | #Constraints: 35695
651.38/657.16 c #Conflicts: 247000 | #Constraints: 36695
651.38/657.16 c #Conflicts: 248000 | #Constraints: 37695
651.38/657.16 c #Conflicts: 249000 | #Constraints: 38695
651.38/657.16 c #Conflicts: 250000 | #Constraints: 39695
651.38/657.16 c #Conflicts: 251000 | #Constraints: 40695
651.38/657.16 c #Conflicts: 252000 | #Constraints: 41695
651.38/657.16 c #Conflicts: 253000 | #Constraints: 42695
651.38/657.16 c #Conflicts: 254000 | #Constraints: 43695
651.38/657.16 c #Conflicts: 255000 | #Constraints: 44695
651.38/657.16 c #Conflicts: 256000 | #Constraints: 45695
651.38/657.16 c #Conflicts: 257000 | #Constraints: 46695
651.38/657.16 c INPROCESSING
651.38/657.16 c GARBAGE COLLECT
651.38/657.16 c #Conflicts: 258000 | #Constraints: 33669
651.38/657.16 c #Conflicts: 259000 | #Constraints: 34669
651.38/657.16 c #Conflicts: 260000 | #Constraints: 35669
651.38/657.16 c #Conflicts: 261000 | #Constraints: 36669
651.38/657.16 c #Conflicts: 262000 | #Constraints: 37669
651.38/657.16 c #Conflicts: 263000 | #Constraints: 38669
651.38/657.16 c #Conflicts: 264000 | #Constraints: 39669
651.38/657.16 c #Conflicts: 265000 | #Constraints: 40669
651.38/657.16 c #Conflicts: 266000 | #Constraints: 41669
651.38/657.16 c #Conflicts: 267000 | #Constraints: 42669
651.38/657.16 c #Conflicts: 268000 | #Constraints: 43669
651.38/657.16 c #Conflicts: 269000 | #Constraints: 44669
651.38/657.16 c #Conflicts: 270000 | #Constraints: 45669
651.38/657.16 c #Conflicts: 271000 | #Constraints: 46669
651.38/657.16 c #Conflicts: 272000 | #Constraints: 47669
651.38/657.16 c #Conflicts: 273000 | #Constraints: 48669
651.38/657.16 c #Conflicts: 274000 | #Constraints: 49669
651.38/657.16 c #Conflicts: 275000 | #Constraints: 50669
651.38/657.16 c #Conflicts: 276000 | #Constraints: 51669
651.38/657.16 c #Conflicts: 277000 | #Constraints: 52669
651.38/657.16 c #Conflicts: 278000 | #Constraints: 53669
651.38/657.16 c #Conflicts: 279000 | #Constraints: 54669
651.38/657.16 c #Conflicts: 280000 | #Constraints: 55669
651.38/657.16 c #Conflicts: 281000 | #Constraints: 56669
651.38/657.16 c #Conflicts: 282000 | #Constraints: 57669
651.38/657.16 c #Conflicts: 283000 | #Constraints: 58669
651.38/657.16 c #Conflicts: 284000 | #Constraints: 59669
651.38/657.16 c #Conflicts: 285000 | #Constraints: 60669
651.38/657.16 c #Conflicts: 286000 | #Constraints: 61669
651.38/657.16 c #Conflicts: 287000 | #Constraints: 62669
651.38/657.16 c #Conflicts: 288000 | #Constraints: 63669
651.38/657.16 c #Conflicts: 289000 | #Constraints: 64669
651.38/657.16 c #Conflicts: 290000 | #Constraints: 65669
651.38/657.16 c #Conflicts: 291000 | #Constraints: 66669
651.38/657.16 c #Conflicts: 292000 | #Constraints: 67669
651.38/657.16 c #Conflicts: 293000 | #Constraints: 68669
651.38/657.16 c #Conflicts: 294000 | #Constraints: 69669
651.38/657.16 c INPROCESSING
651.38/657.16 c GARBAGE COLLECT
651.38/657.16 c #Conflicts: 295000 | #Constraints: 44277
651.38/657.16 c #Conflicts: 296000 | #Constraints: 45277
651.38/657.16 c #Conflicts: 297000 | #Constraints: 46277
651.38/657.16 c #Conflicts: 298000 | #Constraints: 47277
803.45/810.41 c #Conflicts: 299000 | #Constraints: 48277
803.45/810.41 c #Conflicts: 300000 | #Constraints: 49277
803.45/810.41 c #Conflicts: 301000 | #Constraints: 50277
803.45/810.41 c #Conflicts: 302000 | #Constraints: 51277
803.45/810.41 c #Conflicts: 303000 | #Constraints: 52277
803.45/810.41 c #Conflicts: 304000 | #Constraints: 53277
803.45/810.41 c #Conflicts: 305000 | #Constraints: 54277
803.45/810.41 c #Conflicts: 306000 | #Constraints: 55277
803.45/810.41 c #Conflicts: 307000 | #Constraints: 56277
803.45/810.41 c #Conflicts: 308000 | #Constraints: 57277
803.45/810.41 c INPROCESSING
803.45/810.41 c GARBAGE COLLECT
803.45/810.41 c #Conflicts: 309000 | #Constraints: 38151
803.45/810.41 c #Conflicts: 310000 | #Constraints: 39151
803.45/810.41 c #Conflicts: 311000 | #Constraints: 40151
803.45/810.41 c #Conflicts: 312000 | #Constraints: 41151
803.45/810.41 c #Conflicts: 313000 | #Constraints: 42151
803.45/810.41 c #Conflicts: 314000 | #Constraints: 43151
803.45/810.41 c #Conflicts: 315000 | #Constraints: 44151
803.45/810.41 c #Conflicts: 316000 | #Constraints: 45151
803.45/810.41 c #Conflicts: 317000 | #Constraints: 46151
803.45/810.41 c #Conflicts: 318000 | #Constraints: 47151
803.45/810.41 c #Conflicts: 319000 | #Constraints: 48151
803.45/810.41 c #Conflicts: 320000 | #Constraints: 49151
803.45/810.41 c #Conflicts: 321000 | #Constraints: 50151
803.45/810.41 c INPROCESSING
803.45/810.41 c GARBAGE COLLECT
803.45/810.41 c #Conflicts: 322000 | #Constraints: 35976
803.45/810.41 c #Conflicts: 323000 | #Constraints: 36976
803.45/810.41 c #Conflicts: 324000 | #Constraints: 37976
803.45/810.41 c #Conflicts: 325000 | #Constraints: 38976
803.45/810.41 c #Conflicts: 326000 | #Constraints: 39976
803.45/810.41 c #Conflicts: 327000 | #Constraints: 40976
803.45/810.41 c #Conflicts: 328000 | #Constraints: 41976
803.45/810.41 c #Conflicts: 329000 | #Constraints: 42976
803.45/810.41 c #Conflicts: 330000 | #Constraints: 43976
803.45/810.41 c #Conflicts: 331000 | #Constraints: 44976
803.45/810.41 c #Conflicts: 332000 | #Constraints: 45976
803.45/810.41 c #Conflicts: 333000 | #Constraints: 46976
803.45/810.41 c #Conflicts: 334000 | #Constraints: 47976
803.45/810.41 c #Conflicts: 335000 | #Constraints: 48976
803.45/810.41 c #Conflicts: 336000 | #Constraints: 49976
803.45/810.41 c #Conflicts: 337000 | #Constraints: 50976
803.45/810.41 c #Conflicts: 338000 | #Constraints: 51976
803.45/810.41 c #Conflicts: 339000 | #Constraints: 52976
803.45/810.41 c #Conflicts: 340000 | #Constraints: 53976
803.45/810.41 c #Conflicts: 341000 | #Constraints: 54976
803.45/810.41 c #Conflicts: 342000 | #Constraints: 55976
803.45/810.41 c #Conflicts: 343000 | #Constraints: 56976
803.45/810.41 c #Conflicts: 344000 | #Constraints: 57976
803.45/810.41 c #Conflicts: 345000 | #Constraints: 58976
803.45/810.41 c #Conflicts: 346000 | #Constraints: 59976
803.45/810.41 c #Conflicts: 347000 | #Constraints: 60976
803.45/810.41 c #Conflicts: 348000 | #Constraints: 61976
803.45/810.41 c #Conflicts: 349000 | #Constraints: 62976
803.45/810.41 c #Conflicts: 350000 | #Constraints: 63976
803.45/810.41 c #Conflicts: 351000 | #Constraints: 64976
803.45/810.41 c #Conflicts: 352000 | #Constraints: 65976
803.45/810.41 c #Conflicts: 353000 | #Constraints: 66976
803.45/810.41 c #Conflicts: 354000 | #Constraints: 67976
803.45/810.41 c #Conflicts: 355000 | #Constraints: 68976
803.45/810.41 c #Conflicts: 356000 | #Constraints: 69976
803.45/810.41 c #Conflicts: 357000 | #Constraints: 70976
803.45/810.41 c #Conflicts: 358000 | #Constraints: 71976
803.45/810.41 c #Conflicts: 359000 | #Constraints: 72976
803.45/810.41 c #Conflicts: 360000 | #Constraints: 73976
803.45/810.41 c #Conflicts: 361000 | #Constraints: 74976
803.45/810.41 c #Conflicts: 362000 | #Constraints: 75976
803.45/810.41 c #Conflicts: 363000 | #Constraints: 76976
803.45/810.41 c INPROCESSING
803.45/810.41 c GARBAGE COLLECT
803.45/810.41 c #Conflicts: 364000 | #Constraints: 48060
803.45/810.41 c #Conflicts: 365000 | #Constraints: 49060
803.45/810.41 c #Conflicts: 366000 | #Constraints: 50060
803.45/810.41 c #Conflicts: 367000 | #Constraints: 51060
803.45/810.41 c #Conflicts: 368000 | #Constraints: 52060
803.45/810.41 c #Conflicts: 369000 | #Constraints: 53060
803.45/810.41 c #Conflicts: 370000 | #Constraints: 54060
803.45/810.41 c #Conflicts: 371000 | #Constraints: 55060
803.45/810.41 c #Conflicts: 372000 | #Constraints: 56060
803.45/810.41 c #Conflicts: 373000 | #Constraints: 57060
803.45/810.41 c #Conflicts: 374000 | #Constraints: 58060
803.45/810.41 c #Conflicts: 375000 | #Constraints: 59060
987.38/995.49 c #Conflicts: 376000 | #Constraints: 60060
987.38/995.49 c #Conflicts: 377000 | #Constraints: 61060
987.38/995.49 c #Conflicts: 378000 | #Constraints: 62060
987.38/995.49 c INPROCESSING
987.38/995.49 c GARBAGE COLLECT
987.38/995.49 c #Conflicts: 379000 | #Constraints: 40457
987.38/995.49 c #Conflicts: 380000 | #Constraints: 41457
987.38/995.49 c #Conflicts: 381000 | #Constraints: 42457
987.38/995.49 c #Conflicts: 382000 | #Constraints: 43457
987.38/995.49 c #Conflicts: 383000 | #Constraints: 44457
987.38/995.49 c #Conflicts: 384000 | #Constraints: 45457
987.38/995.49 c #Conflicts: 385000 | #Constraints: 46457
987.38/995.49 c #Conflicts: 386000 | #Constraints: 47457
987.38/995.49 c #Conflicts: 387000 | #Constraints: 48457
987.38/995.49 c #Conflicts: 388000 | #Constraints: 49457
987.38/995.49 c #Conflicts: 389000 | #Constraints: 50457
987.38/995.49 c #Conflicts: 390000 | #Constraints: 51457
987.38/995.49 c #Conflicts: 391000 | #Constraints: 52457
987.38/995.49 c #Conflicts: 392000 | #Constraints: 53457
987.38/995.49 c #Conflicts: 393000 | #Constraints: 54457
987.38/995.49 c INPROCESSING
987.38/995.49 c GARBAGE COLLECT
987.38/995.49 c #Conflicts: 394000 | #Constraints: 38716
987.38/995.49 c #Conflicts: 395000 | #Constraints: 39716
987.38/995.49 c #Conflicts: 396000 | #Constraints: 40716
987.38/995.49 c #Conflicts: 397000 | #Constraints: 41716
987.38/995.49 c #Conflicts: 398000 | #Constraints: 42716
987.38/995.49 c #Conflicts: 399000 | #Constraints: 43716
987.38/995.49 c #Conflicts: 400000 | #Constraints: 44716
987.38/995.49 c #Conflicts: 401000 | #Constraints: 45716
987.38/995.49 c #Conflicts: 402000 | #Constraints: 46716
987.38/995.49 c #Conflicts: 403000 | #Constraints: 47716
987.38/995.49 c #Conflicts: 404000 | #Constraints: 48716
987.38/995.49 c #Conflicts: 405000 | #Constraints: 49716
987.38/995.49 c #Conflicts: 406000 | #Constraints: 50716
987.38/995.49 c #Conflicts: 407000 | #Constraints: 51716
987.38/995.49 c #Conflicts: 408000 | #Constraints: 52716
987.38/995.49 c #Conflicts: 409000 | #Constraints: 53716
987.38/995.49 c #Conflicts: 410000 | #Constraints: 54716
987.38/995.49 c #Conflicts: 411000 | #Constraints: 55716
987.38/995.49 c #Conflicts: 412000 | #Constraints: 56716
987.38/995.49 c #Conflicts: 413000 | #Constraints: 57716
987.38/995.49 c #Conflicts: 414000 | #Constraints: 58716
987.38/995.49 c #Conflicts: 415000 | #Constraints: 59716
987.38/995.49 c #Conflicts: 416000 | #Constraints: 60716
987.38/995.49 c #Conflicts: 417000 | #Constraints: 61716
987.38/995.49 c #Conflicts: 418000 | #Constraints: 62716
987.38/995.49 c #Conflicts: 419000 | #Constraints: 63716
987.38/995.49 c #Conflicts: 420000 | #Constraints: 64716
987.38/995.49 c #Conflicts: 421000 | #Constraints: 65717
987.38/995.49 c #Conflicts: 422000 | #Constraints: 66717
987.38/995.49 c #Conflicts: 423000 | #Constraints: 67717
987.38/995.49 c #Conflicts: 424000 | #Constraints: 68717
987.38/995.49 c #Conflicts: 425000 | #Constraints: 69717
987.38/995.49 c #Conflicts: 426000 | #Constraints: 70717
987.38/995.49 c #Conflicts: 427000 | #Constraints: 71717
987.38/995.49 c #Conflicts: 428000 | #Constraints: 72717
987.38/995.49 c #Conflicts: 429000 | #Constraints: 73717
987.38/995.49 c #Conflicts: 430000 | #Constraints: 74717
987.38/995.49 c #Conflicts: 431000 | #Constraints: 75717
987.38/995.49 c #Conflicts: 432000 | #Constraints: 76717
987.38/995.49 c #Conflicts: 433000 | #Constraints: 77717
987.38/995.49 c #Conflicts: 434000 | #Constraints: 78717
987.38/995.49 c #Conflicts: 435000 | #Constraints: 79717
987.38/995.49 c #Conflicts: 436000 | #Constraints: 80717
987.38/995.49 c #Conflicts: 437000 | #Constraints: 81717
987.38/995.49 c #Conflicts: 438000 | #Constraints: 82717
987.38/995.49 c INPROCESSING
987.38/995.49 c GARBAGE COLLECT
987.38/995.49 c #Conflicts: 439000 | #Constraints: 50565
987.38/995.49 c #Conflicts: 440000 | #Constraints: 51565
987.38/995.49 c #Conflicts: 441000 | #Constraints: 52565
987.38/995.49 c #Conflicts: 442000 | #Constraints: 53565
987.38/995.49 c #Conflicts: 443000 | #Constraints: 54565
987.38/995.49 c #Conflicts: 444000 | #Constraints: 55565
987.38/995.49 c #Conflicts: 445000 | #Constraints: 56565
987.38/995.49 c #Conflicts: 446000 | #Constraints: 57565
987.38/995.49 c #Conflicts: 447000 | #Constraints: 58565
987.38/995.49 c #Conflicts: 448000 | #Constraints: 59565
987.38/995.49 c #Conflicts: 449000 | #Constraints: 60565
987.38/995.49 c #Conflicts: 450000 | #Constraints: 61565
987.38/995.49 c #Conflicts: 451000 | #Constraints: 62565
987.38/995.49 c #Conflicts: 452000 | #Constraints: 63565
1199.31/1216.44 c #Conflicts: 453000 | #Constraints: 64565
1199.31/1216.44 c #Conflicts: 454000 | #Constraints: 65565
1199.31/1216.44 c #Conflicts: 455000 | #Constraints: 66565
1199.31/1216.44 c INPROCESSING
1199.31/1216.44 c GARBAGE COLLECT
1199.31/1216.44 c #Conflicts: 456000 | #Constraints: 42600
1199.31/1216.44 c #Conflicts: 457000 | #Constraints: 43600
1199.31/1216.44 c #Conflicts: 458000 | #Constraints: 44600
1199.31/1216.44 c #Conflicts: 459000 | #Constraints: 45600
1199.31/1216.44 c #Conflicts: 460000 | #Constraints: 46600
1199.31/1216.44 c #Conflicts: 461000 | #Constraints: 47600
1199.31/1216.44 c #Conflicts: 462000 | #Constraints: 48600
1199.31/1216.44 c #Conflicts: 463000 | #Constraints: 49600
1199.31/1216.44 c #Conflicts: 464000 | #Constraints: 50600
1199.31/1216.44 c #Conflicts: 465000 | #Constraints: 51600
1199.31/1216.44 c #Conflicts: 466000 | #Constraints: 52600
1199.31/1216.44 c #Conflicts: 467000 | #Constraints: 53600
1199.31/1216.44 c #Conflicts: 468000 | #Constraints: 54600
1199.31/1216.44 c #Conflicts: 469000 | #Constraints: 55600
1199.31/1216.44 c #Conflicts: 470000 | #Constraints: 56600
1199.31/1216.44 c #Conflicts: 471000 | #Constraints: 57600
1199.31/1216.44 c #Conflicts: 472000 | #Constraints: 58600
1199.31/1216.44 c INPROCESSING
1199.31/1216.44 c GARBAGE COLLECT
1199.31/1216.44 c #Conflicts: 473000 | #Constraints: 40962
1199.31/1216.44 c #Conflicts: 474000 | #Constraints: 41962
1199.31/1216.44 c #Conflicts: 475000 | #Constraints: 42962
1199.31/1216.44 c #Conflicts: 476000 | #Constraints: 43962
1199.31/1216.44 c #Conflicts: 477000 | #Constraints: 44962
1199.31/1216.44 c #Conflicts: 478000 | #Constraints: 45962
1199.31/1216.44 c #Conflicts: 479000 | #Constraints: 46962
1199.31/1216.44 c #Conflicts: 480000 | #Constraints: 47962
1199.31/1216.44 c #Conflicts: 481000 | #Constraints: 48962
1199.31/1216.44 c #Conflicts: 482000 | #Constraints: 49962
1199.31/1216.44 c #Conflicts: 483000 | #Constraints: 50962
1199.31/1216.44 c #Conflicts: 484000 | #Constraints: 51962
1199.31/1216.44 c #Conflicts: 485000 | #Constraints: 52962
1199.31/1216.44 c #Conflicts: 486000 | #Constraints: 53962
1199.31/1216.44 c #Conflicts: 487000 | #Constraints: 54962
1199.31/1216.44 c #Conflicts: 488000 | #Constraints: 55962
1199.31/1216.44 c #Conflicts: 489000 | #Constraints: 56962
1199.31/1216.44 c #Conflicts: 490000 | #Constraints: 57962
1199.31/1216.44 c #Conflicts: 491000 | #Constraints: 58962
1199.31/1216.44 c #Conflicts: 492000 | #Constraints: 59962
1199.31/1216.44 c #Conflicts: 493000 | #Constraints: 60962
1199.31/1216.44 c #Conflicts: 494000 | #Constraints: 61962
1199.31/1216.44 c #Conflicts: 495000 | #Constraints: 62962
1199.31/1216.44 c #Conflicts: 496000 | #Constraints: 63962
1199.31/1216.44 c #Conflicts: 497000 | #Constraints: 64962
1199.31/1216.44 c #Conflicts: 498000 | #Constraints: 65962
1199.31/1216.44 c #Conflicts: 499000 | #Constraints: 66962
1199.31/1216.44 c #Conflicts: 500000 | #Constraints: 67962
1199.31/1216.44 c #Conflicts: 501000 | #Constraints: 68962
1199.31/1216.44 c #Conflicts: 502000 | #Constraints: 69962
1199.31/1216.44 c #Conflicts: 503000 | #Constraints: 70962
1199.31/1216.44 c #Conflicts: 504000 | #Constraints: 71962
1199.31/1216.44 c #Conflicts: 505000 | #Constraints: 72962
1199.31/1216.44 c #Conflicts: 506000 | #Constraints: 73962
1199.31/1216.44 c #Conflicts: 507000 | #Constraints: 74962
1199.31/1216.44 c #Conflicts: 508000 | #Constraints: 75962
1199.31/1216.44 c #Conflicts: 509000 | #Constraints: 76962
1199.31/1216.44 c #Conflicts: 510000 | #Constraints: 77962
1199.31/1216.44 c #Conflicts: 511000 | #Constraints: 78962
1199.31/1216.44 c #Conflicts: 512000 | #Constraints: 79962
1199.31/1216.44 c #Conflicts: 513000 | #Constraints: 80962
1199.31/1216.44 c #Conflicts: 514000 | #Constraints: 81962
1199.31/1216.44 c #Conflicts: 515000 | #Constraints: 82962
1199.31/1216.44 c #Conflicts: 516000 | #Constraints: 83962
1199.31/1216.44 c #Conflicts: 517000 | #Constraints: 84962
1199.31/1216.44 c #Conflicts: 518000 | #Constraints: 85962
1199.31/1216.44 c #Conflicts: 519000 | #Constraints: 86962
1199.31/1216.44 c #Conflicts: 520000 | #Constraints: 87962
1199.31/1216.44 c #Conflicts: 521000 | #Constraints: 88962
1199.31/1216.44 c #Conflicts: 522000 | #Constraints: 89962
1199.31/1216.44 c INPROCESSING
1199.31/1216.44 c GARBAGE COLLECT
1199.31/1216.44 c #Conflicts: 523000 | #Constraints: 54673
1199.31/1216.44 c #Conflicts: 524000 | #Constraints: 55673
1199.31/1216.44 c #Conflicts: 525000 | #Constraints: 56673
1199.31/1216.44 c #Conflicts: 526000 | #Constraints: 57673
1199.31/1216.44 c #Conflicts: 527000 | #Constraints: 58673
1199.31/1216.44 c #Conflicts: 528000 | #Constraints: 59673
1199.31/1216.44 c #Conflicts: 529000 | #Constraints: 60673
1360.42/1379.33 c #Conflicts: 530000 | #Constraints: 61673
1360.42/1379.33 c #Conflicts: 531000 | #Constraints: 62673
1360.42/1379.33 c #Conflicts: 532000 | #Constraints: 63673
1360.42/1379.33 c #Conflicts: 533000 | #Constraints: 64673
1360.42/1379.33 c #Conflicts: 534000 | #Constraints: 65673
1360.42/1379.33 c #Conflicts: 535000 | #Constraints: 66673
1360.42/1379.33 c #Conflicts: 536000 | #Constraints: 67673
1360.42/1379.33 c #Conflicts: 537000 | #Constraints: 68673
1360.42/1379.33 c #Conflicts: 538000 | #Constraints: 69673
1360.42/1379.33 c #Conflicts: 539000 | #Constraints: 70673
1360.42/1379.33 c #Conflicts: 540000 | #Constraints: 71673
1360.42/1379.33 c INPROCESSING
1360.42/1379.33 c GARBAGE COLLECT
1360.42/1379.33 c #Conflicts: 541000 | #Constraints: 45469
1360.42/1379.33 c #Conflicts: 542000 | #Constraints: 46469
1360.42/1379.33 c #Conflicts: 543000 | #Constraints: 47469
1360.42/1379.33 c #Conflicts: 544000 | #Constraints: 48469
1360.42/1379.33 c #Conflicts: 545000 | #Constraints: 49469
1360.42/1379.33 c #Conflicts: 546000 | #Constraints: 50469
1360.42/1379.33 c #Conflicts: 547000 | #Constraints: 51469
1360.42/1379.33 c #Conflicts: 548000 | #Constraints: 52469
1360.42/1379.33 c #Conflicts: 549000 | #Constraints: 53469
1360.42/1379.33 c #Conflicts: 550000 | #Constraints: 54469
1360.42/1379.33 c #Conflicts: 551000 | #Constraints: 55469
1360.42/1379.33 c #Conflicts: 552000 | #Constraints: 56469
1360.42/1379.33 c #Conflicts: 553000 | #Constraints: 57469
1360.42/1379.33 c #Conflicts: 554000 | #Constraints: 58469
1360.42/1379.33 c #Conflicts: 555000 | #Constraints: 59469
1360.42/1379.33 c #Conflicts: 556000 | #Constraints: 60469
1360.42/1379.33 c #Conflicts: 557000 | #Constraints: 61469
1360.42/1379.33 c #Conflicts: 558000 | #Constraints: 62469
1360.42/1379.33 c INPROCESSING
1360.42/1379.33 c GARBAGE COLLECT
1360.42/1379.33 c #Conflicts: 559000 | #Constraints: 42914
1360.42/1379.33 c #Conflicts: 560000 | #Constraints: 43914
1360.42/1379.33 c #Conflicts: 561000 | #Constraints: 44914
1360.42/1379.33 c #Conflicts: 562000 | #Constraints: 45914
1360.42/1379.33 c #Conflicts: 563000 | #Constraints: 46914
1360.42/1379.33 c #Conflicts: 564000 | #Constraints: 47914
1360.42/1379.33 c #Conflicts: 565000 | #Constraints: 48914
1360.42/1379.33 c #Conflicts: 566000 | #Constraints: 49914
1360.42/1379.33 c #Conflicts: 567000 | #Constraints: 50914
1360.42/1379.33 c #Conflicts: 568000 | #Constraints: 51914
1360.42/1379.33 c #Conflicts: 569000 | #Constraints: 52914
1360.42/1379.33 c #Conflicts: 570000 | #Constraints: 53914
1360.42/1379.33 c #Conflicts: 571000 | #Constraints: 54914
1360.42/1379.33 c #Conflicts: 572000 | #Constraints: 55914
1360.42/1379.33 c #Conflicts: 573000 | #Constraints: 56914
1360.42/1379.33 c #Conflicts: 574000 | #Constraints: 57914
1360.42/1379.33 c #Conflicts: 575000 | #Constraints: 58914
1360.42/1379.33 c #Conflicts: 576000 | #Constraints: 59914
1360.42/1379.33 c #Conflicts: 577000 | #Constraints: 60914
1360.42/1379.33 c #Conflicts: 578000 | #Constraints: 61914
1360.42/1379.33 c #Conflicts: 579000 | #Constraints: 62914
1360.42/1379.33 c #Conflicts: 580000 | #Constraints: 63914
1360.42/1379.33 c #Conflicts: 581000 | #Constraints: 64914
1360.42/1379.33 c #Conflicts: 582000 | #Constraints: 65914
1360.42/1379.33 c #Conflicts: 583000 | #Constraints: 66914
1360.42/1379.33 c #Conflicts: 584000 | #Constraints: 67914
1360.42/1379.33 c #Conflicts: 585000 | #Constraints: 68914
1360.42/1379.33 c #Conflicts: 586000 | #Constraints: 69914
1360.42/1379.33 c #Conflicts: 587000 | #Constraints: 70914
1360.42/1379.33 c #Conflicts: 588000 | #Constraints: 71914
1360.42/1379.33 c #Conflicts: 589000 | #Constraints: 72914
1360.42/1379.33 c #Conflicts: 590000 | #Constraints: 73914
1360.42/1379.33 c #Conflicts: 591000 | #Constraints: 74914
1360.42/1379.33 c #Conflicts: 592000 | #Constraints: 75914
1360.42/1379.33 c #Conflicts: 593000 | #Constraints: 76914
1360.42/1379.33 c #Conflicts: 594000 | #Constraints: 77914
1360.42/1379.33 c #Conflicts: 595000 | #Constraints: 78914
1360.42/1379.33 c #Conflicts: 596000 | #Constraints: 79914
1360.42/1379.33 c #Conflicts: 597000 | #Constraints: 80914
1360.42/1379.33 c #Conflicts: 598000 | #Constraints: 81914
1360.42/1379.33 c #Conflicts: 599000 | #Constraints: 82914
1360.42/1379.33 c #Conflicts: 600000 | #Constraints: 83914
1360.42/1379.33 c #Conflicts: 601000 | #Constraints: 84914
1360.42/1379.33 c #Conflicts: 602000 | #Constraints: 85914
1360.42/1379.33 c #Conflicts: 603000 | #Constraints: 86914
1360.42/1379.33 c #Conflicts: 604000 | #Constraints: 87914
1360.42/1379.33 c #Conflicts: 605000 | #Constraints: 88914
1360.42/1379.33 c #Conflicts: 606000 | #Constraints: 89914
1360.42/1379.33 c #Conflicts: 607000 | #Constraints: 90914
1556.19/1582.57 c #Conflicts: 608000 | #Constraints: 91914
1556.19/1582.57 c #Conflicts: 609000 | #Constraints: 92914
1556.19/1582.57 c #Conflicts: 610000 | #Constraints: 93914
1556.19/1582.57 c #Conflicts: 611000 | #Constraints: 94914
1556.19/1582.57 c #Conflicts: 612000 | #Constraints: 95914
1556.19/1582.57 c INPROCESSING
1556.19/1582.57 c GARBAGE COLLECT
1556.19/1582.57 c #Conflicts: 613000 | #Constraints: 57679
1556.19/1582.57 c #Conflicts: 614000 | #Constraints: 58679
1556.19/1582.57 c #Conflicts: 615000 | #Constraints: 59679
1556.19/1582.57 c #Conflicts: 616000 | #Constraints: 60679
1556.19/1582.57 c #Conflicts: 617000 | #Constraints: 61679
1556.19/1582.57 c #Conflicts: 618000 | #Constraints: 62679
1556.19/1582.57 c #Conflicts: 619000 | #Constraints: 63679
1556.19/1582.57 c #Conflicts: 620000 | #Constraints: 64679
1556.19/1582.57 c #Conflicts: 621000 | #Constraints: 65679
1556.19/1582.57 c #Conflicts: 622000 | #Constraints: 66679
1556.19/1582.57 c #Conflicts: 623000 | #Constraints: 67679
1556.19/1582.57 c #Conflicts: 624000 | #Constraints: 68679
1556.19/1582.57 c #Conflicts: 625000 | #Constraints: 69679
1556.19/1582.57 c #Conflicts: 626000 | #Constraints: 70679
1556.19/1582.57 c #Conflicts: 627000 | #Constraints: 71679
1556.19/1582.57 c #Conflicts: 628000 | #Constraints: 72679
1556.19/1582.57 c #Conflicts: 629000 | #Constraints: 73679
1556.19/1582.57 c #Conflicts: 630000 | #Constraints: 74679
1556.19/1582.57 c #Conflicts: 631000 | #Constraints: 75679
1556.19/1582.57 c #Conflicts: 632000 | #Constraints: 76679
1556.19/1582.57 c INPROCESSING
1556.19/1582.57 c GARBAGE COLLECT
1556.19/1582.57 c #Conflicts: 633000 | #Constraints: 48324
1556.19/1582.57 c #Conflicts: 634000 | #Constraints: 49324
1556.19/1582.57 c #Conflicts: 635000 | #Constraints: 50324
1556.19/1582.57 c #Conflicts: 636000 | #Constraints: 51324
1556.19/1582.57 c #Conflicts: 637000 | #Constraints: 52324
1556.19/1582.57 c #Conflicts: 638000 | #Constraints: 53324
1556.19/1582.57 c #Conflicts: 639000 | #Constraints: 54324
1556.19/1582.57 c #Conflicts: 640000 | #Constraints: 55324
1556.19/1582.57 c #Conflicts: 641000 | #Constraints: 56324
1556.19/1582.57 c #Conflicts: 642000 | #Constraints: 57324
1556.19/1582.57 c #Conflicts: 643000 | #Constraints: 58324
1556.19/1582.57 c #Conflicts: 644000 | #Constraints: 59324
1556.19/1582.57 c #Conflicts: 645000 | #Constraints: 60324
1556.19/1582.57 c #Conflicts: 646000 | #Constraints: 61324
1556.19/1582.57 c #Conflicts: 647000 | #Constraints: 62324
1556.19/1582.57 c #Conflicts: 648000 | #Constraints: 63324
1556.19/1582.57 c #Conflicts: 649000 | #Constraints: 64324
1556.19/1582.57 c #Conflicts: 650000 | #Constraints: 65324
1556.19/1582.57 c #Conflicts: 651000 | #Constraints: 66324
1556.19/1582.57 c INPROCESSING
1556.19/1582.57 c GARBAGE COLLECT
1556.19/1582.57 c #Conflicts: 652000 | #Constraints: 45599
1556.19/1582.57 c #Conflicts: 653000 | #Constraints: 46599
1556.19/1582.57 c #Conflicts: 654000 | #Constraints: 47599
1556.19/1582.57 c #Conflicts: 655000 | #Constraints: 48599
1556.19/1582.57 c #Conflicts: 656000 | #Constraints: 49599
1556.19/1582.57 c #Conflicts: 657000 | #Constraints: 50599
1556.19/1582.57 c #Conflicts: 658000 | #Constraints: 51599
1556.19/1582.57 c #Conflicts: 659000 | #Constraints: 52599
1556.19/1582.57 c #Conflicts: 660000 | #Constraints: 53599
1556.19/1582.57 c #Conflicts: 661000 | #Constraints: 54599
1556.19/1582.57 c #Conflicts: 662000 | #Constraints: 55599
1556.19/1582.57 c #Conflicts: 663000 | #Constraints: 56599
1556.19/1582.57 c #Conflicts: 664000 | #Constraints: 57599
1556.19/1582.57 c #Conflicts: 665000 | #Constraints: 58599
1556.19/1582.57 c #Conflicts: 666000 | #Constraints: 59599
1556.19/1582.57 c #Conflicts: 667000 | #Constraints: 60599
1556.19/1582.57 c #Conflicts: 668000 | #Constraints: 61599
1556.19/1582.57 c #Conflicts: 669000 | #Constraints: 62599
1556.19/1582.57 c #Conflicts: 670000 | #Constraints: 63599
1556.19/1582.57 c #Conflicts: 671000 | #Constraints: 64599
1556.19/1582.57 c #Conflicts: 672000 | #Constraints: 65599
1556.19/1582.57 c #Conflicts: 673000 | #Constraints: 66599
1556.19/1582.57 c #Conflicts: 674000 | #Constraints: 67599
1556.19/1582.57 c #Conflicts: 675000 | #Constraints: 68599
1556.19/1582.57 c #Conflicts: 676000 | #Constraints: 69599
1556.19/1582.57 c #Conflicts: 677000 | #Constraints: 70599
1556.19/1582.57 c #Conflicts: 678000 | #Constraints: 71599
1556.19/1582.57 c #Conflicts: 679000 | #Constraints: 72599
1556.19/1582.57 c #Conflicts: 680000 | #Constraints: 73599
1556.19/1582.57 c #Conflicts: 681000 | #Constraints: 74599
1556.19/1582.57 c #Conflicts: 682000 | #Constraints: 75599
1556.19/1582.57 c #Conflicts: 683000 | #Constraints: 76599
1771.62/1799.53 c #Conflicts: 684000 | #Constraints: 77599
1771.62/1799.53 c #Conflicts: 685000 | #Constraints: 78599
1771.62/1799.53 c #Conflicts: 686000 | #Constraints: 79599
1771.62/1799.53 c #Conflicts: 687000 | #Constraints: 80599
1771.62/1799.53 c #Conflicts: 688000 | #Constraints: 81599
1771.62/1799.53 c #Conflicts: 689000 | #Constraints: 82599
1771.62/1799.53 c #Conflicts: 690000 | #Constraints: 83599
1771.62/1799.53 c #Conflicts: 691000 | #Constraints: 84599
1771.62/1799.53 c #Conflicts: 692000 | #Constraints: 85599
1771.62/1799.53 c #Conflicts: 693000 | #Constraints: 86599
1771.62/1799.53 c #Conflicts: 694000 | #Constraints: 87599
1771.62/1799.53 c #Conflicts: 695000 | #Constraints: 88599
1771.62/1799.53 c #Conflicts: 696000 | #Constraints: 89599
1771.62/1799.53 c #Conflicts: 697000 | #Constraints: 90599
1771.62/1799.53 c #Conflicts: 698000 | #Constraints: 91599
1771.62/1799.53 c #Conflicts: 699000 | #Constraints: 92599
1771.62/1799.53 c #Conflicts: 700000 | #Constraints: 93599
1771.62/1799.53 c #Conflicts: 701000 | #Constraints: 94599
1771.62/1799.53 c #Conflicts: 702000 | #Constraints: 95599
1771.62/1799.53 c #Conflicts: 703000 | #Constraints: 96599
1771.62/1799.53 c #Conflicts: 704000 | #Constraints: 97599
1771.62/1799.53 c #Conflicts: 705000 | #Constraints: 98599
1771.62/1799.53 c #Conflicts: 706000 | #Constraints: 99599
1771.62/1799.53 c #Conflicts: 707000 | #Constraints: 100599
1771.62/1799.53 c #Conflicts: 708000 | #Constraints: 101599
1771.62/1799.53 c #Conflicts: 709000 | #Constraints: 102599
1771.62/1799.53 c INPROCESSING
1771.62/1799.53 c GARBAGE COLLECT
1771.62/1799.53 c #Conflicts: 710000 | #Constraints: 60695
1771.62/1799.53 c #Conflicts: 711000 | #Constraints: 61695
1771.62/1799.53 c #Conflicts: 712000 | #Constraints: 62695
1771.62/1799.53 c #Conflicts: 713000 | #Constraints: 63695
1771.62/1799.53 c #Conflicts: 714000 | #Constraints: 64695
1771.62/1799.53 c #Conflicts: 715000 | #Constraints: 65695
1771.62/1799.53 c #Conflicts: 716000 | #Constraints: 66695
1771.62/1799.53 c #Conflicts: 717000 | #Constraints: 67695
1771.62/1799.53 c #Conflicts: 718000 | #Constraints: 68695
1771.62/1799.53 c #Conflicts: 719000 | #Constraints: 69695
1771.62/1799.53 c #Conflicts: 720000 | #Constraints: 70695
1771.62/1799.53 c #Conflicts: 721000 | #Constraints: 71695
1771.62/1799.53 c #Conflicts: 722000 | #Constraints: 72695
1771.62/1799.53 c #Conflicts: 723000 | #Constraints: 73695
1771.62/1799.53 c #Conflicts: 724000 | #Constraints: 74695
1771.62/1799.53 c #Conflicts: 725000 | #Constraints: 75695
1771.62/1799.53 c #Conflicts: 726000 | #Constraints: 76695
1771.62/1799.53 c #Conflicts: 727000 | #Constraints: 77695
1771.62/1799.53 c #Conflicts: 728000 | #Constraints: 78695
1771.62/1799.53 c #Conflicts: 729000 | #Constraints: 79695
1771.62/1799.53 c #Conflicts: 730000 | #Constraints: 80695
1771.62/1799.53 c #Conflicts: 731000 | #Constraints: 81695
1771.62/1799.53 c INPROCESSING
1771.62/1799.53 c GARBAGE COLLECT
1771.62/1799.53 c #Conflicts: 732000 | #Constraints: 50775
1771.62/1799.53 c #Conflicts: 733000 | #Constraints: 51775
1771.62/1799.53 c #Conflicts: 734000 | #Constraints: 52775
1771.62/1799.53 c #Conflicts: 735000 | #Constraints: 53775
1771.62/1799.53 c #Conflicts: 736000 | #Constraints: 54775
1771.62/1799.53 c #Conflicts: 737000 | #Constraints: 55775
1771.62/1799.53 c #Conflicts: 738000 | #Constraints: 56775
1771.62/1799.53 c #Conflicts: 739000 | #Constraints: 57775
1771.62/1799.53 c #Conflicts: 740000 | #Constraints: 58775
1771.62/1799.53 c #Conflicts: 741000 | #Constraints: 59775
1771.62/1799.53 c #Conflicts: 742000 | #Constraints: 60775
1771.62/1799.53 c #Conflicts: 743000 | #Constraints: 61775
1771.62/1799.53 c #Conflicts: 744000 | #Constraints: 62775
1771.62/1799.53 c #Conflicts: 745000 | #Constraints: 63775
1771.62/1799.53 c #Conflicts: 746000 | #Constraints: 64775
1771.62/1799.53 c #Conflicts: 747000 | #Constraints: 65775
1771.62/1799.53 c #Conflicts: 748000 | #Constraints: 66775
1771.62/1799.53 c #Conflicts: 749000 | #Constraints: 67775
1771.62/1799.53 c #Conflicts: 750000 | #Constraints: 68775
1771.62/1799.53 c #Conflicts: 751000 | #Constraints: 69775
1771.62/1799.53 c #Conflicts: 752000 | #Constraints: 70775
1771.62/1799.53 c INPROCESSING
1771.62/1799.53 c GARBAGE COLLECT
1771.62/1799.53 c #Conflicts: 753000 | #Constraints: 48658
1771.62/1799.53 c #Conflicts: 754000 | #Constraints: 49658
1771.62/1799.53 c #Conflicts: 755000 | #Constraints: 50658
1771.62/1799.53 c #Conflicts: 756000 | #Constraints: 51658
1771.62/1799.53 c #Conflicts: 757000 | #Constraints: 52658
1771.62/1799.53 c #Conflicts: 758000 | #Constraints: 53658
1771.62/1799.53 c #Conflicts: 759000 | #Constraints: 54658
1771.62/1799.53 c #Conflicts: 760000 | #Constraints: 55658
1976.58/2010.27 c #Conflicts: 761000 | #Constraints: 56658
1976.58/2010.27 c #Conflicts: 762000 | #Constraints: 57658
1976.58/2010.27 c #Conflicts: 763000 | #Constraints: 58658
1976.58/2010.27 c #Conflicts: 764000 | #Constraints: 59658
1976.58/2010.27 c #Conflicts: 765000 | #Constraints: 60658
1976.58/2010.27 c #Conflicts: 766000 | #Constraints: 61658
1976.58/2010.27 c #Conflicts: 767000 | #Constraints: 62658
1976.58/2010.27 c #Conflicts: 768000 | #Constraints: 63658
1976.58/2010.27 c #Conflicts: 769000 | #Constraints: 64658
1976.58/2010.27 c #Conflicts: 770000 | #Constraints: 65658
1976.58/2010.27 c #Conflicts: 771000 | #Constraints: 66658
1976.58/2010.27 c #Conflicts: 772000 | #Constraints: 67658
1976.58/2010.27 c #Conflicts: 773000 | #Constraints: 68658
1976.58/2010.27 c #Conflicts: 774000 | #Constraints: 69658
1976.58/2010.27 c #Conflicts: 775000 | #Constraints: 70658
1976.58/2010.27 c #Conflicts: 776000 | #Constraints: 71658
1976.58/2010.27 c #Conflicts: 777000 | #Constraints: 72658
1976.58/2010.27 c #Conflicts: 778000 | #Constraints: 73658
1976.58/2010.27 c #Conflicts: 779000 | #Constraints: 74658
1976.58/2010.27 c #Conflicts: 780000 | #Constraints: 75658
1976.58/2010.27 c #Conflicts: 781000 | #Constraints: 76658
1976.58/2010.27 c #Conflicts: 782000 | #Constraints: 77658
1976.58/2010.27 c #Conflicts: 783000 | #Constraints: 78658
1976.58/2010.27 c #Conflicts: 784000 | #Constraints: 79658
1976.58/2010.27 c #Conflicts: 785000 | #Constraints: 80658
1976.58/2010.27 c #Conflicts: 786000 | #Constraints: 81658
1976.58/2010.27 c #Conflicts: 787000 | #Constraints: 82658
1976.58/2010.27 c #Conflicts: 788000 | #Constraints: 83658
1976.58/2010.27 c #Conflicts: 789000 | #Constraints: 84658
1976.58/2010.27 c #Conflicts: 790000 | #Constraints: 85658
1976.58/2010.27 c #Conflicts: 791000 | #Constraints: 86658
1976.58/2010.27 c #Conflicts: 792000 | #Constraints: 87658
1976.58/2010.27 c #Conflicts: 793000 | #Constraints: 88658
1976.58/2010.27 c #Conflicts: 794000 | #Constraints: 89658
1976.58/2010.27 c #Conflicts: 795000 | #Constraints: 90658
1976.58/2010.27 c #Conflicts: 796000 | #Constraints: 91658
1976.58/2010.27 c #Conflicts: 797000 | #Constraints: 92658
1976.58/2010.27 c #Conflicts: 798000 | #Constraints: 93658
1976.58/2010.27 c #Conflicts: 799000 | #Constraints: 94658
1976.58/2010.27 c #Conflicts: 800000 | #Constraints: 95658
1976.58/2010.27 c #Conflicts: 801000 | #Constraints: 96658
1976.58/2010.27 c #Conflicts: 802000 | #Constraints: 97658
1976.58/2010.27 c #Conflicts: 803000 | #Constraints: 98658
1976.58/2010.27 c #Conflicts: 804000 | #Constraints: 99658
1976.58/2010.27 c #Conflicts: 805000 | #Constraints: 100658
1976.58/2010.27 c #Conflicts: 806000 | #Constraints: 101658
1976.58/2010.27 c #Conflicts: 807000 | #Constraints: 102658
1976.58/2010.27 c #Conflicts: 808000 | #Constraints: 103658
1976.58/2010.27 c #Conflicts: 809000 | #Constraints: 104658
1976.58/2010.27 c #Conflicts: 810000 | #Constraints: 105658
1976.58/2010.27 c #Conflicts: 811000 | #Constraints: 106658
1976.58/2010.27 c #Conflicts: 812000 | #Constraints: 107658
1976.58/2010.27 c #Conflicts: 813000 | #Constraints: 108658
1976.58/2010.27 c #Conflicts: 814000 | #Constraints: 109658
1976.58/2010.27 c INPROCESSING
1976.58/2010.27 c GARBAGE COLLECT
1976.58/2010.27 c #Conflicts: 815000 | #Constraints: 64512
1976.58/2010.27 c #Conflicts: 816000 | #Constraints: 65512
1976.58/2010.27 c #Conflicts: 817000 | #Constraints: 66512
1976.58/2010.27 c #Conflicts: 818000 | #Constraints: 67512
1976.58/2010.27 c #Conflicts: 819000 | #Constraints: 68512
1976.58/2010.27 c #Conflicts: 820000 | #Constraints: 69512
1976.58/2010.27 c #Conflicts: 821000 | #Constraints: 70512
1976.58/2010.27 c #Conflicts: 822000 | #Constraints: 71512
1976.58/2010.27 c #Conflicts: 823000 | #Constraints: 72512
1976.58/2010.27 c #Conflicts: 824000 | #Constraints: 73512
1976.58/2010.27 c #Conflicts: 825000 | #Constraints: 74512
1976.58/2010.27 c #Conflicts: 826000 | #Constraints: 75512
1976.58/2010.27 c #Conflicts: 827000 | #Constraints: 76512
1976.58/2010.27 c #Conflicts: 828000 | #Constraints: 77512
1976.58/2010.27 c #Conflicts: 829000 | #Constraints: 78512
1976.58/2010.27 c #Conflicts: 830000 | #Constraints: 79512
1976.58/2010.27 c #Conflicts: 831000 | #Constraints: 80512
1976.58/2010.27 c #Conflicts: 832000 | #Constraints: 81512
1976.58/2010.27 c #Conflicts: 833000 | #Constraints: 82512
1976.58/2010.27 c #Conflicts: 834000 | #Constraints: 83512
1976.58/2010.27 c #Conflicts: 835000 | #Constraints: 84512
1976.58/2010.27 c #Conflicts: 836000 | #Constraints: 85512
1976.58/2010.27 c #Conflicts: 837000 | #Constraints: 86512
1976.58/2010.27 c INPROCESSING
1976.58/2010.27 c GARBAGE COLLECT
1976.58/2010.27 c #Conflicts: 838000 | #Constraints: 52953
2139.35/2173.72 c #Conflicts: 839000 | #Constraints: 53953
2139.35/2173.72 c #Conflicts: 840000 | #Constraints: 54953
2139.35/2173.72 c #Conflicts: 841000 | #Constraints: 55953
2139.35/2173.72 c #Conflicts: 842000 | #Constraints: 56953
2139.35/2173.72 c #Conflicts: 843000 | #Constraints: 57953
2139.35/2173.72 c #Conflicts: 844000 | #Constraints: 58953
2139.35/2173.72 c #Conflicts: 845000 | #Constraints: 59953
2139.35/2173.72 c #Conflicts: 846000 | #Constraints: 60953
2139.35/2173.72 c #Conflicts: 847000 | #Constraints: 61953
2139.35/2173.72 c #Conflicts: 848000 | #Constraints: 62953
2139.35/2173.72 c #Conflicts: 849000 | #Constraints: 63953
2139.35/2173.72 c #Conflicts: 850000 | #Constraints: 64953
2139.35/2173.72 c #Conflicts: 851000 | #Constraints: 65953
2139.35/2173.72 c #Conflicts: 852000 | #Constraints: 66953
2139.35/2173.72 c #Conflicts: 853000 | #Constraints: 67953
2139.35/2173.72 c #Conflicts: 854000 | #Constraints: 68953
2139.35/2173.72 c #Conflicts: 855000 | #Constraints: 69953
2139.35/2173.72 c #Conflicts: 856000 | #Constraints: 70953
2139.35/2173.72 c #Conflicts: 857000 | #Constraints: 71953
2139.35/2173.72 c #Conflicts: 858000 | #Constraints: 72953
2139.35/2173.72 c #Conflicts: 859000 | #Constraints: 73953
2139.35/2173.72 c #Conflicts: 860000 | #Constraints: 74953
2139.35/2173.72 c INPROCESSING
2139.35/2173.72 c GARBAGE COLLECT
2139.35/2173.72 c rational objective 133.1
2389.02/2431.62 c #Conflicts: 861000 | #Constraints: 51663
2389.02/2431.62 c #Conflicts: 862000 | #Constraints: 52663
2389.02/2431.62 c #Conflicts: 863000 | #Constraints: 53663
2389.02/2431.62 c #Conflicts: 864000 | #Constraints: 54663
2389.02/2431.62 c #Conflicts: 865000 | #Constraints: 55663
2389.02/2431.62 c #Conflicts: 866000 | #Constraints: 56663
2389.02/2431.62 c #Conflicts: 867000 | #Constraints: 57663
2389.02/2431.62 c #Conflicts: 868000 | #Constraints: 58663
2389.02/2431.62 c #Conflicts: 869000 | #Constraints: 59663
2389.02/2431.62 c #Conflicts: 870000 | #Constraints: 60663
2389.02/2431.62 c #Conflicts: 871000 | #Constraints: 61663
2389.02/2431.62 c #Conflicts: 872000 | #Constraints: 62663
2389.02/2431.62 c #Conflicts: 873000 | #Constraints: 63663
2389.02/2431.62 c #Conflicts: 874000 | #Constraints: 64663
2389.02/2431.62 c #Conflicts: 875000 | #Constraints: 65663
2389.02/2431.62 c #Conflicts: 876000 | #Constraints: 66663
2389.02/2431.62 c #Conflicts: 877000 | #Constraints: 67663
2389.02/2431.62 c #Conflicts: 878000 | #Constraints: 68663
2389.02/2431.62 c #Conflicts: 879000 | #Constraints: 69663
2389.02/2431.62 c #Conflicts: 880000 | #Constraints: 70663
2389.02/2431.62 c #Conflicts: 881000 | #Constraints: 71663
2389.02/2431.62 c #Conflicts: 882000 | #Constraints: 72663
2389.02/2431.62 c #Conflicts: 883000 | #Constraints: 73663
2389.02/2431.62 c #Conflicts: 884000 | #Constraints: 74663
2389.02/2431.62 c #Conflicts: 885000 | #Constraints: 75663
2389.02/2431.62 c #Conflicts: 886000 | #Constraints: 76663
2389.02/2431.62 c #Conflicts: 887000 | #Constraints: 77663
2389.02/2431.62 c #Conflicts: 888000 | #Constraints: 78663
2389.02/2431.62 c #Conflicts: 889000 | #Constraints: 79663
2389.02/2431.62 c #Conflicts: 890000 | #Constraints: 80663
2389.02/2431.62 c #Conflicts: 891000 | #Constraints: 81663
2389.02/2431.62 c #Conflicts: 892000 | #Constraints: 82663
2389.02/2431.62 c #Conflicts: 893000 | #Constraints: 83663
2389.02/2431.62 c #Conflicts: 894000 | #Constraints: 84663
2389.02/2431.62 c #Conflicts: 895000 | #Constraints: 85663
2389.02/2431.62 c #Conflicts: 896000 | #Constraints: 86663
2389.02/2431.62 c #Conflicts: 897000 | #Constraints: 87663
2389.02/2431.62 c #Conflicts: 898000 | #Constraints: 88663
2389.02/2431.62 c #Conflicts: 899000 | #Constraints: 89663
2389.02/2431.62 c #Conflicts: 900000 | #Constraints: 90663
2389.02/2431.63 c #Conflicts: 901000 | #Constraints: 91663
2389.02/2431.63 c #Conflicts: 902000 | #Constraints: 92663
2389.02/2431.63 c #Conflicts: 903000 | #Constraints: 93663
2389.02/2431.63 c #Conflicts: 904000 | #Constraints: 94663
2389.02/2431.63 c #Conflicts: 905000 | #Constraints: 95663
2389.02/2431.63 c #Conflicts: 906000 | #Constraints: 96663
2389.02/2431.63 c #Conflicts: 907000 | #Constraints: 97663
2389.02/2431.63 c #Conflicts: 908000 | #Constraints: 98663
2389.02/2431.63 c #Conflicts: 909000 | #Constraints: 99663
2389.02/2431.63 c #Conflicts: 910000 | #Constraints: 100663
2389.02/2431.63 c #Conflicts: 911000 | #Constraints: 101663
2389.02/2431.63 c #Conflicts: 912000 | #Constraints: 102663
2389.02/2431.63 c #Conflicts: 913000 | #Constraints: 103663
2389.02/2431.63 c #Conflicts: 914000 | #Constraints: 104663
2389.02/2431.63 c #Conflicts: 915000 | #Constraints: 105663
2389.02/2431.63 c #Conflicts: 916000 | #Constraints: 106663
2389.02/2431.63 c #Conflicts: 917000 | #Constraints: 107663
2389.02/2431.63 c #Conflicts: 918000 | #Constraints: 108663
2389.02/2431.63 c #Conflicts: 919000 | #Constraints: 109663
2389.02/2431.63 c #Conflicts: 920000 | #Constraints: 110663
2389.02/2431.63 c #Conflicts: 921000 | #Constraints: 111663
2389.02/2431.63 c #Conflicts: 922000 | #Constraints: 112663
2389.02/2431.63 c #Conflicts: 923000 | #Constraints: 113663
2389.02/2431.63 c #Conflicts: 924000 | #Constraints: 114663
2389.02/2431.63 c #Conflicts: 925000 | #Constraints: 115663
2389.02/2431.63 c #Conflicts: 926000 | #Constraints: 116663
2389.02/2431.63 c INPROCESSING
2389.02/2431.63 c GARBAGE COLLECT
2389.02/2431.63 c #Conflicts: 927000 | #Constraints: 68033
2389.02/2431.63 c #Conflicts: 928000 | #Constraints: 69033
2389.02/2431.63 c #Conflicts: 929000 | #Constraints: 70033
2389.02/2431.63 c #Conflicts: 930000 | #Constraints: 71033
2389.02/2431.63 c #Conflicts: 931000 | #Constraints: 72033
2389.02/2431.63 c #Conflicts: 932000 | #Constraints: 73033
2389.02/2431.63 c #Conflicts: 933000 | #Constraints: 74033
2389.02/2431.63 c #Conflicts: 934000 | #Constraints: 75033
2389.02/2431.63 c #Conflicts: 935000 | #Constraints: 76033
2389.02/2431.63 c #Conflicts: 936000 | #Constraints: 77033
2389.02/2431.63 c #Conflicts: 937000 | #Constraints: 78033
2389.02/2431.63 c #Conflicts: 938000 | #Constraints: 79034
2389.02/2431.63 c #Conflicts: 939000 | #Constraints: 80034
2613.79/2657.65 c #Conflicts: 940000 | #Constraints: 81034
2613.79/2657.65 c #Conflicts: 941000 | #Constraints: 82034
2613.79/2657.65 c #Conflicts: 942000 | #Constraints: 83034
2613.79/2657.65 c #Conflicts: 943000 | #Constraints: 84034
2613.79/2657.65 c #Conflicts: 944000 | #Constraints: 85034
2613.79/2657.65 c #Conflicts: 945000 | #Constraints: 86034
2613.79/2657.65 c #Conflicts: 946000 | #Constraints: 87034
2613.79/2657.65 c #Conflicts: 947000 | #Constraints: 88034
2613.79/2657.65 c #Conflicts: 948000 | #Constraints: 89034
2613.79/2657.65 c #Conflicts: 949000 | #Constraints: 90034
2613.79/2657.65 c #Conflicts: 950000 | #Constraints: 91034
2613.79/2657.65 c INPROCESSING
2613.79/2657.65 c GARBAGE COLLECT
2613.79/2657.65 c #Conflicts: 951000 | #Constraints: 55280
2613.79/2657.65 c #Conflicts: 952000 | #Constraints: 56280
2613.79/2657.65 c #Conflicts: 953000 | #Constraints: 57280
2613.79/2657.65 c #Conflicts: 954000 | #Constraints: 58280
2613.79/2657.65 c #Conflicts: 955000 | #Constraints: 59280
2613.79/2657.65 c #Conflicts: 956000 | #Constraints: 60280
2613.79/2657.65 c #Conflicts: 957000 | #Constraints: 61280
2613.79/2657.65 c #Conflicts: 958000 | #Constraints: 62280
2613.79/2657.65 c #Conflicts: 959000 | #Constraints: 63280
2613.79/2657.65 c #Conflicts: 960000 | #Constraints: 64280
2613.79/2657.65 c #Conflicts: 961000 | #Constraints: 65280
2613.79/2657.65 c #Conflicts: 962000 | #Constraints: 66280
2613.79/2657.65 c #Conflicts: 963000 | #Constraints: 67280
2613.79/2657.65 c #Conflicts: 964000 | #Constraints: 68280
2613.79/2657.65 c #Conflicts: 965000 | #Constraints: 69280
2613.79/2657.65 c #Conflicts: 966000 | #Constraints: 70280
2613.79/2657.65 c #Conflicts: 967000 | #Constraints: 71280
2613.79/2657.65 c #Conflicts: 968000 | #Constraints: 72280
2613.79/2657.65 c #Conflicts: 969000 | #Constraints: 73280
2613.79/2657.65 c #Conflicts: 970000 | #Constraints: 74280
2613.79/2657.65 c #Conflicts: 971000 | #Constraints: 75280
2613.79/2657.65 c #Conflicts: 972000 | #Constraints: 76280
2613.79/2657.65 c #Conflicts: 973000 | #Constraints: 77280
2613.79/2657.65 c #Conflicts: 974000 | #Constraints: 78280
2613.79/2657.65 c #Conflicts: 975000 | #Constraints: 79280
2613.79/2657.65 c INPROCESSING
2613.79/2657.65 c GARBAGE COLLECT
2613.79/2657.65 c #Conflicts: 976000 | #Constraints: 54124
2613.79/2657.65 c #Conflicts: 977000 | #Constraints: 55124
2613.79/2657.65 c #Conflicts: 978000 | #Constraints: 56124
2613.79/2657.65 c #Conflicts: 979000 | #Constraints: 57124
2613.79/2657.65 c #Conflicts: 980000 | #Constraints: 58124
2613.79/2657.65 c #Conflicts: 981000 | #Constraints: 59124
2613.79/2657.65 c #Conflicts: 982000 | #Constraints: 60124
2613.79/2657.65 c #Conflicts: 983000 | #Constraints: 61124
2613.79/2657.65 c #Conflicts: 984000 | #Constraints: 62124
2613.79/2657.65 c #Conflicts: 985000 | #Constraints: 63124
2613.79/2657.65 c #Conflicts: 986000 | #Constraints: 64124
2613.79/2657.65 c #Conflicts: 987000 | #Constraints: 65124
2613.79/2657.65 c #Conflicts: 988000 | #Constraints: 66124
2613.79/2657.65 c #Conflicts: 989000 | #Constraints: 67124
2613.79/2657.65 c #Conflicts: 990000 | #Constraints: 68124
2613.79/2657.65 c #Conflicts: 991000 | #Constraints: 69124
2613.79/2657.65 c #Conflicts: 992000 | #Constraints: 70124
2613.79/2657.65 c #Conflicts: 993000 | #Constraints: 71124
2613.79/2657.65 c #Conflicts: 994000 | #Constraints: 72124
2613.79/2657.65 c #Conflicts: 995000 | #Constraints: 73124
2613.79/2657.65 c #Conflicts: 996000 | #Constraints: 74124
2613.79/2657.65 c #Conflicts: 997000 | #Constraints: 75124
2613.79/2657.65 c #Conflicts: 998000 | #Constraints: 76124
2613.79/2657.65 c #Conflicts: 999000 | #Constraints: 77124
2613.79/2657.65 c #Conflicts: 1000000 | #Constraints: 78124
2613.79/2657.65 c #Conflicts: 1001000 | #Constraints: 79124
2613.79/2657.65 c #Conflicts: 1002000 | #Constraints: 80124
2613.79/2657.65 c #Conflicts: 1003000 | #Constraints: 81124
2613.79/2657.65 c #Conflicts: 1004000 | #Constraints: 82124
2613.79/2657.65 c #Conflicts: 1005000 | #Constraints: 83124
2613.79/2657.65 c #Conflicts: 1006000 | #Constraints: 84124
2613.79/2657.65 c #Conflicts: 1007000 | #Constraints: 85124
2613.79/2657.65 c #Conflicts: 1008000 | #Constraints: 86124
2613.79/2657.65 c #Conflicts: 1009000 | #Constraints: 87124
2613.79/2657.65 c #Conflicts: 1010000 | #Constraints: 88124
2613.79/2657.65 c #Conflicts: 1011000 | #Constraints: 89124
2613.79/2657.65 c #Conflicts: 1012000 | #Constraints: 90124
2613.79/2657.65 c #Conflicts: 1013000 | #Constraints: 91124
2613.79/2657.65 c #Conflicts: 1014000 | #Constraints: 92124
2613.79/2657.65 c #Conflicts: 1015000 | #Constraints: 93124
2613.79/2657.65 c #Conflicts: 1016000 | #Constraints: 94124
2872.13/2932.92 c #Conflicts: 1017000 | #Constraints: 95124
2872.13/2932.92 c #Conflicts: 1018000 | #Constraints: 96124
2872.13/2932.92 c #Conflicts: 1019000 | #Constraints: 97124
2872.13/2932.92 c #Conflicts: 1020000 | #Constraints: 98124
2872.13/2932.92 c #Conflicts: 1021000 | #Constraints: 99124
2872.13/2932.92 c #Conflicts: 1022000 | #Constraints: 100124
2872.13/2932.92 c #Conflicts: 1023000 | #Constraints: 101124
2872.13/2932.92 c #Conflicts: 1024000 | #Constraints: 102124
2872.13/2932.92 c #Conflicts: 1025000 | #Constraints: 103124
2872.13/2932.92 c #Conflicts: 1026000 | #Constraints: 104124
2872.13/2932.92 c #Conflicts: 1027000 | #Constraints: 105124
2872.13/2932.92 c #Conflicts: 1028000 | #Constraints: 106124
2872.13/2932.92 c #Conflicts: 1029000 | #Constraints: 107124
2872.13/2932.92 c #Conflicts: 1030000 | #Constraints: 108124
2872.13/2932.92 c #Conflicts: 1031000 | #Constraints: 109124
2872.13/2932.92 c #Conflicts: 1032000 | #Constraints: 110124
2872.13/2932.92 c #Conflicts: 1033000 | #Constraints: 111124
2872.13/2932.92 c #Conflicts: 1034000 | #Constraints: 112124
2872.13/2932.92 c #Conflicts: 1035000 | #Constraints: 113124
2872.13/2932.92 c #Conflicts: 1036000 | #Constraints: 114124
2872.13/2932.92 c #Conflicts: 1037000 | #Constraints: 115124
2872.13/2932.92 c #Conflicts: 1038000 | #Constraints: 116124
2872.13/2932.92 c #Conflicts: 1039000 | #Constraints: 117124
2872.13/2932.92 c #Conflicts: 1040000 | #Constraints: 118124
2872.13/2932.92 c #Conflicts: 1041000 | #Constraints: 119124
2872.13/2932.92 c #Conflicts: 1042000 | #Constraints: 120124
2872.13/2932.92 c #Conflicts: 1043000 | #Constraints: 121124
2872.13/2932.92 c #Conflicts: 1044000 | #Constraints: 122124
2872.13/2932.92 c #Conflicts: 1045000 | #Constraints: 123124
2872.13/2932.92 c INPROCESSING
2872.13/2932.92 c GARBAGE COLLECT
2872.13/2932.92 c #Conflicts: 1046000 | #Constraints: 71168
2872.13/2932.92 c #Conflicts: 1047000 | #Constraints: 72168
2872.13/2932.92 c #Conflicts: 1048000 | #Constraints: 73168
2872.13/2932.92 c #Conflicts: 1049000 | #Constraints: 74168
2872.13/2932.92 c #Conflicts: 1050000 | #Constraints: 75168
2872.13/2932.92 c #Conflicts: 1051000 | #Constraints: 76168
2872.13/2932.92 c #Conflicts: 1052000 | #Constraints: 77168
2872.13/2932.92 c #Conflicts: 1053000 | #Constraints: 78168
2872.13/2932.92 c #Conflicts: 1054000 | #Constraints: 79168
2872.13/2932.92 c #Conflicts: 1055000 | #Constraints: 80168
2872.13/2932.92 c #Conflicts: 1056000 | #Constraints: 81168
2872.13/2932.92 c #Conflicts: 1057000 | #Constraints: 82168
2872.13/2932.92 c #Conflicts: 1058000 | #Constraints: 83168
2872.13/2932.92 c #Conflicts: 1059000 | #Constraints: 84168
2872.13/2932.92 c #Conflicts: 1060000 | #Constraints: 85168
2872.13/2932.92 c #Conflicts: 1061000 | #Constraints: 86168
2872.13/2932.92 c #Conflicts: 1062000 | #Constraints: 87168
2872.13/2932.92 c #Conflicts: 1063000 | #Constraints: 88168
2872.13/2932.92 c #Conflicts: 1064000 | #Constraints: 89168
2872.13/2932.92 c #Conflicts: 1065000 | #Constraints: 90168
2872.13/2932.92 c #Conflicts: 1066000 | #Constraints: 91168
2872.13/2932.92 c #Conflicts: 1067000 | #Constraints: 92168
2872.13/2932.92 c #Conflicts: 1068000 | #Constraints: 93168
2872.13/2932.92 c #Conflicts: 1069000 | #Constraints: 94168
2872.13/2932.92 c #Conflicts: 1070000 | #Constraints: 95168
2872.13/2932.92 c #Conflicts: 1071000 | #Constraints: 96168
2872.13/2932.92 c INPROCESSING
2872.13/2932.92 c GARBAGE COLLECT
2872.13/2932.92 c #Conflicts: 1072000 | #Constraints: 57855
2872.13/2932.92 c #Conflicts: 1073000 | #Constraints: 58855
2872.13/2932.92 c #Conflicts: 1074000 | #Constraints: 59855
2872.13/2932.93 c #Conflicts: 1075000 | #Constraints: 60855
2872.13/2932.93 c #Conflicts: 1076000 | #Constraints: 61855
2872.13/2932.93 c #Conflicts: 1077000 | #Constraints: 62855
2872.13/2932.93 c #Conflicts: 1078000 | #Constraints: 63855
2872.13/2932.93 c #Conflicts: 1079000 | #Constraints: 64855
2872.13/2932.93 c #Conflicts: 1080000 | #Constraints: 65855
2872.13/2932.93 c #Conflicts: 1081000 | #Constraints: 66855
2872.13/2932.93 c #Conflicts: 1082000 | #Constraints: 67855
2872.13/2932.93 c #Conflicts: 1083000 | #Constraints: 68855
2872.13/2932.93 c #Conflicts: 1084000 | #Constraints: 69855
2872.13/2932.93 c #Conflicts: 1085000 | #Constraints: 70855
2872.13/2932.93 c #Conflicts: 1086000 | #Constraints: 71855
2872.13/2932.93 c #Conflicts: 1087000 | #Constraints: 72855
2872.13/2932.93 c #Conflicts: 1088000 | #Constraints: 73855
2872.13/2932.93 c #Conflicts: 1089000 | #Constraints: 74855
2872.13/2932.93 c #Conflicts: 1090000 | #Constraints: 75855
2872.13/2932.93 c #Conflicts: 1091000 | #Constraints: 76855
2872.13/2932.93 c #Conflicts: 1092000 | #Constraints: 77855
2872.13/2932.93 c #Conflicts: 1093000 | #Constraints: 78855
2872.13/2932.93 c #Conflicts: 1094000 | #Constraints: 79855
3143.08/3207.06 c #Conflicts: 1095000 | #Constraints: 80855
3143.08/3207.06 c #Conflicts: 1096000 | #Constraints: 81855
3143.08/3207.06 c #Conflicts: 1097000 | #Constraints: 82855
3143.08/3207.06 c INPROCESSING
3143.08/3207.06 c GARBAGE COLLECT
3143.08/3207.06 c #Conflicts: 1098000 | #Constraints: 55561
3143.08/3207.06 c #Conflicts: 1099000 | #Constraints: 56561
3143.08/3207.06 c #Conflicts: 1100000 | #Constraints: 57561
3143.08/3207.06 c #Conflicts: 1101000 | #Constraints: 58561
3143.08/3207.06 c #Conflicts: 1102000 | #Constraints: 59561
3143.08/3207.06 c #Conflicts: 1103000 | #Constraints: 60561
3143.08/3207.06 c #Conflicts: 1104000 | #Constraints: 61561
3143.08/3207.06 c #Conflicts: 1105000 | #Constraints: 62561
3143.08/3207.06 c #Conflicts: 1106000 | #Constraints: 63561
3143.08/3207.06 c #Conflicts: 1107000 | #Constraints: 64561
3143.08/3207.06 c #Conflicts: 1108000 | #Constraints: 65561
3143.08/3207.06 c #Conflicts: 1109000 | #Constraints: 66561
3143.08/3207.06 c #Conflicts: 1110000 | #Constraints: 67561
3143.08/3207.06 c #Conflicts: 1111000 | #Constraints: 68561
3143.08/3207.06 c #Conflicts: 1112000 | #Constraints: 69561
3143.08/3207.06 c #Conflicts: 1113000 | #Constraints: 70561
3143.08/3207.07 c #Conflicts: 1114000 | #Constraints: 71561
3143.08/3207.07 c #Conflicts: 1115000 | #Constraints: 72561
3143.08/3207.07 c #Conflicts: 1116000 | #Constraints: 73561
3143.08/3207.07 c #Conflicts: 1117000 | #Constraints: 74561
3143.08/3207.07 c #Conflicts: 1118000 | #Constraints: 75561
3143.08/3207.07 c #Conflicts: 1119000 | #Constraints: 76561
3143.08/3207.07 c #Conflicts: 1120000 | #Constraints: 77561
3143.08/3207.07 c #Conflicts: 1121000 | #Constraints: 78561
3143.08/3207.07 c #Conflicts: 1122000 | #Constraints: 79561
3143.08/3207.07 c #Conflicts: 1123000 | #Constraints: 80561
3143.08/3207.07 c #Conflicts: 1124000 | #Constraints: 81561
3143.08/3207.07 c #Conflicts: 1125000 | #Constraints: 82561
3143.08/3207.07 c #Conflicts: 1126000 | #Constraints: 83561
3143.08/3207.07 c #Conflicts: 1127000 | #Constraints: 84561
3143.08/3207.07 c #Conflicts: 1128000 | #Constraints: 85561
3143.08/3207.07 c #Conflicts: 1129000 | #Constraints: 86561
3143.08/3207.07 c #Conflicts: 1130000 | #Constraints: 87561
3143.08/3207.07 c #Conflicts: 1131000 | #Constraints: 88561
3143.08/3207.07 c #Conflicts: 1132000 | #Constraints: 89561
3143.08/3207.07 c #Conflicts: 1133000 | #Constraints: 90561
3143.08/3207.07 c #Conflicts: 1134000 | #Constraints: 91561
3143.08/3207.07 c #Conflicts: 1135000 | #Constraints: 92561
3143.08/3207.07 c #Conflicts: 1136000 | #Constraints: 93561
3143.08/3207.07 c #Conflicts: 1137000 | #Constraints: 94561
3143.08/3207.07 c #Conflicts: 1138000 | #Constraints: 95561
3143.08/3207.07 c #Conflicts: 1139000 | #Constraints: 96561
3143.08/3207.07 c #Conflicts: 1140000 | #Constraints: 97561
3143.08/3207.07 c #Conflicts: 1141000 | #Constraints: 98561
3143.08/3207.07 c #Conflicts: 1142000 | #Constraints: 99561
3143.08/3207.07 c #Conflicts: 1143000 | #Constraints: 100561
3143.08/3207.07 c #Conflicts: 1144000 | #Constraints: 101561
3143.08/3207.07 c #Conflicts: 1145000 | #Constraints: 102561
3143.08/3207.07 c #Conflicts: 1146000 | #Constraints: 103561
3143.08/3207.07 c #Conflicts: 1147000 | #Constraints: 104561
3143.08/3207.07 c #Conflicts: 1148000 | #Constraints: 105561
3143.08/3207.07 c #Conflicts: 1149000 | #Constraints: 106561
3143.08/3207.07 c #Conflicts: 1150000 | #Constraints: 107561
3143.08/3207.07 c #Conflicts: 1151000 | #Constraints: 108561
3143.08/3207.07 c #Conflicts: 1152000 | #Constraints: 109561
3143.08/3207.07 c #Conflicts: 1153000 | #Constraints: 110561
3143.08/3207.07 c #Conflicts: 1154000 | #Constraints: 111561
3143.08/3207.07 c #Conflicts: 1155000 | #Constraints: 112561
3143.08/3207.07 c #Conflicts: 1156000 | #Constraints: 113561
3143.08/3207.07 c #Conflicts: 1157000 | #Constraints: 114561
3143.08/3207.07 c #Conflicts: 1158000 | #Constraints: 115561
3143.08/3207.07 c #Conflicts: 1159000 | #Constraints: 116561
3143.08/3207.07 c #Conflicts: 1160000 | #Constraints: 117561
3143.08/3207.07 c #Conflicts: 1161000 | #Constraints: 118561
3143.08/3207.07 c #Conflicts: 1162000 | #Constraints: 119561
3143.08/3207.07 c #Conflicts: 1163000 | #Constraints: 120561
3143.08/3207.07 c #Conflicts: 1164000 | #Constraints: 121561
3143.08/3207.07 c #Conflicts: 1165000 | #Constraints: 122561
3143.08/3207.07 c #Conflicts: 1166000 | #Constraints: 123561
3143.08/3207.07 c #Conflicts: 1167000 | #Constraints: 124561
3143.08/3207.07 c #Conflicts: 1168000 | #Constraints: 125561
3143.08/3207.07 c #Conflicts: 1169000 | #Constraints: 126561
3143.08/3207.07 c #Conflicts: 1170000 | #Constraints: 127561
3143.08/3207.07 c #Conflicts: 1171000 | #Constraints: 128561
3143.08/3207.07 c INPROCESSING
3349.68/3414.94 c GARBAGE COLLECT
3349.68/3414.94 c #Conflicts: 1172000 | #Constraints: 73931
3349.68/3414.94 c #Conflicts: 1173000 | #Constraints: 74931
3349.68/3414.94 c #Conflicts: 1174000 | #Constraints: 75931
3349.68/3414.94 c #Conflicts: 1175000 | #Constraints: 76931
3349.68/3414.94 c #Conflicts: 1176000 | #Constraints: 77931
3349.68/3414.94 c #Conflicts: 1177000 | #Constraints: 78931
3349.68/3414.94 c #Conflicts: 1178000 | #Constraints: 79931
3349.68/3414.94 c #Conflicts: 1179000 | #Constraints: 80931
3349.68/3414.94 c #Conflicts: 1180000 | #Constraints: 81931
3349.68/3414.94 c #Conflicts: 1181000 | #Constraints: 82931
3349.68/3414.94 c #Conflicts: 1182000 | #Constraints: 83931
3349.68/3414.94 c #Conflicts: 1183000 | #Constraints: 84931
3349.68/3414.94 c #Conflicts: 1184000 | #Constraints: 85931
3349.68/3414.94 c #Conflicts: 1185000 | #Constraints: 86931
3349.68/3414.94 c #Conflicts: 1186000 | #Constraints: 87931
3349.68/3414.94 c #Conflicts: 1187000 | #Constraints: 88931
3349.68/3414.94 c #Conflicts: 1188000 | #Constraints: 89931
3349.68/3414.94 c #Conflicts: 1189000 | #Constraints: 90931
3349.68/3414.94 c #Conflicts: 1190000 | #Constraints: 91931
3349.68/3414.94 c #Conflicts: 1191000 | #Constraints: 92931
3349.68/3414.94 c #Conflicts: 1192000 | #Constraints: 93931
3349.68/3414.94 c #Conflicts: 1193000 | #Constraints: 94931
3349.68/3414.94 c #Conflicts: 1194000 | #Constraints: 95931
3349.68/3414.94 c #Conflicts: 1195000 | #Constraints: 96931
3349.68/3414.94 c #Conflicts: 1196000 | #Constraints: 97931
3349.68/3414.94 c #Conflicts: 1197000 | #Constraints: 98931
3349.68/3414.94 c #Conflicts: 1198000 | #Constraints: 99931
3349.68/3414.94 c #Conflicts: 1199000 | #Constraints: 100931
3349.68/3414.94 c INPROCESSING
3349.68/3414.94 c GARBAGE COLLECT
3349.68/3414.94 c #Conflicts: 1200000 | #Constraints: 60399
3349.68/3414.94 c #Conflicts: 1201000 | #Constraints: 61399
3349.68/3414.94 c #Conflicts: 1202000 | #Constraints: 62399
3349.68/3414.94 c #Conflicts: 1203000 | #Constraints: 63399
3349.68/3414.94 c #Conflicts: 1204000 | #Constraints: 64399
3349.68/3414.94 c #Conflicts: 1205000 | #Constraints: 65399
3349.68/3414.94 c #Conflicts: 1206000 | #Constraints: 66399
3349.68/3414.94 c #Conflicts: 1207000 | #Constraints: 67399
3349.68/3414.94 c #Conflicts: 1208000 | #Constraints: 68399
3349.68/3414.94 c #Conflicts: 1209000 | #Constraints: 69399
3349.68/3414.94 c #Conflicts: 1210000 | #Constraints: 70399
3349.68/3414.94 c #Conflicts: 1211000 | #Constraints: 71399
3349.68/3414.94 c #Conflicts: 1212000 | #Constraints: 72399
3349.68/3414.94 c #Conflicts: 1213000 | #Constraints: 73399
3349.68/3414.94 c #Conflicts: 1214000 | #Constraints: 74400
3349.68/3414.94 c #Conflicts: 1215000 | #Constraints: 75400
3349.68/3414.94 c #Conflicts: 1216000 | #Constraints: 76400
3349.68/3414.94 c #Conflicts: 1217000 | #Constraints: 77400
3349.68/3414.94 c #Conflicts: 1218000 | #Constraints: 78400
3349.68/3414.94 c #Conflicts: 1219000 | #Constraints: 79400
3349.68/3414.94 c #Conflicts: 1220000 | #Constraints: 80400
3349.68/3414.94 c #Conflicts: 1221000 | #Constraints: 81400
3349.68/3414.94 c #Conflicts: 1222000 | #Constraints: 82400
3349.68/3414.94 c #Conflicts: 1223000 | #Constraints: 83400
3349.68/3414.94 c #Conflicts: 1224000 | #Constraints: 84400
3349.68/3414.94 c #Conflicts: 1225000 | #Constraints: 85400
3349.68/3414.94 c #Conflicts: 1226000 | #Constraints: 86400
3349.68/3414.94 c INPROCESSING
3349.68/3414.94 c GARBAGE COLLECT
3349.68/3414.94 c #Conflicts: 1227000 | #Constraints: 58087
3349.68/3414.94 c #Conflicts: 1228000 | #Constraints: 59087
3349.68/3414.94 c #Conflicts: 1229000 | #Constraints: 60087
3349.68/3414.94 c #Conflicts: 1230000 | #Constraints: 61087
3349.68/3414.94 c #Conflicts: 1231000 | #Constraints: 62087
3349.68/3414.94 c #Conflicts: 1232000 | #Constraints: 63087
3349.68/3414.94 c #Conflicts: 1233000 | #Constraints: 64087
3349.68/3414.94 c #Conflicts: 1234000 | #Constraints: 65087
3349.68/3414.94 c #Conflicts: 1235000 | #Constraints: 66087
3349.68/3414.94 c #Conflicts: 1236000 | #Constraints: 67087
3349.68/3414.94 c #Conflicts: 1237000 | #Constraints: 68087
3349.68/3414.94 c #Conflicts: 1238000 | #Constraints: 69087
3349.68/3414.94 c #Conflicts: 1239000 | #Constraints: 70087
3349.68/3414.94 c #Conflicts: 1240000 | #Constraints: 71087
3349.68/3414.94 c #Conflicts: 1241000 | #Constraints: 72087
3349.68/3414.94 c #Conflicts: 1242000 | #Constraints: 73087
3349.68/3414.94 c #Conflicts: 1243000 | #Constraints: 74087
3349.68/3414.94 c #Conflicts: 1244000 | #Constraints: 75087
3349.68/3414.94 c #Conflicts: 1245000 | #Constraints: 76087
3349.68/3414.94 c #Conflicts: 1246000 | #Constraints: 77087
3349.68/3414.94 c #Conflicts: 1247000 | #Constraints: 78087
3349.68/3414.94 c #Conflicts: 1248000 | #Constraints: 79087
3349.68/3414.94 c #Conflicts: 1249000 | #Constraints: 80087
3600.07/3667.80 c #Conflicts: 1250000 | #Constraints: 81087
3600.07/3667.80 c #Conflicts: 1251000 | #Constraints: 82087
3600.07/3667.80 c #Conflicts: 1252000 | #Constraints: 83087
3600.07/3667.80 c #Conflicts: 1253000 | #Constraints: 84087
3600.07/3667.80 c #Conflicts: 1254000 | #Constraints: 85087
3600.07/3667.80 c #Conflicts: 1255000 | #Constraints: 86087
3600.07/3667.80 c #Conflicts: 1256000 | #Constraints: 87087
3600.07/3667.80 c #Conflicts: 1257000 | #Constraints: 88087
3600.07/3667.80 c #Conflicts: 1258000 | #Constraints: 89087
3600.07/3667.80 c #Conflicts: 1259000 | #Constraints: 90087
3600.07/3667.80 c #Conflicts: 1260000 | #Constraints: 91087
3600.07/3667.80 c #Conflicts: 1261000 | #Constraints: 92087
3600.07/3667.80 c #Conflicts: 1262000 | #Constraints: 93087
3600.07/3667.80 c #Conflicts: 1263000 | #Constraints: 94087
3600.07/3667.80 c #Conflicts: 1264000 | #Constraints: 95087
3600.07/3667.80 c #Conflicts: 1265000 | #Constraints: 96087
3600.07/3667.80 c #Conflicts: 1266000 | #Constraints: 97087
3600.07/3667.80 c #Conflicts: 1267000 | #Constraints: 98087
3600.07/3667.80 c #Conflicts: 1268000 | #Constraints: 99087
3600.07/3667.80 c #Conflicts: 1269000 | #Constraints: 100087
3600.07/3667.80 c #Conflicts: 1270000 | #Constraints: 101087
3600.07/3667.80 c #Conflicts: 1271000 | #Constraints: 102087
3600.07/3667.80 c #Conflicts: 1272000 | #Constraints: 103087
3600.07/3667.80 c #Conflicts: 1273000 | #Constraints: 104087
3600.07/3667.80 c #Conflicts: 1274000 | #Constraints: 105087
3600.07/3667.80 c #Conflicts: 1275000 | #Constraints: 106087
3600.07/3667.80 c #Conflicts: 1276000 | #Constraints: 107087
3600.07/3667.80 c #Conflicts: 1277000 | #Constraints: 108087
3600.07/3667.80 c #Conflicts: 1278000 | #Constraints: 109087
3600.07/3667.80 c #Conflicts: 1279000 | #Constraints: 110087
3600.07/3667.80 c #Conflicts: 1280000 | #Constraints: 111087
3600.07/3667.80 c #Conflicts: 1281000 | #Constraints: 112087
3600.07/3667.80 c #Conflicts: 1282000 | #Constraints: 113087
3600.07/3667.80 c #Conflicts: 1283000 | #Constraints: 114087
3600.07/3667.80 c #Conflicts: 1284000 | #Constraints: 115087
3600.07/3667.80 c #Conflicts: 1285000 | #Constraints: 116087
3600.07/3667.80 c #Conflicts: 1286000 | #Constraints: 117087
3600.07/3667.80 c #Conflicts: 1287000 | #Constraints: 118087
3600.07/3667.80 c #Conflicts: 1288000 | #Constraints: 119087
3600.07/3667.80 c #Conflicts: 1289000 | #Constraints: 120087
3600.07/3667.80 c #Conflicts: 1290000 | #Constraints: 121087
3600.07/3667.80 c #Conflicts: 1291000 | #Constraints: 122087
3600.07/3667.80 c #Conflicts: 1292000 | #Constraints: 123087
3600.07/3667.80 c #Conflicts: 1293000 | #Constraints: 124087
3600.07/3667.80 c #Conflicts: 1294000 | #Constraints: 125087
3600.07/3667.80 c #Conflicts: 1295000 | #Constraints: 126087
3600.07/3667.80 c #Conflicts: 1296000 | #Constraints: 127087
3600.07/3667.80 c #Conflicts: 1297000 | #Constraints: 128087
3600.07/3667.80 c #Conflicts: 1298000 | #Constraints: 129087
3600.07/3667.80 c #Conflicts: 1299000 | #Constraints: 130087
3600.07/3667.80 c #Conflicts: 1300000 | #Constraints: 131087
3600.07/3667.80 c #Conflicts: 1301000 | #Constraints: 132087
3600.07/3667.80 c #Conflicts: 1302000 | #Constraints: 133087
3600.07/3667.80 c #Conflicts: 1303000 | #Constraints: 134087
3600.07/3667.80 c #Conflicts: 1304000 | #Constraints: 135087
3600.07/3667.80 c #Conflicts: 1305000 | #Constraints: 136087
3600.07/3667.80 c INPROCESSING
3600.07/3667.80 c GARBAGE COLLECT
3600.07/3667.80 c #Conflicts: 1306000 | #Constraints: 77869
3600.07/3667.80 c #Conflicts: 1307000 | #Constraints: 78869
3600.07/3667.80 c #Conflicts: 1308000 | #Constraints: 79869
3600.07/3667.80 c #Conflicts: 1309000 | #Constraints: 80869
3600.07/3667.80 c #Conflicts: 1310000 | #Constraints: 81869
3600.07/3667.80 c #Conflicts: 1311000 | #Constraints: 82869
3600.07/3667.80 c #Conflicts: 1312000 | #Constraints: 83869
3600.07/3667.80 c #Conflicts: 1313000 | #Constraints: 84869
3600.07/3667.80 c #Conflicts: 1314000 | #Constraints: 85869
3600.07/3667.80 c #Conflicts: 1315000 | #Constraints: 86869
3600.07/3667.80 c #Conflicts: 1316000 | #Constraints: 87869
3600.07/3667.80 c #Conflicts: 1317000 | #Constraints: 88869
3600.07/3667.80 c #Conflicts: 1318000 | #Constraints: 89869
3600.07/3667.80 c #Conflicts: 1319000 | #Constraints: 90869
3600.07/3667.80 c cpu time 3573.32 s
3600.07/3667.80 c deterministic time 205115539998 2.05e+11
3600.07/3667.80 c optimization time 35.9828 s
3600.07/3667.80 c total solve time 3537.23 s
3600.07/3667.80 c core-guided solve time 0 s
3600.07/3667.80 c propagation time 1610.66 s
3600.07/3667.80 c conflict analysis time 1557.39 s
3600.07/3667.80 c propagations 1323211572
3600.07/3667.80 c resolve steps 99576002
3600.07/3667.80 c decisions 18854278
3600.07/3667.80 c conflicts 1319022
3600.07/3667.80 c restarts 2555
3600.07/3667.80 c inprocessing phases 57
3600.07/3667.80 c garbage collections 57 ,( 100.00 )
3600.07/3667.80 c input clauses 16100 ,( 99.18 )
3600.07/3667.80 c input cardinalities 133 ,( 0.82 )
3600.07/3667.80 c input general constraints 0 ,( 0.00 )
3600.07/3667.80 c input average constraint length 6.40
3600.07/3667.80 c input average constraint degree 1.96
3600.07/3667.80 c learned clauses 1006291 ,( 76.29 )
3600.07/3667.80 c learned cardinalities 35747 ,( 2.71 )
3600.07/3667.80 c learned general constraints 276987 ,( 21.00 )
3600.07/3667.80 c learned average constraint length 768.96
3600.07/3667.80 c learned average constraint degree 26901903.56
3600.07/3667.80 c watched CF 32, 64, 128, Arb: 78134 , 0 , 0 , 0
3600.07/3667.80 c counting CF 32, 64, 128, Arb: 198853 , 0 , 0 , 0
3600.07/3667.80 c watched constraints 78134 ,( 28.21 )
3600.07/3667.80 c counting constraints 198853 ,( 71.79 )
3600.07/3667.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1330713201 , 512543921 , 1862682508 ,( 73772712 , 1788909796 )
3600.07/3667.80 c gcd simplifications 634
3600.07/3667.80 c detected cardinalities 4002
3600.07/3667.80 c weakened non-implied lits 391471600
3600.07/3667.80 c weakened non-implying lits 202168
3600.07/3667.80 c original variables 15872
3600.07/3667.80 c clausal propagations 610269050
3600.07/3667.80 c cardinality propagations 473670624
3600.07/3667.80 c watched propagations 4496924
3600.07/3667.80 c counting propagations 224481694
3600.07/3667.80 c watch lookups 82858279137
3600.07/3667.80 c watch backjump lookups 0
3600.07/3667.80 c watch checks 32070847821
3600.07/3667.80 c propagation checks 82655593853
3600.07/3667.80 c constraint additions 4845094328
3600.07/3667.80 c trail pops 1343371169
3600.07/3667.80 c formula constraints 16233
3600.07/3667.80 c learned constraints 1319018
3600.07/3667.80 c bound constraints 0
3600.07/3667.80 c core-guided constraints 0
3600.07/3667.80 c encountered formula constraints 68185522
3600.07/3667.80 c encountered learned constraints 32709114
3600.07/3667.80 c encountered bound constraints 0
3600.07/3667.80 c encountered core-guided constraints 0
3600.07/3667.80 c LP total time 382.785 s
3600.07/3667.80 c LP solve time 376.4 s
3600.07/3667.80 c LP constraints added 16381
3600.07/3667.80 c LP constraints removed 0
3600.07/3667.80 c LP pivots internal 139148
3600.07/3667.80 c LP pivots root 148691
3600.07/3667.80 c LP calls 12
3600.07/3667.80 c LP optimalities 2
3600.07/3667.80 c LP no pivot count 0
3600.07/3667.80 c LP infeasibilities 3
3600.07/3667.80 c LP valid Farkas constraints 3
3600.07/3667.80 c LP learned Farkas constraints 3
3600.07/3667.80 c LP basis resets 0
3600.07/3667.80 c LP cycling count 0
3600.07/3667.80 c LP singular count 0
3600.07/3667.80 c LP no primal count 0
3600.07/3667.80 c LP no farkas count 0
3600.07/3667.80 c LP other issue count 0
3600.07/3667.80 c LP Gomory cuts 1
3600.07/3667.80 c LP learned cuts 147
3600.07/3667.80 c LP deleted cuts 0
3600.07/3667.80 c LP encountered Gomory constraints 0
3600.07/3667.80 c LP encountered Farkas constraints 377
3600.07/3667.80 c LP encountered learned Farkas constraints 8
3600.07/3667.80 c CG auxiliary variables introduced 0
3600.07/3667.80 c CG solutions found 0
3600.07/3667.80 c CG cores constructed 0
3600.07/3667.80 c CG core cardinality constraints returned 0
3600.07/3667.80 c CG unit cores 0
3600.07/3667.80 c CG single cores 0
3600.07/3667.80 c CG blocks removed during cardinality reduction 0
3600.07/3667.80 c CG first core best 0
3600.07/3667.80 c CG decision core best 0
3600.07/3667.80 c CG core reduction tie 0
3600.07/3667.80 c CG core degree average 0.00
3600.07/3667.80 c CG core slack average 0.00
3600.07/3667.80 c CG core upper bound improvements 0
3600.07/3667.80 c STR number of successful calls 0
3600.07/3667.80 c STR number of unsuccessful calls 0
3600.07/3667.80 c STR number of inconclusive calls 0
3600.07/3667.80 c STR number of successful attempts 0
3600.07/3667.80 c STR number of unsuccessful attempts 0
3600.07/3667.80 c STR number of inconclusive attempts 0
3600.07/3667.80 c STR average degree increase per successful call inf
3600.07/3667.80 c STR average degree increase per successful attempt inf
3600.07/3667.80 c STR total number of conflicts for successful attempts 0
3600.07/3667.80 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3667.80 c STR total number of conflicts for inconclusive attempts 0
3600.07/3667.80 c STR average number of conflicts per successful attempt inf
3600.07/3667.80 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3667.80 c STR average number of conflicts per inconclusive attempt inf
3600.07/3667.80 c AVG.sumWPerc 63.99
3600.07/3667.80 c bigint constraints 0
3600.07/3667.80 s UNKNOWN
3600.07/3667.80 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 (62294 MiB free)
memory of node 1: 64465 MiB (61209 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506945-1751172857/watcher-4506945-1751172857 -o /tmp/evaluation-result-4506945-1751172857/solver-4506945-1751172857 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22053 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4506945-1751172857.opb PROOFDIR/proof-4506945-1751172857
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22713, runsolver pid=22710
[startup+0.100061 s]*
/proc/loadavg: 4.12 4.12 4.09 5/272 22716
/proc/meminfo: memFree=126440232/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=59112 memory=12288 CPUtime=0 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 1243 0 0 0 0 0 0 0 20 0 1 0 32964395 60530688 3072 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 14778 3072 2048 1147 0 2205 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 63304 KiB
Current children cumulated memory: 15104 KiB
[startup+0.205839 s]*
/proc/loadavg: 4.12 4.12 4.09 5/272 22716
/proc/meminfo: memFree=126436104/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=75484 memory=31112 CPUtime=0.1 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 5950 0 0 0 9 1 0 0 20 0 1 0 32964395 77295616 7778 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 18871 7778 2272 1147 0 6298 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 79676 KiB
Current children cumulated memory: 33928 KiB
[startup+0.305818 s]*
/proc/loadavg: 4.12 4.12 4.09 5/272 22716
/proc/meminfo: memFree=126422432/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=97276 memory=50244 CPUtime=0.2 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 10422 0 0 0 18 2 0 0 20 0 1 0 32964395 99610624 12561 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 24319 12561 2304 1147 0 11746 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 101468 KiB
Current children cumulated memory: 53060 KiB
[startup+0.700215 s]
/proc/loadavg: 4.12 4.12 4.09 5/272 22716
/proc/meminfo: memFree=126420416/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=98116 memory=51524 CPUtime=0.59 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 10741 0 0 0 57 2 0 0 20 0 1 0 32964395 100470784 12881 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 24529 12881 2304 1147 0 11956 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 102308 KiB
Current children cumulated memory: 54340 KiB
[startup+1.50022 s]
/proc/loadavg: 4.12 4.12 4.09 5/272 22716
/proc/meminfo: memFree=126420416/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=98116 memory=51524 CPUtime=1.39 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 10741 0 0 0 137 2 0 0 20 0 1 0 32964395 100470784 12881 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 24529 12881 2304 1147 0 11956 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 102308 KiB
Current children cumulated memory: 54340 KiB
[startup+3.10559 s]
/proc/loadavg: 4.11 4.12 4.09 5/272 22716
/proc/meminfo: memFree=126400036/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=101892 memory=55620 CPUtime=2.99 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 11727 0 0 0 295 4 0 0 20 0 1 0 32964395 104337408 13905 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 25473 13905 2336 1147 0 12900 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 106084 KiB
Current children cumulated memory: 58436 KiB
[startup+6.30019 s]
/proc/loadavg: 4.11 4.12 4.09 5/272 22716
/proc/meminfo: memFree=126364800/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=106300 memory=62856 CPUtime=6.17 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 13013 0 0 0 605 12 0 0 20 0 1 0 32964395 108851200 15714 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 26575 15714 2368 1147 0 14002 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 110492 KiB
Current children cumulated memory: 65672 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 22716
/proc/meminfo: memFree=126325420/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=114016 memory=70328 CPUtime=12.55 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 14370 0 0 0 1233 22 0 0 20 0 1 0 32964395 116752384 17582 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 28504 17582 2368 1147 0 15931 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 118208 KiB
Current children cumulated memory: 73144 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.09 5/273 22717
/proc/meminfo: memFree=126243544/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=125340 memory=77224 CPUtime=25.31 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 16147 0 0 0 2491 40 0 0 20 0 1 0 32964395 128348160 19306 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 31335 19306 2368 1147 0 18762 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 129532 KiB
Current children cumulated memory: 80040 KiB
[startup+51.1057 s]
/proc/loadavg: 4.11 4.11 4.09 5/273 22717
/proc/meminfo: memFree=126013188/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=166384 memory=114792 CPUtime=50.83 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 24031 0 0 0 4995 88 0 0 20 0 1 0 32964395 170377216 28698 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 41596 28698 2368 1147 0 29023 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 170576 KiB
Current children cumulated memory: 117608 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/273 22719
/proc/meminfo: memFree=125672560/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=212060 memory=150372 CPUtime=99.01 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 30879 0 0 0 9750 151 0 0 20 0 1 0 32964395 217149440 37593 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 53015 37593 2368 1147 0 40442 0
Current children cumulated CPU time: 99.08 s
Current children cumulated vsize: 216252 KiB
Current children cumulated memory: 153188 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/273 22725
/proc/meminfo: memFree=125213432/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=252204 memory=182812 CPUtime=158.72 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 33894 0 0 0 15637 235 0 0 20 0 1 0 32964395 258256896 45703 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 63051 45703 2368 1147 0 50478 0
Current children cumulated CPU time: 158.79 s
Current children cumulated vsize: 256396 KiB
Current children cumulated memory: 185628 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/272 22727
/proc/meminfo: memFree=124893624/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=255544 memory=189596 CPUtime=218.47 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 34765 0 0 0 21548 299 0 0 20 0 1 0 32964395 261677056 47399 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 63886 47399 2368 1147 0 51313 0
################
# More data... #
################
/proc/22716/statm: 260057 219929 2368 1147 0 247484 0
Current children cumulated CPU time: 3038.79 s
Current children cumulated vsize: 1044420 KiB
Current children cumulated memory: 882532 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 23026
/proc/meminfo: memFree=118214608/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=1045048 memory=884452 CPUtime=3098.48 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 110351 0 0 0 307517 2331 0 0 20 0 1 0 32964395 1070129152 221113 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 261262 221113 2368 1147 0 248689 0
Current children cumulated CPU time: 3098.55 s
Current children cumulated vsize: 1049240 KiB
Current children cumulated memory: 887268 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/272 23032
/proc/meminfo: memFree=117600056/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=1055060 memory=892516 CPUtime=3158.26 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 112370 0 0 0 313461 2365 0 0 20 0 1 0 32964395 1080381440 223129 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 263765 223129 2368 1147 0 251192 0
Current children cumulated CPU time: 3158.33 s
Current children cumulated vsize: 1059252 KiB
Current children cumulated memory: 895332 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 23034
/proc/meminfo: memFree=117122076/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=1055060 memory=892516 CPUtime=3218 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 112507 0 0 0 319393 2407 0 0 20 0 1 0 32964395 1080381440 223129 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 263765 223129 2368 1147 0 251192 0
Current children cumulated CPU time: 3218.07 s
Current children cumulated vsize: 1059252 KiB
Current children cumulated memory: 895332 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 23040
/proc/meminfo: memFree=116486920/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=1055060 memory=896740 CPUtime=3277.76 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 112623 0 0 0 325328 2448 0 0 20 0 1 0 32964395 1080381440 224185 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 263765 224185 2368 1147 0 251192 0
Current children cumulated CPU time: 3277.83 s
Current children cumulated vsize: 1059252 KiB
Current children cumulated memory: 899556 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/272 23042
/proc/meminfo: memFree=115939760/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=1056224 memory=904548 CPUtime=3337.38 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 112927 0 0 0 331244 2494 0 0 20 0 1 0 32964395 1081573376 226137 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 264056 226137 2368 1147 0 251483 0
Current children cumulated CPU time: 3337.45 s
Current children cumulated vsize: 1060416 KiB
Current children cumulated memory: 907364 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 23045
/proc/meminfo: memFree=115544828/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=1056224 memory=905188 CPUtime=3396.81 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 112955 0 0 0 337135 2546 0 0 20 0 1 0 32964395 1081573376 226297 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 264056 226297 2368 1147 0 251483 0
Current children cumulated CPU time: 3396.88 s
Current children cumulated vsize: 1060416 KiB
Current children cumulated memory: 908004 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/273 23047
/proc/meminfo: memFree=115091120/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=1058436 memory=907364 CPUtime=3456.58 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 113496 0 0 0 343076 2582 0 0 20 0 1 0 32964395 1083838464 226841 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 264609 226841 2368 1147 0 252036 0
Current children cumulated CPU time: 3456.65 s
Current children cumulated vsize: 1062628 KiB
Current children cumulated memory: 910180 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/274 23050
/proc/meminfo: memFree=114775204/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=1064564 memory=911844 CPUtime=3514.82 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 114648 0 0 0 348867 2615 0 0 20 0 1 0 32964395 1090113536 227961 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 266141 227961 2368 1147 0 253568 0
Current children cumulated CPU time: 3514.89 s
Current children cumulated vsize: 1068756 KiB
Current children cumulated memory: 914660 KiB
[startup+3642.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 23053
/proc/meminfo: memFree=114457632/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=1082136 memory=923620 CPUtime=3574.61 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 117572 0 0 0 354807 2654 0 0 20 0 1 0 32964395 1108107264 230905 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 270534 230905 2368 1147 0 257961 0
Current children cumulated CPU time: 3574.68 s
Current children cumulated vsize: 1086328 KiB
Current children cumulated memory: 926436 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3667.8 s]
/proc/loadavg: 4.11 4.10 4.09 5/274 23057
/proc/meminfo: memFree=114290776/131250000 swapFree=33010684/33010684
[pid=22713] ppid=22710 vsize=4192 memory=2816 CPUtime=0.07 cores=0,2
/proc/22713/stat : 22713 (run-dec-break-l) S 22710 22713 22043 0 -1 4194304 241 10321 0 0 0 0 5 2 20 0 1 0 32964385 4292608 704 18446744073709551615 93968234037248 93968234931781 140732831034848 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93968235170832 93968235218576 93968265703424 140732831041813 140732831042014 140732831042014 140732831047616 0
/proc/22713/statm: 1048 704 672 219 0 110 0
[pid=22716] ppid=22713 vsize=1082136 memory=923620 CPUtime=3600 cores=0,2
/proc/22716/stat : 22716 (roundingsat) R 22713 22713 22043 0 -1 4194304 117572 0 0 0 357332 2668 0 0 20 0 1 0 32964395 1108107264 230905 18446744073709551615 4227072 8923433 140727106940816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25952256 140727106943220 140727106943528 140727106943528 140727106949098 0
/proc/22716/statm: 270534 230905 2368 1147 0 257961 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1086328 KiB
Current children cumulated memory: 926436 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3667.8 s]
# the end of solver process 22713 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.055159 s, system=0.024733 s
[startup+3667.84 s]
# the end of solver process 22716 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3573.39 s, system=26.7133 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
Child status: 2
Real time (s): 3667.84
CPU time (s): 3600.1
CPU user time (s): 3573.39
CPU system time (s): 26.7133
CPU usage (%): 98.1531
Max. virtual memory (cumulated for all children) (KiB): 1086328
Max. memory (cumulated for all children) (KiB): 926436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.39
system time used= 26.7133
maximum resident set size= 924004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128154
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12083976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 824
involuntary context switches= 8772
# summary of solver processes directly reported to runsolver:
# pid: 22713,22716
# total CPU time (s): 3600.1
# total CPU user time (s): 3573.39
# total CPU system time (s): 26.7133
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36161 second user time and 17.0632 second system time
The end
Begin job on nodeC026 at 2025-06-29 06:54:17
IDJOB=4506945
IDBENCH=158309
IDSOLVER=3358
FILE ID=nodeC026/4506945-1751172857
RUNJOBID= nodeC026-1751168686-22053
SLURM_JOB_ID= 9587513
Free space on /tmp= 432932 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K133.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506945-1751172857/watcher-4506945-1751172857 -o /tmp/evaluation-result-4506945-1751172857/solver-4506945-1751172857 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22053 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4506945-1751172857.opb PROOFDIR/proof-4506945-1751172857
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9ec822d6c0cd68d217a6cdee070ca11c
RANDOM SEED=911724356
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.794
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.780
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3626.836
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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.473
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.795
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.785
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3655.990
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3614.498
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126469692 kB
MemAvailable: 128382544 kB
Buffers: 3280 kB
Cached: 2720808 kB
SwapCached: 0 kB
Active: 1690632 kB
Inactive: 2501608 kB
Active(anon): 1486292 kB
Inactive(anon): 0 kB
Active(file): 204340 kB
Inactive(file): 2501608 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 52908 kB
Writeback: 60 kB
AnonPages: 1468272 kB
Mapped: 115708 kB
Shmem: 18080 kB
KReclaimable: 92284 kB
Slab: 179656 kB
SReclaimable: 92284 kB
SUnreclaim: 87372 kB
KernelStack: 4448 kB
PageTables: 6132 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2007460 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1052672 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC026 at 2025-06-29 07:55:25