0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.30/0.33 c #variables 20111 #constraints 20451
120.48/120.95 c #Conflicts: 1000 | #Constraints: 21450
120.48/120.95 c #Conflicts: 2000 | #Constraints: 22450
120.48/120.95 c INPROCESSING
120.48/120.95 c GARBAGE COLLECT
120.48/120.95 c #Conflicts: 3000 | #Constraints: 21716
120.48/120.95 c #Conflicts: 4000 | #Constraints: 22716
120.48/120.95 c INPROCESSING
120.48/120.95 c GARBAGE COLLECT
120.48/120.95 c #Conflicts: 5000 | #Constraints: 22222
120.48/120.95 c #Conflicts: 6000 | #Constraints: 23222
120.48/120.95 c INPROCESSING
120.48/120.95 c GARBAGE COLLECT
120.48/120.95 c #Conflicts: 7000 | #Constraints: 22321
120.48/120.95 c #Conflicts: 8000 | #Constraints: 23321
120.48/120.95 c #Conflicts: 9000 | #Constraints: 24321
120.48/120.95 c INPROCESSING
120.48/120.95 c GARBAGE COLLECT
120.48/120.95 c #Conflicts: 10000 | #Constraints: 23100
120.48/120.95 c #Conflicts: 11000 | #Constraints: 24100
120.48/120.95 c #Conflicts: 12000 | #Constraints: 25100
120.48/120.95 c #Conflicts: 13000 | #Constraints: 26100
120.48/120.95 c #Conflicts: 14000 | #Constraints: 27100
120.48/120.95 c #Conflicts: 15000 | #Constraints: 28100
120.48/120.95 c #Conflicts: 16000 | #Constraints: 29100
120.48/120.95 c INPROCESSING
120.48/120.95 c GARBAGE COLLECT
120.48/120.95 c #Conflicts: 17000 | #Constraints: 25418
120.48/120.95 c #Conflicts: 18000 | #Constraints: 26418
120.48/120.95 c #Conflicts: 19000 | #Constraints: 27418
120.48/120.95 c #Conflicts: 20000 | #Constraints: 28418
120.48/120.95 c INPROCESSING
120.48/120.95 c GARBAGE COLLECT
120.48/120.95 c #Conflicts: 21000 | #Constraints: 25154
120.48/120.95 c #Conflicts: 22000 | #Constraints: 26154
120.48/120.95 c #Conflicts: 23000 | #Constraints: 27154
120.48/120.95 c #Conflicts: 24000 | #Constraints: 28154
120.48/120.95 c #Conflicts: 25000 | #Constraints: 29154
120.48/120.95 c #Conflicts: 26000 | #Constraints: 30154
120.48/120.95 c #Conflicts: 27000 | #Constraints: 31154
120.48/120.95 c #Conflicts: 28000 | #Constraints: 32154
120.48/120.95 c #Conflicts: 29000 | #Constraints: 33154
120.48/120.95 c #Conflicts: 30000 | #Constraints: 34154
120.48/120.95 c INPROCESSING
120.48/120.95 c GARBAGE COLLECT
120.48/120.95 c #Conflicts: 31000 | #Constraints: 27974
120.48/120.95 c #Conflicts: 32000 | #Constraints: 28974
120.48/120.95 c #Conflicts: 33000 | #Constraints: 29974
120.48/120.95 c #Conflicts: 34000 | #Constraints: 30974
120.48/120.95 c #Conflicts: 35000 | #Constraints: 31974
120.48/120.95 c #Conflicts: 36000 | #Constraints: 32974
120.48/120.95 c INPROCESSING
120.48/120.95 c GARBAGE COLLECT
120.48/120.95 c #Conflicts: 37000 | #Constraints: 28100
120.48/120.95 c #Conflicts: 38000 | #Constraints: 29100
120.48/120.95 c #Conflicts: 39000 | #Constraints: 30100
120.48/120.95 c #Conflicts: 40000 | #Constraints: 31100
120.48/120.95 c #Conflicts: 41000 | #Constraints: 32100
120.48/120.95 c #Conflicts: 42000 | #Constraints: 33100
120.48/120.95 c #Conflicts: 43000 | #Constraints: 34100
120.48/120.95 c #Conflicts: 44000 | #Constraints: 35100
120.48/120.95 c #Conflicts: 45000 | #Constraints: 36100
120.48/120.95 c #Conflicts: 46000 | #Constraints: 37100
120.48/120.95 c #Conflicts: 47000 | #Constraints: 38100
120.48/120.95 c #Conflicts: 48000 | #Constraints: 39100
120.48/120.95 c #Conflicts: 49000 | #Constraints: 40100
120.48/120.95 c INPROCESSING
120.48/120.95 c GARBAGE COLLECT
120.48/120.95 c #Conflicts: 50000 | #Constraints: 31214
120.48/120.95 c #Conflicts: 51000 | #Constraints: 32214
120.48/120.95 c #Conflicts: 52000 | #Constraints: 33214
120.48/120.95 c #Conflicts: 53000 | #Constraints: 34214
120.48/120.95 c #Conflicts: 54000 | #Constraints: 35214
120.48/120.95 c #Conflicts: 55000 | #Constraints: 36214
120.48/120.95 c #Conflicts: 56000 | #Constraints: 37214
120.48/120.95 c INPROCESSING
120.48/120.95 c GARBAGE COLLECT
120.48/120.95 c #Conflicts: 57000 | #Constraints: 30712
120.48/120.95 c #Conflicts: 58000 | #Constraints: 31712
120.48/120.95 c #Conflicts: 59000 | #Constraints: 32712
120.48/120.95 c #Conflicts: 60000 | #Constraints: 33712
120.48/120.95 c #Conflicts: 61000 | #Constraints: 34712
120.48/120.95 c #Conflicts: 62000 | #Constraints: 35712
120.48/120.95 c #Conflicts: 63000 | #Constraints: 36712
120.48/120.95 c #Conflicts: 64000 | #Constraints: 37712
120.48/120.95 c #Conflicts: 65000 | #Constraints: 38712
120.48/120.95 c #Conflicts: 66000 | #Constraints: 39712
120.48/120.95 c #Conflicts: 67000 | #Constraints: 40712
120.48/120.95 c #Conflicts: 68000 | #Constraints: 41712
120.48/120.95 c #Conflicts: 69000 | #Constraints: 42712
120.48/120.95 c #Conflicts: 70000 | #Constraints: 43712
120.48/120.95 c #Conflicts: 71000 | #Constraints: 44712
120.48/120.95 c #Conflicts: 72000 | #Constraints: 45712
120.48/120.95 c INPROCESSING
120.48/120.95 c GARBAGE COLLECT
248.67/249.51 c #Conflicts: 73000 | #Constraints: 34040
248.67/249.51 c #Conflicts: 74000 | #Constraints: 35040
248.67/249.51 c #Conflicts: 75000 | #Constraints: 36040
248.67/249.51 c #Conflicts: 76000 | #Constraints: 37040
248.67/249.51 c #Conflicts: 77000 | #Constraints: 38040
248.67/249.51 c #Conflicts: 78000 | #Constraints: 39040
248.67/249.51 c #Conflicts: 79000 | #Constraints: 40040
248.67/249.51 c #Conflicts: 80000 | #Constraints: 41040
248.67/249.51 c INPROCESSING
248.67/249.51 c GARBAGE COLLECT
248.67/249.51 c #Conflicts: 81000 | #Constraints: 33023
248.67/249.51 c #Conflicts: 82000 | #Constraints: 34023
248.67/249.51 c #Conflicts: 83000 | #Constraints: 35023
248.67/249.51 c #Conflicts: 84000 | #Constraints: 36023
248.67/249.51 c #Conflicts: 85000 | #Constraints: 37023
248.67/249.51 c #Conflicts: 86000 | #Constraints: 38023
248.67/249.51 c #Conflicts: 87000 | #Constraints: 39023
248.67/249.51 c #Conflicts: 88000 | #Constraints: 40023
248.67/249.51 c #Conflicts: 89000 | #Constraints: 41023
248.67/249.51 c #Conflicts: 90000 | #Constraints: 42023
248.67/249.51 c #Conflicts: 91000 | #Constraints: 43023
248.67/249.51 c #Conflicts: 92000 | #Constraints: 44023
248.67/249.51 c #Conflicts: 93000 | #Constraints: 45023
248.67/249.51 c #Conflicts: 94000 | #Constraints: 46023
248.67/249.51 c #Conflicts: 95000 | #Constraints: 47023
248.67/249.51 c #Conflicts: 96000 | #Constraints: 48023
248.67/249.51 c #Conflicts: 97000 | #Constraints: 49023
248.67/249.51 c #Conflicts: 98000 | #Constraints: 50023
248.67/249.51 c #Conflicts: 99000 | #Constraints: 51023
248.67/249.51 c #Conflicts: 100000 | #Constraints: 52023
248.67/249.51 c INPROCESSING
248.67/249.51 c GARBAGE COLLECT
248.67/249.51 c #Conflicts: 101000 | #Constraints: 37483
248.67/249.51 c #Conflicts: 102000 | #Constraints: 38483
248.67/249.51 c #Conflicts: 103000 | #Constraints: 39483
248.67/249.51 c #Conflicts: 104000 | #Constraints: 40483
248.67/249.51 c #Conflicts: 105000 | #Constraints: 41483
248.67/249.51 c #Conflicts: 106000 | #Constraints: 42483
248.67/249.51 c #Conflicts: 107000 | #Constraints: 43483
248.67/249.51 c #Conflicts: 108000 | #Constraints: 44483
248.67/249.51 c #Conflicts: 109000 | #Constraints: 45483
248.67/249.51 c INPROCESSING
248.67/249.51 c GARBAGE COLLECT
248.67/249.51 c #Conflicts: 110000 | #Constraints: 35927
248.67/249.51 c #Conflicts: 111000 | #Constraints: 36927
248.67/249.51 c #Conflicts: 112000 | #Constraints: 37927
248.67/249.51 c #Conflicts: 113000 | #Constraints: 38927
248.67/249.51 c #Conflicts: 114000 | #Constraints: 39927
248.67/249.51 c #Conflicts: 115000 | #Constraints: 40927
248.67/249.51 c #Conflicts: 116000 | #Constraints: 41927
248.67/249.51 c #Conflicts: 117000 | #Constraints: 42927
248.67/249.51 c #Conflicts: 118000 | #Constraints: 43927
248.67/249.51 c #Conflicts: 119000 | #Constraints: 44927
248.67/249.51 c #Conflicts: 120000 | #Constraints: 45927
248.67/249.51 c #Conflicts: 121000 | #Constraints: 46927
248.67/249.51 c #Conflicts: 122000 | #Constraints: 47927
248.67/249.51 c #Conflicts: 123000 | #Constraints: 48927
248.67/249.51 c #Conflicts: 124000 | #Constraints: 49927
248.67/249.51 c #Conflicts: 125000 | #Constraints: 50927
248.67/249.51 c #Conflicts: 126000 | #Constraints: 51927
248.67/249.51 c #Conflicts: 127000 | #Constraints: 52927
248.67/249.51 c #Conflicts: 128000 | #Constraints: 53927
248.67/249.51 c #Conflicts: 129000 | #Constraints: 54927
248.67/249.51 c #Conflicts: 130000 | #Constraints: 55927
248.67/249.51 c #Conflicts: 131000 | #Constraints: 56927
248.67/249.51 c #Conflicts: 132000 | #Constraints: 57927
248.67/249.51 c INPROCESSING
248.67/249.51 c GARBAGE COLLECT
248.67/249.51 c #Conflicts: 133000 | #Constraints: 40680
248.67/249.51 c #Conflicts: 134000 | #Constraints: 41680
248.67/249.51 c #Conflicts: 135000 | #Constraints: 42680
248.67/249.51 c #Conflicts: 136000 | #Constraints: 43680
248.67/249.51 c #Conflicts: 137000 | #Constraints: 44680
248.67/249.51 c #Conflicts: 138000 | #Constraints: 45680
248.67/249.51 c #Conflicts: 139000 | #Constraints: 46680
248.67/249.51 c #Conflicts: 140000 | #Constraints: 47680
248.67/249.51 c #Conflicts: 141000 | #Constraints: 48680
248.67/249.51 c #Conflicts: 142000 | #Constraints: 49680
248.67/249.51 c INPROCESSING
248.67/249.51 c GARBAGE COLLECT
248.67/249.51 c #Conflicts: 143000 | #Constraints: 38629
248.67/249.51 c #Conflicts: 144000 | #Constraints: 39629
248.67/249.51 c #Conflicts: 145000 | #Constraints: 40629
248.67/249.51 c #Conflicts: 146000 | #Constraints: 41629
248.67/249.51 c #Conflicts: 147000 | #Constraints: 42629
248.67/249.51 c #Conflicts: 148000 | #Constraints: 43629
381.94/383.27 c #Conflicts: 149000 | #Constraints: 44629
381.94/383.27 c #Conflicts: 150000 | #Constraints: 45629
381.94/383.27 c #Conflicts: 151000 | #Constraints: 46629
381.94/383.27 c #Conflicts: 152000 | #Constraints: 47629
381.94/383.27 c #Conflicts: 153000 | #Constraints: 48629
381.94/383.27 c #Conflicts: 154000 | #Constraints: 49629
381.94/383.27 c #Conflicts: 155000 | #Constraints: 50629
381.94/383.27 c #Conflicts: 156000 | #Constraints: 51629
381.94/383.27 c #Conflicts: 157000 | #Constraints: 52629
381.94/383.27 c #Conflicts: 158000 | #Constraints: 53629
381.94/383.27 c #Conflicts: 159000 | #Constraints: 54629
381.94/383.27 c #Conflicts: 160000 | #Constraints: 55629
381.94/383.27 c #Conflicts: 161000 | #Constraints: 56629
381.94/383.27 c #Conflicts: 162000 | #Constraints: 57629
381.94/383.27 c #Conflicts: 163000 | #Constraints: 58629
381.94/383.27 c #Conflicts: 164000 | #Constraints: 59629
381.94/383.27 c #Conflicts: 165000 | #Constraints: 60629
381.94/383.27 c #Conflicts: 166000 | #Constraints: 61629
381.94/383.27 c #Conflicts: 167000 | #Constraints: 62629
381.94/383.27 c #Conflicts: 168000 | #Constraints: 63629
381.94/383.27 c INPROCESSING
381.94/383.27 c GARBAGE COLLECT
381.94/383.27 c #Conflicts: 169000 | #Constraints: 43459
381.94/383.27 c #Conflicts: 170000 | #Constraints: 44459
381.94/383.27 c #Conflicts: 171000 | #Constraints: 45459
381.94/383.27 c #Conflicts: 172000 | #Constraints: 46459
381.94/383.27 c #Conflicts: 173000 | #Constraints: 47459
381.94/383.27 c #Conflicts: 174000 | #Constraints: 48459
381.94/383.27 c #Conflicts: 175000 | #Constraints: 49459
381.94/383.27 c #Conflicts: 176000 | #Constraints: 50459
381.94/383.27 c #Conflicts: 177000 | #Constraints: 51459
381.94/383.27 c #Conflicts: 178000 | #Constraints: 52459
381.94/383.27 c #Conflicts: 179000 | #Constraints: 53459
381.94/383.27 c #Conflicts: 180000 | #Constraints: 54459
381.94/383.27 c INPROCESSING
381.94/383.27 c GARBAGE COLLECT
381.94/383.27 c #Conflicts: 181000 | #Constraints: 42046
381.94/383.27 c #Conflicts: 182000 | #Constraints: 43046
381.94/383.27 c #Conflicts: 183000 | #Constraints: 44046
381.94/383.27 c #Conflicts: 184000 | #Constraints: 45046
381.94/383.27 c #Conflicts: 185000 | #Constraints: 46046
381.94/383.27 c #Conflicts: 186000 | #Constraints: 47046
381.94/383.27 c #Conflicts: 187000 | #Constraints: 48046
381.94/383.27 c #Conflicts: 188000 | #Constraints: 49046
381.94/383.27 c #Conflicts: 189000 | #Constraints: 50046
381.94/383.27 c #Conflicts: 190000 | #Constraints: 51046
381.94/383.27 c #Conflicts: 191000 | #Constraints: 52046
381.94/383.27 c #Conflicts: 192000 | #Constraints: 53046
381.94/383.27 c #Conflicts: 193000 | #Constraints: 54046
381.94/383.27 c #Conflicts: 194000 | #Constraints: 55046
381.94/383.27 c #Conflicts: 195000 | #Constraints: 56046
381.94/383.27 c #Conflicts: 196000 | #Constraints: 57046
381.94/383.27 c #Conflicts: 197000 | #Constraints: 58046
381.94/383.27 c #Conflicts: 198000 | #Constraints: 59046
381.94/383.27 c #Conflicts: 199000 | #Constraints: 60046
381.94/383.27 c #Conflicts: 200000 | #Constraints: 61046
381.94/383.27 c #Conflicts: 201000 | #Constraints: 62046
381.94/383.27 c #Conflicts: 202000 | #Constraints: 63046
381.94/383.27 c #Conflicts: 203000 | #Constraints: 64046
381.94/383.27 c #Conflicts: 204000 | #Constraints: 65046
381.94/383.27 c #Conflicts: 205000 | #Constraints: 66046
381.94/383.27 c #Conflicts: 206000 | #Constraints: 67046
381.94/383.27 c #Conflicts: 207000 | #Constraints: 68046
381.94/383.27 c #Conflicts: 208000 | #Constraints: 69046
381.94/383.27 c #Conflicts: 209000 | #Constraints: 70046
381.94/383.27 c INPROCESSING
381.94/383.27 c GARBAGE COLLECT
381.94/383.27 c #Conflicts: 210000 | #Constraints: 46927
381.94/383.27 c #Conflicts: 211000 | #Constraints: 47927
381.94/383.27 c #Conflicts: 212000 | #Constraints: 48927
381.94/383.27 c #Conflicts: 213000 | #Constraints: 49927
381.94/383.27 c #Conflicts: 214000 | #Constraints: 50927
381.94/383.27 c #Conflicts: 215000 | #Constraints: 51927
381.94/383.27 c #Conflicts: 216000 | #Constraints: 52927
381.94/383.27 c #Conflicts: 217000 | #Constraints: 53927
381.94/383.27 c #Conflicts: 218000 | #Constraints: 54927
381.94/383.27 c #Conflicts: 219000 | #Constraints: 55927
381.94/383.27 c #Conflicts: 220000 | #Constraints: 56927
381.94/383.27 c #Conflicts: 221000 | #Constraints: 57927
381.94/383.27 c #Conflicts: 222000 | #Constraints: 58927
381.94/383.27 c INPROCESSING
381.94/383.27 c GARBAGE COLLECT
381.94/383.27 c rational objective 169
610.78/612.86 c #Conflicts: 223000 | #Constraints: 44041
610.78/612.86 c #Conflicts: 224000 | #Constraints: 45041
610.78/612.86 c #Conflicts: 225000 | #Constraints: 46041
610.78/612.86 c #Conflicts: 226000 | #Constraints: 47041
610.78/612.86 c #Conflicts: 227000 | #Constraints: 48041
610.78/612.86 c #Conflicts: 228000 | #Constraints: 49042
610.78/612.86 c #Conflicts: 229000 | #Constraints: 50042
610.78/612.86 c #Conflicts: 230000 | #Constraints: 51042
610.78/612.86 c #Conflicts: 231000 | #Constraints: 52042
610.78/612.86 c #Conflicts: 232000 | #Constraints: 53042
610.78/612.86 c #Conflicts: 233000 | #Constraints: 54042
610.78/612.86 c #Conflicts: 234000 | #Constraints: 55042
610.78/612.86 c #Conflicts: 235000 | #Constraints: 56042
610.78/612.86 c #Conflicts: 236000 | #Constraints: 57042
610.78/612.86 c #Conflicts: 237000 | #Constraints: 58042
610.78/612.86 c #Conflicts: 238000 | #Constraints: 59042
610.78/612.86 c #Conflicts: 239000 | #Constraints: 60042
610.78/612.86 c #Conflicts: 240000 | #Constraints: 61042
610.78/612.86 c #Conflicts: 241000 | #Constraints: 62042
610.78/612.86 c #Conflicts: 242000 | #Constraints: 63042
610.78/612.86 c #Conflicts: 243000 | #Constraints: 64042
610.78/612.86 c #Conflicts: 244000 | #Constraints: 65042
610.78/612.86 c #Conflicts: 245000 | #Constraints: 66042
610.78/612.86 c #Conflicts: 246000 | #Constraints: 67042
610.78/612.86 c #Conflicts: 247000 | #Constraints: 68042
610.78/612.86 c #Conflicts: 248000 | #Constraints: 69042
610.78/612.86 c #Conflicts: 249000 | #Constraints: 70042
610.78/612.86 c #Conflicts: 250000 | #Constraints: 71042
610.78/612.86 c #Conflicts: 251000 | #Constraints: 72042
610.78/612.86 c #Conflicts: 252000 | #Constraints: 73042
610.78/612.86 c #Conflicts: 253000 | #Constraints: 74042
610.78/612.86 c #Conflicts: 254000 | #Constraints: 75042
610.78/612.86 c INPROCESSING
610.78/612.86 c GARBAGE COLLECT
610.78/612.86 c #Conflicts: 255000 | #Constraints: 49398
610.78/612.86 c #Conflicts: 256000 | #Constraints: 50398
610.78/612.86 c #Conflicts: 257000 | #Constraints: 51398
610.78/612.86 c #Conflicts: 258000 | #Constraints: 52398
610.78/612.86 c #Conflicts: 259000 | #Constraints: 53398
610.78/612.86 c #Conflicts: 260000 | #Constraints: 54398
610.78/612.86 c #Conflicts: 261000 | #Constraints: 55398
610.78/612.86 c #Conflicts: 262000 | #Constraints: 56398
610.78/612.86 c #Conflicts: 263000 | #Constraints: 57398
610.78/612.86 c #Conflicts: 264000 | #Constraints: 58398
610.78/612.86 c #Conflicts: 265000 | #Constraints: 59398
610.78/612.86 c #Conflicts: 266000 | #Constraints: 60398
610.78/612.86 c #Conflicts: 267000 | #Constraints: 61398
610.78/612.86 c #Conflicts: 268000 | #Constraints: 62398
610.78/612.86 c INPROCESSING
610.78/612.86 c GARBAGE COLLECT
610.78/612.86 c #Conflicts: 269000 | #Constraints: 46451
610.78/612.86 c #Conflicts: 270000 | #Constraints: 47451
610.78/612.86 c #Conflicts: 271000 | #Constraints: 48451
610.78/612.86 c #Conflicts: 272000 | #Constraints: 49451
610.78/612.86 c #Conflicts: 273000 | #Constraints: 50451
610.78/612.86 c #Conflicts: 274000 | #Constraints: 51451
610.78/612.86 c #Conflicts: 275000 | #Constraints: 52451
610.78/612.86 c #Conflicts: 276000 | #Constraints: 53451
610.78/612.86 c #Conflicts: 277000 | #Constraints: 54451
610.78/612.86 c #Conflicts: 278000 | #Constraints: 55451
610.78/612.86 c #Conflicts: 279000 | #Constraints: 56451
610.78/612.86 c #Conflicts: 280000 | #Constraints: 57451
610.78/612.86 c #Conflicts: 281000 | #Constraints: 58451
610.78/612.86 c #Conflicts: 282000 | #Constraints: 59451
610.78/612.86 c #Conflicts: 283000 | #Constraints: 60451
610.78/612.86 c #Conflicts: 284000 | #Constraints: 61451
610.78/612.86 c #Conflicts: 285000 | #Constraints: 62451
610.78/612.86 c #Conflicts: 286000 | #Constraints: 63451
610.78/612.86 c #Conflicts: 287000 | #Constraints: 64451
610.78/612.86 c #Conflicts: 288000 | #Constraints: 65451
610.78/612.86 c #Conflicts: 289000 | #Constraints: 66451
610.78/612.86 c #Conflicts: 290000 | #Constraints: 67451
610.78/612.86 c #Conflicts: 291000 | #Constraints: 68451
610.78/612.86 c #Conflicts: 292000 | #Constraints: 69451
610.78/612.86 c #Conflicts: 293000 | #Constraints: 70451
610.78/612.86 c #Conflicts: 294000 | #Constraints: 71451
610.78/612.86 c #Conflicts: 295000 | #Constraints: 72451
610.78/612.86 c #Conflicts: 296000 | #Constraints: 73451
610.78/612.86 c #Conflicts: 297000 | #Constraints: 74451
610.78/612.86 c #Conflicts: 298000 | #Constraints: 75451
610.78/612.86 c #Conflicts: 299000 | #Constraints: 76451
610.78/612.86 c #Conflicts: 300000 | #Constraints: 77451
789.59/792.26 c #Conflicts: 301000 | #Constraints: 78451
789.59/792.26 c #Conflicts: 302000 | #Constraints: 79451
789.59/792.26 c #Conflicts: 303000 | #Constraints: 80451
789.59/792.26 c INPROCESSING
789.59/792.26 c GARBAGE COLLECT
789.59/792.26 c #Conflicts: 304000 | #Constraints: 52023
789.59/792.26 c #Conflicts: 305000 | #Constraints: 53023
789.59/792.26 c #Conflicts: 306000 | #Constraints: 54023
789.59/792.26 c #Conflicts: 307000 | #Constraints: 55023
789.59/792.26 c #Conflicts: 308000 | #Constraints: 56023
789.59/792.26 c #Conflicts: 309000 | #Constraints: 57023
789.59/792.26 c #Conflicts: 310000 | #Constraints: 58023
789.59/792.26 c #Conflicts: 311000 | #Constraints: 59023
789.59/792.26 c #Conflicts: 312000 | #Constraints: 60023
789.59/792.26 c #Conflicts: 313000 | #Constraints: 61023
789.59/792.26 c #Conflicts: 314000 | #Constraints: 62023
789.59/792.26 c #Conflicts: 315000 | #Constraints: 63023
789.59/792.26 c #Conflicts: 316000 | #Constraints: 64023
789.59/792.26 c #Conflicts: 317000 | #Constraints: 65023
789.59/792.26 c #Conflicts: 318000 | #Constraints: 66023
789.59/792.26 c #Conflicts: 319000 | #Constraints: 67023
789.59/792.26 c INPROCESSING
789.59/792.26 c GARBAGE COLLECT
789.59/792.26 c #Conflicts: 320000 | #Constraints: 49497
789.59/792.26 c #Conflicts: 321000 | #Constraints: 50497
789.59/792.26 c #Conflicts: 322000 | #Constraints: 51497
789.59/792.26 c #Conflicts: 323000 | #Constraints: 52497
789.59/792.26 c #Conflicts: 324000 | #Constraints: 53497
789.59/792.26 c #Conflicts: 325000 | #Constraints: 54497
789.59/792.26 c #Conflicts: 326000 | #Constraints: 55497
789.59/792.26 c #Conflicts: 327000 | #Constraints: 56497
789.59/792.26 c #Conflicts: 328000 | #Constraints: 57497
789.59/792.26 c #Conflicts: 329000 | #Constraints: 58497
789.59/792.26 c #Conflicts: 330000 | #Constraints: 59497
789.59/792.26 c #Conflicts: 331000 | #Constraints: 60497
789.59/792.26 c #Conflicts: 332000 | #Constraints: 61497
789.59/792.26 c #Conflicts: 333000 | #Constraints: 62497
789.59/792.26 c #Conflicts: 334000 | #Constraints: 63497
789.59/792.26 c #Conflicts: 335000 | #Constraints: 64497
789.59/792.26 c #Conflicts: 336000 | #Constraints: 65497
789.59/792.26 c #Conflicts: 337000 | #Constraints: 66497
789.59/792.26 c #Conflicts: 338000 | #Constraints: 67497
789.59/792.26 c #Conflicts: 339000 | #Constraints: 68497
789.59/792.26 c #Conflicts: 340000 | #Constraints: 69497
789.59/792.26 c #Conflicts: 341000 | #Constraints: 70497
789.59/792.26 c #Conflicts: 342000 | #Constraints: 71497
789.59/792.26 c #Conflicts: 343000 | #Constraints: 72497
789.59/792.26 c #Conflicts: 344000 | #Constraints: 73497
789.59/792.26 c #Conflicts: 345000 | #Constraints: 74497
789.59/792.26 c #Conflicts: 346000 | #Constraints: 75497
789.59/792.26 c #Conflicts: 347000 | #Constraints: 76497
789.59/792.26 c #Conflicts: 348000 | #Constraints: 77497
789.59/792.26 c #Conflicts: 349000 | #Constraints: 78497
789.59/792.26 c #Conflicts: 350000 | #Constraints: 79497
789.59/792.26 c #Conflicts: 351000 | #Constraints: 80497
789.59/792.26 c #Conflicts: 352000 | #Constraints: 81497
789.59/792.26 c #Conflicts: 353000 | #Constraints: 82497
789.59/792.26 c #Conflicts: 354000 | #Constraints: 83497
789.59/792.26 c #Conflicts: 355000 | #Constraints: 84497
789.59/792.26 c #Conflicts: 356000 | #Constraints: 85497
789.59/792.26 c #Conflicts: 357000 | #Constraints: 86497
789.59/792.26 c INPROCESSING
789.59/792.26 c GARBAGE COLLECT
789.59/792.26 c #Conflicts: 358000 | #Constraints: 54966
789.59/792.26 c #Conflicts: 359000 | #Constraints: 55966
789.59/792.26 c #Conflicts: 360000 | #Constraints: 56966
789.59/792.26 c #Conflicts: 361000 | #Constraints: 57966
789.59/792.26 c #Conflicts: 362000 | #Constraints: 58966
789.59/792.26 c #Conflicts: 363000 | #Constraints: 59966
789.59/792.26 c #Conflicts: 364000 | #Constraints: 60967
789.59/792.26 c #Conflicts: 365000 | #Constraints: 61967
789.59/792.26 c #Conflicts: 366000 | #Constraints: 62967
789.59/792.26 c #Conflicts: 367000 | #Constraints: 63967
789.59/792.26 c #Conflicts: 368000 | #Constraints: 64967
789.59/792.26 c #Conflicts: 369000 | #Constraints: 65967
789.59/792.26 c #Conflicts: 370000 | #Constraints: 66967
789.59/792.26 c #Conflicts: 371000 | #Constraints: 67967
789.59/792.26 c #Conflicts: 372000 | #Constraints: 68967
789.59/792.26 c #Conflicts: 373000 | #Constraints: 69967
789.59/792.26 c #Conflicts: 374000 | #Constraints: 70967
789.59/792.26 c INPROCESSING
789.59/792.26 c GARBAGE COLLECT
789.59/792.26 c #Conflicts: 375000 | #Constraints: 51811
789.59/792.26 c #Conflicts: 376000 | #Constraints: 52811
930.43/933.54 c #Conflicts: 377000 | #Constraints: 53811
930.43/933.54 c #Conflicts: 378000 | #Constraints: 54811
930.43/933.54 c #Conflicts: 379000 | #Constraints: 55811
930.43/933.54 c #Conflicts: 380000 | #Constraints: 56811
930.43/933.54 c #Conflicts: 381000 | #Constraints: 57811
930.43/933.54 c #Conflicts: 382000 | #Constraints: 58811
930.43/933.54 c #Conflicts: 383000 | #Constraints: 59811
930.43/933.54 c #Conflicts: 384000 | #Constraints: 60811
930.43/933.54 c #Conflicts: 385000 | #Constraints: 61811
930.43/933.54 c #Conflicts: 386000 | #Constraints: 62811
930.43/933.54 c #Conflicts: 387000 | #Constraints: 63811
930.43/933.54 c #Conflicts: 388000 | #Constraints: 64811
930.43/933.54 c #Conflicts: 389000 | #Constraints: 65811
930.43/933.54 c #Conflicts: 390000 | #Constraints: 66811
930.43/933.54 c #Conflicts: 391000 | #Constraints: 67811
930.43/933.54 c #Conflicts: 392000 | #Constraints: 68811
930.43/933.54 c #Conflicts: 393000 | #Constraints: 69811
930.43/933.54 c #Conflicts: 394000 | #Constraints: 70811
930.43/933.54 c #Conflicts: 395000 | #Constraints: 71811
930.43/933.54 c #Conflicts: 396000 | #Constraints: 72811
930.43/933.54 c #Conflicts: 397000 | #Constraints: 73811
930.43/933.54 c #Conflicts: 398000 | #Constraints: 74811
930.43/933.54 c #Conflicts: 399000 | #Constraints: 75811
930.43/933.54 c #Conflicts: 400000 | #Constraints: 76811
930.43/933.54 c #Conflicts: 401000 | #Constraints: 77811
930.43/933.54 c #Conflicts: 402000 | #Constraints: 78811
930.43/933.54 c #Conflicts: 403000 | #Constraints: 79811
930.43/933.54 c #Conflicts: 404000 | #Constraints: 80811
930.43/933.54 c #Conflicts: 405000 | #Constraints: 81811
930.43/933.54 c #Conflicts: 406000 | #Constraints: 82811
930.43/933.54 c #Conflicts: 407000 | #Constraints: 83811
930.43/933.54 c #Conflicts: 408000 | #Constraints: 84811
930.43/933.54 c #Conflicts: 409000 | #Constraints: 85811
930.43/933.54 c #Conflicts: 410000 | #Constraints: 86811
930.43/933.54 c #Conflicts: 411000 | #Constraints: 87811
930.43/933.54 c #Conflicts: 412000 | #Constraints: 88811
930.43/933.54 c #Conflicts: 413000 | #Constraints: 89811
930.43/933.54 c #Conflicts: 414000 | #Constraints: 90811
930.43/933.54 c #Conflicts: 415000 | #Constraints: 91811
930.43/933.54 c INPROCESSING
930.43/933.54 c GARBAGE COLLECT
930.43/933.54 c #Conflicts: 416000 | #Constraints: 57609
930.43/933.54 c #Conflicts: 417000 | #Constraints: 58609
930.43/933.54 c #Conflicts: 418000 | #Constraints: 59609
930.43/933.54 c #Conflicts: 419000 | #Constraints: 60609
930.43/933.54 c #Conflicts: 420000 | #Constraints: 61609
930.43/933.54 c #Conflicts: 421000 | #Constraints: 62609
930.43/933.54 c #Conflicts: 422000 | #Constraints: 63609
930.43/933.54 c #Conflicts: 423000 | #Constraints: 64609
930.43/933.54 c #Conflicts: 424000 | #Constraints: 65609
930.43/933.54 c #Conflicts: 425000 | #Constraints: 66609
930.43/933.54 c #Conflicts: 426000 | #Constraints: 67609
930.43/933.54 c #Conflicts: 427000 | #Constraints: 68609
930.43/933.54 c #Conflicts: 428000 | #Constraints: 69609
930.43/933.54 c #Conflicts: 429000 | #Constraints: 70609
930.43/933.54 c #Conflicts: 430000 | #Constraints: 71609
930.43/933.54 c #Conflicts: 431000 | #Constraints: 72609
930.43/933.54 c #Conflicts: 432000 | #Constraints: 73609
930.43/933.54 c #Conflicts: 433000 | #Constraints: 74609
930.43/933.54 c #Conflicts: 434000 | #Constraints: 75609
930.43/933.54 c INPROCESSING
930.43/933.54 c GARBAGE COLLECT
930.43/933.54 c #Conflicts: 435000 | #Constraints: 54886
930.43/933.54 c #Conflicts: 436000 | #Constraints: 55886
930.43/933.54 c #Conflicts: 437000 | #Constraints: 56886
930.43/933.54 c #Conflicts: 438000 | #Constraints: 57886
930.43/933.54 c #Conflicts: 439000 | #Constraints: 58886
930.43/933.54 c #Conflicts: 440000 | #Constraints: 59886
930.43/933.54 c #Conflicts: 441000 | #Constraints: 60886
930.43/933.54 c #Conflicts: 442000 | #Constraints: 61886
930.43/933.54 c #Conflicts: 443000 | #Constraints: 62886
930.43/933.54 c #Conflicts: 444000 | #Constraints: 63886
930.43/933.54 c #Conflicts: 445000 | #Constraints: 64886
930.43/933.54 c #Conflicts: 446000 | #Constraints: 65886
930.43/933.54 c #Conflicts: 447000 | #Constraints: 66886
930.43/933.54 c #Conflicts: 448000 | #Constraints: 67886
930.43/933.54 c #Conflicts: 449000 | #Constraints: 68886
930.43/933.54 c #Conflicts: 450000 | #Constraints: 69886
930.43/933.54 c #Conflicts: 451000 | #Constraints: 70886
930.43/933.54 c #Conflicts: 452000 | #Constraints: 71886
930.43/933.54 c #Conflicts: 453000 | #Constraints: 72886
930.43/933.54 c #Conflicts: 454000 | #Constraints: 73886
1111.88/1115.58 c #Conflicts: 455000 | #Constraints: 74886
1111.88/1115.58 c #Conflicts: 456000 | #Constraints: 75886
1111.88/1115.58 c #Conflicts: 457000 | #Constraints: 76886
1111.88/1115.58 c #Conflicts: 458000 | #Constraints: 77886
1111.88/1115.58 c #Conflicts: 459000 | #Constraints: 78886
1111.88/1115.58 c #Conflicts: 460000 | #Constraints: 79886
1111.88/1115.58 c #Conflicts: 461000 | #Constraints: 80886
1111.88/1115.58 c #Conflicts: 462000 | #Constraints: 81886
1111.88/1115.58 c #Conflicts: 463000 | #Constraints: 82886
1111.88/1115.58 c #Conflicts: 464000 | #Constraints: 83886
1111.88/1115.58 c #Conflicts: 465000 | #Constraints: 84886
1111.88/1115.58 c #Conflicts: 466000 | #Constraints: 85886
1111.88/1115.58 c #Conflicts: 467000 | #Constraints: 86886
1111.88/1115.58 c #Conflicts: 468000 | #Constraints: 87886
1111.88/1115.58 c #Conflicts: 469000 | #Constraints: 88886
1111.88/1115.58 c #Conflicts: 470000 | #Constraints: 89886
1111.88/1115.58 c #Conflicts: 471000 | #Constraints: 90886
1111.88/1115.58 c #Conflicts: 472000 | #Constraints: 91886
1111.88/1115.58 c #Conflicts: 473000 | #Constraints: 92886
1111.88/1115.58 c #Conflicts: 474000 | #Constraints: 93886
1111.88/1115.58 c #Conflicts: 475000 | #Constraints: 94886
1111.88/1115.58 c #Conflicts: 476000 | #Constraints: 95886
1111.88/1115.58 c #Conflicts: 477000 | #Constraints: 96886
1111.88/1115.58 c #Conflicts: 478000 | #Constraints: 97886
1111.88/1115.58 c INPROCESSING
1111.88/1115.58 c GARBAGE COLLECT
1111.88/1115.58 c #Conflicts: 479000 | #Constraints: 61013
1111.88/1115.58 c #Conflicts: 480000 | #Constraints: 62013
1111.88/1115.58 c #Conflicts: 481000 | #Constraints: 63013
1111.88/1115.58 c #Conflicts: 482000 | #Constraints: 64013
1111.88/1115.58 c #Conflicts: 483000 | #Constraints: 65013
1111.88/1115.58 c #Conflicts: 484000 | #Constraints: 66013
1111.88/1115.58 c #Conflicts: 485000 | #Constraints: 67013
1111.88/1115.58 c #Conflicts: 486000 | #Constraints: 68013
1111.88/1115.58 c #Conflicts: 487000 | #Constraints: 69013
1111.88/1115.58 c #Conflicts: 488000 | #Constraints: 70013
1111.88/1115.58 c #Conflicts: 489000 | #Constraints: 71013
1111.88/1115.58 c #Conflicts: 490000 | #Constraints: 72013
1111.88/1115.58 c #Conflicts: 491000 | #Constraints: 73013
1111.88/1115.58 c #Conflicts: 492000 | #Constraints: 74013
1111.88/1115.58 c #Conflicts: 493000 | #Constraints: 75013
1111.88/1115.58 c #Conflicts: 494000 | #Constraints: 76013
1111.88/1115.58 c #Conflicts: 495000 | #Constraints: 77013
1111.88/1115.58 c #Conflicts: 496000 | #Constraints: 78013
1111.88/1115.58 c #Conflicts: 497000 | #Constraints: 79013
1111.88/1115.58 c #Conflicts: 498000 | #Constraints: 80013
1111.88/1115.58 c INPROCESSING
1111.88/1115.58 c GARBAGE COLLECT
1111.88/1115.58 c #Conflicts: 499000 | #Constraints: 56968
1111.88/1115.58 c #Conflicts: 500000 | #Constraints: 57968
1111.88/1115.58 c #Conflicts: 501000 | #Constraints: 58968
1111.88/1115.58 c #Conflicts: 502000 | #Constraints: 59968
1111.88/1115.58 c #Conflicts: 503000 | #Constraints: 60968
1111.88/1115.58 c #Conflicts: 504000 | #Constraints: 61968
1111.88/1115.58 c #Conflicts: 505000 | #Constraints: 62968
1111.88/1115.58 c #Conflicts: 506000 | #Constraints: 63968
1111.88/1115.58 c #Conflicts: 507000 | #Constraints: 64968
1111.88/1115.58 c #Conflicts: 508000 | #Constraints: 65968
1111.88/1115.58 c #Conflicts: 509000 | #Constraints: 66968
1111.88/1115.58 c #Conflicts: 510000 | #Constraints: 67968
1111.88/1115.58 c #Conflicts: 511000 | #Constraints: 68968
1111.88/1115.58 c #Conflicts: 512000 | #Constraints: 69968
1111.88/1115.58 c #Conflicts: 513000 | #Constraints: 70968
1111.88/1115.58 c #Conflicts: 514000 | #Constraints: 71968
1111.88/1115.58 c #Conflicts: 515000 | #Constraints: 72968
1111.88/1115.58 c #Conflicts: 516000 | #Constraints: 73968
1111.88/1115.58 c #Conflicts: 517000 | #Constraints: 74968
1111.88/1115.58 c #Conflicts: 518000 | #Constraints: 75968
1111.88/1115.58 c #Conflicts: 519000 | #Constraints: 76969
1111.88/1115.58 c #Conflicts: 520000 | #Constraints: 77969
1111.88/1115.58 c #Conflicts: 521000 | #Constraints: 78969
1111.88/1115.58 c #Conflicts: 522000 | #Constraints: 79969
1111.88/1115.58 c #Conflicts: 523000 | #Constraints: 80969
1111.88/1115.58 c #Conflicts: 524000 | #Constraints: 81969
1111.88/1115.58 c #Conflicts: 525000 | #Constraints: 82969
1111.88/1115.58 c #Conflicts: 526000 | #Constraints: 83969
1111.88/1115.58 c #Conflicts: 527000 | #Constraints: 84969
1111.88/1115.58 c #Conflicts: 528000 | #Constraints: 85969
1111.88/1115.58 c #Conflicts: 529000 | #Constraints: 86969
1111.88/1115.58 c #Conflicts: 530000 | #Constraints: 87969
1111.88/1115.58 c #Conflicts: 531000 | #Constraints: 88969
1187.98/1191.84 c #Conflicts: 532000 | #Constraints: 89969
1187.98/1191.84 c #Conflicts: 533000 | #Constraints: 90969
1187.98/1191.84 c #Conflicts: 534000 | #Constraints: 91969
1187.98/1191.84 c #Conflicts: 535000 | #Constraints: 92969
1187.98/1191.84 c #Conflicts: 536000 | #Constraints: 93969
1187.98/1191.84 c #Conflicts: 537000 | #Constraints: 94969
1187.98/1191.84 c #Conflicts: 538000 | #Constraints: 95969
1187.98/1191.84 c #Conflicts: 539000 | #Constraints: 96969
1187.98/1191.84 c #Conflicts: 540000 | #Constraints: 97969
1187.98/1191.84 c #Conflicts: 541000 | #Constraints: 98969
1187.98/1191.84 c #Conflicts: 542000 | #Constraints: 99969
1187.98/1191.84 c #Conflicts: 543000 | #Constraints: 100969
1187.98/1191.84 c #Conflicts: 544000 | #Constraints: 101969
1187.98/1191.84 c #Conflicts: 545000 | #Constraints: 102969
1187.98/1191.84 c INPROCESSING
1187.98/1191.84 c GARBAGE COLLECT
1187.98/1191.84 c rational objective 169
1359.95/1364.21 c #Conflicts: 546000 | #Constraints: 63519
1359.95/1364.21 c #Conflicts: 547000 | #Constraints: 64519
1359.95/1364.21 c #Conflicts: 548000 | #Constraints: 65519
1359.95/1364.21 c #Conflicts: 549000 | #Constraints: 66519
1359.95/1364.21 c #Conflicts: 550000 | #Constraints: 67519
1359.95/1364.21 c #Conflicts: 551000 | #Constraints: 68519
1359.95/1364.21 c #Conflicts: 552000 | #Constraints: 69519
1359.95/1364.21 c #Conflicts: 553000 | #Constraints: 70519
1359.95/1364.21 c #Conflicts: 554000 | #Constraints: 71519
1359.95/1364.21 c #Conflicts: 555000 | #Constraints: 72519
1359.95/1364.21 c #Conflicts: 556000 | #Constraints: 73519
1359.95/1364.21 c #Conflicts: 557000 | #Constraints: 74519
1359.95/1364.21 c #Conflicts: 558000 | #Constraints: 75519
1359.95/1364.21 c #Conflicts: 559000 | #Constraints: 76519
1359.95/1364.21 c #Conflicts: 560000 | #Constraints: 77519
1359.95/1364.21 c #Conflicts: 561000 | #Constraints: 78519
1359.95/1364.21 c #Conflicts: 562000 | #Constraints: 79519
1359.95/1364.21 c #Conflicts: 563000 | #Constraints: 80519
1359.95/1364.21 c #Conflicts: 564000 | #Constraints: 81519
1359.95/1364.21 c #Conflicts: 565000 | #Constraints: 82519
1359.95/1364.21 c #Conflicts: 566000 | #Constraints: 83519
1359.95/1364.21 c INPROCESSING
1359.95/1364.21 c GARBAGE COLLECT
1359.95/1364.21 c #Conflicts: 567000 | #Constraints: 59503
1359.95/1364.21 c #Conflicts: 568000 | #Constraints: 60503
1359.95/1364.21 c #Conflicts: 569000 | #Constraints: 61503
1359.95/1364.21 c #Conflicts: 570000 | #Constraints: 62503
1359.95/1364.21 c #Conflicts: 571000 | #Constraints: 63503
1359.95/1364.21 c #Conflicts: 572000 | #Constraints: 64503
1359.95/1364.21 c #Conflicts: 573000 | #Constraints: 65503
1359.95/1364.21 c #Conflicts: 574000 | #Constraints: 66503
1359.95/1364.21 c #Conflicts: 575000 | #Constraints: 67503
1359.95/1364.21 c #Conflicts: 576000 | #Constraints: 68503
1359.95/1364.21 c #Conflicts: 577000 | #Constraints: 69503
1359.95/1364.21 c #Conflicts: 578000 | #Constraints: 70503
1359.95/1364.21 c #Conflicts: 579000 | #Constraints: 71503
1359.95/1364.21 c #Conflicts: 580000 | #Constraints: 72503
1359.95/1364.21 c #Conflicts: 581000 | #Constraints: 73503
1359.95/1364.21 c #Conflicts: 582000 | #Constraints: 74503
1359.95/1364.21 c #Conflicts: 583000 | #Constraints: 75503
1359.95/1364.21 c #Conflicts: 584000 | #Constraints: 76503
1359.95/1364.21 c #Conflicts: 585000 | #Constraints: 77503
1359.95/1364.21 c #Conflicts: 586000 | #Constraints: 78503
1359.95/1364.21 c #Conflicts: 587000 | #Constraints: 79503
1359.95/1364.21 c #Conflicts: 588000 | #Constraints: 80503
1359.95/1364.21 c #Conflicts: 589000 | #Constraints: 81503
1359.95/1364.21 c #Conflicts: 590000 | #Constraints: 82503
1359.95/1364.21 c #Conflicts: 591000 | #Constraints: 83503
1359.95/1364.21 c #Conflicts: 592000 | #Constraints: 84503
1359.95/1364.21 c #Conflicts: 593000 | #Constraints: 85503
1359.95/1364.21 c #Conflicts: 594000 | #Constraints: 86503
1359.95/1364.21 c #Conflicts: 595000 | #Constraints: 87503
1359.95/1364.21 c #Conflicts: 596000 | #Constraints: 88503
1359.95/1364.21 c #Conflicts: 597000 | #Constraints: 89503
1359.95/1364.21 c #Conflicts: 598000 | #Constraints: 90503
1359.95/1364.21 c #Conflicts: 599000 | #Constraints: 91503
1359.95/1364.21 c #Conflicts: 600000 | #Constraints: 92503
1359.95/1364.21 c #Conflicts: 601000 | #Constraints: 93503
1359.95/1364.21 c #Conflicts: 602000 | #Constraints: 94503
1359.95/1364.21 c #Conflicts: 603000 | #Constraints: 95503
1359.95/1364.21 c #Conflicts: 604000 | #Constraints: 96503
1359.95/1364.21 c #Conflicts: 605000 | #Constraints: 97503
1359.95/1364.21 c #Conflicts: 606000 | #Constraints: 98503
1359.95/1364.21 c #Conflicts: 607000 | #Constraints: 99503
1359.95/1364.21 c #Conflicts: 608000 | #Constraints: 100503
1359.95/1364.21 c #Conflicts: 609000 | #Constraints: 101503
1359.95/1364.21 c #Conflicts: 610000 | #Constraints: 102503
1359.95/1364.21 c #Conflicts: 611000 | #Constraints: 103503
1359.95/1364.21 c #Conflicts: 612000 | #Constraints: 104503
1359.95/1364.21 c #Conflicts: 613000 | #Constraints: 105503
1359.95/1364.21 c #Conflicts: 614000 | #Constraints: 106503
1359.95/1364.21 c #Conflicts: 615000 | #Constraints: 107503
1359.95/1364.21 c #Conflicts: 616000 | #Constraints: 108503
1359.95/1364.21 c #Conflicts: 617000 | #Constraints: 109503
1359.95/1364.21 c INPROCESSING
1359.95/1364.21 c GARBAGE COLLECT
1359.95/1364.21 c #Conflicts: 618000 | #Constraints: 67150
1359.95/1364.21 c #Conflicts: 619000 | #Constraints: 68150
1359.95/1364.21 c #Conflicts: 620000 | #Constraints: 69150
1359.95/1364.21 c #Conflicts: 621000 | #Constraints: 70150
1359.95/1364.21 c #Conflicts: 622000 | #Constraints: 71150
1359.95/1364.21 c #Conflicts: 623000 | #Constraints: 72150
1564.58/1569.42 c #Conflicts: 624000 | #Constraints: 73150
1564.58/1569.42 c #Conflicts: 625000 | #Constraints: 74150
1564.58/1569.42 c #Conflicts: 626000 | #Constraints: 75150
1564.58/1569.42 c #Conflicts: 627000 | #Constraints: 76150
1564.58/1569.42 c #Conflicts: 628000 | #Constraints: 77150
1564.58/1569.42 c #Conflicts: 629000 | #Constraints: 78150
1564.58/1569.42 c #Conflicts: 630000 | #Constraints: 79150
1564.58/1569.42 c #Conflicts: 631000 | #Constraints: 80150
1564.58/1569.42 c #Conflicts: 632000 | #Constraints: 81150
1564.58/1569.42 c #Conflicts: 633000 | #Constraints: 82150
1564.58/1569.42 c #Conflicts: 634000 | #Constraints: 83150
1564.58/1569.42 c #Conflicts: 635000 | #Constraints: 84150
1564.58/1569.42 c #Conflicts: 636000 | #Constraints: 85150
1564.58/1569.42 c #Conflicts: 637000 | #Constraints: 86150
1564.58/1569.42 c #Conflicts: 638000 | #Constraints: 87150
1564.58/1569.42 c #Conflicts: 639000 | #Constraints: 88150
1564.58/1569.42 c INPROCESSING
1564.58/1569.42 c GARBAGE COLLECT
1564.58/1569.42 c #Conflicts: 640000 | #Constraints: 62463
1564.58/1569.42 c #Conflicts: 641000 | #Constraints: 63463
1564.58/1569.42 c #Conflicts: 642000 | #Constraints: 64463
1564.58/1569.42 c #Conflicts: 643000 | #Constraints: 65463
1564.58/1569.42 c #Conflicts: 644000 | #Constraints: 66463
1564.58/1569.42 c #Conflicts: 645000 | #Constraints: 67463
1564.58/1569.42 c #Conflicts: 646000 | #Constraints: 68463
1564.58/1569.42 c #Conflicts: 647000 | #Constraints: 69463
1564.58/1569.42 c #Conflicts: 648000 | #Constraints: 70463
1564.58/1569.42 c #Conflicts: 649000 | #Constraints: 71463
1564.58/1569.42 c #Conflicts: 650000 | #Constraints: 72463
1564.58/1569.42 c #Conflicts: 651000 | #Constraints: 73463
1564.58/1569.42 c #Conflicts: 652000 | #Constraints: 74463
1564.58/1569.42 c #Conflicts: 653000 | #Constraints: 75463
1564.58/1569.42 c #Conflicts: 654000 | #Constraints: 76463
1564.58/1569.42 c #Conflicts: 655000 | #Constraints: 77463
1564.58/1569.42 c #Conflicts: 656000 | #Constraints: 78463
1564.58/1569.42 c #Conflicts: 657000 | #Constraints: 79463
1564.58/1569.42 c #Conflicts: 658000 | #Constraints: 80463
1564.58/1569.42 c #Conflicts: 659000 | #Constraints: 81463
1564.58/1569.42 c #Conflicts: 660000 | #Constraints: 82463
1564.58/1569.42 c #Conflicts: 661000 | #Constraints: 83464
1564.58/1569.42 c #Conflicts: 662000 | #Constraints: 84464
1564.58/1569.42 c #Conflicts: 663000 | #Constraints: 85464
1564.58/1569.42 c #Conflicts: 664000 | #Constraints: 86464
1564.58/1569.42 c #Conflicts: 665000 | #Constraints: 87464
1564.58/1569.42 c #Conflicts: 666000 | #Constraints: 88464
1564.58/1569.42 c #Conflicts: 667000 | #Constraints: 89464
1564.58/1569.42 c #Conflicts: 668000 | #Constraints: 90464
1564.58/1569.42 c #Conflicts: 669000 | #Constraints: 91464
1564.58/1569.42 c #Conflicts: 670000 | #Constraints: 92464
1564.58/1569.42 c #Conflicts: 671000 | #Constraints: 93464
1564.58/1569.42 c #Conflicts: 672000 | #Constraints: 94464
1564.58/1569.42 c #Conflicts: 673000 | #Constraints: 95464
1564.58/1569.42 c #Conflicts: 674000 | #Constraints: 96464
1564.58/1569.42 c #Conflicts: 675000 | #Constraints: 97464
1564.58/1569.42 c #Conflicts: 676000 | #Constraints: 98464
1564.58/1569.42 c #Conflicts: 677000 | #Constraints: 99464
1564.58/1569.42 c #Conflicts: 678000 | #Constraints: 100464
1564.58/1569.42 c #Conflicts: 679000 | #Constraints: 101464
1564.58/1569.42 c #Conflicts: 680000 | #Constraints: 102464
1564.58/1569.42 c #Conflicts: 681000 | #Constraints: 103464
1564.58/1569.42 c #Conflicts: 682000 | #Constraints: 104464
1564.58/1569.42 c #Conflicts: 683000 | #Constraints: 105464
1564.58/1569.42 c #Conflicts: 684000 | #Constraints: 106464
1564.58/1569.42 c #Conflicts: 685000 | #Constraints: 107464
1564.58/1569.42 c #Conflicts: 686000 | #Constraints: 108464
1564.58/1569.42 c #Conflicts: 687000 | #Constraints: 109464
1564.58/1569.42 c #Conflicts: 688000 | #Constraints: 110464
1564.58/1569.42 c #Conflicts: 689000 | #Constraints: 111464
1564.58/1569.42 c #Conflicts: 690000 | #Constraints: 112464
1564.58/1569.42 c #Conflicts: 691000 | #Constraints: 113464
1564.58/1569.42 c #Conflicts: 692000 | #Constraints: 114464
1564.58/1569.42 c #Conflicts: 693000 | #Constraints: 115464
1564.58/1569.42 c INPROCESSING
1564.58/1569.42 c GARBAGE COLLECT
1564.58/1569.42 c #Conflicts: 694000 | #Constraints: 69942
1564.58/1569.42 c #Conflicts: 695000 | #Constraints: 70942
1564.58/1569.42 c #Conflicts: 696000 | #Constraints: 71942
1564.58/1569.42 c #Conflicts: 697000 | #Constraints: 72942
1564.58/1569.42 c #Conflicts: 698000 | #Constraints: 73942
1564.58/1569.42 c #Conflicts: 699000 | #Constraints: 74942
1564.58/1569.42 c #Conflicts: 700000 | #Constraints: 75942
1868.35/1874.15 c #Conflicts: 701000 | #Constraints: 76942
1868.35/1874.15 c #Conflicts: 702000 | #Constraints: 77942
1868.35/1874.15 c #Conflicts: 703000 | #Constraints: 78942
1868.35/1874.15 c #Conflicts: 704000 | #Constraints: 79942
1868.35/1874.15 c #Conflicts: 705000 | #Constraints: 80942
1868.35/1874.15 c #Conflicts: 706000 | #Constraints: 81942
1868.35/1874.15 c #Conflicts: 707000 | #Constraints: 82942
1868.35/1874.15 c #Conflicts: 708000 | #Constraints: 83942
1868.35/1874.15 c #Conflicts: 709000 | #Constraints: 84942
1868.35/1874.15 c #Conflicts: 710000 | #Constraints: 85942
1868.35/1874.15 c #Conflicts: 711000 | #Constraints: 86942
1868.35/1874.15 c #Conflicts: 712000 | #Constraints: 87942
1868.35/1874.15 c #Conflicts: 713000 | #Constraints: 88942
1868.35/1874.15 c #Conflicts: 714000 | #Constraints: 89942
1868.35/1874.15 c #Conflicts: 715000 | #Constraints: 90942
1868.35/1874.15 c #Conflicts: 716000 | #Constraints: 91942
1868.35/1874.15 c INPROCESSING
1868.35/1874.15 c GARBAGE COLLECT
1868.35/1874.15 c #Conflicts: 717000 | #Constraints: 64861
1868.35/1874.15 c #Conflicts: 718000 | #Constraints: 65861
1868.35/1874.15 c #Conflicts: 719000 | #Constraints: 66861
1868.35/1874.15 c #Conflicts: 720000 | #Constraints: 67861
1868.35/1874.15 c #Conflicts: 721000 | #Constraints: 68861
1868.35/1874.15 c #Conflicts: 722000 | #Constraints: 69861
1868.35/1874.15 c #Conflicts: 723000 | #Constraints: 70861
1868.35/1874.15 c #Conflicts: 724000 | #Constraints: 71861
1868.35/1874.15 c #Conflicts: 725000 | #Constraints: 72861
1868.35/1874.15 c #Conflicts: 726000 | #Constraints: 73861
1868.35/1874.15 c #Conflicts: 727000 | #Constraints: 74861
1868.35/1874.15 c #Conflicts: 728000 | #Constraints: 75861
1868.35/1874.15 c #Conflicts: 729000 | #Constraints: 76861
1868.35/1874.15 c #Conflicts: 730000 | #Constraints: 77861
1868.35/1874.15 c #Conflicts: 731000 | #Constraints: 78861
1868.35/1874.15 c #Conflicts: 732000 | #Constraints: 79861
1868.35/1874.15 c #Conflicts: 733000 | #Constraints: 80861
1868.35/1874.15 c #Conflicts: 734000 | #Constraints: 81861
1868.35/1874.15 c #Conflicts: 735000 | #Constraints: 82861
1868.35/1874.15 c #Conflicts: 736000 | #Constraints: 83861
1868.35/1874.15 c #Conflicts: 737000 | #Constraints: 84861
1868.35/1874.15 c #Conflicts: 738000 | #Constraints: 85861
1868.35/1874.15 c #Conflicts: 739000 | #Constraints: 86861
1868.35/1874.15 c #Conflicts: 740000 | #Constraints: 87861
1868.35/1874.15 c #Conflicts: 741000 | #Constraints: 88861
1868.35/1874.15 c #Conflicts: 742000 | #Constraints: 89861
1868.35/1874.15 c #Conflicts: 743000 | #Constraints: 90861
1868.35/1874.15 c #Conflicts: 744000 | #Constraints: 91861
1868.35/1874.15 c #Conflicts: 745000 | #Constraints: 92861
1868.35/1874.15 c #Conflicts: 746000 | #Constraints: 93861
1868.35/1874.15 c #Conflicts: 747000 | #Constraints: 94861
1868.35/1874.15 c #Conflicts: 748000 | #Constraints: 95861
1868.35/1874.15 c #Conflicts: 749000 | #Constraints: 96861
1868.35/1874.15 c #Conflicts: 750000 | #Constraints: 97861
1868.35/1874.15 c #Conflicts: 751000 | #Constraints: 98861
1868.35/1874.15 c #Conflicts: 752000 | #Constraints: 99861
1868.35/1874.15 c #Conflicts: 753000 | #Constraints: 100861
1868.35/1874.15 c #Conflicts: 754000 | #Constraints: 101861
1868.35/1874.15 c #Conflicts: 755000 | #Constraints: 102861
1868.35/1874.15 c #Conflicts: 756000 | #Constraints: 103861
1868.35/1874.15 c #Conflicts: 757000 | #Constraints: 104861
1868.35/1874.15 c #Conflicts: 758000 | #Constraints: 105861
1868.35/1874.15 c #Conflicts: 759000 | #Constraints: 106861
1868.35/1874.16 c #Conflicts: 760000 | #Constraints: 107861
1868.35/1874.16 c #Conflicts: 761000 | #Constraints: 108861
1868.35/1874.16 c #Conflicts: 762000 | #Constraints: 109861
1868.35/1874.16 c #Conflicts: 763000 | #Constraints: 110861
1868.35/1874.16 c #Conflicts: 764000 | #Constraints: 111861
1868.35/1874.16 c #Conflicts: 765000 | #Constraints: 112861
1868.35/1874.16 c #Conflicts: 766000 | #Constraints: 113861
1868.35/1874.16 c #Conflicts: 767000 | #Constraints: 114861
1868.35/1874.16 c #Conflicts: 768000 | #Constraints: 115861
1868.35/1874.16 c #Conflicts: 769000 | #Constraints: 116861
1868.35/1874.16 c #Conflicts: 770000 | #Constraints: 117861
1868.35/1874.16 c #Conflicts: 771000 | #Constraints: 118861
1868.35/1874.16 c #Conflicts: 772000 | #Constraints: 119861
1868.35/1874.16 c #Conflicts: 773000 | #Constraints: 120861
1868.35/1874.16 c INPROCESSING
1868.35/1874.16 c GARBAGE COLLECT
1868.35/1874.16 c #Conflicts: 774000 | #Constraints: 72560
1868.35/1874.16 c #Conflicts: 775000 | #Constraints: 73560
1868.35/1874.16 c #Conflicts: 776000 | #Constraints: 74560
1868.35/1874.16 c #Conflicts: 777000 | #Constraints: 75560
1868.35/1874.16 c #Conflicts: 778000 | #Constraints: 76560
2050.57/2056.95 c #Conflicts: 779000 | #Constraints: 77560
2050.57/2056.95 c #Conflicts: 780000 | #Constraints: 78560
2050.57/2056.95 c #Conflicts: 781000 | #Constraints: 79560
2050.57/2056.95 c #Conflicts: 782000 | #Constraints: 80560
2050.57/2056.95 c #Conflicts: 783000 | #Constraints: 81560
2050.57/2056.95 c #Conflicts: 784000 | #Constraints: 82560
2050.57/2056.95 c #Conflicts: 785000 | #Constraints: 83560
2050.57/2056.95 c #Conflicts: 786000 | #Constraints: 84560
2050.57/2056.95 c #Conflicts: 787000 | #Constraints: 85560
2050.57/2056.95 c #Conflicts: 788000 | #Constraints: 86560
2050.57/2056.95 c #Conflicts: 789000 | #Constraints: 87560
2050.57/2056.95 c #Conflicts: 790000 | #Constraints: 88560
2050.57/2056.95 c #Conflicts: 791000 | #Constraints: 89560
2050.57/2056.95 c #Conflicts: 792000 | #Constraints: 90560
2050.57/2056.95 c #Conflicts: 793000 | #Constraints: 91560
2050.57/2056.95 c #Conflicts: 794000 | #Constraints: 92560
2050.57/2056.95 c #Conflicts: 795000 | #Constraints: 93560
2050.57/2056.95 c #Conflicts: 796000 | #Constraints: 94560
2050.57/2056.95 c #Conflicts: 797000 | #Constraints: 95560
2050.57/2056.95 c #Conflicts: 798000 | #Constraints: 96560
2050.57/2056.95 c INPROCESSING
2050.57/2056.95 c GARBAGE COLLECT
2050.57/2056.95 c #Conflicts: 799000 | #Constraints: 67797
2050.57/2056.95 c #Conflicts: 800000 | #Constraints: 68797
2050.57/2056.95 c #Conflicts: 801000 | #Constraints: 69797
2050.57/2056.95 c #Conflicts: 802000 | #Constraints: 70797
2050.57/2056.95 c #Conflicts: 803000 | #Constraints: 71797
2050.57/2056.95 c #Conflicts: 804000 | #Constraints: 72797
2050.57/2056.95 c #Conflicts: 805000 | #Constraints: 73797
2050.57/2056.95 c #Conflicts: 806000 | #Constraints: 74797
2050.57/2056.95 c #Conflicts: 807000 | #Constraints: 75797
2050.57/2056.95 c #Conflicts: 808000 | #Constraints: 76797
2050.57/2056.95 c #Conflicts: 809000 | #Constraints: 77797
2050.57/2056.95 c #Conflicts: 810000 | #Constraints: 78797
2050.57/2056.95 c #Conflicts: 811000 | #Constraints: 79797
2050.57/2056.95 c #Conflicts: 812000 | #Constraints: 80797
2050.57/2056.95 c #Conflicts: 813000 | #Constraints: 81797
2050.57/2056.95 c #Conflicts: 814000 | #Constraints: 82797
2050.57/2056.95 c #Conflicts: 815000 | #Constraints: 83797
2050.57/2056.95 c #Conflicts: 816000 | #Constraints: 84797
2050.57/2056.95 c #Conflicts: 817000 | #Constraints: 85797
2050.57/2056.95 c #Conflicts: 818000 | #Constraints: 86797
2050.57/2056.95 c #Conflicts: 819000 | #Constraints: 87797
2050.57/2056.95 c #Conflicts: 820000 | #Constraints: 88797
2050.57/2056.95 c #Conflicts: 821000 | #Constraints: 89797
2050.57/2056.95 c #Conflicts: 822000 | #Constraints: 90797
2050.57/2056.95 c #Conflicts: 823000 | #Constraints: 91797
2050.57/2056.95 c #Conflicts: 824000 | #Constraints: 92797
2050.57/2056.95 c #Conflicts: 825000 | #Constraints: 93797
2050.57/2056.95 c #Conflicts: 826000 | #Constraints: 94797
2050.57/2056.95 c #Conflicts: 827000 | #Constraints: 95797
2050.57/2056.95 c #Conflicts: 828000 | #Constraints: 96797
2050.57/2056.95 c #Conflicts: 829000 | #Constraints: 97797
2050.57/2056.95 c #Conflicts: 830000 | #Constraints: 98797
2050.57/2056.95 c #Conflicts: 831000 | #Constraints: 99797
2050.57/2056.95 c #Conflicts: 832000 | #Constraints: 100797
2050.57/2056.95 c #Conflicts: 833000 | #Constraints: 101797
2050.57/2056.95 c #Conflicts: 834000 | #Constraints: 102797
2050.57/2056.95 c #Conflicts: 835000 | #Constraints: 103797
2050.57/2056.95 c #Conflicts: 836000 | #Constraints: 104797
2050.57/2056.95 c #Conflicts: 837000 | #Constraints: 105797
2050.57/2056.95 c #Conflicts: 838000 | #Constraints: 106797
2050.57/2056.95 c #Conflicts: 839000 | #Constraints: 107797
2050.57/2056.95 c #Conflicts: 840000 | #Constraints: 108797
2050.57/2056.95 c #Conflicts: 841000 | #Constraints: 109797
2050.57/2056.95 c #Conflicts: 842000 | #Constraints: 110797
2050.57/2056.95 c #Conflicts: 843000 | #Constraints: 111797
2050.57/2056.95 c #Conflicts: 844000 | #Constraints: 112797
2050.57/2056.95 c #Conflicts: 845000 | #Constraints: 113797
2050.57/2056.95 c #Conflicts: 846000 | #Constraints: 114797
2050.57/2056.95 c #Conflicts: 847000 | #Constraints: 115797
2050.57/2056.95 c #Conflicts: 848000 | #Constraints: 116797
2050.57/2056.95 c #Conflicts: 849000 | #Constraints: 117797
2050.57/2056.95 c #Conflicts: 850000 | #Constraints: 118797
2050.57/2056.95 c #Conflicts: 851000 | #Constraints: 119797
2050.57/2056.95 c #Conflicts: 852000 | #Constraints: 120797
2050.57/2056.95 c #Conflicts: 853000 | #Constraints: 121797
2050.57/2056.95 c #Conflicts: 854000 | #Constraints: 122797
2050.57/2056.95 c #Conflicts: 855000 | #Constraints: 123797
2050.57/2056.95 c #Conflicts: 856000 | #Constraints: 124797
2255.14/2262.20 c #Conflicts: 857000 | #Constraints: 125797
2255.14/2262.20 c #Conflicts: 858000 | #Constraints: 126797
2255.14/2262.20 c INPROCESSING
2255.14/2262.20 c GARBAGE COLLECT
2255.14/2262.20 c #Conflicts: 859000 | #Constraints: 75961
2255.14/2262.20 c #Conflicts: 860000 | #Constraints: 76961
2255.14/2262.20 c #Conflicts: 861000 | #Constraints: 77961
2255.14/2262.20 c #Conflicts: 862000 | #Constraints: 78961
2255.14/2262.20 c #Conflicts: 863000 | #Constraints: 79961
2255.14/2262.20 c #Conflicts: 864000 | #Constraints: 80961
2255.14/2262.20 c #Conflicts: 865000 | #Constraints: 81961
2255.14/2262.20 c #Conflicts: 866000 | #Constraints: 82961
2255.14/2262.20 c #Conflicts: 867000 | #Constraints: 83961
2255.14/2262.20 c #Conflicts: 868000 | #Constraints: 84961
2255.14/2262.20 c #Conflicts: 869000 | #Constraints: 85961
2255.14/2262.20 c #Conflicts: 870000 | #Constraints: 86961
2255.14/2262.20 c #Conflicts: 871000 | #Constraints: 87961
2255.14/2262.20 c #Conflicts: 872000 | #Constraints: 88961
2255.14/2262.20 c #Conflicts: 873000 | #Constraints: 89961
2255.14/2262.20 c #Conflicts: 874000 | #Constraints: 90961
2255.14/2262.20 c #Conflicts: 875000 | #Constraints: 91961
2255.14/2262.20 c #Conflicts: 876000 | #Constraints: 92961
2255.14/2262.20 c #Conflicts: 877000 | #Constraints: 93961
2255.14/2262.20 c #Conflicts: 878000 | #Constraints: 94961
2255.14/2262.20 c #Conflicts: 879000 | #Constraints: 95961
2255.14/2262.20 c #Conflicts: 880000 | #Constraints: 96961
2255.14/2262.20 c #Conflicts: 881000 | #Constraints: 97961
2255.14/2262.20 c #Conflicts: 882000 | #Constraints: 98961
2255.14/2262.20 c #Conflicts: 883000 | #Constraints: 99961
2255.14/2262.20 c #Conflicts: 884000 | #Constraints: 100961
2255.14/2262.20 c INPROCESSING
2255.14/2262.20 c GARBAGE COLLECT
2255.14/2262.20 c #Conflicts: 885000 | #Constraints: 70446
2255.14/2262.20 c #Conflicts: 886000 | #Constraints: 71446
2255.14/2262.20 c #Conflicts: 887000 | #Constraints: 72446
2255.14/2262.20 c #Conflicts: 888000 | #Constraints: 73446
2255.14/2262.20 c #Conflicts: 889000 | #Constraints: 74446
2255.14/2262.20 c #Conflicts: 890000 | #Constraints: 75446
2255.14/2262.20 c #Conflicts: 891000 | #Constraints: 76446
2255.14/2262.20 c #Conflicts: 892000 | #Constraints: 77446
2255.14/2262.20 c #Conflicts: 893000 | #Constraints: 78446
2255.14/2262.20 c #Conflicts: 894000 | #Constraints: 79446
2255.14/2262.20 c #Conflicts: 895000 | #Constraints: 80446
2255.14/2262.20 c #Conflicts: 896000 | #Constraints: 81446
2255.14/2262.20 c #Conflicts: 897000 | #Constraints: 82446
2255.14/2262.20 c #Conflicts: 898000 | #Constraints: 83446
2255.14/2262.20 c #Conflicts: 899000 | #Constraints: 84446
2255.14/2262.20 c #Conflicts: 900000 | #Constraints: 85446
2255.14/2262.20 c #Conflicts: 901000 | #Constraints: 86446
2255.14/2262.20 c #Conflicts: 902000 | #Constraints: 87446
2255.14/2262.20 c #Conflicts: 903000 | #Constraints: 88446
2255.14/2262.20 c #Conflicts: 904000 | #Constraints: 89446
2255.14/2262.20 c #Conflicts: 905000 | #Constraints: 90446
2255.14/2262.20 c #Conflicts: 906000 | #Constraints: 91446
2255.14/2262.20 c #Conflicts: 907000 | #Constraints: 92446
2255.14/2262.20 c #Conflicts: 908000 | #Constraints: 93446
2255.14/2262.20 c #Conflicts: 909000 | #Constraints: 94446
2255.14/2262.20 c #Conflicts: 910000 | #Constraints: 95446
2255.14/2262.20 c #Conflicts: 911000 | #Constraints: 96446
2255.14/2262.20 c #Conflicts: 912000 | #Constraints: 97446
2255.14/2262.20 c #Conflicts: 913000 | #Constraints: 98446
2255.14/2262.20 c #Conflicts: 914000 | #Constraints: 99446
2255.23/2262.20 c #Conflicts: 915000 | #Constraints: 100446
2255.23/2262.20 c #Conflicts: 916000 | #Constraints: 101446
2255.23/2262.20 c #Conflicts: 917000 | #Constraints: 102446
2255.23/2262.20 c #Conflicts: 918000 | #Constraints: 103446
2255.23/2262.20 c #Conflicts: 919000 | #Constraints: 104446
2255.23/2262.20 c #Conflicts: 920000 | #Constraints: 105446
2255.23/2262.20 c #Conflicts: 921000 | #Constraints: 106446
2255.23/2262.20 c #Conflicts: 922000 | #Constraints: 107446
2255.23/2262.20 c #Conflicts: 923000 | #Constraints: 108446
2255.23/2262.20 c #Conflicts: 924000 | #Constraints: 109446
2255.23/2262.20 c #Conflicts: 925000 | #Constraints: 110446
2255.23/2262.20 c #Conflicts: 926000 | #Constraints: 111446
2255.23/2262.20 c #Conflicts: 927000 | #Constraints: 112446
2255.23/2262.20 c #Conflicts: 928000 | #Constraints: 113446
2255.23/2262.20 c #Conflicts: 929000 | #Constraints: 114446
2255.23/2262.20 c #Conflicts: 930000 | #Constraints: 115446
2255.23/2262.20 c #Conflicts: 931000 | #Constraints: 116446
2255.23/2262.20 c #Conflicts: 932000 | #Constraints: 117446
2255.23/2262.20 c #Conflicts: 933000 | #Constraints: 118446
2255.23/2262.20 c #Conflicts: 934000 | #Constraints: 119446
2472.64/2480.34 c #Conflicts: 935000 | #Constraints: 120446
2472.64/2480.34 c #Conflicts: 936000 | #Constraints: 121446
2472.64/2480.34 c #Conflicts: 937000 | #Constraints: 122446
2472.64/2480.34 c #Conflicts: 938000 | #Constraints: 123446
2472.64/2480.34 c #Conflicts: 939000 | #Constraints: 124446
2472.64/2480.34 c #Conflicts: 940000 | #Constraints: 125446
2472.64/2480.34 c #Conflicts: 941000 | #Constraints: 126446
2472.64/2480.34 c #Conflicts: 942000 | #Constraints: 127446
2472.64/2480.34 c #Conflicts: 943000 | #Constraints: 128446
2472.64/2480.34 c #Conflicts: 944000 | #Constraints: 129446
2472.64/2480.34 c #Conflicts: 945000 | #Constraints: 130446
2472.64/2480.34 c #Conflicts: 946000 | #Constraints: 131446
2472.64/2480.34 c #Conflicts: 947000 | #Constraints: 132446
2472.64/2480.34 c INPROCESSING
2472.64/2480.34 c GARBAGE COLLECT
2472.64/2480.34 c #Conflicts: 948000 | #Constraints: 78798
2472.64/2480.34 c #Conflicts: 949000 | #Constraints: 79798
2472.64/2480.34 c #Conflicts: 950000 | #Constraints: 80798
2472.64/2480.34 c #Conflicts: 951000 | #Constraints: 81798
2472.64/2480.34 c #Conflicts: 952000 | #Constraints: 82798
2472.64/2480.34 c #Conflicts: 953000 | #Constraints: 83798
2472.64/2480.34 c #Conflicts: 954000 | #Constraints: 84798
2472.64/2480.34 c #Conflicts: 955000 | #Constraints: 85798
2472.64/2480.34 c #Conflicts: 956000 | #Constraints: 86798
2472.64/2480.34 c #Conflicts: 957000 | #Constraints: 87798
2472.64/2480.34 c #Conflicts: 958000 | #Constraints: 88798
2472.64/2480.34 c #Conflicts: 959000 | #Constraints: 89798
2472.64/2480.34 c #Conflicts: 960000 | #Constraints: 90798
2472.64/2480.34 c #Conflicts: 961000 | #Constraints: 91798
2472.64/2480.34 c #Conflicts: 962000 | #Constraints: 92798
2472.64/2480.34 c #Conflicts: 963000 | #Constraints: 93798
2472.64/2480.34 c #Conflicts: 964000 | #Constraints: 94798
2472.64/2480.34 c #Conflicts: 965000 | #Constraints: 95798
2472.64/2480.34 c #Conflicts: 966000 | #Constraints: 96798
2472.64/2480.34 c #Conflicts: 967000 | #Constraints: 97798
2472.64/2480.34 c #Conflicts: 968000 | #Constraints: 98798
2472.64/2480.34 c #Conflicts: 969000 | #Constraints: 99798
2472.64/2480.34 c #Conflicts: 970000 | #Constraints: 100798
2472.64/2480.34 c #Conflicts: 971000 | #Constraints: 101798
2472.64/2480.34 c #Conflicts: 972000 | #Constraints: 102798
2472.64/2480.34 c #Conflicts: 973000 | #Constraints: 103798
2472.64/2480.34 c #Conflicts: 974000 | #Constraints: 104798
2472.64/2480.34 c INPROCESSING
2472.64/2480.34 c GARBAGE COLLECT
2472.64/2480.34 c #Conflicts: 975000 | #Constraints: 72532
2472.64/2480.34 c #Conflicts: 976000 | #Constraints: 73532
2472.64/2480.34 c #Conflicts: 977000 | #Constraints: 74532
2472.64/2480.34 c #Conflicts: 978000 | #Constraints: 75532
2472.64/2480.34 c #Conflicts: 979000 | #Constraints: 76532
2472.64/2480.34 c #Conflicts: 980000 | #Constraints: 77532
2472.64/2480.34 c #Conflicts: 981000 | #Constraints: 78532
2472.64/2480.34 c #Conflicts: 982000 | #Constraints: 79532
2472.64/2480.34 c #Conflicts: 983000 | #Constraints: 80532
2472.64/2480.34 c #Conflicts: 984000 | #Constraints: 81532
2472.64/2480.34 c #Conflicts: 985000 | #Constraints: 82532
2472.64/2480.34 c #Conflicts: 986000 | #Constraints: 83532
2472.64/2480.34 c #Conflicts: 987000 | #Constraints: 84532
2472.64/2480.34 c #Conflicts: 988000 | #Constraints: 85532
2472.64/2480.34 c #Conflicts: 989000 | #Constraints: 86532
2472.64/2480.34 c #Conflicts: 990000 | #Constraints: 87532
2472.64/2480.34 c #Conflicts: 991000 | #Constraints: 88532
2472.64/2480.34 c #Conflicts: 992000 | #Constraints: 89532
2472.64/2480.34 c #Conflicts: 993000 | #Constraints: 90532
2472.64/2480.34 c #Conflicts: 994000 | #Constraints: 91532
2472.64/2480.34 c #Conflicts: 995000 | #Constraints: 92532
2472.64/2480.34 c #Conflicts: 996000 | #Constraints: 93532
2472.64/2480.34 c #Conflicts: 997000 | #Constraints: 94532
2472.64/2480.34 c #Conflicts: 998000 | #Constraints: 95532
2472.64/2480.34 c #Conflicts: 999000 | #Constraints: 96532
2472.64/2480.34 c #Conflicts: 1000000 | #Constraints: 97532
2472.64/2480.34 c #Conflicts: 1001000 | #Constraints: 98532
2472.64/2480.34 c #Conflicts: 1002000 | #Constraints: 99532
2472.64/2480.34 c #Conflicts: 1003000 | #Constraints: 100532
2472.64/2480.34 c #Conflicts: 1004000 | #Constraints: 101532
2472.64/2480.34 c #Conflicts: 1005000 | #Constraints: 102532
2472.64/2480.34 c #Conflicts: 1006000 | #Constraints: 103532
2472.64/2480.34 c #Conflicts: 1007000 | #Constraints: 104532
2472.64/2480.34 c #Conflicts: 1008000 | #Constraints: 105532
2472.64/2480.34 c #Conflicts: 1009000 | #Constraints: 106532
2472.64/2480.34 c #Conflicts: 1010000 | #Constraints: 107532
2472.64/2480.34 c #Conflicts: 1011000 | #Constraints: 108532
2767.82/2776.58 c #Conflicts: 1012000 | #Constraints: 109532
2767.82/2776.58 c #Conflicts: 1013000 | #Constraints: 110532
2767.82/2776.58 c #Conflicts: 1014000 | #Constraints: 111532
2767.82/2776.58 c #Conflicts: 1015000 | #Constraints: 112532
2767.82/2776.58 c #Conflicts: 1016000 | #Constraints: 113532
2767.82/2776.58 c #Conflicts: 1017000 | #Constraints: 114532
2767.82/2776.58 c #Conflicts: 1018000 | #Constraints: 115532
2767.82/2776.58 c #Conflicts: 1019000 | #Constraints: 116532
2767.82/2776.58 c #Conflicts: 1020000 | #Constraints: 117532
2767.82/2776.58 c #Conflicts: 1021000 | #Constraints: 118532
2767.82/2776.58 c #Conflicts: 1022000 | #Constraints: 119532
2767.82/2776.58 c #Conflicts: 1023000 | #Constraints: 120532
2767.82/2776.58 c #Conflicts: 1024000 | #Constraints: 121532
2767.82/2776.58 c #Conflicts: 1025000 | #Constraints: 122532
2767.82/2776.58 c #Conflicts: 1026000 | #Constraints: 123532
2767.82/2776.58 c #Conflicts: 1027000 | #Constraints: 124532
2767.82/2776.58 c #Conflicts: 1028000 | #Constraints: 125532
2767.82/2776.58 c #Conflicts: 1029000 | #Constraints: 126532
2767.82/2776.58 c #Conflicts: 1030000 | #Constraints: 127532
2767.82/2776.58 c #Conflicts: 1031000 | #Constraints: 128532
2767.82/2776.58 c #Conflicts: 1032000 | #Constraints: 129532
2767.82/2776.58 c #Conflicts: 1033000 | #Constraints: 130532
2767.82/2776.58 c #Conflicts: 1034000 | #Constraints: 131532
2767.82/2776.58 c #Conflicts: 1035000 | #Constraints: 132532
2767.82/2776.58 c #Conflicts: 1036000 | #Constraints: 133532
2767.82/2776.58 c #Conflicts: 1037000 | #Constraints: 134532
2767.82/2776.58 c #Conflicts: 1038000 | #Constraints: 135532
2767.82/2776.58 c #Conflicts: 1039000 | #Constraints: 136532
2767.82/2776.58 c #Conflicts: 1040000 | #Constraints: 137532
2767.82/2776.58 c INPROCESSING
2767.82/2776.58 c GARBAGE COLLECT
2767.82/2776.58 c #Conflicts: 1041000 | #Constraints: 81031
2767.82/2776.58 c #Conflicts: 1042000 | #Constraints: 82031
2767.82/2776.58 c #Conflicts: 1043000 | #Constraints: 83031
2767.82/2776.58 c #Conflicts: 1044000 | #Constraints: 84031
2767.82/2776.58 c #Conflicts: 1045000 | #Constraints: 85031
2767.82/2776.58 c #Conflicts: 1046000 | #Constraints: 86031
2767.82/2776.58 c #Conflicts: 1047000 | #Constraints: 87031
2767.82/2776.58 c #Conflicts: 1048000 | #Constraints: 88031
2767.82/2776.58 c #Conflicts: 1049000 | #Constraints: 89031
2767.82/2776.58 c #Conflicts: 1050000 | #Constraints: 90031
2767.82/2776.58 c #Conflicts: 1051000 | #Constraints: 91031
2767.82/2776.58 c #Conflicts: 1052000 | #Constraints: 92031
2767.82/2776.58 c #Conflicts: 1053000 | #Constraints: 93031
2767.82/2776.58 c #Conflicts: 1054000 | #Constraints: 94031
2767.82/2776.58 c #Conflicts: 1055000 | #Constraints: 95031
2767.82/2776.58 c #Conflicts: 1056000 | #Constraints: 96031
2767.82/2776.58 c #Conflicts: 1057000 | #Constraints: 97031
2767.82/2776.58 c #Conflicts: 1058000 | #Constraints: 98031
2767.82/2776.58 c #Conflicts: 1059000 | #Constraints: 99031
2767.82/2776.58 c #Conflicts: 1060000 | #Constraints: 100031
2767.82/2776.58 c #Conflicts: 1061000 | #Constraints: 101031
2767.82/2776.58 c #Conflicts: 1062000 | #Constraints: 102031
2767.82/2776.58 c #Conflicts: 1063000 | #Constraints: 103031
2767.82/2776.58 c #Conflicts: 1064000 | #Constraints: 104031
2767.82/2776.58 c #Conflicts: 1065000 | #Constraints: 105031
2767.82/2776.58 c #Conflicts: 1066000 | #Constraints: 106031
2767.82/2776.58 c #Conflicts: 1067000 | #Constraints: 107031
2767.82/2776.58 c #Conflicts: 1068000 | #Constraints: 108031
2767.82/2776.58 c #Conflicts: 1069000 | #Constraints: 109031
2767.82/2776.58 c INPROCESSING
2767.82/2776.58 c GARBAGE COLLECT
2767.82/2776.58 c #Conflicts: 1070000 | #Constraints: 74570
2767.82/2776.58 c #Conflicts: 1071000 | #Constraints: 75570
2767.82/2776.58 c #Conflicts: 1072000 | #Constraints: 76570
2767.82/2776.58 c #Conflicts: 1073000 | #Constraints: 77570
2767.82/2776.58 c #Conflicts: 1074000 | #Constraints: 78570
2767.82/2776.58 c #Conflicts: 1075000 | #Constraints: 79570
2767.82/2776.58 c #Conflicts: 1076000 | #Constraints: 80570
2767.82/2776.58 c #Conflicts: 1077000 | #Constraints: 81570
2767.82/2776.58 c #Conflicts: 1078000 | #Constraints: 82570
2767.82/2776.58 c #Conflicts: 1079000 | #Constraints: 83570
2767.82/2776.58 c #Conflicts: 1080000 | #Constraints: 84570
2767.82/2776.58 c #Conflicts: 1081000 | #Constraints: 85570
2767.82/2776.58 c #Conflicts: 1082000 | #Constraints: 86570
2767.82/2776.58 c #Conflicts: 1083000 | #Constraints: 87570
2767.82/2776.58 c #Conflicts: 1084000 | #Constraints: 88570
2767.82/2776.58 c #Conflicts: 1085000 | #Constraints: 89570
2767.82/2776.58 c #Conflicts: 1086000 | #Constraints: 90570
2767.82/2776.58 c #Conflicts: 1087000 | #Constraints: 91570
2767.82/2776.58 c #Conflicts: 1088000 | #Constraints: 92570
2767.82/2776.58 c #Conflicts: 1089000 | #Constraints: 93570
3058.83/3068.46 c #Conflicts: 1090000 | #Constraints: 94570
3058.83/3068.46 c #Conflicts: 1091000 | #Constraints: 95570
3058.83/3068.46 c #Conflicts: 1092000 | #Constraints: 96570
3058.83/3068.46 c #Conflicts: 1093000 | #Constraints: 97570
3058.83/3068.46 c #Conflicts: 1094000 | #Constraints: 98570
3058.83/3068.46 c #Conflicts: 1095000 | #Constraints: 99570
3058.83/3068.46 c #Conflicts: 1096000 | #Constraints: 100570
3058.83/3068.46 c #Conflicts: 1097000 | #Constraints: 101570
3058.83/3068.46 c #Conflicts: 1098000 | #Constraints: 102570
3058.83/3068.46 c #Conflicts: 1099000 | #Constraints: 103570
3058.83/3068.46 c #Conflicts: 1100000 | #Constraints: 104570
3058.83/3068.46 c #Conflicts: 1101000 | #Constraints: 105570
3058.83/3068.46 c #Conflicts: 1102000 | #Constraints: 106570
3058.83/3068.46 c #Conflicts: 1103000 | #Constraints: 107570
3058.83/3068.46 c #Conflicts: 1104000 | #Constraints: 108570
3058.83/3068.46 c #Conflicts: 1105000 | #Constraints: 109570
3058.83/3068.46 c #Conflicts: 1106000 | #Constraints: 110570
3058.83/3068.46 c #Conflicts: 1107000 | #Constraints: 111570
3058.83/3068.46 c #Conflicts: 1108000 | #Constraints: 112570
3058.83/3068.46 c #Conflicts: 1109000 | #Constraints: 113570
3058.83/3068.46 c #Conflicts: 1110000 | #Constraints: 114570
3058.83/3068.46 c #Conflicts: 1111000 | #Constraints: 115570
3058.83/3068.46 c #Conflicts: 1112000 | #Constraints: 116570
3058.83/3068.46 c #Conflicts: 1113000 | #Constraints: 117570
3058.83/3068.46 c #Conflicts: 1114000 | #Constraints: 118570
3058.83/3068.46 c #Conflicts: 1115000 | #Constraints: 119570
3058.83/3068.46 c #Conflicts: 1116000 | #Constraints: 120570
3058.83/3068.46 c #Conflicts: 1117000 | #Constraints: 121570
3058.83/3068.46 c #Conflicts: 1118000 | #Constraints: 122570
3058.83/3068.46 c #Conflicts: 1119000 | #Constraints: 123570
3058.83/3068.46 c #Conflicts: 1120000 | #Constraints: 124570
3058.83/3068.46 c #Conflicts: 1121000 | #Constraints: 125570
3058.83/3068.46 c #Conflicts: 1122000 | #Constraints: 126570
3058.83/3068.46 c #Conflicts: 1123000 | #Constraints: 127570
3058.83/3068.46 c #Conflicts: 1124000 | #Constraints: 128570
3058.83/3068.46 c #Conflicts: 1125000 | #Constraints: 129570
3058.83/3068.46 c #Conflicts: 1126000 | #Constraints: 130570
3058.83/3068.46 c #Conflicts: 1127000 | #Constraints: 131570
3058.83/3068.46 c #Conflicts: 1128000 | #Constraints: 132570
3058.83/3068.46 c #Conflicts: 1129000 | #Constraints: 133570
3058.83/3068.46 c #Conflicts: 1130000 | #Constraints: 134570
3058.83/3068.46 c #Conflicts: 1131000 | #Constraints: 135570
3058.83/3068.46 c #Conflicts: 1132000 | #Constraints: 136570
3058.83/3068.46 c #Conflicts: 1133000 | #Constraints: 137570
3058.83/3068.46 c #Conflicts: 1134000 | #Constraints: 138570
3058.83/3068.46 c #Conflicts: 1135000 | #Constraints: 139570
3058.83/3068.46 c #Conflicts: 1136000 | #Constraints: 140570
3058.83/3068.46 c #Conflicts: 1137000 | #Constraints: 141570
3058.83/3068.46 c #Conflicts: 1138000 | #Constraints: 142570
3058.83/3068.46 c INPROCESSING
3058.83/3068.46 c GARBAGE COLLECT
3058.83/3068.46 c #Conflicts: 1139000 | #Constraints: 83456
3058.83/3068.46 c #Conflicts: 1140000 | #Constraints: 84456
3058.83/3068.46 c #Conflicts: 1141000 | #Constraints: 85456
3058.83/3068.46 c #Conflicts: 1142000 | #Constraints: 86456
3058.83/3068.46 c #Conflicts: 1143000 | #Constraints: 87456
3058.83/3068.46 c #Conflicts: 1144000 | #Constraints: 88456
3058.83/3068.46 c #Conflicts: 1145000 | #Constraints: 89456
3058.83/3068.46 c #Conflicts: 1146000 | #Constraints: 90456
3058.83/3068.46 c #Conflicts: 1147000 | #Constraints: 91456
3058.83/3068.46 c #Conflicts: 1148000 | #Constraints: 92456
3058.83/3068.46 c #Conflicts: 1149000 | #Constraints: 93456
3058.83/3068.46 c #Conflicts: 1150000 | #Constraints: 94456
3058.83/3068.46 c #Conflicts: 1151000 | #Constraints: 95456
3058.83/3068.46 c #Conflicts: 1152000 | #Constraints: 96456
3058.83/3068.46 c #Conflicts: 1153000 | #Constraints: 97456
3058.83/3068.46 c #Conflicts: 1154000 | #Constraints: 98456
3058.83/3068.46 c #Conflicts: 1155000 | #Constraints: 99456
3058.83/3068.46 c #Conflicts: 1156000 | #Constraints: 100456
3058.83/3068.46 c #Conflicts: 1157000 | #Constraints: 101456
3058.83/3068.46 c #Conflicts: 1158000 | #Constraints: 102456
3058.83/3068.46 c #Conflicts: 1159000 | #Constraints: 103456
3058.83/3068.46 c #Conflicts: 1160000 | #Constraints: 104456
3058.83/3068.46 c #Conflicts: 1161000 | #Constraints: 105456
3058.83/3068.46 c #Conflicts: 1162000 | #Constraints: 106456
3058.83/3068.46 c #Conflicts: 1163000 | #Constraints: 107456
3058.83/3068.46 c #Conflicts: 1164000 | #Constraints: 108456
3058.83/3068.46 c #Conflicts: 1165000 | #Constraints: 109456
3058.83/3068.46 c #Conflicts: 1166000 | #Constraints: 110456
3058.83/3068.46 c #Conflicts: 1167000 | #Constraints: 111456
3285.08/3295.32 c #Conflicts: 1168000 | #Constraints: 112456
3285.08/3295.32 c INPROCESSING
3285.08/3295.32 c GARBAGE COLLECT
3285.08/3295.32 c #Conflicts: 1169000 | #Constraints: 76599
3285.08/3295.32 c #Conflicts: 1170000 | #Constraints: 77599
3285.08/3295.32 c #Conflicts: 1171000 | #Constraints: 78599
3285.08/3295.32 c #Conflicts: 1172000 | #Constraints: 79599
3285.08/3295.32 c #Conflicts: 1173000 | #Constraints: 80599
3285.08/3295.32 c #Conflicts: 1174000 | #Constraints: 81599
3285.08/3295.32 c #Conflicts: 1175000 | #Constraints: 82599
3285.08/3295.32 c #Conflicts: 1176000 | #Constraints: 83599
3285.08/3295.32 c #Conflicts: 1177000 | #Constraints: 84599
3285.08/3295.32 c #Conflicts: 1178000 | #Constraints: 85599
3285.08/3295.32 c #Conflicts: 1179000 | #Constraints: 86599
3285.08/3295.32 c #Conflicts: 1180000 | #Constraints: 87599
3285.08/3295.32 c #Conflicts: 1181000 | #Constraints: 88599
3285.08/3295.32 c #Conflicts: 1182000 | #Constraints: 89599
3285.08/3295.32 c #Conflicts: 1183000 | #Constraints: 90599
3285.08/3295.32 c #Conflicts: 1184000 | #Constraints: 91599
3285.08/3295.32 c #Conflicts: 1185000 | #Constraints: 92599
3285.08/3295.32 c #Conflicts: 1186000 | #Constraints: 93599
3285.08/3295.32 c #Conflicts: 1187000 | #Constraints: 94599
3285.08/3295.32 c #Conflicts: 1188000 | #Constraints: 95599
3285.08/3295.32 c #Conflicts: 1189000 | #Constraints: 96599
3285.08/3295.32 c #Conflicts: 1190000 | #Constraints: 97599
3285.08/3295.32 c #Conflicts: 1191000 | #Constraints: 98599
3285.08/3295.32 c #Conflicts: 1192000 | #Constraints: 99599
3285.08/3295.32 c #Conflicts: 1193000 | #Constraints: 100599
3285.08/3295.32 c #Conflicts: 1194000 | #Constraints: 101599
3285.08/3295.32 c #Conflicts: 1195000 | #Constraints: 102599
3285.08/3295.32 c #Conflicts: 1196000 | #Constraints: 103599
3285.08/3295.32 c #Conflicts: 1197000 | #Constraints: 104599
3285.08/3295.32 c #Conflicts: 1198000 | #Constraints: 105599
3285.08/3295.32 c #Conflicts: 1199000 | #Constraints: 106599
3285.08/3295.32 c #Conflicts: 1200000 | #Constraints: 107599
3285.08/3295.32 c #Conflicts: 1201000 | #Constraints: 108599
3285.08/3295.32 c #Conflicts: 1202000 | #Constraints: 109599
3285.08/3295.32 c #Conflicts: 1203000 | #Constraints: 110599
3285.08/3295.32 c #Conflicts: 1204000 | #Constraints: 111599
3285.08/3295.32 c #Conflicts: 1205000 | #Constraints: 112599
3285.08/3295.32 c #Conflicts: 1206000 | #Constraints: 113599
3285.08/3295.32 c #Conflicts: 1207000 | #Constraints: 114599
3285.08/3295.32 c #Conflicts: 1208000 | #Constraints: 115599
3285.08/3295.32 c #Conflicts: 1209000 | #Constraints: 116599
3285.08/3295.32 c #Conflicts: 1210000 | #Constraints: 117599
3285.08/3295.32 c #Conflicts: 1211000 | #Constraints: 118599
3285.08/3295.32 c #Conflicts: 1212000 | #Constraints: 119599
3285.08/3295.32 c #Conflicts: 1213000 | #Constraints: 120599
3285.08/3295.32 c #Conflicts: 1214000 | #Constraints: 121599
3285.08/3295.32 c #Conflicts: 1215000 | #Constraints: 122599
3285.08/3295.32 c #Conflicts: 1216000 | #Constraints: 123600
3285.08/3295.32 c #Conflicts: 1217000 | #Constraints: 124600
3285.08/3295.32 c #Conflicts: 1218000 | #Constraints: 125600
3285.08/3295.32 c #Conflicts: 1219000 | #Constraints: 126600
3285.08/3295.32 c #Conflicts: 1220000 | #Constraints: 127600
3285.08/3295.32 c #Conflicts: 1221000 | #Constraints: 128600
3285.08/3295.32 c #Conflicts: 1222000 | #Constraints: 129600
3285.08/3295.32 c #Conflicts: 1223000 | #Constraints: 130600
3285.08/3295.32 c #Conflicts: 1224000 | #Constraints: 131600
3285.08/3295.32 c #Conflicts: 1225000 | #Constraints: 132600
3285.08/3295.32 c #Conflicts: 1226000 | #Constraints: 133600
3285.08/3295.32 c #Conflicts: 1227000 | #Constraints: 134600
3285.08/3295.32 c #Conflicts: 1228000 | #Constraints: 135600
3285.08/3295.32 c #Conflicts: 1229000 | #Constraints: 136600
3285.08/3295.32 c #Conflicts: 1230000 | #Constraints: 137600
3285.08/3295.32 c #Conflicts: 1231000 | #Constraints: 138600
3285.08/3295.32 c #Conflicts: 1232000 | #Constraints: 139600
3285.08/3295.32 c #Conflicts: 1233000 | #Constraints: 140600
3285.08/3295.32 c #Conflicts: 1234000 | #Constraints: 141600
3285.08/3295.32 c #Conflicts: 1235000 | #Constraints: 142600
3285.08/3295.32 c #Conflicts: 1236000 | #Constraints: 143600
3285.08/3295.32 c #Conflicts: 1237000 | #Constraints: 144600
3285.08/3295.32 c #Conflicts: 1238000 | #Constraints: 145600
3285.08/3295.32 c #Conflicts: 1239000 | #Constraints: 146600
3285.08/3295.32 c #Conflicts: 1240000 | #Constraints: 147600
3285.08/3295.32 c INPROCESSING
3285.08/3295.32 c GARBAGE COLLECT
3285.08/3295.32 c #Conflicts: 1241000 | #Constraints: 85938
3285.08/3295.32 c #Conflicts: 1242000 | #Constraints: 86938
3285.08/3295.32 c #Conflicts: 1243000 | #Constraints: 87938
3285.08/3295.32 c #Conflicts: 1244000 | #Constraints: 88938
3457.66/3468.35 c #Conflicts: 1245000 | #Constraints: 89938
3457.66/3468.35 c #Conflicts: 1246000 | #Constraints: 90938
3457.66/3468.35 c #Conflicts: 1247000 | #Constraints: 91938
3457.66/3468.35 c #Conflicts: 1248000 | #Constraints: 92938
3457.66/3468.35 c #Conflicts: 1249000 | #Constraints: 93938
3457.66/3468.35 c #Conflicts: 1250000 | #Constraints: 94938
3457.66/3468.35 c #Conflicts: 1251000 | #Constraints: 95938
3457.66/3468.35 c #Conflicts: 1252000 | #Constraints: 96938
3457.66/3468.35 c #Conflicts: 1253000 | #Constraints: 97938
3457.66/3468.35 c #Conflicts: 1254000 | #Constraints: 98938
3457.66/3468.35 c #Conflicts: 1255000 | #Constraints: 99938
3457.66/3468.35 c #Conflicts: 1256000 | #Constraints: 100938
3457.66/3468.35 c #Conflicts: 1257000 | #Constraints: 101938
3457.66/3468.35 c #Conflicts: 1258000 | #Constraints: 102938
3457.66/3468.35 c #Conflicts: 1259000 | #Constraints: 103938
3457.66/3468.35 c #Conflicts: 1260000 | #Constraints: 104938
3457.66/3468.35 c #Conflicts: 1261000 | #Constraints: 105938
3457.66/3468.35 c #Conflicts: 1262000 | #Constraints: 106938
3457.66/3468.35 c #Conflicts: 1263000 | #Constraints: 107938
3457.66/3468.35 c #Conflicts: 1264000 | #Constraints: 108938
3457.66/3468.35 c #Conflicts: 1265000 | #Constraints: 109938
3457.66/3468.35 c #Conflicts: 1266000 | #Constraints: 110938
3457.66/3468.35 c #Conflicts: 1267000 | #Constraints: 111938
3457.66/3468.35 c #Conflicts: 1268000 | #Constraints: 112938
3457.66/3468.35 c #Conflicts: 1269000 | #Constraints: 113938
3457.66/3468.35 c #Conflicts: 1270000 | #Constraints: 114938
3457.66/3468.35 c #Conflicts: 1271000 | #Constraints: 115938
3457.66/3468.35 c #Conflicts: 1272000 | #Constraints: 116938
3457.66/3468.35 c INPROCESSING
3457.66/3468.35 c GARBAGE COLLECT
3457.66/3468.35 c #Conflicts: 1273000 | #Constraints: 79924
3457.66/3468.35 c #Conflicts: 1274000 | #Constraints: 80924
3457.66/3468.35 c #Conflicts: 1275000 | #Constraints: 81924
3457.66/3468.35 c #Conflicts: 1276000 | #Constraints: 82924
3457.66/3468.35 c #Conflicts: 1277000 | #Constraints: 83924
3457.66/3468.35 c #Conflicts: 1278000 | #Constraints: 84924
3457.66/3468.35 c #Conflicts: 1279000 | #Constraints: 85924
3457.66/3468.35 c #Conflicts: 1280000 | #Constraints: 86924
3457.66/3468.35 c #Conflicts: 1281000 | #Constraints: 87924
3457.66/3468.35 c #Conflicts: 1282000 | #Constraints: 88924
3457.66/3468.35 c #Conflicts: 1283000 | #Constraints: 89924
3457.66/3468.35 c #Conflicts: 1284000 | #Constraints: 90924
3457.66/3468.35 c #Conflicts: 1285000 | #Constraints: 91924
3457.66/3468.35 c #Conflicts: 1286000 | #Constraints: 92924
3457.66/3468.35 c #Conflicts: 1287000 | #Constraints: 93924
3457.66/3468.35 c #Conflicts: 1288000 | #Constraints: 94924
3457.66/3468.35 c #Conflicts: 1289000 | #Constraints: 95924
3457.66/3468.35 c #Conflicts: 1290000 | #Constraints: 96924
3457.66/3468.35 c #Conflicts: 1291000 | #Constraints: 97924
3457.66/3468.35 c #Conflicts: 1292000 | #Constraints: 98924
3457.66/3468.35 c #Conflicts: 1293000 | #Constraints: 99924
3457.66/3468.35 c #Conflicts: 1294000 | #Constraints: 100924
3457.66/3468.35 c #Conflicts: 1295000 | #Constraints: 101924
3457.66/3468.35 c #Conflicts: 1296000 | #Constraints: 102924
3457.66/3468.35 c #Conflicts: 1297000 | #Constraints: 103924
3457.66/3468.35 c #Conflicts: 1298000 | #Constraints: 104924
3457.66/3468.35 c #Conflicts: 1299000 | #Constraints: 105924
3457.66/3468.35 c #Conflicts: 1300000 | #Constraints: 106924
3457.66/3468.35 c #Conflicts: 1301000 | #Constraints: 107924
3457.66/3468.35 c #Conflicts: 1302000 | #Constraints: 108924
3457.66/3468.35 c #Conflicts: 1303000 | #Constraints: 109924
3457.66/3468.35 c #Conflicts: 1304000 | #Constraints: 110924
3457.66/3468.35 c #Conflicts: 1305000 | #Constraints: 111924
3457.66/3468.35 c #Conflicts: 1306000 | #Constraints: 112924
3457.66/3468.35 c #Conflicts: 1307000 | #Constraints: 113924
3457.66/3468.35 c #Conflicts: 1308000 | #Constraints: 114924
3457.66/3468.35 c #Conflicts: 1309000 | #Constraints: 115924
3457.66/3468.35 c #Conflicts: 1310000 | #Constraints: 116924
3457.66/3468.35 c #Conflicts: 1311000 | #Constraints: 117924
3457.66/3468.35 c #Conflicts: 1312000 | #Constraints: 118924
3457.66/3468.35 c #Conflicts: 1313000 | #Constraints: 119924
3457.66/3468.35 c #Conflicts: 1314000 | #Constraints: 120924
3457.66/3468.35 c #Conflicts: 1315000 | #Constraints: 121924
3457.66/3468.35 c #Conflicts: 1316000 | #Constraints: 122924
3457.66/3468.35 c #Conflicts: 1317000 | #Constraints: 123924
3457.66/3468.35 c #Conflicts: 1318000 | #Constraints: 124924
3457.66/3468.35 c #Conflicts: 1319000 | #Constraints: 125924
3457.66/3468.35 c #Conflicts: 1320000 | #Constraints: 126924
3457.66/3468.35 c #Conflicts: 1321000 | #Constraints: 127924
3457.66/3468.35 c #Conflicts: 1322000 | #Constraints: 128924
3600.03/3611.01 c #Conflicts: 1323000 | #Constraints: 129924
3600.03/3611.01 c #Conflicts: 1324000 | #Constraints: 130924
3600.03/3611.01 c #Conflicts: 1325000 | #Constraints: 131924
3600.03/3611.01 c #Conflicts: 1326000 | #Constraints: 132924
3600.03/3611.01 c #Conflicts: 1327000 | #Constraints: 133924
3600.03/3611.01 c #Conflicts: 1328000 | #Constraints: 134924
3600.03/3611.01 c #Conflicts: 1329000 | #Constraints: 135924
3600.03/3611.01 c #Conflicts: 1330000 | #Constraints: 136924
3600.03/3611.01 c #Conflicts: 1331000 | #Constraints: 137924
3600.03/3611.01 c #Conflicts: 1332000 | #Constraints: 138924
3600.03/3611.01 c #Conflicts: 1333000 | #Constraints: 139924
3600.03/3611.01 c #Conflicts: 1334000 | #Constraints: 140924
3600.03/3611.01 c #Conflicts: 1335000 | #Constraints: 141924
3600.03/3611.01 c #Conflicts: 1336000 | #Constraints: 142924
3600.03/3611.01 c #Conflicts: 1337000 | #Constraints: 143924
3600.03/3611.01 c #Conflicts: 1338000 | #Constraints: 144924
3600.03/3611.01 c #Conflicts: 1339000 | #Constraints: 145924
3600.03/3611.01 c #Conflicts: 1340000 | #Constraints: 146924
3600.03/3611.01 c #Conflicts: 1341000 | #Constraints: 147924
3600.03/3611.01 c #Conflicts: 1342000 | #Constraints: 148924
3600.03/3611.01 c #Conflicts: 1343000 | #Constraints: 149924
3600.03/3611.01 c #Conflicts: 1344000 | #Constraints: 150924
3600.03/3611.01 c #Conflicts: 1345000 | #Constraints: 151924
3600.03/3611.01 c #Conflicts: 1346000 | #Constraints: 152924
3600.03/3611.01 c #Conflicts: 1347000 | #Constraints: 153924
3600.03/3611.01 c INPROCESSING
3600.03/3611.01 c GARBAGE COLLECT
3600.03/3611.01 c Disabling crashed LP
3600.03/3611.02 c cpu time 3571.59 s
3600.03/3611.02 c deterministic time 228847541223 2.29e+11
3600.03/3611.02 c optimization time 0.003525 s
3600.03/3611.02 c total solve time 3571.33 s
3600.03/3611.02 c core-guided solve time 0 s
3600.03/3611.02 c propagation time 1861.03 s
3600.03/3611.02 c conflict analysis time 1254.01 s
3600.03/3611.02 c propagations 1342052790
3600.03/3611.02 c resolve steps 84260297
3600.03/3611.02 c decisions 30080578
3600.03/3611.02 c conflicts 1347500
3600.03/3611.02 c restarts 2557
3600.03/3611.02 c inprocessing phases 49
3600.03/3611.02 c garbage collections 49 ,( 100.00 )
3600.03/3611.02 c input clauses 20282 ,( 99.17 )
3600.03/3611.02 c input cardinalities 169 ,( 0.83 )
3600.03/3611.02 c input general constraints 0 ,( 0.00 )
3600.03/3611.02 c input average constraint length 6.43
3600.03/3611.02 c input average constraint degree 1.97
3600.03/3611.02 c learned clauses 991305 ,( 73.57 )
3600.03/3611.02 c learned cardinalities 44681 ,( 3.32 )
3600.03/3611.02 c learned general constraints 311524 ,( 23.12 )
3600.03/3611.02 c learned average constraint length 747.53
3600.03/3611.02 c learned average constraint degree 21505372.25
3600.03/3611.02 c watched CF 32, 64, 128, Arb: 80979 , 0 , 0 , 0
3600.03/3611.02 c counting CF 32, 64, 128, Arb: 230545 , 0 , 0 , 0
3600.03/3611.02 c watched constraints 80979 ,( 25.99 )
3600.03/3611.02 c counting constraints 230545 ,( 74.01 )
3600.03/3611.02 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1249524146 , 674125886 , 1932459645 ,( 81820886 , 1850638759 )
3600.03/3611.02 c gcd simplifications 784
3600.03/3611.02 c detected cardinalities 6537
3600.03/3611.02 c weakened non-implied lits 373767796
3600.03/3611.02 c weakened non-implying lits 209044
3600.03/3611.02 c original variables 20111
3600.03/3611.02 c clausal propagations 615463767
3600.03/3611.02 c cardinality propagations 496082617
3600.03/3611.02 c watched propagations 4271892
3600.03/3611.02 c counting propagations 213554612
3600.03/3611.02 c watch lookups 77012063939
3600.03/3611.02 c watch backjump lookups 0
3600.03/3611.02 c watch checks 31867172698
3600.03/3611.02 c propagation checks 112474625511
3600.03/3611.02 c constraint additions 4747796410
3600.03/3611.02 c trail pops 1373479900
3600.03/3611.02 c formula constraints 20451
3600.03/3611.02 c learned constraints 1347495
3600.03/3611.02 c bound constraints 0
3600.03/3611.02 c core-guided constraints 0
3600.03/3611.02 c encountered formula constraints 53661627
3600.03/3611.02 c encountered learned constraints 31945098
3600.03/3611.02 c encountered bound constraints 0
3600.03/3611.02 c encountered core-guided constraints 0
3600.03/3611.02 c LP total time 411.934 s
3600.03/3611.02 c LP solve time 407.39 s
3600.03/3611.02 c LP constraints added 20843
3600.03/3611.02 c LP constraints removed 37
3600.03/3611.02 c LP pivots internal 134771
3600.03/3611.02 c LP pivots root 134625
3600.03/3611.02 c LP calls 17
3600.03/3611.02 c LP optimalities 5
3600.03/3611.02 c LP no pivot count 0
3600.03/3611.02 c LP infeasibilities 5
3600.03/3611.02 c LP valid Farkas constraints 5
3600.03/3611.02 c LP learned Farkas constraints 5
3600.03/3611.02 c LP basis resets 0
3600.03/3611.02 c LP cycling count 0
3600.03/3611.02 c LP singular count 0
3600.03/3611.02 c LP no primal count 0
3600.03/3611.02 c LP no farkas count 0
3600.03/3611.02 c LP other issue count 0
3600.03/3611.02 c LP Gomory cuts 5
3600.03/3611.02 c LP learned cuts 387
3600.03/3611.02 c LP deleted cuts 37
3600.03/3611.02 c LP encountered Gomory constraints 583
3600.03/3611.02 c LP encountered Farkas constraints 472
3600.03/3611.02 c LP encountered learned Farkas constraints 12
3600.03/3611.02 c CG auxiliary variables introduced 0
3600.03/3611.02 c CG solutions found 0
3600.03/3611.02 c CG cores constructed 0
3600.03/3611.02 c CG core cardinality constraints returned 0
3600.03/3611.02 c CG unit cores 0
3600.03/3611.02 c CG single cores 0
3600.03/3611.02 c CG blocks removed during cardinality reduction 0
3600.03/3611.02 c CG first core best 0
3600.03/3611.02 c CG decision core best 0
3600.03/3611.02 c CG core reduction tie 0
3600.03/3611.02 c CG core degree average 0.00
3600.03/3611.02 c CG core slack average 0.00
3600.03/3611.02 c CG core upper bound improvements 0
3600.03/3611.02 c STR number of successful calls 0
3600.03/3611.02 c STR number of unsuccessful calls 0
3600.03/3611.02 c STR number of inconclusive calls 0
3600.03/3611.02 c STR number of successful attempts 0
3600.03/3611.02 c STR number of unsuccessful attempts 0
3600.03/3611.02 c STR number of inconclusive attempts 0
3600.03/3611.02 c STR average degree increase per successful call inf
3600.03/3611.02 c STR average degree increase per successful attempt inf
3600.03/3611.02 c STR total number of conflicts for successful attempts 0
3600.03/3611.02 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3611.02 c STR total number of conflicts for inconclusive attempts 0
3600.03/3611.02 c STR average number of conflicts per successful attempt inf
3600.03/3611.02 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3611.02 c STR average number of conflicts per inconclusive attempt inf
3600.03/3611.02 c AVG.sumWPerc 65.82
3600.03/3611.02 c bigint constraints 0
3600.03/3611.02 s UNKNOWN
3600.03/3611.02 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: 63794 MiB (62252 MiB free)
memory of node 1: 64507 MiB (62531 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506762-1751172109/watcher-4506762-1751172109 -o /tmp/evaluation-result-4506762-1751172109/solver-4506762-1751172109 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20071 --watchdog 3760 run-dec-ls.sh HOME/instance-4506762-1751172109.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20417, runsolver pid=20414
[startup+0.100111 s]*
/proc/loadavg: 4.07 4.06 3.86 5/255 20419
/proc/meminfo: memFree=127778580/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=63476 memory=16640 CPUtime=0.09 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 2430 0 0 0 7 2 0 0 20 0 1 0 32890234 64999424 4160 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 15869 4160 1952 1147 0 3296 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67668 KiB
Current children cumulated memory: 19712 KiB
[startup+0.214112 s]*
/proc/loadavg: 4.07 4.06 3.86 5/255 20419
/proc/meminfo: memFree=127778332/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=67980 memory=21400 CPUtime=0.2 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 3733 0 0 0 16 4 0 0 20 0 1 0 32890234 69611520 5350 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 16995 5350 1952 1147 0 4422 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72172 KiB
Current children cumulated memory: 24472 KiB
[startup+0.313955 s]*
/proc/loadavg: 4.07 4.06 3.86 5/255 20419
/proc/meminfo: memFree=127760564/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=93748 memory=42376 CPUtime=0.3 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 7594 0 0 0 24 6 0 0 20 0 1 0 32890234 95997952 10594 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 23437 10594 2240 1147 0 10864 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 97940 KiB
Current children cumulated memory: 45448 KiB
[startup+0.700465 s]
/proc/loadavg: 4.07 4.06 3.86 5/255 20419
/proc/meminfo: memFree=127736496/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=114396 memory=59096 CPUtime=0.67 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 11975 0 0 0 59 8 0 0 20 0 1 0 32890234 117141504 14774 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 28599 14774 2272 1147 0 16026 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 118588 KiB
Current children cumulated memory: 62168 KiB
[startup+1.50045 s]
/proc/loadavg: 4.07 4.06 3.86 5/255 20419
/proc/meminfo: memFree=127736496/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=114628 memory=60248 CPUtime=1.47 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 12260 0 0 0 139 8 0 0 20 0 1 0 32890234 117379072 15062 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 28657 15062 2272 1147 0 16084 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 118820 KiB
Current children cumulated memory: 63320 KiB
[startup+3.11352 s]
/proc/loadavg: 4.07 4.06 3.86 5/255 20419
/proc/meminfo: memFree=127740340/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=116932 memory=61912 CPUtime=3.08 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 12674 0 0 0 300 8 0 0 20 0 1 0 32890234 119738368 15478 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 29233 15478 2272 1147 0 16660 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121124 KiB
Current children cumulated memory: 64984 KiB
[startup+6.30043 s]
/proc/loadavg: 4.14 4.08 3.87 5/255 20419
/proc/meminfo: memFree=127724472/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=121984 memory=71936 CPUtime=6.26 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 14597 0 0 0 609 17 0 0 20 0 1 0 32890234 124911616 17984 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 30496 17984 2336 1147 0 17923 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 126176 KiB
Current children cumulated memory: 75008 KiB
[startup+12.7005 s]
/proc/loadavg: 4.13 4.08 3.87 5/256 20421
/proc/meminfo: memFree=127729232/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=131384 memory=79616 CPUtime=12.64 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 16541 0 0 0 1232 32 0 0 20 0 1 0 32890234 134537216 19904 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 32846 19904 2336 1147 0 20273 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 135576 KiB
Current children cumulated memory: 82688 KiB
[startup+25.5005 s]
/proc/loadavg: 4.10 4.07 3.87 5/256 20422
/proc/meminfo: memFree=127716552/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=158940 memory=106356 CPUtime=25.4 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 21690 0 0 0 2475 65 0 0 20 0 1 0 32890234 162754560 26589 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 39735 26589 2336 1147 0 27162 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 163132 KiB
Current children cumulated memory: 109428 KiB
[startup+51.1136 s]
/proc/loadavg: 4.15 4.08 3.88 5/256 20422
/proc/meminfo: memFree=127677536/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=187548 memory=129308 CPUtime=50.93 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 26475 0 0 0 4979 114 0 0 20 0 1 0 32890234 192049152 32327 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 46887 32327 2336 1147 0 34314 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 191740 KiB
Current children cumulated memory: 132380 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.07 3.89 5/258 20426
/proc/meminfo: memFree=127620076/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=229748 memory=169848 CPUtime=101.94 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 32543 0 0 0 10005 189 0 0 20 0 1 0 32890234 235261952 42462 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 57437 42462 2336 1147 0 44864 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 233940 KiB
Current children cumulated memory: 172920 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.07 3.91 5/258 20428
/proc/meminfo: memFree=127570416/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=281868 memory=211424 CPUtime=161.75 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 38355 0 0 0 15894 281 0 0 20 0 1 0 32890234 288632832 52856 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 70467 52856 2336 1147 0 57894 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 286060 KiB
Current children cumulated memory: 214496 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.08 3.93 5/258 20430
/proc/meminfo: memFree=127544728/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=303516 memory=233952 CPUtime=221.56 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 43972 0 0 0 21795 361 0 0 20 0 1 0 32890234 310800384 58488 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 75879 58488 2336 1147 0 63306 0
Current children cumulated CPU time: 221.56 s
################
# More data... #
################
/proc/20419/statm: 285207 235061 2368 1147 0 272634 0
Current children cumulated CPU time: 3032.81 s
Current children cumulated vsize: 1145020 KiB
Current children cumulated memory: 943316 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/257 20726
/proc/meminfo: memFree=128299116/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=1142284 memory=947284 CPUtime=3092.63 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 130509 0 0 0 306740 2523 0 0 20 0 1 0 32890234 1169698816 236821 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 285571 236821 2368 1147 0 272998 0
Current children cumulated CPU time: 3092.63 s
Current children cumulated vsize: 1146476 KiB
Current children cumulated memory: 950356 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.14 4.15 5/257 20728
/proc/meminfo: memFree=128244236/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=1142284 memory=958036 CPUtime=3152.44 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 130550 0 0 0 312664 2580 0 0 20 0 1 0 32890234 1169698816 239509 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 285571 239509 2368 1147 0 272998 0
Current children cumulated CPU time: 3152.44 s
Current children cumulated vsize: 1146476 KiB
Current children cumulated memory: 961108 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.12 4.15 5/254 20730
/proc/meminfo: memFree=128143928/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=1147048 memory=962004 CPUtime=3212.28 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 131569 0 0 0 318613 2615 0 0 20 0 1 0 32890234 1174577152 240501 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 286762 240501 2368 1147 0 274189 0
Current children cumulated CPU time: 3212.28 s
Current children cumulated vsize: 1151240 KiB
Current children cumulated memory: 965076 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/252 20732
/proc/meminfo: memFree=128089116/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=1153956 memory=967380 CPUtime=3272.1 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 132914 0 0 0 324565 2645 0 0 20 0 1 0 32890234 1181650944 241845 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 288489 241845 2368 1147 0 275916 0
Current children cumulated CPU time: 3272.1 s
Current children cumulated vsize: 1158148 KiB
Current children cumulated memory: 970452 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/253 20735
/proc/meminfo: memFree=127973420/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=1159272 memory=972116 CPUtime=3331.97 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 134105 0 0 0 330492 2705 0 0 20 0 1 0 32890234 1187094528 243029 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 289818 243029 2368 1147 0 277245 0
Current children cumulated CPU time: 3331.97 s
Current children cumulated vsize: 1163464 KiB
Current children cumulated memory: 975188 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/253 20737
/proc/meminfo: memFree=127887608/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=1159272 memory=972116 CPUtime=3391.82 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 134239 0 0 0 336414 2768 0 0 20 0 1 0 32890234 1187094528 243029 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 289818 243029 2368 1147 0 277245 0
Current children cumulated CPU time: 3391.82 s
Current children cumulated vsize: 1163464 KiB
Current children cumulated memory: 975188 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/255 20743
/proc/meminfo: memFree=127881660/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=1159272 memory=972116 CPUtime=3451.67 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 134432 0 0 0 342366 2801 0 0 20 0 1 0 32890234 1187094528 243029 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 289818 243029 2368 1147 0 277245 0
Current children cumulated CPU time: 3451.67 s
Current children cumulated vsize: 1163464 KiB
Current children cumulated memory: 975188 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/255 20747
/proc/meminfo: memFree=127842240/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=1159912 memory=972628 CPUtime=3511.53 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 134616 0 0 0 348337 2816 0 0 20 0 1 0 32890234 1187749888 243157 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 289978 243157 2368 1147 0 277405 0
Current children cumulated CPU time: 3511.53 s
Current children cumulated vsize: 1164104 KiB
Current children cumulated memory: 975700 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/256 20751
/proc/meminfo: memFree=127780592/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=1163460 memory=975700 CPUtime=3571.39 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 135402 0 0 0 354307 2832 0 0 20 0 1 0 32890234 1191383040 243925 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 290865 243925 2368 1147 0 278292 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 1167652 KiB
Current children cumulated memory: 978772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.04 4.08 4.11 5/256 20753
/proc/meminfo: memFree=127705656/131382120 swapFree=33010684/33010684
[pid=20417] ppid=20414 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/20417/stat : 20417 (run-dec-ls.sh) S 20414 20417 20058 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32890233 4292608 768 18446744073709551615 94776291307520 94776292202053 140730141379216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94776292441104 94776292488848 94776308326400 140730141383015 140730141383141 140730141383141 140730141388743 0
/proc/20417/statm: 1048 768 704 219 0 110 0
[pid=20419] ppid=20417 vsize=1167776 memory=979924 CPUtime=3600.03 cores=5,7
/proc/20419/stat : 20419 (roundingsat) R 20417 20417 20058 0 -1 4194304 136461 0 0 0 357158 2845 0 0 20 0 1 0 32890234 1195802624 244981 18446744073709551615 4227072 8923433 140729916141072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36483072 140729916144032 140729916144168 140729916144168 140729916149738 0
/proc/20419/statm: 291944 244981 2368 1147 0 279371 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1171968 KiB
Current children cumulated memory: 982996 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.02 s]
# the end of solver process 20417 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.0011 s, system=0.004375 s
Sleeping 2 seconds
[startup+3611.03 s]
# the end of solver process 20419 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3571.6 s, system=28.465 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): 3611.03
CPU time (s): 3600.06
CPU user time (s): 3571.6
CPU system time (s): 28.465
CPU usage (%): 99.6963
Max. virtual memory (cumulated for all children) (KiB): 1171968
Max. memory (cumulated for all children) (KiB): 982996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.6
system time used= 28.465
maximum resident set size= 980308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136710
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= 396
involuntary context switches= 3037
# summary of solver processes directly reported to runsolver:
# pid: 20417,20419
# total CPU time (s): 3600.06
# total CPU user time (s): 3571.6
# total CPU system time (s): 28.465
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7707 second user time and 38.3179 second system time
The end
Begin job on nodeC006 at 2025-06-29 06:41:49
IDJOB=4506762
IDBENCH=158263
IDSOLVER=3353
FILE ID=nodeC006/4506762-1751172109
RUNJOBID= nodeC006-1751170846-20071
SLURM_JOB_ID= 9587530
Free space on /tmp= 432940 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K169.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506762-1751172109/watcher-4506762-1751172109 -o /tmp/evaluation-result-4506762-1751172109/solver-4506762-1751172109 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751170846-20071 --watchdog 3760 run-dec-ls.sh HOME/instance-4506762-1751172109.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e3ebae4cd87024085ca08d92094a2c8e
RANDOM SEED=1150127522
nodeC006 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 : 0xb00001f
cpu MHz : 3491.653
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 3491.648
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.537
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 3610.950
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.578
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.491
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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 : 0xb00001f
cpu MHz : 1197.144
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127778580 kB
MemAvailable: 127519208 kB
Buffers: 3280 kB
Cached: 552096 kB
SwapCached: 0 kB
Active: 2761840 kB
Inactive: 304332 kB
Active(anon): 2528756 kB
Inactive(anon): 0 kB
Active(file): 233084 kB
Inactive(file): 304332 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8768 kB
Writeback: 0 kB
AnonPages: 2512056 kB
Mapped: 114584 kB
Shmem: 17960 kB
KReclaimable: 85292 kB
Slab: 164032 kB
SReclaimable: 85292 kB
SUnreclaim: 78740 kB
KernelStack: 4096 kB
PageTables: 8144 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 3062632 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2134016 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC006 at 2025-06-29 07:42:00