0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.08/0.16 c #variables 20111 #constraints 20451
121.13/121.58 c #Conflicts: 1000 | #Constraints: 21450
121.13/121.58 c #Conflicts: 2000 | #Constraints: 22450
121.13/121.58 c INPROCESSING
121.13/121.58 c GARBAGE COLLECT
121.13/121.58 c #Conflicts: 3000 | #Constraints: 21716
121.13/121.58 c #Conflicts: 4000 | #Constraints: 22716
121.13/121.58 c INPROCESSING
121.13/121.58 c GARBAGE COLLECT
121.13/121.58 c #Conflicts: 5000 | #Constraints: 22222
121.13/121.58 c #Conflicts: 6000 | #Constraints: 23222
121.13/121.58 c INPROCESSING
121.13/121.58 c GARBAGE COLLECT
121.13/121.58 c #Conflicts: 7000 | #Constraints: 22321
121.13/121.58 c #Conflicts: 8000 | #Constraints: 23321
121.13/121.58 c #Conflicts: 9000 | #Constraints: 24321
121.13/121.58 c INPROCESSING
121.13/121.58 c GARBAGE COLLECT
121.13/121.58 c #Conflicts: 10000 | #Constraints: 23100
121.13/121.58 c #Conflicts: 11000 | #Constraints: 24100
121.13/121.58 c #Conflicts: 12000 | #Constraints: 25100
121.13/121.58 c #Conflicts: 13000 | #Constraints: 26100
121.13/121.58 c #Conflicts: 14000 | #Constraints: 27100
121.13/121.58 c #Conflicts: 15000 | #Constraints: 28100
121.13/121.58 c #Conflicts: 16000 | #Constraints: 29100
121.13/121.58 c INPROCESSING
121.13/121.58 c GARBAGE COLLECT
121.13/121.58 c #Conflicts: 17000 | #Constraints: 25418
121.13/121.58 c #Conflicts: 18000 | #Constraints: 26418
121.13/121.58 c #Conflicts: 19000 | #Constraints: 27418
121.13/121.58 c #Conflicts: 20000 | #Constraints: 28418
121.13/121.58 c INPROCESSING
121.13/121.58 c GARBAGE COLLECT
121.13/121.58 c #Conflicts: 21000 | #Constraints: 25154
121.13/121.58 c #Conflicts: 22000 | #Constraints: 26154
121.13/121.58 c #Conflicts: 23000 | #Constraints: 27154
121.13/121.58 c #Conflicts: 24000 | #Constraints: 28154
121.13/121.58 c #Conflicts: 25000 | #Constraints: 29154
121.13/121.58 c #Conflicts: 26000 | #Constraints: 30154
121.13/121.58 c #Conflicts: 27000 | #Constraints: 31154
121.13/121.58 c #Conflicts: 28000 | #Constraints: 32154
121.13/121.58 c #Conflicts: 29000 | #Constraints: 33154
121.13/121.58 c #Conflicts: 30000 | #Constraints: 34154
121.13/121.58 c INPROCESSING
121.13/121.58 c GARBAGE COLLECT
121.13/121.58 c #Conflicts: 31000 | #Constraints: 27974
121.13/121.58 c #Conflicts: 32000 | #Constraints: 28974
121.13/121.58 c #Conflicts: 33000 | #Constraints: 29974
121.13/121.58 c #Conflicts: 34000 | #Constraints: 30974
121.13/121.58 c #Conflicts: 35000 | #Constraints: 31974
121.13/121.58 c #Conflicts: 36000 | #Constraints: 32974
121.13/121.58 c INPROCESSING
121.13/121.58 c GARBAGE COLLECT
121.13/121.58 c #Conflicts: 37000 | #Constraints: 28100
121.13/121.58 c #Conflicts: 38000 | #Constraints: 29100
121.13/121.58 c #Conflicts: 39000 | #Constraints: 30100
121.13/121.58 c #Conflicts: 40000 | #Constraints: 31100
121.13/121.58 c #Conflicts: 41000 | #Constraints: 32100
121.13/121.58 c #Conflicts: 42000 | #Constraints: 33100
121.13/121.58 c #Conflicts: 43000 | #Constraints: 34100
121.13/121.58 c #Conflicts: 44000 | #Constraints: 35100
121.13/121.58 c #Conflicts: 45000 | #Constraints: 36100
121.13/121.58 c #Conflicts: 46000 | #Constraints: 37100
121.13/121.58 c #Conflicts: 47000 | #Constraints: 38100
121.13/121.58 c #Conflicts: 48000 | #Constraints: 39100
121.13/121.58 c #Conflicts: 49000 | #Constraints: 40100
121.13/121.58 c INPROCESSING
121.13/121.58 c GARBAGE COLLECT
121.13/121.58 c #Conflicts: 50000 | #Constraints: 31214
121.13/121.58 c #Conflicts: 51000 | #Constraints: 32214
121.13/121.58 c #Conflicts: 52000 | #Constraints: 33214
121.13/121.58 c #Conflicts: 53000 | #Constraints: 34214
121.13/121.58 c #Conflicts: 54000 | #Constraints: 35214
121.13/121.58 c #Conflicts: 55000 | #Constraints: 36214
121.13/121.58 c #Conflicts: 56000 | #Constraints: 37214
121.13/121.58 c INPROCESSING
121.13/121.58 c GARBAGE COLLECT
121.13/121.58 c #Conflicts: 57000 | #Constraints: 30712
121.13/121.58 c #Conflicts: 58000 | #Constraints: 31712
121.13/121.58 c #Conflicts: 59000 | #Constraints: 32712
121.13/121.58 c #Conflicts: 60000 | #Constraints: 33712
121.13/121.58 c #Conflicts: 61000 | #Constraints: 34712
121.13/121.58 c #Conflicts: 62000 | #Constraints: 35712
121.13/121.58 c #Conflicts: 63000 | #Constraints: 36712
121.13/121.58 c #Conflicts: 64000 | #Constraints: 37712
121.13/121.58 c #Conflicts: 65000 | #Constraints: 38712
121.13/121.58 c #Conflicts: 66000 | #Constraints: 39712
121.13/121.58 c #Conflicts: 67000 | #Constraints: 40712
121.13/121.58 c #Conflicts: 68000 | #Constraints: 41712
121.13/121.58 c #Conflicts: 69000 | #Constraints: 42712
121.13/121.58 c #Conflicts: 70000 | #Constraints: 43712
121.13/121.58 c #Conflicts: 71000 | #Constraints: 44712
121.13/121.58 c #Conflicts: 72000 | #Constraints: 45712
121.13/121.58 c INPROCESSING
121.13/121.58 c GARBAGE COLLECT
249.87/250.61 c #Conflicts: 73000 | #Constraints: 34040
249.87/250.61 c #Conflicts: 74000 | #Constraints: 35040
249.87/250.61 c #Conflicts: 75000 | #Constraints: 36040
249.87/250.61 c #Conflicts: 76000 | #Constraints: 37040
249.87/250.61 c #Conflicts: 77000 | #Constraints: 38040
249.87/250.61 c #Conflicts: 78000 | #Constraints: 39040
249.87/250.61 c #Conflicts: 79000 | #Constraints: 40040
249.87/250.61 c #Conflicts: 80000 | #Constraints: 41040
249.87/250.61 c INPROCESSING
249.87/250.61 c GARBAGE COLLECT
249.87/250.61 c #Conflicts: 81000 | #Constraints: 33023
249.87/250.61 c #Conflicts: 82000 | #Constraints: 34023
249.87/250.61 c #Conflicts: 83000 | #Constraints: 35023
249.87/250.61 c #Conflicts: 84000 | #Constraints: 36023
249.87/250.61 c #Conflicts: 85000 | #Constraints: 37023
249.87/250.61 c #Conflicts: 86000 | #Constraints: 38023
249.87/250.61 c #Conflicts: 87000 | #Constraints: 39023
249.87/250.61 c #Conflicts: 88000 | #Constraints: 40023
249.87/250.61 c #Conflicts: 89000 | #Constraints: 41023
249.87/250.61 c #Conflicts: 90000 | #Constraints: 42023
249.87/250.61 c #Conflicts: 91000 | #Constraints: 43023
249.87/250.61 c #Conflicts: 92000 | #Constraints: 44023
249.87/250.61 c #Conflicts: 93000 | #Constraints: 45023
249.87/250.61 c #Conflicts: 94000 | #Constraints: 46023
249.87/250.61 c #Conflicts: 95000 | #Constraints: 47023
249.87/250.61 c #Conflicts: 96000 | #Constraints: 48023
249.87/250.61 c #Conflicts: 97000 | #Constraints: 49023
249.87/250.61 c #Conflicts: 98000 | #Constraints: 50023
249.87/250.61 c #Conflicts: 99000 | #Constraints: 51023
249.87/250.61 c #Conflicts: 100000 | #Constraints: 52023
249.87/250.61 c INPROCESSING
249.87/250.61 c GARBAGE COLLECT
249.87/250.61 c #Conflicts: 101000 | #Constraints: 37483
249.87/250.61 c #Conflicts: 102000 | #Constraints: 38483
249.87/250.61 c #Conflicts: 103000 | #Constraints: 39483
249.87/250.61 c #Conflicts: 104000 | #Constraints: 40483
249.87/250.61 c #Conflicts: 105000 | #Constraints: 41483
249.87/250.61 c #Conflicts: 106000 | #Constraints: 42483
249.87/250.61 c #Conflicts: 107000 | #Constraints: 43483
249.87/250.61 c #Conflicts: 108000 | #Constraints: 44483
249.87/250.61 c #Conflicts: 109000 | #Constraints: 45483
249.87/250.61 c INPROCESSING
249.87/250.61 c GARBAGE COLLECT
249.87/250.61 c #Conflicts: 110000 | #Constraints: 35927
249.87/250.61 c #Conflicts: 111000 | #Constraints: 36927
249.87/250.61 c #Conflicts: 112000 | #Constraints: 37927
249.87/250.61 c #Conflicts: 113000 | #Constraints: 38927
249.87/250.61 c #Conflicts: 114000 | #Constraints: 39927
249.87/250.61 c #Conflicts: 115000 | #Constraints: 40927
249.87/250.61 c #Conflicts: 116000 | #Constraints: 41927
249.87/250.61 c #Conflicts: 117000 | #Constraints: 42927
249.87/250.61 c #Conflicts: 118000 | #Constraints: 43927
249.87/250.61 c #Conflicts: 119000 | #Constraints: 44927
249.87/250.61 c #Conflicts: 120000 | #Constraints: 45927
249.87/250.61 c #Conflicts: 121000 | #Constraints: 46927
249.87/250.61 c #Conflicts: 122000 | #Constraints: 47927
249.87/250.61 c #Conflicts: 123000 | #Constraints: 48927
249.87/250.61 c #Conflicts: 124000 | #Constraints: 49927
249.87/250.61 c #Conflicts: 125000 | #Constraints: 50927
249.87/250.61 c #Conflicts: 126000 | #Constraints: 51927
249.87/250.61 c #Conflicts: 127000 | #Constraints: 52927
249.87/250.61 c #Conflicts: 128000 | #Constraints: 53927
249.87/250.61 c #Conflicts: 129000 | #Constraints: 54927
249.87/250.61 c #Conflicts: 130000 | #Constraints: 55927
249.87/250.61 c #Conflicts: 131000 | #Constraints: 56927
249.87/250.61 c #Conflicts: 132000 | #Constraints: 57927
249.87/250.61 c INPROCESSING
249.87/250.61 c GARBAGE COLLECT
249.87/250.61 c #Conflicts: 133000 | #Constraints: 40680
249.87/250.61 c #Conflicts: 134000 | #Constraints: 41680
249.87/250.61 c #Conflicts: 135000 | #Constraints: 42680
249.87/250.61 c #Conflicts: 136000 | #Constraints: 43680
249.87/250.61 c #Conflicts: 137000 | #Constraints: 44680
249.87/250.61 c #Conflicts: 138000 | #Constraints: 45680
249.87/250.61 c #Conflicts: 139000 | #Constraints: 46680
249.87/250.61 c #Conflicts: 140000 | #Constraints: 47680
249.87/250.61 c #Conflicts: 141000 | #Constraints: 48680
249.87/250.61 c #Conflicts: 142000 | #Constraints: 49680
249.87/250.61 c INPROCESSING
249.87/250.61 c GARBAGE COLLECT
249.87/250.61 c #Conflicts: 143000 | #Constraints: 38629
249.87/250.61 c #Conflicts: 144000 | #Constraints: 39629
249.87/250.61 c #Conflicts: 145000 | #Constraints: 40629
249.87/250.61 c #Conflicts: 146000 | #Constraints: 41629
249.87/250.61 c #Conflicts: 147000 | #Constraints: 42629
249.87/250.61 c #Conflicts: 148000 | #Constraints: 43629
382.62/383.87 c #Conflicts: 149000 | #Constraints: 44629
382.62/383.87 c #Conflicts: 150000 | #Constraints: 45629
382.62/383.87 c #Conflicts: 151000 | #Constraints: 46629
382.62/383.87 c #Conflicts: 152000 | #Constraints: 47629
382.62/383.87 c #Conflicts: 153000 | #Constraints: 48629
382.62/383.87 c #Conflicts: 154000 | #Constraints: 49629
382.62/383.87 c #Conflicts: 155000 | #Constraints: 50629
382.62/383.87 c #Conflicts: 156000 | #Constraints: 51629
382.62/383.87 c #Conflicts: 157000 | #Constraints: 52629
382.62/383.87 c #Conflicts: 158000 | #Constraints: 53629
382.62/383.87 c #Conflicts: 159000 | #Constraints: 54629
382.62/383.87 c #Conflicts: 160000 | #Constraints: 55629
382.62/383.87 c #Conflicts: 161000 | #Constraints: 56629
382.62/383.87 c #Conflicts: 162000 | #Constraints: 57629
382.62/383.87 c #Conflicts: 163000 | #Constraints: 58629
382.62/383.87 c #Conflicts: 164000 | #Constraints: 59629
382.62/383.87 c #Conflicts: 165000 | #Constraints: 60629
382.62/383.87 c #Conflicts: 166000 | #Constraints: 61629
382.62/383.87 c #Conflicts: 167000 | #Constraints: 62629
382.62/383.87 c #Conflicts: 168000 | #Constraints: 63629
382.62/383.87 c INPROCESSING
382.62/383.87 c GARBAGE COLLECT
382.62/383.87 c #Conflicts: 169000 | #Constraints: 43459
382.62/383.87 c #Conflicts: 170000 | #Constraints: 44459
382.62/383.87 c #Conflicts: 171000 | #Constraints: 45459
382.62/383.87 c #Conflicts: 172000 | #Constraints: 46459
382.62/383.87 c #Conflicts: 173000 | #Constraints: 47459
382.62/383.87 c #Conflicts: 174000 | #Constraints: 48459
382.62/383.87 c #Conflicts: 175000 | #Constraints: 49459
382.62/383.87 c #Conflicts: 176000 | #Constraints: 50459
382.62/383.87 c #Conflicts: 177000 | #Constraints: 51459
382.62/383.87 c #Conflicts: 178000 | #Constraints: 52459
382.62/383.87 c #Conflicts: 179000 | #Constraints: 53459
382.62/383.87 c #Conflicts: 180000 | #Constraints: 54459
382.62/383.87 c INPROCESSING
382.62/383.87 c GARBAGE COLLECT
382.62/383.87 c #Conflicts: 181000 | #Constraints: 42046
382.62/383.87 c #Conflicts: 182000 | #Constraints: 43046
382.62/383.87 c #Conflicts: 183000 | #Constraints: 44046
382.62/383.87 c #Conflicts: 184000 | #Constraints: 45046
382.62/383.87 c #Conflicts: 185000 | #Constraints: 46046
382.62/383.87 c #Conflicts: 186000 | #Constraints: 47046
382.62/383.87 c #Conflicts: 187000 | #Constraints: 48046
382.62/383.87 c #Conflicts: 188000 | #Constraints: 49046
382.62/383.87 c #Conflicts: 189000 | #Constraints: 50046
382.62/383.87 c #Conflicts: 190000 | #Constraints: 51046
382.62/383.87 c #Conflicts: 191000 | #Constraints: 52046
382.62/383.87 c #Conflicts: 192000 | #Constraints: 53046
382.62/383.87 c #Conflicts: 193000 | #Constraints: 54046
382.62/383.87 c #Conflicts: 194000 | #Constraints: 55046
382.62/383.87 c #Conflicts: 195000 | #Constraints: 56046
382.62/383.87 c #Conflicts: 196000 | #Constraints: 57046
382.62/383.87 c #Conflicts: 197000 | #Constraints: 58046
382.62/383.87 c #Conflicts: 198000 | #Constraints: 59046
382.62/383.87 c #Conflicts: 199000 | #Constraints: 60046
382.62/383.87 c #Conflicts: 200000 | #Constraints: 61046
382.62/383.87 c #Conflicts: 201000 | #Constraints: 62046
382.62/383.87 c #Conflicts: 202000 | #Constraints: 63046
382.62/383.87 c #Conflicts: 203000 | #Constraints: 64046
382.62/383.87 c #Conflicts: 204000 | #Constraints: 65046
382.62/383.87 c #Conflicts: 205000 | #Constraints: 66046
382.62/383.87 c #Conflicts: 206000 | #Constraints: 67046
382.62/383.87 c #Conflicts: 207000 | #Constraints: 68046
382.62/383.87 c #Conflicts: 208000 | #Constraints: 69046
382.62/383.87 c #Conflicts: 209000 | #Constraints: 70046
382.62/383.87 c INPROCESSING
382.62/383.87 c GARBAGE COLLECT
382.62/383.87 c #Conflicts: 210000 | #Constraints: 46927
382.62/383.87 c #Conflicts: 211000 | #Constraints: 47927
382.62/383.87 c #Conflicts: 212000 | #Constraints: 48927
382.62/383.87 c #Conflicts: 213000 | #Constraints: 49927
382.62/383.87 c #Conflicts: 214000 | #Constraints: 50927
382.62/383.87 c #Conflicts: 215000 | #Constraints: 51927
382.62/383.87 c #Conflicts: 216000 | #Constraints: 52927
382.62/383.87 c #Conflicts: 217000 | #Constraints: 53927
382.62/383.87 c #Conflicts: 218000 | #Constraints: 54927
382.62/383.87 c #Conflicts: 219000 | #Constraints: 55927
382.62/383.87 c #Conflicts: 220000 | #Constraints: 56927
382.62/383.87 c #Conflicts: 221000 | #Constraints: 57927
382.62/383.87 c #Conflicts: 222000 | #Constraints: 58927
382.62/383.87 c INPROCESSING
382.62/383.87 c GARBAGE COLLECT
382.62/383.87 c rational objective 169
623.05/625.14 c #Conflicts: 223000 | #Constraints: 44041
623.05/625.14 c #Conflicts: 224000 | #Constraints: 45041
623.05/625.14 c #Conflicts: 225000 | #Constraints: 46041
623.05/625.14 c #Conflicts: 226000 | #Constraints: 47041
623.05/625.14 c #Conflicts: 227000 | #Constraints: 48041
623.05/625.14 c #Conflicts: 228000 | #Constraints: 49042
623.05/625.14 c #Conflicts: 229000 | #Constraints: 50042
623.05/625.14 c #Conflicts: 230000 | #Constraints: 51042
623.05/625.14 c #Conflicts: 231000 | #Constraints: 52042
623.05/625.14 c #Conflicts: 232000 | #Constraints: 53042
623.05/625.14 c #Conflicts: 233000 | #Constraints: 54042
623.05/625.14 c #Conflicts: 234000 | #Constraints: 55042
623.05/625.14 c #Conflicts: 235000 | #Constraints: 56042
623.05/625.14 c #Conflicts: 236000 | #Constraints: 57042
623.05/625.14 c #Conflicts: 237000 | #Constraints: 58042
623.05/625.14 c #Conflicts: 238000 | #Constraints: 59042
623.05/625.14 c #Conflicts: 239000 | #Constraints: 60042
623.05/625.14 c #Conflicts: 240000 | #Constraints: 61042
623.05/625.14 c #Conflicts: 241000 | #Constraints: 62042
623.05/625.14 c #Conflicts: 242000 | #Constraints: 63042
623.05/625.14 c #Conflicts: 243000 | #Constraints: 64042
623.05/625.14 c #Conflicts: 244000 | #Constraints: 65042
623.05/625.14 c #Conflicts: 245000 | #Constraints: 66042
623.05/625.14 c #Conflicts: 246000 | #Constraints: 67042
623.05/625.14 c #Conflicts: 247000 | #Constraints: 68042
623.05/625.14 c #Conflicts: 248000 | #Constraints: 69042
623.05/625.14 c #Conflicts: 249000 | #Constraints: 70042
623.05/625.14 c #Conflicts: 250000 | #Constraints: 71042
623.05/625.14 c #Conflicts: 251000 | #Constraints: 72042
623.05/625.14 c #Conflicts: 252000 | #Constraints: 73042
623.05/625.14 c #Conflicts: 253000 | #Constraints: 74042
623.05/625.14 c #Conflicts: 254000 | #Constraints: 75042
623.05/625.14 c INPROCESSING
623.05/625.14 c GARBAGE COLLECT
623.05/625.14 c #Conflicts: 255000 | #Constraints: 49398
623.05/625.14 c #Conflicts: 256000 | #Constraints: 50398
623.05/625.14 c #Conflicts: 257000 | #Constraints: 51398
623.05/625.14 c #Conflicts: 258000 | #Constraints: 52398
623.05/625.14 c #Conflicts: 259000 | #Constraints: 53398
623.05/625.14 c #Conflicts: 260000 | #Constraints: 54398
623.05/625.14 c #Conflicts: 261000 | #Constraints: 55398
623.05/625.14 c #Conflicts: 262000 | #Constraints: 56398
623.05/625.14 c #Conflicts: 263000 | #Constraints: 57398
623.05/625.14 c #Conflicts: 264000 | #Constraints: 58398
623.05/625.14 c #Conflicts: 265000 | #Constraints: 59398
623.05/625.14 c #Conflicts: 266000 | #Constraints: 60398
623.05/625.14 c #Conflicts: 267000 | #Constraints: 61398
623.05/625.14 c #Conflicts: 268000 | #Constraints: 62398
623.05/625.14 c INPROCESSING
623.05/625.14 c GARBAGE COLLECT
623.05/625.14 c #Conflicts: 269000 | #Constraints: 46451
623.05/625.14 c #Conflicts: 270000 | #Constraints: 47451
623.05/625.14 c #Conflicts: 271000 | #Constraints: 48451
623.05/625.14 c #Conflicts: 272000 | #Constraints: 49451
623.05/625.14 c #Conflicts: 273000 | #Constraints: 50451
623.05/625.14 c #Conflicts: 274000 | #Constraints: 51451
623.05/625.14 c #Conflicts: 275000 | #Constraints: 52451
623.05/625.14 c #Conflicts: 276000 | #Constraints: 53451
623.05/625.14 c #Conflicts: 277000 | #Constraints: 54451
623.05/625.14 c #Conflicts: 278000 | #Constraints: 55451
623.05/625.14 c #Conflicts: 279000 | #Constraints: 56451
623.05/625.14 c #Conflicts: 280000 | #Constraints: 57451
623.05/625.14 c #Conflicts: 281000 | #Constraints: 58451
623.05/625.14 c #Conflicts: 282000 | #Constraints: 59451
623.05/625.14 c #Conflicts: 283000 | #Constraints: 60451
623.05/625.14 c #Conflicts: 284000 | #Constraints: 61451
623.05/625.14 c #Conflicts: 285000 | #Constraints: 62451
623.05/625.14 c #Conflicts: 286000 | #Constraints: 63451
623.05/625.14 c #Conflicts: 287000 | #Constraints: 64451
623.05/625.14 c #Conflicts: 288000 | #Constraints: 65451
623.05/625.14 c #Conflicts: 289000 | #Constraints: 66451
623.05/625.14 c #Conflicts: 290000 | #Constraints: 67451
623.05/625.14 c #Conflicts: 291000 | #Constraints: 68451
623.05/625.14 c #Conflicts: 292000 | #Constraints: 69451
623.05/625.14 c #Conflicts: 293000 | #Constraints: 70451
623.05/625.14 c #Conflicts: 294000 | #Constraints: 71451
623.05/625.14 c #Conflicts: 295000 | #Constraints: 72451
623.05/625.14 c #Conflicts: 296000 | #Constraints: 73451
623.05/625.14 c #Conflicts: 297000 | #Constraints: 74451
623.05/625.14 c #Conflicts: 298000 | #Constraints: 75451
623.05/625.14 c #Conflicts: 299000 | #Constraints: 76451
623.05/625.14 c #Conflicts: 300000 | #Constraints: 77451
803.82/806.54 c #Conflicts: 301000 | #Constraints: 78451
803.82/806.54 c #Conflicts: 302000 | #Constraints: 79451
803.82/806.54 c #Conflicts: 303000 | #Constraints: 80451
803.82/806.54 c INPROCESSING
803.82/806.54 c GARBAGE COLLECT
803.82/806.54 c #Conflicts: 304000 | #Constraints: 52023
803.82/806.54 c #Conflicts: 305000 | #Constraints: 53023
803.82/806.54 c #Conflicts: 306000 | #Constraints: 54023
803.82/806.54 c #Conflicts: 307000 | #Constraints: 55023
803.82/806.54 c #Conflicts: 308000 | #Constraints: 56023
803.82/806.54 c #Conflicts: 309000 | #Constraints: 57023
803.82/806.54 c #Conflicts: 310000 | #Constraints: 58023
803.82/806.54 c #Conflicts: 311000 | #Constraints: 59023
803.82/806.54 c #Conflicts: 312000 | #Constraints: 60023
803.82/806.54 c #Conflicts: 313000 | #Constraints: 61023
803.82/806.54 c #Conflicts: 314000 | #Constraints: 62023
803.82/806.54 c #Conflicts: 315000 | #Constraints: 63023
803.82/806.54 c #Conflicts: 316000 | #Constraints: 64023
803.82/806.54 c #Conflicts: 317000 | #Constraints: 65023
803.82/806.54 c #Conflicts: 318000 | #Constraints: 66023
803.82/806.54 c #Conflicts: 319000 | #Constraints: 67023
803.82/806.54 c INPROCESSING
803.82/806.54 c GARBAGE COLLECT
803.82/806.54 c #Conflicts: 320000 | #Constraints: 49497
803.82/806.54 c #Conflicts: 321000 | #Constraints: 50497
803.82/806.54 c #Conflicts: 322000 | #Constraints: 51497
803.82/806.54 c #Conflicts: 323000 | #Constraints: 52497
803.82/806.54 c #Conflicts: 324000 | #Constraints: 53497
803.82/806.54 c #Conflicts: 325000 | #Constraints: 54497
803.82/806.54 c #Conflicts: 326000 | #Constraints: 55497
803.82/806.54 c #Conflicts: 327000 | #Constraints: 56497
803.82/806.54 c #Conflicts: 328000 | #Constraints: 57497
803.82/806.54 c #Conflicts: 329000 | #Constraints: 58497
803.82/806.54 c #Conflicts: 330000 | #Constraints: 59497
803.82/806.54 c #Conflicts: 331000 | #Constraints: 60497
803.82/806.54 c #Conflicts: 332000 | #Constraints: 61497
803.82/806.54 c #Conflicts: 333000 | #Constraints: 62497
803.82/806.54 c #Conflicts: 334000 | #Constraints: 63497
803.82/806.54 c #Conflicts: 335000 | #Constraints: 64497
803.82/806.54 c #Conflicts: 336000 | #Constraints: 65497
803.82/806.54 c #Conflicts: 337000 | #Constraints: 66497
803.82/806.54 c #Conflicts: 338000 | #Constraints: 67497
803.82/806.54 c #Conflicts: 339000 | #Constraints: 68497
803.82/806.54 c #Conflicts: 340000 | #Constraints: 69497
803.82/806.54 c #Conflicts: 341000 | #Constraints: 70497
803.82/806.54 c #Conflicts: 342000 | #Constraints: 71497
803.82/806.54 c #Conflicts: 343000 | #Constraints: 72497
803.82/806.54 c #Conflicts: 344000 | #Constraints: 73497
803.82/806.54 c #Conflicts: 345000 | #Constraints: 74497
803.82/806.54 c #Conflicts: 346000 | #Constraints: 75497
803.82/806.54 c #Conflicts: 347000 | #Constraints: 76497
803.82/806.54 c #Conflicts: 348000 | #Constraints: 77497
803.82/806.54 c #Conflicts: 349000 | #Constraints: 78497
803.82/806.54 c #Conflicts: 350000 | #Constraints: 79497
803.82/806.54 c #Conflicts: 351000 | #Constraints: 80497
803.82/806.54 c #Conflicts: 352000 | #Constraints: 81497
803.82/806.54 c #Conflicts: 353000 | #Constraints: 82497
803.82/806.54 c #Conflicts: 354000 | #Constraints: 83497
803.82/806.54 c #Conflicts: 355000 | #Constraints: 84497
803.82/806.54 c #Conflicts: 356000 | #Constraints: 85497
803.82/806.54 c #Conflicts: 357000 | #Constraints: 86497
803.82/806.54 c INPROCESSING
803.82/806.54 c GARBAGE COLLECT
803.82/806.54 c #Conflicts: 358000 | #Constraints: 54966
803.82/806.54 c #Conflicts: 359000 | #Constraints: 55966
803.82/806.54 c #Conflicts: 360000 | #Constraints: 56966
803.82/806.54 c #Conflicts: 361000 | #Constraints: 57966
803.82/806.54 c #Conflicts: 362000 | #Constraints: 58966
803.82/806.54 c #Conflicts: 363000 | #Constraints: 59966
803.82/806.54 c #Conflicts: 364000 | #Constraints: 60967
803.82/806.54 c #Conflicts: 365000 | #Constraints: 61967
803.82/806.54 c #Conflicts: 366000 | #Constraints: 62967
803.82/806.54 c #Conflicts: 367000 | #Constraints: 63967
803.82/806.54 c #Conflicts: 368000 | #Constraints: 64967
803.82/806.54 c #Conflicts: 369000 | #Constraints: 65967
803.82/806.54 c #Conflicts: 370000 | #Constraints: 66967
803.82/806.54 c #Conflicts: 371000 | #Constraints: 67967
803.82/806.54 c #Conflicts: 372000 | #Constraints: 68967
803.82/806.54 c #Conflicts: 373000 | #Constraints: 69967
803.82/806.54 c #Conflicts: 374000 | #Constraints: 70967
803.82/806.54 c INPROCESSING
803.82/806.54 c GARBAGE COLLECT
803.82/806.54 c #Conflicts: 375000 | #Constraints: 51811
803.82/806.54 c #Conflicts: 376000 | #Constraints: 52811
947.56/950.71 c #Conflicts: 377000 | #Constraints: 53811
947.56/950.71 c #Conflicts: 378000 | #Constraints: 54811
947.56/950.71 c #Conflicts: 379000 | #Constraints: 55811
947.56/950.71 c #Conflicts: 380000 | #Constraints: 56811
947.56/950.71 c #Conflicts: 381000 | #Constraints: 57811
947.56/950.71 c #Conflicts: 382000 | #Constraints: 58811
947.56/950.71 c #Conflicts: 383000 | #Constraints: 59811
947.56/950.71 c #Conflicts: 384000 | #Constraints: 60811
947.56/950.71 c #Conflicts: 385000 | #Constraints: 61811
947.56/950.71 c #Conflicts: 386000 | #Constraints: 62811
947.56/950.71 c #Conflicts: 387000 | #Constraints: 63811
947.56/950.71 c #Conflicts: 388000 | #Constraints: 64811
947.56/950.71 c #Conflicts: 389000 | #Constraints: 65811
947.56/950.71 c #Conflicts: 390000 | #Constraints: 66811
947.56/950.71 c #Conflicts: 391000 | #Constraints: 67811
947.56/950.71 c #Conflicts: 392000 | #Constraints: 68811
947.56/950.71 c #Conflicts: 393000 | #Constraints: 69811
947.56/950.71 c #Conflicts: 394000 | #Constraints: 70811
947.56/950.71 c #Conflicts: 395000 | #Constraints: 71811
947.56/950.71 c #Conflicts: 396000 | #Constraints: 72811
947.56/950.72 c #Conflicts: 397000 | #Constraints: 73811
947.56/950.72 c #Conflicts: 398000 | #Constraints: 74811
947.56/950.72 c #Conflicts: 399000 | #Constraints: 75811
947.56/950.72 c #Conflicts: 400000 | #Constraints: 76811
947.56/950.72 c #Conflicts: 401000 | #Constraints: 77811
947.56/950.72 c #Conflicts: 402000 | #Constraints: 78811
947.56/950.72 c #Conflicts: 403000 | #Constraints: 79811
947.56/950.72 c #Conflicts: 404000 | #Constraints: 80811
947.56/950.72 c #Conflicts: 405000 | #Constraints: 81811
947.56/950.72 c #Conflicts: 406000 | #Constraints: 82811
947.56/950.72 c #Conflicts: 407000 | #Constraints: 83811
947.56/950.72 c #Conflicts: 408000 | #Constraints: 84811
947.56/950.72 c #Conflicts: 409000 | #Constraints: 85811
947.56/950.72 c #Conflicts: 410000 | #Constraints: 86811
947.56/950.72 c #Conflicts: 411000 | #Constraints: 87811
947.56/950.72 c #Conflicts: 412000 | #Constraints: 88811
947.56/950.72 c #Conflicts: 413000 | #Constraints: 89811
947.56/950.72 c #Conflicts: 414000 | #Constraints: 90811
947.56/950.72 c #Conflicts: 415000 | #Constraints: 91811
947.56/950.72 c INPROCESSING
947.56/950.72 c GARBAGE COLLECT
947.56/950.72 c #Conflicts: 416000 | #Constraints: 57609
947.56/950.72 c #Conflicts: 417000 | #Constraints: 58609
947.56/950.72 c #Conflicts: 418000 | #Constraints: 59609
947.56/950.72 c #Conflicts: 419000 | #Constraints: 60609
947.56/950.72 c #Conflicts: 420000 | #Constraints: 61609
947.56/950.72 c #Conflicts: 421000 | #Constraints: 62609
947.56/950.72 c #Conflicts: 422000 | #Constraints: 63609
947.56/950.72 c #Conflicts: 423000 | #Constraints: 64609
947.56/950.72 c #Conflicts: 424000 | #Constraints: 65609
947.56/950.72 c #Conflicts: 425000 | #Constraints: 66609
947.56/950.72 c #Conflicts: 426000 | #Constraints: 67609
947.56/950.72 c #Conflicts: 427000 | #Constraints: 68609
947.56/950.72 c #Conflicts: 428000 | #Constraints: 69609
947.56/950.72 c #Conflicts: 429000 | #Constraints: 70609
947.56/950.72 c #Conflicts: 430000 | #Constraints: 71609
947.56/950.72 c #Conflicts: 431000 | #Constraints: 72609
947.56/950.72 c #Conflicts: 432000 | #Constraints: 73609
947.56/950.72 c #Conflicts: 433000 | #Constraints: 74609
947.56/950.72 c #Conflicts: 434000 | #Constraints: 75609
947.56/950.72 c INPROCESSING
947.56/950.72 c GARBAGE COLLECT
947.56/950.72 c #Conflicts: 435000 | #Constraints: 54886
947.56/950.72 c #Conflicts: 436000 | #Constraints: 55886
947.56/950.72 c #Conflicts: 437000 | #Constraints: 56886
947.56/950.72 c #Conflicts: 438000 | #Constraints: 57886
947.56/950.72 c #Conflicts: 439000 | #Constraints: 58886
947.56/950.72 c #Conflicts: 440000 | #Constraints: 59886
947.56/950.72 c #Conflicts: 441000 | #Constraints: 60886
947.56/950.72 c #Conflicts: 442000 | #Constraints: 61886
947.56/950.72 c #Conflicts: 443000 | #Constraints: 62886
947.56/950.72 c #Conflicts: 444000 | #Constraints: 63886
947.56/950.72 c #Conflicts: 445000 | #Constraints: 64886
947.56/950.72 c #Conflicts: 446000 | #Constraints: 65886
947.56/950.72 c #Conflicts: 447000 | #Constraints: 66886
947.56/950.72 c #Conflicts: 448000 | #Constraints: 67886
947.56/950.72 c #Conflicts: 449000 | #Constraints: 68886
947.56/950.72 c #Conflicts: 450000 | #Constraints: 69886
947.56/950.72 c #Conflicts: 451000 | #Constraints: 70886
947.56/950.72 c #Conflicts: 452000 | #Constraints: 71886
947.56/950.72 c #Conflicts: 453000 | #Constraints: 72886
947.56/950.72 c #Conflicts: 454000 | #Constraints: 73886
1131.43/1135.13 c #Conflicts: 455000 | #Constraints: 74886
1131.43/1135.13 c #Conflicts: 456000 | #Constraints: 75886
1131.43/1135.13 c #Conflicts: 457000 | #Constraints: 76886
1131.43/1135.13 c #Conflicts: 458000 | #Constraints: 77886
1131.43/1135.13 c #Conflicts: 459000 | #Constraints: 78886
1131.43/1135.13 c #Conflicts: 460000 | #Constraints: 79886
1131.43/1135.13 c #Conflicts: 461000 | #Constraints: 80886
1131.43/1135.13 c #Conflicts: 462000 | #Constraints: 81886
1131.43/1135.13 c #Conflicts: 463000 | #Constraints: 82886
1131.43/1135.13 c #Conflicts: 464000 | #Constraints: 83886
1131.43/1135.13 c #Conflicts: 465000 | #Constraints: 84886
1131.43/1135.13 c #Conflicts: 466000 | #Constraints: 85886
1131.43/1135.13 c #Conflicts: 467000 | #Constraints: 86886
1131.43/1135.13 c #Conflicts: 468000 | #Constraints: 87886
1131.43/1135.13 c #Conflicts: 469000 | #Constraints: 88886
1131.43/1135.13 c #Conflicts: 470000 | #Constraints: 89886
1131.43/1135.13 c #Conflicts: 471000 | #Constraints: 90886
1131.43/1135.13 c #Conflicts: 472000 | #Constraints: 91886
1131.43/1135.13 c #Conflicts: 473000 | #Constraints: 92886
1131.43/1135.13 c #Conflicts: 474000 | #Constraints: 93886
1131.43/1135.13 c #Conflicts: 475000 | #Constraints: 94886
1131.43/1135.13 c #Conflicts: 476000 | #Constraints: 95886
1131.43/1135.13 c #Conflicts: 477000 | #Constraints: 96886
1131.43/1135.13 c #Conflicts: 478000 | #Constraints: 97886
1131.43/1135.13 c INPROCESSING
1131.43/1135.13 c GARBAGE COLLECT
1131.43/1135.13 c #Conflicts: 479000 | #Constraints: 61013
1131.43/1135.13 c #Conflicts: 480000 | #Constraints: 62013
1131.43/1135.13 c #Conflicts: 481000 | #Constraints: 63013
1131.43/1135.13 c #Conflicts: 482000 | #Constraints: 64013
1131.43/1135.13 c #Conflicts: 483000 | #Constraints: 65013
1131.43/1135.13 c #Conflicts: 484000 | #Constraints: 66013
1131.43/1135.13 c #Conflicts: 485000 | #Constraints: 67013
1131.43/1135.13 c #Conflicts: 486000 | #Constraints: 68013
1131.43/1135.13 c #Conflicts: 487000 | #Constraints: 69013
1131.43/1135.13 c #Conflicts: 488000 | #Constraints: 70013
1131.43/1135.13 c #Conflicts: 489000 | #Constraints: 71013
1131.43/1135.13 c #Conflicts: 490000 | #Constraints: 72013
1131.43/1135.13 c #Conflicts: 491000 | #Constraints: 73013
1131.43/1135.13 c #Conflicts: 492000 | #Constraints: 74013
1131.43/1135.13 c #Conflicts: 493000 | #Constraints: 75013
1131.43/1135.13 c #Conflicts: 494000 | #Constraints: 76013
1131.43/1135.13 c #Conflicts: 495000 | #Constraints: 77013
1131.43/1135.13 c #Conflicts: 496000 | #Constraints: 78013
1131.43/1135.13 c #Conflicts: 497000 | #Constraints: 79013
1131.43/1135.13 c #Conflicts: 498000 | #Constraints: 80013
1131.43/1135.13 c INPROCESSING
1131.43/1135.13 c GARBAGE COLLECT
1131.43/1135.13 c #Conflicts: 499000 | #Constraints: 56968
1131.43/1135.13 c #Conflicts: 500000 | #Constraints: 57968
1131.43/1135.13 c #Conflicts: 501000 | #Constraints: 58968
1131.43/1135.13 c #Conflicts: 502000 | #Constraints: 59968
1131.43/1135.13 c #Conflicts: 503000 | #Constraints: 60968
1131.43/1135.13 c #Conflicts: 504000 | #Constraints: 61968
1131.43/1135.13 c #Conflicts: 505000 | #Constraints: 62968
1131.43/1135.13 c #Conflicts: 506000 | #Constraints: 63968
1131.43/1135.13 c #Conflicts: 507000 | #Constraints: 64968
1131.43/1135.13 c #Conflicts: 508000 | #Constraints: 65968
1131.43/1135.13 c #Conflicts: 509000 | #Constraints: 66968
1131.43/1135.13 c #Conflicts: 510000 | #Constraints: 67968
1131.43/1135.13 c #Conflicts: 511000 | #Constraints: 68968
1131.43/1135.13 c #Conflicts: 512000 | #Constraints: 69968
1131.43/1135.13 c #Conflicts: 513000 | #Constraints: 70968
1131.43/1135.13 c #Conflicts: 514000 | #Constraints: 71968
1131.43/1135.13 c #Conflicts: 515000 | #Constraints: 72968
1131.43/1135.13 c #Conflicts: 516000 | #Constraints: 73968
1131.43/1135.13 c #Conflicts: 517000 | #Constraints: 74968
1131.43/1135.13 c #Conflicts: 518000 | #Constraints: 75968
1131.43/1135.13 c #Conflicts: 519000 | #Constraints: 76969
1131.43/1135.13 c #Conflicts: 520000 | #Constraints: 77969
1131.43/1135.13 c #Conflicts: 521000 | #Constraints: 78969
1131.43/1135.13 c #Conflicts: 522000 | #Constraints: 79969
1131.43/1135.13 c #Conflicts: 523000 | #Constraints: 80969
1131.43/1135.13 c #Conflicts: 524000 | #Constraints: 81969
1131.43/1135.13 c #Conflicts: 525000 | #Constraints: 82969
1131.43/1135.13 c #Conflicts: 526000 | #Constraints: 83969
1131.43/1135.13 c #Conflicts: 527000 | #Constraints: 84969
1131.43/1135.13 c #Conflicts: 528000 | #Constraints: 85969
1131.43/1135.13 c #Conflicts: 529000 | #Constraints: 86969
1131.43/1135.13 c #Conflicts: 530000 | #Constraints: 87969
1131.43/1135.13 c #Conflicts: 531000 | #Constraints: 88969
1207.42/1211.33 c #Conflicts: 532000 | #Constraints: 89969
1207.42/1211.33 c #Conflicts: 533000 | #Constraints: 90969
1207.42/1211.33 c #Conflicts: 534000 | #Constraints: 91969
1207.42/1211.33 c #Conflicts: 535000 | #Constraints: 92969
1207.42/1211.33 c #Conflicts: 536000 | #Constraints: 93969
1207.42/1211.33 c #Conflicts: 537000 | #Constraints: 94969
1207.42/1211.33 c #Conflicts: 538000 | #Constraints: 95969
1207.42/1211.33 c #Conflicts: 539000 | #Constraints: 96969
1207.42/1211.33 c #Conflicts: 540000 | #Constraints: 97969
1207.42/1211.33 c #Conflicts: 541000 | #Constraints: 98969
1207.42/1211.33 c #Conflicts: 542000 | #Constraints: 99969
1207.42/1211.33 c #Conflicts: 543000 | #Constraints: 100969
1207.42/1211.33 c #Conflicts: 544000 | #Constraints: 101969
1207.42/1211.33 c #Conflicts: 545000 | #Constraints: 102969
1207.42/1211.33 c INPROCESSING
1207.42/1211.33 c GARBAGE COLLECT
1207.42/1211.33 c rational objective 169
1385.22/1389.68 c #Conflicts: 546000 | #Constraints: 63519
1385.22/1389.68 c #Conflicts: 547000 | #Constraints: 64519
1385.22/1389.68 c #Conflicts: 548000 | #Constraints: 65519
1385.22/1389.68 c #Conflicts: 549000 | #Constraints: 66519
1385.22/1389.68 c #Conflicts: 550000 | #Constraints: 67519
1385.22/1389.68 c #Conflicts: 551000 | #Constraints: 68519
1385.22/1389.68 c #Conflicts: 552000 | #Constraints: 69519
1385.22/1389.68 c #Conflicts: 553000 | #Constraints: 70519
1385.22/1389.68 c #Conflicts: 554000 | #Constraints: 71519
1385.22/1389.68 c #Conflicts: 555000 | #Constraints: 72519
1385.22/1389.68 c #Conflicts: 556000 | #Constraints: 73519
1385.22/1389.68 c #Conflicts: 557000 | #Constraints: 74519
1385.22/1389.68 c #Conflicts: 558000 | #Constraints: 75519
1385.22/1389.68 c #Conflicts: 559000 | #Constraints: 76519
1385.22/1389.68 c #Conflicts: 560000 | #Constraints: 77519
1385.22/1389.68 c #Conflicts: 561000 | #Constraints: 78519
1385.22/1389.68 c #Conflicts: 562000 | #Constraints: 79519
1385.22/1389.68 c #Conflicts: 563000 | #Constraints: 80519
1385.22/1389.68 c #Conflicts: 564000 | #Constraints: 81519
1385.22/1389.68 c #Conflicts: 565000 | #Constraints: 82519
1385.22/1389.68 c #Conflicts: 566000 | #Constraints: 83519
1385.22/1389.68 c INPROCESSING
1385.22/1389.68 c GARBAGE COLLECT
1385.22/1389.68 c #Conflicts: 567000 | #Constraints: 59503
1385.22/1389.68 c #Conflicts: 568000 | #Constraints: 60503
1385.22/1389.68 c #Conflicts: 569000 | #Constraints: 61503
1385.22/1389.68 c #Conflicts: 570000 | #Constraints: 62503
1385.22/1389.68 c #Conflicts: 571000 | #Constraints: 63503
1385.22/1389.68 c #Conflicts: 572000 | #Constraints: 64503
1385.22/1389.68 c #Conflicts: 573000 | #Constraints: 65503
1385.22/1389.68 c #Conflicts: 574000 | #Constraints: 66503
1385.22/1389.68 c #Conflicts: 575000 | #Constraints: 67503
1385.22/1389.68 c #Conflicts: 576000 | #Constraints: 68503
1385.22/1389.68 c #Conflicts: 577000 | #Constraints: 69503
1385.22/1389.68 c #Conflicts: 578000 | #Constraints: 70503
1385.22/1389.68 c #Conflicts: 579000 | #Constraints: 71503
1385.22/1389.68 c #Conflicts: 580000 | #Constraints: 72503
1385.22/1389.68 c #Conflicts: 581000 | #Constraints: 73503
1385.22/1389.68 c #Conflicts: 582000 | #Constraints: 74503
1385.22/1389.68 c #Conflicts: 583000 | #Constraints: 75503
1385.22/1389.68 c #Conflicts: 584000 | #Constraints: 76503
1385.22/1389.68 c #Conflicts: 585000 | #Constraints: 77503
1385.22/1389.68 c #Conflicts: 586000 | #Constraints: 78503
1385.22/1389.68 c #Conflicts: 587000 | #Constraints: 79503
1385.22/1389.68 c #Conflicts: 588000 | #Constraints: 80503
1385.22/1389.68 c #Conflicts: 589000 | #Constraints: 81503
1385.22/1389.68 c #Conflicts: 590000 | #Constraints: 82503
1385.22/1389.68 c #Conflicts: 591000 | #Constraints: 83503
1385.22/1389.68 c #Conflicts: 592000 | #Constraints: 84503
1385.22/1389.68 c #Conflicts: 593000 | #Constraints: 85503
1385.22/1389.68 c #Conflicts: 594000 | #Constraints: 86503
1385.22/1389.68 c #Conflicts: 595000 | #Constraints: 87503
1385.22/1389.68 c #Conflicts: 596000 | #Constraints: 88503
1385.22/1389.68 c #Conflicts: 597000 | #Constraints: 89503
1385.22/1389.68 c #Conflicts: 598000 | #Constraints: 90503
1385.22/1389.68 c #Conflicts: 599000 | #Constraints: 91503
1385.22/1389.68 c #Conflicts: 600000 | #Constraints: 92503
1385.22/1389.68 c #Conflicts: 601000 | #Constraints: 93503
1385.22/1389.68 c #Conflicts: 602000 | #Constraints: 94503
1385.22/1389.68 c #Conflicts: 603000 | #Constraints: 95503
1385.22/1389.68 c #Conflicts: 604000 | #Constraints: 96503
1385.22/1389.68 c #Conflicts: 605000 | #Constraints: 97503
1385.22/1389.68 c #Conflicts: 606000 | #Constraints: 98503
1385.22/1389.68 c #Conflicts: 607000 | #Constraints: 99503
1385.22/1389.68 c #Conflicts: 608000 | #Constraints: 100503
1385.22/1389.68 c #Conflicts: 609000 | #Constraints: 101503
1385.22/1389.68 c #Conflicts: 610000 | #Constraints: 102503
1385.22/1389.68 c #Conflicts: 611000 | #Constraints: 103503
1385.22/1389.68 c #Conflicts: 612000 | #Constraints: 104503
1385.22/1389.68 c #Conflicts: 613000 | #Constraints: 105503
1385.22/1389.68 c #Conflicts: 614000 | #Constraints: 106503
1385.22/1389.68 c #Conflicts: 615000 | #Constraints: 107503
1385.22/1389.68 c #Conflicts: 616000 | #Constraints: 108503
1385.22/1389.68 c #Conflicts: 617000 | #Constraints: 109503
1385.22/1389.68 c INPROCESSING
1385.22/1389.68 c GARBAGE COLLECT
1385.22/1389.68 c #Conflicts: 618000 | #Constraints: 67150
1385.22/1389.68 c #Conflicts: 619000 | #Constraints: 68150
1385.22/1389.68 c #Conflicts: 620000 | #Constraints: 69150
1385.22/1389.68 c #Conflicts: 621000 | #Constraints: 70150
1385.22/1389.68 c #Conflicts: 622000 | #Constraints: 71150
1385.22/1389.68 c #Conflicts: 623000 | #Constraints: 72150
1591.56/1596.55 c #Conflicts: 624000 | #Constraints: 73150
1591.56/1596.55 c #Conflicts: 625000 | #Constraints: 74150
1591.56/1596.55 c #Conflicts: 626000 | #Constraints: 75150
1591.56/1596.55 c #Conflicts: 627000 | #Constraints: 76150
1591.56/1596.55 c #Conflicts: 628000 | #Constraints: 77150
1591.56/1596.55 c #Conflicts: 629000 | #Constraints: 78150
1591.56/1596.55 c #Conflicts: 630000 | #Constraints: 79150
1591.56/1596.55 c #Conflicts: 631000 | #Constraints: 80150
1591.56/1596.55 c #Conflicts: 632000 | #Constraints: 81150
1591.56/1596.55 c #Conflicts: 633000 | #Constraints: 82150
1591.56/1596.55 c #Conflicts: 634000 | #Constraints: 83150
1591.56/1596.55 c #Conflicts: 635000 | #Constraints: 84150
1591.56/1596.55 c #Conflicts: 636000 | #Constraints: 85150
1591.56/1596.55 c #Conflicts: 637000 | #Constraints: 86150
1591.56/1596.55 c #Conflicts: 638000 | #Constraints: 87150
1591.56/1596.55 c #Conflicts: 639000 | #Constraints: 88150
1591.56/1596.55 c INPROCESSING
1591.56/1596.55 c GARBAGE COLLECT
1591.56/1596.55 c #Conflicts: 640000 | #Constraints: 62463
1591.56/1596.55 c #Conflicts: 641000 | #Constraints: 63463
1591.56/1596.55 c #Conflicts: 642000 | #Constraints: 64463
1591.56/1596.55 c #Conflicts: 643000 | #Constraints: 65463
1591.56/1596.55 c #Conflicts: 644000 | #Constraints: 66463
1591.56/1596.55 c #Conflicts: 645000 | #Constraints: 67463
1591.56/1596.55 c #Conflicts: 646000 | #Constraints: 68463
1591.56/1596.55 c #Conflicts: 647000 | #Constraints: 69463
1591.56/1596.55 c #Conflicts: 648000 | #Constraints: 70463
1591.56/1596.55 c #Conflicts: 649000 | #Constraints: 71463
1591.56/1596.55 c #Conflicts: 650000 | #Constraints: 72463
1591.56/1596.55 c #Conflicts: 651000 | #Constraints: 73463
1591.56/1596.55 c #Conflicts: 652000 | #Constraints: 74463
1591.56/1596.55 c #Conflicts: 653000 | #Constraints: 75463
1591.56/1596.55 c #Conflicts: 654000 | #Constraints: 76463
1591.56/1596.55 c #Conflicts: 655000 | #Constraints: 77463
1591.56/1596.55 c #Conflicts: 656000 | #Constraints: 78463
1591.56/1596.55 c #Conflicts: 657000 | #Constraints: 79463
1591.56/1596.55 c #Conflicts: 658000 | #Constraints: 80463
1591.56/1596.55 c #Conflicts: 659000 | #Constraints: 81463
1591.56/1596.55 c #Conflicts: 660000 | #Constraints: 82463
1591.56/1596.55 c #Conflicts: 661000 | #Constraints: 83464
1591.56/1596.55 c #Conflicts: 662000 | #Constraints: 84464
1591.56/1596.55 c #Conflicts: 663000 | #Constraints: 85464
1591.56/1596.55 c #Conflicts: 664000 | #Constraints: 86464
1591.56/1596.55 c #Conflicts: 665000 | #Constraints: 87464
1591.56/1596.55 c #Conflicts: 666000 | #Constraints: 88464
1591.56/1596.55 c #Conflicts: 667000 | #Constraints: 89464
1591.56/1596.55 c #Conflicts: 668000 | #Constraints: 90464
1591.56/1596.55 c #Conflicts: 669000 | #Constraints: 91464
1591.56/1596.55 c #Conflicts: 670000 | #Constraints: 92464
1591.56/1596.55 c #Conflicts: 671000 | #Constraints: 93464
1591.56/1596.55 c #Conflicts: 672000 | #Constraints: 94464
1591.56/1596.55 c #Conflicts: 673000 | #Constraints: 95464
1591.56/1596.55 c #Conflicts: 674000 | #Constraints: 96464
1591.56/1596.55 c #Conflicts: 675000 | #Constraints: 97464
1591.56/1596.55 c #Conflicts: 676000 | #Constraints: 98464
1591.56/1596.55 c #Conflicts: 677000 | #Constraints: 99464
1591.56/1596.55 c #Conflicts: 678000 | #Constraints: 100464
1591.56/1596.55 c #Conflicts: 679000 | #Constraints: 101464
1591.56/1596.55 c #Conflicts: 680000 | #Constraints: 102464
1591.56/1596.55 c #Conflicts: 681000 | #Constraints: 103464
1591.56/1596.55 c #Conflicts: 682000 | #Constraints: 104464
1591.56/1596.55 c #Conflicts: 683000 | #Constraints: 105464
1591.56/1596.55 c #Conflicts: 684000 | #Constraints: 106464
1591.56/1596.55 c #Conflicts: 685000 | #Constraints: 107464
1591.56/1596.55 c #Conflicts: 686000 | #Constraints: 108464
1591.56/1596.55 c #Conflicts: 687000 | #Constraints: 109464
1591.56/1596.55 c #Conflicts: 688000 | #Constraints: 110464
1591.56/1596.55 c #Conflicts: 689000 | #Constraints: 111464
1591.56/1596.55 c #Conflicts: 690000 | #Constraints: 112464
1591.56/1596.55 c #Conflicts: 691000 | #Constraints: 113464
1591.56/1596.55 c #Conflicts: 692000 | #Constraints: 114464
1591.56/1596.55 c #Conflicts: 693000 | #Constraints: 115464
1591.56/1596.55 c INPROCESSING
1591.56/1596.55 c GARBAGE COLLECT
1591.56/1596.55 c #Conflicts: 694000 | #Constraints: 69942
1591.56/1596.55 c #Conflicts: 695000 | #Constraints: 70942
1591.56/1596.55 c #Conflicts: 696000 | #Constraints: 71942
1591.56/1596.55 c #Conflicts: 697000 | #Constraints: 72942
1591.56/1596.55 c #Conflicts: 698000 | #Constraints: 73942
1591.56/1596.55 c #Conflicts: 699000 | #Constraints: 74942
1591.56/1596.55 c #Conflicts: 700000 | #Constraints: 75942
1895.13/1900.97 c #Conflicts: 701000 | #Constraints: 76942
1895.13/1900.97 c #Conflicts: 702000 | #Constraints: 77942
1895.13/1900.97 c #Conflicts: 703000 | #Constraints: 78942
1895.13/1900.97 c #Conflicts: 704000 | #Constraints: 79942
1895.13/1900.97 c #Conflicts: 705000 | #Constraints: 80942
1895.13/1900.97 c #Conflicts: 706000 | #Constraints: 81942
1895.13/1900.97 c #Conflicts: 707000 | #Constraints: 82942
1895.13/1900.97 c #Conflicts: 708000 | #Constraints: 83942
1895.13/1900.97 c #Conflicts: 709000 | #Constraints: 84942
1895.13/1900.97 c #Conflicts: 710000 | #Constraints: 85942
1895.13/1900.97 c #Conflicts: 711000 | #Constraints: 86942
1895.13/1900.97 c #Conflicts: 712000 | #Constraints: 87942
1895.13/1900.97 c #Conflicts: 713000 | #Constraints: 88942
1895.13/1900.97 c #Conflicts: 714000 | #Constraints: 89942
1895.13/1900.97 c #Conflicts: 715000 | #Constraints: 90942
1895.13/1900.97 c #Conflicts: 716000 | #Constraints: 91942
1895.13/1900.97 c INPROCESSING
1895.13/1900.97 c GARBAGE COLLECT
1895.13/1900.97 c #Conflicts: 717000 | #Constraints: 64861
1895.13/1900.97 c #Conflicts: 718000 | #Constraints: 65861
1895.13/1900.97 c #Conflicts: 719000 | #Constraints: 66861
1895.13/1900.97 c #Conflicts: 720000 | #Constraints: 67861
1895.13/1900.97 c #Conflicts: 721000 | #Constraints: 68861
1895.13/1900.97 c #Conflicts: 722000 | #Constraints: 69861
1895.13/1900.97 c #Conflicts: 723000 | #Constraints: 70861
1895.13/1900.97 c #Conflicts: 724000 | #Constraints: 71861
1895.13/1900.97 c #Conflicts: 725000 | #Constraints: 72861
1895.13/1900.97 c #Conflicts: 726000 | #Constraints: 73861
1895.13/1900.97 c #Conflicts: 727000 | #Constraints: 74861
1895.13/1900.97 c #Conflicts: 728000 | #Constraints: 75861
1895.13/1900.97 c #Conflicts: 729000 | #Constraints: 76861
1895.13/1900.97 c #Conflicts: 730000 | #Constraints: 77861
1895.13/1900.97 c #Conflicts: 731000 | #Constraints: 78861
1895.13/1900.97 c #Conflicts: 732000 | #Constraints: 79861
1895.13/1900.97 c #Conflicts: 733000 | #Constraints: 80861
1895.13/1900.97 c #Conflicts: 734000 | #Constraints: 81861
1895.13/1900.97 c #Conflicts: 735000 | #Constraints: 82861
1895.13/1900.97 c #Conflicts: 736000 | #Constraints: 83861
1895.13/1900.97 c #Conflicts: 737000 | #Constraints: 84861
1895.13/1900.97 c #Conflicts: 738000 | #Constraints: 85861
1895.13/1900.97 c #Conflicts: 739000 | #Constraints: 86861
1895.13/1900.97 c #Conflicts: 740000 | #Constraints: 87861
1895.13/1900.97 c #Conflicts: 741000 | #Constraints: 88861
1895.13/1900.97 c #Conflicts: 742000 | #Constraints: 89861
1895.13/1900.97 c #Conflicts: 743000 | #Constraints: 90861
1895.13/1900.97 c #Conflicts: 744000 | #Constraints: 91861
1895.13/1900.97 c #Conflicts: 745000 | #Constraints: 92861
1895.13/1900.97 c #Conflicts: 746000 | #Constraints: 93861
1895.13/1900.97 c #Conflicts: 747000 | #Constraints: 94861
1895.13/1900.97 c #Conflicts: 748000 | #Constraints: 95861
1895.13/1900.97 c #Conflicts: 749000 | #Constraints: 96861
1895.13/1900.97 c #Conflicts: 750000 | #Constraints: 97861
1895.13/1900.97 c #Conflicts: 751000 | #Constraints: 98861
1895.13/1900.97 c #Conflicts: 752000 | #Constraints: 99861
1895.13/1900.97 c #Conflicts: 753000 | #Constraints: 100861
1895.13/1900.97 c #Conflicts: 754000 | #Constraints: 101861
1895.13/1900.97 c #Conflicts: 755000 | #Constraints: 102861
1895.13/1900.97 c #Conflicts: 756000 | #Constraints: 103861
1895.13/1900.97 c #Conflicts: 757000 | #Constraints: 104861
1895.13/1900.97 c #Conflicts: 758000 | #Constraints: 105861
1895.13/1900.97 c #Conflicts: 759000 | #Constraints: 106861
1895.13/1900.97 c #Conflicts: 760000 | #Constraints: 107861
1895.13/1900.97 c #Conflicts: 761000 | #Constraints: 108861
1895.13/1900.97 c #Conflicts: 762000 | #Constraints: 109861
1895.13/1900.97 c #Conflicts: 763000 | #Constraints: 110861
1895.13/1900.97 c #Conflicts: 764000 | #Constraints: 111861
1895.13/1900.97 c #Conflicts: 765000 | #Constraints: 112861
1895.13/1900.97 c #Conflicts: 766000 | #Constraints: 113861
1895.13/1900.97 c #Conflicts: 767000 | #Constraints: 114861
1895.13/1900.97 c #Conflicts: 768000 | #Constraints: 115861
1895.13/1900.97 c #Conflicts: 769000 | #Constraints: 116861
1895.13/1900.97 c #Conflicts: 770000 | #Constraints: 117861
1895.13/1900.97 c #Conflicts: 771000 | #Constraints: 118861
1895.13/1900.97 c #Conflicts: 772000 | #Constraints: 119861
1895.13/1900.97 c #Conflicts: 773000 | #Constraints: 120861
1895.13/1900.97 c INPROCESSING
1895.13/1900.97 c GARBAGE COLLECT
1895.13/1900.97 c #Conflicts: 774000 | #Constraints: 72560
1895.13/1900.97 c #Conflicts: 775000 | #Constraints: 73560
1895.13/1900.97 c #Conflicts: 776000 | #Constraints: 74560
1895.13/1900.97 c #Conflicts: 777000 | #Constraints: 75560
1895.13/1900.97 c #Conflicts: 778000 | #Constraints: 76560
2074.93/2081.27 c #Conflicts: 779000 | #Constraints: 77560
2074.93/2081.27 c #Conflicts: 780000 | #Constraints: 78560
2074.93/2081.27 c #Conflicts: 781000 | #Constraints: 79560
2074.93/2081.27 c #Conflicts: 782000 | #Constraints: 80560
2074.93/2081.27 c #Conflicts: 783000 | #Constraints: 81560
2074.93/2081.27 c #Conflicts: 784000 | #Constraints: 82560
2074.93/2081.27 c #Conflicts: 785000 | #Constraints: 83560
2074.93/2081.27 c #Conflicts: 786000 | #Constraints: 84560
2074.93/2081.27 c #Conflicts: 787000 | #Constraints: 85560
2074.93/2081.27 c #Conflicts: 788000 | #Constraints: 86560
2074.93/2081.27 c #Conflicts: 789000 | #Constraints: 87560
2074.93/2081.27 c #Conflicts: 790000 | #Constraints: 88560
2074.93/2081.27 c #Conflicts: 791000 | #Constraints: 89560
2074.93/2081.27 c #Conflicts: 792000 | #Constraints: 90560
2074.93/2081.27 c #Conflicts: 793000 | #Constraints: 91560
2074.93/2081.27 c #Conflicts: 794000 | #Constraints: 92560
2074.93/2081.27 c #Conflicts: 795000 | #Constraints: 93560
2074.93/2081.27 c #Conflicts: 796000 | #Constraints: 94560
2074.93/2081.27 c #Conflicts: 797000 | #Constraints: 95560
2074.93/2081.27 c #Conflicts: 798000 | #Constraints: 96560
2074.93/2081.27 c INPROCESSING
2074.93/2081.27 c GARBAGE COLLECT
2074.93/2081.27 c #Conflicts: 799000 | #Constraints: 67797
2074.93/2081.27 c #Conflicts: 800000 | #Constraints: 68797
2074.93/2081.27 c #Conflicts: 801000 | #Constraints: 69797
2074.93/2081.27 c #Conflicts: 802000 | #Constraints: 70797
2074.93/2081.27 c #Conflicts: 803000 | #Constraints: 71797
2074.93/2081.27 c #Conflicts: 804000 | #Constraints: 72797
2074.93/2081.27 c #Conflicts: 805000 | #Constraints: 73797
2074.93/2081.27 c #Conflicts: 806000 | #Constraints: 74797
2074.93/2081.27 c #Conflicts: 807000 | #Constraints: 75797
2074.93/2081.27 c #Conflicts: 808000 | #Constraints: 76797
2074.93/2081.27 c #Conflicts: 809000 | #Constraints: 77797
2074.93/2081.27 c #Conflicts: 810000 | #Constraints: 78797
2074.93/2081.27 c #Conflicts: 811000 | #Constraints: 79797
2074.93/2081.27 c #Conflicts: 812000 | #Constraints: 80797
2074.93/2081.27 c #Conflicts: 813000 | #Constraints: 81797
2074.93/2081.27 c #Conflicts: 814000 | #Constraints: 82797
2074.93/2081.27 c #Conflicts: 815000 | #Constraints: 83797
2074.93/2081.27 c #Conflicts: 816000 | #Constraints: 84797
2074.93/2081.27 c #Conflicts: 817000 | #Constraints: 85797
2074.93/2081.27 c #Conflicts: 818000 | #Constraints: 86797
2074.93/2081.27 c #Conflicts: 819000 | #Constraints: 87797
2074.93/2081.27 c #Conflicts: 820000 | #Constraints: 88797
2074.93/2081.27 c #Conflicts: 821000 | #Constraints: 89797
2074.93/2081.27 c #Conflicts: 822000 | #Constraints: 90797
2074.93/2081.27 c #Conflicts: 823000 | #Constraints: 91797
2074.93/2081.27 c #Conflicts: 824000 | #Constraints: 92797
2074.93/2081.27 c #Conflicts: 825000 | #Constraints: 93797
2074.93/2081.27 c #Conflicts: 826000 | #Constraints: 94797
2074.93/2081.27 c #Conflicts: 827000 | #Constraints: 95797
2074.93/2081.27 c #Conflicts: 828000 | #Constraints: 96797
2074.93/2081.27 c #Conflicts: 829000 | #Constraints: 97797
2074.93/2081.27 c #Conflicts: 830000 | #Constraints: 98797
2074.93/2081.27 c #Conflicts: 831000 | #Constraints: 99797
2074.93/2081.27 c #Conflicts: 832000 | #Constraints: 100797
2074.93/2081.27 c #Conflicts: 833000 | #Constraints: 101797
2074.93/2081.27 c #Conflicts: 834000 | #Constraints: 102797
2074.93/2081.27 c #Conflicts: 835000 | #Constraints: 103797
2074.93/2081.27 c #Conflicts: 836000 | #Constraints: 104797
2074.93/2081.27 c #Conflicts: 837000 | #Constraints: 105797
2074.93/2081.27 c #Conflicts: 838000 | #Constraints: 106797
2074.93/2081.27 c #Conflicts: 839000 | #Constraints: 107797
2074.93/2081.27 c #Conflicts: 840000 | #Constraints: 108797
2074.93/2081.27 c #Conflicts: 841000 | #Constraints: 109797
2074.93/2081.27 c #Conflicts: 842000 | #Constraints: 110797
2074.93/2081.27 c #Conflicts: 843000 | #Constraints: 111797
2074.93/2081.27 c #Conflicts: 844000 | #Constraints: 112797
2074.93/2081.27 c #Conflicts: 845000 | #Constraints: 113797
2074.93/2081.27 c #Conflicts: 846000 | #Constraints: 114797
2074.93/2081.27 c #Conflicts: 847000 | #Constraints: 115797
2074.93/2081.27 c #Conflicts: 848000 | #Constraints: 116797
2074.93/2081.27 c #Conflicts: 849000 | #Constraints: 117797
2074.93/2081.27 c #Conflicts: 850000 | #Constraints: 118797
2074.93/2081.27 c #Conflicts: 851000 | #Constraints: 119797
2074.93/2081.27 c #Conflicts: 852000 | #Constraints: 120797
2074.93/2081.27 c #Conflicts: 853000 | #Constraints: 121797
2074.93/2081.27 c #Conflicts: 854000 | #Constraints: 122797
2074.93/2081.27 c #Conflicts: 855000 | #Constraints: 123797
2074.93/2081.27 c #Conflicts: 856000 | #Constraints: 124797
2271.70/2278.55 c #Conflicts: 857000 | #Constraints: 125797
2271.70/2278.55 c #Conflicts: 858000 | #Constraints: 126797
2271.70/2278.55 c INPROCESSING
2271.70/2278.55 c GARBAGE COLLECT
2271.70/2278.55 c #Conflicts: 859000 | #Constraints: 75961
2271.70/2278.55 c #Conflicts: 860000 | #Constraints: 76961
2271.70/2278.55 c #Conflicts: 861000 | #Constraints: 77961
2271.70/2278.55 c #Conflicts: 862000 | #Constraints: 78961
2271.70/2278.55 c #Conflicts: 863000 | #Constraints: 79961
2271.70/2278.55 c #Conflicts: 864000 | #Constraints: 80961
2271.70/2278.55 c #Conflicts: 865000 | #Constraints: 81961
2271.70/2278.55 c #Conflicts: 866000 | #Constraints: 82961
2271.70/2278.55 c #Conflicts: 867000 | #Constraints: 83961
2271.70/2278.55 c #Conflicts: 868000 | #Constraints: 84961
2271.70/2278.55 c #Conflicts: 869000 | #Constraints: 85961
2271.70/2278.55 c #Conflicts: 870000 | #Constraints: 86961
2271.70/2278.55 c #Conflicts: 871000 | #Constraints: 87961
2271.70/2278.55 c #Conflicts: 872000 | #Constraints: 88961
2271.70/2278.55 c #Conflicts: 873000 | #Constraints: 89961
2271.70/2278.55 c #Conflicts: 874000 | #Constraints: 90961
2271.70/2278.55 c #Conflicts: 875000 | #Constraints: 91961
2271.70/2278.55 c #Conflicts: 876000 | #Constraints: 92961
2271.70/2278.55 c #Conflicts: 877000 | #Constraints: 93961
2271.70/2278.55 c #Conflicts: 878000 | #Constraints: 94961
2271.70/2278.55 c #Conflicts: 879000 | #Constraints: 95961
2271.70/2278.55 c #Conflicts: 880000 | #Constraints: 96961
2271.70/2278.55 c #Conflicts: 881000 | #Constraints: 97961
2271.70/2278.55 c #Conflicts: 882000 | #Constraints: 98961
2271.70/2278.55 c #Conflicts: 883000 | #Constraints: 99961
2271.70/2278.55 c #Conflicts: 884000 | #Constraints: 100961
2271.70/2278.55 c INPROCESSING
2271.70/2278.55 c GARBAGE COLLECT
2271.70/2278.55 c #Conflicts: 885000 | #Constraints: 70446
2271.70/2278.55 c #Conflicts: 886000 | #Constraints: 71446
2271.70/2278.55 c #Conflicts: 887000 | #Constraints: 72446
2271.70/2278.55 c #Conflicts: 888000 | #Constraints: 73446
2271.70/2278.55 c #Conflicts: 889000 | #Constraints: 74446
2271.70/2278.55 c #Conflicts: 890000 | #Constraints: 75446
2271.70/2278.55 c #Conflicts: 891000 | #Constraints: 76446
2271.70/2278.55 c #Conflicts: 892000 | #Constraints: 77446
2271.70/2278.55 c #Conflicts: 893000 | #Constraints: 78446
2271.70/2278.55 c #Conflicts: 894000 | #Constraints: 79446
2271.70/2278.55 c #Conflicts: 895000 | #Constraints: 80446
2271.70/2278.55 c #Conflicts: 896000 | #Constraints: 81446
2271.70/2278.55 c #Conflicts: 897000 | #Constraints: 82446
2271.70/2278.55 c #Conflicts: 898000 | #Constraints: 83446
2271.70/2278.55 c #Conflicts: 899000 | #Constraints: 84446
2271.70/2278.55 c #Conflicts: 900000 | #Constraints: 85446
2271.70/2278.55 c #Conflicts: 901000 | #Constraints: 86446
2271.70/2278.55 c #Conflicts: 902000 | #Constraints: 87446
2271.70/2278.55 c #Conflicts: 903000 | #Constraints: 88446
2271.70/2278.55 c #Conflicts: 904000 | #Constraints: 89446
2271.70/2278.55 c #Conflicts: 905000 | #Constraints: 90446
2271.70/2278.55 c #Conflicts: 906000 | #Constraints: 91446
2271.70/2278.55 c #Conflicts: 907000 | #Constraints: 92446
2271.70/2278.55 c #Conflicts: 908000 | #Constraints: 93446
2271.70/2278.55 c #Conflicts: 909000 | #Constraints: 94446
2271.70/2278.55 c #Conflicts: 910000 | #Constraints: 95446
2271.70/2278.55 c #Conflicts: 911000 | #Constraints: 96446
2271.70/2278.55 c #Conflicts: 912000 | #Constraints: 97446
2271.70/2278.55 c #Conflicts: 913000 | #Constraints: 98446
2271.70/2278.55 c #Conflicts: 914000 | #Constraints: 99446
2271.70/2278.55 c #Conflicts: 915000 | #Constraints: 100446
2271.70/2278.55 c #Conflicts: 916000 | #Constraints: 101446
2271.70/2278.55 c #Conflicts: 917000 | #Constraints: 102446
2271.70/2278.55 c #Conflicts: 918000 | #Constraints: 103446
2271.70/2278.55 c #Conflicts: 919000 | #Constraints: 104446
2271.70/2278.55 c #Conflicts: 920000 | #Constraints: 105446
2271.70/2278.55 c #Conflicts: 921000 | #Constraints: 106446
2271.70/2278.55 c #Conflicts: 922000 | #Constraints: 107446
2271.70/2278.55 c #Conflicts: 923000 | #Constraints: 108446
2271.70/2278.55 c #Conflicts: 924000 | #Constraints: 109446
2271.70/2278.55 c #Conflicts: 925000 | #Constraints: 110446
2271.70/2278.55 c #Conflicts: 926000 | #Constraints: 111446
2271.70/2278.55 c #Conflicts: 927000 | #Constraints: 112446
2271.70/2278.55 c #Conflicts: 928000 | #Constraints: 113446
2271.70/2278.55 c #Conflicts: 929000 | #Constraints: 114446
2271.70/2278.55 c #Conflicts: 930000 | #Constraints: 115446
2271.70/2278.55 c #Conflicts: 931000 | #Constraints: 116446
2271.70/2278.55 c #Conflicts: 932000 | #Constraints: 117446
2271.70/2278.55 c #Conflicts: 933000 | #Constraints: 118446
2271.70/2278.55 c #Conflicts: 934000 | #Constraints: 119446
2479.77/2487.22 c #Conflicts: 935000 | #Constraints: 120446
2479.77/2487.22 c #Conflicts: 936000 | #Constraints: 121446
2479.77/2487.22 c #Conflicts: 937000 | #Constraints: 122446
2479.77/2487.22 c #Conflicts: 938000 | #Constraints: 123446
2479.77/2487.22 c #Conflicts: 939000 | #Constraints: 124446
2479.77/2487.22 c #Conflicts: 940000 | #Constraints: 125446
2479.77/2487.22 c #Conflicts: 941000 | #Constraints: 126446
2479.77/2487.22 c #Conflicts: 942000 | #Constraints: 127446
2479.77/2487.22 c #Conflicts: 943000 | #Constraints: 128446
2479.77/2487.22 c #Conflicts: 944000 | #Constraints: 129446
2479.77/2487.22 c #Conflicts: 945000 | #Constraints: 130446
2479.77/2487.22 c #Conflicts: 946000 | #Constraints: 131446
2479.77/2487.22 c #Conflicts: 947000 | #Constraints: 132446
2479.77/2487.22 c INPROCESSING
2479.77/2487.22 c GARBAGE COLLECT
2479.77/2487.22 c #Conflicts: 948000 | #Constraints: 78798
2479.77/2487.22 c #Conflicts: 949000 | #Constraints: 79798
2479.77/2487.22 c #Conflicts: 950000 | #Constraints: 80798
2479.77/2487.22 c #Conflicts: 951000 | #Constraints: 81798
2479.77/2487.22 c #Conflicts: 952000 | #Constraints: 82798
2479.77/2487.22 c #Conflicts: 953000 | #Constraints: 83798
2479.77/2487.22 c #Conflicts: 954000 | #Constraints: 84798
2479.77/2487.22 c #Conflicts: 955000 | #Constraints: 85798
2479.77/2487.22 c #Conflicts: 956000 | #Constraints: 86798
2479.77/2487.22 c #Conflicts: 957000 | #Constraints: 87798
2479.77/2487.22 c #Conflicts: 958000 | #Constraints: 88798
2479.77/2487.22 c #Conflicts: 959000 | #Constraints: 89798
2479.77/2487.22 c #Conflicts: 960000 | #Constraints: 90798
2479.77/2487.22 c #Conflicts: 961000 | #Constraints: 91798
2479.77/2487.22 c #Conflicts: 962000 | #Constraints: 92798
2479.77/2487.22 c #Conflicts: 963000 | #Constraints: 93798
2479.77/2487.22 c #Conflicts: 964000 | #Constraints: 94798
2479.77/2487.22 c #Conflicts: 965000 | #Constraints: 95798
2479.77/2487.22 c #Conflicts: 966000 | #Constraints: 96798
2479.77/2487.22 c #Conflicts: 967000 | #Constraints: 97798
2479.77/2487.22 c #Conflicts: 968000 | #Constraints: 98798
2479.77/2487.22 c #Conflicts: 969000 | #Constraints: 99798
2479.77/2487.22 c #Conflicts: 970000 | #Constraints: 100798
2479.77/2487.22 c #Conflicts: 971000 | #Constraints: 101798
2479.77/2487.22 c #Conflicts: 972000 | #Constraints: 102798
2479.77/2487.22 c #Conflicts: 973000 | #Constraints: 103798
2479.77/2487.22 c #Conflicts: 974000 | #Constraints: 104798
2479.77/2487.22 c INPROCESSING
2479.77/2487.22 c GARBAGE COLLECT
2479.77/2487.22 c #Conflicts: 975000 | #Constraints: 72532
2479.77/2487.22 c #Conflicts: 976000 | #Constraints: 73532
2479.77/2487.22 c #Conflicts: 977000 | #Constraints: 74532
2479.77/2487.22 c #Conflicts: 978000 | #Constraints: 75532
2479.77/2487.22 c #Conflicts: 979000 | #Constraints: 76532
2479.77/2487.22 c #Conflicts: 980000 | #Constraints: 77532
2479.77/2487.22 c #Conflicts: 981000 | #Constraints: 78532
2479.77/2487.22 c #Conflicts: 982000 | #Constraints: 79532
2479.77/2487.22 c #Conflicts: 983000 | #Constraints: 80532
2479.77/2487.22 c #Conflicts: 984000 | #Constraints: 81532
2479.77/2487.22 c #Conflicts: 985000 | #Constraints: 82532
2479.77/2487.22 c #Conflicts: 986000 | #Constraints: 83532
2479.77/2487.22 c #Conflicts: 987000 | #Constraints: 84532
2479.77/2487.22 c #Conflicts: 988000 | #Constraints: 85532
2479.77/2487.22 c #Conflicts: 989000 | #Constraints: 86532
2479.77/2487.22 c #Conflicts: 990000 | #Constraints: 87532
2479.77/2487.22 c #Conflicts: 991000 | #Constraints: 88532
2479.77/2487.22 c #Conflicts: 992000 | #Constraints: 89532
2479.77/2487.22 c #Conflicts: 993000 | #Constraints: 90532
2479.77/2487.22 c #Conflicts: 994000 | #Constraints: 91532
2479.77/2487.22 c #Conflicts: 995000 | #Constraints: 92532
2479.77/2487.22 c #Conflicts: 996000 | #Constraints: 93532
2479.77/2487.22 c #Conflicts: 997000 | #Constraints: 94532
2479.77/2487.22 c #Conflicts: 998000 | #Constraints: 95532
2479.77/2487.22 c #Conflicts: 999000 | #Constraints: 96532
2479.77/2487.22 c #Conflicts: 1000000 | #Constraints: 97532
2479.77/2487.22 c #Conflicts: 1001000 | #Constraints: 98532
2479.77/2487.22 c #Conflicts: 1002000 | #Constraints: 99532
2479.77/2487.22 c #Conflicts: 1003000 | #Constraints: 100532
2479.77/2487.22 c #Conflicts: 1004000 | #Constraints: 101532
2479.77/2487.22 c #Conflicts: 1005000 | #Constraints: 102532
2479.77/2487.22 c #Conflicts: 1006000 | #Constraints: 103532
2479.77/2487.22 c #Conflicts: 1007000 | #Constraints: 104532
2479.77/2487.22 c #Conflicts: 1008000 | #Constraints: 105532
2479.77/2487.22 c #Conflicts: 1009000 | #Constraints: 106532
2479.77/2487.22 c #Conflicts: 1010000 | #Constraints: 107532
2479.77/2487.22 c #Conflicts: 1011000 | #Constraints: 108532
2748.71/2757.01 c #Conflicts: 1012000 | #Constraints: 109532
2748.71/2757.01 c #Conflicts: 1013000 | #Constraints: 110532
2748.71/2757.01 c #Conflicts: 1014000 | #Constraints: 111532
2748.71/2757.01 c #Conflicts: 1015000 | #Constraints: 112532
2748.71/2757.01 c #Conflicts: 1016000 | #Constraints: 113532
2748.71/2757.01 c #Conflicts: 1017000 | #Constraints: 114532
2748.71/2757.01 c #Conflicts: 1018000 | #Constraints: 115532
2748.71/2757.01 c #Conflicts: 1019000 | #Constraints: 116532
2748.71/2757.01 c #Conflicts: 1020000 | #Constraints: 117532
2748.71/2757.01 c #Conflicts: 1021000 | #Constraints: 118532
2748.71/2757.01 c #Conflicts: 1022000 | #Constraints: 119532
2748.71/2757.01 c #Conflicts: 1023000 | #Constraints: 120532
2748.71/2757.01 c #Conflicts: 1024000 | #Constraints: 121532
2748.71/2757.01 c #Conflicts: 1025000 | #Constraints: 122532
2748.71/2757.01 c #Conflicts: 1026000 | #Constraints: 123532
2748.71/2757.01 c #Conflicts: 1027000 | #Constraints: 124532
2748.71/2757.01 c #Conflicts: 1028000 | #Constraints: 125532
2748.71/2757.01 c #Conflicts: 1029000 | #Constraints: 126532
2748.71/2757.01 c #Conflicts: 1030000 | #Constraints: 127532
2748.71/2757.01 c #Conflicts: 1031000 | #Constraints: 128532
2748.71/2757.01 c #Conflicts: 1032000 | #Constraints: 129532
2748.71/2757.01 c #Conflicts: 1033000 | #Constraints: 130532
2748.71/2757.01 c #Conflicts: 1034000 | #Constraints: 131532
2748.71/2757.01 c #Conflicts: 1035000 | #Constraints: 132532
2748.71/2757.01 c #Conflicts: 1036000 | #Constraints: 133532
2748.71/2757.01 c #Conflicts: 1037000 | #Constraints: 134532
2748.71/2757.01 c #Conflicts: 1038000 | #Constraints: 135532
2748.71/2757.01 c #Conflicts: 1039000 | #Constraints: 136532
2748.71/2757.01 c #Conflicts: 1040000 | #Constraints: 137532
2748.71/2757.01 c INPROCESSING
2748.71/2757.01 c GARBAGE COLLECT
2748.71/2757.01 c #Conflicts: 1041000 | #Constraints: 81031
2748.71/2757.01 c #Conflicts: 1042000 | #Constraints: 82031
2748.71/2757.01 c #Conflicts: 1043000 | #Constraints: 83031
2748.71/2757.01 c #Conflicts: 1044000 | #Constraints: 84031
2748.71/2757.01 c #Conflicts: 1045000 | #Constraints: 85031
2748.71/2757.01 c #Conflicts: 1046000 | #Constraints: 86031
2748.71/2757.01 c #Conflicts: 1047000 | #Constraints: 87031
2748.71/2757.01 c #Conflicts: 1048000 | #Constraints: 88031
2748.71/2757.01 c #Conflicts: 1049000 | #Constraints: 89031
2748.71/2757.01 c #Conflicts: 1050000 | #Constraints: 90031
2748.71/2757.01 c #Conflicts: 1051000 | #Constraints: 91031
2748.71/2757.01 c #Conflicts: 1052000 | #Constraints: 92031
2748.71/2757.01 c #Conflicts: 1053000 | #Constraints: 93031
2748.71/2757.01 c #Conflicts: 1054000 | #Constraints: 94031
2748.71/2757.01 c #Conflicts: 1055000 | #Constraints: 95031
2748.71/2757.01 c #Conflicts: 1056000 | #Constraints: 96031
2748.71/2757.01 c #Conflicts: 1057000 | #Constraints: 97031
2748.71/2757.01 c #Conflicts: 1058000 | #Constraints: 98031
2748.71/2757.01 c #Conflicts: 1059000 | #Constraints: 99031
2748.71/2757.01 c #Conflicts: 1060000 | #Constraints: 100031
2748.71/2757.01 c #Conflicts: 1061000 | #Constraints: 101031
2748.71/2757.01 c #Conflicts: 1062000 | #Constraints: 102031
2748.71/2757.01 c #Conflicts: 1063000 | #Constraints: 103031
2748.71/2757.01 c #Conflicts: 1064000 | #Constraints: 104031
2748.71/2757.01 c #Conflicts: 1065000 | #Constraints: 105031
2748.71/2757.01 c #Conflicts: 1066000 | #Constraints: 106031
2748.71/2757.01 c #Conflicts: 1067000 | #Constraints: 107031
2748.71/2757.01 c #Conflicts: 1068000 | #Constraints: 108031
2748.71/2757.01 c #Conflicts: 1069000 | #Constraints: 109031
2748.71/2757.01 c INPROCESSING
2748.71/2757.01 c GARBAGE COLLECT
2748.71/2757.01 c #Conflicts: 1070000 | #Constraints: 74570
2748.71/2757.01 c #Conflicts: 1071000 | #Constraints: 75570
2748.71/2757.01 c #Conflicts: 1072000 | #Constraints: 76570
2748.71/2757.01 c #Conflicts: 1073000 | #Constraints: 77570
2748.71/2757.01 c #Conflicts: 1074000 | #Constraints: 78570
2748.71/2757.01 c #Conflicts: 1075000 | #Constraints: 79570
2748.71/2757.01 c #Conflicts: 1076000 | #Constraints: 80570
2748.71/2757.01 c #Conflicts: 1077000 | #Constraints: 81570
2748.71/2757.01 c #Conflicts: 1078000 | #Constraints: 82570
2748.71/2757.01 c #Conflicts: 1079000 | #Constraints: 83570
2748.71/2757.01 c #Conflicts: 1080000 | #Constraints: 84570
2748.71/2757.01 c #Conflicts: 1081000 | #Constraints: 85570
2748.71/2757.01 c #Conflicts: 1082000 | #Constraints: 86570
2748.71/2757.01 c #Conflicts: 1083000 | #Constraints: 87570
2748.71/2757.01 c #Conflicts: 1084000 | #Constraints: 88570
2748.71/2757.01 c #Conflicts: 1085000 | #Constraints: 89570
2748.71/2757.01 c #Conflicts: 1086000 | #Constraints: 90570
2748.71/2757.01 c #Conflicts: 1087000 | #Constraints: 91570
2748.71/2757.01 c #Conflicts: 1088000 | #Constraints: 92570
2748.71/2757.01 c #Conflicts: 1089000 | #Constraints: 93570
3037.67/3046.85 c #Conflicts: 1090000 | #Constraints: 94570
3037.67/3046.85 c #Conflicts: 1091000 | #Constraints: 95570
3037.67/3046.85 c #Conflicts: 1092000 | #Constraints: 96570
3037.67/3046.85 c #Conflicts: 1093000 | #Constraints: 97570
3037.67/3046.85 c #Conflicts: 1094000 | #Constraints: 98570
3037.67/3046.85 c #Conflicts: 1095000 | #Constraints: 99570
3037.67/3046.85 c #Conflicts: 1096000 | #Constraints: 100570
3037.67/3046.85 c #Conflicts: 1097000 | #Constraints: 101570
3037.67/3046.85 c #Conflicts: 1098000 | #Constraints: 102570
3037.67/3046.85 c #Conflicts: 1099000 | #Constraints: 103570
3037.67/3046.85 c #Conflicts: 1100000 | #Constraints: 104570
3037.67/3046.85 c #Conflicts: 1101000 | #Constraints: 105570
3037.67/3046.85 c #Conflicts: 1102000 | #Constraints: 106570
3037.67/3046.85 c #Conflicts: 1103000 | #Constraints: 107570
3037.67/3046.85 c #Conflicts: 1104000 | #Constraints: 108570
3037.67/3046.85 c #Conflicts: 1105000 | #Constraints: 109570
3037.67/3046.85 c #Conflicts: 1106000 | #Constraints: 110570
3037.67/3046.85 c #Conflicts: 1107000 | #Constraints: 111570
3037.67/3046.85 c #Conflicts: 1108000 | #Constraints: 112570
3037.67/3046.85 c #Conflicts: 1109000 | #Constraints: 113570
3037.67/3046.85 c #Conflicts: 1110000 | #Constraints: 114570
3037.67/3046.85 c #Conflicts: 1111000 | #Constraints: 115570
3037.67/3046.85 c #Conflicts: 1112000 | #Constraints: 116570
3037.67/3046.85 c #Conflicts: 1113000 | #Constraints: 117570
3037.67/3046.85 c #Conflicts: 1114000 | #Constraints: 118570
3037.67/3046.85 c #Conflicts: 1115000 | #Constraints: 119570
3037.67/3046.85 c #Conflicts: 1116000 | #Constraints: 120570
3037.67/3046.85 c #Conflicts: 1117000 | #Constraints: 121570
3037.67/3046.85 c #Conflicts: 1118000 | #Constraints: 122570
3037.67/3046.85 c #Conflicts: 1119000 | #Constraints: 123570
3037.67/3046.85 c #Conflicts: 1120000 | #Constraints: 124570
3037.67/3046.85 c #Conflicts: 1121000 | #Constraints: 125570
3037.67/3046.85 c #Conflicts: 1122000 | #Constraints: 126570
3037.67/3046.85 c #Conflicts: 1123000 | #Constraints: 127570
3037.67/3046.85 c #Conflicts: 1124000 | #Constraints: 128570
3037.67/3046.85 c #Conflicts: 1125000 | #Constraints: 129570
3037.67/3046.85 c #Conflicts: 1126000 | #Constraints: 130570
3037.67/3046.85 c #Conflicts: 1127000 | #Constraints: 131570
3037.67/3046.85 c #Conflicts: 1128000 | #Constraints: 132570
3037.67/3046.85 c #Conflicts: 1129000 | #Constraints: 133570
3037.67/3046.85 c #Conflicts: 1130000 | #Constraints: 134570
3037.67/3046.85 c #Conflicts: 1131000 | #Constraints: 135570
3037.67/3046.85 c #Conflicts: 1132000 | #Constraints: 136570
3037.67/3046.85 c #Conflicts: 1133000 | #Constraints: 137570
3037.67/3046.85 c #Conflicts: 1134000 | #Constraints: 138570
3037.67/3046.85 c #Conflicts: 1135000 | #Constraints: 139570
3037.67/3046.85 c #Conflicts: 1136000 | #Constraints: 140570
3037.67/3046.85 c #Conflicts: 1137000 | #Constraints: 141570
3037.67/3046.85 c #Conflicts: 1138000 | #Constraints: 142570
3037.67/3046.85 c INPROCESSING
3037.67/3046.85 c GARBAGE COLLECT
3037.67/3046.85 c #Conflicts: 1139000 | #Constraints: 83456
3037.67/3046.85 c #Conflicts: 1140000 | #Constraints: 84456
3037.67/3046.85 c #Conflicts: 1141000 | #Constraints: 85456
3037.67/3046.85 c #Conflicts: 1142000 | #Constraints: 86456
3037.67/3046.85 c #Conflicts: 1143000 | #Constraints: 87456
3037.67/3046.85 c #Conflicts: 1144000 | #Constraints: 88456
3037.67/3046.85 c #Conflicts: 1145000 | #Constraints: 89456
3037.67/3046.85 c #Conflicts: 1146000 | #Constraints: 90456
3037.67/3046.85 c #Conflicts: 1147000 | #Constraints: 91456
3037.67/3046.85 c #Conflicts: 1148000 | #Constraints: 92456
3037.67/3046.85 c #Conflicts: 1149000 | #Constraints: 93456
3037.67/3046.85 c #Conflicts: 1150000 | #Constraints: 94456
3037.67/3046.85 c #Conflicts: 1151000 | #Constraints: 95456
3037.67/3046.85 c #Conflicts: 1152000 | #Constraints: 96456
3037.67/3046.85 c #Conflicts: 1153000 | #Constraints: 97456
3037.67/3046.85 c #Conflicts: 1154000 | #Constraints: 98456
3037.67/3046.85 c #Conflicts: 1155000 | #Constraints: 99456
3037.67/3046.85 c #Conflicts: 1156000 | #Constraints: 100456
3037.67/3046.85 c #Conflicts: 1157000 | #Constraints: 101456
3037.67/3046.85 c #Conflicts: 1158000 | #Constraints: 102456
3037.67/3046.85 c #Conflicts: 1159000 | #Constraints: 103456
3037.67/3046.85 c #Conflicts: 1160000 | #Constraints: 104456
3037.67/3046.85 c #Conflicts: 1161000 | #Constraints: 105456
3037.67/3046.85 c #Conflicts: 1162000 | #Constraints: 106456
3037.67/3046.85 c #Conflicts: 1163000 | #Constraints: 107456
3037.67/3046.85 c #Conflicts: 1164000 | #Constraints: 108456
3037.67/3046.85 c #Conflicts: 1165000 | #Constraints: 109456
3037.67/3046.85 c #Conflicts: 1166000 | #Constraints: 110456
3037.67/3046.85 c #Conflicts: 1167000 | #Constraints: 111456
3263.47/3273.20 c #Conflicts: 1168000 | #Constraints: 112456
3263.47/3273.20 c INPROCESSING
3263.47/3273.20 c GARBAGE COLLECT
3263.47/3273.20 c #Conflicts: 1169000 | #Constraints: 76599
3263.47/3273.20 c #Conflicts: 1170000 | #Constraints: 77599
3263.47/3273.20 c #Conflicts: 1171000 | #Constraints: 78599
3263.47/3273.20 c #Conflicts: 1172000 | #Constraints: 79599
3263.47/3273.20 c #Conflicts: 1173000 | #Constraints: 80599
3263.47/3273.20 c #Conflicts: 1174000 | #Constraints: 81599
3263.47/3273.20 c #Conflicts: 1175000 | #Constraints: 82599
3263.47/3273.20 c #Conflicts: 1176000 | #Constraints: 83599
3263.47/3273.20 c #Conflicts: 1177000 | #Constraints: 84599
3263.47/3273.20 c #Conflicts: 1178000 | #Constraints: 85599
3263.47/3273.20 c #Conflicts: 1179000 | #Constraints: 86599
3263.47/3273.20 c #Conflicts: 1180000 | #Constraints: 87599
3263.47/3273.20 c #Conflicts: 1181000 | #Constraints: 88599
3263.47/3273.20 c #Conflicts: 1182000 | #Constraints: 89599
3263.47/3273.20 c #Conflicts: 1183000 | #Constraints: 90599
3263.47/3273.20 c #Conflicts: 1184000 | #Constraints: 91599
3263.47/3273.20 c #Conflicts: 1185000 | #Constraints: 92599
3263.47/3273.20 c #Conflicts: 1186000 | #Constraints: 93599
3263.47/3273.20 c #Conflicts: 1187000 | #Constraints: 94599
3263.47/3273.20 c #Conflicts: 1188000 | #Constraints: 95599
3263.47/3273.20 c #Conflicts: 1189000 | #Constraints: 96599
3263.47/3273.20 c #Conflicts: 1190000 | #Constraints: 97599
3263.47/3273.20 c #Conflicts: 1191000 | #Constraints: 98599
3263.47/3273.20 c #Conflicts: 1192000 | #Constraints: 99599
3263.47/3273.20 c #Conflicts: 1193000 | #Constraints: 100599
3263.47/3273.20 c #Conflicts: 1194000 | #Constraints: 101599
3263.47/3273.20 c #Conflicts: 1195000 | #Constraints: 102599
3263.47/3273.20 c #Conflicts: 1196000 | #Constraints: 103599
3263.47/3273.20 c #Conflicts: 1197000 | #Constraints: 104599
3263.47/3273.20 c #Conflicts: 1198000 | #Constraints: 105599
3263.47/3273.20 c #Conflicts: 1199000 | #Constraints: 106599
3263.47/3273.20 c #Conflicts: 1200000 | #Constraints: 107599
3263.47/3273.20 c #Conflicts: 1201000 | #Constraints: 108599
3263.47/3273.20 c #Conflicts: 1202000 | #Constraints: 109599
3263.47/3273.20 c #Conflicts: 1203000 | #Constraints: 110599
3263.47/3273.20 c #Conflicts: 1204000 | #Constraints: 111599
3263.47/3273.20 c #Conflicts: 1205000 | #Constraints: 112599
3263.47/3273.20 c #Conflicts: 1206000 | #Constraints: 113599
3263.47/3273.20 c #Conflicts: 1207000 | #Constraints: 114599
3263.47/3273.20 c #Conflicts: 1208000 | #Constraints: 115599
3263.47/3273.20 c #Conflicts: 1209000 | #Constraints: 116599
3263.47/3273.20 c #Conflicts: 1210000 | #Constraints: 117599
3263.47/3273.20 c #Conflicts: 1211000 | #Constraints: 118599
3263.47/3273.20 c #Conflicts: 1212000 | #Constraints: 119599
3263.47/3273.20 c #Conflicts: 1213000 | #Constraints: 120599
3263.47/3273.20 c #Conflicts: 1214000 | #Constraints: 121599
3263.47/3273.20 c #Conflicts: 1215000 | #Constraints: 122599
3263.47/3273.20 c #Conflicts: 1216000 | #Constraints: 123600
3263.47/3273.20 c #Conflicts: 1217000 | #Constraints: 124600
3263.47/3273.20 c #Conflicts: 1218000 | #Constraints: 125600
3263.47/3273.20 c #Conflicts: 1219000 | #Constraints: 126600
3263.47/3273.20 c #Conflicts: 1220000 | #Constraints: 127600
3263.47/3273.20 c #Conflicts: 1221000 | #Constraints: 128600
3263.47/3273.20 c #Conflicts: 1222000 | #Constraints: 129600
3263.47/3273.20 c #Conflicts: 1223000 | #Constraints: 130600
3263.47/3273.20 c #Conflicts: 1224000 | #Constraints: 131600
3263.47/3273.20 c #Conflicts: 1225000 | #Constraints: 132600
3263.47/3273.20 c #Conflicts: 1226000 | #Constraints: 133600
3263.47/3273.20 c #Conflicts: 1227000 | #Constraints: 134600
3263.47/3273.20 c #Conflicts: 1228000 | #Constraints: 135600
3263.47/3273.20 c #Conflicts: 1229000 | #Constraints: 136600
3263.47/3273.20 c #Conflicts: 1230000 | #Constraints: 137600
3263.47/3273.20 c #Conflicts: 1231000 | #Constraints: 138600
3263.47/3273.20 c #Conflicts: 1232000 | #Constraints: 139600
3263.47/3273.20 c #Conflicts: 1233000 | #Constraints: 140600
3263.47/3273.20 c #Conflicts: 1234000 | #Constraints: 141600
3263.47/3273.20 c #Conflicts: 1235000 | #Constraints: 142600
3263.47/3273.20 c #Conflicts: 1236000 | #Constraints: 143600
3263.47/3273.20 c #Conflicts: 1237000 | #Constraints: 144600
3263.47/3273.20 c #Conflicts: 1238000 | #Constraints: 145600
3263.47/3273.20 c #Conflicts: 1239000 | #Constraints: 146600
3263.47/3273.20 c #Conflicts: 1240000 | #Constraints: 147600
3263.47/3273.20 c INPROCESSING
3263.47/3273.20 c GARBAGE COLLECT
3263.47/3273.20 c #Conflicts: 1241000 | #Constraints: 85938
3263.47/3273.20 c #Conflicts: 1242000 | #Constraints: 86938
3263.47/3273.20 c #Conflicts: 1243000 | #Constraints: 87938
3263.47/3273.20 c #Conflicts: 1244000 | #Constraints: 88938
3442.20/3452.48 c #Conflicts: 1245000 | #Constraints: 89938
3442.20/3452.48 c #Conflicts: 1246000 | #Constraints: 90938
3442.20/3452.48 c #Conflicts: 1247000 | #Constraints: 91938
3442.20/3452.48 c #Conflicts: 1248000 | #Constraints: 92938
3442.20/3452.48 c #Conflicts: 1249000 | #Constraints: 93938
3442.20/3452.48 c #Conflicts: 1250000 | #Constraints: 94938
3442.20/3452.48 c #Conflicts: 1251000 | #Constraints: 95938
3442.20/3452.48 c #Conflicts: 1252000 | #Constraints: 96938
3442.20/3452.48 c #Conflicts: 1253000 | #Constraints: 97938
3442.20/3452.48 c #Conflicts: 1254000 | #Constraints: 98938
3442.20/3452.48 c #Conflicts: 1255000 | #Constraints: 99938
3442.20/3452.48 c #Conflicts: 1256000 | #Constraints: 100938
3442.20/3452.48 c #Conflicts: 1257000 | #Constraints: 101938
3442.20/3452.48 c #Conflicts: 1258000 | #Constraints: 102938
3442.20/3452.48 c #Conflicts: 1259000 | #Constraints: 103938
3442.20/3452.48 c #Conflicts: 1260000 | #Constraints: 104938
3442.20/3452.48 c #Conflicts: 1261000 | #Constraints: 105938
3442.20/3452.48 c #Conflicts: 1262000 | #Constraints: 106938
3442.20/3452.48 c #Conflicts: 1263000 | #Constraints: 107938
3442.20/3452.48 c #Conflicts: 1264000 | #Constraints: 108938
3442.20/3452.48 c #Conflicts: 1265000 | #Constraints: 109938
3442.20/3452.48 c #Conflicts: 1266000 | #Constraints: 110938
3442.20/3452.48 c #Conflicts: 1267000 | #Constraints: 111938
3442.20/3452.48 c #Conflicts: 1268000 | #Constraints: 112938
3442.20/3452.48 c #Conflicts: 1269000 | #Constraints: 113938
3442.20/3452.48 c #Conflicts: 1270000 | #Constraints: 114938
3442.20/3452.48 c #Conflicts: 1271000 | #Constraints: 115938
3442.20/3452.48 c #Conflicts: 1272000 | #Constraints: 116938
3442.20/3452.48 c INPROCESSING
3442.20/3452.48 c GARBAGE COLLECT
3442.20/3452.48 c #Conflicts: 1273000 | #Constraints: 79924
3442.20/3452.48 c #Conflicts: 1274000 | #Constraints: 80924
3442.20/3452.48 c #Conflicts: 1275000 | #Constraints: 81924
3442.20/3452.48 c #Conflicts: 1276000 | #Constraints: 82924
3442.20/3452.48 c #Conflicts: 1277000 | #Constraints: 83924
3442.20/3452.48 c #Conflicts: 1278000 | #Constraints: 84924
3442.20/3452.48 c #Conflicts: 1279000 | #Constraints: 85924
3442.20/3452.48 c #Conflicts: 1280000 | #Constraints: 86924
3442.20/3452.48 c #Conflicts: 1281000 | #Constraints: 87924
3442.20/3452.48 c #Conflicts: 1282000 | #Constraints: 88924
3442.20/3452.48 c #Conflicts: 1283000 | #Constraints: 89924
3442.20/3452.48 c #Conflicts: 1284000 | #Constraints: 90924
3442.20/3452.48 c #Conflicts: 1285000 | #Constraints: 91924
3442.20/3452.48 c #Conflicts: 1286000 | #Constraints: 92924
3442.20/3452.48 c #Conflicts: 1287000 | #Constraints: 93924
3442.20/3452.48 c #Conflicts: 1288000 | #Constraints: 94924
3442.20/3452.48 c #Conflicts: 1289000 | #Constraints: 95924
3442.20/3452.48 c #Conflicts: 1290000 | #Constraints: 96924
3442.20/3452.48 c #Conflicts: 1291000 | #Constraints: 97924
3442.20/3452.48 c #Conflicts: 1292000 | #Constraints: 98924
3442.20/3452.48 c #Conflicts: 1293000 | #Constraints: 99924
3442.20/3452.48 c #Conflicts: 1294000 | #Constraints: 100924
3442.20/3452.48 c #Conflicts: 1295000 | #Constraints: 101924
3442.20/3452.48 c #Conflicts: 1296000 | #Constraints: 102924
3442.20/3452.48 c #Conflicts: 1297000 | #Constraints: 103924
3442.20/3452.48 c #Conflicts: 1298000 | #Constraints: 104924
3442.20/3452.48 c #Conflicts: 1299000 | #Constraints: 105924
3442.20/3452.48 c #Conflicts: 1300000 | #Constraints: 106924
3442.20/3452.48 c #Conflicts: 1301000 | #Constraints: 107924
3442.20/3452.48 c #Conflicts: 1302000 | #Constraints: 108924
3442.20/3452.48 c #Conflicts: 1303000 | #Constraints: 109924
3442.20/3452.48 c #Conflicts: 1304000 | #Constraints: 110924
3442.20/3452.48 c #Conflicts: 1305000 | #Constraints: 111924
3442.20/3452.48 c #Conflicts: 1306000 | #Constraints: 112924
3442.20/3452.48 c #Conflicts: 1307000 | #Constraints: 113924
3442.20/3452.48 c #Conflicts: 1308000 | #Constraints: 114924
3442.20/3452.48 c #Conflicts: 1309000 | #Constraints: 115924
3442.20/3452.48 c #Conflicts: 1310000 | #Constraints: 116924
3442.20/3452.48 c #Conflicts: 1311000 | #Constraints: 117924
3442.20/3452.48 c #Conflicts: 1312000 | #Constraints: 118924
3442.20/3452.48 c #Conflicts: 1313000 | #Constraints: 119924
3442.20/3452.48 c #Conflicts: 1314000 | #Constraints: 120924
3442.20/3452.48 c #Conflicts: 1315000 | #Constraints: 121924
3442.20/3452.48 c #Conflicts: 1316000 | #Constraints: 122924
3442.20/3452.48 c #Conflicts: 1317000 | #Constraints: 123924
3442.20/3452.48 c #Conflicts: 1318000 | #Constraints: 124924
3442.20/3452.48 c #Conflicts: 1319000 | #Constraints: 125924
3442.20/3452.48 c #Conflicts: 1320000 | #Constraints: 126924
3442.20/3452.48 c #Conflicts: 1321000 | #Constraints: 127924
3442.20/3452.48 c #Conflicts: 1322000 | #Constraints: 128924
3600.09/3610.70 c #Conflicts: 1323000 | #Constraints: 129924
3600.09/3610.70 c #Conflicts: 1324000 | #Constraints: 130924
3600.09/3610.70 c #Conflicts: 1325000 | #Constraints: 131924
3600.09/3610.70 c #Conflicts: 1326000 | #Constraints: 132924
3600.09/3610.70 c #Conflicts: 1327000 | #Constraints: 133924
3600.09/3610.70 c #Conflicts: 1328000 | #Constraints: 134924
3600.09/3610.70 c #Conflicts: 1329000 | #Constraints: 135924
3600.09/3610.70 c #Conflicts: 1330000 | #Constraints: 136924
3600.09/3610.70 c #Conflicts: 1331000 | #Constraints: 137924
3600.09/3610.70 c #Conflicts: 1332000 | #Constraints: 138924
3600.09/3610.70 c #Conflicts: 1333000 | #Constraints: 139924
3600.09/3610.70 c #Conflicts: 1334000 | #Constraints: 140924
3600.09/3610.70 c #Conflicts: 1335000 | #Constraints: 141924
3600.09/3610.70 c #Conflicts: 1336000 | #Constraints: 142924
3600.09/3610.70 c #Conflicts: 1337000 | #Constraints: 143924
3600.09/3610.70 c #Conflicts: 1338000 | #Constraints: 144924
3600.09/3610.70 c #Conflicts: 1339000 | #Constraints: 145924
3600.09/3610.70 c #Conflicts: 1340000 | #Constraints: 146924
3600.09/3610.70 c #Conflicts: 1341000 | #Constraints: 147924
3600.09/3610.70 c #Conflicts: 1342000 | #Constraints: 148924
3600.09/3610.70 c #Conflicts: 1343000 | #Constraints: 149924
3600.09/3610.70 c #Conflicts: 1344000 | #Constraints: 150924
3600.09/3610.70 c #Conflicts: 1345000 | #Constraints: 151924
3600.09/3610.70 c #Conflicts: 1346000 | #Constraints: 152924
3600.09/3610.70 c #Conflicts: 1347000 | #Constraints: 153924
3600.09/3610.70 c INPROCESSING
3600.09/3610.70 c GARBAGE COLLECT
3600.09/3610.70 c Disabling crashed LP
3600.09/3610.70 c cpu time 3566.47 s
3600.09/3610.70 c deterministic time 228847541223 2.29e+11
3600.09/3610.70 c optimization time 0.003937 s
3600.09/3610.70 c total solve time 3566.35 s
3600.09/3610.70 c core-guided solve time 0 s
3600.09/3610.70 c propagation time 1800.64 s
3600.09/3610.70 c conflict analysis time 1292.81 s
3600.09/3610.70 c propagations 1342052790
3600.09/3610.70 c resolve steps 84260297
3600.09/3610.70 c decisions 30080578
3600.09/3610.70 c conflicts 1347500
3600.09/3610.70 c restarts 2557
3600.09/3610.70 c inprocessing phases 49
3600.09/3610.70 c garbage collections 49 ,( 100.00 )
3600.09/3610.70 c input clauses 20282 ,( 99.17 )
3600.09/3610.70 c input cardinalities 169 ,( 0.83 )
3600.09/3610.70 c input general constraints 0 ,( 0.00 )
3600.09/3610.70 c input average constraint length 6.43
3600.09/3610.70 c input average constraint degree 1.97
3600.09/3610.70 c learned clauses 991305 ,( 73.57 )
3600.09/3610.70 c learned cardinalities 44681 ,( 3.32 )
3600.09/3610.70 c learned general constraints 311524 ,( 23.12 )
3600.09/3610.70 c learned average constraint length 747.53
3600.09/3610.70 c learned average constraint degree 21505372.25
3600.09/3610.70 c watched CF 32, 64, 128, Arb: 80979 , 0 , 0 , 0
3600.09/3610.70 c counting CF 32, 64, 128, Arb: 230545 , 0 , 0 , 0
3600.09/3610.70 c watched constraints 80979 ,( 25.99 )
3600.09/3610.70 c counting constraints 230545 ,( 74.01 )
3600.09/3610.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1249524146 , 674125886 , 1932459645 ,( 81820886 , 1850638759 )
3600.09/3610.70 c gcd simplifications 784
3600.09/3610.70 c detected cardinalities 6537
3600.09/3610.70 c weakened non-implied lits 373767796
3600.09/3610.70 c weakened non-implying lits 209044
3600.09/3610.70 c original variables 20111
3600.09/3610.70 c clausal propagations 615463767
3600.09/3610.70 c cardinality propagations 496082617
3600.09/3610.70 c watched propagations 4271892
3600.09/3610.70 c counting propagations 213554612
3600.09/3610.70 c watch lookups 77012063939
3600.09/3610.70 c watch backjump lookups 0
3600.09/3610.70 c watch checks 31867172698
3600.09/3610.70 c propagation checks 112474625511
3600.09/3610.70 c constraint additions 4747796410
3600.09/3610.70 c trail pops 1373479900
3600.09/3610.70 c formula constraints 20451
3600.09/3610.70 c learned constraints 1347495
3600.09/3610.70 c bound constraints 0
3600.09/3610.70 c core-guided constraints 0
3600.09/3610.70 c encountered formula constraints 53661627
3600.09/3610.70 c encountered learned constraints 31945098
3600.09/3610.70 c encountered bound constraints 0
3600.09/3610.70 c encountered core-guided constraints 0
3600.09/3610.70 c LP total time 420.688 s
3600.09/3610.70 c LP solve time 412.07 s
3600.09/3610.70 c LP constraints added 20843
3600.09/3610.70 c LP constraints removed 37
3600.09/3610.70 c LP pivots internal 134771
3600.09/3610.70 c LP pivots root 134625
3600.09/3610.70 c LP calls 17
3600.09/3610.70 c LP optimalities 5
3600.09/3610.70 c LP no pivot count 0
3600.09/3610.70 c LP infeasibilities 5
3600.09/3610.70 c LP valid Farkas constraints 5
3600.09/3610.70 c LP learned Farkas constraints 5
3600.09/3610.70 c LP basis resets 0
3600.09/3610.70 c LP cycling count 0
3600.09/3610.70 c LP singular count 0
3600.09/3610.70 c LP no primal count 0
3600.09/3610.70 c LP no farkas count 0
3600.09/3610.70 c LP other issue count 0
3600.09/3610.70 c LP Gomory cuts 5
3600.09/3610.70 c LP learned cuts 387
3600.09/3610.70 c LP deleted cuts 37
3600.09/3610.70 c LP encountered Gomory constraints 583
3600.09/3610.70 c LP encountered Farkas constraints 472
3600.09/3610.70 c LP encountered learned Farkas constraints 12
3600.09/3610.70 c CG auxiliary variables introduced 0
3600.09/3610.70 c CG solutions found 0
3600.09/3610.70 c CG cores constructed 0
3600.09/3610.70 c CG core cardinality constraints returned 0
3600.09/3610.70 c CG unit cores 0
3600.09/3610.70 c CG single cores 0
3600.09/3610.70 c CG blocks removed during cardinality reduction 0
3600.09/3610.70 c CG first core best 0
3600.09/3610.70 c CG decision core best 0
3600.09/3610.70 c CG core reduction tie 0
3600.09/3610.70 c CG core degree average 0.00
3600.09/3610.70 c CG core slack average 0.00
3600.09/3610.70 c CG core upper bound improvements 0
3600.09/3610.70 c STR number of successful calls 0
3600.09/3610.70 c STR number of unsuccessful calls 0
3600.09/3610.70 c STR number of inconclusive calls 0
3600.09/3610.70 c STR number of successful attempts 0
3600.09/3610.70 c STR number of unsuccessful attempts 0
3600.09/3610.70 c STR number of inconclusive attempts 0
3600.09/3610.70 c STR average degree increase per successful call inf
3600.09/3610.70 c STR average degree increase per successful attempt inf
3600.09/3610.70 c STR total number of conflicts for successful attempts 0
3600.09/3610.70 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3610.70 c STR total number of conflicts for inconclusive attempts 0
3600.09/3610.70 c STR average number of conflicts per successful attempt inf
3600.09/3610.70 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3610.70 c STR average number of conflicts per inconclusive attempt inf
3600.09/3610.70 c AVG.sumWPerc 65.82
3600.09/3610.70 c bigint constraints 0
3600.09/3610.70 s UNKNOWN
3600.09/3610.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61005 MiB free)
memory of node 1: 64465 MiB (60076 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506763-1751172131/watcher-4506763-1751172131 -o /tmp/evaluation-result-4506763-1751172131/solver-4506763-1751172131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20846 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4506763-1751172131.opb PROOFDIR/proof-4506763-1751172131
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21221, runsolver pid=21218
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.08 4.08 3.75 5/274 21223
/proc/meminfo: memFree=123985460/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=69020 memory=22604 CPUtime=0.08 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 3991 0 0 0 6 2 0 0 20 0 1 0 32887638 70676480 5651 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 17255 5651 2016 1147 0 4682 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 73212 KiB
Current children cumulated memory: 25548 KiB
[startup+0.206147 s]*
/proc/loadavg: 4.08 4.08 3.75 5/274 21223
/proc/meminfo: memFree=123973172/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=112364 memory=59000 CPUtime=0.18 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 11902 0 0 0 15 3 0 0 20 0 1 0 32887638 115060736 14750 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 28091 14750 2272 1147 0 15518 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 116556 KiB
Current children cumulated memory: 61944 KiB
[startup+0.306166 s]*
/proc/loadavg: 4.08 4.08 3.75 5/274 21223
/proc/meminfo: memFree=123973172/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=115964 memory=60792 CPUtime=0.28 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 12333 0 0 0 25 3 0 0 20 0 1 0 32887638 118747136 15198 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 28991 15198 2272 1147 0 16418 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 120156 KiB
Current children cumulated memory: 63736 KiB
[startup+0.700199 s]
/proc/loadavg: 4.08 4.08 3.75 5/274 21223
/proc/meminfo: memFree=123973620/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=116200 memory=61816 CPUtime=0.68 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 12545 0 0 0 64 4 0 0 20 0 1 0 32887638 118988800 15454 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 29050 15454 2304 1147 0 16477 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 120392 KiB
Current children cumulated memory: 64760 KiB
[startup+1.5002 s]
/proc/loadavg: 4.08 4.08 3.75 5/274 21223
/proc/meminfo: memFree=123973620/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=116200 memory=61816 CPUtime=1.47 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 12545 0 0 0 143 4 0 0 20 0 1 0 32887638 118988800 15454 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 29050 15454 2304 1147 0 16477 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 120392 KiB
Current children cumulated memory: 64760 KiB
[startup+3.10607 s]
/proc/loadavg: 4.08 4.08 3.75 5/274 21223
/proc/meminfo: memFree=123990668/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=118792 memory=64760 CPUtime=3.07 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 13285 0 0 0 303 4 0 0 20 0 1 0 32887638 121643008 16190 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 29698 16190 2304 1147 0 17125 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 122984 KiB
Current children cumulated memory: 67704 KiB
[startup+6.30019 s]
/proc/loadavg: 4.08 4.08 3.75 5/274 21223
/proc/meminfo: memFree=124031044/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=123776 memory=73852 CPUtime=6.25 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 15057 0 0 0 613 12 0 0 20 0 1 0 32887638 126746624 18463 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 30944 18463 2336 1147 0 18371 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 127968 KiB
Current children cumulated memory: 76796 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.09 3.76 5/274 21223
/proc/meminfo: memFree=124080056/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=133256 memory=81660 CPUtime=12.64 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 17024 0 0 0 1235 29 0 0 20 0 1 0 32887638 136454144 20415 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 33314 20415 2336 1147 0 20741 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 137448 KiB
Current children cumulated memory: 84604 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 3.76 5/274 21223
/proc/meminfo: memFree=124055504/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=161356 memory=108772 CPUtime=25.4 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 22290 0 0 0 2481 59 0 0 20 0 1 0 32887638 165228544 27193 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 40339 27193 2336 1147 0 27766 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 165548 KiB
Current children cumulated memory: 111716 KiB
[startup+51.1061 s]
/proc/loadavg: 4.08 4.08 3.77 5/274 21224
/proc/meminfo: memFree=123961068/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=190076 memory=131916 CPUtime=50.93 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 27115 0 0 0 4984 109 0 0 20 0 1 0 32887638 194637824 32979 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 47519 32979 2336 1147 0 34946 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 194268 KiB
Current children cumulated memory: 134860 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.10 3.79 5/272 21230
/proc/meminfo: memFree=123824700/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=233744 memory=173964 CPUtime=101.98 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 33528 0 0 0 10020 178 0 0 20 0 1 0 32887638 239353856 43491 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 58436 43491 2336 1147 0 45863 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 237936 KiB
Current children cumulated memory: 176908 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 3.82 5/273 21233
/proc/meminfo: memFree=123580208/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=285288 memory=214840 CPUtime=161.82 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 39184 0 0 0 15893 289 0 0 20 0 1 0 32887638 292134912 53710 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 71322 53710 2336 1147 0 58749 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 289480 KiB
Current children cumulated memory: 217784 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 3.83 5/275 21237
/proc/meminfo: memFree=123394744/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=306460 memory=236600 CPUtime=221.65 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 44623 0 0 0 21785 380 0 0 20 0 1 0 32887638 313815040 59150 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
################
# More data... #
################
/proc/21223/statm: 290408 242219 2368 1147 0 277835 0
Current children cumulated CPU time: 3093.02 s
Current children cumulated vsize: 1165824 KiB
Current children cumulated memory: 971820 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/274 21547
/proc/meminfo: memFree=115828656/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=1166628 memory=972588 CPUtime=3152.87 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 134091 0 0 0 312228 3059 0 0 20 0 1 0 32887638 1194627072 243147 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 291657 243147 2368 1147 0 279084 0
Current children cumulated CPU time: 3152.87 s
Current children cumulated vsize: 1170820 KiB
Current children cumulated memory: 975532 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/275 21551
/proc/meminfo: memFree=115270368/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=1167552 memory=974380 CPUtime=3212.71 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 134555 0 0 0 318180 3091 0 0 20 0 1 0 32887638 1195573248 243595 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 291888 243595 2368 1147 0 279315 0
Current children cumulated CPU time: 3212.71 s
Current children cumulated vsize: 1171744 KiB
Current children cumulated memory: 977324 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/274 21553
/proc/meminfo: memFree=114839876/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=1179160 memory=983596 CPUtime=3272.55 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 136864 0 0 0 324111 3144 0 0 20 0 1 0 32887638 1207459840 245899 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 294790 245899 2368 1147 0 282217 0
Current children cumulated CPU time: 3272.55 s
Current children cumulated vsize: 1183352 KiB
Current children cumulated memory: 986540 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/275 21556
/proc/meminfo: memFree=114368236/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=1179160 memory=983596 CPUtime=3332.4 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 136864 0 0 0 330030 3210 0 0 20 0 1 0 32887638 1207459840 245899 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 294790 245899 2368 1147 0 282217 0
Current children cumulated CPU time: 3332.4 s
Current children cumulated vsize: 1183352 KiB
Current children cumulated memory: 986540 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/274 21559
/proc/meminfo: memFree=113884448/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=1179160 memory=983596 CPUtime=3392.24 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 136871 0 0 0 335944 3280 0 0 20 0 1 0 32887638 1207459840 245899 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 294790 245899 2368 1147 0 282217 0
Current children cumulated CPU time: 3392.24 s
Current children cumulated vsize: 1183352 KiB
Current children cumulated memory: 986540 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/276 21563
/proc/meminfo: memFree=113460076/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=1179160 memory=983596 CPUtime=3452.08 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 136872 0 0 0 341899 3309 0 0 20 0 1 0 32887638 1207459840 245899 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 294790 245899 2368 1147 0 282217 0
Current children cumulated CPU time: 3452.08 s
Current children cumulated vsize: 1183352 KiB
Current children cumulated memory: 986540 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/276 21565
/proc/meminfo: memFree=112803404/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=1180676 memory=984876 CPUtime=3511.93 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 137340 0 0 0 347860 3333 0 0 20 0 1 0 32887638 1209012224 246219 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 295169 246219 2368 1147 0 282596 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 1184868 KiB
Current children cumulated memory: 987820 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/275 21568
/proc/meminfo: memFree=112340352/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=1188548 memory=992044 CPUtime=3571.76 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 139176 0 0 0 353822 3354 0 0 20 0 1 0 32887638 1217073152 248011 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 297137 248011 2368 1147 0 284564 0
Current children cumulated CPU time: 3571.76 s
Current children cumulated vsize: 1192740 KiB
Current children cumulated memory: 994988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.11 4.11 4.09 5/274 21569
/proc/meminfo: memFree=112207056/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=1188548 memory=992044 CPUtime=3600.09 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 139176 0 0 0 356645 3364 0 0 20 0 1 0 32887638 1217073152 248011 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 297137 248011 2368 1147 0 284564 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1192740 KiB
Current children cumulated memory: 994988 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.7 s]
# the end of solver process 21221 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000953 s, system=0.000952 s
[startup+3610.73 s]
# the end of solver process 21223 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3566.48 s, system=33.6512 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.11 4.11 4.09 5/274 21569
/proc/meminfo: memFree=112207056/131249992 swapFree=33010672/33010684
[pid=21221] ppid=21218 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/21221/stat : 21221 (run-dec-ls-log.) S 21218 21221 20833 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32887637 4292608 736 18446744073709551615 94559208898560 94559209793093 140727795282016 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94559210032144 94559210079888 94559238197248 140727795288347 140727795288545 140727795288545 140727795294147 0
/proc/21221/statm: 1048 736 672 219 0 110 0
[pid=21223] ppid=21221 vsize=1188548 memory=992044 CPUtime=3600.09 cores=5,7
/proc/21223/stat : 21223 (roundingsat) R 21221 21221 20833 0 -1 4194304 139176 0 0 0 356645 3364 0 0 20 0 1 0 32887638 1217073152 248011 18446744073709551615 4227072 8923433 140734063525616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28504064 140734063532368 140734063532584 140734063532584 140734063538154 0
/proc/21223/statm: 297137 248011 2368 1147 0 284564 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1192740 KiB
Current children cumulated memory: 994988 KiB
Child status: 2
Real time (s): 3610.73
CPU time (s): 3600.13
CPU user time (s): 3566.48
CPU system time (s): 33.6512
CPU usage (%): 99.7066
Max. virtual memory (cumulated for all children) (KiB): 1192740
Max. memory (cumulated for all children) (KiB): 994988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.48
system time used= 33.6512
maximum resident set size= 992428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139406
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11207304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 292
involuntary context switches= 22399
# summary of solver processes directly reported to runsolver:
# pid: 21221,21223
# total CPU time (s): 3600.13
# total CPU user time (s): 3566.48
# total CPU system time (s): 33.6512
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0957 second user time and 18.2737 second system time
The end
Begin job on nodeC035 at 2025-06-29 06:42:11
IDJOB=4506763
IDBENCH=158263
IDSOLVER=3354
FILE ID=nodeC035/4506763-1751172131
RUNJOBID= nodeC035-1751170667-20846
SLURM_JOB_ID= 9587529
Free space on /tmp= 432944 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K169.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506763-1751172131/watcher-4506763-1751172131 -o /tmp/evaluation-result-4506763-1751172131/solver-4506763-1751172131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751170667-20846 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4506763-1751172131.opb PROOFDIR/proof-4506763-1751172131
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e3ebae4cd87024085ca08d92094a2c8e
RANDOM SEED=1860366589
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.742
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.664
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3579.265
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3637.393
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.760
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.985
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.527
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.712
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 123987544 kB
MemAvailable: 126996644 kB
Buffers: 2352 kB
Cached: 3804052 kB
SwapCached: 8 kB
Active: 2835476 kB
Inactive: 3604848 kB
Active(anon): 2645944 kB
Inactive(anon): 6040 kB
Active(file): 189532 kB
Inactive(file): 3598808 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18832 kB
Writeback: 0 kB
AnonPages: 2634820 kB
Mapped: 115256 kB
Shmem: 18056 kB
KReclaimable: 119996 kB
Slab: 205880 kB
SReclaimable: 119996 kB
SUnreclaim: 85884 kB
KernelStack: 4416 kB
PageTables: 8384 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3186360 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2226176 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC035 at 2025-06-29 07:42:22