0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4506729-1751170426.opb'
0.00/0.03 c read 1.08MB (14.45ms)
0.00/0.03 c [cnf: #variables 15946 #clauses 16216 #duplicates 0 #arr 104232]
0.00/0.08 c output proof to 'PROOFDIR/proof-4506729-1751170426'
0.00/0.08 c
0.00/0.08 c make graph and approximate orbits
0.00/0.10 c [group: #orbits ~= 2412] (20.23ms)
0.00/0.10 c
0.00/0.10 c detect special group actions
0.00/0.10 c probe for Johnson action (limit=64)
0.00/0.10 c probe for row-column symmetry (limit=64, splits=16.78M)
0.02/0.10 c probe for row symmetry (limit=64, splits=16.78M)
0.02/0.10 c (3.37ms)
0.02/0.10 c
0.02/0.10 c detect symmetries on remainder
0.02/0.10 c [graph: #vertices 80000 #edges 304140]
0.02/0.10 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.02/0.12 c [group: #symmetries 4.80*10^1 #generators 5] (17.80ms)
0.02/0.12 c
0.02/0.12 c optimize generators (opt_passes=64, conjugate_limit=256)
0.02/0.12 c (0.05ms)
0.02/0.12 c
0.02/0.12 c finalize break order and special generators
0.02/0.12 c
0.02/0.12 c add generic predicates (break_depth=10)
0.02/0.12 c added predicates for 5 generators (0.04ms)
0.02/0.13 c
0.02/0.13 c generation finished
0.02/0.13 c [sbp: #constraints 140 #add_vars 45]
0.02/0.13 c
0.02/0.13 c write result to 'HOME/instance-4506729-1751170426.opb.pre'
0.02/0.13 c wrote 1.10MB (2.65ms)
0.02/0.13 c ------------------------------------------------------------------
0.02/0.13 c 58.22ms 49.61% other
0.02/0.13 c 20.23ms 17.23% approx_orbits
0.02/0.13 c 17.80ms 15.17% detect_generic
0.02/0.13 c 14.45ms 12.31% parse
0.02/0.13 c 3.37ms 2.87% detect_special
0.02/0.13 c 2.65ms 2.26% output
0.02/0.13 c 0.55ms 0.47% finalize_order
0.02/0.13 c 0.05ms 0.04% optimize_gens
0.02/0.13 c 0.04ms 0.04% break_generic
0.02/0.13 c ───────────────────────────────────────────────
0.02/0.13 c 117.37ms 100% total
0.02/0.13 c ------------------------------------------------------------------
0.02/0.15 c RoundingSat 2
0.02/0.15 c branch pb25
0.02/0.15 c commit 63f22ad
0.11/0.28 c #variables 15991 #constraints 16354
109.17/109.71 c #Conflicts: 1000 | #Constraints: 17353
109.17/109.71 c #Conflicts: 2000 | #Constraints: 18353
109.17/109.71 c INPROCESSING
109.17/109.71 c GARBAGE COLLECT
109.17/109.71 c #Conflicts: 3000 | #Constraints: 17581
109.17/109.71 c #Conflicts: 4000 | #Constraints: 18581
109.17/109.71 c INPROCESSING
109.17/109.71 c GARBAGE COLLECT
109.17/109.71 c #Conflicts: 5000 | #Constraints: 18041
109.17/109.71 c #Conflicts: 6000 | #Constraints: 19041
109.17/109.71 c INPROCESSING
109.17/109.71 c GARBAGE COLLECT
109.17/109.71 c #Conflicts: 7000 | #Constraints: 18107
109.17/109.71 c #Conflicts: 8000 | #Constraints: 19107
109.17/109.71 c #Conflicts: 9000 | #Constraints: 20107
109.17/109.71 c INPROCESSING
109.17/109.71 c GARBAGE COLLECT
109.17/109.71 c #Conflicts: 10000 | #Constraints: 18643
109.17/109.71 c #Conflicts: 11000 | #Constraints: 19643
109.17/109.71 c #Conflicts: 12000 | #Constraints: 20643
109.17/109.71 c INPROCESSING
109.17/109.71 c GARBAGE COLLECT
109.17/109.71 c #Conflicts: 13000 | #Constraints: 19166
109.17/109.71 c #Conflicts: 14000 | #Constraints: 20166
109.17/109.71 c #Conflicts: 15000 | #Constraints: 21166
109.17/109.71 c INPROCESSING
109.17/109.71 c GARBAGE COLLECT
109.17/109.71 c #Conflicts: 16000 | #Constraints: 19458
109.17/109.71 c #Conflicts: 17000 | #Constraints: 20458
109.17/109.71 c #Conflicts: 18000 | #Constraints: 21458
109.17/109.71 c INPROCESSING
109.17/109.71 c GARBAGE COLLECT
109.17/109.71 c #Conflicts: 19000 | #Constraints: 19511
109.17/109.71 c #Conflicts: 20000 | #Constraints: 20511
109.17/109.71 c #Conflicts: 21000 | #Constraints: 21511
109.17/109.71 c #Conflicts: 22000 | #Constraints: 22511
109.17/109.71 c #Conflicts: 23000 | #Constraints: 23511
109.17/109.71 c #Conflicts: 24000 | #Constraints: 24511
109.17/109.71 c #Conflicts: 25000 | #Constraints: 25511
109.17/109.71 c #Conflicts: 26000 | #Constraints: 26511
109.17/109.71 c #Conflicts: 27000 | #Constraints: 27511
109.17/109.71 c #Conflicts: 28000 | #Constraints: 28511
109.17/109.71 c INPROCESSING
109.17/109.71 c GARBAGE COLLECT
109.17/109.71 c #Conflicts: 29000 | #Constraints: 22835
109.17/109.71 c #Conflicts: 30000 | #Constraints: 23835
109.17/109.71 c #Conflicts: 31000 | #Constraints: 24835
109.17/109.71 c #Conflicts: 32000 | #Constraints: 25835
109.17/109.71 c #Conflicts: 33000 | #Constraints: 26835
109.17/109.71 c INPROCESSING
109.17/109.71 c GARBAGE COLLECT
109.17/109.71 c #Conflicts: 34000 | #Constraints: 22277
109.17/109.71 c #Conflicts: 35000 | #Constraints: 23277
109.17/109.71 c #Conflicts: 36000 | #Constraints: 24277
109.17/109.71 c #Conflicts: 37000 | #Constraints: 25277
109.17/109.71 c #Conflicts: 38000 | #Constraints: 26277
109.17/109.71 c INPROCESSING
109.17/109.71 c GARBAGE COLLECT
109.17/109.71 c #Conflicts: 39000 | #Constraints: 22184
109.17/109.71 c #Conflicts: 40000 | #Constraints: 23184
109.17/109.71 c #Conflicts: 41000 | #Constraints: 24184
109.17/109.71 c #Conflicts: 42000 | #Constraints: 25184
109.17/109.71 c #Conflicts: 43000 | #Constraints: 26184
109.17/109.71 c #Conflicts: 44000 | #Constraints: 27184
109.17/109.71 c #Conflicts: 45000 | #Constraints: 28184
109.17/109.71 c #Conflicts: 46000 | #Constraints: 29184
109.17/109.71 c #Conflicts: 47000 | #Constraints: 30184
109.17/109.71 c #Conflicts: 48000 | #Constraints: 31184
109.17/109.71 c #Conflicts: 49000 | #Constraints: 32184
109.17/109.71 c #Conflicts: 50000 | #Constraints: 33184
109.17/109.71 c #Conflicts: 51000 | #Constraints: 34184
109.17/109.71 c #Conflicts: 52000 | #Constraints: 35184
109.17/109.71 c INPROCESSING
109.17/109.71 c GARBAGE COLLECT
109.17/109.71 c #Conflicts: 53000 | #Constraints: 26238
109.17/109.71 c #Conflicts: 54000 | #Constraints: 27238
109.17/109.71 c #Conflicts: 55000 | #Constraints: 28238
109.17/109.71 c #Conflicts: 56000 | #Constraints: 29238
109.17/109.71 c #Conflicts: 57000 | #Constraints: 30238
109.17/109.71 c #Conflicts: 58000 | #Constraints: 31238
109.17/109.71 c INPROCESSING
109.17/109.71 c GARBAGE COLLECT
109.17/109.71 c #Conflicts: 59000 | #Constraints: 24322
109.17/109.71 c #Conflicts: 60000 | #Constraints: 25322
109.17/109.71 c #Conflicts: 61000 | #Constraints: 26322
109.17/109.71 c #Conflicts: 62000 | #Constraints: 27322
109.17/109.71 c #Conflicts: 63000 | #Constraints: 28322
109.17/109.71 c #Conflicts: 64000 | #Constraints: 29322
109.17/109.71 c #Conflicts: 65000 | #Constraints: 30322
109.17/109.71 c INPROCESSING
109.17/109.71 c GARBAGE COLLECT
109.17/109.71 c #Conflicts: 66000 | #Constraints: 24278
109.17/109.71 c #Conflicts: 67000 | #Constraints: 25278
109.17/109.71 c #Conflicts: 68000 | #Constraints: 26278
109.17/109.71 c #Conflicts: 69000 | #Constraints: 27278
109.17/109.71 c #Conflicts: 70000 | #Constraints: 28278
109.17/109.71 c #Conflicts: 71000 | #Constraints: 29278
230.04/231.17 c #Conflicts: 72000 | #Constraints: 30278
230.04/231.17 c #Conflicts: 73000 | #Constraints: 31278
230.04/231.17 c #Conflicts: 74000 | #Constraints: 32278
230.04/231.17 c #Conflicts: 75000 | #Constraints: 33278
230.04/231.17 c #Conflicts: 76000 | #Constraints: 34278
230.04/231.17 c #Conflicts: 77000 | #Constraints: 35278
230.04/231.17 c #Conflicts: 78000 | #Constraints: 36278
230.04/231.17 c #Conflicts: 79000 | #Constraints: 37278
230.04/231.17 c #Conflicts: 80000 | #Constraints: 38278
230.04/231.17 c #Conflicts: 81000 | #Constraints: 39278
230.04/231.17 c #Conflicts: 82000 | #Constraints: 40278
230.04/231.17 c #Conflicts: 83000 | #Constraints: 41278
230.04/231.17 c #Conflicts: 84000 | #Constraints: 42278
230.04/231.17 c INPROCESSING
230.04/231.17 c GARBAGE COLLECT
230.04/231.17 c #Conflicts: 85000 | #Constraints: 30304
230.04/231.17 c #Conflicts: 86000 | #Constraints: 31304
230.04/231.17 c #Conflicts: 87000 | #Constraints: 32304
230.04/231.17 c #Conflicts: 88000 | #Constraints: 33304
230.04/231.17 c #Conflicts: 89000 | #Constraints: 34304
230.04/231.17 c #Conflicts: 90000 | #Constraints: 35304
230.04/231.17 c #Conflicts: 91000 | #Constraints: 36304
230.04/231.17 c INPROCESSING
230.04/231.17 c GARBAGE COLLECT
230.04/231.17 c #Conflicts: 92000 | #Constraints: 27175
230.04/231.17 c #Conflicts: 93000 | #Constraints: 28175
230.04/231.17 c #Conflicts: 94000 | #Constraints: 29175
230.04/231.17 c #Conflicts: 95000 | #Constraints: 30175
230.04/231.17 c #Conflicts: 96000 | #Constraints: 31175
230.04/231.17 c #Conflicts: 97000 | #Constraints: 32175
230.04/231.17 c #Conflicts: 98000 | #Constraints: 33175
230.04/231.17 c #Conflicts: 99000 | #Constraints: 34175
230.04/231.17 c INPROCESSING
230.04/231.17 c GARBAGE COLLECT
230.04/231.17 c #Conflicts: 100000 | #Constraints: 26218
230.04/231.17 c #Conflicts: 101000 | #Constraints: 27219
230.04/231.17 c #Conflicts: 102000 | #Constraints: 28219
230.04/231.17 c #Conflicts: 103000 | #Constraints: 29219
230.04/231.17 c #Conflicts: 104000 | #Constraints: 30219
230.04/231.17 c #Conflicts: 105000 | #Constraints: 31219
230.04/231.17 c #Conflicts: 106000 | #Constraints: 32219
230.04/231.17 c #Conflicts: 107000 | #Constraints: 33219
230.04/231.17 c #Conflicts: 108000 | #Constraints: 34219
230.04/231.17 c #Conflicts: 109000 | #Constraints: 35219
230.04/231.17 c #Conflicts: 110000 | #Constraints: 36219
230.04/231.17 c #Conflicts: 111000 | #Constraints: 37219
230.04/231.17 c #Conflicts: 112000 | #Constraints: 38219
230.04/231.17 c #Conflicts: 113000 | #Constraints: 39219
230.04/231.17 c #Conflicts: 114000 | #Constraints: 40219
230.04/231.17 c #Conflicts: 115000 | #Constraints: 41219
230.04/231.17 c #Conflicts: 116000 | #Constraints: 42219
230.04/231.17 c #Conflicts: 117000 | #Constraints: 43219
230.04/231.17 c #Conflicts: 118000 | #Constraints: 44219
230.04/231.17 c #Conflicts: 119000 | #Constraints: 45219
230.04/231.17 c #Conflicts: 120000 | #Constraints: 46219
230.04/231.17 c #Conflicts: 121000 | #Constraints: 47219
230.04/231.17 c #Conflicts: 122000 | #Constraints: 48219
230.04/231.17 c INPROCESSING
230.04/231.17 c GARBAGE COLLECT
230.04/231.17 c #Conflicts: 123000 | #Constraints: 33271
230.04/231.17 c #Conflicts: 124000 | #Constraints: 34271
230.04/231.17 c #Conflicts: 125000 | #Constraints: 35271
230.04/231.17 c #Conflicts: 126000 | #Constraints: 36271
230.04/231.17 c #Conflicts: 127000 | #Constraints: 37271
230.04/231.17 c #Conflicts: 128000 | #Constraints: 38271
230.04/231.17 c #Conflicts: 129000 | #Constraints: 39271
230.04/231.17 c #Conflicts: 130000 | #Constraints: 40271
230.04/231.17 c #Conflicts: 131000 | #Constraints: 41271
230.04/231.17 c INPROCESSING
230.04/231.17 c GARBAGE COLLECT
230.04/231.17 c #Conflicts: 132000 | #Constraints: 29665
230.04/231.17 c #Conflicts: 133000 | #Constraints: 30665
230.04/231.17 c #Conflicts: 134000 | #Constraints: 31665
230.04/231.17 c #Conflicts: 135000 | #Constraints: 32665
230.04/231.17 c #Conflicts: 136000 | #Constraints: 33665
230.04/231.17 c #Conflicts: 137000 | #Constraints: 34665
230.04/231.17 c #Conflicts: 138000 | #Constraints: 35665
230.04/231.17 c #Conflicts: 139000 | #Constraints: 36665
230.04/231.17 c #Conflicts: 140000 | #Constraints: 37665
230.04/231.17 c INPROCESSING
230.04/231.17 c GARBAGE COLLECT
230.04/231.17 c #Conflicts: 141000 | #Constraints: 28309
230.04/231.17 c #Conflicts: 142000 | #Constraints: 29309
230.04/231.17 c #Conflicts: 143000 | #Constraints: 30309
230.04/231.17 c #Conflicts: 144000 | #Constraints: 31309
230.04/231.17 c #Conflicts: 145000 | #Constraints: 32309
230.04/231.17 c #Conflicts: 146000 | #Constraints: 33309
402.63/404.91 c #Conflicts: 147000 | #Constraints: 34309
402.63/404.91 c #Conflicts: 148000 | #Constraints: 35309
402.63/404.91 c #Conflicts: 149000 | #Constraints: 36309
402.63/404.91 c #Conflicts: 150000 | #Constraints: 37309
402.63/404.91 c #Conflicts: 151000 | #Constraints: 38309
402.63/404.91 c #Conflicts: 152000 | #Constraints: 39309
402.63/404.91 c #Conflicts: 153000 | #Constraints: 40309
402.63/404.91 c #Conflicts: 154000 | #Constraints: 41309
402.63/404.91 c #Conflicts: 155000 | #Constraints: 42309
402.63/404.91 c #Conflicts: 156000 | #Constraints: 43309
402.63/404.91 c #Conflicts: 157000 | #Constraints: 44309
402.63/404.91 c #Conflicts: 158000 | #Constraints: 45309
402.63/404.91 c #Conflicts: 159000 | #Constraints: 46309
402.63/404.91 c #Conflicts: 160000 | #Constraints: 47309
402.63/404.91 c #Conflicts: 161000 | #Constraints: 48309
402.63/404.91 c #Conflicts: 162000 | #Constraints: 49309
402.63/404.91 c #Conflicts: 163000 | #Constraints: 50309
402.63/404.91 c #Conflicts: 164000 | #Constraints: 51309
402.63/404.91 c #Conflicts: 165000 | #Constraints: 52309
402.63/404.91 c #Conflicts: 166000 | #Constraints: 53309
402.63/404.91 c #Conflicts: 167000 | #Constraints: 54309
402.63/404.91 c #Conflicts: 168000 | #Constraints: 55309
402.63/404.91 c INPROCESSING
402.63/404.91 c GARBAGE COLLECT
402.63/404.91 c #Conflicts: 169000 | #Constraints: 37007
402.63/404.91 c #Conflicts: 170000 | #Constraints: 38007
402.63/404.91 c #Conflicts: 171000 | #Constraints: 39007
402.63/404.91 c #Conflicts: 172000 | #Constraints: 40007
402.63/404.91 c #Conflicts: 173000 | #Constraints: 41007
402.63/404.91 c #Conflicts: 174000 | #Constraints: 42007
402.63/404.91 c #Conflicts: 175000 | #Constraints: 43007
402.63/404.91 c #Conflicts: 176000 | #Constraints: 44007
402.63/404.91 c #Conflicts: 177000 | #Constraints: 45007
402.63/404.91 c #Conflicts: 178000 | #Constraints: 46007
402.63/404.91 c INPROCESSING
402.63/404.91 c GARBAGE COLLECT
402.63/404.91 c #Conflicts: 179000 | #Constraints: 31987
402.63/404.91 c #Conflicts: 180000 | #Constraints: 32987
402.63/404.91 c #Conflicts: 181000 | #Constraints: 33987
402.63/404.91 c #Conflicts: 182000 | #Constraints: 34987
402.63/404.91 c #Conflicts: 183000 | #Constraints: 35987
402.63/404.91 c #Conflicts: 184000 | #Constraints: 36987
402.63/404.91 c #Conflicts: 185000 | #Constraints: 37987
402.63/404.91 c #Conflicts: 186000 | #Constraints: 38987
402.63/404.91 c #Conflicts: 187000 | #Constraints: 39987
402.63/404.91 c #Conflicts: 188000 | #Constraints: 40987
402.63/404.91 c #Conflicts: 189000 | #Constraints: 41987
402.63/404.91 c INPROCESSING
402.63/404.91 c GARBAGE COLLECT
402.63/404.91 c #Conflicts: 190000 | #Constraints: 31654
402.63/404.91 c #Conflicts: 191000 | #Constraints: 32654
402.63/404.91 c #Conflicts: 192000 | #Constraints: 33654
402.63/404.91 c #Conflicts: 193000 | #Constraints: 34654
402.63/404.91 c #Conflicts: 194000 | #Constraints: 35654
402.63/404.91 c #Conflicts: 195000 | #Constraints: 36654
402.63/404.91 c #Conflicts: 196000 | #Constraints: 37654
402.63/404.91 c #Conflicts: 197000 | #Constraints: 38654
402.63/404.91 c #Conflicts: 198000 | #Constraints: 39654
402.63/404.91 c #Conflicts: 199000 | #Constraints: 40654
402.63/404.91 c #Conflicts: 200000 | #Constraints: 41654
402.63/404.91 c #Conflicts: 201000 | #Constraints: 42654
402.63/404.91 c #Conflicts: 202000 | #Constraints: 43654
402.63/404.91 c #Conflicts: 203000 | #Constraints: 44654
402.63/404.91 c #Conflicts: 204000 | #Constraints: 45654
402.63/404.91 c #Conflicts: 205000 | #Constraints: 46654
402.63/404.91 c #Conflicts: 206000 | #Constraints: 47654
402.63/404.91 c #Conflicts: 207000 | #Constraints: 48654
402.63/404.91 c #Conflicts: 208000 | #Constraints: 49654
402.63/404.91 c #Conflicts: 209000 | #Constraints: 50654
402.63/404.91 c #Conflicts: 210000 | #Constraints: 51654
402.63/404.91 c #Conflicts: 211000 | #Constraints: 52654
402.63/404.91 c #Conflicts: 212000 | #Constraints: 53654
402.63/404.91 c #Conflicts: 213000 | #Constraints: 54654
402.63/404.91 c #Conflicts: 214000 | #Constraints: 55654
402.63/404.91 c #Conflicts: 215000 | #Constraints: 56654
402.63/404.91 c #Conflicts: 216000 | #Constraints: 57654
402.63/404.91 c #Conflicts: 217000 | #Constraints: 58654
402.63/404.91 c #Conflicts: 218000 | #Constraints: 59654
402.63/404.91 c #Conflicts: 219000 | #Constraints: 60654
402.63/404.91 c #Conflicts: 220000 | #Constraints: 61654
402.63/404.91 c INPROCESSING
402.63/404.91 c GARBAGE COLLECT
402.63/404.91 c #Conflicts: 221000 | #Constraints: 39827
402.63/404.91 c #Conflicts: 222000 | #Constraints: 40827
532.49/536.23 c #Conflicts: 223000 | #Constraints: 41827
532.49/536.23 c #Conflicts: 224000 | #Constraints: 42827
532.49/536.23 c #Conflicts: 225000 | #Constraints: 43827
532.49/536.23 c #Conflicts: 226000 | #Constraints: 44827
532.49/536.23 c #Conflicts: 227000 | #Constraints: 45827
532.49/536.23 c #Conflicts: 228000 | #Constraints: 46827
532.49/536.23 c #Conflicts: 229000 | #Constraints: 47827
532.49/536.23 c #Conflicts: 230000 | #Constraints: 48827
532.49/536.23 c #Conflicts: 231000 | #Constraints: 49827
532.49/536.23 c #Conflicts: 232000 | #Constraints: 50827
532.49/536.23 c INPROCESSING
532.49/536.23 c GARBAGE COLLECT
532.49/536.23 c #Conflicts: 233000 | #Constraints: 34412
532.49/536.23 c #Conflicts: 234000 | #Constraints: 35412
532.49/536.23 c #Conflicts: 235000 | #Constraints: 36412
532.49/536.23 c #Conflicts: 236000 | #Constraints: 37412
532.49/536.23 c #Conflicts: 237000 | #Constraints: 38412
532.49/536.23 c #Conflicts: 238000 | #Constraints: 39412
532.49/536.23 c #Conflicts: 239000 | #Constraints: 40412
532.49/536.23 c #Conflicts: 240000 | #Constraints: 41412
532.49/536.23 c #Conflicts: 241000 | #Constraints: 42412
532.49/536.23 c #Conflicts: 242000 | #Constraints: 43412
532.49/536.23 c #Conflicts: 243000 | #Constraints: 44412
532.49/536.23 c #Conflicts: 244000 | #Constraints: 45412
532.49/536.23 c #Conflicts: 245000 | #Constraints: 46412
532.49/536.23 c INPROCESSING
532.49/536.23 c GARBAGE COLLECT
532.49/536.23 c #Conflicts: 246000 | #Constraints: 33776
532.49/536.23 c #Conflicts: 247000 | #Constraints: 34776
532.49/536.23 c #Conflicts: 248000 | #Constraints: 35776
532.49/536.23 c #Conflicts: 249000 | #Constraints: 36776
532.49/536.23 c #Conflicts: 250000 | #Constraints: 37776
532.49/536.23 c #Conflicts: 251000 | #Constraints: 38776
532.49/536.23 c #Conflicts: 252000 | #Constraints: 39776
532.49/536.23 c #Conflicts: 253000 | #Constraints: 40776
532.49/536.23 c #Conflicts: 254000 | #Constraints: 41776
532.49/536.23 c #Conflicts: 255000 | #Constraints: 42776
532.49/536.23 c #Conflicts: 256000 | #Constraints: 43776
532.49/536.23 c #Conflicts: 257000 | #Constraints: 44776
532.49/536.23 c #Conflicts: 258000 | #Constraints: 45776
532.49/536.23 c #Conflicts: 259000 | #Constraints: 46776
532.49/536.23 c #Conflicts: 260000 | #Constraints: 47776
532.49/536.23 c #Conflicts: 261000 | #Constraints: 48776
532.49/536.23 c #Conflicts: 262000 | #Constraints: 49776
532.49/536.23 c #Conflicts: 263000 | #Constraints: 50776
532.49/536.23 c #Conflicts: 264000 | #Constraints: 51776
532.49/536.23 c #Conflicts: 265000 | #Constraints: 52776
532.49/536.23 c #Conflicts: 266000 | #Constraints: 53776
532.49/536.23 c #Conflicts: 267000 | #Constraints: 54776
532.49/536.23 c #Conflicts: 268000 | #Constraints: 55776
532.49/536.23 c #Conflicts: 269000 | #Constraints: 56776
532.49/536.23 c #Conflicts: 270000 | #Constraints: 57776
532.49/536.23 c #Conflicts: 271000 | #Constraints: 58776
532.49/536.23 c #Conflicts: 272000 | #Constraints: 59776
532.49/536.23 c #Conflicts: 273000 | #Constraints: 60776
532.49/536.23 c #Conflicts: 274000 | #Constraints: 61776
532.49/536.23 c #Conflicts: 275000 | #Constraints: 62776
532.49/536.23 c #Conflicts: 276000 | #Constraints: 63776
532.49/536.23 c #Conflicts: 277000 | #Constraints: 64776
532.49/536.23 c #Conflicts: 278000 | #Constraints: 65776
532.49/536.23 c #Conflicts: 279000 | #Constraints: 66776
532.49/536.23 c #Conflicts: 280000 | #Constraints: 67776
532.49/536.23 c INPROCESSING
532.49/536.23 c GARBAGE COLLECT
532.49/536.23 c #Conflicts: 281000 | #Constraints: 43114
532.49/536.23 c #Conflicts: 282000 | #Constraints: 44114
532.49/536.23 c #Conflicts: 283000 | #Constraints: 45114
532.49/536.23 c #Conflicts: 284000 | #Constraints: 46114
532.49/536.23 c #Conflicts: 285000 | #Constraints: 47114
532.49/536.23 c #Conflicts: 286000 | #Constraints: 48114
532.49/536.23 c #Conflicts: 287000 | #Constraints: 49114
532.49/536.23 c #Conflicts: 288000 | #Constraints: 50114
532.49/536.23 c #Conflicts: 289000 | #Constraints: 51114
532.49/536.23 c #Conflicts: 290000 | #Constraints: 52114
532.49/536.23 c #Conflicts: 291000 | #Constraints: 53114
532.49/536.23 c #Conflicts: 292000 | #Constraints: 54114
532.49/536.23 c #Conflicts: 293000 | #Constraints: 55114
532.49/536.23 c #Conflicts: 294000 | #Constraints: 56114
532.49/536.23 c INPROCESSING
532.49/536.23 c GARBAGE COLLECT
532.49/536.23 c #Conflicts: 295000 | #Constraints: 37368
532.49/536.23 c #Conflicts: 296000 | #Constraints: 38368
532.49/536.23 c #Conflicts: 297000 | #Constraints: 39368
532.49/536.23 c #Conflicts: 298000 | #Constraints: 40368
699.23/706.07 c #Conflicts: 299000 | #Constraints: 41368
699.23/706.07 c #Conflicts: 300000 | #Constraints: 42368
699.23/706.07 c #Conflicts: 301000 | #Constraints: 43368
699.23/706.07 c #Conflicts: 302000 | #Constraints: 44368
699.23/706.07 c #Conflicts: 303000 | #Constraints: 45368
699.23/706.07 c #Conflicts: 304000 | #Constraints: 46368
699.23/706.07 c #Conflicts: 305000 | #Constraints: 47368
699.23/706.07 c #Conflicts: 306000 | #Constraints: 48368
699.23/706.07 c #Conflicts: 307000 | #Constraints: 49368
699.23/706.07 c #Conflicts: 308000 | #Constraints: 50368
699.23/706.07 c INPROCESSING
699.23/706.07 c GARBAGE COLLECT
699.23/706.07 c #Conflicts: 309000 | #Constraints: 36649
699.23/706.07 c #Conflicts: 310000 | #Constraints: 37649
699.23/706.07 c #Conflicts: 311000 | #Constraints: 38649
699.23/706.07 c #Conflicts: 312000 | #Constraints: 39649
699.23/706.07 c #Conflicts: 313000 | #Constraints: 40649
699.23/706.07 c #Conflicts: 314000 | #Constraints: 41649
699.23/706.07 c #Conflicts: 315000 | #Constraints: 42649
699.23/706.07 c #Conflicts: 316000 | #Constraints: 43649
699.23/706.07 c #Conflicts: 317000 | #Constraints: 44649
699.23/706.07 c #Conflicts: 318000 | #Constraints: 45649
699.23/706.07 c #Conflicts: 319000 | #Constraints: 46649
699.23/706.07 c #Conflicts: 320000 | #Constraints: 47649
699.23/706.07 c #Conflicts: 321000 | #Constraints: 48649
699.23/706.07 c #Conflicts: 322000 | #Constraints: 49649
699.23/706.07 c #Conflicts: 323000 | #Constraints: 50649
699.23/706.07 c #Conflicts: 324000 | #Constraints: 51649
699.23/706.07 c #Conflicts: 325000 | #Constraints: 52649
699.23/706.07 c #Conflicts: 326000 | #Constraints: 53649
699.23/706.07 c #Conflicts: 327000 | #Constraints: 54649
699.23/706.07 c #Conflicts: 328000 | #Constraints: 55649
699.23/706.07 c #Conflicts: 329000 | #Constraints: 56649
699.23/706.07 c #Conflicts: 330000 | #Constraints: 57649
699.23/706.07 c #Conflicts: 331000 | #Constraints: 58649
699.23/706.07 c #Conflicts: 332000 | #Constraints: 59649
699.23/706.07 c #Conflicts: 333000 | #Constraints: 60649
699.23/706.07 c #Conflicts: 334000 | #Constraints: 61649
699.23/706.07 c #Conflicts: 335000 | #Constraints: 62649
699.23/706.07 c #Conflicts: 336000 | #Constraints: 63649
699.23/706.07 c #Conflicts: 337000 | #Constraints: 64649
699.23/706.07 c #Conflicts: 338000 | #Constraints: 65649
699.23/706.07 c #Conflicts: 339000 | #Constraints: 66649
699.23/706.07 c #Conflicts: 340000 | #Constraints: 67649
699.23/706.07 c #Conflicts: 341000 | #Constraints: 68649
699.23/706.07 c #Conflicts: 342000 | #Constraints: 69649
699.23/706.07 c #Conflicts: 343000 | #Constraints: 70649
699.23/706.07 c #Conflicts: 344000 | #Constraints: 71649
699.23/706.07 c #Conflicts: 345000 | #Constraints: 72649
699.23/706.07 c #Conflicts: 346000 | #Constraints: 73649
699.23/706.07 c #Conflicts: 347000 | #Constraints: 74649
699.23/706.07 c #Conflicts: 348000 | #Constraints: 75649
699.23/706.07 c INPROCESSING
699.23/706.07 c GARBAGE COLLECT
699.23/706.07 c #Conflicts: 349000 | #Constraints: 47433
699.23/706.07 c #Conflicts: 350000 | #Constraints: 48433
699.23/706.07 c #Conflicts: 351000 | #Constraints: 49433
699.23/706.07 c #Conflicts: 352000 | #Constraints: 50433
699.23/706.07 c #Conflicts: 353000 | #Constraints: 51433
699.23/706.07 c #Conflicts: 354000 | #Constraints: 52433
699.23/706.07 c #Conflicts: 355000 | #Constraints: 53433
699.23/706.07 c #Conflicts: 356000 | #Constraints: 54433
699.23/706.07 c #Conflicts: 357000 | #Constraints: 55433
699.23/706.07 c #Conflicts: 358000 | #Constraints: 56433
699.23/706.07 c #Conflicts: 359000 | #Constraints: 57433
699.23/706.07 c #Conflicts: 360000 | #Constraints: 58433
699.23/706.07 c #Conflicts: 361000 | #Constraints: 59433
699.23/706.07 c #Conflicts: 362000 | #Constraints: 60433
699.23/706.07 c #Conflicts: 363000 | #Constraints: 61433
699.23/706.07 c INPROCESSING
699.23/706.07 c GARBAGE COLLECT
699.23/706.07 c #Conflicts: 364000 | #Constraints: 40217
699.23/706.07 c #Conflicts: 365000 | #Constraints: 41217
699.23/706.07 c #Conflicts: 366000 | #Constraints: 42217
699.23/706.07 c #Conflicts: 367000 | #Constraints: 43217
699.23/706.07 c #Conflicts: 368000 | #Constraints: 44217
699.23/706.07 c #Conflicts: 369000 | #Constraints: 45217
699.23/706.07 c #Conflicts: 370000 | #Constraints: 46217
699.23/706.07 c #Conflicts: 371000 | #Constraints: 47217
699.23/706.07 c #Conflicts: 372000 | #Constraints: 48217
699.23/706.07 c #Conflicts: 373000 | #Constraints: 49217
699.23/706.07 c #Conflicts: 374000 | #Constraints: 50217
699.23/706.07 c #Conflicts: 375000 | #Constraints: 51217
852.61/863.12 c #Conflicts: 376000 | #Constraints: 52217
852.61/863.12 c #Conflicts: 377000 | #Constraints: 53217
852.61/863.12 c #Conflicts: 378000 | #Constraints: 54217
852.61/863.12 c INPROCESSING
852.61/863.12 c GARBAGE COLLECT
852.61/863.12 c #Conflicts: 379000 | #Constraints: 39048
852.61/863.12 c #Conflicts: 380000 | #Constraints: 40048
852.61/863.12 c #Conflicts: 381000 | #Constraints: 41048
852.61/863.12 c #Conflicts: 382000 | #Constraints: 42048
852.61/863.12 c #Conflicts: 383000 | #Constraints: 43048
852.61/863.12 c #Conflicts: 384000 | #Constraints: 44048
852.61/863.12 c #Conflicts: 385000 | #Constraints: 45048
852.61/863.12 c #Conflicts: 386000 | #Constraints: 46048
852.61/863.12 c #Conflicts: 387000 | #Constraints: 47048
852.61/863.12 c #Conflicts: 388000 | #Constraints: 48048
852.61/863.12 c #Conflicts: 389000 | #Constraints: 49048
852.61/863.12 c #Conflicts: 390000 | #Constraints: 50048
852.61/863.12 c #Conflicts: 391000 | #Constraints: 51048
852.61/863.12 c #Conflicts: 392000 | #Constraints: 52048
852.61/863.12 c #Conflicts: 393000 | #Constraints: 53048
852.61/863.12 c #Conflicts: 394000 | #Constraints: 54048
852.61/863.12 c #Conflicts: 395000 | #Constraints: 55048
852.61/863.12 c #Conflicts: 396000 | #Constraints: 56048
852.61/863.12 c #Conflicts: 397000 | #Constraints: 57048
852.61/863.12 c #Conflicts: 398000 | #Constraints: 58048
852.61/863.12 c #Conflicts: 399000 | #Constraints: 59048
852.61/863.12 c #Conflicts: 400000 | #Constraints: 60048
852.61/863.12 c #Conflicts: 401000 | #Constraints: 61048
852.61/863.12 c #Conflicts: 402000 | #Constraints: 62048
852.61/863.12 c #Conflicts: 403000 | #Constraints: 63048
852.61/863.12 c #Conflicts: 404000 | #Constraints: 64048
852.61/863.12 c #Conflicts: 405000 | #Constraints: 65048
852.61/863.12 c #Conflicts: 406000 | #Constraints: 66048
852.61/863.12 c #Conflicts: 407000 | #Constraints: 67048
852.61/863.12 c #Conflicts: 408000 | #Constraints: 68048
852.61/863.12 c #Conflicts: 409000 | #Constraints: 69048
852.61/863.12 c #Conflicts: 410000 | #Constraints: 70048
852.61/863.12 c #Conflicts: 411000 | #Constraints: 71048
852.61/863.12 c #Conflicts: 412000 | #Constraints: 72048
852.61/863.12 c #Conflicts: 413000 | #Constraints: 73048
852.61/863.12 c #Conflicts: 414000 | #Constraints: 74048
852.61/863.12 c #Conflicts: 415000 | #Constraints: 75048
852.61/863.12 c #Conflicts: 416000 | #Constraints: 76048
852.61/863.12 c #Conflicts: 417000 | #Constraints: 77048
852.61/863.12 c #Conflicts: 418000 | #Constraints: 78048
852.61/863.12 c #Conflicts: 419000 | #Constraints: 79048
852.61/863.12 c #Conflicts: 420000 | #Constraints: 80048
852.61/863.12 c #Conflicts: 421000 | #Constraints: 81048
852.61/863.12 c #Conflicts: 422000 | #Constraints: 82048
852.61/863.12 c INPROCESSING
852.61/863.12 c GARBAGE COLLECT
852.61/863.12 c #Conflicts: 423000 | #Constraints: 50519
852.61/863.12 c #Conflicts: 424000 | #Constraints: 51519
852.61/863.12 c #Conflicts: 425000 | #Constraints: 52519
852.61/863.12 c #Conflicts: 426000 | #Constraints: 53519
852.61/863.12 c #Conflicts: 427000 | #Constraints: 54519
852.61/863.12 c #Conflicts: 428000 | #Constraints: 55519
852.61/863.12 c #Conflicts: 429000 | #Constraints: 56519
852.61/863.12 c #Conflicts: 430000 | #Constraints: 57519
852.61/863.12 c #Conflicts: 431000 | #Constraints: 58519
852.61/863.12 c #Conflicts: 432000 | #Constraints: 59519
852.61/863.12 c #Conflicts: 433000 | #Constraints: 60519
852.61/863.12 c #Conflicts: 434000 | #Constraints: 61519
852.61/863.12 c #Conflicts: 435000 | #Constraints: 62519
852.61/863.12 c #Conflicts: 436000 | #Constraints: 63519
852.61/863.12 c #Conflicts: 437000 | #Constraints: 64519
852.61/863.12 c #Conflicts: 438000 | #Constraints: 65519
852.61/863.12 c INPROCESSING
852.61/863.12 c GARBAGE COLLECT
852.61/863.12 c #Conflicts: 439000 | #Constraints: 41877
852.61/863.12 c #Conflicts: 440000 | #Constraints: 42877
852.61/863.12 c #Conflicts: 441000 | #Constraints: 43877
852.61/863.12 c #Conflicts: 442000 | #Constraints: 44877
852.61/863.12 c #Conflicts: 443000 | #Constraints: 45877
852.61/863.12 c #Conflicts: 444000 | #Constraints: 46877
852.61/863.12 c #Conflicts: 445000 | #Constraints: 47877
852.61/863.12 c #Conflicts: 446000 | #Constraints: 48877
852.61/863.12 c #Conflicts: 447000 | #Constraints: 49877
852.61/863.12 c #Conflicts: 448000 | #Constraints: 50877
852.61/863.12 c #Conflicts: 449000 | #Constraints: 51877
852.61/863.12 c #Conflicts: 450000 | #Constraints: 52877
852.61/863.12 c #Conflicts: 451000 | #Constraints: 53877
852.61/863.12 c #Conflicts: 452000 | #Constraints: 54877
1056.82/1068.58 c #Conflicts: 453000 | #Constraints: 55877
1056.82/1068.58 c #Conflicts: 454000 | #Constraints: 56877
1056.82/1068.58 c #Conflicts: 455000 | #Constraints: 57877
1056.82/1068.58 c INPROCESSING
1056.82/1068.58 c GARBAGE COLLECT
1056.82/1068.58 c #Conflicts: 456000 | #Constraints: 41289
1056.82/1068.58 c #Conflicts: 457000 | #Constraints: 42289
1056.82/1068.58 c #Conflicts: 458000 | #Constraints: 43289
1056.82/1068.58 c #Conflicts: 459000 | #Constraints: 44289
1056.82/1068.58 c #Conflicts: 460000 | #Constraints: 45289
1056.82/1068.58 c #Conflicts: 461000 | #Constraints: 46289
1056.82/1068.58 c #Conflicts: 462000 | #Constraints: 47289
1056.82/1068.58 c #Conflicts: 463000 | #Constraints: 48289
1056.82/1068.58 c #Conflicts: 464000 | #Constraints: 49289
1056.82/1068.58 c #Conflicts: 465000 | #Constraints: 50289
1056.82/1068.58 c #Conflicts: 466000 | #Constraints: 51289
1056.82/1068.58 c #Conflicts: 467000 | #Constraints: 52289
1056.82/1068.58 c #Conflicts: 468000 | #Constraints: 53289
1056.82/1068.58 c #Conflicts: 469000 | #Constraints: 54289
1056.82/1068.58 c #Conflicts: 470000 | #Constraints: 55289
1056.82/1068.58 c #Conflicts: 471000 | #Constraints: 56289
1056.82/1068.58 c #Conflicts: 472000 | #Constraints: 57289
1056.82/1068.58 c #Conflicts: 473000 | #Constraints: 58289
1056.82/1068.58 c #Conflicts: 474000 | #Constraints: 59289
1056.82/1068.58 c #Conflicts: 475000 | #Constraints: 60289
1056.82/1068.58 c #Conflicts: 476000 | #Constraints: 61289
1056.82/1068.58 c #Conflicts: 477000 | #Constraints: 62289
1056.82/1068.58 c #Conflicts: 478000 | #Constraints: 63289
1056.82/1068.58 c #Conflicts: 479000 | #Constraints: 64289
1056.82/1068.58 c #Conflicts: 480000 | #Constraints: 65289
1056.82/1068.58 c #Conflicts: 481000 | #Constraints: 66290
1056.82/1068.58 c #Conflicts: 482000 | #Constraints: 67290
1056.82/1068.58 c #Conflicts: 483000 | #Constraints: 68290
1056.82/1068.58 c #Conflicts: 484000 | #Constraints: 69290
1056.82/1068.58 c #Conflicts: 485000 | #Constraints: 70290
1056.82/1068.58 c #Conflicts: 486000 | #Constraints: 71290
1056.82/1068.58 c #Conflicts: 487000 | #Constraints: 72290
1056.82/1068.58 c #Conflicts: 488000 | #Constraints: 73290
1056.82/1068.58 c #Conflicts: 489000 | #Constraints: 74290
1056.82/1068.58 c #Conflicts: 490000 | #Constraints: 75290
1056.82/1068.58 c #Conflicts: 491000 | #Constraints: 76290
1056.82/1068.58 c #Conflicts: 492000 | #Constraints: 77290
1056.82/1068.58 c #Conflicts: 493000 | #Constraints: 78290
1056.82/1068.58 c #Conflicts: 494000 | #Constraints: 79290
1056.82/1068.58 c #Conflicts: 495000 | #Constraints: 80290
1056.82/1068.58 c #Conflicts: 496000 | #Constraints: 81290
1056.82/1068.58 c #Conflicts: 497000 | #Constraints: 82290
1056.82/1068.58 c #Conflicts: 498000 | #Constraints: 83290
1056.82/1068.58 c #Conflicts: 499000 | #Constraints: 84290
1056.82/1068.58 c #Conflicts: 500000 | #Constraints: 85290
1056.82/1068.58 c #Conflicts: 501000 | #Constraints: 86290
1056.82/1068.58 c #Conflicts: 502000 | #Constraints: 87290
1056.82/1068.58 c #Conflicts: 503000 | #Constraints: 88290
1056.82/1068.58 c #Conflicts: 504000 | #Constraints: 89290
1056.82/1068.58 c INPROCESSING
1056.82/1068.58 c GARBAGE COLLECT
1056.82/1068.58 c #Conflicts: 505000 | #Constraints: 54144
1056.82/1068.58 c #Conflicts: 506000 | #Constraints: 55144
1056.82/1068.58 c #Conflicts: 507000 | #Constraints: 56144
1056.82/1068.58 c #Conflicts: 508000 | #Constraints: 57144
1056.82/1068.58 c #Conflicts: 509000 | #Constraints: 58144
1056.82/1068.58 c #Conflicts: 510000 | #Constraints: 59144
1056.82/1068.58 c #Conflicts: 511000 | #Constraints: 60144
1056.82/1068.58 c #Conflicts: 512000 | #Constraints: 61144
1056.82/1068.58 c #Conflicts: 513000 | #Constraints: 62144
1056.82/1068.58 c #Conflicts: 514000 | #Constraints: 63144
1056.82/1068.58 c #Conflicts: 515000 | #Constraints: 64144
1056.82/1068.58 c #Conflicts: 516000 | #Constraints: 65144
1056.82/1068.58 c #Conflicts: 517000 | #Constraints: 66144
1056.82/1068.58 c #Conflicts: 518000 | #Constraints: 67144
1056.82/1068.58 c #Conflicts: 519000 | #Constraints: 68144
1056.82/1068.58 c #Conflicts: 520000 | #Constraints: 69144
1056.82/1068.58 c #Conflicts: 521000 | #Constraints: 70144
1056.82/1068.58 c #Conflicts: 522000 | #Constraints: 71144
1056.82/1068.58 c INPROCESSING
1056.82/1068.58 c GARBAGE COLLECT
1056.82/1068.58 c #Conflicts: 523000 | #Constraints: 45153
1056.82/1068.58 c #Conflicts: 524000 | #Constraints: 46153
1056.82/1068.58 c #Conflicts: 525000 | #Constraints: 47153
1056.82/1068.58 c #Conflicts: 526000 | #Constraints: 48153
1056.82/1068.58 c #Conflicts: 527000 | #Constraints: 49153
1056.82/1068.58 c #Conflicts: 528000 | #Constraints: 50153
1056.82/1068.58 c #Conflicts: 529000 | #Constraints: 51153
1322.47/1337.76 c #Conflicts: 530000 | #Constraints: 52153
1322.47/1337.76 c #Conflicts: 531000 | #Constraints: 53153
1322.47/1337.76 c #Conflicts: 532000 | #Constraints: 54153
1322.47/1337.76 c #Conflicts: 533000 | #Constraints: 55153
1322.47/1337.76 c #Conflicts: 534000 | #Constraints: 56153
1322.47/1337.76 c #Conflicts: 535000 | #Constraints: 57153
1322.47/1337.76 c #Conflicts: 536000 | #Constraints: 58153
1322.47/1337.76 c #Conflicts: 537000 | #Constraints: 59153
1322.47/1337.76 c #Conflicts: 538000 | #Constraints: 60153
1322.47/1337.76 c #Conflicts: 539000 | #Constraints: 61153
1322.47/1337.76 c #Conflicts: 540000 | #Constraints: 62153
1322.47/1337.76 c INPROCESSING
1322.47/1337.76 c GARBAGE COLLECT
1322.47/1337.76 c #Conflicts: 541000 | #Constraints: 43656
1322.47/1337.76 c #Conflicts: 542000 | #Constraints: 44656
1322.47/1337.76 c #Conflicts: 543000 | #Constraints: 45656
1322.47/1337.76 c #Conflicts: 544000 | #Constraints: 46656
1322.47/1337.76 c #Conflicts: 545000 | #Constraints: 47656
1322.47/1337.76 c #Conflicts: 546000 | #Constraints: 48656
1322.47/1337.76 c #Conflicts: 547000 | #Constraints: 49656
1322.47/1337.76 c #Conflicts: 548000 | #Constraints: 50656
1322.47/1337.76 c #Conflicts: 549000 | #Constraints: 51656
1322.47/1337.76 c #Conflicts: 550000 | #Constraints: 52656
1322.47/1337.76 c #Conflicts: 551000 | #Constraints: 53656
1322.47/1337.76 c #Conflicts: 552000 | #Constraints: 54656
1322.47/1337.76 c #Conflicts: 553000 | #Constraints: 55656
1322.47/1337.76 c #Conflicts: 554000 | #Constraints: 56656
1322.47/1337.76 c #Conflicts: 555000 | #Constraints: 57656
1322.47/1337.76 c #Conflicts: 556000 | #Constraints: 58656
1322.47/1337.76 c #Conflicts: 557000 | #Constraints: 59656
1322.47/1337.76 c #Conflicts: 558000 | #Constraints: 60656
1322.47/1337.76 c #Conflicts: 559000 | #Constraints: 61656
1322.47/1337.76 c #Conflicts: 560000 | #Constraints: 62656
1322.47/1337.76 c #Conflicts: 561000 | #Constraints: 63656
1322.47/1337.76 c #Conflicts: 562000 | #Constraints: 64656
1322.47/1337.76 c #Conflicts: 563000 | #Constraints: 65656
1322.47/1337.76 c #Conflicts: 564000 | #Constraints: 66656
1322.47/1337.76 c #Conflicts: 565000 | #Constraints: 67656
1322.47/1337.76 c #Conflicts: 566000 | #Constraints: 68656
1322.47/1337.76 c #Conflicts: 567000 | #Constraints: 69656
1322.47/1337.76 c #Conflicts: 568000 | #Constraints: 70656
1322.47/1337.76 c #Conflicts: 569000 | #Constraints: 71656
1322.47/1337.76 c #Conflicts: 570000 | #Constraints: 72656
1322.47/1337.76 c #Conflicts: 571000 | #Constraints: 73656
1322.47/1337.76 c #Conflicts: 572000 | #Constraints: 74656
1322.47/1337.76 c #Conflicts: 573000 | #Constraints: 75656
1322.47/1337.76 c #Conflicts: 574000 | #Constraints: 76656
1322.47/1337.76 c #Conflicts: 575000 | #Constraints: 77656
1322.47/1337.76 c #Conflicts: 576000 | #Constraints: 78656
1322.47/1337.76 c #Conflicts: 577000 | #Constraints: 79656
1322.47/1337.76 c #Conflicts: 578000 | #Constraints: 80656
1322.47/1337.76 c #Conflicts: 579000 | #Constraints: 81656
1322.47/1337.76 c #Conflicts: 580000 | #Constraints: 82656
1322.47/1337.76 c #Conflicts: 581000 | #Constraints: 83656
1322.47/1337.76 c #Conflicts: 582000 | #Constraints: 84656
1322.47/1337.76 c #Conflicts: 583000 | #Constraints: 85656
1322.47/1337.76 c #Conflicts: 584000 | #Constraints: 86656
1322.47/1337.76 c #Conflicts: 585000 | #Constraints: 87656
1322.47/1337.76 c #Conflicts: 586000 | #Constraints: 88656
1322.47/1337.76 c #Conflicts: 587000 | #Constraints: 89656
1322.47/1337.76 c #Conflicts: 588000 | #Constraints: 90656
1322.47/1337.76 c #Conflicts: 589000 | #Constraints: 91656
1322.47/1337.76 c #Conflicts: 590000 | #Constraints: 92656
1322.47/1337.76 c #Conflicts: 591000 | #Constraints: 93656
1322.47/1337.76 c #Conflicts: 592000 | #Constraints: 94656
1322.47/1337.76 c INPROCESSING
1322.47/1337.76 c GARBAGE COLLECT
1322.47/1337.76 c #Conflicts: 593000 | #Constraints: 56632
1322.47/1337.76 c #Conflicts: 594000 | #Constraints: 57632
1322.47/1337.76 c #Conflicts: 595000 | #Constraints: 58632
1322.47/1337.76 c #Conflicts: 596000 | #Constraints: 59632
1322.47/1337.76 c #Conflicts: 597000 | #Constraints: 60632
1322.47/1337.76 c #Conflicts: 598000 | #Constraints: 61632
1322.47/1337.76 c #Conflicts: 599000 | #Constraints: 62632
1322.47/1337.76 c #Conflicts: 600000 | #Constraints: 63632
1322.47/1337.76 c #Conflicts: 601000 | #Constraints: 64632
1322.47/1337.76 c #Conflicts: 602000 | #Constraints: 65632
1322.47/1337.76 c #Conflicts: 603000 | #Constraints: 66632
1322.47/1337.76 c #Conflicts: 604000 | #Constraints: 67632
1322.47/1337.76 c #Conflicts: 605000 | #Constraints: 68632
1322.47/1337.76 c #Conflicts: 606000 | #Constraints: 69632
1322.47/1337.76 c #Conflicts: 607000 | #Constraints: 70632
1527.64/1549.02 c #Conflicts: 608000 | #Constraints: 71632
1527.64/1549.02 c #Conflicts: 609000 | #Constraints: 72632
1527.64/1549.02 c #Conflicts: 610000 | #Constraints: 73632
1527.64/1549.02 c #Conflicts: 611000 | #Constraints: 74632
1527.64/1549.02 c #Conflicts: 612000 | #Constraints: 75632
1527.64/1549.02 c INPROCESSING
1527.64/1549.02 c GARBAGE COLLECT
1527.64/1549.02 c #Conflicts: 613000 | #Constraints: 47271
1527.64/1549.02 c #Conflicts: 614000 | #Constraints: 48271
1527.64/1549.02 c #Conflicts: 615000 | #Constraints: 49271
1527.64/1549.02 c #Conflicts: 616000 | #Constraints: 50271
1527.64/1549.02 c #Conflicts: 617000 | #Constraints: 51271
1527.64/1549.02 c #Conflicts: 618000 | #Constraints: 52271
1527.64/1549.02 c #Conflicts: 619000 | #Constraints: 53271
1527.64/1549.02 c #Conflicts: 620000 | #Constraints: 54271
1527.64/1549.02 c #Conflicts: 621000 | #Constraints: 55271
1527.64/1549.02 c #Conflicts: 622000 | #Constraints: 56271
1527.64/1549.02 c #Conflicts: 623000 | #Constraints: 57271
1527.64/1549.02 c #Conflicts: 624000 | #Constraints: 58271
1527.64/1549.02 c #Conflicts: 625000 | #Constraints: 59271
1527.64/1549.02 c #Conflicts: 626000 | #Constraints: 60271
1527.64/1549.02 c #Conflicts: 627000 | #Constraints: 61271
1527.64/1549.02 c #Conflicts: 628000 | #Constraints: 62271
1527.64/1549.02 c #Conflicts: 629000 | #Constraints: 63271
1527.64/1549.02 c #Conflicts: 630000 | #Constraints: 64271
1527.64/1549.02 c #Conflicts: 631000 | #Constraints: 65271
1527.64/1549.02 c #Conflicts: 632000 | #Constraints: 66271
1527.64/1549.02 c INPROCESSING
1527.64/1549.02 c GARBAGE COLLECT
1527.64/1549.02 c #Conflicts: 633000 | #Constraints: 46956
1527.64/1549.02 c #Conflicts: 634000 | #Constraints: 47956
1527.64/1549.02 c #Conflicts: 635000 | #Constraints: 48956
1527.64/1549.02 c #Conflicts: 636000 | #Constraints: 49956
1527.64/1549.02 c #Conflicts: 637000 | #Constraints: 50956
1527.64/1549.02 c #Conflicts: 638000 | #Constraints: 51956
1527.64/1549.02 c #Conflicts: 639000 | #Constraints: 52956
1527.64/1549.02 c #Conflicts: 640000 | #Constraints: 53956
1527.64/1549.02 c #Conflicts: 641000 | #Constraints: 54956
1527.64/1549.02 c #Conflicts: 642000 | #Constraints: 55956
1527.64/1549.02 c #Conflicts: 643000 | #Constraints: 56956
1527.64/1549.02 c #Conflicts: 644000 | #Constraints: 57956
1527.64/1549.02 c #Conflicts: 645000 | #Constraints: 58956
1527.64/1549.02 c #Conflicts: 646000 | #Constraints: 59956
1527.64/1549.02 c #Conflicts: 647000 | #Constraints: 60956
1527.64/1549.02 c #Conflicts: 648000 | #Constraints: 61956
1527.64/1549.02 c #Conflicts: 649000 | #Constraints: 62956
1527.64/1549.02 c #Conflicts: 650000 | #Constraints: 63956
1527.64/1549.02 c #Conflicts: 651000 | #Constraints: 64956
1527.64/1549.02 c #Conflicts: 652000 | #Constraints: 65956
1527.64/1549.02 c #Conflicts: 653000 | #Constraints: 66956
1527.64/1549.02 c #Conflicts: 654000 | #Constraints: 67956
1527.64/1549.02 c #Conflicts: 655000 | #Constraints: 68956
1527.64/1549.02 c #Conflicts: 656000 | #Constraints: 69956
1527.64/1549.02 c #Conflicts: 657000 | #Constraints: 70956
1527.64/1549.02 c #Conflicts: 658000 | #Constraints: 71956
1527.64/1549.02 c #Conflicts: 659000 | #Constraints: 72956
1527.64/1549.02 c #Conflicts: 660000 | #Constraints: 73956
1527.64/1549.02 c #Conflicts: 661000 | #Constraints: 74956
1527.64/1549.02 c #Conflicts: 662000 | #Constraints: 75956
1527.64/1549.02 c #Conflicts: 663000 | #Constraints: 76956
1527.64/1549.02 c #Conflicts: 664000 | #Constraints: 77956
1527.64/1549.02 c #Conflicts: 665000 | #Constraints: 78956
1527.64/1549.02 c #Conflicts: 666000 | #Constraints: 79956
1527.64/1549.02 c #Conflicts: 667000 | #Constraints: 80956
1527.64/1549.02 c #Conflicts: 668000 | #Constraints: 81956
1527.64/1549.02 c #Conflicts: 669000 | #Constraints: 82956
1527.64/1549.02 c #Conflicts: 670000 | #Constraints: 83956
1527.64/1549.02 c #Conflicts: 671000 | #Constraints: 84956
1527.64/1549.02 c #Conflicts: 672000 | #Constraints: 85956
1527.64/1549.02 c #Conflicts: 673000 | #Constraints: 86956
1527.64/1549.02 c #Conflicts: 674000 | #Constraints: 87956
1527.64/1549.02 c #Conflicts: 675000 | #Constraints: 88956
1527.64/1549.02 c #Conflicts: 676000 | #Constraints: 89956
1527.64/1549.02 c #Conflicts: 677000 | #Constraints: 90956
1527.64/1549.02 c #Conflicts: 678000 | #Constraints: 91956
1527.64/1549.02 c #Conflicts: 679000 | #Constraints: 92956
1527.64/1549.02 c #Conflicts: 680000 | #Constraints: 93956
1527.64/1549.02 c #Conflicts: 681000 | #Constraints: 94956
1527.64/1549.02 c #Conflicts: 682000 | #Constraints: 95956
1527.64/1549.02 c #Conflicts: 683000 | #Constraints: 96956
1527.64/1549.02 c #Conflicts: 684000 | #Constraints: 97956
1717.11/1739.36 c #Conflicts: 685000 | #Constraints: 98956
1717.11/1739.36 c #Conflicts: 686000 | #Constraints: 99956
1717.11/1739.36 c #Conflicts: 687000 | #Constraints: 100956
1717.11/1739.36 c #Conflicts: 688000 | #Constraints: 101956
1717.11/1739.36 c INPROCESSING
1717.11/1739.36 c GARBAGE COLLECT
1717.11/1739.36 c #Conflicts: 689000 | #Constraints: 60414
1717.11/1739.36 c #Conflicts: 690000 | #Constraints: 61414
1717.11/1739.36 c #Conflicts: 691000 | #Constraints: 62414
1717.11/1739.36 c #Conflicts: 692000 | #Constraints: 63414
1717.11/1739.36 c #Conflicts: 693000 | #Constraints: 64414
1717.11/1739.36 c #Conflicts: 694000 | #Constraints: 65414
1717.11/1739.36 c #Conflicts: 695000 | #Constraints: 66414
1717.11/1739.36 c #Conflicts: 696000 | #Constraints: 67414
1717.11/1739.36 c #Conflicts: 697000 | #Constraints: 68414
1717.11/1739.36 c #Conflicts: 698000 | #Constraints: 69414
1717.11/1739.36 c #Conflicts: 699000 | #Constraints: 70414
1717.11/1739.36 c #Conflicts: 700000 | #Constraints: 71414
1717.11/1739.36 c #Conflicts: 701000 | #Constraints: 72414
1717.11/1739.36 c #Conflicts: 702000 | #Constraints: 73414
1717.11/1739.36 c #Conflicts: 703000 | #Constraints: 74414
1717.11/1739.36 c #Conflicts: 704000 | #Constraints: 75414
1717.11/1739.36 c #Conflicts: 705000 | #Constraints: 76414
1717.11/1739.36 c #Conflicts: 706000 | #Constraints: 77414
1717.11/1739.36 c #Conflicts: 707000 | #Constraints: 78414
1717.11/1739.36 c #Conflicts: 708000 | #Constraints: 79414
1717.11/1739.36 c #Conflicts: 709000 | #Constraints: 80414
1717.11/1739.36 c INPROCESSING
1717.11/1739.36 c GARBAGE COLLECT
1717.11/1739.36 c #Conflicts: 710000 | #Constraints: 49629
1717.11/1739.36 c #Conflicts: 711000 | #Constraints: 50629
1717.11/1739.36 c #Conflicts: 712000 | #Constraints: 51629
1717.11/1739.36 c #Conflicts: 713000 | #Constraints: 52629
1717.11/1739.36 c #Conflicts: 714000 | #Constraints: 53629
1717.11/1739.36 c #Conflicts: 715000 | #Constraints: 54629
1717.11/1739.36 c #Conflicts: 716000 | #Constraints: 55629
1717.11/1739.36 c #Conflicts: 717000 | #Constraints: 56629
1717.11/1739.36 c #Conflicts: 718000 | #Constraints: 57629
1717.11/1739.36 c #Conflicts: 719000 | #Constraints: 58629
1717.11/1739.36 c #Conflicts: 720000 | #Constraints: 59629
1717.11/1739.36 c #Conflicts: 721000 | #Constraints: 60629
1717.11/1739.36 c #Conflicts: 722000 | #Constraints: 61629
1717.11/1739.36 c #Conflicts: 723000 | #Constraints: 62629
1717.11/1739.36 c #Conflicts: 724000 | #Constraints: 63629
1717.11/1739.36 c #Conflicts: 725000 | #Constraints: 64629
1717.11/1739.36 c #Conflicts: 726000 | #Constraints: 65629
1717.11/1739.36 c #Conflicts: 727000 | #Constraints: 66629
1717.11/1739.36 c #Conflicts: 728000 | #Constraints: 67629
1717.11/1739.36 c #Conflicts: 729000 | #Constraints: 68629
1717.11/1739.36 c #Conflicts: 730000 | #Constraints: 69629
1717.11/1739.36 c #Conflicts: 731000 | #Constraints: 70629
1717.11/1739.36 c INPROCESSING
1717.11/1739.36 c GARBAGE COLLECT
1717.11/1739.36 c #Conflicts: 732000 | #Constraints: 49542
1717.11/1739.36 c #Conflicts: 733000 | #Constraints: 50542
1717.11/1739.36 c #Conflicts: 734000 | #Constraints: 51542
1717.11/1739.36 c #Conflicts: 735000 | #Constraints: 52542
1717.11/1739.36 c #Conflicts: 736000 | #Constraints: 53542
1717.11/1739.36 c #Conflicts: 737000 | #Constraints: 54542
1717.11/1739.36 c #Conflicts: 738000 | #Constraints: 55542
1717.11/1739.36 c #Conflicts: 739000 | #Constraints: 56542
1717.11/1739.36 c #Conflicts: 740000 | #Constraints: 57542
1717.11/1739.36 c #Conflicts: 741000 | #Constraints: 58542
1717.11/1739.36 c #Conflicts: 742000 | #Constraints: 59542
1717.11/1739.36 c #Conflicts: 743000 | #Constraints: 60542
1717.11/1739.36 c #Conflicts: 744000 | #Constraints: 61542
1717.11/1739.36 c #Conflicts: 745000 | #Constraints: 62542
1717.11/1739.36 c #Conflicts: 746000 | #Constraints: 63542
1717.11/1739.36 c #Conflicts: 747000 | #Constraints: 64542
1717.11/1739.36 c #Conflicts: 748000 | #Constraints: 65542
1717.11/1739.36 c #Conflicts: 749000 | #Constraints: 66542
1717.11/1739.36 c #Conflicts: 750000 | #Constraints: 67542
1717.11/1739.36 c #Conflicts: 751000 | #Constraints: 68542
1717.11/1739.36 c #Conflicts: 752000 | #Constraints: 69542
1717.11/1739.36 c #Conflicts: 753000 | #Constraints: 70542
1717.11/1739.36 c #Conflicts: 754000 | #Constraints: 71542
1717.11/1739.36 c #Conflicts: 755000 | #Constraints: 72542
1717.11/1739.36 c #Conflicts: 756000 | #Constraints: 73542
1717.11/1739.36 c #Conflicts: 757000 | #Constraints: 74542
1717.11/1739.36 c #Conflicts: 758000 | #Constraints: 75542
1717.11/1739.36 c #Conflicts: 759000 | #Constraints: 76542
1717.11/1739.36 c #Conflicts: 760000 | #Constraints: 77542
1717.11/1739.36 c #Conflicts: 761000 | #Constraints: 78542
1923.07/1946.17 c #Conflicts: 762000 | #Constraints: 79542
1923.07/1946.17 c #Conflicts: 763000 | #Constraints: 80542
1923.07/1946.17 c #Conflicts: 764000 | #Constraints: 81542
1923.07/1946.17 c #Conflicts: 765000 | #Constraints: 82542
1923.07/1946.17 c #Conflicts: 766000 | #Constraints: 83542
1923.07/1946.17 c #Conflicts: 767000 | #Constraints: 84542
1923.07/1946.17 c #Conflicts: 768000 | #Constraints: 85542
1923.07/1946.17 c #Conflicts: 769000 | #Constraints: 86542
1923.07/1946.17 c #Conflicts: 770000 | #Constraints: 87542
1923.07/1946.17 c #Conflicts: 771000 | #Constraints: 88542
1923.07/1946.17 c #Conflicts: 772000 | #Constraints: 89542
1923.07/1946.17 c #Conflicts: 773000 | #Constraints: 90542
1923.07/1946.17 c #Conflicts: 774000 | #Constraints: 91542
1923.07/1946.17 c #Conflicts: 775000 | #Constraints: 92542
1923.07/1946.17 c #Conflicts: 776000 | #Constraints: 93542
1923.07/1946.17 c #Conflicts: 777000 | #Constraints: 94542
1923.07/1946.17 c #Conflicts: 778000 | #Constraints: 95542
1923.07/1946.17 c #Conflicts: 779000 | #Constraints: 96542
1923.07/1946.17 c #Conflicts: 780000 | #Constraints: 97542
1923.07/1946.17 c #Conflicts: 781000 | #Constraints: 98542
1923.07/1946.17 c #Conflicts: 782000 | #Constraints: 99542
1923.07/1946.17 c #Conflicts: 783000 | #Constraints: 100542
1923.07/1946.17 c #Conflicts: 784000 | #Constraints: 101542
1923.07/1946.17 c #Conflicts: 785000 | #Constraints: 102542
1923.07/1946.17 c #Conflicts: 786000 | #Constraints: 103542
1923.07/1946.17 c #Conflicts: 787000 | #Constraints: 104542
1923.07/1946.17 c #Conflicts: 788000 | #Constraints: 105542
1923.07/1946.17 c #Conflicts: 789000 | #Constraints: 106542
1923.07/1946.17 c #Conflicts: 790000 | #Constraints: 107542
1923.07/1946.17 c #Conflicts: 791000 | #Constraints: 108542
1923.07/1946.17 c #Conflicts: 792000 | #Constraints: 109542
1923.07/1946.17 c INPROCESSING
1923.07/1946.17 c GARBAGE COLLECT
1923.07/1946.17 c #Conflicts: 793000 | #Constraints: 64494
1923.07/1946.17 c #Conflicts: 794000 | #Constraints: 65494
1923.07/1946.17 c #Conflicts: 795000 | #Constraints: 66494
1923.07/1946.17 c #Conflicts: 796000 | #Constraints: 67494
1923.07/1946.17 c #Conflicts: 797000 | #Constraints: 68494
1923.07/1946.17 c #Conflicts: 798000 | #Constraints: 69494
1923.07/1946.17 c #Conflicts: 799000 | #Constraints: 70494
1923.07/1946.17 c #Conflicts: 800000 | #Constraints: 71494
1923.07/1946.17 c #Conflicts: 801000 | #Constraints: 72494
1923.07/1946.17 c #Conflicts: 802000 | #Constraints: 73494
1923.07/1946.17 c #Conflicts: 803000 | #Constraints: 74494
1923.07/1946.17 c #Conflicts: 804000 | #Constraints: 75494
1923.07/1946.17 c #Conflicts: 805000 | #Constraints: 76494
1923.07/1946.17 c #Conflicts: 806000 | #Constraints: 77494
1923.07/1946.17 c #Conflicts: 807000 | #Constraints: 78494
1923.07/1946.17 c #Conflicts: 808000 | #Constraints: 79494
1923.07/1946.17 c #Conflicts: 809000 | #Constraints: 80494
1923.07/1946.17 c #Conflicts: 810000 | #Constraints: 81494
1923.07/1946.17 c #Conflicts: 811000 | #Constraints: 82494
1923.07/1946.17 c #Conflicts: 812000 | #Constraints: 83494
1923.07/1946.17 c #Conflicts: 813000 | #Constraints: 84494
1923.07/1946.17 c #Conflicts: 814000 | #Constraints: 85494
1923.07/1946.17 c INPROCESSING
1923.07/1946.17 c GARBAGE COLLECT
1923.07/1946.17 c #Conflicts: 815000 | #Constraints: 52199
1923.07/1946.17 c #Conflicts: 816000 | #Constraints: 53199
1923.07/1946.17 c #Conflicts: 817000 | #Constraints: 54199
1923.07/1946.17 c #Conflicts: 818000 | #Constraints: 55199
1923.07/1946.17 c #Conflicts: 819000 | #Constraints: 56199
1923.07/1946.17 c #Conflicts: 820000 | #Constraints: 57199
1923.07/1946.17 c #Conflicts: 821000 | #Constraints: 58199
1923.07/1946.17 c #Conflicts: 822000 | #Constraints: 59199
1923.07/1946.17 c #Conflicts: 823000 | #Constraints: 60199
1923.07/1946.17 c #Conflicts: 824000 | #Constraints: 61199
1923.07/1946.17 c #Conflicts: 825000 | #Constraints: 62199
1923.07/1946.17 c #Conflicts: 826000 | #Constraints: 63199
1923.07/1946.17 c #Conflicts: 827000 | #Constraints: 64199
1923.07/1946.17 c #Conflicts: 828000 | #Constraints: 65199
1923.07/1946.17 c #Conflicts: 829000 | #Constraints: 66199
1923.07/1946.17 c #Conflicts: 830000 | #Constraints: 67199
1923.07/1946.17 c #Conflicts: 831000 | #Constraints: 68199
1923.07/1946.17 c #Conflicts: 832000 | #Constraints: 69199
1923.07/1946.17 c #Conflicts: 833000 | #Constraints: 70199
1923.07/1946.17 c #Conflicts: 834000 | #Constraints: 71199
1923.07/1946.17 c #Conflicts: 835000 | #Constraints: 72199
1923.07/1946.17 c #Conflicts: 836000 | #Constraints: 73199
1923.07/1946.17 c #Conflicts: 837000 | #Constraints: 74199
1923.07/1946.17 c #Conflicts: 838000 | #Constraints: 75199
2185.99/2210.04 c #Conflicts: 839000 | #Constraints: 76199
2185.99/2210.04 c #Conflicts: 840000 | #Constraints: 77199
2185.99/2210.04 c #Conflicts: 841000 | #Constraints: 78199
2185.99/2210.04 c #Conflicts: 842000 | #Constraints: 79199
2185.99/2210.04 c #Conflicts: 843000 | #Constraints: 80199
2185.99/2210.04 c #Conflicts: 844000 | #Constraints: 81199
2185.99/2210.04 c #Conflicts: 845000 | #Constraints: 82199
2185.99/2210.04 c #Conflicts: 846000 | #Constraints: 83199
2185.99/2210.04 c #Conflicts: 847000 | #Constraints: 84199
2185.99/2210.04 c #Conflicts: 848000 | #Constraints: 85199
2185.99/2210.04 c #Conflicts: 849000 | #Constraints: 86199
2185.99/2210.04 c #Conflicts: 850000 | #Constraints: 87199
2185.99/2210.04 c #Conflicts: 851000 | #Constraints: 88199
2185.99/2210.04 c #Conflicts: 852000 | #Constraints: 89199
2185.99/2210.04 c #Conflicts: 853000 | #Constraints: 90199
2185.99/2210.04 c #Conflicts: 854000 | #Constraints: 91199
2185.99/2210.04 c #Conflicts: 855000 | #Constraints: 92199
2185.99/2210.04 c #Conflicts: 856000 | #Constraints: 93199
2185.99/2210.04 c #Conflicts: 857000 | #Constraints: 94199
2185.99/2210.04 c #Conflicts: 858000 | #Constraints: 95199
2185.99/2210.04 c #Conflicts: 859000 | #Constraints: 96199
2185.99/2210.04 c #Conflicts: 860000 | #Constraints: 97199
2185.99/2210.04 c #Conflicts: 861000 | #Constraints: 98199
2185.99/2210.04 c #Conflicts: 862000 | #Constraints: 99199
2185.99/2210.04 c #Conflicts: 863000 | #Constraints: 100199
2185.99/2210.04 c #Conflicts: 864000 | #Constraints: 101199
2185.99/2210.04 c #Conflicts: 865000 | #Constraints: 102199
2185.99/2210.04 c #Conflicts: 866000 | #Constraints: 103199
2185.99/2210.04 c #Conflicts: 867000 | #Constraints: 104199
2185.99/2210.04 c #Conflicts: 868000 | #Constraints: 105199
2185.99/2210.04 c #Conflicts: 869000 | #Constraints: 106199
2185.99/2210.04 c #Conflicts: 870000 | #Constraints: 107199
2185.99/2210.04 c #Conflicts: 871000 | #Constraints: 108199
2185.99/2210.04 c #Conflicts: 872000 | #Constraints: 109199
2185.99/2210.04 c #Conflicts: 873000 | #Constraints: 110199
2185.99/2210.04 c #Conflicts: 874000 | #Constraints: 111199
2185.99/2210.04 c #Conflicts: 875000 | #Constraints: 112200
2185.99/2210.04 c #Conflicts: 876000 | #Constraints: 113200
2185.99/2210.04 c #Conflicts: 877000 | #Constraints: 114200
2185.99/2210.04 c #Conflicts: 878000 | #Constraints: 115200
2185.99/2210.04 c INPROCESSING
2185.99/2210.04 c GARBAGE COLLECT
2185.99/2210.04 c #Conflicts: 879000 | #Constraints: 67157
2185.99/2210.04 c #Conflicts: 880000 | #Constraints: 68157
2185.99/2210.04 c #Conflicts: 881000 | #Constraints: 69157
2185.99/2210.04 c #Conflicts: 882000 | #Constraints: 70157
2185.99/2210.04 c #Conflicts: 883000 | #Constraints: 71157
2185.99/2210.04 c #Conflicts: 884000 | #Constraints: 72157
2185.99/2210.04 c #Conflicts: 885000 | #Constraints: 73157
2185.99/2210.04 c #Conflicts: 886000 | #Constraints: 74157
2185.99/2210.04 c #Conflicts: 887000 | #Constraints: 75157
2185.99/2210.04 c #Conflicts: 888000 | #Constraints: 76157
2185.99/2210.04 c #Conflicts: 889000 | #Constraints: 77157
2185.99/2210.04 c #Conflicts: 890000 | #Constraints: 78157
2185.99/2210.04 c #Conflicts: 891000 | #Constraints: 79157
2185.99/2210.04 c #Conflicts: 892000 | #Constraints: 80157
2185.99/2210.04 c #Conflicts: 893000 | #Constraints: 81157
2185.99/2210.04 c #Conflicts: 894000 | #Constraints: 82157
2185.99/2210.04 c #Conflicts: 895000 | #Constraints: 83157
2185.99/2210.04 c #Conflicts: 896000 | #Constraints: 84157
2185.99/2210.04 c #Conflicts: 897000 | #Constraints: 85157
2185.99/2210.04 c #Conflicts: 898000 | #Constraints: 86157
2185.99/2210.04 c #Conflicts: 899000 | #Constraints: 87157
2185.99/2210.04 c #Conflicts: 900000 | #Constraints: 88157
2185.99/2210.04 c #Conflicts: 901000 | #Constraints: 89157
2185.99/2210.04 c #Conflicts: 902000 | #Constraints: 90157
2185.99/2210.04 c INPROCESSING
2185.99/2210.04 c GARBAGE COLLECT
2185.99/2210.04 c #Conflicts: 903000 | #Constraints: 54652
2185.99/2210.04 c #Conflicts: 904000 | #Constraints: 55652
2185.99/2210.04 c #Conflicts: 905000 | #Constraints: 56652
2185.99/2210.04 c #Conflicts: 906000 | #Constraints: 57652
2185.99/2210.04 c #Conflicts: 907000 | #Constraints: 58652
2185.99/2210.04 c #Conflicts: 908000 | #Constraints: 59652
2185.99/2210.04 c #Conflicts: 909000 | #Constraints: 60652
2185.99/2210.04 c #Conflicts: 910000 | #Constraints: 61652
2185.99/2210.04 c #Conflicts: 911000 | #Constraints: 62652
2185.99/2210.04 c #Conflicts: 912000 | #Constraints: 63652
2185.99/2210.04 c #Conflicts: 913000 | #Constraints: 64652
2185.99/2210.04 c #Conflicts: 914000 | #Constraints: 65652
2185.99/2210.04 c #Conflicts: 915000 | #Constraints: 66652
2185.99/2210.04 c #Conflicts: 916000 | #Constraints: 67652
2454.80/2480.68 c #Conflicts: 917000 | #Constraints: 68652
2454.80/2480.68 c #Conflicts: 918000 | #Constraints: 69652
2454.80/2480.68 c #Conflicts: 919000 | #Constraints: 70652
2454.80/2480.68 c #Conflicts: 920000 | #Constraints: 71652
2454.80/2480.68 c #Conflicts: 921000 | #Constraints: 72652
2454.80/2480.68 c #Conflicts: 922000 | #Constraints: 73652
2454.80/2480.68 c #Conflicts: 923000 | #Constraints: 74652
2454.80/2480.68 c #Conflicts: 924000 | #Constraints: 75652
2454.80/2480.68 c #Conflicts: 925000 | #Constraints: 76652
2454.80/2480.68 c #Conflicts: 926000 | #Constraints: 77652
2454.80/2480.68 c #Conflicts: 927000 | #Constraints: 78652
2454.80/2480.68 c #Conflicts: 928000 | #Constraints: 79652
2454.80/2480.68 c #Conflicts: 929000 | #Constraints: 80652
2454.80/2480.68 c #Conflicts: 930000 | #Constraints: 81652
2454.80/2480.68 c #Conflicts: 931000 | #Constraints: 82652
2454.80/2480.68 c #Conflicts: 932000 | #Constraints: 83652
2454.80/2480.68 c #Conflicts: 933000 | #Constraints: 84652
2454.80/2480.68 c #Conflicts: 934000 | #Constraints: 85652
2454.80/2480.68 c #Conflicts: 935000 | #Constraints: 86652
2454.80/2480.68 c #Conflicts: 936000 | #Constraints: 87652
2454.80/2480.68 c #Conflicts: 937000 | #Constraints: 88652
2454.80/2480.68 c #Conflicts: 938000 | #Constraints: 89652
2454.80/2480.68 c #Conflicts: 939000 | #Constraints: 90652
2454.80/2480.68 c #Conflicts: 940000 | #Constraints: 91652
2454.80/2480.68 c #Conflicts: 941000 | #Constraints: 92652
2454.80/2480.68 c #Conflicts: 942000 | #Constraints: 93652
2454.80/2480.68 c #Conflicts: 943000 | #Constraints: 94652
2454.80/2480.68 c #Conflicts: 944000 | #Constraints: 95652
2454.80/2480.68 c #Conflicts: 945000 | #Constraints: 96652
2454.80/2480.68 c #Conflicts: 946000 | #Constraints: 97652
2454.80/2480.68 c #Conflicts: 947000 | #Constraints: 98652
2454.80/2480.68 c #Conflicts: 948000 | #Constraints: 99652
2454.80/2480.68 c #Conflicts: 949000 | #Constraints: 100652
2454.80/2480.68 c #Conflicts: 950000 | #Constraints: 101652
2454.80/2480.68 c #Conflicts: 951000 | #Constraints: 102652
2454.80/2480.68 c #Conflicts: 952000 | #Constraints: 103652
2454.80/2480.68 c #Conflicts: 953000 | #Constraints: 104652
2454.80/2480.68 c #Conflicts: 954000 | #Constraints: 105652
2454.80/2480.68 c #Conflicts: 955000 | #Constraints: 106652
2454.80/2480.68 c #Conflicts: 956000 | #Constraints: 107652
2454.80/2480.68 c #Conflicts: 957000 | #Constraints: 108652
2454.80/2480.68 c #Conflicts: 958000 | #Constraints: 109652
2454.80/2480.68 c #Conflicts: 959000 | #Constraints: 110652
2454.80/2480.68 c #Conflicts: 960000 | #Constraints: 111652
2454.80/2480.68 c #Conflicts: 961000 | #Constraints: 112652
2454.80/2480.68 c #Conflicts: 962000 | #Constraints: 113652
2454.80/2480.68 c #Conflicts: 963000 | #Constraints: 114652
2454.80/2480.68 c #Conflicts: 964000 | #Constraints: 115652
2454.80/2480.68 c #Conflicts: 965000 | #Constraints: 116652
2454.80/2480.68 c #Conflicts: 966000 | #Constraints: 117652
2454.80/2480.68 c #Conflicts: 967000 | #Constraints: 118652
2454.80/2480.68 c #Conflicts: 968000 | #Constraints: 119652
2454.80/2480.68 c #Conflicts: 969000 | #Constraints: 120652
2454.80/2480.68 c INPROCESSING
2454.80/2480.68 c GARBAGE COLLECT
2454.80/2480.68 c #Conflicts: 970000 | #Constraints: 69850
2454.80/2480.68 c #Conflicts: 971000 | #Constraints: 70850
2454.80/2480.68 c #Conflicts: 972000 | #Constraints: 71850
2454.80/2480.68 c #Conflicts: 973000 | #Constraints: 72850
2454.80/2480.68 c #Conflicts: 974000 | #Constraints: 73850
2454.80/2480.68 c #Conflicts: 975000 | #Constraints: 74850
2454.80/2480.68 c #Conflicts: 976000 | #Constraints: 75850
2454.80/2480.68 c #Conflicts: 977000 | #Constraints: 76850
2454.80/2480.68 c #Conflicts: 978000 | #Constraints: 77850
2454.80/2480.68 c #Conflicts: 979000 | #Constraints: 78850
2454.80/2480.68 c #Conflicts: 980000 | #Constraints: 79850
2454.80/2480.68 c #Conflicts: 981000 | #Constraints: 80850
2454.80/2480.68 c #Conflicts: 982000 | #Constraints: 81850
2454.80/2480.68 c #Conflicts: 983000 | #Constraints: 82850
2454.80/2480.68 c #Conflicts: 984000 | #Constraints: 83850
2454.80/2480.68 c #Conflicts: 985000 | #Constraints: 84850
2454.80/2480.68 c #Conflicts: 986000 | #Constraints: 85850
2454.80/2480.68 c #Conflicts: 987000 | #Constraints: 86850
2454.80/2480.68 c #Conflicts: 988000 | #Constraints: 87850
2454.80/2480.68 c #Conflicts: 989000 | #Constraints: 88850
2454.80/2480.68 c #Conflicts: 990000 | #Constraints: 89850
2454.80/2480.68 c #Conflicts: 991000 | #Constraints: 90850
2454.80/2480.68 c #Conflicts: 992000 | #Constraints: 91850
2454.80/2480.68 c #Conflicts: 993000 | #Constraints: 92850
2454.80/2480.68 c #Conflicts: 994000 | #Constraints: 93850
2805.42/2832.75 c INPROCESSING
2805.42/2832.75 c GARBAGE COLLECT
2805.42/2832.75 c #Conflicts: 995000 | #Constraints: 56570
2805.42/2832.75 c #Conflicts: 996000 | #Constraints: 57570
2805.42/2832.75 c #Conflicts: 997000 | #Constraints: 58570
2805.42/2832.75 c #Conflicts: 998000 | #Constraints: 59570
2805.42/2832.75 c #Conflicts: 999000 | #Constraints: 60570
2805.42/2832.75 c #Conflicts: 1000000 | #Constraints: 61570
2805.42/2832.75 c #Conflicts: 1001000 | #Constraints: 62570
2805.42/2832.75 c #Conflicts: 1002000 | #Constraints: 63570
2805.42/2832.75 c #Conflicts: 1003000 | #Constraints: 64570
2805.42/2832.75 c #Conflicts: 1004000 | #Constraints: 65570
2805.42/2832.75 c #Conflicts: 1005000 | #Constraints: 66570
2805.42/2832.75 c #Conflicts: 1006000 | #Constraints: 67570
2805.42/2832.75 c #Conflicts: 1007000 | #Constraints: 68570
2805.42/2832.75 c #Conflicts: 1008000 | #Constraints: 69570
2805.42/2832.75 c #Conflicts: 1009000 | #Constraints: 70570
2805.42/2832.75 c #Conflicts: 1010000 | #Constraints: 71570
2805.42/2832.75 c #Conflicts: 1011000 | #Constraints: 72570
2805.42/2832.75 c #Conflicts: 1012000 | #Constraints: 73570
2805.42/2832.75 c #Conflicts: 1013000 | #Constraints: 74570
2805.42/2832.75 c #Conflicts: 1014000 | #Constraints: 75570
2805.42/2832.75 c #Conflicts: 1015000 | #Constraints: 76570
2805.42/2832.75 c #Conflicts: 1016000 | #Constraints: 77570
2805.42/2832.75 c #Conflicts: 1017000 | #Constraints: 78570
2805.42/2832.75 c #Conflicts: 1018000 | #Constraints: 79570
2805.42/2832.75 c #Conflicts: 1019000 | #Constraints: 80570
2805.42/2832.75 c #Conflicts: 1020000 | #Constraints: 81570
2805.42/2832.75 c #Conflicts: 1021000 | #Constraints: 82570
2805.42/2832.75 c #Conflicts: 1022000 | #Constraints: 83570
2805.42/2832.75 c #Conflicts: 1023000 | #Constraints: 84570
2805.42/2832.75 c #Conflicts: 1024000 | #Constraints: 85570
2805.42/2832.75 c #Conflicts: 1025000 | #Constraints: 86570
2805.42/2832.75 c #Conflicts: 1026000 | #Constraints: 87570
2805.42/2832.75 c #Conflicts: 1027000 | #Constraints: 88570
2805.42/2832.75 c #Conflicts: 1028000 | #Constraints: 89570
2805.42/2832.75 c #Conflicts: 1029000 | #Constraints: 90570
2805.42/2832.75 c #Conflicts: 1030000 | #Constraints: 91570
2805.42/2832.75 c #Conflicts: 1031000 | #Constraints: 92570
2805.42/2832.75 c #Conflicts: 1032000 | #Constraints: 93570
2805.42/2832.75 c #Conflicts: 1033000 | #Constraints: 94570
2805.42/2832.75 c #Conflicts: 1034000 | #Constraints: 95570
2805.42/2832.75 c #Conflicts: 1035000 | #Constraints: 96570
2805.42/2832.75 c #Conflicts: 1036000 | #Constraints: 97570
2805.42/2832.75 c #Conflicts: 1037000 | #Constraints: 98570
2805.42/2832.75 c #Conflicts: 1038000 | #Constraints: 99570
2805.42/2832.75 c #Conflicts: 1039000 | #Constraints: 100570
2805.42/2832.75 c #Conflicts: 1040000 | #Constraints: 101570
2805.42/2832.75 c #Conflicts: 1041000 | #Constraints: 102570
2805.42/2832.75 c #Conflicts: 1042000 | #Constraints: 103570
2805.42/2832.75 c #Conflicts: 1043000 | #Constraints: 104570
2805.42/2832.75 c #Conflicts: 1044000 | #Constraints: 105570
2805.42/2832.75 c #Conflicts: 1045000 | #Constraints: 106570
2805.42/2832.75 c #Conflicts: 1046000 | #Constraints: 107570
2805.42/2832.75 c #Conflicts: 1047000 | #Constraints: 108570
2805.42/2832.75 c #Conflicts: 1048000 | #Constraints: 109570
2805.42/2832.75 c #Conflicts: 1049000 | #Constraints: 110570
2805.42/2832.75 c #Conflicts: 1050000 | #Constraints: 111570
2805.42/2832.75 c #Conflicts: 1051000 | #Constraints: 112570
2805.42/2832.75 c #Conflicts: 1052000 | #Constraints: 113570
2805.42/2832.75 c #Conflicts: 1053000 | #Constraints: 114570
2805.42/2832.75 c #Conflicts: 1054000 | #Constraints: 115570
2805.42/2832.75 c #Conflicts: 1055000 | #Constraints: 116570
2805.42/2832.75 c #Conflicts: 1056000 | #Constraints: 117570
2805.42/2832.75 c #Conflicts: 1057000 | #Constraints: 118570
2805.42/2832.75 c #Conflicts: 1058000 | #Constraints: 119570
2805.42/2832.75 c #Conflicts: 1059000 | #Constraints: 120570
2805.42/2832.75 c #Conflicts: 1060000 | #Constraints: 121570
2805.42/2832.75 c #Conflicts: 1061000 | #Constraints: 122570
2805.42/2832.75 c #Conflicts: 1062000 | #Constraints: 123570
2805.42/2832.75 c #Conflicts: 1063000 | #Constraints: 124570
2805.42/2832.75 c #Conflicts: 1064000 | #Constraints: 125570
2805.42/2832.75 c #Conflicts: 1065000 | #Constraints: 126571
2805.42/2832.75 c INPROCESSING
2805.42/2832.75 c GARBAGE COLLECT
2805.42/2832.75 c #Conflicts: 1066000 | #Constraints: 73343
2805.42/2832.75 c #Conflicts: 1067000 | #Constraints: 74343
2805.42/2832.75 c #Conflicts: 1068000 | #Constraints: 75343
2805.42/2832.75 c #Conflicts: 1069000 | #Constraints: 76343
2805.42/2832.75 c #Conflicts: 1070000 | #Constraints: 77343
2805.42/2832.75 c #Conflicts: 1071000 | #Constraints: 78343
2805.42/2832.75 c #Conflicts: 1072000 | #Constraints: 79343
3020.92/3049.25 c #Conflicts: 1073000 | #Constraints: 80343
3020.92/3049.25 c #Conflicts: 1074000 | #Constraints: 81343
3020.92/3049.25 c #Conflicts: 1075000 | #Constraints: 82343
3020.92/3049.25 c #Conflicts: 1076000 | #Constraints: 83343
3020.92/3049.25 c #Conflicts: 1077000 | #Constraints: 84343
3020.92/3049.25 c #Conflicts: 1078000 | #Constraints: 85343
3020.92/3049.25 c #Conflicts: 1079000 | #Constraints: 86343
3020.92/3049.25 c #Conflicts: 1080000 | #Constraints: 87343
3020.92/3049.25 c #Conflicts: 1081000 | #Constraints: 88343
3020.92/3049.25 c #Conflicts: 1082000 | #Constraints: 89343
3020.92/3049.25 c #Conflicts: 1083000 | #Constraints: 90343
3020.92/3049.25 c #Conflicts: 1084000 | #Constraints: 91343
3020.92/3049.25 c #Conflicts: 1085000 | #Constraints: 92343
3020.92/3049.25 c #Conflicts: 1086000 | #Constraints: 93343
3020.92/3049.25 c #Conflicts: 1087000 | #Constraints: 94343
3020.92/3049.25 c #Conflicts: 1088000 | #Constraints: 95343
3020.92/3049.25 c #Conflicts: 1089000 | #Constraints: 96343
3020.92/3049.25 c #Conflicts: 1090000 | #Constraints: 97343
3020.92/3049.25 c #Conflicts: 1091000 | #Constraints: 98343
3020.92/3049.25 c INPROCESSING
3020.92/3049.25 c GARBAGE COLLECT
3020.92/3049.25 c #Conflicts: 1092000 | #Constraints: 58852
3020.92/3049.25 c #Conflicts: 1093000 | #Constraints: 59852
3020.92/3049.25 c #Conflicts: 1094000 | #Constraints: 60852
3020.92/3049.25 c #Conflicts: 1095000 | #Constraints: 61852
3020.92/3049.25 c #Conflicts: 1096000 | #Constraints: 62852
3020.92/3049.25 c #Conflicts: 1097000 | #Constraints: 63852
3020.92/3049.25 c #Conflicts: 1098000 | #Constraints: 64852
3020.92/3049.25 c #Conflicts: 1099000 | #Constraints: 65852
3020.92/3049.25 c #Conflicts: 1100000 | #Constraints: 66852
3020.92/3049.25 c #Conflicts: 1101000 | #Constraints: 67852
3020.92/3049.25 c #Conflicts: 1102000 | #Constraints: 68852
3020.92/3049.25 c #Conflicts: 1103000 | #Constraints: 69852
3020.92/3049.25 c #Conflicts: 1104000 | #Constraints: 70852
3020.92/3049.25 c #Conflicts: 1105000 | #Constraints: 71852
3020.92/3049.25 c #Conflicts: 1106000 | #Constraints: 72852
3020.92/3049.25 c #Conflicts: 1107000 | #Constraints: 73852
3020.92/3049.25 c #Conflicts: 1108000 | #Constraints: 74852
3020.92/3049.25 c #Conflicts: 1109000 | #Constraints: 75852
3020.92/3049.25 c #Conflicts: 1110000 | #Constraints: 76852
3020.92/3049.25 c #Conflicts: 1111000 | #Constraints: 77852
3020.92/3049.25 c #Conflicts: 1112000 | #Constraints: 78852
3020.92/3049.25 c #Conflicts: 1113000 | #Constraints: 79852
3020.92/3049.25 c #Conflicts: 1114000 | #Constraints: 80852
3020.92/3049.25 c #Conflicts: 1115000 | #Constraints: 81852
3020.92/3049.25 c #Conflicts: 1116000 | #Constraints: 82852
3020.92/3049.25 c #Conflicts: 1117000 | #Constraints: 83852
3020.92/3049.25 c #Conflicts: 1118000 | #Constraints: 84852
3020.92/3049.25 c INPROCESSING
3020.92/3049.25 c GARBAGE COLLECT
3020.92/3049.25 c #Conflicts: 1119000 | #Constraints: 57028
3020.92/3049.25 c #Conflicts: 1120000 | #Constraints: 58028
3020.92/3049.25 c #Conflicts: 1121000 | #Constraints: 59028
3020.92/3049.25 c #Conflicts: 1122000 | #Constraints: 60028
3020.92/3049.25 c #Conflicts: 1123000 | #Constraints: 61028
3020.92/3049.25 c #Conflicts: 1124000 | #Constraints: 62028
3020.92/3049.25 c #Conflicts: 1125000 | #Constraints: 63028
3020.92/3049.25 c #Conflicts: 1126000 | #Constraints: 64028
3020.92/3049.25 c #Conflicts: 1127000 | #Constraints: 65028
3020.92/3049.25 c #Conflicts: 1128000 | #Constraints: 66028
3020.92/3049.25 c #Conflicts: 1129000 | #Constraints: 67028
3020.92/3049.25 c #Conflicts: 1130000 | #Constraints: 68028
3020.92/3049.25 c #Conflicts: 1131000 | #Constraints: 69028
3020.92/3049.25 c #Conflicts: 1132000 | #Constraints: 70028
3020.92/3049.25 c #Conflicts: 1133000 | #Constraints: 71028
3020.92/3049.25 c #Conflicts: 1134000 | #Constraints: 72028
3020.92/3049.25 c #Conflicts: 1135000 | #Constraints: 73028
3020.92/3049.25 c #Conflicts: 1136000 | #Constraints: 74028
3020.92/3049.25 c #Conflicts: 1137000 | #Constraints: 75028
3020.92/3049.25 c #Conflicts: 1138000 | #Constraints: 76028
3020.92/3049.25 c #Conflicts: 1139000 | #Constraints: 77028
3020.92/3049.25 c #Conflicts: 1140000 | #Constraints: 78028
3020.92/3049.25 c #Conflicts: 1141000 | #Constraints: 79028
3020.92/3049.25 c #Conflicts: 1142000 | #Constraints: 80028
3020.92/3049.25 c #Conflicts: 1143000 | #Constraints: 81028
3020.92/3049.25 c #Conflicts: 1144000 | #Constraints: 82028
3020.92/3049.25 c #Conflicts: 1145000 | #Constraints: 83028
3020.92/3049.25 c #Conflicts: 1146000 | #Constraints: 84028
3020.92/3049.25 c #Conflicts: 1147000 | #Constraints: 85028
3020.92/3049.25 c #Conflicts: 1148000 | #Constraints: 86028
3020.92/3049.25 c #Conflicts: 1149000 | #Constraints: 87028
3476.07/3510.58 c #Conflicts: 1150000 | #Constraints: 88028
3476.07/3510.58 c #Conflicts: 1151000 | #Constraints: 89028
3476.07/3510.58 c #Conflicts: 1152000 | #Constraints: 90028
3476.07/3510.58 c #Conflicts: 1153000 | #Constraints: 91028
3476.07/3510.58 c #Conflicts: 1154000 | #Constraints: 92028
3476.07/3510.58 c #Conflicts: 1155000 | #Constraints: 93028
3476.07/3510.58 c #Conflicts: 1156000 | #Constraints: 94028
3476.07/3510.58 c #Conflicts: 1157000 | #Constraints: 95028
3476.07/3510.58 c #Conflicts: 1158000 | #Constraints: 96028
3476.07/3510.58 c #Conflicts: 1159000 | #Constraints: 97028
3476.07/3510.58 c #Conflicts: 1160000 | #Constraints: 98028
3476.07/3510.58 c #Conflicts: 1161000 | #Constraints: 99028
3476.07/3510.58 c #Conflicts: 1162000 | #Constraints: 100028
3476.07/3510.58 c #Conflicts: 1163000 | #Constraints: 101028
3476.07/3510.58 c #Conflicts: 1164000 | #Constraints: 102028
3476.07/3510.58 c #Conflicts: 1165000 | #Constraints: 103028
3476.07/3510.58 c #Conflicts: 1166000 | #Constraints: 104028
3476.07/3510.58 c #Conflicts: 1167000 | #Constraints: 105028
3476.07/3510.58 c #Conflicts: 1168000 | #Constraints: 106028
3476.07/3510.58 c #Conflicts: 1169000 | #Constraints: 107028
3476.07/3510.58 c #Conflicts: 1170000 | #Constraints: 108028
3476.07/3510.58 c #Conflicts: 1171000 | #Constraints: 109028
3476.07/3510.58 c #Conflicts: 1172000 | #Constraints: 110028
3476.07/3510.58 c #Conflicts: 1173000 | #Constraints: 111028
3476.07/3510.58 c #Conflicts: 1174000 | #Constraints: 112028
3476.07/3510.58 c #Conflicts: 1175000 | #Constraints: 113028
3476.07/3510.58 c #Conflicts: 1176000 | #Constraints: 114028
3476.07/3510.58 c #Conflicts: 1177000 | #Constraints: 115028
3476.07/3510.58 c #Conflicts: 1178000 | #Constraints: 116028
3476.07/3510.58 c #Conflicts: 1179000 | #Constraints: 117028
3476.07/3510.58 c #Conflicts: 1180000 | #Constraints: 118028
3476.07/3510.58 c #Conflicts: 1181000 | #Constraints: 119028
3476.07/3510.58 c #Conflicts: 1182000 | #Constraints: 120028
3476.07/3510.58 c #Conflicts: 1183000 | #Constraints: 121028
3476.07/3510.58 c #Conflicts: 1184000 | #Constraints: 122028
3476.07/3510.58 c #Conflicts: 1185000 | #Constraints: 123028
3476.07/3510.58 c #Conflicts: 1186000 | #Constraints: 124028
3476.07/3510.58 c #Conflicts: 1187000 | #Constraints: 125028
3476.07/3510.58 c #Conflicts: 1188000 | #Constraints: 126028
3476.07/3510.58 c #Conflicts: 1189000 | #Constraints: 127028
3476.07/3510.58 c #Conflicts: 1190000 | #Constraints: 128028
3476.07/3510.58 c #Conflicts: 1191000 | #Constraints: 129028
3476.07/3510.58 c #Conflicts: 1192000 | #Constraints: 130028
3476.07/3510.58 c INPROCESSING
3476.07/3510.58 c GARBAGE COLLECT
3476.07/3510.58 c #Conflicts: 1193000 | #Constraints: 74492
3476.07/3510.58 c #Conflicts: 1194000 | #Constraints: 75492
3476.07/3510.58 c #Conflicts: 1195000 | #Constraints: 76492
3476.07/3510.58 c #Conflicts: 1196000 | #Constraints: 77492
3476.07/3510.58 c #Conflicts: 1197000 | #Constraints: 78492
3476.07/3510.58 c #Conflicts: 1198000 | #Constraints: 79492
3476.07/3510.58 c #Conflicts: 1199000 | #Constraints: 80492
3476.07/3510.58 c #Conflicts: 1200000 | #Constraints: 81492
3476.07/3510.58 c #Conflicts: 1201000 | #Constraints: 82492
3476.07/3510.58 c #Conflicts: 1202000 | #Constraints: 83492
3476.07/3510.58 c #Conflicts: 1203000 | #Constraints: 84492
3476.07/3510.58 c #Conflicts: 1204000 | #Constraints: 85492
3476.07/3510.58 c #Conflicts: 1205000 | #Constraints: 86492
3476.07/3510.58 c #Conflicts: 1206000 | #Constraints: 87492
3476.07/3510.58 c #Conflicts: 1207000 | #Constraints: 88492
3476.07/3510.58 c #Conflicts: 1208000 | #Constraints: 89492
3476.07/3510.58 c #Conflicts: 1209000 | #Constraints: 90492
3476.07/3510.58 c #Conflicts: 1210000 | #Constraints: 91492
3476.07/3510.58 c #Conflicts: 1211000 | #Constraints: 92492
3476.07/3510.58 c #Conflicts: 1212000 | #Constraints: 93492
3476.07/3510.58 c #Conflicts: 1213000 | #Constraints: 94492
3476.07/3510.58 c #Conflicts: 1214000 | #Constraints: 95492
3476.07/3510.58 c #Conflicts: 1215000 | #Constraints: 96492
3476.07/3510.58 c #Conflicts: 1216000 | #Constraints: 97492
3476.07/3510.58 c #Conflicts: 1217000 | #Constraints: 98492
3476.07/3510.58 c #Conflicts: 1218000 | #Constraints: 99492
3476.07/3510.58 c #Conflicts: 1219000 | #Constraints: 100492
3476.07/3510.58 c #Conflicts: 1220000 | #Constraints: 101492
3476.07/3510.58 c INPROCESSING
3476.07/3510.58 c GARBAGE COLLECT
3476.07/3510.58 c #Conflicts: 1221000 | #Constraints: 60489
3476.07/3510.58 c #Conflicts: 1222000 | #Constraints: 61489
3476.07/3510.58 c #Conflicts: 1223000 | #Constraints: 62489
3476.07/3510.58 c #Conflicts: 1224000 | #Constraints: 63489
3476.07/3510.58 c #Conflicts: 1225000 | #Constraints: 64489
3476.07/3510.58 c #Conflicts: 1226000 | #Constraints: 65489
3476.07/3510.58 c #Conflicts: 1227000 | #Constraints: 66489
3600.03/3639.10 c #Conflicts: 1228000 | #Constraints: 67489
3600.03/3639.10 c #Conflicts: 1229000 | #Constraints: 68489
3600.03/3639.10 c #Conflicts: 1230000 | #Constraints: 69489
3600.03/3639.10 c #Conflicts: 1231000 | #Constraints: 70489
3600.03/3639.10 c #Conflicts: 1232000 | #Constraints: 71489
3600.03/3639.10 c #Conflicts: 1233000 | #Constraints: 72489
3600.03/3639.10 c #Conflicts: 1234000 | #Constraints: 73489
3600.03/3639.10 c #Conflicts: 1235000 | #Constraints: 74489
3600.03/3639.10 c #Conflicts: 1236000 | #Constraints: 75489
3600.03/3639.10 c #Conflicts: 1237000 | #Constraints: 76489
3600.03/3639.10 c #Conflicts: 1238000 | #Constraints: 77489
3600.03/3639.10 c #Conflicts: 1239000 | #Constraints: 78489
3600.03/3639.10 c #Conflicts: 1240000 | #Constraints: 79489
3600.03/3639.10 c #Conflicts: 1241000 | #Constraints: 80489
3600.03/3639.10 c #Conflicts: 1242000 | #Constraints: 81489
3600.03/3639.10 c #Conflicts: 1243000 | #Constraints: 82489
3600.03/3639.10 c #Conflicts: 1244000 | #Constraints: 83489
3600.03/3639.10 c #Conflicts: 1245000 | #Constraints: 84489
3600.03/3639.10 c #Conflicts: 1246000 | #Constraints: 85489
3600.03/3639.10 c #Conflicts: 1247000 | #Constraints: 86489
3600.03/3639.10 c #Conflicts: 1248000 | #Constraints: 87489
3600.03/3639.10 c INPROCESSING
3600.03/3639.10 c GARBAGE COLLECT
3600.03/3639.10 c #Conflicts: 1249000 | #Constraints: 59153
3600.03/3639.10 c #Conflicts: 1250000 | #Constraints: 60153
3600.03/3639.10 c #Conflicts: 1251000 | #Constraints: 61153
3600.03/3639.10 c #Conflicts: 1252000 | #Constraints: 62153
3600.03/3639.10 c #Conflicts: 1253000 | #Constraints: 63153
3600.03/3639.10 c #Conflicts: 1254000 | #Constraints: 64153
3600.03/3639.10 c #Conflicts: 1255000 | #Constraints: 65153
3600.03/3639.10 c #Conflicts: 1256000 | #Constraints: 66153
3600.03/3639.10 c #Conflicts: 1257000 | #Constraints: 67153
3600.03/3639.10 c #Conflicts: 1258000 | #Constraints: 68153
3600.03/3639.10 c #Conflicts: 1259000 | #Constraints: 69153
3600.03/3639.10 c #Conflicts: 1260000 | #Constraints: 70153
3600.03/3639.10 c #Conflicts: 1261000 | #Constraints: 71153
3600.03/3639.10 c #Conflicts: 1262000 | #Constraints: 72153
3600.03/3639.10 c #Conflicts: 1263000 | #Constraints: 73153
3600.03/3639.10 c #Conflicts: 1264000 | #Constraints: 74153
3600.03/3639.10 c #Conflicts: 1265000 | #Constraints: 75153
3600.03/3639.10 c #Conflicts: 1266000 | #Constraints: 76153
3600.03/3639.10 c #Conflicts: 1267000 | #Constraints: 77153
3600.03/3639.10 c #Conflicts: 1268000 | #Constraints: 78153
3600.03/3639.10 c #Conflicts: 1269000 | #Constraints: 79153
3600.03/3639.10 c #Conflicts: 1270000 | #Constraints: 80153
3600.03/3639.10 c #Conflicts: 1271000 | #Constraints: 81153
3600.03/3639.10 c #Conflicts: 1272000 | #Constraints: 82153
3600.03/3639.10 c #Conflicts: 1273000 | #Constraints: 83153
3600.03/3639.10 c #Conflicts: 1274000 | #Constraints: 84153
3600.03/3639.10 c #Conflicts: 1275000 | #Constraints: 85153
3600.03/3639.10 c #Conflicts: 1276000 | #Constraints: 86153
3600.03/3639.10 c #Conflicts: 1277000 | #Constraints: 87153
3600.03/3639.10 c #Conflicts: 1278000 | #Constraints: 88153
3600.03/3639.10 c #Conflicts: 1279000 | #Constraints: 89153
3600.03/3639.10 c Disabling crashed LP
3600.03/3639.10 c cpu time 3574.14 s
3600.03/3639.10 c deterministic time 195877052053 1.96e+11
3600.03/3639.10 c optimization time 77.6792 s
3600.03/3639.10 c total solve time 3496.35 s
3600.03/3639.10 c core-guided solve time 0 s
3600.03/3639.10 c propagation time 1548.12 s
3600.03/3639.10 c conflict analysis time 1506.87 s
3600.03/3639.10 c propagations 1302945611
3600.03/3639.10 c resolve steps 97868169
3600.03/3639.10 c decisions 18179599
3600.03/3639.10 c conflicts 1279380
3600.03/3639.10 c restarts 2443
3600.03/3639.10 c inprocessing phases 55
3600.03/3639.10 c garbage collections 55 ,( 100.00 )
3600.03/3639.10 c input clauses 16220 ,( 99.18 )
3600.03/3639.10 c input cardinalities 134 ,( 0.82 )
3600.03/3639.10 c input general constraints 0 ,( 0.00 )
3600.03/3639.10 c input average constraint length 6.40
3600.03/3639.10 c input average constraint degree 1.96
3600.03/3639.10 c learned clauses 980484 ,( 76.64 )
3600.03/3639.10 c learned cardinalities 34663 ,( 2.71 )
3600.03/3639.10 c learned general constraints 264238 ,( 20.65 )
3600.03/3639.10 c learned average constraint length 751.11
3600.03/3639.10 c learned average constraint degree 28905515.93
3600.03/3639.10 c watched CF 32, 64, 128, Arb: 71104 , 0 , 0 , 0
3600.03/3639.10 c counting CF 32, 64, 128, Arb: 193134 , 0 , 0 , 0
3600.03/3639.10 c watched constraints 71104 ,( 26.91 )
3600.03/3639.10 c counting constraints 193134 ,( 73.09 )
3600.03/3639.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1311213082 , 498244739 , 2055495611 ,( 65667152 , 1989828459 )
3600.03/3639.10 c gcd simplifications 621
3600.03/3639.10 c detected cardinalities 3983
3600.03/3639.10 c weakened non-implied lits 384258701
3600.03/3639.10 c weakened non-implying lits 232705
3600.03/3639.10 c original variables 15991
3600.03/3639.10 c clausal propagations 597301178
3600.03/3639.10 c cardinality propagations 467410257
3600.03/3639.10 c watched propagations 4382333
3600.03/3639.10 c counting propagations 223904738
3600.03/3639.10 c watch lookups 76091780775
3600.03/3639.10 c watch backjump lookups 0
3600.03/3639.10 c watch checks 29636222863
3600.03/3639.10 c propagation checks 82765633022
3600.03/3639.10 c constraint additions 4739525632
3600.03/3639.10 c trail pops 1322391612
3600.03/3639.10 c formula constraints 16354
3600.03/3639.10 c learned constraints 1279375
3600.03/3639.10 c bound constraints 0
3600.03/3639.10 c core-guided constraints 0
3600.03/3639.10 c encountered formula constraints 66577086
3600.03/3639.10 c encountered learned constraints 32569983
3600.03/3639.10 c encountered bound constraints 0
3600.03/3639.10 c encountered core-guided constraints 0
3600.03/3639.10 c LP total time 489.179 s
3600.03/3639.10 c LP solve time 488.5 s
3600.03/3639.10 c LP constraints added 16354
3600.03/3639.10 c LP constraints removed 0
3600.03/3639.10 c LP pivots internal 127938
3600.03/3639.10 c LP pivots root 245000
3600.03/3639.10 c LP calls 14
3600.03/3639.10 c LP optimalities 1
3600.03/3639.10 c LP no pivot count 0
3600.03/3639.10 c LP infeasibilities 5
3600.03/3639.10 c LP valid Farkas constraints 5
3600.03/3639.10 c LP learned Farkas constraints 5
3600.03/3639.10 c LP basis resets 0
3600.03/3639.10 c LP cycling count 0
3600.03/3639.10 c LP singular count 0
3600.03/3639.10 c LP no primal count 0
3600.03/3639.10 c LP no farkas count 0
3600.03/3639.10 c LP other issue count 0
3600.03/3639.10 c LP Gomory cuts 0
3600.03/3639.10 c LP learned cuts 0
3600.03/3639.10 c LP deleted cuts 0
3600.03/3639.10 c LP encountered Gomory constraints 0
3600.03/3639.10 c LP encountered Farkas constraints 466
3600.03/3639.10 c LP encountered learned Farkas constraints 9
3600.03/3639.10 c CG auxiliary variables introduced 0
3600.03/3639.10 c CG solutions found 0
3600.03/3639.10 c CG cores constructed 0
3600.03/3639.10 c CG core cardinality constraints returned 0
3600.03/3639.10 c CG unit cores 0
3600.03/3639.10 c CG single cores 0
3600.03/3639.10 c CG blocks removed during cardinality reduction 0
3600.03/3639.10 c CG first core best 0
3600.03/3639.10 c CG decision core best 0
3600.03/3639.10 c CG core reduction tie 0
3600.03/3639.10 c CG core degree average 0.00
3600.03/3639.10 c CG core slack average 0.00
3600.03/3639.10 c CG core upper bound improvements 0
3600.03/3639.10 c STR number of successful calls 0
3600.03/3639.10 c STR number of unsuccessful calls 0
3600.03/3639.10 c STR number of inconclusive calls 0
3600.03/3639.10 c STR number of successful attempts 0
3600.03/3639.10 c STR number of unsuccessful attempts 0
3600.03/3639.10 c STR number of inconclusive attempts 0
3600.03/3639.10 c STR average degree increase per successful call inf
3600.03/3639.10 c STR average degree increase per successful attempt inf
3600.03/3639.10 c STR total number of conflicts for successful attempts 0
3600.03/3639.10 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3639.10 c STR total number of conflicts for inconclusive attempts 0
3600.03/3639.10 c STR average number of conflicts per successful attempt inf
3600.03/3639.10 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3639.10 c STR average number of conflicts per inconclusive attempt inf
3600.03/3639.10 c AVG.sumWPerc 65.24
3600.03/3639.10 c bigint constraints 0
3600.03/3639.10 s UNKNOWN
3600.03/3639.10 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62983 MiB free)
memory of node 1: 64507 MiB (64061 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506729-1751170426/watcher-4506729-1751170426 -o /tmp/evaluation-result-4506729-1751170426/solver-4506729-1751170426 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22591 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4506729-1751170426.opb PROOFDIR/proof-4506729-1751170426
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22626, runsolver pid=22620
[startup+0.100057 s]*
/proc/loadavg: 1.10 2.51 3.41 6/259 22630
/proc/meminfo: memFree=130020548/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22630] ppid=22626 vsize=36108 memory=22508 CPUtime=0.02 cores=5,7
/proc/22630/stat : 22630 (pbsuma) R 22626 22626 22578 0 -1 4194304 6259 0 0 0 2 0 0 0 20 0 1 0 32722900 36974592 5627 18446744073709551615 4210688 4653049 140732450648992 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 15020032 140732450654435 140732450654770 140732450654770 140732450660335 0
/proc/22630/statm: 9027 5627 1024 108 0 6435 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 40300 KiB
Current children cumulated memory: 25580 KiB
[startup+0.205689 s]*
/proc/loadavg: 1.10 2.51 3.41 5/260 22638
/proc/meminfo: memFree=130003528/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=62988 memory=16640 CPUtime=0.05 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 2301 0 0 0 4 1 0 0 20 0 1 0 32722914 64499712 4160 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 15747 4160 2080 1147 0 3174 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 67180 KiB
Current children cumulated memory: 19712 KiB
[startup+0.30562 s]*
/proc/loadavg: 1.10 2.51 3.41 6/265 22643
/proc/meminfo: memFree=129851648/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=93004 memory=46844 CPUtime=0.15 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 10002 0 0 0 13 2 0 0 20 0 1 0 32722914 95236096 11711 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 23251 11711 2336 1147 0 10678 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 97196 KiB
Current children cumulated memory: 49916 KiB
[startup+0.7002 s]
/proc/loadavg: 1.10 2.51 3.41 6/265 22643
/proc/meminfo: memFree=129723072/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=98060 memory=50428 CPUtime=0.54 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 10941 0 0 0 51 3 0 0 20 0 1 0 32722914 100413440 12607 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 24515 12607 2336 1147 0 11942 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 102252 KiB
Current children cumulated memory: 53500 KiB
[startup+1.50014 s]
/proc/loadavg: 1.10 2.51 3.41 6/263 22643
/proc/meminfo: memFree=129423200/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=98060 memory=50428 CPUtime=1.34 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 10941 0 0 0 131 3 0 0 20 0 1 0 32722914 100413440 12607 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 24515 12607 2336 1147 0 11942 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 102252 KiB
Current children cumulated memory: 53500 KiB
[startup+3.10538 s]
/proc/loadavg: 1.34 2.53 3.42 6/269 22655
/proc/meminfo: memFree=128103188/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=101292 memory=54392 CPUtime=2.93 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 11961 0 0 0 289 4 0 0 20 0 1 0 32722914 103723008 13598 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 25323 13598 2368 1147 0 12750 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 105484 KiB
Current children cumulated memory: 57464 KiB
[startup+6.30014 s]
/proc/loadavg: 1.34 2.53 3.42 6/269 22655
/proc/meminfo: memFree=126566540/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=105716 memory=62880 CPUtime=6.12 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 13537 0 0 0 600 12 0 0 20 0 1 0 32722914 108253184 15720 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 26429 15720 2400 1147 0 13856 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 109908 KiB
Current children cumulated memory: 65952 KiB
[startup+12.7001 s]
/proc/loadavg: 1.83 2.60 3.43 6/269 22655
/proc/meminfo: memFree=126367912/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=116100 memory=71444 CPUtime=12.5 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 15724 0 0 0 1226 24 0 0 20 0 1 0 32722914 118886400 17861 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 29025 17861 2400 1147 0 16452 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 120292 KiB
Current children cumulated memory: 74516 KiB
[startup+25.5001 s]
/proc/loadavg: 2.16 2.64 3.44 6/272 22659
/proc/meminfo: memFree=126552620/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=126148 memory=81020 CPUtime=25.26 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 17593 0 0 0 2485 41 0 0 20 0 1 0 32722914 129175552 20255 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 31537 20255 2400 1147 0 18964 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 130340 KiB
Current children cumulated memory: 84092 KiB
[startup+51.1057 s]
/proc/loadavg: 2.94 2.79 3.46 6/273 22661
/proc/meminfo: memFree=125058264/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=161836 memory=110144 CPUtime=50.66 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 22842 0 0 0 4978 88 0 0 20 0 1 0 32722914 165720064 27536 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 40459 27536 2400 1147 0 27886 0
Current children cumulated CPU time: 50.72 s
Current children cumulated vsize: 166028 KiB
Current children cumulated memory: 113216 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 3.01 3.50 6/275 22666
/proc/meminfo: memFree=124827876/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=237088 memory=161500 CPUtime=101.72 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 28998 0 0 0 10027 145 0 0 20 0 1 0 32722914 242778112 40375 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 59272 40375 2400 1147 0 46699 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 241280 KiB
Current children cumulated memory: 164572 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 3.19 3.54 6/275 22670
/proc/meminfo: memFree=124453684/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=257724 memory=185436 CPUtime=161.48 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 34064 0 0 0 15929 219 0 0 20 0 1 0 32722914 263909376 46359 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 64431 46359 2400 1147 0 51858 0
Current children cumulated CPU time: 161.54 s
Current children cumulated vsize: 261916 KiB
Current children cumulated memory: 188508 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.39 3.58 6/274 22672
/proc/meminfo: memFree=124204492/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=271484 memory=208632 CPUtime=221.2 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 37487 0 0 0 21825 295 0 0 20 0 1 0 32722914 277999616 52158 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
################
# More data... #
################
/proc/22632/statm: 251438 216383 2400 1147 0 238865 0
Current children cumulated CPU time: 3073.75 s
Current children cumulated vsize: 1009944 KiB
Current children cumulated memory: 868604 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/274 22839
/proc/meminfo: memFree=112763816/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=1010420 memory=869372 CPUtime=3128.92 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 100316 0 0 0 310563 2329 0 0 20 0 1 0 32722914 1034670080 217343 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 252605 217343 2400 1147 0 240032 0
Current children cumulated CPU time: 3128.98 s
Current children cumulated vsize: 1014612 KiB
Current children cumulated memory: 872444 KiB
[startup+3222.3 s]
/proc/loadavg: 4.04 4.09 4.08 6/274 22841
/proc/meminfo: memFree=112431372/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=1023248 memory=879484 CPUtime=3188.67 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 102882 0 0 0 316505 2362 0 0 20 0 1 0 32722914 1047805952 219871 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 255812 219871 2400 1147 0 243239 0
Current children cumulated CPU time: 3188.73 s
Current children cumulated vsize: 1027440 KiB
Current children cumulated memory: 882556 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/272 22843
/proc/meminfo: memFree=112321076/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=1023248 memory=879484 CPUtime=3248.53 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 102882 0 0 0 322468 2385 0 0 20 0 1 0 32722914 1047805952 219871 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 255812 219871 2400 1147 0 243239 0
Current children cumulated CPU time: 3248.59 s
Current children cumulated vsize: 1027440 KiB
Current children cumulated memory: 882556 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/272 22845
/proc/meminfo: memFree=112219712/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=1026540 memory=880764 CPUtime=3308.38 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 103234 0 0 0 328436 2402 0 0 20 0 1 0 32722914 1051176960 220191 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 256635 220191 2400 1147 0 244062 0
Current children cumulated CPU time: 3308.44 s
Current children cumulated vsize: 1030732 KiB
Current children cumulated memory: 883836 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/273 22848
/proc/meminfo: memFree=112104016/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=1029360 memory=883836 CPUtime=3368.23 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 103976 0 0 0 334408 2415 0 0 20 0 1 0 32722914 1054064640 220959 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 257340 220959 2400 1147 0 244767 0
Current children cumulated CPU time: 3368.29 s
Current children cumulated vsize: 1033552 KiB
Current children cumulated memory: 886908 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/270 22850
/proc/meminfo: memFree=111940716/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=1029360 memory=886268 CPUtime=3428.02 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 104016 0 0 0 340347 2455 0 0 20 0 1 0 32722914 1054064640 221567 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 257340 221567 2400 1147 0 244767 0
Current children cumulated CPU time: 3428.08 s
Current children cumulated vsize: 1033552 KiB
Current children cumulated memory: 889340 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/271 22855
/proc/meminfo: memFree=111713776/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=1029360 memory=899324 CPUtime=3487.78 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 104036 0 0 0 346290 2488 0 0 20 0 1 0 32722914 1054064640 224831 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 257340 224831 2400 1147 0 244767 0
Current children cumulated CPU time: 3487.84 s
Current children cumulated vsize: 1033552 KiB
Current children cumulated memory: 902396 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/270 22859
/proc/meminfo: memFree=111472728/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=1029360 memory=906876 CPUtime=3543.41 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 104045 0 0 0 351792 2549 0 0 20 0 1 0 32722914 1054064640 226719 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 257340 226719 2400 1147 0 244767 0
Current children cumulated CPU time: 3543.47 s
Current children cumulated vsize: 1033552 KiB
Current children cumulated memory: 909948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3639.11 s]
/proc/loadavg: 4.32 4.17 4.12 6/270 22955
/proc/meminfo: memFree=116287684/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=1030396 memory=907644 CPUtime=3599.97 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 104219 0 0 0 357414 2583 0 0 20 0 1 0 32722914 1055125504 226911 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 257599 226911 2400 1147 0 245026 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1034588 KiB
Current children cumulated memory: 910716 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3639.11 s]
# the end of solver process 22626 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.057118 s, system=0.020797 s
[startup+3639.14 s]
# the end of solver process 22632 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3574.21 s, system=25.8657 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3639.11 s]
/proc/loadavg: 4.32 4.17 4.12 6/270 22955
/proc/meminfo: memFree=116287684/131250000 swapFree=33010684/33010684
[pid=22626] ppid=22620 vsize=4192 memory=3072 CPUtime=0.06 cores=5,7
/proc/22626/stat : 22626 (run-dec-break-l) S 22620 22626 22578 0 -1 4194304 242 10371 0 0 0 0 5 1 20 0 1 0 32722899 4292608 768 18446744073709551615 94772955914240 94772956808773 140730591507376 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94772957047824 94772957095568 94772974530560 140730591512853 140730591513054 140730591513054 140730591518656 0
/proc/22626/statm: 1048 768 704 219 0 110 0
[pid=22632] ppid=22626 vsize=1030396 memory=907644 CPUtime=3599.97 cores=5,7
/proc/22632/stat : 22632 (roundingsat) R 22626 22626 22578 0 -1 4194304 104219 0 0 0 357414 2583 0 0 20 0 1 0 32722914 1055125504 226911 18446744073709551615 4227072 8923433 140730559036080 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39346176 140730559039732 140730559040040 140730559040040 140730559045610 0
/proc/22632/statm: 257599 226911 2400 1147 0 245026 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1034588 KiB
Current children cumulated memory: 910716 KiB
Child status: 2
Real time (s): 3639.14
CPU time (s): 3600.08
CPU user time (s): 3574.21
CPU system time (s): 25.8657
CPU usage (%): 98.9265
Max. virtual memory (cumulated for all children) (KiB): 1034588
Max. memory (cumulated for all children) (KiB): 910716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.21
system time used= 25.8657
maximum resident set size= 908028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114854
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11778656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 827
involuntary context switches= 4663
# summary of solver processes directly reported to runsolver:
# pid: 22626,22632
# total CPU time (s): 3600.08
# total CPU user time (s): 3574.21
# total CPU system time (s): 25.8657
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.52348 second user time and 16.5036 second system time
The end
Begin job on nodeC013 at 2025-06-29 06:13:46
IDJOB=4506729
IDBENCH=158262
IDSOLVER=3358
FILE ID=nodeC013/4506729-1751170426
RUNJOBID= nodeC013-1751170426-22591
SLURM_JOB_ID= 9587527
Free space on /tmp= 433044 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K134.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506729-1751170426/watcher-4506729-1751170426 -o /tmp/evaluation-result-4506729-1751170426/solver-4506729-1751170426 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22591 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4506729-1751170426.opb PROOFDIR/proof-4506729-1751170426
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232
RANDOM SEED=1383446850
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.417
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.67
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.855
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.835
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.67
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 : 3595.974
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.67
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.815
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.67
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.775
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.67
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 : 3207.367
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.857
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 130139608 kB
MemAvailable: 129773892 kB
Buffers: 3280 kB
Cached: 427204 kB
SwapCached: 0 kB
Active: 294796 kB
Inactive: 218400 kB
Active(anon): 95996 kB
Inactive(anon): 0 kB
Active(file): 198800 kB
Inactive(file): 218400 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 56384 kB
Writeback: 0 kB
AnonPages: 86456 kB
Mapped: 98252 kB
Shmem: 13284 kB
KReclaimable: 86324 kB
Slab: 169336 kB
SReclaimable: 86324 kB
SUnreclaim: 83012 kB
KernelStack: 4108 kB
PageTables: 2672 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 334096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 28672 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC013 at 2025-06-29 07:14:26