0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.12 c #variables 20111 #constraints 20451
95.93/96.28 c #Conflicts: 1000 | #Constraints: 21450
95.93/96.28 c #Conflicts: 2000 | #Constraints: 22450
95.93/96.28 c INPROCESSING
95.93/96.28 c GARBAGE COLLECT
95.93/96.28 c #Conflicts: 3000 | #Constraints: 21716
95.93/96.28 c #Conflicts: 4000 | #Constraints: 22716
95.93/96.28 c INPROCESSING
95.93/96.28 c GARBAGE COLLECT
95.93/96.28 c #Conflicts: 5000 | #Constraints: 22222
95.93/96.28 c #Conflicts: 6000 | #Constraints: 23222
95.93/96.28 c INPROCESSING
95.93/96.28 c GARBAGE COLLECT
95.93/96.28 c #Conflicts: 7000 | #Constraints: 22321
95.93/96.28 c #Conflicts: 8000 | #Constraints: 23321
95.93/96.28 c #Conflicts: 9000 | #Constraints: 24321
95.93/96.28 c INPROCESSING
95.93/96.28 c GARBAGE COLLECT
95.93/96.28 c #Conflicts: 10000 | #Constraints: 23100
95.93/96.28 c #Conflicts: 11000 | #Constraints: 24100
95.93/96.28 c #Conflicts: 12000 | #Constraints: 25100
95.93/96.28 c #Conflicts: 13000 | #Constraints: 26100
95.93/96.28 c #Conflicts: 14000 | #Constraints: 27100
95.93/96.28 c #Conflicts: 15000 | #Constraints: 28100
95.93/96.28 c #Conflicts: 16000 | #Constraints: 29100
95.93/96.28 c INPROCESSING
95.93/96.28 c GARBAGE COLLECT
95.93/96.28 c #Conflicts: 17000 | #Constraints: 25418
95.93/96.28 c #Conflicts: 18000 | #Constraints: 26418
95.93/96.28 c #Conflicts: 19000 | #Constraints: 27418
95.93/96.28 c #Conflicts: 20000 | #Constraints: 28418
95.93/96.28 c INPROCESSING
95.93/96.28 c GARBAGE COLLECT
95.93/96.28 c #Conflicts: 21000 | #Constraints: 25154
95.93/96.28 c #Conflicts: 22000 | #Constraints: 26154
95.93/96.28 c #Conflicts: 23000 | #Constraints: 27154
95.93/96.28 c #Conflicts: 24000 | #Constraints: 28154
95.93/96.28 c #Conflicts: 25000 | #Constraints: 29154
95.93/96.28 c #Conflicts: 26000 | #Constraints: 30154
95.93/96.28 c #Conflicts: 27000 | #Constraints: 31154
95.93/96.28 c #Conflicts: 28000 | #Constraints: 32154
95.93/96.28 c #Conflicts: 29000 | #Constraints: 33154
95.93/96.28 c #Conflicts: 30000 | #Constraints: 34154
95.93/96.28 c INPROCESSING
95.93/96.28 c GARBAGE COLLECT
95.93/96.28 c #Conflicts: 31000 | #Constraints: 27974
95.93/96.28 c #Conflicts: 32000 | #Constraints: 28974
95.93/96.28 c #Conflicts: 33000 | #Constraints: 29974
95.93/96.28 c #Conflicts: 34000 | #Constraints: 30974
95.93/96.28 c #Conflicts: 35000 | #Constraints: 31974
95.93/96.28 c #Conflicts: 36000 | #Constraints: 32974
95.93/96.28 c INPROCESSING
95.93/96.28 c GARBAGE COLLECT
95.93/96.28 c #Conflicts: 37000 | #Constraints: 28100
95.93/96.28 c #Conflicts: 38000 | #Constraints: 29100
95.93/96.28 c #Conflicts: 39000 | #Constraints: 30100
95.93/96.28 c #Conflicts: 40000 | #Constraints: 31100
95.93/96.28 c #Conflicts: 41000 | #Constraints: 32100
95.93/96.28 c #Conflicts: 42000 | #Constraints: 33100
95.93/96.28 c #Conflicts: 43000 | #Constraints: 34100
95.93/96.28 c #Conflicts: 44000 | #Constraints: 35100
95.93/96.28 c #Conflicts: 45000 | #Constraints: 36100
95.93/96.28 c #Conflicts: 46000 | #Constraints: 37100
95.93/96.28 c #Conflicts: 47000 | #Constraints: 38100
95.93/96.28 c #Conflicts: 48000 | #Constraints: 39100
95.93/96.28 c #Conflicts: 49000 | #Constraints: 40100
95.93/96.28 c INPROCESSING
95.93/96.28 c GARBAGE COLLECT
95.93/96.28 c #Conflicts: 50000 | #Constraints: 31214
95.93/96.28 c #Conflicts: 51000 | #Constraints: 32214
95.93/96.28 c #Conflicts: 52000 | #Constraints: 33214
95.93/96.28 c #Conflicts: 53000 | #Constraints: 34214
95.93/96.28 c #Conflicts: 54000 | #Constraints: 35214
95.93/96.28 c #Conflicts: 55000 | #Constraints: 36214
95.93/96.28 c #Conflicts: 56000 | #Constraints: 37214
95.93/96.28 c INPROCESSING
95.93/96.28 c GARBAGE COLLECT
95.93/96.28 c #Conflicts: 57000 | #Constraints: 30712
95.93/96.28 c #Conflicts: 58000 | #Constraints: 31712
95.93/96.28 c #Conflicts: 59000 | #Constraints: 32712
95.93/96.28 c #Conflicts: 60000 | #Constraints: 33712
95.93/96.28 c #Conflicts: 61000 | #Constraints: 34712
95.93/96.28 c #Conflicts: 62000 | #Constraints: 35712
95.93/96.28 c #Conflicts: 63000 | #Constraints: 36712
95.93/96.28 c #Conflicts: 64000 | #Constraints: 37712
95.93/96.28 c #Conflicts: 65000 | #Constraints: 38712
95.93/96.28 c #Conflicts: 66000 | #Constraints: 39712
95.93/96.28 c #Conflicts: 67000 | #Constraints: 40712
95.93/96.28 c #Conflicts: 68000 | #Constraints: 41712
95.93/96.28 c #Conflicts: 69000 | #Constraints: 42712
95.93/96.28 c #Conflicts: 70000 | #Constraints: 43712
95.93/96.28 c #Conflicts: 71000 | #Constraints: 44712
95.93/96.28 c #Conflicts: 72000 | #Constraints: 45712
95.93/96.28 c INPROCESSING
95.93/96.28 c GARBAGE COLLECT
208.14/208.75 c #Conflicts: 73000 | #Constraints: 34040
208.14/208.75 c #Conflicts: 74000 | #Constraints: 35040
208.14/208.75 c #Conflicts: 75000 | #Constraints: 36040
208.14/208.75 c #Conflicts: 76000 | #Constraints: 37040
208.14/208.75 c #Conflicts: 77000 | #Constraints: 38040
208.14/208.75 c #Conflicts: 78000 | #Constraints: 39040
208.14/208.75 c #Conflicts: 79000 | #Constraints: 40040
208.14/208.75 c #Conflicts: 80000 | #Constraints: 41040
208.14/208.75 c INPROCESSING
208.14/208.75 c GARBAGE COLLECT
208.14/208.75 c #Conflicts: 81000 | #Constraints: 33023
208.14/208.75 c #Conflicts: 82000 | #Constraints: 34023
208.14/208.75 c #Conflicts: 83000 | #Constraints: 35023
208.14/208.75 c #Conflicts: 84000 | #Constraints: 36023
208.14/208.75 c #Conflicts: 85000 | #Constraints: 37023
208.14/208.75 c #Conflicts: 86000 | #Constraints: 38023
208.14/208.75 c #Conflicts: 87000 | #Constraints: 39023
208.14/208.75 c #Conflicts: 88000 | #Constraints: 40023
208.14/208.75 c #Conflicts: 89000 | #Constraints: 41023
208.14/208.75 c #Conflicts: 90000 | #Constraints: 42023
208.14/208.75 c #Conflicts: 91000 | #Constraints: 43023
208.14/208.75 c #Conflicts: 92000 | #Constraints: 44023
208.14/208.75 c #Conflicts: 93000 | #Constraints: 45023
208.14/208.75 c #Conflicts: 94000 | #Constraints: 46023
208.14/208.75 c #Conflicts: 95000 | #Constraints: 47023
208.14/208.75 c #Conflicts: 96000 | #Constraints: 48023
208.14/208.75 c #Conflicts: 97000 | #Constraints: 49023
208.14/208.75 c #Conflicts: 98000 | #Constraints: 50023
208.14/208.75 c #Conflicts: 99000 | #Constraints: 51023
208.14/208.75 c #Conflicts: 100000 | #Constraints: 52023
208.14/208.75 c INPROCESSING
208.14/208.75 c GARBAGE COLLECT
208.14/208.75 c #Conflicts: 101000 | #Constraints: 37483
208.14/208.75 c #Conflicts: 102000 | #Constraints: 38483
208.14/208.75 c #Conflicts: 103000 | #Constraints: 39483
208.14/208.75 c #Conflicts: 104000 | #Constraints: 40483
208.14/208.75 c #Conflicts: 105000 | #Constraints: 41483
208.14/208.75 c #Conflicts: 106000 | #Constraints: 42483
208.14/208.75 c #Conflicts: 107000 | #Constraints: 43483
208.14/208.75 c #Conflicts: 108000 | #Constraints: 44483
208.14/208.75 c #Conflicts: 109000 | #Constraints: 45483
208.14/208.75 c INPROCESSING
208.14/208.75 c GARBAGE COLLECT
208.14/208.75 c #Conflicts: 110000 | #Constraints: 35927
208.14/208.75 c #Conflicts: 111000 | #Constraints: 36927
208.14/208.75 c #Conflicts: 112000 | #Constraints: 37927
208.14/208.75 c #Conflicts: 113000 | #Constraints: 38927
208.14/208.75 c #Conflicts: 114000 | #Constraints: 39927
208.14/208.75 c #Conflicts: 115000 | #Constraints: 40927
208.14/208.75 c #Conflicts: 116000 | #Constraints: 41927
208.14/208.75 c #Conflicts: 117000 | #Constraints: 42927
208.14/208.75 c #Conflicts: 118000 | #Constraints: 43927
208.14/208.75 c #Conflicts: 119000 | #Constraints: 44927
208.14/208.75 c #Conflicts: 120000 | #Constraints: 45927
208.14/208.75 c #Conflicts: 121000 | #Constraints: 46927
208.14/208.75 c #Conflicts: 122000 | #Constraints: 47927
208.14/208.75 c #Conflicts: 123000 | #Constraints: 48927
208.14/208.75 c #Conflicts: 124000 | #Constraints: 49927
208.14/208.75 c #Conflicts: 125000 | #Constraints: 50927
208.14/208.75 c #Conflicts: 126000 | #Constraints: 51927
208.14/208.75 c #Conflicts: 127000 | #Constraints: 52927
208.14/208.75 c #Conflicts: 128000 | #Constraints: 53927
208.14/208.75 c #Conflicts: 129000 | #Constraints: 54927
208.14/208.75 c #Conflicts: 130000 | #Constraints: 55927
208.14/208.75 c #Conflicts: 131000 | #Constraints: 56927
208.14/208.75 c #Conflicts: 132000 | #Constraints: 57927
208.14/208.75 c INPROCESSING
208.14/208.75 c GARBAGE COLLECT
208.14/208.75 c #Conflicts: 133000 | #Constraints: 40680
208.14/208.75 c #Conflicts: 134000 | #Constraints: 41680
208.14/208.75 c #Conflicts: 135000 | #Constraints: 42680
208.14/208.75 c #Conflicts: 136000 | #Constraints: 43680
208.14/208.75 c #Conflicts: 137000 | #Constraints: 44680
208.14/208.75 c #Conflicts: 138000 | #Constraints: 45680
208.14/208.75 c #Conflicts: 139000 | #Constraints: 46680
208.14/208.75 c #Conflicts: 140000 | #Constraints: 47680
208.14/208.75 c #Conflicts: 141000 | #Constraints: 48680
208.14/208.75 c #Conflicts: 142000 | #Constraints: 49680
208.14/208.75 c INPROCESSING
208.14/208.75 c GARBAGE COLLECT
208.14/208.75 c #Conflicts: 143000 | #Constraints: 38629
208.14/208.75 c #Conflicts: 144000 | #Constraints: 39629
208.14/208.75 c #Conflicts: 145000 | #Constraints: 40629
208.14/208.75 c #Conflicts: 146000 | #Constraints: 41629
208.14/208.75 c #Conflicts: 147000 | #Constraints: 42629
208.14/208.75 c #Conflicts: 148000 | #Constraints: 43629
330.23/331.16 c #Conflicts: 149000 | #Constraints: 44629
330.23/331.16 c #Conflicts: 150000 | #Constraints: 45629
330.23/331.16 c #Conflicts: 151000 | #Constraints: 46629
330.23/331.16 c #Conflicts: 152000 | #Constraints: 47629
330.23/331.16 c #Conflicts: 153000 | #Constraints: 48629
330.23/331.16 c #Conflicts: 154000 | #Constraints: 49629
330.23/331.16 c #Conflicts: 155000 | #Constraints: 50629
330.23/331.16 c #Conflicts: 156000 | #Constraints: 51629
330.23/331.16 c #Conflicts: 157000 | #Constraints: 52629
330.23/331.16 c #Conflicts: 158000 | #Constraints: 53629
330.23/331.16 c #Conflicts: 159000 | #Constraints: 54629
330.23/331.16 c #Conflicts: 160000 | #Constraints: 55629
330.23/331.16 c #Conflicts: 161000 | #Constraints: 56629
330.23/331.16 c #Conflicts: 162000 | #Constraints: 57629
330.23/331.16 c #Conflicts: 163000 | #Constraints: 58629
330.23/331.16 c #Conflicts: 164000 | #Constraints: 59629
330.23/331.16 c #Conflicts: 165000 | #Constraints: 60629
330.23/331.16 c #Conflicts: 166000 | #Constraints: 61629
330.23/331.16 c #Conflicts: 167000 | #Constraints: 62629
330.23/331.16 c #Conflicts: 168000 | #Constraints: 63629
330.23/331.16 c INPROCESSING
330.23/331.16 c GARBAGE COLLECT
330.23/331.16 c #Conflicts: 169000 | #Constraints: 43459
330.23/331.16 c #Conflicts: 170000 | #Constraints: 44459
330.23/331.16 c #Conflicts: 171000 | #Constraints: 45459
330.23/331.16 c #Conflicts: 172000 | #Constraints: 46459
330.23/331.16 c #Conflicts: 173000 | #Constraints: 47459
330.23/331.16 c #Conflicts: 174000 | #Constraints: 48459
330.23/331.16 c #Conflicts: 175000 | #Constraints: 49459
330.23/331.16 c #Conflicts: 176000 | #Constraints: 50459
330.23/331.16 c #Conflicts: 177000 | #Constraints: 51459
330.23/331.16 c #Conflicts: 178000 | #Constraints: 52459
330.23/331.16 c #Conflicts: 179000 | #Constraints: 53459
330.23/331.16 c #Conflicts: 180000 | #Constraints: 54459
330.23/331.16 c INPROCESSING
330.23/331.16 c GARBAGE COLLECT
330.23/331.16 c #Conflicts: 181000 | #Constraints: 42046
330.23/331.16 c #Conflicts: 182000 | #Constraints: 43046
330.23/331.16 c #Conflicts: 183000 | #Constraints: 44046
330.23/331.16 c #Conflicts: 184000 | #Constraints: 45046
330.23/331.16 c #Conflicts: 185000 | #Constraints: 46046
330.23/331.16 c #Conflicts: 186000 | #Constraints: 47046
330.23/331.16 c #Conflicts: 187000 | #Constraints: 48046
330.23/331.16 c #Conflicts: 188000 | #Constraints: 49046
330.23/331.16 c #Conflicts: 189000 | #Constraints: 50046
330.23/331.16 c #Conflicts: 190000 | #Constraints: 51046
330.23/331.16 c #Conflicts: 191000 | #Constraints: 52046
330.23/331.16 c #Conflicts: 192000 | #Constraints: 53046
330.23/331.16 c #Conflicts: 193000 | #Constraints: 54046
330.23/331.16 c #Conflicts: 194000 | #Constraints: 55046
330.23/331.16 c #Conflicts: 195000 | #Constraints: 56046
330.23/331.16 c #Conflicts: 196000 | #Constraints: 57046
330.23/331.16 c #Conflicts: 197000 | #Constraints: 58046
330.23/331.16 c #Conflicts: 198000 | #Constraints: 59046
330.23/331.16 c #Conflicts: 199000 | #Constraints: 60046
330.23/331.16 c #Conflicts: 200000 | #Constraints: 61046
330.23/331.16 c #Conflicts: 201000 | #Constraints: 62046
330.23/331.16 c #Conflicts: 202000 | #Constraints: 63046
330.23/331.16 c #Conflicts: 203000 | #Constraints: 64046
330.23/331.16 c #Conflicts: 204000 | #Constraints: 65046
330.23/331.16 c #Conflicts: 205000 | #Constraints: 66046
330.23/331.16 c #Conflicts: 206000 | #Constraints: 67046
330.23/331.16 c #Conflicts: 207000 | #Constraints: 68046
330.23/331.16 c #Conflicts: 208000 | #Constraints: 69046
330.23/331.16 c #Conflicts: 209000 | #Constraints: 70046
330.23/331.16 c INPROCESSING
330.23/331.16 c GARBAGE COLLECT
330.23/331.16 c #Conflicts: 210000 | #Constraints: 46927
330.23/331.16 c #Conflicts: 211000 | #Constraints: 47927
330.23/331.16 c #Conflicts: 212000 | #Constraints: 48927
330.23/331.16 c #Conflicts: 213000 | #Constraints: 49927
330.23/331.16 c #Conflicts: 214000 | #Constraints: 50927
330.23/331.16 c #Conflicts: 215000 | #Constraints: 51927
330.23/331.16 c #Conflicts: 216000 | #Constraints: 52927
330.23/331.16 c #Conflicts: 217000 | #Constraints: 53927
330.23/331.16 c #Conflicts: 218000 | #Constraints: 54927
330.23/331.16 c #Conflicts: 219000 | #Constraints: 55927
330.23/331.16 c #Conflicts: 220000 | #Constraints: 56927
330.23/331.16 c #Conflicts: 221000 | #Constraints: 57927
330.23/331.16 c #Conflicts: 222000 | #Constraints: 58927
330.23/331.16 c INPROCESSING
330.23/331.16 c GARBAGE COLLECT
330.23/331.16 c rational objective 169
544.58/546.03 c #Conflicts: 223000 | #Constraints: 44041
544.58/546.03 c #Conflicts: 224000 | #Constraints: 45041
544.58/546.03 c #Conflicts: 225000 | #Constraints: 46041
544.58/546.03 c #Conflicts: 226000 | #Constraints: 47041
544.58/546.03 c #Conflicts: 227000 | #Constraints: 48041
544.58/546.03 c #Conflicts: 228000 | #Constraints: 49042
544.58/546.03 c #Conflicts: 229000 | #Constraints: 50042
544.58/546.03 c #Conflicts: 230000 | #Constraints: 51042
544.58/546.03 c #Conflicts: 231000 | #Constraints: 52042
544.58/546.03 c #Conflicts: 232000 | #Constraints: 53042
544.58/546.03 c #Conflicts: 233000 | #Constraints: 54042
544.58/546.03 c #Conflicts: 234000 | #Constraints: 55042
544.58/546.03 c #Conflicts: 235000 | #Constraints: 56042
544.58/546.03 c #Conflicts: 236000 | #Constraints: 57042
544.58/546.03 c #Conflicts: 237000 | #Constraints: 58042
544.58/546.03 c #Conflicts: 238000 | #Constraints: 59042
544.58/546.03 c #Conflicts: 239000 | #Constraints: 60042
544.58/546.03 c #Conflicts: 240000 | #Constraints: 61042
544.58/546.03 c #Conflicts: 241000 | #Constraints: 62042
544.58/546.03 c #Conflicts: 242000 | #Constraints: 63042
544.58/546.03 c #Conflicts: 243000 | #Constraints: 64042
544.58/546.03 c #Conflicts: 244000 | #Constraints: 65042
544.58/546.03 c #Conflicts: 245000 | #Constraints: 66042
544.58/546.03 c #Conflicts: 246000 | #Constraints: 67042
544.58/546.03 c #Conflicts: 247000 | #Constraints: 68042
544.58/546.03 c #Conflicts: 248000 | #Constraints: 69042
544.58/546.03 c #Conflicts: 249000 | #Constraints: 70042
544.58/546.03 c #Conflicts: 250000 | #Constraints: 71042
544.58/546.03 c #Conflicts: 251000 | #Constraints: 72042
544.58/546.03 c #Conflicts: 252000 | #Constraints: 73042
544.58/546.03 c #Conflicts: 253000 | #Constraints: 74042
544.58/546.03 c #Conflicts: 254000 | #Constraints: 75042
544.58/546.03 c INPROCESSING
544.58/546.03 c GARBAGE COLLECT
544.58/546.03 c #Conflicts: 255000 | #Constraints: 49398
544.58/546.03 c #Conflicts: 256000 | #Constraints: 50398
544.58/546.03 c #Conflicts: 257000 | #Constraints: 51398
544.58/546.03 c #Conflicts: 258000 | #Constraints: 52398
544.58/546.03 c #Conflicts: 259000 | #Constraints: 53398
544.58/546.03 c #Conflicts: 260000 | #Constraints: 54398
544.58/546.03 c #Conflicts: 261000 | #Constraints: 55398
544.58/546.03 c #Conflicts: 262000 | #Constraints: 56398
544.58/546.03 c #Conflicts: 263000 | #Constraints: 57398
544.58/546.03 c #Conflicts: 264000 | #Constraints: 58398
544.58/546.03 c #Conflicts: 265000 | #Constraints: 59398
544.58/546.03 c #Conflicts: 266000 | #Constraints: 60398
544.58/546.03 c #Conflicts: 267000 | #Constraints: 61398
544.58/546.03 c #Conflicts: 268000 | #Constraints: 62398
544.58/546.03 c INPROCESSING
544.58/546.03 c GARBAGE COLLECT
544.58/546.03 c #Conflicts: 269000 | #Constraints: 46451
544.58/546.03 c #Conflicts: 270000 | #Constraints: 47451
544.58/546.03 c #Conflicts: 271000 | #Constraints: 48451
544.58/546.03 c #Conflicts: 272000 | #Constraints: 49451
544.58/546.03 c #Conflicts: 273000 | #Constraints: 50451
544.58/546.03 c #Conflicts: 274000 | #Constraints: 51451
544.58/546.03 c #Conflicts: 275000 | #Constraints: 52451
544.58/546.03 c #Conflicts: 276000 | #Constraints: 53451
544.58/546.03 c #Conflicts: 277000 | #Constraints: 54451
544.58/546.03 c #Conflicts: 278000 | #Constraints: 55451
544.58/546.03 c #Conflicts: 279000 | #Constraints: 56451
544.58/546.03 c #Conflicts: 280000 | #Constraints: 57451
544.58/546.03 c #Conflicts: 281000 | #Constraints: 58451
544.58/546.03 c #Conflicts: 282000 | #Constraints: 59451
544.58/546.03 c #Conflicts: 283000 | #Constraints: 60451
544.58/546.03 c #Conflicts: 284000 | #Constraints: 61451
544.58/546.03 c #Conflicts: 285000 | #Constraints: 62451
544.58/546.03 c #Conflicts: 286000 | #Constraints: 63451
544.58/546.03 c #Conflicts: 287000 | #Constraints: 64451
544.58/546.03 c #Conflicts: 288000 | #Constraints: 65451
544.58/546.03 c #Conflicts: 289000 | #Constraints: 66451
544.58/546.03 c #Conflicts: 290000 | #Constraints: 67451
544.58/546.03 c #Conflicts: 291000 | #Constraints: 68451
544.58/546.03 c #Conflicts: 292000 | #Constraints: 69451
544.58/546.03 c #Conflicts: 293000 | #Constraints: 70451
544.58/546.03 c #Conflicts: 294000 | #Constraints: 71451
544.58/546.03 c #Conflicts: 295000 | #Constraints: 72451
544.58/546.03 c #Conflicts: 296000 | #Constraints: 73451
544.58/546.03 c #Conflicts: 297000 | #Constraints: 74451
544.58/546.03 c #Conflicts: 298000 | #Constraints: 75451
544.58/546.03 c #Conflicts: 299000 | #Constraints: 76451
544.58/546.03 c #Conflicts: 300000 | #Constraints: 77451
708.25/710.11 c #Conflicts: 301000 | #Constraints: 78451
708.25/710.11 c #Conflicts: 302000 | #Constraints: 79451
708.25/710.11 c #Conflicts: 303000 | #Constraints: 80451
708.25/710.11 c INPROCESSING
708.25/710.11 c GARBAGE COLLECT
708.25/710.11 c #Conflicts: 304000 | #Constraints: 52023
708.25/710.11 c #Conflicts: 305000 | #Constraints: 53023
708.25/710.11 c #Conflicts: 306000 | #Constraints: 54023
708.25/710.11 c #Conflicts: 307000 | #Constraints: 55023
708.25/710.11 c #Conflicts: 308000 | #Constraints: 56023
708.25/710.11 c #Conflicts: 309000 | #Constraints: 57023
708.25/710.11 c #Conflicts: 310000 | #Constraints: 58023
708.25/710.11 c #Conflicts: 311000 | #Constraints: 59023
708.25/710.11 c #Conflicts: 312000 | #Constraints: 60023
708.25/710.11 c #Conflicts: 313000 | #Constraints: 61023
708.25/710.11 c #Conflicts: 314000 | #Constraints: 62023
708.25/710.11 c #Conflicts: 315000 | #Constraints: 63023
708.25/710.11 c #Conflicts: 316000 | #Constraints: 64023
708.25/710.11 c #Conflicts: 317000 | #Constraints: 65023
708.25/710.11 c #Conflicts: 318000 | #Constraints: 66023
708.25/710.11 c #Conflicts: 319000 | #Constraints: 67023
708.25/710.11 c INPROCESSING
708.25/710.11 c GARBAGE COLLECT
708.25/710.11 c #Conflicts: 320000 | #Constraints: 49497
708.25/710.11 c #Conflicts: 321000 | #Constraints: 50497
708.25/710.11 c #Conflicts: 322000 | #Constraints: 51497
708.25/710.11 c #Conflicts: 323000 | #Constraints: 52497
708.25/710.11 c #Conflicts: 324000 | #Constraints: 53497
708.25/710.11 c #Conflicts: 325000 | #Constraints: 54497
708.25/710.11 c #Conflicts: 326000 | #Constraints: 55497
708.25/710.11 c #Conflicts: 327000 | #Constraints: 56497
708.25/710.11 c #Conflicts: 328000 | #Constraints: 57497
708.25/710.11 c #Conflicts: 329000 | #Constraints: 58497
708.25/710.11 c #Conflicts: 330000 | #Constraints: 59497
708.25/710.11 c #Conflicts: 331000 | #Constraints: 60497
708.25/710.11 c #Conflicts: 332000 | #Constraints: 61497
708.25/710.11 c #Conflicts: 333000 | #Constraints: 62497
708.25/710.11 c #Conflicts: 334000 | #Constraints: 63497
708.25/710.11 c #Conflicts: 335000 | #Constraints: 64497
708.25/710.11 c #Conflicts: 336000 | #Constraints: 65497
708.25/710.11 c #Conflicts: 337000 | #Constraints: 66497
708.25/710.11 c #Conflicts: 338000 | #Constraints: 67497
708.25/710.11 c #Conflicts: 339000 | #Constraints: 68497
708.25/710.11 c #Conflicts: 340000 | #Constraints: 69497
708.25/710.11 c #Conflicts: 341000 | #Constraints: 70497
708.25/710.11 c #Conflicts: 342000 | #Constraints: 71497
708.25/710.11 c #Conflicts: 343000 | #Constraints: 72497
708.25/710.11 c #Conflicts: 344000 | #Constraints: 73497
708.25/710.11 c #Conflicts: 345000 | #Constraints: 74497
708.25/710.11 c #Conflicts: 346000 | #Constraints: 75497
708.25/710.11 c #Conflicts: 347000 | #Constraints: 76497
708.25/710.11 c #Conflicts: 348000 | #Constraints: 77497
708.25/710.11 c #Conflicts: 349000 | #Constraints: 78497
708.25/710.11 c #Conflicts: 350000 | #Constraints: 79497
708.25/710.11 c #Conflicts: 351000 | #Constraints: 80497
708.25/710.11 c #Conflicts: 352000 | #Constraints: 81497
708.25/710.11 c #Conflicts: 353000 | #Constraints: 82497
708.25/710.11 c #Conflicts: 354000 | #Constraints: 83497
708.25/710.11 c #Conflicts: 355000 | #Constraints: 84497
708.25/710.11 c #Conflicts: 356000 | #Constraints: 85497
708.25/710.11 c #Conflicts: 357000 | #Constraints: 86497
708.25/710.11 c INPROCESSING
708.25/710.11 c GARBAGE COLLECT
708.25/710.11 c #Conflicts: 358000 | #Constraints: 54966
708.25/710.11 c #Conflicts: 359000 | #Constraints: 55966
708.25/710.11 c #Conflicts: 360000 | #Constraints: 56966
708.25/710.11 c #Conflicts: 361000 | #Constraints: 57966
708.25/710.11 c #Conflicts: 362000 | #Constraints: 58966
708.25/710.11 c #Conflicts: 363000 | #Constraints: 59966
708.25/710.11 c #Conflicts: 364000 | #Constraints: 60967
708.25/710.11 c #Conflicts: 365000 | #Constraints: 61967
708.25/710.11 c #Conflicts: 366000 | #Constraints: 62967
708.25/710.11 c #Conflicts: 367000 | #Constraints: 63967
708.25/710.11 c #Conflicts: 368000 | #Constraints: 64967
708.25/710.11 c #Conflicts: 369000 | #Constraints: 65967
708.25/710.11 c #Conflicts: 370000 | #Constraints: 66967
708.25/710.11 c #Conflicts: 371000 | #Constraints: 67967
708.25/710.11 c #Conflicts: 372000 | #Constraints: 68967
708.25/710.11 c #Conflicts: 373000 | #Constraints: 69967
708.25/710.11 c #Conflicts: 374000 | #Constraints: 70967
708.25/710.11 c INPROCESSING
708.25/710.11 c GARBAGE COLLECT
708.25/710.11 c #Conflicts: 375000 | #Constraints: 51811
708.25/710.11 c #Conflicts: 376000 | #Constraints: 52811
840.82/843.10 c #Conflicts: 377000 | #Constraints: 53811
840.82/843.10 c #Conflicts: 378000 | #Constraints: 54811
840.82/843.10 c #Conflicts: 379000 | #Constraints: 55811
840.82/843.10 c #Conflicts: 380000 | #Constraints: 56811
840.82/843.10 c #Conflicts: 381000 | #Constraints: 57811
840.82/843.10 c #Conflicts: 382000 | #Constraints: 58811
840.82/843.10 c #Conflicts: 383000 | #Constraints: 59811
840.82/843.10 c #Conflicts: 384000 | #Constraints: 60811
840.82/843.10 c #Conflicts: 385000 | #Constraints: 61811
840.82/843.10 c #Conflicts: 386000 | #Constraints: 62811
840.82/843.10 c #Conflicts: 387000 | #Constraints: 63811
840.82/843.10 c #Conflicts: 388000 | #Constraints: 64811
840.82/843.10 c #Conflicts: 389000 | #Constraints: 65811
840.82/843.10 c #Conflicts: 390000 | #Constraints: 66811
840.82/843.10 c #Conflicts: 391000 | #Constraints: 67811
840.82/843.10 c #Conflicts: 392000 | #Constraints: 68811
840.82/843.10 c #Conflicts: 393000 | #Constraints: 69811
840.82/843.10 c #Conflicts: 394000 | #Constraints: 70811
840.82/843.10 c #Conflicts: 395000 | #Constraints: 71811
840.82/843.10 c #Conflicts: 396000 | #Constraints: 72811
840.82/843.10 c #Conflicts: 397000 | #Constraints: 73811
840.82/843.10 c #Conflicts: 398000 | #Constraints: 74811
840.82/843.10 c #Conflicts: 399000 | #Constraints: 75811
840.82/843.10 c #Conflicts: 400000 | #Constraints: 76811
840.82/843.10 c #Conflicts: 401000 | #Constraints: 77811
840.82/843.10 c #Conflicts: 402000 | #Constraints: 78811
840.82/843.10 c #Conflicts: 403000 | #Constraints: 79811
840.82/843.10 c #Conflicts: 404000 | #Constraints: 80811
840.82/843.10 c #Conflicts: 405000 | #Constraints: 81811
840.82/843.10 c #Conflicts: 406000 | #Constraints: 82811
840.82/843.10 c #Conflicts: 407000 | #Constraints: 83811
840.82/843.10 c #Conflicts: 408000 | #Constraints: 84811
840.82/843.10 c #Conflicts: 409000 | #Constraints: 85811
840.82/843.10 c #Conflicts: 410000 | #Constraints: 86811
840.82/843.10 c #Conflicts: 411000 | #Constraints: 87811
840.82/843.10 c #Conflicts: 412000 | #Constraints: 88811
840.82/843.10 c #Conflicts: 413000 | #Constraints: 89811
840.82/843.10 c #Conflicts: 414000 | #Constraints: 90811
840.82/843.10 c #Conflicts: 415000 | #Constraints: 91811
840.82/843.10 c INPROCESSING
840.82/843.10 c GARBAGE COLLECT
840.82/843.10 c #Conflicts: 416000 | #Constraints: 57609
840.82/843.10 c #Conflicts: 417000 | #Constraints: 58609
840.82/843.10 c #Conflicts: 418000 | #Constraints: 59609
840.82/843.10 c #Conflicts: 419000 | #Constraints: 60609
840.82/843.10 c #Conflicts: 420000 | #Constraints: 61609
840.82/843.10 c #Conflicts: 421000 | #Constraints: 62609
840.82/843.10 c #Conflicts: 422000 | #Constraints: 63609
840.82/843.10 c #Conflicts: 423000 | #Constraints: 64609
840.82/843.10 c #Conflicts: 424000 | #Constraints: 65609
840.82/843.10 c #Conflicts: 425000 | #Constraints: 66609
840.82/843.10 c #Conflicts: 426000 | #Constraints: 67609
840.82/843.10 c #Conflicts: 427000 | #Constraints: 68609
840.82/843.10 c #Conflicts: 428000 | #Constraints: 69609
840.82/843.10 c #Conflicts: 429000 | #Constraints: 70609
840.82/843.10 c #Conflicts: 430000 | #Constraints: 71609
840.82/843.10 c #Conflicts: 431000 | #Constraints: 72609
840.82/843.10 c #Conflicts: 432000 | #Constraints: 73609
840.82/843.10 c #Conflicts: 433000 | #Constraints: 74609
840.82/843.10 c #Conflicts: 434000 | #Constraints: 75609
840.82/843.10 c INPROCESSING
840.82/843.10 c GARBAGE COLLECT
840.82/843.10 c #Conflicts: 435000 | #Constraints: 54886
840.82/843.10 c #Conflicts: 436000 | #Constraints: 55886
840.82/843.10 c #Conflicts: 437000 | #Constraints: 56886
840.82/843.10 c #Conflicts: 438000 | #Constraints: 57886
840.82/843.10 c #Conflicts: 439000 | #Constraints: 58886
840.82/843.10 c #Conflicts: 440000 | #Constraints: 59886
840.82/843.10 c #Conflicts: 441000 | #Constraints: 60886
840.82/843.10 c #Conflicts: 442000 | #Constraints: 61886
840.82/843.10 c #Conflicts: 443000 | #Constraints: 62886
840.82/843.10 c #Conflicts: 444000 | #Constraints: 63886
840.82/843.10 c #Conflicts: 445000 | #Constraints: 64886
840.82/843.10 c #Conflicts: 446000 | #Constraints: 65886
840.82/843.10 c #Conflicts: 447000 | #Constraints: 66886
840.82/843.10 c #Conflicts: 448000 | #Constraints: 67886
840.82/843.10 c #Conflicts: 449000 | #Constraints: 68886
840.82/843.10 c #Conflicts: 450000 | #Constraints: 69886
840.82/843.10 c #Conflicts: 451000 | #Constraints: 70886
840.82/843.10 c #Conflicts: 452000 | #Constraints: 71886
840.82/843.10 c #Conflicts: 453000 | #Constraints: 72886
840.82/843.10 c #Conflicts: 454000 | #Constraints: 73886
1021.67/1024.36 c #Conflicts: 455000 | #Constraints: 74886
1021.67/1024.36 c #Conflicts: 456000 | #Constraints: 75886
1021.67/1024.36 c #Conflicts: 457000 | #Constraints: 76886
1021.67/1024.36 c #Conflicts: 458000 | #Constraints: 77886
1021.67/1024.36 c #Conflicts: 459000 | #Constraints: 78886
1021.67/1024.36 c #Conflicts: 460000 | #Constraints: 79886
1021.67/1024.36 c #Conflicts: 461000 | #Constraints: 80886
1021.67/1024.36 c #Conflicts: 462000 | #Constraints: 81886
1021.67/1024.36 c #Conflicts: 463000 | #Constraints: 82886
1021.67/1024.36 c #Conflicts: 464000 | #Constraints: 83886
1021.67/1024.36 c #Conflicts: 465000 | #Constraints: 84886
1021.67/1024.36 c #Conflicts: 466000 | #Constraints: 85886
1021.67/1024.36 c #Conflicts: 467000 | #Constraints: 86886
1021.67/1024.36 c #Conflicts: 468000 | #Constraints: 87886
1021.67/1024.36 c #Conflicts: 469000 | #Constraints: 88886
1021.67/1024.36 c #Conflicts: 470000 | #Constraints: 89886
1021.67/1024.36 c #Conflicts: 471000 | #Constraints: 90886
1021.67/1024.36 c #Conflicts: 472000 | #Constraints: 91886
1021.67/1024.36 c #Conflicts: 473000 | #Constraints: 92886
1021.67/1024.36 c #Conflicts: 474000 | #Constraints: 93886
1021.67/1024.36 c #Conflicts: 475000 | #Constraints: 94886
1021.67/1024.36 c #Conflicts: 476000 | #Constraints: 95886
1021.67/1024.36 c #Conflicts: 477000 | #Constraints: 96886
1021.67/1024.36 c #Conflicts: 478000 | #Constraints: 97886
1021.67/1024.36 c INPROCESSING
1021.67/1024.36 c GARBAGE COLLECT
1021.67/1024.36 c #Conflicts: 479000 | #Constraints: 61013
1021.67/1024.36 c #Conflicts: 480000 | #Constraints: 62013
1021.67/1024.36 c #Conflicts: 481000 | #Constraints: 63013
1021.67/1024.36 c #Conflicts: 482000 | #Constraints: 64013
1021.67/1024.36 c #Conflicts: 483000 | #Constraints: 65013
1021.67/1024.36 c #Conflicts: 484000 | #Constraints: 66013
1021.67/1024.36 c #Conflicts: 485000 | #Constraints: 67013
1021.67/1024.36 c #Conflicts: 486000 | #Constraints: 68013
1021.67/1024.36 c #Conflicts: 487000 | #Constraints: 69013
1021.67/1024.36 c #Conflicts: 488000 | #Constraints: 70013
1021.67/1024.36 c #Conflicts: 489000 | #Constraints: 71013
1021.67/1024.36 c #Conflicts: 490000 | #Constraints: 72013
1021.67/1024.36 c #Conflicts: 491000 | #Constraints: 73013
1021.67/1024.36 c #Conflicts: 492000 | #Constraints: 74013
1021.67/1024.36 c #Conflicts: 493000 | #Constraints: 75013
1021.67/1024.36 c #Conflicts: 494000 | #Constraints: 76013
1021.67/1024.36 c #Conflicts: 495000 | #Constraints: 77013
1021.67/1024.36 c #Conflicts: 496000 | #Constraints: 78013
1021.67/1024.36 c #Conflicts: 497000 | #Constraints: 79013
1021.67/1024.36 c #Conflicts: 498000 | #Constraints: 80013
1021.67/1024.36 c INPROCESSING
1021.67/1024.36 c GARBAGE COLLECT
1021.67/1024.36 c #Conflicts: 499000 | #Constraints: 56968
1021.67/1024.36 c #Conflicts: 500000 | #Constraints: 57968
1021.67/1024.36 c #Conflicts: 501000 | #Constraints: 58968
1021.67/1024.36 c #Conflicts: 502000 | #Constraints: 59968
1021.67/1024.36 c #Conflicts: 503000 | #Constraints: 60968
1021.67/1024.36 c #Conflicts: 504000 | #Constraints: 61968
1021.67/1024.36 c #Conflicts: 505000 | #Constraints: 62968
1021.67/1024.36 c #Conflicts: 506000 | #Constraints: 63968
1021.67/1024.36 c #Conflicts: 507000 | #Constraints: 64968
1021.67/1024.36 c #Conflicts: 508000 | #Constraints: 65968
1021.67/1024.36 c #Conflicts: 509000 | #Constraints: 66968
1021.67/1024.36 c #Conflicts: 510000 | #Constraints: 67968
1021.67/1024.36 c #Conflicts: 511000 | #Constraints: 68968
1021.67/1024.36 c #Conflicts: 512000 | #Constraints: 69968
1021.67/1024.36 c #Conflicts: 513000 | #Constraints: 70968
1021.67/1024.36 c #Conflicts: 514000 | #Constraints: 71968
1021.67/1024.36 c #Conflicts: 515000 | #Constraints: 72968
1021.67/1024.36 c #Conflicts: 516000 | #Constraints: 73968
1021.67/1024.36 c #Conflicts: 517000 | #Constraints: 74968
1021.67/1024.36 c #Conflicts: 518000 | #Constraints: 75968
1021.67/1024.36 c #Conflicts: 519000 | #Constraints: 76969
1021.67/1024.36 c #Conflicts: 520000 | #Constraints: 77969
1021.67/1024.36 c #Conflicts: 521000 | #Constraints: 78969
1021.67/1024.36 c #Conflicts: 522000 | #Constraints: 79969
1021.67/1024.36 c #Conflicts: 523000 | #Constraints: 80969
1021.67/1024.36 c #Conflicts: 524000 | #Constraints: 81969
1021.67/1024.36 c #Conflicts: 525000 | #Constraints: 82969
1021.67/1024.36 c #Conflicts: 526000 | #Constraints: 83969
1021.67/1024.36 c #Conflicts: 527000 | #Constraints: 84969
1021.67/1024.36 c #Conflicts: 528000 | #Constraints: 85969
1021.67/1024.36 c #Conflicts: 529000 | #Constraints: 86969
1021.67/1024.36 c #Conflicts: 530000 | #Constraints: 87969
1021.67/1024.36 c #Conflicts: 531000 | #Constraints: 88969
1099.58/1102.41 c #Conflicts: 532000 | #Constraints: 89969
1099.58/1102.41 c #Conflicts: 533000 | #Constraints: 90969
1099.58/1102.41 c #Conflicts: 534000 | #Constraints: 91969
1099.58/1102.41 c #Conflicts: 535000 | #Constraints: 92969
1099.58/1102.41 c #Conflicts: 536000 | #Constraints: 93969
1099.58/1102.41 c #Conflicts: 537000 | #Constraints: 94969
1099.58/1102.41 c #Conflicts: 538000 | #Constraints: 95969
1099.58/1102.41 c #Conflicts: 539000 | #Constraints: 96969
1099.58/1102.41 c #Conflicts: 540000 | #Constraints: 97969
1099.58/1102.41 c #Conflicts: 541000 | #Constraints: 98969
1099.58/1102.41 c #Conflicts: 542000 | #Constraints: 99969
1099.58/1102.41 c #Conflicts: 543000 | #Constraints: 100969
1099.58/1102.41 c #Conflicts: 544000 | #Constraints: 101969
1099.58/1102.41 c #Conflicts: 545000 | #Constraints: 102969
1099.58/1102.41 c INPROCESSING
1099.58/1102.41 c GARBAGE COLLECT
1099.58/1102.41 c rational objective 169
1270.54/1273.83 c #Conflicts: 546000 | #Constraints: 63519
1270.54/1273.83 c #Conflicts: 547000 | #Constraints: 64519
1270.54/1273.83 c #Conflicts: 548000 | #Constraints: 65519
1270.54/1273.83 c #Conflicts: 549000 | #Constraints: 66519
1270.54/1273.83 c #Conflicts: 550000 | #Constraints: 67519
1270.54/1273.83 c #Conflicts: 551000 | #Constraints: 68519
1270.54/1273.83 c #Conflicts: 552000 | #Constraints: 69519
1270.54/1273.83 c #Conflicts: 553000 | #Constraints: 70519
1270.54/1273.83 c #Conflicts: 554000 | #Constraints: 71519
1270.54/1273.83 c #Conflicts: 555000 | #Constraints: 72519
1270.54/1273.83 c #Conflicts: 556000 | #Constraints: 73519
1270.54/1273.83 c #Conflicts: 557000 | #Constraints: 74519
1270.54/1273.83 c #Conflicts: 558000 | #Constraints: 75519
1270.54/1273.83 c #Conflicts: 559000 | #Constraints: 76519
1270.54/1273.83 c #Conflicts: 560000 | #Constraints: 77519
1270.54/1273.83 c #Conflicts: 561000 | #Constraints: 78519
1270.54/1273.83 c #Conflicts: 562000 | #Constraints: 79519
1270.54/1273.83 c #Conflicts: 563000 | #Constraints: 80519
1270.54/1273.83 c #Conflicts: 564000 | #Constraints: 81519
1270.54/1273.83 c #Conflicts: 565000 | #Constraints: 82519
1270.54/1273.83 c #Conflicts: 566000 | #Constraints: 83519
1270.54/1273.83 c INPROCESSING
1270.54/1273.83 c GARBAGE COLLECT
1270.54/1273.83 c #Conflicts: 567000 | #Constraints: 59503
1270.54/1273.83 c #Conflicts: 568000 | #Constraints: 60503
1270.54/1273.83 c #Conflicts: 569000 | #Constraints: 61503
1270.54/1273.83 c #Conflicts: 570000 | #Constraints: 62503
1270.54/1273.83 c #Conflicts: 571000 | #Constraints: 63503
1270.54/1273.83 c #Conflicts: 572000 | #Constraints: 64503
1270.54/1273.83 c #Conflicts: 573000 | #Constraints: 65503
1270.54/1273.83 c #Conflicts: 574000 | #Constraints: 66503
1270.54/1273.83 c #Conflicts: 575000 | #Constraints: 67503
1270.54/1273.83 c #Conflicts: 576000 | #Constraints: 68503
1270.54/1273.83 c #Conflicts: 577000 | #Constraints: 69503
1270.54/1273.83 c #Conflicts: 578000 | #Constraints: 70503
1270.54/1273.83 c #Conflicts: 579000 | #Constraints: 71503
1270.54/1273.83 c #Conflicts: 580000 | #Constraints: 72503
1270.54/1273.83 c #Conflicts: 581000 | #Constraints: 73503
1270.54/1273.83 c #Conflicts: 582000 | #Constraints: 74503
1270.54/1273.83 c #Conflicts: 583000 | #Constraints: 75503
1270.54/1273.83 c #Conflicts: 584000 | #Constraints: 76503
1270.54/1273.83 c #Conflicts: 585000 | #Constraints: 77503
1270.54/1273.83 c #Conflicts: 586000 | #Constraints: 78503
1270.54/1273.83 c #Conflicts: 587000 | #Constraints: 79503
1270.54/1273.83 c #Conflicts: 588000 | #Constraints: 80503
1270.54/1273.83 c #Conflicts: 589000 | #Constraints: 81503
1270.54/1273.83 c #Conflicts: 590000 | #Constraints: 82503
1270.54/1273.83 c #Conflicts: 591000 | #Constraints: 83503
1270.54/1273.83 c #Conflicts: 592000 | #Constraints: 84503
1270.54/1273.83 c #Conflicts: 593000 | #Constraints: 85503
1270.54/1273.83 c #Conflicts: 594000 | #Constraints: 86503
1270.54/1273.83 c #Conflicts: 595000 | #Constraints: 87503
1270.54/1273.83 c #Conflicts: 596000 | #Constraints: 88503
1270.54/1273.83 c #Conflicts: 597000 | #Constraints: 89503
1270.54/1273.83 c #Conflicts: 598000 | #Constraints: 90503
1270.54/1273.83 c #Conflicts: 599000 | #Constraints: 91503
1270.54/1273.83 c #Conflicts: 600000 | #Constraints: 92503
1270.54/1273.83 c #Conflicts: 601000 | #Constraints: 93503
1270.54/1273.83 c #Conflicts: 602000 | #Constraints: 94503
1270.54/1273.83 c #Conflicts: 603000 | #Constraints: 95503
1270.54/1273.83 c #Conflicts: 604000 | #Constraints: 96503
1270.54/1273.83 c #Conflicts: 605000 | #Constraints: 97503
1270.54/1273.83 c #Conflicts: 606000 | #Constraints: 98503
1270.54/1273.83 c #Conflicts: 607000 | #Constraints: 99503
1270.54/1273.83 c #Conflicts: 608000 | #Constraints: 100503
1270.54/1273.83 c #Conflicts: 609000 | #Constraints: 101503
1270.54/1273.83 c #Conflicts: 610000 | #Constraints: 102503
1270.54/1273.83 c #Conflicts: 611000 | #Constraints: 103503
1270.54/1273.83 c #Conflicts: 612000 | #Constraints: 104503
1270.54/1273.83 c #Conflicts: 613000 | #Constraints: 105503
1270.54/1273.83 c #Conflicts: 614000 | #Constraints: 106503
1270.54/1273.83 c #Conflicts: 615000 | #Constraints: 107503
1270.54/1273.83 c #Conflicts: 616000 | #Constraints: 108503
1270.54/1273.83 c #Conflicts: 617000 | #Constraints: 109503
1270.54/1273.83 c INPROCESSING
1270.54/1273.83 c GARBAGE COLLECT
1270.54/1273.83 c #Conflicts: 618000 | #Constraints: 67150
1270.54/1273.83 c #Conflicts: 619000 | #Constraints: 68150
1270.54/1273.83 c #Conflicts: 620000 | #Constraints: 69150
1270.54/1273.83 c #Conflicts: 621000 | #Constraints: 70150
1270.54/1273.83 c #Conflicts: 622000 | #Constraints: 71150
1270.54/1273.83 c #Conflicts: 623000 | #Constraints: 72150
1477.61/1481.43 c #Conflicts: 624000 | #Constraints: 73150
1477.61/1481.43 c #Conflicts: 625000 | #Constraints: 74150
1477.61/1481.43 c #Conflicts: 626000 | #Constraints: 75150
1477.61/1481.43 c #Conflicts: 627000 | #Constraints: 76150
1477.61/1481.43 c #Conflicts: 628000 | #Constraints: 77150
1477.61/1481.43 c #Conflicts: 629000 | #Constraints: 78150
1477.61/1481.43 c #Conflicts: 630000 | #Constraints: 79150
1477.61/1481.43 c #Conflicts: 631000 | #Constraints: 80150
1477.61/1481.43 c #Conflicts: 632000 | #Constraints: 81150
1477.61/1481.43 c #Conflicts: 633000 | #Constraints: 82150
1477.61/1481.43 c #Conflicts: 634000 | #Constraints: 83150
1477.61/1481.43 c #Conflicts: 635000 | #Constraints: 84150
1477.61/1481.43 c #Conflicts: 636000 | #Constraints: 85150
1477.61/1481.43 c #Conflicts: 637000 | #Constraints: 86150
1477.61/1481.43 c #Conflicts: 638000 | #Constraints: 87150
1477.61/1481.43 c #Conflicts: 639000 | #Constraints: 88150
1477.61/1481.43 c INPROCESSING
1477.61/1481.43 c GARBAGE COLLECT
1477.61/1481.43 c #Conflicts: 640000 | #Constraints: 62463
1477.61/1481.43 c #Conflicts: 641000 | #Constraints: 63463
1477.61/1481.43 c #Conflicts: 642000 | #Constraints: 64463
1477.61/1481.43 c #Conflicts: 643000 | #Constraints: 65463
1477.61/1481.43 c #Conflicts: 644000 | #Constraints: 66463
1477.61/1481.43 c #Conflicts: 645000 | #Constraints: 67463
1477.61/1481.43 c #Conflicts: 646000 | #Constraints: 68463
1477.61/1481.43 c #Conflicts: 647000 | #Constraints: 69463
1477.61/1481.43 c #Conflicts: 648000 | #Constraints: 70463
1477.61/1481.43 c #Conflicts: 649000 | #Constraints: 71463
1477.61/1481.43 c #Conflicts: 650000 | #Constraints: 72463
1477.61/1481.43 c #Conflicts: 651000 | #Constraints: 73463
1477.61/1481.43 c #Conflicts: 652000 | #Constraints: 74463
1477.61/1481.43 c #Conflicts: 653000 | #Constraints: 75463
1477.61/1481.43 c #Conflicts: 654000 | #Constraints: 76463
1477.61/1481.43 c #Conflicts: 655000 | #Constraints: 77463
1477.61/1481.43 c #Conflicts: 656000 | #Constraints: 78463
1477.61/1481.43 c #Conflicts: 657000 | #Constraints: 79463
1477.61/1481.43 c #Conflicts: 658000 | #Constraints: 80463
1477.61/1481.43 c #Conflicts: 659000 | #Constraints: 81463
1477.61/1481.43 c #Conflicts: 660000 | #Constraints: 82463
1477.61/1481.43 c #Conflicts: 661000 | #Constraints: 83464
1477.61/1481.43 c #Conflicts: 662000 | #Constraints: 84464
1477.61/1481.43 c #Conflicts: 663000 | #Constraints: 85464
1477.61/1481.43 c #Conflicts: 664000 | #Constraints: 86464
1477.61/1481.43 c #Conflicts: 665000 | #Constraints: 87464
1477.61/1481.43 c #Conflicts: 666000 | #Constraints: 88464
1477.61/1481.43 c #Conflicts: 667000 | #Constraints: 89464
1477.61/1481.43 c #Conflicts: 668000 | #Constraints: 90464
1477.61/1481.43 c #Conflicts: 669000 | #Constraints: 91464
1477.61/1481.43 c #Conflicts: 670000 | #Constraints: 92464
1477.61/1481.43 c #Conflicts: 671000 | #Constraints: 93464
1477.61/1481.43 c #Conflicts: 672000 | #Constraints: 94464
1477.61/1481.43 c #Conflicts: 673000 | #Constraints: 95464
1477.61/1481.43 c #Conflicts: 674000 | #Constraints: 96464
1477.61/1481.43 c #Conflicts: 675000 | #Constraints: 97464
1477.61/1481.43 c #Conflicts: 676000 | #Constraints: 98464
1477.61/1481.43 c #Conflicts: 677000 | #Constraints: 99464
1477.61/1481.43 c #Conflicts: 678000 | #Constraints: 100464
1477.61/1481.43 c #Conflicts: 679000 | #Constraints: 101464
1477.61/1481.43 c #Conflicts: 680000 | #Constraints: 102464
1477.61/1481.43 c #Conflicts: 681000 | #Constraints: 103464
1477.61/1481.43 c #Conflicts: 682000 | #Constraints: 104464
1477.61/1481.43 c #Conflicts: 683000 | #Constraints: 105464
1477.61/1481.43 c #Conflicts: 684000 | #Constraints: 106464
1477.61/1481.43 c #Conflicts: 685000 | #Constraints: 107464
1477.61/1481.43 c #Conflicts: 686000 | #Constraints: 108464
1477.61/1481.43 c #Conflicts: 687000 | #Constraints: 109464
1477.61/1481.43 c #Conflicts: 688000 | #Constraints: 110464
1477.61/1481.43 c #Conflicts: 689000 | #Constraints: 111464
1477.61/1481.43 c #Conflicts: 690000 | #Constraints: 112464
1477.61/1481.43 c #Conflicts: 691000 | #Constraints: 113464
1477.61/1481.43 c #Conflicts: 692000 | #Constraints: 114464
1477.61/1481.43 c #Conflicts: 693000 | #Constraints: 115464
1477.61/1481.43 c INPROCESSING
1477.61/1481.43 c GARBAGE COLLECT
1477.61/1481.43 c #Conflicts: 694000 | #Constraints: 69942
1477.61/1481.43 c #Conflicts: 695000 | #Constraints: 70942
1477.61/1481.43 c #Conflicts: 696000 | #Constraints: 71942
1477.61/1481.43 c #Conflicts: 697000 | #Constraints: 72942
1477.61/1481.43 c #Conflicts: 698000 | #Constraints: 73942
1477.61/1481.43 c #Conflicts: 699000 | #Constraints: 74942
1477.61/1481.43 c #Conflicts: 700000 | #Constraints: 75942
1786.63/1791.25 c #Conflicts: 701000 | #Constraints: 76942
1786.63/1791.25 c #Conflicts: 702000 | #Constraints: 77942
1786.63/1791.25 c #Conflicts: 703000 | #Constraints: 78942
1786.63/1791.25 c #Conflicts: 704000 | #Constraints: 79942
1786.63/1791.25 c #Conflicts: 705000 | #Constraints: 80942
1786.63/1791.25 c #Conflicts: 706000 | #Constraints: 81942
1786.63/1791.25 c #Conflicts: 707000 | #Constraints: 82942
1786.63/1791.25 c #Conflicts: 708000 | #Constraints: 83942
1786.63/1791.25 c #Conflicts: 709000 | #Constraints: 84942
1786.63/1791.25 c #Conflicts: 710000 | #Constraints: 85942
1786.63/1791.25 c #Conflicts: 711000 | #Constraints: 86942
1786.63/1791.25 c #Conflicts: 712000 | #Constraints: 87942
1786.63/1791.25 c #Conflicts: 713000 | #Constraints: 88942
1786.63/1791.25 c #Conflicts: 714000 | #Constraints: 89942
1786.63/1791.25 c #Conflicts: 715000 | #Constraints: 90942
1786.63/1791.25 c #Conflicts: 716000 | #Constraints: 91942
1786.63/1791.25 c INPROCESSING
1786.63/1791.25 c GARBAGE COLLECT
1786.63/1791.25 c #Conflicts: 717000 | #Constraints: 64861
1786.63/1791.25 c #Conflicts: 718000 | #Constraints: 65861
1786.63/1791.25 c #Conflicts: 719000 | #Constraints: 66861
1786.63/1791.25 c #Conflicts: 720000 | #Constraints: 67861
1786.63/1791.25 c #Conflicts: 721000 | #Constraints: 68861
1786.63/1791.25 c #Conflicts: 722000 | #Constraints: 69861
1786.63/1791.25 c #Conflicts: 723000 | #Constraints: 70861
1786.63/1791.25 c #Conflicts: 724000 | #Constraints: 71861
1786.63/1791.25 c #Conflicts: 725000 | #Constraints: 72861
1786.63/1791.25 c #Conflicts: 726000 | #Constraints: 73861
1786.63/1791.25 c #Conflicts: 727000 | #Constraints: 74861
1786.63/1791.25 c #Conflicts: 728000 | #Constraints: 75861
1786.63/1791.25 c #Conflicts: 729000 | #Constraints: 76861
1786.63/1791.25 c #Conflicts: 730000 | #Constraints: 77861
1786.63/1791.25 c #Conflicts: 731000 | #Constraints: 78861
1786.63/1791.25 c #Conflicts: 732000 | #Constraints: 79861
1786.63/1791.25 c #Conflicts: 733000 | #Constraints: 80861
1786.63/1791.25 c #Conflicts: 734000 | #Constraints: 81861
1786.63/1791.25 c #Conflicts: 735000 | #Constraints: 82861
1786.63/1791.25 c #Conflicts: 736000 | #Constraints: 83861
1786.63/1791.25 c #Conflicts: 737000 | #Constraints: 84861
1786.63/1791.25 c #Conflicts: 738000 | #Constraints: 85861
1786.63/1791.25 c #Conflicts: 739000 | #Constraints: 86861
1786.63/1791.25 c #Conflicts: 740000 | #Constraints: 87861
1786.63/1791.25 c #Conflicts: 741000 | #Constraints: 88861
1786.63/1791.25 c #Conflicts: 742000 | #Constraints: 89861
1786.63/1791.25 c #Conflicts: 743000 | #Constraints: 90861
1786.63/1791.25 c #Conflicts: 744000 | #Constraints: 91861
1786.63/1791.25 c #Conflicts: 745000 | #Constraints: 92861
1786.63/1791.25 c #Conflicts: 746000 | #Constraints: 93861
1786.63/1791.25 c #Conflicts: 747000 | #Constraints: 94861
1786.63/1791.25 c #Conflicts: 748000 | #Constraints: 95861
1786.63/1791.25 c #Conflicts: 749000 | #Constraints: 96861
1786.63/1791.25 c #Conflicts: 750000 | #Constraints: 97861
1786.63/1791.25 c #Conflicts: 751000 | #Constraints: 98861
1786.63/1791.25 c #Conflicts: 752000 | #Constraints: 99861
1786.63/1791.25 c #Conflicts: 753000 | #Constraints: 100861
1786.63/1791.25 c #Conflicts: 754000 | #Constraints: 101861
1786.63/1791.25 c #Conflicts: 755000 | #Constraints: 102861
1786.63/1791.25 c #Conflicts: 756000 | #Constraints: 103861
1786.63/1791.25 c #Conflicts: 757000 | #Constraints: 104861
1786.63/1791.25 c #Conflicts: 758000 | #Constraints: 105861
1786.63/1791.25 c #Conflicts: 759000 | #Constraints: 106861
1786.63/1791.25 c #Conflicts: 760000 | #Constraints: 107861
1786.63/1791.25 c #Conflicts: 761000 | #Constraints: 108861
1786.63/1791.25 c #Conflicts: 762000 | #Constraints: 109861
1786.63/1791.25 c #Conflicts: 763000 | #Constraints: 110861
1786.63/1791.25 c #Conflicts: 764000 | #Constraints: 111861
1786.63/1791.25 c #Conflicts: 765000 | #Constraints: 112861
1786.63/1791.25 c #Conflicts: 766000 | #Constraints: 113861
1786.63/1791.25 c #Conflicts: 767000 | #Constraints: 114861
1786.63/1791.25 c #Conflicts: 768000 | #Constraints: 115861
1786.63/1791.25 c #Conflicts: 769000 | #Constraints: 116861
1786.63/1791.25 c #Conflicts: 770000 | #Constraints: 117861
1786.63/1791.25 c #Conflicts: 771000 | #Constraints: 118861
1786.63/1791.25 c #Conflicts: 772000 | #Constraints: 119861
1786.63/1791.25 c #Conflicts: 773000 | #Constraints: 120861
1786.63/1791.25 c INPROCESSING
1786.63/1791.25 c GARBAGE COLLECT
1786.63/1791.25 c #Conflicts: 774000 | #Constraints: 72560
1786.63/1791.25 c #Conflicts: 775000 | #Constraints: 73560
1786.63/1791.25 c #Conflicts: 776000 | #Constraints: 74560
1786.63/1791.25 c #Conflicts: 777000 | #Constraints: 75560
1786.63/1791.25 c #Conflicts: 778000 | #Constraints: 76560
1974.17/1979.28 c #Conflicts: 779000 | #Constraints: 77560
1974.17/1979.28 c #Conflicts: 780000 | #Constraints: 78560
1974.17/1979.28 c #Conflicts: 781000 | #Constraints: 79560
1974.17/1979.28 c #Conflicts: 782000 | #Constraints: 80560
1974.17/1979.28 c #Conflicts: 783000 | #Constraints: 81560
1974.17/1979.28 c #Conflicts: 784000 | #Constraints: 82560
1974.17/1979.28 c #Conflicts: 785000 | #Constraints: 83560
1974.17/1979.28 c #Conflicts: 786000 | #Constraints: 84560
1974.17/1979.28 c #Conflicts: 787000 | #Constraints: 85560
1974.17/1979.28 c #Conflicts: 788000 | #Constraints: 86560
1974.17/1979.28 c #Conflicts: 789000 | #Constraints: 87560
1974.17/1979.28 c #Conflicts: 790000 | #Constraints: 88560
1974.17/1979.28 c #Conflicts: 791000 | #Constraints: 89560
1974.17/1979.28 c #Conflicts: 792000 | #Constraints: 90560
1974.17/1979.28 c #Conflicts: 793000 | #Constraints: 91560
1974.17/1979.28 c #Conflicts: 794000 | #Constraints: 92560
1974.17/1979.28 c #Conflicts: 795000 | #Constraints: 93560
1974.17/1979.28 c #Conflicts: 796000 | #Constraints: 94560
1974.17/1979.28 c #Conflicts: 797000 | #Constraints: 95560
1974.17/1979.28 c #Conflicts: 798000 | #Constraints: 96560
1974.17/1979.28 c INPROCESSING
1974.17/1979.28 c GARBAGE COLLECT
1974.17/1979.28 c #Conflicts: 799000 | #Constraints: 67797
1974.17/1979.28 c #Conflicts: 800000 | #Constraints: 68797
1974.17/1979.28 c #Conflicts: 801000 | #Constraints: 69797
1974.17/1979.28 c #Conflicts: 802000 | #Constraints: 70797
1974.17/1979.28 c #Conflicts: 803000 | #Constraints: 71797
1974.17/1979.28 c #Conflicts: 804000 | #Constraints: 72797
1974.17/1979.28 c #Conflicts: 805000 | #Constraints: 73797
1974.17/1979.28 c #Conflicts: 806000 | #Constraints: 74797
1974.17/1979.28 c #Conflicts: 807000 | #Constraints: 75797
1974.17/1979.28 c #Conflicts: 808000 | #Constraints: 76797
1974.17/1979.28 c #Conflicts: 809000 | #Constraints: 77797
1974.17/1979.28 c #Conflicts: 810000 | #Constraints: 78797
1974.17/1979.28 c #Conflicts: 811000 | #Constraints: 79797
1974.17/1979.28 c #Conflicts: 812000 | #Constraints: 80797
1974.17/1979.28 c #Conflicts: 813000 | #Constraints: 81797
1974.17/1979.28 c #Conflicts: 814000 | #Constraints: 82797
1974.17/1979.28 c #Conflicts: 815000 | #Constraints: 83797
1974.17/1979.28 c #Conflicts: 816000 | #Constraints: 84797
1974.17/1979.28 c #Conflicts: 817000 | #Constraints: 85797
1974.17/1979.28 c #Conflicts: 818000 | #Constraints: 86797
1974.17/1979.28 c #Conflicts: 819000 | #Constraints: 87797
1974.17/1979.28 c #Conflicts: 820000 | #Constraints: 88797
1974.17/1979.28 c #Conflicts: 821000 | #Constraints: 89797
1974.17/1979.28 c #Conflicts: 822000 | #Constraints: 90797
1974.17/1979.28 c #Conflicts: 823000 | #Constraints: 91797
1974.17/1979.28 c #Conflicts: 824000 | #Constraints: 92797
1974.17/1979.28 c #Conflicts: 825000 | #Constraints: 93797
1974.17/1979.28 c #Conflicts: 826000 | #Constraints: 94797
1974.17/1979.28 c #Conflicts: 827000 | #Constraints: 95797
1974.17/1979.28 c #Conflicts: 828000 | #Constraints: 96797
1974.17/1979.28 c #Conflicts: 829000 | #Constraints: 97797
1974.17/1979.28 c #Conflicts: 830000 | #Constraints: 98797
1974.17/1979.28 c #Conflicts: 831000 | #Constraints: 99797
1974.17/1979.28 c #Conflicts: 832000 | #Constraints: 100797
1974.17/1979.28 c #Conflicts: 833000 | #Constraints: 101797
1974.17/1979.28 c #Conflicts: 834000 | #Constraints: 102797
1974.17/1979.28 c #Conflicts: 835000 | #Constraints: 103797
1974.17/1979.28 c #Conflicts: 836000 | #Constraints: 104797
1974.17/1979.28 c #Conflicts: 837000 | #Constraints: 105797
1974.17/1979.28 c #Conflicts: 838000 | #Constraints: 106797
1974.17/1979.28 c #Conflicts: 839000 | #Constraints: 107797
1974.17/1979.28 c #Conflicts: 840000 | #Constraints: 108797
1974.17/1979.28 c #Conflicts: 841000 | #Constraints: 109797
1974.17/1979.28 c #Conflicts: 842000 | #Constraints: 110797
1974.17/1979.28 c #Conflicts: 843000 | #Constraints: 111797
1974.17/1979.28 c #Conflicts: 844000 | #Constraints: 112797
1974.17/1979.28 c #Conflicts: 845000 | #Constraints: 113797
1974.17/1979.28 c #Conflicts: 846000 | #Constraints: 114797
1974.17/1979.28 c #Conflicts: 847000 | #Constraints: 115797
1974.17/1979.28 c #Conflicts: 848000 | #Constraints: 116797
1974.17/1979.28 c #Conflicts: 849000 | #Constraints: 117797
1974.17/1979.28 c #Conflicts: 850000 | #Constraints: 118797
1974.17/1979.28 c #Conflicts: 851000 | #Constraints: 119797
1974.17/1979.28 c #Conflicts: 852000 | #Constraints: 120797
1974.17/1979.28 c #Conflicts: 853000 | #Constraints: 121797
1974.17/1979.28 c #Conflicts: 854000 | #Constraints: 122797
1974.17/1979.28 c #Conflicts: 855000 | #Constraints: 123797
1974.17/1979.28 c #Conflicts: 856000 | #Constraints: 124797
2185.65/2191.29 c #Conflicts: 857000 | #Constraints: 125797
2185.65/2191.29 c #Conflicts: 858000 | #Constraints: 126797
2185.65/2191.29 c INPROCESSING
2185.65/2191.29 c GARBAGE COLLECT
2185.65/2191.29 c #Conflicts: 859000 | #Constraints: 75961
2185.65/2191.29 c #Conflicts: 860000 | #Constraints: 76961
2185.65/2191.29 c #Conflicts: 861000 | #Constraints: 77961
2185.65/2191.29 c #Conflicts: 862000 | #Constraints: 78961
2185.65/2191.29 c #Conflicts: 863000 | #Constraints: 79961
2185.65/2191.29 c #Conflicts: 864000 | #Constraints: 80961
2185.65/2191.29 c #Conflicts: 865000 | #Constraints: 81961
2185.65/2191.29 c #Conflicts: 866000 | #Constraints: 82961
2185.65/2191.29 c #Conflicts: 867000 | #Constraints: 83961
2185.65/2191.29 c #Conflicts: 868000 | #Constraints: 84961
2185.65/2191.29 c #Conflicts: 869000 | #Constraints: 85961
2185.65/2191.29 c #Conflicts: 870000 | #Constraints: 86961
2185.65/2191.29 c #Conflicts: 871000 | #Constraints: 87961
2185.65/2191.29 c #Conflicts: 872000 | #Constraints: 88961
2185.65/2191.29 c #Conflicts: 873000 | #Constraints: 89961
2185.65/2191.29 c #Conflicts: 874000 | #Constraints: 90961
2185.65/2191.29 c #Conflicts: 875000 | #Constraints: 91961
2185.65/2191.29 c #Conflicts: 876000 | #Constraints: 92961
2185.65/2191.29 c #Conflicts: 877000 | #Constraints: 93961
2185.65/2191.29 c #Conflicts: 878000 | #Constraints: 94961
2185.65/2191.29 c #Conflicts: 879000 | #Constraints: 95961
2185.65/2191.29 c #Conflicts: 880000 | #Constraints: 96961
2185.65/2191.29 c #Conflicts: 881000 | #Constraints: 97961
2185.65/2191.29 c #Conflicts: 882000 | #Constraints: 98961
2185.65/2191.29 c #Conflicts: 883000 | #Constraints: 99961
2185.65/2191.29 c #Conflicts: 884000 | #Constraints: 100961
2185.65/2191.29 c INPROCESSING
2185.65/2191.29 c GARBAGE COLLECT
2185.65/2191.29 c #Conflicts: 885000 | #Constraints: 70446
2185.65/2191.29 c #Conflicts: 886000 | #Constraints: 71446
2185.65/2191.29 c #Conflicts: 887000 | #Constraints: 72446
2185.65/2191.29 c #Conflicts: 888000 | #Constraints: 73446
2185.65/2191.29 c #Conflicts: 889000 | #Constraints: 74446
2185.65/2191.29 c #Conflicts: 890000 | #Constraints: 75446
2185.65/2191.29 c #Conflicts: 891000 | #Constraints: 76446
2185.65/2191.29 c #Conflicts: 892000 | #Constraints: 77446
2185.65/2191.29 c #Conflicts: 893000 | #Constraints: 78446
2185.65/2191.29 c #Conflicts: 894000 | #Constraints: 79446
2185.65/2191.29 c #Conflicts: 895000 | #Constraints: 80446
2185.65/2191.29 c #Conflicts: 896000 | #Constraints: 81446
2185.65/2191.29 c #Conflicts: 897000 | #Constraints: 82446
2185.65/2191.29 c #Conflicts: 898000 | #Constraints: 83446
2185.65/2191.29 c #Conflicts: 899000 | #Constraints: 84446
2185.65/2191.29 c #Conflicts: 900000 | #Constraints: 85446
2185.65/2191.29 c #Conflicts: 901000 | #Constraints: 86446
2185.65/2191.29 c #Conflicts: 902000 | #Constraints: 87446
2185.65/2191.29 c #Conflicts: 903000 | #Constraints: 88446
2185.65/2191.29 c #Conflicts: 904000 | #Constraints: 89446
2185.65/2191.29 c #Conflicts: 905000 | #Constraints: 90446
2185.65/2191.29 c #Conflicts: 906000 | #Constraints: 91446
2185.65/2191.29 c #Conflicts: 907000 | #Constraints: 92446
2185.65/2191.29 c #Conflicts: 908000 | #Constraints: 93446
2185.65/2191.29 c #Conflicts: 909000 | #Constraints: 94446
2185.65/2191.29 c #Conflicts: 910000 | #Constraints: 95446
2185.65/2191.29 c #Conflicts: 911000 | #Constraints: 96446
2185.65/2191.29 c #Conflicts: 912000 | #Constraints: 97446
2185.65/2191.29 c #Conflicts: 913000 | #Constraints: 98446
2185.65/2191.29 c #Conflicts: 914000 | #Constraints: 99446
2185.65/2191.29 c #Conflicts: 915000 | #Constraints: 100446
2185.65/2191.29 c #Conflicts: 916000 | #Constraints: 101446
2185.65/2191.29 c #Conflicts: 917000 | #Constraints: 102446
2185.65/2191.29 c #Conflicts: 918000 | #Constraints: 103446
2185.65/2191.29 c #Conflicts: 919000 | #Constraints: 104446
2185.65/2191.29 c #Conflicts: 920000 | #Constraints: 105446
2185.65/2191.29 c #Conflicts: 921000 | #Constraints: 106446
2185.65/2191.29 c #Conflicts: 922000 | #Constraints: 107446
2185.65/2191.29 c #Conflicts: 923000 | #Constraints: 108446
2185.65/2191.29 c #Conflicts: 924000 | #Constraints: 109446
2185.65/2191.29 c #Conflicts: 925000 | #Constraints: 110446
2185.65/2191.29 c #Conflicts: 926000 | #Constraints: 111446
2185.65/2191.29 c #Conflicts: 927000 | #Constraints: 112446
2185.65/2191.29 c #Conflicts: 928000 | #Constraints: 113446
2185.65/2191.29 c #Conflicts: 929000 | #Constraints: 114446
2185.65/2191.29 c #Conflicts: 930000 | #Constraints: 115446
2185.65/2191.29 c #Conflicts: 931000 | #Constraints: 116446
2185.65/2191.29 c #Conflicts: 932000 | #Constraints: 117446
2185.65/2191.29 c #Conflicts: 933000 | #Constraints: 118446
2185.65/2191.29 c #Conflicts: 934000 | #Constraints: 119446
2408.39/2414.58 c #Conflicts: 935000 | #Constraints: 120446
2408.39/2414.58 c #Conflicts: 936000 | #Constraints: 121446
2408.39/2414.58 c #Conflicts: 937000 | #Constraints: 122446
2408.39/2414.58 c #Conflicts: 938000 | #Constraints: 123446
2408.39/2414.58 c #Conflicts: 939000 | #Constraints: 124446
2408.39/2414.58 c #Conflicts: 940000 | #Constraints: 125446
2408.39/2414.58 c #Conflicts: 941000 | #Constraints: 126446
2408.39/2414.58 c #Conflicts: 942000 | #Constraints: 127446
2408.39/2414.58 c #Conflicts: 943000 | #Constraints: 128446
2408.39/2414.58 c #Conflicts: 944000 | #Constraints: 129446
2408.39/2414.58 c #Conflicts: 945000 | #Constraints: 130446
2408.39/2414.58 c #Conflicts: 946000 | #Constraints: 131446
2408.39/2414.58 c #Conflicts: 947000 | #Constraints: 132446
2408.39/2414.58 c INPROCESSING
2408.39/2414.58 c GARBAGE COLLECT
2408.39/2414.58 c #Conflicts: 948000 | #Constraints: 78798
2408.39/2414.58 c #Conflicts: 949000 | #Constraints: 79798
2408.39/2414.58 c #Conflicts: 950000 | #Constraints: 80798
2408.39/2414.58 c #Conflicts: 951000 | #Constraints: 81798
2408.39/2414.58 c #Conflicts: 952000 | #Constraints: 82798
2408.39/2414.58 c #Conflicts: 953000 | #Constraints: 83798
2408.39/2414.58 c #Conflicts: 954000 | #Constraints: 84798
2408.39/2414.58 c #Conflicts: 955000 | #Constraints: 85798
2408.39/2414.58 c #Conflicts: 956000 | #Constraints: 86798
2408.39/2414.58 c #Conflicts: 957000 | #Constraints: 87798
2408.39/2414.58 c #Conflicts: 958000 | #Constraints: 88798
2408.39/2414.58 c #Conflicts: 959000 | #Constraints: 89798
2408.39/2414.58 c #Conflicts: 960000 | #Constraints: 90798
2408.39/2414.58 c #Conflicts: 961000 | #Constraints: 91798
2408.39/2414.58 c #Conflicts: 962000 | #Constraints: 92798
2408.39/2414.58 c #Conflicts: 963000 | #Constraints: 93798
2408.39/2414.58 c #Conflicts: 964000 | #Constraints: 94798
2408.39/2414.58 c #Conflicts: 965000 | #Constraints: 95798
2408.39/2414.58 c #Conflicts: 966000 | #Constraints: 96798
2408.39/2414.58 c #Conflicts: 967000 | #Constraints: 97798
2408.39/2414.58 c #Conflicts: 968000 | #Constraints: 98798
2408.39/2414.58 c #Conflicts: 969000 | #Constraints: 99798
2408.39/2414.58 c #Conflicts: 970000 | #Constraints: 100798
2408.39/2414.58 c #Conflicts: 971000 | #Constraints: 101798
2408.39/2414.58 c #Conflicts: 972000 | #Constraints: 102798
2408.39/2414.58 c #Conflicts: 973000 | #Constraints: 103798
2408.39/2414.58 c #Conflicts: 974000 | #Constraints: 104798
2408.39/2414.58 c INPROCESSING
2408.39/2414.58 c GARBAGE COLLECT
2408.39/2414.58 c #Conflicts: 975000 | #Constraints: 72532
2408.39/2414.58 c #Conflicts: 976000 | #Constraints: 73532
2408.39/2414.58 c #Conflicts: 977000 | #Constraints: 74532
2408.39/2414.58 c #Conflicts: 978000 | #Constraints: 75532
2408.39/2414.58 c #Conflicts: 979000 | #Constraints: 76532
2408.39/2414.58 c #Conflicts: 980000 | #Constraints: 77532
2408.39/2414.58 c #Conflicts: 981000 | #Constraints: 78532
2408.39/2414.58 c #Conflicts: 982000 | #Constraints: 79532
2408.39/2414.58 c #Conflicts: 983000 | #Constraints: 80532
2408.39/2414.58 c #Conflicts: 984000 | #Constraints: 81532
2408.39/2414.58 c #Conflicts: 985000 | #Constraints: 82532
2408.39/2414.58 c #Conflicts: 986000 | #Constraints: 83532
2408.39/2414.58 c #Conflicts: 987000 | #Constraints: 84532
2408.39/2414.58 c #Conflicts: 988000 | #Constraints: 85532
2408.39/2414.58 c #Conflicts: 989000 | #Constraints: 86532
2408.39/2414.58 c #Conflicts: 990000 | #Constraints: 87532
2408.39/2414.58 c #Conflicts: 991000 | #Constraints: 88532
2408.39/2414.58 c #Conflicts: 992000 | #Constraints: 89532
2408.39/2414.58 c #Conflicts: 993000 | #Constraints: 90532
2408.39/2414.58 c #Conflicts: 994000 | #Constraints: 91532
2408.39/2414.58 c #Conflicts: 995000 | #Constraints: 92532
2408.39/2414.58 c #Conflicts: 996000 | #Constraints: 93532
2408.39/2414.58 c #Conflicts: 997000 | #Constraints: 94532
2408.39/2414.58 c #Conflicts: 998000 | #Constraints: 95532
2408.39/2414.58 c #Conflicts: 999000 | #Constraints: 96532
2408.39/2414.58 c #Conflicts: 1000000 | #Constraints: 97532
2408.39/2414.58 c #Conflicts: 1001000 | #Constraints: 98532
2408.39/2414.58 c #Conflicts: 1002000 | #Constraints: 99532
2408.39/2414.58 c #Conflicts: 1003000 | #Constraints: 100532
2408.39/2414.58 c #Conflicts: 1004000 | #Constraints: 101532
2408.39/2414.58 c #Conflicts: 1005000 | #Constraints: 102532
2408.39/2414.58 c #Conflicts: 1006000 | #Constraints: 103532
2408.39/2414.58 c #Conflicts: 1007000 | #Constraints: 104532
2408.39/2414.58 c #Conflicts: 1008000 | #Constraints: 105532
2408.39/2414.58 c #Conflicts: 1009000 | #Constraints: 106532
2408.39/2414.58 c #Conflicts: 1010000 | #Constraints: 107532
2408.39/2414.58 c #Conflicts: 1011000 | #Constraints: 108532
2687.65/2694.59 c #Conflicts: 1012000 | #Constraints: 109532
2687.65/2694.59 c #Conflicts: 1013000 | #Constraints: 110532
2687.65/2694.59 c #Conflicts: 1014000 | #Constraints: 111532
2687.65/2694.59 c #Conflicts: 1015000 | #Constraints: 112532
2687.65/2694.59 c #Conflicts: 1016000 | #Constraints: 113532
2687.65/2694.59 c #Conflicts: 1017000 | #Constraints: 114532
2687.65/2694.59 c #Conflicts: 1018000 | #Constraints: 115532
2687.65/2694.59 c #Conflicts: 1019000 | #Constraints: 116532
2687.65/2694.59 c #Conflicts: 1020000 | #Constraints: 117532
2687.65/2694.59 c #Conflicts: 1021000 | #Constraints: 118532
2687.65/2694.59 c #Conflicts: 1022000 | #Constraints: 119532
2687.65/2694.59 c #Conflicts: 1023000 | #Constraints: 120532
2687.65/2694.59 c #Conflicts: 1024000 | #Constraints: 121532
2687.65/2694.59 c #Conflicts: 1025000 | #Constraints: 122532
2687.65/2694.59 c #Conflicts: 1026000 | #Constraints: 123532
2687.65/2694.59 c #Conflicts: 1027000 | #Constraints: 124532
2687.65/2694.59 c #Conflicts: 1028000 | #Constraints: 125532
2687.65/2694.59 c #Conflicts: 1029000 | #Constraints: 126532
2687.65/2694.59 c #Conflicts: 1030000 | #Constraints: 127532
2687.65/2694.59 c #Conflicts: 1031000 | #Constraints: 128532
2687.65/2694.59 c #Conflicts: 1032000 | #Constraints: 129532
2687.65/2694.59 c #Conflicts: 1033000 | #Constraints: 130532
2687.65/2694.59 c #Conflicts: 1034000 | #Constraints: 131532
2687.65/2694.59 c #Conflicts: 1035000 | #Constraints: 132532
2687.65/2694.59 c #Conflicts: 1036000 | #Constraints: 133532
2687.65/2694.59 c #Conflicts: 1037000 | #Constraints: 134532
2687.65/2694.59 c #Conflicts: 1038000 | #Constraints: 135532
2687.65/2694.59 c #Conflicts: 1039000 | #Constraints: 136532
2687.65/2694.59 c #Conflicts: 1040000 | #Constraints: 137532
2687.65/2694.59 c INPROCESSING
2687.65/2694.59 c GARBAGE COLLECT
2687.65/2694.59 c #Conflicts: 1041000 | #Constraints: 81031
2687.65/2694.59 c #Conflicts: 1042000 | #Constraints: 82031
2687.65/2694.59 c #Conflicts: 1043000 | #Constraints: 83031
2687.65/2694.59 c #Conflicts: 1044000 | #Constraints: 84031
2687.65/2694.59 c #Conflicts: 1045000 | #Constraints: 85031
2687.65/2694.59 c #Conflicts: 1046000 | #Constraints: 86031
2687.65/2694.59 c #Conflicts: 1047000 | #Constraints: 87031
2687.65/2694.59 c #Conflicts: 1048000 | #Constraints: 88031
2687.65/2694.59 c #Conflicts: 1049000 | #Constraints: 89031
2687.65/2694.59 c #Conflicts: 1050000 | #Constraints: 90031
2687.65/2694.59 c #Conflicts: 1051000 | #Constraints: 91031
2687.65/2694.59 c #Conflicts: 1052000 | #Constraints: 92031
2687.65/2694.59 c #Conflicts: 1053000 | #Constraints: 93031
2687.65/2694.59 c #Conflicts: 1054000 | #Constraints: 94031
2687.65/2694.59 c #Conflicts: 1055000 | #Constraints: 95031
2687.65/2694.59 c #Conflicts: 1056000 | #Constraints: 96031
2687.65/2694.59 c #Conflicts: 1057000 | #Constraints: 97031
2687.65/2694.59 c #Conflicts: 1058000 | #Constraints: 98031
2687.65/2694.59 c #Conflicts: 1059000 | #Constraints: 99031
2687.65/2694.59 c #Conflicts: 1060000 | #Constraints: 100031
2687.65/2694.59 c #Conflicts: 1061000 | #Constraints: 101031
2687.65/2694.59 c #Conflicts: 1062000 | #Constraints: 102031
2687.65/2694.59 c #Conflicts: 1063000 | #Constraints: 103031
2687.65/2694.59 c #Conflicts: 1064000 | #Constraints: 104031
2687.65/2694.59 c #Conflicts: 1065000 | #Constraints: 105031
2687.65/2694.59 c #Conflicts: 1066000 | #Constraints: 106031
2687.65/2694.59 c #Conflicts: 1067000 | #Constraints: 107031
2687.65/2694.59 c #Conflicts: 1068000 | #Constraints: 108031
2687.65/2694.59 c #Conflicts: 1069000 | #Constraints: 109031
2687.65/2694.59 c INPROCESSING
2687.65/2694.59 c GARBAGE COLLECT
2687.65/2694.59 c #Conflicts: 1070000 | #Constraints: 74570
2687.65/2694.59 c #Conflicts: 1071000 | #Constraints: 75570
2687.65/2694.59 c #Conflicts: 1072000 | #Constraints: 76570
2687.65/2694.59 c #Conflicts: 1073000 | #Constraints: 77570
2687.65/2694.59 c #Conflicts: 1074000 | #Constraints: 78570
2687.65/2694.59 c #Conflicts: 1075000 | #Constraints: 79570
2687.65/2694.59 c #Conflicts: 1076000 | #Constraints: 80570
2687.65/2694.59 c #Conflicts: 1077000 | #Constraints: 81570
2687.65/2694.59 c #Conflicts: 1078000 | #Constraints: 82570
2687.65/2694.59 c #Conflicts: 1079000 | #Constraints: 83570
2687.65/2694.59 c #Conflicts: 1080000 | #Constraints: 84570
2687.65/2694.59 c #Conflicts: 1081000 | #Constraints: 85570
2687.65/2694.59 c #Conflicts: 1082000 | #Constraints: 86570
2687.65/2694.59 c #Conflicts: 1083000 | #Constraints: 87570
2687.65/2694.59 c #Conflicts: 1084000 | #Constraints: 88570
2687.65/2694.59 c #Conflicts: 1085000 | #Constraints: 89570
2687.65/2694.59 c #Conflicts: 1086000 | #Constraints: 90570
2687.65/2694.59 c #Conflicts: 1087000 | #Constraints: 91570
2687.65/2694.59 c #Conflicts: 1088000 | #Constraints: 92570
2687.65/2694.59 c #Conflicts: 1089000 | #Constraints: 93570
2979.58/2987.25 c #Conflicts: 1090000 | #Constraints: 94570
2979.58/2987.25 c #Conflicts: 1091000 | #Constraints: 95570
2979.58/2987.25 c #Conflicts: 1092000 | #Constraints: 96570
2979.58/2987.25 c #Conflicts: 1093000 | #Constraints: 97570
2979.58/2987.25 c #Conflicts: 1094000 | #Constraints: 98570
2979.58/2987.25 c #Conflicts: 1095000 | #Constraints: 99570
2979.58/2987.25 c #Conflicts: 1096000 | #Constraints: 100570
2979.58/2987.25 c #Conflicts: 1097000 | #Constraints: 101570
2979.58/2987.25 c #Conflicts: 1098000 | #Constraints: 102570
2979.58/2987.25 c #Conflicts: 1099000 | #Constraints: 103570
2979.58/2987.25 c #Conflicts: 1100000 | #Constraints: 104570
2979.58/2987.25 c #Conflicts: 1101000 | #Constraints: 105570
2979.58/2987.25 c #Conflicts: 1102000 | #Constraints: 106570
2979.58/2987.25 c #Conflicts: 1103000 | #Constraints: 107570
2979.58/2987.25 c #Conflicts: 1104000 | #Constraints: 108570
2979.58/2987.25 c #Conflicts: 1105000 | #Constraints: 109570
2979.58/2987.25 c #Conflicts: 1106000 | #Constraints: 110570
2979.58/2987.25 c #Conflicts: 1107000 | #Constraints: 111570
2979.58/2987.25 c #Conflicts: 1108000 | #Constraints: 112570
2979.58/2987.25 c #Conflicts: 1109000 | #Constraints: 113570
2979.58/2987.25 c #Conflicts: 1110000 | #Constraints: 114570
2979.58/2987.25 c #Conflicts: 1111000 | #Constraints: 115570
2979.58/2987.25 c #Conflicts: 1112000 | #Constraints: 116570
2979.58/2987.25 c #Conflicts: 1113000 | #Constraints: 117570
2979.58/2987.25 c #Conflicts: 1114000 | #Constraints: 118570
2979.58/2987.25 c #Conflicts: 1115000 | #Constraints: 119570
2979.58/2987.25 c #Conflicts: 1116000 | #Constraints: 120570
2979.58/2987.25 c #Conflicts: 1117000 | #Constraints: 121570
2979.58/2987.25 c #Conflicts: 1118000 | #Constraints: 122570
2979.58/2987.25 c #Conflicts: 1119000 | #Constraints: 123570
2979.58/2987.25 c #Conflicts: 1120000 | #Constraints: 124570
2979.58/2987.25 c #Conflicts: 1121000 | #Constraints: 125570
2979.58/2987.25 c #Conflicts: 1122000 | #Constraints: 126570
2979.58/2987.25 c #Conflicts: 1123000 | #Constraints: 127570
2979.58/2987.25 c #Conflicts: 1124000 | #Constraints: 128570
2979.58/2987.25 c #Conflicts: 1125000 | #Constraints: 129570
2979.58/2987.25 c #Conflicts: 1126000 | #Constraints: 130570
2979.58/2987.25 c #Conflicts: 1127000 | #Constraints: 131570
2979.58/2987.25 c #Conflicts: 1128000 | #Constraints: 132570
2979.58/2987.25 c #Conflicts: 1129000 | #Constraints: 133570
2979.58/2987.25 c #Conflicts: 1130000 | #Constraints: 134570
2979.58/2987.25 c #Conflicts: 1131000 | #Constraints: 135570
2979.58/2987.25 c #Conflicts: 1132000 | #Constraints: 136570
2979.58/2987.25 c #Conflicts: 1133000 | #Constraints: 137570
2979.58/2987.25 c #Conflicts: 1134000 | #Constraints: 138570
2979.58/2987.25 c #Conflicts: 1135000 | #Constraints: 139570
2979.58/2987.25 c #Conflicts: 1136000 | #Constraints: 140570
2979.58/2987.25 c #Conflicts: 1137000 | #Constraints: 141570
2979.58/2987.25 c #Conflicts: 1138000 | #Constraints: 142570
2979.58/2987.25 c INPROCESSING
2979.58/2987.25 c GARBAGE COLLECT
2979.58/2987.25 c #Conflicts: 1139000 | #Constraints: 83456
2979.58/2987.25 c #Conflicts: 1140000 | #Constraints: 84456
2979.58/2987.25 c #Conflicts: 1141000 | #Constraints: 85456
2979.58/2987.25 c #Conflicts: 1142000 | #Constraints: 86456
2979.58/2987.25 c #Conflicts: 1143000 | #Constraints: 87456
2979.58/2987.25 c #Conflicts: 1144000 | #Constraints: 88456
2979.58/2987.25 c #Conflicts: 1145000 | #Constraints: 89456
2979.58/2987.25 c #Conflicts: 1146000 | #Constraints: 90456
2979.58/2987.25 c #Conflicts: 1147000 | #Constraints: 91456
2979.58/2987.25 c #Conflicts: 1148000 | #Constraints: 92456
2979.58/2987.25 c #Conflicts: 1149000 | #Constraints: 93456
2979.58/2987.25 c #Conflicts: 1150000 | #Constraints: 94456
2979.58/2987.25 c #Conflicts: 1151000 | #Constraints: 95456
2979.58/2987.25 c #Conflicts: 1152000 | #Constraints: 96456
2979.58/2987.25 c #Conflicts: 1153000 | #Constraints: 97456
2979.58/2987.25 c #Conflicts: 1154000 | #Constraints: 98456
2979.58/2987.25 c #Conflicts: 1155000 | #Constraints: 99456
2979.58/2987.25 c #Conflicts: 1156000 | #Constraints: 100456
2979.58/2987.25 c #Conflicts: 1157000 | #Constraints: 101456
2979.58/2987.25 c #Conflicts: 1158000 | #Constraints: 102456
2979.58/2987.25 c #Conflicts: 1159000 | #Constraints: 103456
2979.58/2987.25 c #Conflicts: 1160000 | #Constraints: 104456
2979.58/2987.25 c #Conflicts: 1161000 | #Constraints: 105456
2979.58/2987.25 c #Conflicts: 1162000 | #Constraints: 106456
2979.58/2987.25 c #Conflicts: 1163000 | #Constraints: 107456
2979.58/2987.25 c #Conflicts: 1164000 | #Constraints: 108456
2979.58/2987.25 c #Conflicts: 1165000 | #Constraints: 109456
2979.58/2987.25 c #Conflicts: 1166000 | #Constraints: 110456
2979.58/2987.25 c #Conflicts: 1167000 | #Constraints: 111456
3206.03/3214.27 c #Conflicts: 1168000 | #Constraints: 112456
3206.03/3214.27 c INPROCESSING
3206.03/3214.27 c GARBAGE COLLECT
3206.03/3214.27 c #Conflicts: 1169000 | #Constraints: 76599
3206.03/3214.27 c #Conflicts: 1170000 | #Constraints: 77599
3206.03/3214.27 c #Conflicts: 1171000 | #Constraints: 78599
3206.03/3214.27 c #Conflicts: 1172000 | #Constraints: 79599
3206.03/3214.27 c #Conflicts: 1173000 | #Constraints: 80599
3206.03/3214.27 c #Conflicts: 1174000 | #Constraints: 81599
3206.03/3214.27 c #Conflicts: 1175000 | #Constraints: 82599
3206.03/3214.27 c #Conflicts: 1176000 | #Constraints: 83599
3206.03/3214.27 c #Conflicts: 1177000 | #Constraints: 84599
3206.03/3214.27 c #Conflicts: 1178000 | #Constraints: 85599
3206.03/3214.27 c #Conflicts: 1179000 | #Constraints: 86599
3206.03/3214.27 c #Conflicts: 1180000 | #Constraints: 87599
3206.03/3214.27 c #Conflicts: 1181000 | #Constraints: 88599
3206.03/3214.27 c #Conflicts: 1182000 | #Constraints: 89599
3206.03/3214.27 c #Conflicts: 1183000 | #Constraints: 90599
3206.03/3214.27 c #Conflicts: 1184000 | #Constraints: 91599
3206.03/3214.27 c #Conflicts: 1185000 | #Constraints: 92599
3206.03/3214.27 c #Conflicts: 1186000 | #Constraints: 93599
3206.03/3214.27 c #Conflicts: 1187000 | #Constraints: 94599
3206.03/3214.27 c #Conflicts: 1188000 | #Constraints: 95599
3206.03/3214.27 c #Conflicts: 1189000 | #Constraints: 96599
3206.03/3214.27 c #Conflicts: 1190000 | #Constraints: 97599
3206.03/3214.27 c #Conflicts: 1191000 | #Constraints: 98599
3206.03/3214.27 c #Conflicts: 1192000 | #Constraints: 99599
3206.03/3214.27 c #Conflicts: 1193000 | #Constraints: 100599
3206.03/3214.27 c #Conflicts: 1194000 | #Constraints: 101599
3206.03/3214.27 c #Conflicts: 1195000 | #Constraints: 102599
3206.03/3214.27 c #Conflicts: 1196000 | #Constraints: 103599
3206.03/3214.27 c #Conflicts: 1197000 | #Constraints: 104599
3206.03/3214.27 c #Conflicts: 1198000 | #Constraints: 105599
3206.03/3214.27 c #Conflicts: 1199000 | #Constraints: 106599
3206.03/3214.27 c #Conflicts: 1200000 | #Constraints: 107599
3206.03/3214.27 c #Conflicts: 1201000 | #Constraints: 108599
3206.03/3214.27 c #Conflicts: 1202000 | #Constraints: 109599
3206.03/3214.27 c #Conflicts: 1203000 | #Constraints: 110599
3206.03/3214.27 c #Conflicts: 1204000 | #Constraints: 111599
3206.03/3214.27 c #Conflicts: 1205000 | #Constraints: 112599
3206.03/3214.27 c #Conflicts: 1206000 | #Constraints: 113599
3206.03/3214.27 c #Conflicts: 1207000 | #Constraints: 114599
3206.03/3214.27 c #Conflicts: 1208000 | #Constraints: 115599
3206.03/3214.27 c #Conflicts: 1209000 | #Constraints: 116599
3206.03/3214.27 c #Conflicts: 1210000 | #Constraints: 117599
3206.03/3214.27 c #Conflicts: 1211000 | #Constraints: 118599
3206.03/3214.27 c #Conflicts: 1212000 | #Constraints: 119599
3206.03/3214.27 c #Conflicts: 1213000 | #Constraints: 120599
3206.03/3214.27 c #Conflicts: 1214000 | #Constraints: 121599
3206.03/3214.27 c #Conflicts: 1215000 | #Constraints: 122599
3206.03/3214.27 c #Conflicts: 1216000 | #Constraints: 123600
3206.03/3214.27 c #Conflicts: 1217000 | #Constraints: 124600
3206.03/3214.27 c #Conflicts: 1218000 | #Constraints: 125600
3206.03/3214.27 c #Conflicts: 1219000 | #Constraints: 126600
3206.03/3214.27 c #Conflicts: 1220000 | #Constraints: 127600
3206.03/3214.27 c #Conflicts: 1221000 | #Constraints: 128600
3206.03/3214.27 c #Conflicts: 1222000 | #Constraints: 129600
3206.03/3214.27 c #Conflicts: 1223000 | #Constraints: 130600
3206.03/3214.27 c #Conflicts: 1224000 | #Constraints: 131600
3206.03/3214.27 c #Conflicts: 1225000 | #Constraints: 132600
3206.03/3214.27 c #Conflicts: 1226000 | #Constraints: 133600
3206.03/3214.27 c #Conflicts: 1227000 | #Constraints: 134600
3206.03/3214.27 c #Conflicts: 1228000 | #Constraints: 135600
3206.03/3214.27 c #Conflicts: 1229000 | #Constraints: 136600
3206.03/3214.27 c #Conflicts: 1230000 | #Constraints: 137600
3206.03/3214.27 c #Conflicts: 1231000 | #Constraints: 138600
3206.03/3214.27 c #Conflicts: 1232000 | #Constraints: 139600
3206.03/3214.27 c #Conflicts: 1233000 | #Constraints: 140600
3206.03/3214.27 c #Conflicts: 1234000 | #Constraints: 141600
3206.03/3214.27 c #Conflicts: 1235000 | #Constraints: 142600
3206.03/3214.27 c #Conflicts: 1236000 | #Constraints: 143600
3206.03/3214.27 c #Conflicts: 1237000 | #Constraints: 144600
3206.03/3214.27 c #Conflicts: 1238000 | #Constraints: 145600
3206.03/3214.27 c #Conflicts: 1239000 | #Constraints: 146600
3206.03/3214.27 c #Conflicts: 1240000 | #Constraints: 147600
3206.03/3214.27 c INPROCESSING
3206.03/3214.27 c GARBAGE COLLECT
3206.03/3214.27 c #Conflicts: 1241000 | #Constraints: 85938
3206.03/3214.27 c #Conflicts: 1242000 | #Constraints: 86938
3206.03/3214.27 c #Conflicts: 1243000 | #Constraints: 87938
3206.03/3214.27 c #Conflicts: 1244000 | #Constraints: 88938
3379.90/3388.50 c #Conflicts: 1245000 | #Constraints: 89938
3379.90/3388.50 c #Conflicts: 1246000 | #Constraints: 90938
3379.90/3388.50 c #Conflicts: 1247000 | #Constraints: 91938
3379.90/3388.50 c #Conflicts: 1248000 | #Constraints: 92938
3379.90/3388.50 c #Conflicts: 1249000 | #Constraints: 93938
3379.90/3388.50 c #Conflicts: 1250000 | #Constraints: 94938
3379.90/3388.50 c #Conflicts: 1251000 | #Constraints: 95938
3379.90/3388.50 c #Conflicts: 1252000 | #Constraints: 96938
3379.90/3388.50 c #Conflicts: 1253000 | #Constraints: 97938
3379.90/3388.50 c #Conflicts: 1254000 | #Constraints: 98938
3379.90/3388.50 c #Conflicts: 1255000 | #Constraints: 99938
3379.90/3388.50 c #Conflicts: 1256000 | #Constraints: 100938
3379.90/3388.50 c #Conflicts: 1257000 | #Constraints: 101938
3379.90/3388.50 c #Conflicts: 1258000 | #Constraints: 102938
3379.90/3388.50 c #Conflicts: 1259000 | #Constraints: 103938
3379.90/3388.50 c #Conflicts: 1260000 | #Constraints: 104938
3379.90/3388.50 c #Conflicts: 1261000 | #Constraints: 105938
3379.90/3388.50 c #Conflicts: 1262000 | #Constraints: 106938
3379.90/3388.50 c #Conflicts: 1263000 | #Constraints: 107938
3379.90/3388.50 c #Conflicts: 1264000 | #Constraints: 108938
3379.90/3388.50 c #Conflicts: 1265000 | #Constraints: 109938
3379.90/3388.50 c #Conflicts: 1266000 | #Constraints: 110938
3379.90/3388.50 c #Conflicts: 1267000 | #Constraints: 111938
3379.90/3388.50 c #Conflicts: 1268000 | #Constraints: 112938
3379.90/3388.50 c #Conflicts: 1269000 | #Constraints: 113938
3379.90/3388.50 c #Conflicts: 1270000 | #Constraints: 114938
3379.90/3388.50 c #Conflicts: 1271000 | #Constraints: 115938
3379.90/3388.50 c #Conflicts: 1272000 | #Constraints: 116938
3379.90/3388.50 c INPROCESSING
3379.90/3388.50 c GARBAGE COLLECT
3379.90/3388.50 c #Conflicts: 1273000 | #Constraints: 79924
3379.90/3388.50 c #Conflicts: 1274000 | #Constraints: 80924
3379.90/3388.50 c #Conflicts: 1275000 | #Constraints: 81924
3379.90/3388.50 c #Conflicts: 1276000 | #Constraints: 82924
3379.90/3388.50 c #Conflicts: 1277000 | #Constraints: 83924
3379.90/3388.50 c #Conflicts: 1278000 | #Constraints: 84924
3379.90/3388.50 c #Conflicts: 1279000 | #Constraints: 85924
3379.90/3388.50 c #Conflicts: 1280000 | #Constraints: 86924
3379.90/3388.50 c #Conflicts: 1281000 | #Constraints: 87924
3379.90/3388.50 c #Conflicts: 1282000 | #Constraints: 88924
3379.90/3388.50 c #Conflicts: 1283000 | #Constraints: 89924
3379.90/3388.50 c #Conflicts: 1284000 | #Constraints: 90924
3379.90/3388.50 c #Conflicts: 1285000 | #Constraints: 91924
3379.90/3388.50 c #Conflicts: 1286000 | #Constraints: 92924
3379.90/3388.50 c #Conflicts: 1287000 | #Constraints: 93924
3379.90/3388.50 c #Conflicts: 1288000 | #Constraints: 94924
3379.90/3388.50 c #Conflicts: 1289000 | #Constraints: 95924
3379.90/3388.50 c #Conflicts: 1290000 | #Constraints: 96924
3379.90/3388.50 c #Conflicts: 1291000 | #Constraints: 97924
3379.90/3388.50 c #Conflicts: 1292000 | #Constraints: 98924
3379.90/3388.50 c #Conflicts: 1293000 | #Constraints: 99924
3379.90/3388.50 c #Conflicts: 1294000 | #Constraints: 100924
3379.90/3388.50 c #Conflicts: 1295000 | #Constraints: 101924
3379.90/3388.50 c #Conflicts: 1296000 | #Constraints: 102924
3379.90/3388.50 c #Conflicts: 1297000 | #Constraints: 103924
3379.90/3388.50 c #Conflicts: 1298000 | #Constraints: 104924
3379.90/3388.50 c #Conflicts: 1299000 | #Constraints: 105924
3379.90/3388.50 c #Conflicts: 1300000 | #Constraints: 106924
3379.90/3388.50 c #Conflicts: 1301000 | #Constraints: 107924
3379.90/3388.50 c #Conflicts: 1302000 | #Constraints: 108924
3379.90/3388.50 c #Conflicts: 1303000 | #Constraints: 109924
3379.90/3388.50 c #Conflicts: 1304000 | #Constraints: 110924
3379.90/3388.50 c #Conflicts: 1305000 | #Constraints: 111924
3379.90/3388.50 c #Conflicts: 1306000 | #Constraints: 112924
3379.90/3388.50 c #Conflicts: 1307000 | #Constraints: 113924
3379.90/3388.50 c #Conflicts: 1308000 | #Constraints: 114924
3379.90/3388.50 c #Conflicts: 1309000 | #Constraints: 115924
3379.90/3388.50 c #Conflicts: 1310000 | #Constraints: 116924
3379.90/3388.50 c #Conflicts: 1311000 | #Constraints: 117924
3379.90/3388.50 c #Conflicts: 1312000 | #Constraints: 118924
3379.90/3388.50 c #Conflicts: 1313000 | #Constraints: 119924
3379.90/3388.50 c #Conflicts: 1314000 | #Constraints: 120924
3379.90/3388.50 c #Conflicts: 1315000 | #Constraints: 121924
3379.90/3388.50 c #Conflicts: 1316000 | #Constraints: 122924
3379.90/3388.50 c #Conflicts: 1317000 | #Constraints: 123924
3379.90/3388.50 c #Conflicts: 1318000 | #Constraints: 124924
3379.90/3388.50 c #Conflicts: 1319000 | #Constraints: 125924
3379.90/3388.50 c #Conflicts: 1320000 | #Constraints: 126924
3379.90/3388.50 c #Conflicts: 1321000 | #Constraints: 127924
3379.90/3388.50 c #Conflicts: 1322000 | #Constraints: 128924
3578.22/3587.38 c #Conflicts: 1323000 | #Constraints: 129924
3578.22/3587.38 c #Conflicts: 1324000 | #Constraints: 130924
3578.22/3587.38 c #Conflicts: 1325000 | #Constraints: 131924
3578.22/3587.38 c #Conflicts: 1326000 | #Constraints: 132924
3578.22/3587.38 c #Conflicts: 1327000 | #Constraints: 133924
3578.22/3587.38 c #Conflicts: 1328000 | #Constraints: 134924
3578.22/3587.38 c #Conflicts: 1329000 | #Constraints: 135924
3578.22/3587.38 c #Conflicts: 1330000 | #Constraints: 136924
3578.22/3587.38 c #Conflicts: 1331000 | #Constraints: 137924
3578.22/3587.38 c #Conflicts: 1332000 | #Constraints: 138924
3578.22/3587.38 c #Conflicts: 1333000 | #Constraints: 139924
3578.22/3587.38 c #Conflicts: 1334000 | #Constraints: 140924
3578.22/3587.38 c #Conflicts: 1335000 | #Constraints: 141924
3578.22/3587.38 c #Conflicts: 1336000 | #Constraints: 142924
3578.22/3587.38 c #Conflicts: 1337000 | #Constraints: 143924
3578.22/3587.38 c #Conflicts: 1338000 | #Constraints: 144924
3578.22/3587.38 c #Conflicts: 1339000 | #Constraints: 145924
3578.22/3587.38 c #Conflicts: 1340000 | #Constraints: 146924
3578.22/3587.38 c #Conflicts: 1341000 | #Constraints: 147924
3578.22/3587.38 c #Conflicts: 1342000 | #Constraints: 148924
3578.22/3587.38 c #Conflicts: 1343000 | #Constraints: 149924
3578.22/3587.38 c #Conflicts: 1344000 | #Constraints: 150924
3578.22/3587.38 c #Conflicts: 1345000 | #Constraints: 151924
3578.22/3587.38 c #Conflicts: 1346000 | #Constraints: 152924
3578.22/3587.38 c #Conflicts: 1347000 | #Constraints: 153924
3578.22/3587.38 c INPROCESSING
3578.22/3587.38 c GARBAGE COLLECT
3578.22/3587.38 c rational objective 169
3600.07/3609.20 c #Conflicts: 1348000 | #Constraints: 89378
3600.07/3609.20 c #Conflicts: 1349000 | #Constraints: 90378
3600.07/3609.20 c #Conflicts: 1350000 | #Constraints: 91378
3600.07/3609.20 c #Conflicts: 1351000 | #Constraints: 92378
3600.07/3609.20 c #Conflicts: 1352000 | #Constraints: 93378
3600.07/3609.20 c #Conflicts: 1353000 | #Constraints: 94378
3600.07/3609.20 c #Conflicts: 1354000 | #Constraints: 95378
3600.07/3609.20 c #Conflicts: 1355000 | #Constraints: 96378
3600.07/3609.20 c #Conflicts: 1356000 | #Constraints: 97378
3600.07/3609.20 c #Conflicts: 1357000 | #Constraints: 98378
3600.07/3609.20 c #Conflicts: 1358000 | #Constraints: 99378
3600.07/3609.20 c cpu time 3571.67 s
3600.07/3609.20 c deterministic time 230645085296 2.31e+11
3600.07/3609.20 c optimization time 18.1602 s
3600.07/3609.20 c total solve time 3553.43 s
3600.07/3609.20 c core-guided solve time 0 s
3600.07/3609.20 c propagation time 1848.11 s
3600.07/3609.20 c conflict analysis time 1290.26 s
3600.07/3609.20 c propagations 1352427844
3600.07/3609.20 c resolve steps 84927717
3600.07/3609.20 c decisions 30284733
3600.07/3609.20 c conflicts 1358689
3600.07/3609.20 c restarts 2557
3600.07/3609.20 c inprocessing phases 49
3600.07/3609.20 c garbage collections 49 ,( 100.00 )
3600.07/3609.20 c input clauses 20282 ,( 99.17 )
3600.07/3609.20 c input cardinalities 169 ,( 0.83 )
3600.07/3609.20 c input general constraints 0 ,( 0.00 )
3600.07/3609.20 c input average constraint length 6.43
3600.07/3609.20 c input average constraint degree 1.97
3600.07/3609.20 c learned clauses 999599 ,( 73.57 )
3600.07/3609.20 c learned cardinalities 44897 ,( 3.30 )
3600.07/3609.20 c learned general constraints 314204 ,( 23.13 )
3600.07/3609.20 c learned average constraint length 748.04
3600.07/3609.20 c learned average constraint degree 22568860.84
3600.07/3609.20 c watched CF 32, 64, 128, Arb: 81698 , 0 , 0 , 0
3600.07/3609.20 c counting CF 32, 64, 128, Arb: 232506 , 0 , 0 , 0
3600.07/3609.20 c watched constraints 81698 ,( 26.00 )
3600.07/3609.20 c counting constraints 232506 ,( 74.00 )
3600.07/3609.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1257728238 , 681246230 , 1946150493 ,( 82304249 , 1863846244 )
3600.07/3609.20 c gcd simplifications 795
3600.07/3609.20 c detected cardinalities 6557
3600.07/3609.20 c weakened non-implied lits 377225028
3600.07/3609.20 c weakened non-implying lits 210439
3600.07/3609.20 c original variables 20111
3600.07/3609.20 c clausal propagations 619774950
3600.07/3609.20 c cardinality propagations 500079661
3600.07/3609.20 c watched propagations 4298080
3600.07/3609.20 c counting propagations 215525366
3600.07/3609.20 c watch lookups 77297268836
3600.07/3609.20 c watch backjump lookups 0
3600.07/3609.20 c watch checks 32078782248
3600.07/3609.20 c propagation checks 113712977411
3600.07/3609.20 c constraint additions 4788959363
3600.07/3609.20 c trail pops 1384052453
3600.07/3609.20 c formula constraints 20451
3600.07/3609.20 c learned constraints 1358682
3600.07/3609.20 c bound constraints 0
3600.07/3609.20 c core-guided constraints 0
3600.07/3609.20 c encountered formula constraints 54043504
3600.07/3609.20 c encountered learned constraints 32241806
3600.07/3609.20 c encountered bound constraints 0
3600.07/3609.20 c encountered core-guided constraints 0
3600.07/3609.20 c LP total time 505.865 s
3600.07/3609.20 c LP solve time 497.95 s
3600.07/3609.20 c LP constraints added 21066
3600.07/3609.20 c LP constraints removed 313
3600.07/3609.20 c LP pivots internal 137128
3600.07/3609.20 c LP pivots root 195279
3600.07/3609.20 c LP calls 19
3600.07/3609.20 c LP optimalities 6
3600.07/3609.20 c LP no pivot count 0
3600.07/3609.20 c LP infeasibilities 6
3600.07/3609.20 c LP valid Farkas constraints 6
3600.07/3609.20 c LP learned Farkas constraints 6
3600.07/3609.20 c LP basis resets 0
3600.07/3609.20 c LP cycling count 0
3600.07/3609.20 c LP singular count 0
3600.07/3609.20 c LP no primal count 0
3600.07/3609.20 c LP no farkas count 0
3600.07/3609.20 c LP other issue count 0
3600.07/3609.20 c LP Gomory cuts 6
3600.07/3609.20 c LP learned cuts 609
3600.07/3609.20 c LP deleted cuts 313
3600.07/3609.20 c LP encountered Gomory constraints 586
3600.07/3609.20 c LP encountered Farkas constraints 491
3600.07/3609.20 c LP encountered learned Farkas constraints 13
3600.07/3609.20 c CG auxiliary variables introduced 0
3600.07/3609.20 c CG solutions found 0
3600.07/3609.20 c CG cores constructed 0
3600.07/3609.20 c CG core cardinality constraints returned 0
3600.07/3609.20 c CG unit cores 0
3600.07/3609.20 c CG single cores 0
3600.07/3609.20 c CG blocks removed during cardinality reduction 0
3600.07/3609.20 c CG first core best 0
3600.07/3609.20 c CG decision core best 0
3600.07/3609.20 c CG core reduction tie 0
3600.07/3609.20 c CG core degree average 0.00
3600.07/3609.20 c CG core slack average 0.00
3600.07/3609.20 c CG core upper bound improvements 0
3600.07/3609.20 c STR number of successful calls 0
3600.07/3609.20 c STR number of unsuccessful calls 0
3600.07/3609.20 c STR number of inconclusive calls 0
3600.07/3609.20 c STR number of successful attempts 0
3600.07/3609.20 c STR number of unsuccessful attempts 0
3600.07/3609.20 c STR number of inconclusive attempts 0
3600.07/3609.20 c STR average degree increase per successful call inf
3600.07/3609.20 c STR average degree increase per successful attempt inf
3600.07/3609.20 c STR total number of conflicts for successful attempts 0
3600.07/3609.20 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.20 c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.20 c STR average number of conflicts per successful attempt inf
3600.07/3609.20 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.20 c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.20 c AVG.sumWPerc 65.82
3600.07/3609.20 c bigint constraints 0
3600.07/3609.20 s UNKNOWN
3600.07/3609.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61781 MiB free)
memory of node 1: 64465 MiB (62785 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506760-1751167292/watcher-4506760-1751167292 -o /tmp/evaluation-result-4506760-1751167292/solver-4506760-1751167292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751159806-16842 --watchdog 3760 run-dec.sh HOME/instance-4506760-1751167292.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18361, runsolver pid=18358
[startup+0.100067 s]*
/proc/loadavg: 4.14 4.14 4.11 5/269 18363
/proc/meminfo: memFree=127535044/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=73344 memory=27996 CPUtime=0.08 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 5614 0 0 0 6 2 0 0 20 0 1 0 32407085 75104256 6999 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 18336 6999 2208 1147 0 5763 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 77536 KiB
Current children cumulated memory: 31068 KiB
[startup+0.205694 s]*
/proc/loadavg: 4.14 4.14 4.11 5/269 18363
/proc/meminfo: memFree=127510976/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=105316 memory=50168 CPUtime=0.19 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 9888 0 0 0 16 3 0 0 20 0 1 0 32407085 107843584 12542 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 26329 12542 2240 1147 0 13756 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109508 KiB
Current children cumulated memory: 53240 KiB
[startup+0.305684 s]*
/proc/loadavg: 4.14 4.14 4.11 5/269 18363
/proc/meminfo: memFree=127510976/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=106476 memory=51832 CPUtime=0.28 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 10283 0 0 0 25 3 0 0 20 0 1 0 32407085 109031424 12958 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 26619 12958 2240 1147 0 14046 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 110668 KiB
Current children cumulated memory: 54904 KiB
[startup+0.700204 s]
/proc/loadavg: 4.14 4.14 4.11 5/269 18363
/proc/meminfo: memFree=127510220/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=108332 memory=53880 CPUtime=0.67 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 10807 0 0 0 64 3 0 0 20 0 1 0 32407085 110931968 13470 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 27083 13470 2240 1147 0 14510 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 112524 KiB
Current children cumulated memory: 56952 KiB
[startup+1.50022 s]
/proc/loadavg: 4.14 4.14 4.11 5/269 18363
/proc/meminfo: memFree=127509212/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=108972 memory=55160 CPUtime=1.47 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 11112 0 0 0 143 4 0 0 20 0 1 0 32407085 111587328 13790 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 27243 13790 2240 1147 0 14670 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 113164 KiB
Current children cumulated memory: 58232 KiB
[startup+3.10555 s]
/proc/loadavg: 4.14 4.14 4.11 5/269 18363
/proc/meminfo: memFree=127503184/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=111800 memory=62192 CPUtime=3.08 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 12316 0 0 0 296 12 0 0 20 0 1 0 32407085 114483200 15548 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 27950 15548 2304 1147 0 15377 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 115992 KiB
Current children cumulated memory: 65264 KiB
[startup+6.30021 s]
/proc/loadavg: 4.13 4.14 4.11 5/269 18363
/proc/meminfo: memFree=127495136/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=121192 memory=71252 CPUtime=6.26 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 14077 0 0 0 595 31 0 0 20 0 1 0 32407085 124100608 17813 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 30298 17813 2304 1147 0 17725 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 125384 KiB
Current children cumulated memory: 74324 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.14 4.11 5/269 18363
/proc/meminfo: memFree=127479448/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=146712 memory=93576 CPUtime=12.64 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 18129 0 0 0 1209 55 0 0 20 0 1 0 32407085 150233088 23394 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 36678 23394 2304 1147 0 24105 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 150904 KiB
Current children cumulated memory: 96648 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.15 4.11 5/269 18363
/proc/meminfo: memFree=127459348/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=150036 memory=97672 CPUtime=25.41 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 19156 0 0 0 2468 73 0 0 20 0 1 0 32407085 153636864 24418 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 37509 24418 2304 1147 0 24936 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 154228 KiB
Current children cumulated memory: 100744 KiB
[startup+51.1057 s]
/proc/loadavg: 4.10 4.14 4.11 5/269 18365
/proc/meminfo: memFree=127357944/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=205612 memory=143080 CPUtime=50.95 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 26473 0 0 0 4959 136 0 0 20 0 1 0 32407085 210546688 35770 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 51403 35770 2304 1147 0 38830 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 209804 KiB
Current children cumulated memory: 146152 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.16 4.11 5/270 18367
/proc/meminfo: memFree=127308544/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=228648 memory=175664 CPUtime=102.02 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 32066 0 0 0 9980 222 0 0 20 0 1 0 32407085 234135552 43916 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 57162 43916 2304 1147 0 44589 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 232840 KiB
Current children cumulated memory: 178736 KiB
[startup+162.3 s]
/proc/loadavg: 4.32 4.22 4.14 5/270 18370
/proc/meminfo: memFree=127236320/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=271736 memory=202452 CPUtime=161.87 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 35724 0 0 0 15878 309 0 0 20 0 1 0 32407085 278257664 50613 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 67934 50613 2304 1147 0 55361 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 275928 KiB
Current children cumulated memory: 205524 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.19 4.13 5/269 18372
/proc/meminfo: memFree=127121160/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=302932 memory=233172 CPUtime=221.71 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 43390 0 0 0 21753 418 0 0 20 0 1 0 32407085 310202368 58293 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 75733 58293 2304 1147 0 63160 0
################
# More data... #
################
/proc/18363/statm: 282876 236838 2336 1147 0 270303 0
Current children cumulated CPU time: 3034.55 s
Current children cumulated vsize: 1135696 KiB
Current children cumulated memory: 950424 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/268 18527
/proc/meminfo: memFree=124603900/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=1136228 memory=950808 CPUtime=3094.4 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 127937 0 0 0 306887 2553 0 0 20 0 1 0 32407085 1163497472 237702 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 284057 237702 2336 1147 0 271484 0
Current children cumulated CPU time: 3094.4 s
Current children cumulated vsize: 1140420 KiB
Current children cumulated memory: 953880 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/269 18530
/proc/meminfo: memFree=124613064/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=1136784 memory=952088 CPUtime=3154.26 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 128269 0 0 0 312848 2578 0 0 20 0 1 0 32407085 1164066816 238022 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 284196 238022 2336 1147 0 271623 0
Current children cumulated CPU time: 3154.26 s
Current children cumulated vsize: 1140976 KiB
Current children cumulated memory: 955160 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/269 18532
/proc/meminfo: memFree=124556244/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=1148612 memory=961432 CPUtime=3214.11 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 130595 0 0 0 318795 2616 0 0 20 0 1 0 32407085 1176178688 240358 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 287153 240358 2336 1147 0 274580 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 1152804 KiB
Current children cumulated memory: 964504 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/268 18534
/proc/meminfo: memFree=124556100/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=1148612 memory=961432 CPUtime=3273.96 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 130601 0 0 0 324718 2678 0 0 20 0 1 0 32407085 1176178688 240358 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 287153 240358 2336 1147 0 274580 0
Current children cumulated CPU time: 3273.96 s
Current children cumulated vsize: 1152804 KiB
Current children cumulated memory: 964504 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/267 18536
/proc/meminfo: memFree=124552116/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=1148612 memory=961432 CPUtime=3333.82 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 130601 0 0 0 330644 2738 0 0 20 0 1 0 32407085 1176178688 240358 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 287153 240358 2336 1147 0 274580 0
Current children cumulated CPU time: 3333.82 s
Current children cumulated vsize: 1152804 KiB
Current children cumulated memory: 964504 KiB
[startup+3402.3 s]
/proc/loadavg: 2.97 3.82 3.99 3/253 18599
/proc/meminfo: memFree=127721596/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=1148612 memory=961432 CPUtime=3393.66 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 130601 0 0 0 336604 2762 0 0 20 0 1 0 32407085 1176178688 240358 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 287153 240358 2336 1147 0 274580 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 1152804 KiB
Current children cumulated memory: 964504 KiB
[startup+3462.3 s]
/proc/loadavg: 2.46 3.51 3.87 3/253 18601
/proc/meminfo: memFree=127722012/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=1150092 memory=962584 CPUtime=3453.5 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 131030 0 0 0 342569 2781 0 0 20 0 1 0 32407085 1177694208 240646 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 287523 240646 2336 1147 0 274950 0
Current children cumulated CPU time: 3453.5 s
Current children cumulated vsize: 1154284 KiB
Current children cumulated memory: 965656 KiB
[startup+3522.3 s]
/proc/loadavg: 1.88 3.17 3.73 2/246 18634
/proc/meminfo: memFree=129110908/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=1156860 memory=968984 CPUtime=3513.35 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 132843 0 0 0 348537 2798 0 0 20 0 1 0 32407085 1184624640 242246 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 289215 242246 2336 1147 0 276642 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 1161052 KiB
Current children cumulated memory: 972056 KiB
[startup+3582.3 s]
/proc/loadavg: 1.37 2.79 3.56 2/247 18639
/proc/meminfo: memFree=129111208/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=1156860 memory=968984 CPUtime=3573.22 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 132843 0 0 0 354508 2814 0 0 20 0 1 0 32407085 1184624640 242246 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 289215 242246 2336 1147 0 276642 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 1161052 KiB
Current children cumulated memory: 972056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 1.30 2.66 3.50 2/247 18639
/proc/meminfo: memFree=129111460/131249996 swapFree=33010684/33010684
[pid=18361] ppid=18358 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/18361/stat : 18361 (run-dec.sh) S 18358 18361 16831 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32407084 4292608 768 18446744073709551615 94555772432384 94555773326917 140734470451056 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94555773565968 94555773613712 94555789094912 140734470453613 140734470453736 140734470453736 140734470459338 0
/proc/18361/statm: 1048 768 704 219 0 110 0
[pid=18363] ppid=18361 vsize=1156860 memory=968984 CPUtime=3600.07 cores=4,6
/proc/18363/stat : 18363 (roundingsat) R 18361 18361 16831 0 -1 4194304 132866 0 0 0 357167 2840 0 0 20 0 1 0 32407085 1184624640 242246 18446744073709551615 4227072 8923433 140723914107360 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38027264 140723914111415 140723914111528 140723914111528 140723914117098 0
/proc/18363/statm: 289215 242246 2336 1147 0 276642 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1161052 KiB
Current children cumulated memory: 972056 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.2 s]
# the end of solver process 18361 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002082 s
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 18363 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3571.68 s, system=28.4103 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.21
CPU time (s): 3600.09
CPU user time (s): 3571.68
CPU system time (s): 28.4103
CPU usage (%): 99.7472
Max. virtual memory (cumulated for all children) (KiB): 1161052
Max. memory (cumulated for all children) (KiB): 972056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.68
system time used= 28.4103
maximum resident set size= 969368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 287
involuntary context switches= 3042
# summary of solver processes directly reported to runsolver:
# pid: 18361,18363
# total CPU time (s): 3600.09
# total CPU user time (s): 3571.68
# total CPU system time (s): 28.4103
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.3632 second user time and 16.6764 second system time
The end
Begin job on nodeC023 at 2025-06-29 05:21:32
IDJOB=4506760
IDBENCH=158263
IDSOLVER=3349
FILE ID=nodeC023/4506760-1751167292
RUNJOBID= nodeC023-1751159806-16842
SLURM_JOB_ID= 9587505
Free space on /tmp= 432748 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K169.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506760-1751167292/watcher-4506760-1751167292 -o /tmp/evaluation-result-4506760-1751167292/solver-4506760-1751167292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751159806-16842 --watchdog 3760 run-dec.sh HOME/instance-4506760-1751167292.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e3ebae4cd87024085ca08d92094a2c8e
RANDOM SEED=1442872469
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.841
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.78
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.890
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.78
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 : 3601.392
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.78
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 : 3610.208
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.497
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.78
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.903
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.889
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.78
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 : 3600.386
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127556528 kB
MemAvailable: 127529060 kB
Buffers: 3280 kB
Cached: 783368 kB
SwapCached: 0 kB
Active: 2544908 kB
Inactive: 564184 kB
Active(anon): 2340508 kB
Inactive(anon): 0 kB
Active(file): 204400 kB
Inactive(file): 564184 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8424 kB
Writeback: 0 kB
AnonPages: 2325712 kB
Mapped: 114476 kB
Shmem: 18064 kB
KReclaimable: 86376 kB
Slab: 171632 kB
SReclaimable: 86376 kB
SUnreclaim: 85256 kB
KernelStack: 4332 kB
PageTables: 7920 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3127316 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 913408 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: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433056 MiB
End job on nodeC023 at 2025-06-29 06:21:42