0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
1.57/1.63 c #variables 3741 #constraints 423980
1.57/1.63 c objective is ce32
2.08/2.13 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.08/2.13 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
2.08/2.13 c GLOBAL bounds - >= -3153 @ 1.51173
2.08/2.15 c GLOBAL bounds - >= -3153 @ 1.52939
2.08/2.16 c GLOBAL bounds - >= -3153 @ 1.53609
2.08/2.16 c GLOBAL bounds - >= -3153 @ 1.54027
2.08/2.17 c GLOBAL bounds - >= -3153 @ 1.54458
2.08/2.17 c GLOBAL bounds - >= -3153 @ 1.54815
2.08/2.17 c GLOBAL bounds - >= -3153 @ 1.55115
2.08/2.18 c GLOBAL bounds - >= -3153 @ 1.55508
2.08/2.18 c GLOBAL bounds - >= -3153 @ 1.5593
2.08/2.19 c GLOBAL bounds - >= -3153 @ 1.56357
2.08/2.19 c GLOBAL bounds - >= -3153 @ 1.56797
2.17/2.20 c GLOBAL bounds - >= -3153 @ 1.5721
2.17/2.20 c GLOBAL bounds - >= -3153 @ 1.5767
2.17/2.21 c GLOBAL bounds - >= -3153 @ 1.58051
2.17/2.21 c GLOBAL bounds - >= -3153 @ 1.58496
2.17/2.22 c GLOBAL bounds - >= -3153 @ 1.59009
2.17/2.22 c GLOBAL bounds - >= -3153 @ 1.59408
2.17/2.23 c GLOBAL bounds - >= -3153 @ 1.60196
2.17/2.25 c GLOBAL bounds - >= -3153 @ 1.62426
2.17/2.27 c GLOBAL bounds - >= -3153 @ 1.64554
2.27/2.31 c GLOBAL bounds - >= -3153 @ 1.68055
2.27/2.33 c GLOBAL bounds - >= -3153 @ 1.70509
2.27/2.35 c GLOBAL bounds - >= -3153 @ 1.72221
2.27/2.37 c GLOBAL bounds - >= -3153 @ 1.73915
2.37/2.40 c GLOBAL bounds - >= -3153 @ 1.77259
2.37/2.42 c GLOBAL bounds - >= -3153 @ 1.7922
2.77/2.82 c GLOBAL bounds - >= -3153 @ 2.18736
2.77/2.89 c GLOBAL bounds - >= -3153 @ 2.25685
2.87/2.93 c GLOBAL bounds - >= -3153 @ 2.29177
2.87/2.97 c GLOBAL bounds - >= -3153 @ 2.33269
2.87/2.98 c GLOBAL bounds - >= -3153 @ 2.33982
2.87/2.99 c GLOBAL bounds - >= -3153 @ 2.34582
2.87/2.99 c GLOBAL bounds - >= -3153 @ 2.35409
2.87/3.00 c GLOBAL bounds - >= -3153 @ 2.35985
2.98/3.01 c GLOBAL bounds - >= -3153 @ 2.36557
2.98/3.01 c GLOBAL bounds - >= -3153 @ 2.37261
2.98/3.02 c GLOBAL bounds - >= -3153 @ 2.37751
3.56/3.68 c GLOBAL bounds - >= -3153 @ 3.03479
5.87/5.98 c #Conflicts: 1000 | #Constraints: 244788
5.87/5.98 c GLOBAL bounds - >= -3153 @ 5.32436
6.36/6.45 c GLOBAL bounds - >= -3153 @ 5.79302
7.46/7.58 c GLOBAL bounds - >= -3153 @ 6.91491
7.97/8.02 c GLOBAL bounds - >= -3153 @ 7.35209
7.97/8.04 c GLOBAL bounds - >= -3153 @ 7.37265
7.97/8.05 c GLOBAL bounds - >= -3153 @ 7.38394
7.97/8.07 c GLOBAL bounds - >= -3153 @ 7.39523
8.16/8.21 c GLOBAL bounds - >= -3153 @ 7.54048
9.75/9.88 c #Conflicts: 2000 | #Constraints: 245804
9.75/9.88 c INPROCESSING
9.75/9.88 c GARBAGE COLLECT
9.75/9.88 c GLOBAL bounds - >= -3153 @ 9.19997
43.99/44.13 c #Conflicts: 3000 | #Constraints: 245807
43.99/44.13 c #Conflicts: 4000 | #Constraints: 246807
43.99/44.13 c INPROCESSING
43.99/44.13 c GARBAGE COLLECT
43.99/44.13 c #Conflicts: 5000 | #Constraints: 246209
43.99/44.13 c #Conflicts: 6000 | #Constraints: 247209
43.99/44.13 c INPROCESSING
43.99/44.13 c GARBAGE COLLECT
43.99/44.13 c #Conflicts: 7000 | #Constraints: 246211
43.99/44.13 c #Conflicts: 8000 | #Constraints: 247211
43.99/44.13 c #Conflicts: 9000 | #Constraints: 248211
43.99/44.13 c INPROCESSING
43.99/44.13 c GARBAGE COLLECT
43.99/44.13 c #Conflicts: 10000 | #Constraints: 246911
43.99/44.13 c #Conflicts: 11000 | #Constraints: 247911
43.99/44.13 c #Conflicts: 12000 | #Constraints: 248911
43.99/44.13 c INPROCESSING
43.99/44.13 c GARBAGE COLLECT
43.99/44.13 c #Conflicts: 13000 | #Constraints: 247361
43.99/44.13 c GLOBAL bounds - >= -3153 @ 43.349
65.03/65.27 c #Conflicts: 14000 | #Constraints: 248363
65.03/65.27 c #Conflicts: 15000 | #Constraints: 249363
65.03/65.27 c INPROCESSING
65.03/65.27 c GARBAGE COLLECT
65.03/65.27 c #Conflicts: 16000 | #Constraints: 247590
65.03/65.27 c #Conflicts: 17000 | #Constraints: 248590
65.03/65.27 c #Conflicts: 18000 | #Constraints: 249590
65.03/65.27 c INPROCESSING
65.03/65.27 c GARBAGE COLLECT
65.03/65.27 c #Conflicts: 19000 | #Constraints: 247604
65.03/65.27 c GLOBAL bounds - >= -3153 @ 64.4093
65.03/65.28 c GLOBAL bounds - >= -3153 @ 64.4204
320.77/321.50 c #Conflicts: 20000 | #Constraints: 248608
320.77/321.50 c #Conflicts: 21000 | #Constraints: 249608
320.77/321.50 c INPROCESSING
320.77/321.50 c GARBAGE COLLECT
320.77/321.50 c #Conflicts: 22000 | #Constraints: 247414
320.77/321.50 c #Conflicts: 23000 | #Constraints: 248414
320.77/321.50 c #Conflicts: 24000 | #Constraints: 249414
320.77/321.50 c #Conflicts: 25000 | #Constraints: 250414
320.77/321.50 c INPROCESSING
320.77/321.50 c GARBAGE COLLECT
320.77/321.50 c #Conflicts: 26000 | #Constraints: 248017
320.77/321.50 c #Conflicts: 27000 | #Constraints: 249017
320.77/321.50 c #Conflicts: 28000 | #Constraints: 250017
320.77/321.50 c #Conflicts: 29000 | #Constraints: 251017
320.77/321.50 c INPROCESSING
320.77/321.50 c GARBAGE COLLECT
320.77/321.50 c #Conflicts: 30000 | #Constraints: 248418
320.77/321.50 c #Conflicts: 31000 | #Constraints: 249418
320.77/321.50 c #Conflicts: 32000 | #Constraints: 250418
320.77/321.50 c #Conflicts: 33000 | #Constraints: 251418
320.77/321.50 c INPROCESSING
320.77/321.50 c GARBAGE COLLECT
320.77/321.50 c #Conflicts: 34000 | #Constraints: 248620
320.77/321.50 c #Conflicts: 35000 | #Constraints: 249620
320.77/321.50 c #Conflicts: 36000 | #Constraints: 250620
320.77/321.50 c #Conflicts: 37000 | #Constraints: 251620
320.77/321.50 c INPROCESSING
320.77/321.50 c GARBAGE COLLECT
320.77/321.50 c #Conflicts: 38000 | #Constraints: 248622
320.77/321.50 c #Conflicts: 39000 | #Constraints: 249622
320.77/321.50 c #Conflicts: 40000 | #Constraints: 250622
320.77/321.50 c #Conflicts: 41000 | #Constraints: 251622
320.77/321.50 c INPROCESSING
320.77/321.50 c GARBAGE COLLECT
320.77/321.50 c #Conflicts: 42000 | #Constraints: 248423
320.77/321.50 c #Conflicts: 43000 | #Constraints: 249423
320.77/321.50 c #Conflicts: 44000 | #Constraints: 250423
320.77/321.50 c #Conflicts: 45000 | #Constraints: 251423
320.77/321.50 c #Conflicts: 46000 | #Constraints: 252423
320.77/321.50 c INPROCESSING
320.77/321.50 c GARBAGE COLLECT
320.77/321.50 c #Conflicts: 47000 | #Constraints: 249021
320.77/321.50 c #Conflicts: 48000 | #Constraints: 250021
320.77/321.50 c #Conflicts: 49000 | #Constraints: 251021
320.77/321.50 c #Conflicts: 50000 | #Constraints: 252021
320.77/321.50 c #Conflicts: 51000 | #Constraints: 253021
320.77/321.50 c INPROCESSING
320.77/321.50 c GARBAGE COLLECT
320.77/321.50 c #Conflicts: 52000 | #Constraints: 249421
320.77/321.50 c #Conflicts: 53000 | #Constraints: 250421
320.77/321.50 c #Conflicts: 54000 | #Constraints: 251421
320.77/321.50 c #Conflicts: 55000 | #Constraints: 252421
320.77/321.50 c #Conflicts: 56000 | #Constraints: 253421
320.77/321.50 c INPROCESSING
320.77/321.50 c GARBAGE COLLECT
320.77/321.50 c #Conflicts: 57000 | #Constraints: 249620
320.77/321.50 c #Conflicts: 58000 | #Constraints: 250620
320.77/321.50 c #Conflicts: 59000 | #Constraints: 251620
320.77/321.50 c #Conflicts: 60000 | #Constraints: 252620
320.77/321.50 c #Conflicts: 61000 | #Constraints: 253620
320.77/321.50 c INPROCESSING
320.77/321.50 c GARBAGE COLLECT
320.77/321.50 c #Conflicts: 62000 | #Constraints: 249621
320.77/321.50 c #Conflicts: 63000 | #Constraints: 250621
320.77/321.50 c #Conflicts: 64000 | #Constraints: 251621
320.77/321.50 c #Conflicts: 65000 | #Constraints: 252621
320.77/321.50 c #Conflicts: 66000 | #Constraints: 253621
320.77/321.50 c INPROCESSING
320.77/321.50 c GARBAGE COLLECT
320.77/321.50 c #Conflicts: 67000 | #Constraints: 249420
320.77/321.50 c #Conflicts: 68000 | #Constraints: 250420
320.77/321.50 c #Conflicts: 69000 | #Constraints: 251420
320.77/321.50 c #Conflicts: 70000 | #Constraints: 252420
320.77/321.50 c #Conflicts: 71000 | #Constraints: 253420
320.77/321.50 c #Conflicts: 72000 | #Constraints: 254420
320.77/321.50 c INPROCESSING
320.77/321.50 c GARBAGE COLLECT
320.77/321.50 c #Conflicts: 73000 | #Constraints: 250021
320.77/321.50 c #Conflicts: 74000 | #Constraints: 251021
320.77/321.50 c #Conflicts: 75000 | #Constraints: 252021
320.77/321.50 c #Conflicts: 76000 | #Constraints: 253021
320.77/321.50 c #Conflicts: 77000 | #Constraints: 254021
320.77/321.50 c #Conflicts: 78000 | #Constraints: 255021
320.77/321.50 c INPROCESSING
320.77/321.50 c GARBAGE COLLECT
320.77/321.50 c #Conflicts: 79000 | #Constraints: 250422
320.77/321.50 c #Conflicts: 80000 | #Constraints: 251422
320.77/321.50 c #Conflicts: 81000 | #Constraints: 252422
320.77/321.50 c #Conflicts: 82000 | #Constraints: 253422
320.77/321.50 c #Conflicts: 83000 | #Constraints: 254422
320.77/321.50 c #Conflicts: 84000 | #Constraints: 255422
320.77/321.50 c INPROCESSING
320.77/321.50 c GARBAGE COLLECT
320.77/321.50 c #Conflicts: 85000 | #Constraints: 250622
320.77/321.50 c #Conflicts: 86000 | #Constraints: 251622
320.77/321.50 c #Conflicts: 87000 | #Constraints: 252622
320.77/321.50 c #Conflicts: 88000 | #Constraints: 253622
320.77/321.50 c #Conflicts: 89000 | #Constraints: 254622
616.81/618.22 c #Conflicts: 90000 | #Constraints: 255622
616.81/618.22 c INPROCESSING
616.81/618.22 c GARBAGE COLLECT
616.81/618.22 c #Conflicts: 91000 | #Constraints: 250621
616.81/618.22 c #Conflicts: 92000 | #Constraints: 251621
616.81/618.22 c #Conflicts: 93000 | #Constraints: 252621
616.81/618.22 c #Conflicts: 94000 | #Constraints: 253621
616.81/618.22 c #Conflicts: 95000 | #Constraints: 254621
616.81/618.22 c #Conflicts: 96000 | #Constraints: 255621
616.81/618.22 c INPROCESSING
616.81/618.22 c GARBAGE COLLECT
616.81/618.22 c #Conflicts: 97000 | #Constraints: 250421
616.81/618.22 c #Conflicts: 98000 | #Constraints: 251421
616.81/618.22 c #Conflicts: 99000 | #Constraints: 252421
616.81/618.22 c #Conflicts: 100000 | #Constraints: 253421
616.81/618.22 c #Conflicts: 101000 | #Constraints: 254421
616.81/618.22 c #Conflicts: 102000 | #Constraints: 255421
616.81/618.22 c #Conflicts: 103000 | #Constraints: 256421
616.81/618.22 c INPROCESSING
616.81/618.22 c GARBAGE COLLECT
616.81/618.22 c #Conflicts: 104000 | #Constraints: 251018
616.81/618.22 c #Conflicts: 105000 | #Constraints: 252018
616.81/618.22 c #Conflicts: 106000 | #Constraints: 253018
616.81/618.22 c #Conflicts: 107000 | #Constraints: 254018
616.81/618.22 c #Conflicts: 108000 | #Constraints: 255018
616.81/618.22 c #Conflicts: 109000 | #Constraints: 256018
616.81/618.22 c #Conflicts: 110000 | #Constraints: 257018
616.81/618.22 c INPROCESSING
616.81/618.22 c GARBAGE COLLECT
616.81/618.22 c #Conflicts: 111000 | #Constraints: 251418
616.81/618.22 c #Conflicts: 112000 | #Constraints: 252418
616.81/618.22 c #Conflicts: 113000 | #Constraints: 253418
616.81/618.22 c #Conflicts: 114000 | #Constraints: 254418
616.81/618.22 c #Conflicts: 115000 | #Constraints: 255418
616.81/618.22 c #Conflicts: 116000 | #Constraints: 256418
616.81/618.22 c #Conflicts: 117000 | #Constraints: 257418
616.81/618.22 c INPROCESSING
616.81/618.22 c GARBAGE COLLECT
616.81/618.22 c #Conflicts: 118000 | #Constraints: 251621
616.81/618.22 c #Conflicts: 119000 | #Constraints: 252621
616.81/618.22 c #Conflicts: 120000 | #Constraints: 253621
616.81/618.22 c #Conflicts: 121000 | #Constraints: 254621
616.81/618.22 c #Conflicts: 122000 | #Constraints: 255621
616.81/618.22 c #Conflicts: 123000 | #Constraints: 256621
616.81/618.22 c #Conflicts: 124000 | #Constraints: 257621
616.81/618.22 c INPROCESSING
616.81/618.22 c GARBAGE COLLECT
616.81/618.22 c #Conflicts: 125000 | #Constraints: 251622
616.81/618.22 c #Conflicts: 126000 | #Constraints: 252622
616.81/618.22 c #Conflicts: 127000 | #Constraints: 253622
616.81/618.22 c #Conflicts: 128000 | #Constraints: 254622
616.81/618.22 c #Conflicts: 129000 | #Constraints: 255622
616.81/618.22 c #Conflicts: 130000 | #Constraints: 256622
616.81/618.22 c #Conflicts: 131000 | #Constraints: 257622
616.81/618.22 c INPROCESSING
616.81/618.22 c GARBAGE COLLECT
616.81/618.22 c #Conflicts: 132000 | #Constraints: 251422
616.81/618.22 c #Conflicts: 133000 | #Constraints: 252422
616.81/618.22 c #Conflicts: 134000 | #Constraints: 253422
616.81/618.22 c #Conflicts: 135000 | #Constraints: 254422
616.81/618.22 c #Conflicts: 136000 | #Constraints: 255422
616.81/618.22 c #Conflicts: 137000 | #Constraints: 256422
616.81/618.22 c #Conflicts: 138000 | #Constraints: 257422
616.81/618.22 c #Conflicts: 139000 | #Constraints: 258422
616.81/618.22 c INPROCESSING
616.81/618.22 c GARBAGE COLLECT
616.81/618.22 c #Conflicts: 140000 | #Constraints: 252023
616.81/618.22 c #Conflicts: 141000 | #Constraints: 253023
616.81/618.22 c #Conflicts: 142000 | #Constraints: 254023
616.81/618.22 c #Conflicts: 143000 | #Constraints: 255023
616.81/618.22 c #Conflicts: 144000 | #Constraints: 256023
616.81/618.22 c #Conflicts: 145000 | #Constraints: 257023
616.81/618.22 c #Conflicts: 146000 | #Constraints: 258023
616.81/618.22 c #Conflicts: 147000 | #Constraints: 259023
616.81/618.22 c INPROCESSING
616.81/618.22 c GARBAGE COLLECT
616.81/618.22 c #Conflicts: 148000 | #Constraints: 252423
616.81/618.22 c #Conflicts: 149000 | #Constraints: 253423
616.81/618.22 c #Conflicts: 150000 | #Constraints: 254423
616.81/618.22 c #Conflicts: 151000 | #Constraints: 255423
616.81/618.22 c #Conflicts: 152000 | #Constraints: 256423
616.81/618.22 c #Conflicts: 153000 | #Constraints: 257423
616.81/618.22 c #Conflicts: 154000 | #Constraints: 258423
616.81/618.22 c #Conflicts: 155000 | #Constraints: 259423
616.81/618.22 c INPROCESSING
616.81/618.22 c GARBAGE COLLECT
616.81/618.22 c #Conflicts: 156000 | #Constraints: 252623
616.81/618.22 c #Conflicts: 157000 | #Constraints: 253623
616.81/618.22 c #Conflicts: 158000 | #Constraints: 254623
616.81/618.22 c #Conflicts: 159000 | #Constraints: 255623
616.81/618.22 c #Conflicts: 160000 | #Constraints: 256623
616.81/618.22 c #Conflicts: 161000 | #Constraints: 257623
616.81/618.22 c #Conflicts: 162000 | #Constraints: 258623
923.29/925.43 c #Conflicts: 163000 | #Constraints: 259623
923.29/925.43 c INPROCESSING
923.29/925.43 c GARBAGE COLLECT
923.29/925.43 c #Conflicts: 164000 | #Constraints: 252624
923.29/925.43 c #Conflicts: 165000 | #Constraints: 253624
923.29/925.43 c #Conflicts: 166000 | #Constraints: 254624
923.29/925.43 c #Conflicts: 167000 | #Constraints: 255624
923.29/925.43 c #Conflicts: 168000 | #Constraints: 256624
923.29/925.43 c #Conflicts: 169000 | #Constraints: 257624
923.29/925.43 c #Conflicts: 170000 | #Constraints: 258624
923.29/925.43 c #Conflicts: 171000 | #Constraints: 259624
923.29/925.43 c INPROCESSING
923.29/925.43 c GARBAGE COLLECT
923.29/925.43 c #Conflicts: 172000 | #Constraints: 252424
923.29/925.43 c #Conflicts: 173000 | #Constraints: 253424
923.29/925.43 c #Conflicts: 174000 | #Constraints: 254424
923.29/925.43 c #Conflicts: 175000 | #Constraints: 255424
923.29/925.43 c #Conflicts: 176000 | #Constraints: 256424
923.29/925.43 c #Conflicts: 177000 | #Constraints: 257424
923.29/925.43 c #Conflicts: 178000 | #Constraints: 258424
923.29/925.43 c #Conflicts: 179000 | #Constraints: 259424
923.29/925.43 c #Conflicts: 180000 | #Constraints: 260424
923.29/925.43 c INPROCESSING
923.29/925.43 c GARBAGE COLLECT
923.29/925.43 c #Conflicts: 181000 | #Constraints: 253025
923.29/925.43 c #Conflicts: 182000 | #Constraints: 254025
923.29/925.43 c #Conflicts: 183000 | #Constraints: 255025
923.29/925.43 c #Conflicts: 184000 | #Constraints: 256025
923.29/925.43 c #Conflicts: 185000 | #Constraints: 257025
923.29/925.43 c #Conflicts: 186000 | #Constraints: 258025
923.29/925.43 c #Conflicts: 187000 | #Constraints: 259025
923.29/925.43 c #Conflicts: 188000 | #Constraints: 260025
923.29/925.43 c #Conflicts: 189000 | #Constraints: 261025
923.29/925.43 c INPROCESSING
923.29/925.43 c GARBAGE COLLECT
923.29/925.43 c #Conflicts: 190000 | #Constraints: 253426
923.29/925.43 c #Conflicts: 191000 | #Constraints: 254426
923.29/925.43 c #Conflicts: 192000 | #Constraints: 255426
923.29/925.43 c #Conflicts: 193000 | #Constraints: 256426
923.29/925.43 c #Conflicts: 194000 | #Constraints: 257426
923.29/925.43 c #Conflicts: 195000 | #Constraints: 258426
923.29/925.43 c #Conflicts: 196000 | #Constraints: 259426
923.29/925.43 c #Conflicts: 197000 | #Constraints: 260426
923.29/925.43 c #Conflicts: 198000 | #Constraints: 261426
923.29/925.43 c INPROCESSING
923.29/925.43 c GARBAGE COLLECT
923.29/925.43 c #Conflicts: 199000 | #Constraints: 253626
923.29/925.43 c #Conflicts: 200000 | #Constraints: 254626
923.29/925.43 c #Conflicts: 201000 | #Constraints: 255626
923.29/925.43 c #Conflicts: 202000 | #Constraints: 256626
923.29/925.43 c #Conflicts: 203000 | #Constraints: 257626
923.29/925.43 c #Conflicts: 204000 | #Constraints: 258626
923.29/925.43 c #Conflicts: 205000 | #Constraints: 259626
923.29/925.43 c #Conflicts: 206000 | #Constraints: 260626
923.29/925.43 c #Conflicts: 207000 | #Constraints: 261626
923.29/925.43 c INPROCESSING
923.29/925.43 c GARBAGE COLLECT
923.29/925.43 c #Conflicts: 208000 | #Constraints: 253624
923.29/925.43 c #Conflicts: 209000 | #Constraints: 254624
923.29/925.43 c #Conflicts: 210000 | #Constraints: 255624
923.29/925.43 c #Conflicts: 211000 | #Constraints: 256624
923.29/925.43 c #Conflicts: 212000 | #Constraints: 257624
923.29/925.43 c #Conflicts: 213000 | #Constraints: 258624
923.29/925.43 c #Conflicts: 214000 | #Constraints: 259624
923.29/925.43 c #Conflicts: 215000 | #Constraints: 260624
923.29/925.43 c #Conflicts: 216000 | #Constraints: 261624
923.29/925.43 c INPROCESSING
923.29/925.43 c GARBAGE COLLECT
923.29/925.43 c #Conflicts: 217000 | #Constraints: 253426
923.29/925.43 c #Conflicts: 218000 | #Constraints: 254426
923.29/925.43 c #Conflicts: 219000 | #Constraints: 255426
923.29/925.43 c #Conflicts: 220000 | #Constraints: 256426
923.29/925.43 c #Conflicts: 221000 | #Constraints: 257426
923.29/925.43 c #Conflicts: 222000 | #Constraints: 258426
923.29/925.43 c #Conflicts: 223000 | #Constraints: 259426
923.29/925.43 c #Conflicts: 224000 | #Constraints: 260426
923.29/925.43 c #Conflicts: 225000 | #Constraints: 261426
923.29/925.43 c #Conflicts: 226000 | #Constraints: 262426
923.29/925.43 c INPROCESSING
923.29/925.43 c GARBAGE COLLECT
923.29/925.43 c #Conflicts: 227000 | #Constraints: 254029
923.29/925.43 c #Conflicts: 228000 | #Constraints: 255029
923.29/925.43 c #Conflicts: 229000 | #Constraints: 256029
923.29/925.43 c #Conflicts: 230000 | #Constraints: 257029
923.29/925.43 c #Conflicts: 231000 | #Constraints: 258029
923.29/925.43 c #Conflicts: 232000 | #Constraints: 259029
923.29/925.43 c #Conflicts: 233000 | #Constraints: 260029
923.29/925.43 c #Conflicts: 234000 | #Constraints: 261029
923.29/925.43 c #Conflicts: 235000 | #Constraints: 262029
1172.12/1174.94 c #Conflicts: 236000 | #Constraints: 263029
1172.12/1174.94 c INPROCESSING
1172.12/1174.94 c GARBAGE COLLECT
1172.12/1174.94 c #Conflicts: 237000 | #Constraints: 254427
1172.12/1174.94 c #Conflicts: 238000 | #Constraints: 255427
1172.12/1174.94 c #Conflicts: 239000 | #Constraints: 256427
1172.12/1174.94 c #Conflicts: 240000 | #Constraints: 257427
1172.12/1174.94 c #Conflicts: 241000 | #Constraints: 258427
1172.12/1174.94 c #Conflicts: 242000 | #Constraints: 259427
1172.12/1174.94 c #Conflicts: 243000 | #Constraints: 260427
1172.12/1174.94 c #Conflicts: 244000 | #Constraints: 261427
1172.12/1174.94 c #Conflicts: 245000 | #Constraints: 262427
1172.12/1174.94 c #Conflicts: 246000 | #Constraints: 263427
1172.12/1174.94 c INPROCESSING
1172.12/1174.94 c GARBAGE COLLECT
1172.12/1174.94 c #Conflicts: 247000 | #Constraints: 254627
1172.12/1174.94 c #Conflicts: 248000 | #Constraints: 255627
1172.12/1174.94 c #Conflicts: 249000 | #Constraints: 256627
1172.12/1174.94 c #Conflicts: 250000 | #Constraints: 257627
1172.12/1174.94 c #Conflicts: 251000 | #Constraints: 258627
1172.12/1174.94 c #Conflicts: 252000 | #Constraints: 259627
1172.12/1174.94 c #Conflicts: 253000 | #Constraints: 260627
1172.12/1174.94 c #Conflicts: 254000 | #Constraints: 261627
1172.12/1174.94 c #Conflicts: 255000 | #Constraints: 262627
1172.12/1174.94 c #Conflicts: 256000 | #Constraints: 263627
1172.12/1174.94 c INPROCESSING
1172.12/1174.94 c GARBAGE COLLECT
1172.12/1174.94 c #Conflicts: 257000 | #Constraints: 254628
1172.12/1174.94 c #Conflicts: 258000 | #Constraints: 255628
1172.12/1174.94 c #Conflicts: 259000 | #Constraints: 256628
1172.12/1174.94 c #Conflicts: 260000 | #Constraints: 257628
1172.12/1174.94 c #Conflicts: 261000 | #Constraints: 258628
1172.12/1174.94 c #Conflicts: 262000 | #Constraints: 259628
1172.12/1174.94 c #Conflicts: 263000 | #Constraints: 260628
1172.12/1174.94 c #Conflicts: 264000 | #Constraints: 261628
1172.12/1174.94 c #Conflicts: 265000 | #Constraints: 262628
1172.12/1174.94 c #Conflicts: 266000 | #Constraints: 263628
1172.12/1174.94 c INPROCESSING
1172.12/1174.94 c GARBAGE COLLECT
1172.12/1174.94 c #Conflicts: 267000 | #Constraints: 254428
1172.12/1174.94 c #Conflicts: 268000 | #Constraints: 255428
1172.12/1174.94 c #Conflicts: 269000 | #Constraints: 256428
1172.12/1174.94 c #Conflicts: 270000 | #Constraints: 257428
1172.12/1174.94 c #Conflicts: 271000 | #Constraints: 258428
1172.12/1174.94 c #Conflicts: 272000 | #Constraints: 259428
1172.12/1174.94 c #Conflicts: 273000 | #Constraints: 260428
1172.12/1174.94 c #Conflicts: 274000 | #Constraints: 261428
1172.12/1174.94 c #Conflicts: 275000 | #Constraints: 262428
1172.12/1174.94 c #Conflicts: 276000 | #Constraints: 263428
1172.12/1174.94 c #Conflicts: 277000 | #Constraints: 264428
1172.12/1174.94 c INPROCESSING
1172.12/1174.94 c GARBAGE COLLECT
1172.12/1174.94 c #Conflicts: 278000 | #Constraints: 255025
1172.12/1174.94 c #Conflicts: 279000 | #Constraints: 256025
1172.12/1174.94 c #Conflicts: 280000 | #Constraints: 257025
1172.12/1174.94 c #Conflicts: 281000 | #Constraints: 258025
1172.12/1174.94 c #Conflicts: 282000 | #Constraints: 259025
1172.12/1174.94 c #Conflicts: 283000 | #Constraints: 260025
1172.12/1174.94 c #Conflicts: 284000 | #Constraints: 261025
1172.12/1174.94 c #Conflicts: 285000 | #Constraints: 262025
1172.12/1174.94 c #Conflicts: 286000 | #Constraints: 263025
1172.12/1174.94 c #Conflicts: 287000 | #Constraints: 264025
1172.12/1174.94 c #Conflicts: 288000 | #Constraints: 265025
1172.12/1174.94 c INPROCESSING
1172.12/1174.94 c GARBAGE COLLECT
1172.12/1174.94 c #Conflicts: 289000 | #Constraints: 255423
1172.12/1174.94 c #Conflicts: 290000 | #Constraints: 256423
1172.12/1174.94 c #Conflicts: 291000 | #Constraints: 257423
1172.12/1174.94 c #Conflicts: 292000 | #Constraints: 258423
1172.12/1174.94 c #Conflicts: 293000 | #Constraints: 259423
1172.12/1174.94 c #Conflicts: 294000 | #Constraints: 260423
1172.12/1174.94 c #Conflicts: 295000 | #Constraints: 261423
1172.12/1174.94 c #Conflicts: 296000 | #Constraints: 262423
1172.12/1174.94 c #Conflicts: 297000 | #Constraints: 263423
1172.12/1174.94 c #Conflicts: 298000 | #Constraints: 264423
1172.12/1174.94 c #Conflicts: 299000 | #Constraints: 265423
1172.12/1174.94 c INPROCESSING
1172.12/1174.94 c GARBAGE COLLECT
1172.12/1174.94 c #Conflicts: 300000 | #Constraints: 255623
1172.12/1174.94 c #Conflicts: 301000 | #Constraints: 256623
1172.12/1174.94 c #Conflicts: 302000 | #Constraints: 257623
1172.12/1174.94 c #Conflicts: 303000 | #Constraints: 258623
1172.12/1174.94 c #Conflicts: 304000 | #Constraints: 259623
1172.12/1174.94 c #Conflicts: 305000 | #Constraints: 260623
1172.12/1174.94 c #Conflicts: 306000 | #Constraints: 261623
1172.12/1174.94 c #Conflicts: 307000 | #Constraints: 262623
1172.12/1174.94 c #Conflicts: 308000 | #Constraints: 263623
1172.12/1174.94 c #Conflicts: 309000 | #Constraints: 264623
1172.12/1174.94 c #Conflicts: 310000 | #Constraints: 265623
1381.55/1384.94 c INPROCESSING
1381.55/1384.94 c GARBAGE COLLECT
1381.55/1384.94 c #Conflicts: 311000 | #Constraints: 255621
1381.55/1384.94 c #Conflicts: 312000 | #Constraints: 256621
1381.55/1384.94 c #Conflicts: 313000 | #Constraints: 257621
1381.55/1384.94 c #Conflicts: 314000 | #Constraints: 258621
1381.55/1384.94 c #Conflicts: 315000 | #Constraints: 259621
1381.55/1384.94 c #Conflicts: 316000 | #Constraints: 260621
1381.55/1384.94 c #Conflicts: 317000 | #Constraints: 261621
1381.55/1384.94 c #Conflicts: 318000 | #Constraints: 262621
1381.55/1384.94 c #Conflicts: 319000 | #Constraints: 263621
1381.55/1384.94 c #Conflicts: 320000 | #Constraints: 264621
1381.55/1384.94 c #Conflicts: 321000 | #Constraints: 265621
1381.55/1384.94 c INPROCESSING
1381.55/1384.94 c GARBAGE COLLECT
1381.55/1384.94 c #Conflicts: 322000 | #Constraints: 255424
1381.55/1384.94 c #Conflicts: 323000 | #Constraints: 256424
1381.55/1384.94 c #Conflicts: 324000 | #Constraints: 257424
1381.55/1384.94 c #Conflicts: 325000 | #Constraints: 258424
1381.55/1384.94 c #Conflicts: 326000 | #Constraints: 259424
1381.55/1384.94 c #Conflicts: 327000 | #Constraints: 260424
1381.55/1384.94 c #Conflicts: 328000 | #Constraints: 261424
1381.55/1384.94 c #Conflicts: 329000 | #Constraints: 262424
1381.55/1384.94 c #Conflicts: 330000 | #Constraints: 263424
1381.55/1384.94 c #Conflicts: 331000 | #Constraints: 264424
1381.55/1384.94 c #Conflicts: 332000 | #Constraints: 265424
1381.55/1384.94 c #Conflicts: 333000 | #Constraints: 266424
1381.55/1384.94 c INPROCESSING
1381.55/1384.94 c GARBAGE COLLECT
1381.55/1384.94 c #Conflicts: 334000 | #Constraints: 256025
1381.55/1384.94 c #Conflicts: 335000 | #Constraints: 257025
1381.55/1384.94 c #Conflicts: 336000 | #Constraints: 258025
1381.55/1384.94 c #Conflicts: 337000 | #Constraints: 259025
1381.55/1384.94 c #Conflicts: 338000 | #Constraints: 260025
1381.55/1384.94 c #Conflicts: 339000 | #Constraints: 261025
1381.55/1384.94 c #Conflicts: 340000 | #Constraints: 262025
1381.55/1384.94 c #Conflicts: 341000 | #Constraints: 263025
1381.55/1384.94 c #Conflicts: 342000 | #Constraints: 264025
1381.55/1384.94 c #Conflicts: 343000 | #Constraints: 265025
1381.55/1384.94 c #Conflicts: 344000 | #Constraints: 266025
1381.55/1384.94 c #Conflicts: 345000 | #Constraints: 267025
1381.55/1384.94 c INPROCESSING
1381.55/1384.94 c GARBAGE COLLECT
1381.55/1384.94 c #Conflicts: 346000 | #Constraints: 256427
1381.55/1384.94 c #Conflicts: 347000 | #Constraints: 257427
1381.55/1384.94 c #Conflicts: 348000 | #Constraints: 258427
1381.55/1384.94 c #Conflicts: 349000 | #Constraints: 259427
1381.55/1384.94 c #Conflicts: 350000 | #Constraints: 260427
1381.55/1384.94 c #Conflicts: 351000 | #Constraints: 261427
1381.55/1384.94 c #Conflicts: 352000 | #Constraints: 262427
1381.55/1384.94 c #Conflicts: 353000 | #Constraints: 263427
1381.55/1384.94 c #Conflicts: 354000 | #Constraints: 264427
1381.55/1384.94 c #Conflicts: 355000 | #Constraints: 265427
1381.55/1384.94 c #Conflicts: 356000 | #Constraints: 266427
1381.55/1384.94 c #Conflicts: 357000 | #Constraints: 267427
1381.55/1384.94 c INPROCESSING
1381.55/1384.94 c GARBAGE COLLECT
1381.55/1384.94 c #Conflicts: 358000 | #Constraints: 256625
1381.55/1384.94 c #Conflicts: 359000 | #Constraints: 257625
1381.55/1384.94 c #Conflicts: 360000 | #Constraints: 258625
1381.55/1384.94 c #Conflicts: 361000 | #Constraints: 259625
1381.55/1384.94 c #Conflicts: 362000 | #Constraints: 260625
1381.55/1384.94 c #Conflicts: 363000 | #Constraints: 261625
1381.55/1384.94 c #Conflicts: 364000 | #Constraints: 262625
1381.55/1384.94 c #Conflicts: 365000 | #Constraints: 263625
1381.55/1384.94 c #Conflicts: 366000 | #Constraints: 264625
1381.55/1384.94 c #Conflicts: 367000 | #Constraints: 265625
1381.55/1384.94 c #Conflicts: 368000 | #Constraints: 266625
1381.55/1384.94 c #Conflicts: 369000 | #Constraints: 267625
1381.55/1384.94 c INPROCESSING
1381.55/1384.94 c GARBAGE COLLECT
1381.55/1384.94 c #Conflicts: 370000 | #Constraints: 256624
1381.55/1384.94 c #Conflicts: 371000 | #Constraints: 257624
1381.55/1384.94 c #Conflicts: 372000 | #Constraints: 258624
1381.55/1384.94 c #Conflicts: 373000 | #Constraints: 259624
1381.55/1384.94 c #Conflicts: 374000 | #Constraints: 260624
1381.55/1384.94 c #Conflicts: 375000 | #Constraints: 261624
1381.55/1384.94 c #Conflicts: 376000 | #Constraints: 262624
1381.55/1384.94 c #Conflicts: 377000 | #Constraints: 263624
1381.55/1384.94 c #Conflicts: 378000 | #Constraints: 264624
1381.55/1384.94 c #Conflicts: 379000 | #Constraints: 265624
1381.55/1384.94 c #Conflicts: 380000 | #Constraints: 266624
1381.55/1384.94 c #Conflicts: 381000 | #Constraints: 267624
1381.55/1384.94 c INPROCESSING
1381.55/1384.94 c GARBAGE COLLECT
1381.55/1384.94 c #Conflicts: 382000 | #Constraints: 256425
1381.55/1384.94 c #Conflicts: 383000 | #Constraints: 257425
1381.55/1384.94 c #Conflicts: 384000 | #Constraints: 258425
1595.76/1599.75 c #Conflicts: 385000 | #Constraints: 259425
1595.76/1599.75 c #Conflicts: 386000 | #Constraints: 260425
1595.76/1599.75 c #Conflicts: 387000 | #Constraints: 261425
1595.76/1599.75 c #Conflicts: 388000 | #Constraints: 262425
1595.76/1599.75 c #Conflicts: 389000 | #Constraints: 263425
1595.76/1599.75 c #Conflicts: 390000 | #Constraints: 264425
1595.76/1599.75 c #Conflicts: 391000 | #Constraints: 265425
1595.76/1599.75 c #Conflicts: 392000 | #Constraints: 266425
1595.76/1599.75 c #Conflicts: 393000 | #Constraints: 267425
1595.76/1599.75 c #Conflicts: 394000 | #Constraints: 268425
1595.76/1599.75 c INPROCESSING
1595.76/1599.75 c GARBAGE COLLECT
1595.76/1599.75 c #Conflicts: 395000 | #Constraints: 257021
1595.76/1599.75 c #Conflicts: 396000 | #Constraints: 258021
1595.76/1599.75 c #Conflicts: 397000 | #Constraints: 259021
1595.76/1599.75 c #Conflicts: 398000 | #Constraints: 260021
1595.76/1599.75 c #Conflicts: 399000 | #Constraints: 261021
1595.76/1599.75 c #Conflicts: 400000 | #Constraints: 262021
1595.76/1599.75 c #Conflicts: 401000 | #Constraints: 263021
1595.76/1599.75 c #Conflicts: 402000 | #Constraints: 264021
1595.76/1599.75 c #Conflicts: 403000 | #Constraints: 265021
1595.76/1599.75 c #Conflicts: 404000 | #Constraints: 266021
1595.76/1599.75 c #Conflicts: 405000 | #Constraints: 267021
1595.76/1599.75 c #Conflicts: 406000 | #Constraints: 268021
1595.76/1599.75 c #Conflicts: 407000 | #Constraints: 269021
1595.76/1599.75 c INPROCESSING
1595.76/1599.75 c GARBAGE COLLECT
1595.76/1599.75 c #Conflicts: 408000 | #Constraints: 257422
1595.76/1599.75 c #Conflicts: 409000 | #Constraints: 258422
1595.76/1599.75 c #Conflicts: 410000 | #Constraints: 259422
1595.76/1599.75 c #Conflicts: 411000 | #Constraints: 260422
1595.76/1599.75 c #Conflicts: 412000 | #Constraints: 261422
1595.76/1599.75 c #Conflicts: 413000 | #Constraints: 262422
1595.76/1599.75 c #Conflicts: 414000 | #Constraints: 263422
1595.76/1599.75 c #Conflicts: 415000 | #Constraints: 264422
1595.76/1599.75 c #Conflicts: 416000 | #Constraints: 265422
1595.76/1599.75 c #Conflicts: 417000 | #Constraints: 266422
1595.76/1599.75 c #Conflicts: 418000 | #Constraints: 267422
1595.76/1599.75 c #Conflicts: 419000 | #Constraints: 268422
1595.76/1599.75 c #Conflicts: 420000 | #Constraints: 269422
1595.76/1599.75 c INPROCESSING
1595.76/1599.75 c GARBAGE COLLECT
1595.76/1599.75 c #Conflicts: 421000 | #Constraints: 257626
1595.76/1599.75 c #Conflicts: 422000 | #Constraints: 258626
1595.76/1599.75 c #Conflicts: 423000 | #Constraints: 259626
1595.76/1599.75 c #Conflicts: 424000 | #Constraints: 260626
1595.76/1599.75 c #Conflicts: 425000 | #Constraints: 261626
1595.76/1599.75 c #Conflicts: 426000 | #Constraints: 262626
1595.76/1599.75 c #Conflicts: 427000 | #Constraints: 263626
1595.76/1599.75 c #Conflicts: 428000 | #Constraints: 264626
1595.76/1599.75 c #Conflicts: 429000 | #Constraints: 265626
1595.76/1599.75 c #Conflicts: 430000 | #Constraints: 266626
1595.76/1599.75 c #Conflicts: 431000 | #Constraints: 267626
1595.76/1599.75 c #Conflicts: 432000 | #Constraints: 268626
1595.76/1599.75 c #Conflicts: 433000 | #Constraints: 269626
1595.76/1599.75 c INPROCESSING
1595.76/1599.75 c GARBAGE COLLECT
1595.76/1599.75 c #Conflicts: 434000 | #Constraints: 257627
1595.76/1599.75 c #Conflicts: 435000 | #Constraints: 258627
1595.76/1599.75 c #Conflicts: 436000 | #Constraints: 259627
1595.76/1599.75 c #Conflicts: 437000 | #Constraints: 260627
1595.76/1599.75 c #Conflicts: 438000 | #Constraints: 261627
1595.76/1599.75 c #Conflicts: 439000 | #Constraints: 262627
1595.76/1599.75 c #Conflicts: 440000 | #Constraints: 263627
1595.76/1599.75 c #Conflicts: 441000 | #Constraints: 264627
1595.76/1599.75 c #Conflicts: 442000 | #Constraints: 265627
1595.76/1599.75 c #Conflicts: 443000 | #Constraints: 266627
1595.76/1599.75 c #Conflicts: 444000 | #Constraints: 267627
1595.76/1599.75 c #Conflicts: 445000 | #Constraints: 268627
1595.76/1599.75 c #Conflicts: 446000 | #Constraints: 269627
1595.76/1599.75 c INPROCESSING
1595.76/1599.75 c GARBAGE COLLECT
1595.76/1599.75 c #Conflicts: 447000 | #Constraints: 257424
1595.76/1599.75 c #Conflicts: 448000 | #Constraints: 258424
1595.76/1599.75 c #Conflicts: 449000 | #Constraints: 259424
1595.76/1599.75 c #Conflicts: 450000 | #Constraints: 260424
1595.76/1599.75 c #Conflicts: 451000 | #Constraints: 261424
1595.76/1599.75 c #Conflicts: 452000 | #Constraints: 262424
1595.76/1599.75 c #Conflicts: 453000 | #Constraints: 263424
1595.76/1599.75 c #Conflicts: 454000 | #Constraints: 264424
1595.76/1599.75 c #Conflicts: 455000 | #Constraints: 265424
1595.76/1599.75 c #Conflicts: 456000 | #Constraints: 266424
1595.76/1599.75 c #Conflicts: 457000 | #Constraints: 267424
1595.76/1599.75 c #Conflicts: 458000 | #Constraints: 268424
1595.76/1599.75 c #Conflicts: 459000 | #Constraints: 269424
1595.76/1599.75 c #Conflicts: 460000 | #Constraints: 270424
1820.99/1825.56 c INPROCESSING
1820.99/1825.56 c GARBAGE COLLECT
1820.99/1825.56 c #Conflicts: 461000 | #Constraints: 258028
1820.99/1825.56 c #Conflicts: 462000 | #Constraints: 259028
1820.99/1825.56 c #Conflicts: 463000 | #Constraints: 260028
1820.99/1825.56 c #Conflicts: 464000 | #Constraints: 261028
1820.99/1825.56 c #Conflicts: 465000 | #Constraints: 262028
1820.99/1825.56 c #Conflicts: 466000 | #Constraints: 263028
1820.99/1825.56 c #Conflicts: 467000 | #Constraints: 264028
1820.99/1825.56 c #Conflicts: 468000 | #Constraints: 265028
1820.99/1825.56 c #Conflicts: 469000 | #Constraints: 266028
1820.99/1825.56 c #Conflicts: 470000 | #Constraints: 267028
1820.99/1825.56 c #Conflicts: 471000 | #Constraints: 268028
1820.99/1825.56 c #Conflicts: 472000 | #Constraints: 269028
1820.99/1825.56 c #Conflicts: 473000 | #Constraints: 270028
1820.99/1825.56 c #Conflicts: 474000 | #Constraints: 271028
1820.99/1825.56 c INPROCESSING
1820.99/1825.56 c GARBAGE COLLECT
1820.99/1825.56 c #Conflicts: 475000 | #Constraints: 258430
1820.99/1825.56 c #Conflicts: 476000 | #Constraints: 259430
1820.99/1825.56 c #Conflicts: 477000 | #Constraints: 260430
1820.99/1825.56 c #Conflicts: 478000 | #Constraints: 261430
1820.99/1825.56 c #Conflicts: 479000 | #Constraints: 262430
1820.99/1825.56 c #Conflicts: 480000 | #Constraints: 263430
1820.99/1825.56 c #Conflicts: 481000 | #Constraints: 264430
1820.99/1825.56 c #Conflicts: 482000 | #Constraints: 265430
1820.99/1825.56 c #Conflicts: 483000 | #Constraints: 266430
1820.99/1825.56 c #Conflicts: 484000 | #Constraints: 267430
1820.99/1825.56 c #Conflicts: 485000 | #Constraints: 268430
1820.99/1825.56 c #Conflicts: 486000 | #Constraints: 269430
1820.99/1825.56 c #Conflicts: 487000 | #Constraints: 270430
1820.99/1825.56 c #Conflicts: 488000 | #Constraints: 271430
1820.99/1825.56 c INPROCESSING
1820.99/1825.56 c GARBAGE COLLECT
1820.99/1825.56 c #Conflicts: 489000 | #Constraints: 258628
1820.99/1825.56 c #Conflicts: 490000 | #Constraints: 259628
1820.99/1825.56 c #Conflicts: 491000 | #Constraints: 260628
1820.99/1825.56 c #Conflicts: 492000 | #Constraints: 261628
1820.99/1825.56 c #Conflicts: 493000 | #Constraints: 262628
1820.99/1825.56 c #Conflicts: 494000 | #Constraints: 263628
1820.99/1825.56 c #Conflicts: 495000 | #Constraints: 264628
1820.99/1825.56 c #Conflicts: 496000 | #Constraints: 265628
1820.99/1825.56 c #Conflicts: 497000 | #Constraints: 266628
1820.99/1825.56 c #Conflicts: 498000 | #Constraints: 267628
1820.99/1825.56 c #Conflicts: 499000 | #Constraints: 268628
1820.99/1825.56 c #Conflicts: 500000 | #Constraints: 269628
1820.99/1825.56 c #Conflicts: 501000 | #Constraints: 270628
1820.99/1825.56 c #Conflicts: 502000 | #Constraints: 271628
1820.99/1825.56 c INPROCESSING
1820.99/1825.56 c GARBAGE COLLECT
1820.99/1825.56 c #Conflicts: 503000 | #Constraints: 258629
1820.99/1825.56 c #Conflicts: 504000 | #Constraints: 259629
1820.99/1825.56 c #Conflicts: 505000 | #Constraints: 260629
1820.99/1825.56 c #Conflicts: 506000 | #Constraints: 261629
1820.99/1825.56 c #Conflicts: 507000 | #Constraints: 262629
1820.99/1825.56 c #Conflicts: 508000 | #Constraints: 263629
1820.99/1825.56 c #Conflicts: 509000 | #Constraints: 264629
1820.99/1825.56 c #Conflicts: 510000 | #Constraints: 265629
1820.99/1825.56 c #Conflicts: 511000 | #Constraints: 266629
1820.99/1825.56 c #Conflicts: 512000 | #Constraints: 267629
1820.99/1825.56 c #Conflicts: 513000 | #Constraints: 268629
1820.99/1825.56 c #Conflicts: 514000 | #Constraints: 269629
1820.99/1825.56 c #Conflicts: 515000 | #Constraints: 270629
1820.99/1825.56 c #Conflicts: 516000 | #Constraints: 271629
1820.99/1825.56 c INPROCESSING
1820.99/1825.56 c GARBAGE COLLECT
1820.99/1825.56 c #Conflicts: 517000 | #Constraints: 258430
1820.99/1825.56 c #Conflicts: 518000 | #Constraints: 259430
1820.99/1825.56 c #Conflicts: 519000 | #Constraints: 260430
1820.99/1825.56 c #Conflicts: 520000 | #Constraints: 261430
1820.99/1825.56 c #Conflicts: 521000 | #Constraints: 262430
1820.99/1825.56 c #Conflicts: 522000 | #Constraints: 263430
1820.99/1825.56 c #Conflicts: 523000 | #Constraints: 264430
1820.99/1825.56 c #Conflicts: 524000 | #Constraints: 265430
1820.99/1825.56 c #Conflicts: 525000 | #Constraints: 266430
1820.99/1825.56 c #Conflicts: 526000 | #Constraints: 267430
1820.99/1825.56 c #Conflicts: 527000 | #Constraints: 268430
1820.99/1825.56 c #Conflicts: 528000 | #Constraints: 269430
1820.99/1825.56 c #Conflicts: 529000 | #Constraints: 270430
1820.99/1825.56 c #Conflicts: 530000 | #Constraints: 271430
1820.99/1825.56 c #Conflicts: 531000 | #Constraints: 272430
1820.99/1825.56 c INPROCESSING
1820.99/1825.56 c GARBAGE COLLECT
1820.99/1825.56 c #Conflicts: 532000 | #Constraints: 259030
1820.99/1825.56 c #Conflicts: 533000 | #Constraints: 260030
1820.99/1825.56 c #Conflicts: 534000 | #Constraints: 261030
1820.99/1825.56 c #Conflicts: 535000 | #Constraints: 262030
2017.55/2022.58 c #Conflicts: 536000 | #Constraints: 263030
2017.55/2022.58 c #Conflicts: 537000 | #Constraints: 264030
2017.55/2022.58 c #Conflicts: 538000 | #Constraints: 265030
2017.55/2022.58 c #Conflicts: 539000 | #Constraints: 266030
2017.55/2022.58 c #Conflicts: 540000 | #Constraints: 267030
2017.55/2022.58 c #Conflicts: 541000 | #Constraints: 268030
2017.55/2022.58 c #Conflicts: 542000 | #Constraints: 269030
2017.55/2022.58 c #Conflicts: 543000 | #Constraints: 270030
2017.55/2022.58 c #Conflicts: 544000 | #Constraints: 271030
2017.55/2022.58 c #Conflicts: 545000 | #Constraints: 272030
2017.55/2022.58 c #Conflicts: 546000 | #Constraints: 273030
2017.55/2022.58 c INPROCESSING
2017.55/2022.58 c GARBAGE COLLECT
2017.55/2022.58 c #Conflicts: 547000 | #Constraints: 259430
2017.55/2022.58 c #Conflicts: 548000 | #Constraints: 260430
2017.55/2022.58 c #Conflicts: 549000 | #Constraints: 261430
2017.55/2022.58 c #Conflicts: 550000 | #Constraints: 262430
2017.55/2022.58 c #Conflicts: 551000 | #Constraints: 263430
2017.55/2022.58 c #Conflicts: 552000 | #Constraints: 264430
2017.55/2022.58 c #Conflicts: 553000 | #Constraints: 265430
2017.55/2022.58 c #Conflicts: 554000 | #Constraints: 266430
2017.55/2022.58 c #Conflicts: 555000 | #Constraints: 267430
2017.55/2022.58 c #Conflicts: 556000 | #Constraints: 268430
2017.55/2022.58 c #Conflicts: 557000 | #Constraints: 269430
2017.55/2022.58 c #Conflicts: 558000 | #Constraints: 270430
2017.55/2022.58 c #Conflicts: 559000 | #Constraints: 271430
2017.55/2022.58 c #Conflicts: 560000 | #Constraints: 272430
2017.55/2022.58 c #Conflicts: 561000 | #Constraints: 273430
2017.55/2022.58 c INPROCESSING
2017.55/2022.58 c GARBAGE COLLECT
2017.55/2022.58 c #Conflicts: 562000 | #Constraints: 259629
2017.55/2022.58 c #Conflicts: 563000 | #Constraints: 260629
2017.55/2022.58 c #Conflicts: 564000 | #Constraints: 261629
2017.55/2022.58 c #Conflicts: 565000 | #Constraints: 262629
2017.55/2022.58 c #Conflicts: 566000 | #Constraints: 263629
2017.55/2022.58 c #Conflicts: 567000 | #Constraints: 264629
2017.55/2022.58 c #Conflicts: 568000 | #Constraints: 265629
2017.55/2022.58 c #Conflicts: 569000 | #Constraints: 266629
2017.55/2022.58 c #Conflicts: 570000 | #Constraints: 267629
2017.55/2022.58 c #Conflicts: 571000 | #Constraints: 268629
2017.55/2022.58 c #Conflicts: 572000 | #Constraints: 269629
2017.55/2022.58 c #Conflicts: 573000 | #Constraints: 270629
2017.55/2022.58 c #Conflicts: 574000 | #Constraints: 271629
2017.55/2022.58 c #Conflicts: 575000 | #Constraints: 272629
2017.55/2022.58 c #Conflicts: 576000 | #Constraints: 273629
2017.55/2022.58 c INPROCESSING
2017.55/2022.58 c GARBAGE COLLECT
2017.55/2022.58 c #Conflicts: 577000 | #Constraints: 259631
2017.55/2022.58 c #Conflicts: 578000 | #Constraints: 260631
2017.55/2022.58 c #Conflicts: 579000 | #Constraints: 261631
2017.55/2022.58 c #Conflicts: 580000 | #Constraints: 262631
2017.55/2022.58 c #Conflicts: 581000 | #Constraints: 263631
2017.55/2022.58 c #Conflicts: 582000 | #Constraints: 264631
2017.55/2022.58 c #Conflicts: 583000 | #Constraints: 265631
2017.55/2022.58 c #Conflicts: 584000 | #Constraints: 266631
2017.55/2022.58 c #Conflicts: 585000 | #Constraints: 267631
2017.55/2022.58 c #Conflicts: 586000 | #Constraints: 268631
2017.55/2022.58 c #Conflicts: 587000 | #Constraints: 269631
2017.55/2022.58 c #Conflicts: 588000 | #Constraints: 270631
2017.55/2022.58 c #Conflicts: 589000 | #Constraints: 271631
2017.55/2022.58 c #Conflicts: 590000 | #Constraints: 272631
2017.55/2022.58 c #Conflicts: 591000 | #Constraints: 273631
2017.55/2022.58 c INPROCESSING
2017.55/2022.58 c GARBAGE COLLECT
2017.55/2022.58 c #Conflicts: 592000 | #Constraints: 259430
2017.55/2022.58 c #Conflicts: 593000 | #Constraints: 260430
2017.55/2022.58 c #Conflicts: 594000 | #Constraints: 261430
2017.55/2022.58 c #Conflicts: 595000 | #Constraints: 262430
2017.55/2022.58 c #Conflicts: 596000 | #Constraints: 263430
2017.55/2022.58 c #Conflicts: 597000 | #Constraints: 264430
2017.55/2022.58 c #Conflicts: 598000 | #Constraints: 265430
2017.55/2022.58 c #Conflicts: 599000 | #Constraints: 266430
2017.55/2022.58 c #Conflicts: 600000 | #Constraints: 267430
2017.55/2022.58 c #Conflicts: 601000 | #Constraints: 268430
2017.55/2022.58 c #Conflicts: 602000 | #Constraints: 269430
2017.55/2022.58 c #Conflicts: 603000 | #Constraints: 270430
2017.55/2022.58 c #Conflicts: 604000 | #Constraints: 271430
2017.55/2022.58 c #Conflicts: 605000 | #Constraints: 272430
2017.55/2022.58 c #Conflicts: 606000 | #Constraints: 273430
2017.55/2022.58 c #Conflicts: 607000 | #Constraints: 274430
2017.55/2022.58 c INPROCESSING
2017.55/2022.58 c GARBAGE COLLECT
2017.55/2022.58 c #Conflicts: 608000 | #Constraints: 260030
2017.55/2022.58 c #Conflicts: 609000 | #Constraints: 261030
2017.55/2022.58 c #Conflicts: 610000 | #Constraints: 262030
2208.41/2213.81 c #Conflicts: 611000 | #Constraints: 263030
2208.41/2213.81 c #Conflicts: 612000 | #Constraints: 264030
2208.41/2213.81 c #Conflicts: 613000 | #Constraints: 265030
2208.41/2213.81 c #Conflicts: 614000 | #Constraints: 266030
2208.41/2213.81 c #Conflicts: 615000 | #Constraints: 267030
2208.41/2213.81 c #Conflicts: 616000 | #Constraints: 268030
2208.41/2213.81 c #Conflicts: 617000 | #Constraints: 269030
2208.41/2213.81 c #Conflicts: 618000 | #Constraints: 270030
2208.41/2213.81 c #Conflicts: 619000 | #Constraints: 271030
2208.41/2213.81 c #Conflicts: 620000 | #Constraints: 272030
2208.41/2213.81 c #Conflicts: 621000 | #Constraints: 273030
2208.41/2213.81 c #Conflicts: 622000 | #Constraints: 274030
2208.41/2213.81 c #Conflicts: 623000 | #Constraints: 275030
2208.41/2213.81 c INPROCESSING
2208.41/2213.81 c GARBAGE COLLECT
2208.41/2213.81 c #Conflicts: 624000 | #Constraints: 260428
2208.41/2213.81 c #Conflicts: 625000 | #Constraints: 261428
2208.41/2213.81 c #Conflicts: 626000 | #Constraints: 262428
2208.41/2213.81 c #Conflicts: 627000 | #Constraints: 263428
2208.41/2213.81 c #Conflicts: 628000 | #Constraints: 264428
2208.41/2213.81 c #Conflicts: 629000 | #Constraints: 265428
2208.41/2213.81 c #Conflicts: 630000 | #Constraints: 266428
2208.41/2213.81 c #Conflicts: 631000 | #Constraints: 267428
2208.41/2213.81 c #Conflicts: 632000 | #Constraints: 268428
2208.41/2213.81 c #Conflicts: 633000 | #Constraints: 269428
2208.41/2213.81 c #Conflicts: 634000 | #Constraints: 270428
2208.41/2213.81 c #Conflicts: 635000 | #Constraints: 271428
2208.41/2213.81 c #Conflicts: 636000 | #Constraints: 272428
2208.41/2213.81 c #Conflicts: 637000 | #Constraints: 273428
2208.41/2213.81 c #Conflicts: 638000 | #Constraints: 274428
2208.41/2213.81 c #Conflicts: 639000 | #Constraints: 275428
2208.41/2213.81 c INPROCESSING
2208.41/2213.81 c GARBAGE COLLECT
2208.41/2213.81 c #Conflicts: 640000 | #Constraints: 260631
2208.41/2213.81 c #Conflicts: 641000 | #Constraints: 261631
2208.41/2213.81 c #Conflicts: 642000 | #Constraints: 262631
2208.41/2213.81 c #Conflicts: 643000 | #Constraints: 263631
2208.41/2213.81 c #Conflicts: 644000 | #Constraints: 264631
2208.41/2213.81 c #Conflicts: 645000 | #Constraints: 265631
2208.41/2213.81 c #Conflicts: 646000 | #Constraints: 266631
2208.41/2213.81 c #Conflicts: 647000 | #Constraints: 267631
2208.41/2213.81 c #Conflicts: 648000 | #Constraints: 268631
2208.41/2213.81 c #Conflicts: 649000 | #Constraints: 269631
2208.41/2213.81 c #Conflicts: 650000 | #Constraints: 270631
2208.41/2213.81 c #Conflicts: 651000 | #Constraints: 271631
2208.41/2213.81 c #Conflicts: 652000 | #Constraints: 272631
2208.41/2213.81 c #Conflicts: 653000 | #Constraints: 273631
2208.41/2213.81 c #Conflicts: 654000 | #Constraints: 274631
2208.41/2213.81 c #Conflicts: 655000 | #Constraints: 275631
2208.41/2213.81 c INPROCESSING
2208.41/2213.81 c GARBAGE COLLECT
2208.41/2213.81 c #Conflicts: 656000 | #Constraints: 260632
2208.41/2213.81 c #Conflicts: 657000 | #Constraints: 261632
2208.41/2213.81 c #Conflicts: 658000 | #Constraints: 262632
2208.41/2213.81 c #Conflicts: 659000 | #Constraints: 263632
2208.41/2213.81 c #Conflicts: 660000 | #Constraints: 264632
2208.41/2213.81 c #Conflicts: 661000 | #Constraints: 265632
2208.41/2213.81 c #Conflicts: 662000 | #Constraints: 266632
2208.41/2213.81 c #Conflicts: 663000 | #Constraints: 267632
2208.41/2213.81 c #Conflicts: 664000 | #Constraints: 268632
2208.41/2213.81 c #Conflicts: 665000 | #Constraints: 269632
2208.41/2213.81 c #Conflicts: 666000 | #Constraints: 270632
2208.41/2213.81 c #Conflicts: 667000 | #Constraints: 271632
2208.41/2213.81 c #Conflicts: 668000 | #Constraints: 272632
2208.41/2213.81 c #Conflicts: 669000 | #Constraints: 273632
2208.41/2213.81 c #Conflicts: 670000 | #Constraints: 274632
2208.41/2213.81 c #Conflicts: 671000 | #Constraints: 275632
2208.41/2213.81 c INPROCESSING
2208.41/2213.81 c GARBAGE COLLECT
2208.41/2213.81 c #Conflicts: 672000 | #Constraints: 260433
2208.41/2213.81 c #Conflicts: 673000 | #Constraints: 261433
2208.41/2213.81 c #Conflicts: 674000 | #Constraints: 262433
2208.41/2213.81 c #Conflicts: 675000 | #Constraints: 263433
2208.41/2213.81 c #Conflicts: 676000 | #Constraints: 264433
2208.41/2213.81 c #Conflicts: 677000 | #Constraints: 265433
2208.41/2213.81 c #Conflicts: 678000 | #Constraints: 266433
2208.41/2213.81 c #Conflicts: 679000 | #Constraints: 267433
2208.41/2213.81 c #Conflicts: 680000 | #Constraints: 268433
2208.41/2213.81 c #Conflicts: 681000 | #Constraints: 269433
2208.41/2213.81 c #Conflicts: 682000 | #Constraints: 270433
2208.41/2213.81 c #Conflicts: 683000 | #Constraints: 271433
2208.41/2213.81 c #Conflicts: 684000 | #Constraints: 272433
2208.41/2213.81 c #Conflicts: 685000 | #Constraints: 273433
2208.41/2213.81 c #Conflicts: 686000 | #Constraints: 274433
2208.41/2213.81 c #Conflicts: 687000 | #Constraints: 275433
2396.83/2402.73 c #Conflicts: 688000 | #Constraints: 276433
2396.83/2402.73 c INPROCESSING
2396.83/2402.73 c GARBAGE COLLECT
2396.83/2402.73 c #Conflicts: 689000 | #Constraints: 261031
2396.83/2402.73 c #Conflicts: 690000 | #Constraints: 262031
2396.83/2402.73 c #Conflicts: 691000 | #Constraints: 263031
2396.83/2402.73 c #Conflicts: 692000 | #Constraints: 264031
2396.83/2402.73 c #Conflicts: 693000 | #Constraints: 265031
2396.83/2402.73 c #Conflicts: 694000 | #Constraints: 266031
2396.83/2402.73 c #Conflicts: 695000 | #Constraints: 267031
2396.83/2402.73 c #Conflicts: 696000 | #Constraints: 268031
2396.83/2402.73 c #Conflicts: 697000 | #Constraints: 269031
2396.83/2402.73 c #Conflicts: 698000 | #Constraints: 270031
2396.83/2402.73 c #Conflicts: 699000 | #Constraints: 271031
2396.83/2402.73 c #Conflicts: 700000 | #Constraints: 272031
2396.83/2402.73 c #Conflicts: 701000 | #Constraints: 273031
2396.83/2402.73 c #Conflicts: 702000 | #Constraints: 274031
2396.83/2402.73 c #Conflicts: 703000 | #Constraints: 275031
2396.83/2402.73 c #Conflicts: 704000 | #Constraints: 276031
2396.83/2402.73 c #Conflicts: 705000 | #Constraints: 277031
2396.83/2402.73 c INPROCESSING
2396.83/2402.73 c GARBAGE COLLECT
2396.83/2402.73 c #Conflicts: 706000 | #Constraints: 261429
2396.83/2402.73 c #Conflicts: 707000 | #Constraints: 262429
2396.83/2402.73 c #Conflicts: 708000 | #Constraints: 263429
2396.83/2402.73 c #Conflicts: 709000 | #Constraints: 264429
2396.83/2402.73 c #Conflicts: 710000 | #Constraints: 265429
2396.83/2402.73 c #Conflicts: 711000 | #Constraints: 266429
2396.83/2402.73 c #Conflicts: 712000 | #Constraints: 267429
2396.83/2402.73 c #Conflicts: 713000 | #Constraints: 268429
2396.83/2402.73 c #Conflicts: 714000 | #Constraints: 269429
2396.83/2402.73 c #Conflicts: 715000 | #Constraints: 270429
2396.83/2402.73 c #Conflicts: 716000 | #Constraints: 271429
2396.83/2402.73 c #Conflicts: 717000 | #Constraints: 272429
2396.83/2402.73 c #Conflicts: 718000 | #Constraints: 273429
2396.83/2402.73 c #Conflicts: 719000 | #Constraints: 274429
2396.83/2402.73 c #Conflicts: 720000 | #Constraints: 275429
2396.83/2402.73 c #Conflicts: 721000 | #Constraints: 276429
2396.83/2402.73 c #Conflicts: 722000 | #Constraints: 277429
2396.83/2402.73 c INPROCESSING
2396.83/2402.73 c GARBAGE COLLECT
2396.83/2402.73 c #Conflicts: 723000 | #Constraints: 261632
2396.83/2402.73 c #Conflicts: 724000 | #Constraints: 262632
2396.83/2402.73 c #Conflicts: 725000 | #Constraints: 263632
2396.83/2402.73 c #Conflicts: 726000 | #Constraints: 264632
2396.83/2402.73 c #Conflicts: 727000 | #Constraints: 265632
2396.83/2402.73 c #Conflicts: 728000 | #Constraints: 266632
2396.83/2402.73 c #Conflicts: 729000 | #Constraints: 267632
2396.83/2402.73 c #Conflicts: 730000 | #Constraints: 268632
2396.83/2402.73 c #Conflicts: 731000 | #Constraints: 269632
2396.83/2402.73 c #Conflicts: 732000 | #Constraints: 270632
2396.83/2402.73 c #Conflicts: 733000 | #Constraints: 271632
2396.83/2402.73 c #Conflicts: 734000 | #Constraints: 272632
2396.83/2402.73 c #Conflicts: 735000 | #Constraints: 273632
2396.83/2402.73 c #Conflicts: 736000 | #Constraints: 274632
2396.83/2402.73 c #Conflicts: 737000 | #Constraints: 275632
2396.83/2402.73 c #Conflicts: 738000 | #Constraints: 276632
2396.83/2402.73 c #Conflicts: 739000 | #Constraints: 277632
2396.83/2402.73 c INPROCESSING
2396.83/2402.73 c GARBAGE COLLECT
2396.83/2402.73 c #Conflicts: 740000 | #Constraints: 261630
2396.83/2402.73 c #Conflicts: 741000 | #Constraints: 262630
2396.83/2402.73 c #Conflicts: 742000 | #Constraints: 263630
2396.83/2402.73 c #Conflicts: 743000 | #Constraints: 264630
2396.83/2402.73 c #Conflicts: 744000 | #Constraints: 265630
2396.83/2402.73 c #Conflicts: 745000 | #Constraints: 266630
2396.83/2402.73 c #Conflicts: 746000 | #Constraints: 267630
2396.83/2402.73 c #Conflicts: 747000 | #Constraints: 268630
2396.83/2402.73 c #Conflicts: 748000 | #Constraints: 269630
2396.83/2402.73 c #Conflicts: 749000 | #Constraints: 270630
2396.83/2402.73 c #Conflicts: 750000 | #Constraints: 271630
2396.83/2402.73 c #Conflicts: 751000 | #Constraints: 272630
2396.83/2402.73 c #Conflicts: 752000 | #Constraints: 273630
2396.83/2402.73 c #Conflicts: 753000 | #Constraints: 274630
2396.83/2402.73 c #Conflicts: 754000 | #Constraints: 275630
2396.83/2402.73 c #Conflicts: 755000 | #Constraints: 276630
2396.83/2402.73 c #Conflicts: 756000 | #Constraints: 277630
2396.83/2402.73 c INPROCESSING
2396.83/2402.73 c GARBAGE COLLECT
2396.83/2402.73 c #Conflicts: 757000 | #Constraints: 261429
2396.83/2402.73 c #Conflicts: 758000 | #Constraints: 262429
2396.83/2402.73 c #Conflicts: 759000 | #Constraints: 263429
2396.83/2402.73 c #Conflicts: 760000 | #Constraints: 264429
2396.83/2402.73 c #Conflicts: 761000 | #Constraints: 265429
2396.83/2402.73 c #Conflicts: 762000 | #Constraints: 266429
2582.92/2589.31 c #Conflicts: 763000 | #Constraints: 267429
2582.92/2589.31 c #Conflicts: 764000 | #Constraints: 268429
2582.92/2589.31 c #Conflicts: 765000 | #Constraints: 269429
2582.92/2589.31 c #Conflicts: 766000 | #Constraints: 270429
2582.92/2589.31 c #Conflicts: 767000 | #Constraints: 271429
2582.92/2589.31 c #Conflicts: 768000 | #Constraints: 272429
2582.92/2589.31 c #Conflicts: 769000 | #Constraints: 273429
2582.92/2589.31 c #Conflicts: 770000 | #Constraints: 274429
2582.92/2589.31 c #Conflicts: 771000 | #Constraints: 275429
2582.92/2589.31 c #Conflicts: 772000 | #Constraints: 276429
2582.92/2589.31 c #Conflicts: 773000 | #Constraints: 277429
2582.92/2589.31 c #Conflicts: 774000 | #Constraints: 278429
2582.92/2589.31 c INPROCESSING
2582.92/2589.31 c GARBAGE COLLECT
2582.92/2589.31 c #Conflicts: 775000 | #Constraints: 262028
2582.92/2589.31 c #Conflicts: 776000 | #Constraints: 263028
2582.92/2589.31 c #Conflicts: 777000 | #Constraints: 264028
2582.92/2589.31 c #Conflicts: 778000 | #Constraints: 265028
2582.92/2589.31 c #Conflicts: 779000 | #Constraints: 266028
2582.92/2589.31 c #Conflicts: 780000 | #Constraints: 267028
2582.92/2589.31 c #Conflicts: 781000 | #Constraints: 268028
2582.92/2589.31 c #Conflicts: 782000 | #Constraints: 269028
2582.92/2589.31 c #Conflicts: 783000 | #Constraints: 270028
2582.92/2589.31 c #Conflicts: 784000 | #Constraints: 271028
2582.92/2589.31 c #Conflicts: 785000 | #Constraints: 272028
2582.92/2589.31 c #Conflicts: 786000 | #Constraints: 273028
2582.92/2589.31 c #Conflicts: 787000 | #Constraints: 274028
2582.92/2589.31 c #Conflicts: 788000 | #Constraints: 275028
2582.92/2589.31 c #Conflicts: 789000 | #Constraints: 276028
2582.92/2589.31 c #Conflicts: 790000 | #Constraints: 277028
2582.92/2589.31 c #Conflicts: 791000 | #Constraints: 278028
2582.92/2589.31 c #Conflicts: 792000 | #Constraints: 279028
2582.92/2589.31 c INPROCESSING
2582.92/2589.31 c GARBAGE COLLECT
2582.92/2589.31 c #Conflicts: 793000 | #Constraints: 262428
2582.92/2589.31 c #Conflicts: 794000 | #Constraints: 263428
2582.92/2589.31 c #Conflicts: 795000 | #Constraints: 264428
2582.92/2589.31 c #Conflicts: 796000 | #Constraints: 265428
2582.92/2589.31 c #Conflicts: 797000 | #Constraints: 266428
2582.92/2589.31 c #Conflicts: 798000 | #Constraints: 267428
2582.92/2589.31 c #Conflicts: 799000 | #Constraints: 268428
2582.92/2589.31 c #Conflicts: 800000 | #Constraints: 269428
2582.92/2589.31 c #Conflicts: 801000 | #Constraints: 270428
2582.92/2589.31 c #Conflicts: 802000 | #Constraints: 271428
2582.92/2589.31 c #Conflicts: 803000 | #Constraints: 272428
2582.92/2589.31 c #Conflicts: 804000 | #Constraints: 273428
2582.92/2589.31 c #Conflicts: 805000 | #Constraints: 274428
2582.92/2589.31 c #Conflicts: 806000 | #Constraints: 275428
2582.92/2589.31 c #Conflicts: 807000 | #Constraints: 276428
2582.92/2589.31 c #Conflicts: 808000 | #Constraints: 277428
2582.92/2589.31 c #Conflicts: 809000 | #Constraints: 278428
2582.92/2589.31 c #Conflicts: 810000 | #Constraints: 279428
2582.92/2589.31 c INPROCESSING
2582.92/2589.31 c GARBAGE COLLECT
2582.92/2589.31 c #Conflicts: 811000 | #Constraints: 262628
2582.92/2589.31 c #Conflicts: 812000 | #Constraints: 263628
2582.92/2589.31 c #Conflicts: 813000 | #Constraints: 264628
2582.92/2589.31 c #Conflicts: 814000 | #Constraints: 265628
2582.92/2589.31 c #Conflicts: 815000 | #Constraints: 266628
2582.92/2589.31 c #Conflicts: 816000 | #Constraints: 267628
2582.92/2589.31 c #Conflicts: 817000 | #Constraints: 268628
2582.92/2589.31 c #Conflicts: 818000 | #Constraints: 269628
2582.92/2589.31 c #Conflicts: 819000 | #Constraints: 270628
2582.92/2589.31 c #Conflicts: 820000 | #Constraints: 271628
2582.92/2589.31 c #Conflicts: 821000 | #Constraints: 272628
2582.92/2589.31 c #Conflicts: 822000 | #Constraints: 273628
2582.92/2589.31 c #Conflicts: 823000 | #Constraints: 274628
2582.92/2589.31 c #Conflicts: 824000 | #Constraints: 275628
2582.92/2589.31 c #Conflicts: 825000 | #Constraints: 276628
2582.92/2589.31 c #Conflicts: 826000 | #Constraints: 277628
2582.92/2589.31 c #Conflicts: 827000 | #Constraints: 278628
2582.92/2589.31 c #Conflicts: 828000 | #Constraints: 279628
2582.92/2589.31 c INPROCESSING
2582.92/2589.31 c GARBAGE COLLECT
2582.92/2589.31 c #Conflicts: 829000 | #Constraints: 262629
2582.92/2589.31 c #Conflicts: 830000 | #Constraints: 263629
2582.92/2589.31 c #Conflicts: 831000 | #Constraints: 264629
2582.92/2589.31 c #Conflicts: 832000 | #Constraints: 265629
2582.92/2589.31 c #Conflicts: 833000 | #Constraints: 266629
2582.92/2589.31 c #Conflicts: 834000 | #Constraints: 267629
2582.92/2589.31 c #Conflicts: 835000 | #Constraints: 268629
2582.92/2589.31 c #Conflicts: 836000 | #Constraints: 269629
2582.92/2589.31 c #Conflicts: 837000 | #Constraints: 270629
2582.92/2589.31 c #Conflicts: 838000 | #Constraints: 271629
2771.90/2778.83 c #Conflicts: 839000 | #Constraints: 272629
2771.90/2778.83 c #Conflicts: 840000 | #Constraints: 273629
2771.90/2778.83 c #Conflicts: 841000 | #Constraints: 274629
2771.90/2778.83 c #Conflicts: 842000 | #Constraints: 275629
2771.90/2778.83 c #Conflicts: 843000 | #Constraints: 276629
2771.90/2778.83 c #Conflicts: 844000 | #Constraints: 277629
2771.90/2778.83 c #Conflicts: 845000 | #Constraints: 278629
2771.90/2778.83 c #Conflicts: 846000 | #Constraints: 279629
2771.90/2778.83 c INPROCESSING
2771.90/2778.83 c GARBAGE COLLECT
2771.90/2778.83 c #Conflicts: 847000 | #Constraints: 262434
2771.90/2778.83 c #Conflicts: 848000 | #Constraints: 263434
2771.90/2778.83 c #Conflicts: 849000 | #Constraints: 264434
2771.90/2778.83 c #Conflicts: 850000 | #Constraints: 265434
2771.90/2778.83 c #Conflicts: 851000 | #Constraints: 266434
2771.90/2778.83 c #Conflicts: 852000 | #Constraints: 267434
2771.90/2778.83 c #Conflicts: 853000 | #Constraints: 268434
2771.90/2778.83 c #Conflicts: 854000 | #Constraints: 269434
2771.90/2778.83 c #Conflicts: 855000 | #Constraints: 270434
2771.90/2778.83 c #Conflicts: 856000 | #Constraints: 271434
2771.90/2778.83 c #Conflicts: 857000 | #Constraints: 272434
2771.90/2778.83 c #Conflicts: 858000 | #Constraints: 273434
2771.90/2778.83 c #Conflicts: 859000 | #Constraints: 274434
2771.90/2778.83 c #Conflicts: 860000 | #Constraints: 275434
2771.90/2778.83 c #Conflicts: 861000 | #Constraints: 276434
2771.90/2778.83 c #Conflicts: 862000 | #Constraints: 277434
2771.90/2778.83 c #Conflicts: 863000 | #Constraints: 278434
2771.90/2778.83 c #Conflicts: 864000 | #Constraints: 279434
2771.90/2778.83 c #Conflicts: 865000 | #Constraints: 280434
2771.90/2778.83 c INPROCESSING
2771.90/2778.83 c GARBAGE COLLECT
2771.90/2778.83 c #Conflicts: 866000 | #Constraints: 263033
2771.90/2778.83 c #Conflicts: 867000 | #Constraints: 264033
2771.90/2778.83 c #Conflicts: 868000 | #Constraints: 265033
2771.90/2778.83 c #Conflicts: 869000 | #Constraints: 266033
2771.90/2778.83 c #Conflicts: 870000 | #Constraints: 267033
2771.90/2778.83 c #Conflicts: 871000 | #Constraints: 268033
2771.90/2778.83 c #Conflicts: 872000 | #Constraints: 269033
2771.90/2778.83 c #Conflicts: 873000 | #Constraints: 270033
2771.90/2778.83 c #Conflicts: 874000 | #Constraints: 271033
2771.90/2778.83 c #Conflicts: 875000 | #Constraints: 272033
2771.90/2778.83 c #Conflicts: 876000 | #Constraints: 273033
2771.90/2778.83 c #Conflicts: 877000 | #Constraints: 274033
2771.90/2778.83 c #Conflicts: 878000 | #Constraints: 275033
2771.90/2778.83 c #Conflicts: 879000 | #Constraints: 276033
2771.90/2778.83 c #Conflicts: 880000 | #Constraints: 277033
2771.90/2778.83 c #Conflicts: 881000 | #Constraints: 278033
2771.90/2778.83 c #Conflicts: 882000 | #Constraints: 279033
2771.90/2778.83 c #Conflicts: 883000 | #Constraints: 280033
2771.90/2778.83 c #Conflicts: 884000 | #Constraints: 281033
2771.90/2778.83 c INPROCESSING
2771.90/2778.83 c GARBAGE COLLECT
2771.90/2778.83 c #Conflicts: 885000 | #Constraints: 263432
2771.90/2778.83 c #Conflicts: 886000 | #Constraints: 264432
2771.90/2778.83 c #Conflicts: 887000 | #Constraints: 265432
2771.90/2778.83 c #Conflicts: 888000 | #Constraints: 266432
2771.90/2778.83 c #Conflicts: 889000 | #Constraints: 267432
2771.90/2778.83 c #Conflicts: 890000 | #Constraints: 268432
2771.90/2778.83 c #Conflicts: 891000 | #Constraints: 269432
2771.90/2778.83 c #Conflicts: 892000 | #Constraints: 270432
2771.90/2778.83 c #Conflicts: 893000 | #Constraints: 271432
2771.90/2778.83 c #Conflicts: 894000 | #Constraints: 272432
2771.90/2778.83 c #Conflicts: 895000 | #Constraints: 273432
2771.90/2778.83 c #Conflicts: 896000 | #Constraints: 274432
2771.90/2778.83 c #Conflicts: 897000 | #Constraints: 275432
2771.90/2778.83 c #Conflicts: 898000 | #Constraints: 276432
2771.90/2778.83 c #Conflicts: 899000 | #Constraints: 277432
2771.90/2778.83 c #Conflicts: 900000 | #Constraints: 278432
2771.90/2778.83 c #Conflicts: 901000 | #Constraints: 279432
2771.90/2778.83 c #Conflicts: 902000 | #Constraints: 280432
2771.90/2778.83 c #Conflicts: 903000 | #Constraints: 281432
2771.90/2778.83 c INPROCESSING
2771.90/2778.83 c GARBAGE COLLECT
2771.90/2778.83 c #Conflicts: 904000 | #Constraints: 263631
2771.90/2778.83 c #Conflicts: 905000 | #Constraints: 264631
2771.90/2778.83 c #Conflicts: 906000 | #Constraints: 265631
2771.90/2778.83 c #Conflicts: 907000 | #Constraints: 266631
2771.90/2778.83 c #Conflicts: 908000 | #Constraints: 267631
2771.90/2778.83 c #Conflicts: 909000 | #Constraints: 268631
2771.90/2778.83 c #Conflicts: 910000 | #Constraints: 269631
2771.90/2778.83 c #Conflicts: 911000 | #Constraints: 270631
2771.90/2778.83 c #Conflicts: 912000 | #Constraints: 271631
2771.90/2778.83 c #Conflicts: 913000 | #Constraints: 272631
2771.90/2778.83 c #Conflicts: 914000 | #Constraints: 273631
2771.90/2778.83 c #Conflicts: 915000 | #Constraints: 274631
2957.29/2964.77 c #Conflicts: 916000 | #Constraints: 275631
2957.29/2964.77 c #Conflicts: 917000 | #Constraints: 276631
2957.29/2964.77 c #Conflicts: 918000 | #Constraints: 277631
2957.29/2964.77 c #Conflicts: 919000 | #Constraints: 278631
2957.29/2964.77 c #Conflicts: 920000 | #Constraints: 279631
2957.29/2964.77 c #Conflicts: 921000 | #Constraints: 280631
2957.29/2964.77 c #Conflicts: 922000 | #Constraints: 281631
2957.29/2964.77 c INPROCESSING
2957.29/2964.77 c GARBAGE COLLECT
2957.29/2964.77 c #Conflicts: 923000 | #Constraints: 263631
2957.29/2964.77 c #Conflicts: 924000 | #Constraints: 264631
2957.29/2964.77 c #Conflicts: 925000 | #Constraints: 265631
2957.29/2964.77 c #Conflicts: 926000 | #Constraints: 266631
2957.29/2964.77 c #Conflicts: 927000 | #Constraints: 267631
2957.29/2964.77 c #Conflicts: 928000 | #Constraints: 268631
2957.29/2964.77 c #Conflicts: 929000 | #Constraints: 269631
2957.29/2964.77 c #Conflicts: 930000 | #Constraints: 270631
2957.29/2964.77 c #Conflicts: 931000 | #Constraints: 271631
2957.29/2964.77 c #Conflicts: 932000 | #Constraints: 272631
2957.29/2964.77 c #Conflicts: 933000 | #Constraints: 273631
2957.29/2964.77 c #Conflicts: 934000 | #Constraints: 274631
2957.29/2964.77 c #Conflicts: 935000 | #Constraints: 275631
2957.29/2964.77 c #Conflicts: 936000 | #Constraints: 276631
2957.29/2964.77 c #Conflicts: 937000 | #Constraints: 277631
2957.29/2964.77 c #Conflicts: 938000 | #Constraints: 278631
2957.29/2964.77 c #Conflicts: 939000 | #Constraints: 279631
2957.29/2964.77 c #Conflicts: 940000 | #Constraints: 280631
2957.29/2964.77 c #Conflicts: 941000 | #Constraints: 281631
2957.29/2964.77 c INPROCESSING
2957.29/2964.77 c GARBAGE COLLECT
2957.29/2964.77 c #Conflicts: 942000 | #Constraints: 263430
2957.29/2964.77 c #Conflicts: 943000 | #Constraints: 264430
2957.29/2964.77 c #Conflicts: 944000 | #Constraints: 265430
2957.29/2964.77 c #Conflicts: 945000 | #Constraints: 266430
2957.29/2964.77 c #Conflicts: 946000 | #Constraints: 267430
2957.29/2964.77 c #Conflicts: 947000 | #Constraints: 268430
2957.29/2964.77 c #Conflicts: 948000 | #Constraints: 269430
2957.29/2964.77 c #Conflicts: 949000 | #Constraints: 270430
2957.29/2964.77 c #Conflicts: 950000 | #Constraints: 271430
2957.29/2964.77 c #Conflicts: 951000 | #Constraints: 272430
2957.29/2964.77 c #Conflicts: 952000 | #Constraints: 273430
2957.29/2964.77 c #Conflicts: 953000 | #Constraints: 274430
2957.29/2964.77 c #Conflicts: 954000 | #Constraints: 275430
2957.29/2964.77 c #Conflicts: 955000 | #Constraints: 276430
2957.29/2964.77 c #Conflicts: 956000 | #Constraints: 277430
2957.29/2964.77 c #Conflicts: 957000 | #Constraints: 278430
2957.29/2964.77 c #Conflicts: 958000 | #Constraints: 279430
2957.29/2964.77 c #Conflicts: 959000 | #Constraints: 280430
2957.29/2964.77 c #Conflicts: 960000 | #Constraints: 281430
2957.29/2964.77 c #Conflicts: 961000 | #Constraints: 282430
2957.29/2964.77 c INPROCESSING
2957.29/2964.77 c GARBAGE COLLECT
2957.29/2964.77 c #Conflicts: 962000 | #Constraints: 264031
2957.29/2964.77 c #Conflicts: 963000 | #Constraints: 265031
2957.29/2964.77 c #Conflicts: 964000 | #Constraints: 266031
2957.29/2964.77 c #Conflicts: 965000 | #Constraints: 267031
2957.29/2964.77 c #Conflicts: 966000 | #Constraints: 268031
2957.29/2964.77 c #Conflicts: 967000 | #Constraints: 269031
2957.29/2964.77 c #Conflicts: 968000 | #Constraints: 270031
2957.29/2964.77 c #Conflicts: 969000 | #Constraints: 271031
2957.29/2964.77 c #Conflicts: 970000 | #Constraints: 272031
2957.29/2964.77 c #Conflicts: 971000 | #Constraints: 273031
2957.29/2964.77 c #Conflicts: 972000 | #Constraints: 274031
2957.29/2964.77 c #Conflicts: 973000 | #Constraints: 275031
2957.29/2964.77 c #Conflicts: 974000 | #Constraints: 276031
2957.29/2964.77 c #Conflicts: 975000 | #Constraints: 277031
2957.29/2964.77 c #Conflicts: 976000 | #Constraints: 278031
2957.29/2964.77 c #Conflicts: 977000 | #Constraints: 279031
2957.29/2964.77 c #Conflicts: 978000 | #Constraints: 280031
2957.29/2964.77 c #Conflicts: 979000 | #Constraints: 281031
2957.29/2964.77 c #Conflicts: 980000 | #Constraints: 282031
2957.29/2964.77 c #Conflicts: 981000 | #Constraints: 283031
2957.29/2964.77 c INPROCESSING
2957.29/2964.77 c GARBAGE COLLECT
2957.29/2964.77 c #Conflicts: 982000 | #Constraints: 264434
2957.29/2964.77 c #Conflicts: 983000 | #Constraints: 265434
2957.29/2964.77 c #Conflicts: 984000 | #Constraints: 266434
2957.29/2964.77 c #Conflicts: 985000 | #Constraints: 267434
2957.29/2964.77 c #Conflicts: 986000 | #Constraints: 268434
2957.29/2964.77 c #Conflicts: 987000 | #Constraints: 269434
2957.29/2964.77 c #Conflicts: 988000 | #Constraints: 270434
2957.29/2964.77 c #Conflicts: 989000 | #Constraints: 271434
2957.29/2964.77 c #Conflicts: 990000 | #Constraints: 272434
2957.29/2964.77 c #Conflicts: 991000 | #Constraints: 273434
3139.99/3147.99 c #Conflicts: 992000 | #Constraints: 274434
3139.99/3147.99 c #Conflicts: 993000 | #Constraints: 275434
3139.99/3147.99 c #Conflicts: 994000 | #Constraints: 276434
3139.99/3147.99 c #Conflicts: 995000 | #Constraints: 277434
3139.99/3147.99 c #Conflicts: 996000 | #Constraints: 278434
3139.99/3147.99 c #Conflicts: 997000 | #Constraints: 279434
3139.99/3147.99 c #Conflicts: 998000 | #Constraints: 280434
3139.99/3147.99 c #Conflicts: 999000 | #Constraints: 281434
3139.99/3147.99 c #Conflicts: 1000000 | #Constraints: 282434
3139.99/3147.99 c #Conflicts: 1001000 | #Constraints: 283434
3139.99/3147.99 c INPROCESSING
3139.99/3147.99 c GARBAGE COLLECT
3139.99/3147.99 c #Conflicts: 1002000 | #Constraints: 264635
3139.99/3147.99 c #Conflicts: 1003000 | #Constraints: 265635
3139.99/3147.99 c #Conflicts: 1004000 | #Constraints: 266635
3139.99/3147.99 c #Conflicts: 1005000 | #Constraints: 267635
3139.99/3147.99 c #Conflicts: 1006000 | #Constraints: 268635
3139.99/3147.99 c #Conflicts: 1007000 | #Constraints: 269635
3139.99/3147.99 c #Conflicts: 1008000 | #Constraints: 270635
3139.99/3147.99 c #Conflicts: 1009000 | #Constraints: 271635
3139.99/3147.99 c #Conflicts: 1010000 | #Constraints: 272635
3139.99/3147.99 c #Conflicts: 1011000 | #Constraints: 273635
3139.99/3147.99 c #Conflicts: 1012000 | #Constraints: 274635
3139.99/3147.99 c #Conflicts: 1013000 | #Constraints: 275635
3139.99/3147.99 c #Conflicts: 1014000 | #Constraints: 276635
3139.99/3147.99 c #Conflicts: 1015000 | #Constraints: 277635
3139.99/3147.99 c #Conflicts: 1016000 | #Constraints: 278635
3139.99/3147.99 c #Conflicts: 1017000 | #Constraints: 279635
3139.99/3147.99 c #Conflicts: 1018000 | #Constraints: 280635
3139.99/3147.99 c #Conflicts: 1019000 | #Constraints: 281635
3139.99/3147.99 c #Conflicts: 1020000 | #Constraints: 282635
3139.99/3147.99 c #Conflicts: 1021000 | #Constraints: 283635
3139.99/3147.99 c INPROCESSING
3139.99/3147.99 c GARBAGE COLLECT
3139.99/3147.99 c #Conflicts: 1022000 | #Constraints: 264635
3139.99/3147.99 c #Conflicts: 1023000 | #Constraints: 265635
3139.99/3147.99 c #Conflicts: 1024000 | #Constraints: 266635
3139.99/3147.99 c #Conflicts: 1025000 | #Constraints: 267635
3139.99/3147.99 c #Conflicts: 1026000 | #Constraints: 268635
3139.99/3147.99 c #Conflicts: 1027000 | #Constraints: 269635
3139.99/3147.99 c #Conflicts: 1028000 | #Constraints: 270635
3139.99/3147.99 c #Conflicts: 1029000 | #Constraints: 271635
3139.99/3147.99 c #Conflicts: 1030000 | #Constraints: 272635
3139.99/3147.99 c #Conflicts: 1031000 | #Constraints: 273635
3139.99/3147.99 c #Conflicts: 1032000 | #Constraints: 274635
3139.99/3147.99 c #Conflicts: 1033000 | #Constraints: 275635
3139.99/3147.99 c #Conflicts: 1034000 | #Constraints: 276635
3139.99/3147.99 c #Conflicts: 1035000 | #Constraints: 277635
3139.99/3147.99 c #Conflicts: 1036000 | #Constraints: 278635
3139.99/3147.99 c #Conflicts: 1037000 | #Constraints: 279635
3139.99/3147.99 c #Conflicts: 1038000 | #Constraints: 280635
3139.99/3147.99 c #Conflicts: 1039000 | #Constraints: 281635
3139.99/3147.99 c #Conflicts: 1040000 | #Constraints: 282635
3139.99/3147.99 c #Conflicts: 1041000 | #Constraints: 283635
3139.99/3147.99 c INPROCESSING
3139.99/3147.99 c GARBAGE COLLECT
3139.99/3147.99 c #Conflicts: 1042000 | #Constraints: 264432
3139.99/3147.99 c #Conflicts: 1043000 | #Constraints: 265432
3139.99/3147.99 c #Conflicts: 1044000 | #Constraints: 266432
3139.99/3147.99 c #Conflicts: 1045000 | #Constraints: 267432
3139.99/3147.99 c #Conflicts: 1046000 | #Constraints: 268432
3139.99/3147.99 c #Conflicts: 1047000 | #Constraints: 269432
3139.99/3147.99 c #Conflicts: 1048000 | #Constraints: 270432
3139.99/3147.99 c #Conflicts: 1049000 | #Constraints: 271432
3139.99/3147.99 c #Conflicts: 1050000 | #Constraints: 272432
3139.99/3147.99 c #Conflicts: 1051000 | #Constraints: 273432
3139.99/3147.99 c #Conflicts: 1052000 | #Constraints: 274432
3139.99/3147.99 c #Conflicts: 1053000 | #Constraints: 275432
3139.99/3147.99 c #Conflicts: 1054000 | #Constraints: 276432
3139.99/3147.99 c #Conflicts: 1055000 | #Constraints: 277432
3139.99/3147.99 c #Conflicts: 1056000 | #Constraints: 278432
3139.99/3147.99 c #Conflicts: 1057000 | #Constraints: 279432
3139.99/3147.99 c #Conflicts: 1058000 | #Constraints: 280432
3139.99/3147.99 c #Conflicts: 1059000 | #Constraints: 281432
3139.99/3147.99 c #Conflicts: 1060000 | #Constraints: 282432
3139.99/3147.99 c #Conflicts: 1061000 | #Constraints: 283432
3139.99/3147.99 c #Conflicts: 1062000 | #Constraints: 284432
3139.99/3147.99 c INPROCESSING
3139.99/3147.99 c GARBAGE COLLECT
3139.99/3147.99 c #Conflicts: 1063000 | #Constraints: 265032
3139.99/3147.99 c #Conflicts: 1064000 | #Constraints: 266032
3139.99/3147.99 c #Conflicts: 1065000 | #Constraints: 267032
3139.99/3147.99 c #Conflicts: 1066000 | #Constraints: 268032
3139.99/3147.99 c #Conflicts: 1067000 | #Constraints: 269032
3344.03/3352.57 c #Conflicts: 1068000 | #Constraints: 270032
3344.03/3352.57 c #Conflicts: 1069000 | #Constraints: 271032
3344.03/3352.57 c #Conflicts: 1070000 | #Constraints: 272032
3344.03/3352.57 c #Conflicts: 1071000 | #Constraints: 273032
3344.03/3352.57 c #Conflicts: 1072000 | #Constraints: 274032
3344.03/3352.57 c #Conflicts: 1073000 | #Constraints: 275032
3344.03/3352.57 c #Conflicts: 1074000 | #Constraints: 276032
3344.03/3352.57 c #Conflicts: 1075000 | #Constraints: 277032
3344.03/3352.57 c #Conflicts: 1076000 | #Constraints: 278032
3344.03/3352.57 c #Conflicts: 1077000 | #Constraints: 279032
3344.03/3352.57 c #Conflicts: 1078000 | #Constraints: 280032
3344.03/3352.57 c #Conflicts: 1079000 | #Constraints: 281032
3344.03/3352.57 c #Conflicts: 1080000 | #Constraints: 282032
3344.03/3352.57 c #Conflicts: 1081000 | #Constraints: 283032
3344.03/3352.57 c #Conflicts: 1082000 | #Constraints: 284032
3344.03/3352.57 c #Conflicts: 1083000 | #Constraints: 285032
3344.03/3352.57 c INPROCESSING
3344.03/3352.57 c GARBAGE COLLECT
3344.03/3352.57 c #Conflicts: 1084000 | #Constraints: 265431
3344.03/3352.57 c #Conflicts: 1085000 | #Constraints: 266431
3344.03/3352.57 c #Conflicts: 1086000 | #Constraints: 267431
3344.03/3352.57 c #Conflicts: 1087000 | #Constraints: 268431
3344.03/3352.57 c #Conflicts: 1088000 | #Constraints: 269431
3344.03/3352.57 c #Conflicts: 1089000 | #Constraints: 270431
3344.03/3352.57 c #Conflicts: 1090000 | #Constraints: 271431
3344.03/3352.57 c #Conflicts: 1091000 | #Constraints: 272431
3344.03/3352.57 c #Conflicts: 1092000 | #Constraints: 273431
3344.03/3352.57 c #Conflicts: 1093000 | #Constraints: 274431
3344.03/3352.57 c #Conflicts: 1094000 | #Constraints: 275431
3344.03/3352.57 c #Conflicts: 1095000 | #Constraints: 276431
3344.03/3352.57 c #Conflicts: 1096000 | #Constraints: 277431
3344.03/3352.57 c #Conflicts: 1097000 | #Constraints: 278431
3344.03/3352.57 c #Conflicts: 1098000 | #Constraints: 279431
3344.03/3352.57 c #Conflicts: 1099000 | #Constraints: 280431
3344.03/3352.57 c #Conflicts: 1100000 | #Constraints: 281431
3344.03/3352.57 c #Conflicts: 1101000 | #Constraints: 282431
3344.03/3352.57 c #Conflicts: 1102000 | #Constraints: 283431
3344.03/3352.57 c #Conflicts: 1103000 | #Constraints: 284431
3344.03/3352.57 c #Conflicts: 1104000 | #Constraints: 285431
3344.03/3352.57 c INPROCESSING
3344.03/3352.57 c GARBAGE COLLECT
3344.03/3352.57 c #Conflicts: 1105000 | #Constraints: 265634
3344.03/3352.57 c #Conflicts: 1106000 | #Constraints: 266634
3344.03/3352.57 c #Conflicts: 1107000 | #Constraints: 267634
3344.03/3352.57 c #Conflicts: 1108000 | #Constraints: 268634
3344.03/3352.57 c #Conflicts: 1109000 | #Constraints: 269634
3344.03/3352.57 c #Conflicts: 1110000 | #Constraints: 270634
3344.03/3352.57 c #Conflicts: 1111000 | #Constraints: 271634
3344.03/3352.57 c #Conflicts: 1112000 | #Constraints: 272634
3344.03/3352.57 c #Conflicts: 1113000 | #Constraints: 273634
3344.03/3352.57 c #Conflicts: 1114000 | #Constraints: 274634
3344.03/3352.57 c #Conflicts: 1115000 | #Constraints: 275634
3344.03/3352.57 c #Conflicts: 1116000 | #Constraints: 276634
3344.03/3352.57 c #Conflicts: 1117000 | #Constraints: 277634
3344.03/3352.57 c #Conflicts: 1118000 | #Constraints: 278634
3344.03/3352.57 c #Conflicts: 1119000 | #Constraints: 279634
3344.03/3352.57 c #Conflicts: 1120000 | #Constraints: 280634
3344.03/3352.57 c #Conflicts: 1121000 | #Constraints: 281634
3344.03/3352.57 c #Conflicts: 1122000 | #Constraints: 282634
3344.03/3352.57 c #Conflicts: 1123000 | #Constraints: 283634
3344.03/3352.57 c #Conflicts: 1124000 | #Constraints: 284634
3344.03/3352.57 c #Conflicts: 1125000 | #Constraints: 285634
3344.03/3352.58 c INPROCESSING
3344.03/3352.58 c GARBAGE COLLECT
3344.03/3352.58 c #Conflicts: 1126000 | #Constraints: 265636
3344.03/3352.58 c #Conflicts: 1127000 | #Constraints: 266636
3344.03/3352.58 c #Conflicts: 1128000 | #Constraints: 267636
3344.03/3352.58 c #Conflicts: 1129000 | #Constraints: 268636
3344.03/3352.58 c #Conflicts: 1130000 | #Constraints: 269636
3344.03/3352.58 c #Conflicts: 1131000 | #Constraints: 270636
3344.03/3352.58 c #Conflicts: 1132000 | #Constraints: 271636
3344.03/3352.58 c #Conflicts: 1133000 | #Constraints: 272636
3344.03/3352.58 c #Conflicts: 1134000 | #Constraints: 273636
3344.03/3352.58 c #Conflicts: 1135000 | #Constraints: 274636
3344.03/3352.58 c #Conflicts: 1136000 | #Constraints: 275636
3344.03/3352.58 c #Conflicts: 1137000 | #Constraints: 276636
3344.03/3352.58 c #Conflicts: 1138000 | #Constraints: 277636
3344.03/3352.58 c #Conflicts: 1139000 | #Constraints: 278636
3344.03/3352.58 c #Conflicts: 1140000 | #Constraints: 279636
3344.03/3352.58 c #Conflicts: 1141000 | #Constraints: 280636
3344.03/3352.58 c #Conflicts: 1142000 | #Constraints: 281636
3344.03/3352.58 c #Conflicts: 1143000 | #Constraints: 282636
3344.03/3352.58 c #Conflicts: 1144000 | #Constraints: 283636
3532.52/3541.56 c #Conflicts: 1145000 | #Constraints: 284636
3532.52/3541.56 c #Conflicts: 1146000 | #Constraints: 285636
3532.52/3541.56 c INPROCESSING
3532.52/3541.56 c GARBAGE COLLECT
3532.52/3541.56 c #Conflicts: 1147000 | #Constraints: 265434
3532.52/3541.56 c #Conflicts: 1148000 | #Constraints: 266434
3532.52/3541.56 c #Conflicts: 1149000 | #Constraints: 267434
3532.52/3541.56 c #Conflicts: 1150000 | #Constraints: 268434
3532.52/3541.56 c #Conflicts: 1151000 | #Constraints: 269434
3532.52/3541.56 c #Conflicts: 1152000 | #Constraints: 270434
3532.52/3541.56 c #Conflicts: 1153000 | #Constraints: 271434
3532.52/3541.56 c #Conflicts: 1154000 | #Constraints: 272434
3532.52/3541.56 c #Conflicts: 1155000 | #Constraints: 273434
3532.52/3541.56 c #Conflicts: 1156000 | #Constraints: 274434
3532.52/3541.56 c #Conflicts: 1157000 | #Constraints: 275434
3532.52/3541.56 c #Conflicts: 1158000 | #Constraints: 276434
3532.52/3541.56 c #Conflicts: 1159000 | #Constraints: 277434
3532.52/3541.56 c #Conflicts: 1160000 | #Constraints: 278434
3532.52/3541.56 c #Conflicts: 1161000 | #Constraints: 279434
3532.52/3541.56 c #Conflicts: 1162000 | #Constraints: 280434
3532.52/3541.56 c #Conflicts: 1163000 | #Constraints: 281434
3532.52/3541.56 c #Conflicts: 1164000 | #Constraints: 282434
3532.52/3541.56 c #Conflicts: 1165000 | #Constraints: 283434
3532.52/3541.56 c #Conflicts: 1166000 | #Constraints: 284434
3532.52/3541.56 c #Conflicts: 1167000 | #Constraints: 285434
3532.52/3541.56 c #Conflicts: 1168000 | #Constraints: 286434
3532.52/3541.56 c INPROCESSING
3532.52/3541.56 c GARBAGE COLLECT
3532.52/3541.56 c #Conflicts: 1169000 | #Constraints: 266032
3532.52/3541.56 c #Conflicts: 1170000 | #Constraints: 267032
3532.52/3541.56 c #Conflicts: 1171000 | #Constraints: 268032
3532.52/3541.56 c #Conflicts: 1172000 | #Constraints: 269032
3532.52/3541.56 c #Conflicts: 1173000 | #Constraints: 270032
3532.52/3541.56 c #Conflicts: 1174000 | #Constraints: 271032
3532.52/3541.56 c #Conflicts: 1175000 | #Constraints: 272032
3532.52/3541.56 c #Conflicts: 1176000 | #Constraints: 273032
3532.52/3541.56 c #Conflicts: 1177000 | #Constraints: 274032
3532.52/3541.56 c #Conflicts: 1178000 | #Constraints: 275032
3532.52/3541.56 c #Conflicts: 1179000 | #Constraints: 276032
3532.52/3541.56 c #Conflicts: 1180000 | #Constraints: 277032
3532.52/3541.56 c #Conflicts: 1181000 | #Constraints: 278032
3532.52/3541.56 c #Conflicts: 1182000 | #Constraints: 279032
3532.52/3541.56 c #Conflicts: 1183000 | #Constraints: 280032
3532.52/3541.56 c #Conflicts: 1184000 | #Constraints: 281032
3532.52/3541.56 c #Conflicts: 1185000 | #Constraints: 282032
3532.52/3541.56 c #Conflicts: 1186000 | #Constraints: 283032
3532.52/3541.56 c #Conflicts: 1187000 | #Constraints: 284032
3532.52/3541.56 c #Conflicts: 1188000 | #Constraints: 285032
3532.52/3541.56 c #Conflicts: 1189000 | #Constraints: 286032
3532.52/3541.56 c #Conflicts: 1190000 | #Constraints: 287032
3532.52/3541.56 c INPROCESSING
3532.52/3541.56 c GARBAGE COLLECT
3532.52/3541.56 c #Conflicts: 1191000 | #Constraints: 266431
3532.52/3541.56 c #Conflicts: 1192000 | #Constraints: 267431
3532.52/3541.56 c #Conflicts: 1193000 | #Constraints: 268431
3532.52/3541.56 c #Conflicts: 1194000 | #Constraints: 269431
3532.52/3541.56 c #Conflicts: 1195000 | #Constraints: 270431
3532.52/3541.56 c #Conflicts: 1196000 | #Constraints: 271431
3532.52/3541.56 c #Conflicts: 1197000 | #Constraints: 272431
3532.52/3541.56 c #Conflicts: 1198000 | #Constraints: 273431
3532.52/3541.56 c #Conflicts: 1199000 | #Constraints: 274431
3532.52/3541.56 c #Conflicts: 1200000 | #Constraints: 275431
3532.52/3541.56 c #Conflicts: 1201000 | #Constraints: 276431
3532.52/3541.56 c #Conflicts: 1202000 | #Constraints: 277431
3532.52/3541.56 c #Conflicts: 1203000 | #Constraints: 278431
3532.52/3541.56 c #Conflicts: 1204000 | #Constraints: 279431
3532.52/3541.56 c #Conflicts: 1205000 | #Constraints: 280431
3532.52/3541.56 c #Conflicts: 1206000 | #Constraints: 281431
3532.52/3541.56 c #Conflicts: 1207000 | #Constraints: 282431
3532.52/3541.56 c #Conflicts: 1208000 | #Constraints: 283431
3532.52/3541.56 c #Conflicts: 1209000 | #Constraints: 284431
3532.52/3541.56 c #Conflicts: 1210000 | #Constraints: 285431
3532.52/3541.56 c #Conflicts: 1211000 | #Constraints: 286431
3532.52/3541.56 c #Conflicts: 1212000 | #Constraints: 287431
3532.52/3541.56 c INPROCESSING
3532.52/3541.56 c GARBAGE COLLECT
3532.52/3541.56 c #Conflicts: 1213000 | #Constraints: 266631
3532.52/3541.56 c #Conflicts: 1214000 | #Constraints: 267631
3532.52/3541.56 c #Conflicts: 1215000 | #Constraints: 268631
3532.52/3541.56 c #Conflicts: 1216000 | #Constraints: 269631
3532.52/3541.56 c #Conflicts: 1217000 | #Constraints: 270631
3532.52/3541.56 c #Conflicts: 1218000 | #Constraints: 271631
3532.52/3541.56 c #Conflicts: 1219000 | #Constraints: 272631
3532.52/3541.56 c #Conflicts: 1220000 | #Constraints: 273631
3600.03/3609.20 c #Conflicts: 1221000 | #Constraints: 274631
3600.03/3609.20 c #Conflicts: 1222000 | #Constraints: 275631
3600.03/3609.20 c #Conflicts: 1223000 | #Constraints: 276631
3600.03/3609.20 c #Conflicts: 1224000 | #Constraints: 277631
3600.03/3609.20 c #Conflicts: 1225000 | #Constraints: 278631
3600.03/3609.20 c #Conflicts: 1226000 | #Constraints: 279631
3600.03/3609.20 c #Conflicts: 1227000 | #Constraints: 280631
3600.03/3609.20 c #Conflicts: 1228000 | #Constraints: 281631
3600.03/3609.20 c #Conflicts: 1229000 | #Constraints: 282631
3600.03/3609.20 c #Conflicts: 1230000 | #Constraints: 283631
3600.03/3609.20 c #Conflicts: 1231000 | #Constraints: 284631
3600.03/3609.20 c #Conflicts: 1232000 | #Constraints: 285631
3600.03/3609.20 c #Conflicts: 1233000 | #Constraints: 286631
3600.03/3609.20 c #Conflicts: 1234000 | #Constraints: 287631
3600.03/3609.20 c INPROCESSING
3600.03/3609.20 c GARBAGE COLLECT
3600.03/3609.20 c #Conflicts: 1235000 | #Constraints: 266630
3600.03/3609.20 c #Conflicts: 1236000 | #Constraints: 267630
3600.03/3609.20 c #Conflicts: 1237000 | #Constraints: 268630
3600.03/3609.20 c #Conflicts: 1238000 | #Constraints: 269630
3600.03/3609.20 c #Conflicts: 1239000 | #Constraints: 270630
3600.03/3609.20 c #Conflicts: 1240000 | #Constraints: 271630
3600.03/3609.20 c #Conflicts: 1241000 | #Constraints: 272630
3600.03/3609.20 c #Conflicts: 1242000 | #Constraints: 273630
3600.03/3609.20 c #Conflicts: 1243000 | #Constraints: 274630
3600.03/3609.20 c #Conflicts: 1244000 | #Constraints: 275630
3600.03/3609.20 c #Conflicts: 1245000 | #Constraints: 276630
3600.03/3609.20 c #Conflicts: 1246000 | #Constraints: 277630
3600.03/3609.20 c #Conflicts: 1247000 | #Constraints: 278630
3600.03/3609.20 c cpu time 3594.65 s
3600.03/3609.20 c deterministic time 1 1.00e+00
3600.03/3609.20 c optimization time 3593.44 s
3600.03/3609.20 c total solve time 0 s
3600.03/3609.20 c core-guided solve time 0 s
3600.03/3609.20 c propagation time 0.125371 s
3600.03/3609.20 c conflict analysis time 0 s
3600.03/3609.20 c propagations 0
3600.03/3609.20 c resolve steps 0
3600.03/3609.20 c decisions 0
3600.03/3609.20 c conflicts 0
3600.03/3609.20 c restarts 0
3600.03/3609.20 c inprocessing phases 0
3600.03/3609.20 c garbage collections 0 ,( -nan )
3600.03/3609.20 c input clauses 423980 ,( 100.00 )
3600.03/3609.20 c input cardinalities 0 ,( 0.00 )
3600.03/3609.20 c input general constraints 0 ,( 0.00 )
3600.03/3609.20 c input average constraint length 3.00
3600.03/3609.20 c input average constraint degree 1.00
3600.03/3609.20 c learned clauses 0 ,( 0.00 )
3600.03/3609.20 c learned cardinalities 0 ,( 0.00 )
3600.03/3609.20 c learned general constraints 0 ,( 0.00 )
3600.03/3609.20 c learned average constraint length 0.00
3600.03/3609.20 c learned average constraint degree 0.00
3600.03/3609.20 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3609.20 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.03/3609.20 c watched constraints 0 ,( -nan )
3600.03/3609.20 c counting constraints 0 ,( -nan )
3600.03/3609.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3609.20 c gcd simplifications 0
3600.03/3609.20 c detected cardinalities 0
3600.03/3609.20 c weakened non-implied lits 0
3600.03/3609.20 c weakened non-implying lits 0
3600.03/3609.20 c original variables 3741
3600.03/3609.20 c clausal propagations 0
3600.03/3609.20 c cardinality propagations 0
3600.03/3609.20 c watched propagations 0
3600.03/3609.20 c counting propagations 0
3600.03/3609.20 c watch lookups 0
3600.03/3609.20 c watch backjump lookups 0
3600.03/3609.20 c watch checks 0
3600.03/3609.20 c propagation checks 0
3600.03/3609.20 c constraint additions 0
3600.03/3609.20 c trail pops 0
3600.03/3609.20 c formula constraints 423980
3600.03/3609.20 c learned constraints 0
3600.03/3609.20 c bound constraints 0
3600.03/3609.20 c core-guided constraints 0
3600.03/3609.20 c encountered formula constraints 0
3600.03/3609.20 c encountered learned constraints 0
3600.03/3609.20 c encountered bound constraints 0
3600.03/3609.20 c encountered core-guided constraints 0
3600.03/3609.20 c LP total time 0 s
3600.03/3609.20 c LP solve time 0 s
3600.03/3609.20 c LP constraints added 0
3600.03/3609.20 c LP constraints removed 0
3600.03/3609.20 c LP pivots internal 0
3600.03/3609.20 c LP pivots root 0
3600.03/3609.20 c LP calls 0
3600.03/3609.20 c LP optimalities 0
3600.03/3609.20 c LP no pivot count 0
3600.03/3609.20 c LP infeasibilities 0
3600.03/3609.20 c LP valid Farkas constraints 0
3600.03/3609.20 c LP learned Farkas constraints 0
3600.03/3609.20 c LP basis resets 0
3600.03/3609.20 c LP cycling count 0
3600.03/3609.20 c LP singular count 0
3600.03/3609.20 c LP no primal count 0
3600.03/3609.20 c LP no farkas count 0
3600.03/3609.20 c LP other issue count 0
3600.03/3609.20 c LP Gomory cuts 0
3600.03/3609.20 c LP learned cuts 0
3600.03/3609.20 c LP deleted cuts 0
3600.03/3609.20 c LP encountered Gomory constraints 0
3600.03/3609.20 c LP encountered Farkas constraints 0
3600.03/3609.20 c LP encountered learned Farkas constraints 0
3600.03/3609.20 c CG auxiliary variables introduced 0
3600.03/3609.20 c CG solutions found 0
3600.03/3609.20 c CG cores constructed 0
3600.03/3609.20 c CG core cardinality constraints returned 0
3600.03/3609.20 c CG unit cores 0
3600.03/3609.20 c CG single cores 0
3600.03/3609.20 c CG blocks removed during cardinality reduction 0
3600.03/3609.20 c CG first core best 0
3600.03/3609.20 c CG decision core best 0
3600.03/3609.20 c CG core reduction tie 0
3600.03/3609.20 c CG core degree average 0.00
3600.03/3609.20 c CG core slack average 0.00
3600.03/3609.20 c CG core upper bound improvements 0
3600.03/3609.20 c STR number of successful calls 0
3600.03/3609.20 c STR number of unsuccessful calls 0
3600.03/3609.20 c STR number of inconclusive calls 0
3600.03/3609.20 c STR number of successful attempts 0
3600.03/3609.20 c STR number of unsuccessful attempts 0
3600.03/3609.20 c STR number of inconclusive attempts 0
3600.03/3609.20 c STR average degree increase per successful call inf
3600.03/3609.20 c STR average degree increase per successful attempt inf
3600.03/3609.20 c STR total number of conflicts for successful attempts 0
3600.03/3609.20 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3609.20 c STR total number of conflicts for inconclusive attempts 0
3600.03/3609.20 c STR average number of conflicts per successful attempt inf
3600.03/3609.20 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3609.20 c STR average number of conflicts per inconclusive attempt inf
3600.03/3609.20 c AVG.sumWPerc -nan
3600.03/3609.20 c bigint constraints 0
3600.03/3609.20 s UNKNOWN
3600.03/3609.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61948 MiB free)
memory of node 1: 64465 MiB (62867 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521078-1751585596/watcher-4521078-1751585596 -o /tmp/evaluation-result-4521078-1751585596/solver-4521078-1751585596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751585596-84120 --watchdog 3760 run-opt.sh HOME/instance-4521078-1751585596.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=84178, runsolver pid=84175
[startup+0.100058 s]*
/proc/loadavg: 0.94 1.08 1.50 5/263 84188
/proc/meminfo: memFree=127807192/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=58496 memory=12596 CPUtime=0.08 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 1557 0 0 0 6 2 0 0 20 0 1 0 74182130 59899904 3149 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 14624 3149 1888 1147 0 2051 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62688 KiB
Current children cumulated memory: 15668 KiB
[startup+0.205271 s]*
/proc/loadavg: 0.94 1.08 1.50 4/263 84188
/proc/meminfo: memFree=127803020/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=61772 memory=18296 CPUtime=0.18 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 2592 0 0 0 12 6 0 0 20 0 1 0 74182130 63254528 4574 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 15443 4574 1888 1147 0 2870 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65964 KiB
Current children cumulated memory: 21368 KiB
[startup+0.305001 s]*
/proc/loadavg: 0.94 1.08 1.50 4/263 84188
/proc/meminfo: memFree=127797992/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=66208 memory=21624 CPUtime=0.29 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 3530 0 0 0 20 9 0 0 20 0 1 0 74182130 67796992 5406 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 16552 5406 1888 1147 0 3979 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 70400 KiB
Current children cumulated memory: 24696 KiB
[startup+0.70019 s]
/proc/loadavg: 0.94 1.08 1.50 5/263 84188
/proc/meminfo: memFree=127767560/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=89136 memory=39136 CPUtime=0.68 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 8046 0 0 0 48 20 0 0 20 0 1 0 74182130 91275264 9784 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 22284 9784 1888 1147 0 9711 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 93328 KiB
Current children cumulated memory: 42208 KiB
[startup+1.50019 s]
/proc/loadavg: 0.94 1.08 1.50 5/263 84188
/proc/meminfo: memFree=127529348/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=411148 memory=251216 CPUtime=1.47 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 25611 0 0 0 109 38 0 0 20 0 1 0 74182130 421015552 62804 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 102787 62804 2240 1147 0 90214 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 415340 KiB
Current children cumulated memory: 254288 KiB
[startup+3.10561 s]
/proc/loadavg: 1.18 1.13 1.52 6/268 84272
/proc/meminfo: memFree=126941136/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=576944 memory=484608 CPUtime=3.07 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 63580 0 0 0 245 62 0 0 20 0 1 0 74182130 590790656 121152 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 144236 121152 2336 1147 0 131663 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 581136 KiB
Current children cumulated memory: 487680 KiB
[startup+6.30014 s]
/proc/loadavg: 1.18 1.13 1.52 6/268 84272
/proc/meminfo: memFree=126525408/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=576944 memory=484608 CPUtime=6.26 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 63583 0 0 0 563 63 0 0 20 0 1 0 74182130 590790656 121152 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 144236 121152 2336 1147 0 131663 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 581136 KiB
Current children cumulated memory: 487680 KiB
[startup+12.7001 s]
/proc/loadavg: 1.41 1.18 1.53 6/268 84272
/proc/meminfo: memFree=126529248/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=576944 memory=484608 CPUtime=12.65 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 63586 0 0 0 1200 65 0 0 20 0 1 0 74182130 590790656 121152 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 144236 121152 2336 1147 0 131663 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 581136 KiB
Current children cumulated memory: 487680 KiB
[startup+25.5001 s]
/proc/loadavg: 1.98 1.32 1.57 6/268 84272
/proc/meminfo: memFree=126538400/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=576944 memory=484608 CPUtime=25.42 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 63586 0 0 0 2476 66 0 0 20 0 1 0 74182130 590790656 121152 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 144236 121152 2336 1147 0 131663 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 581136 KiB
Current children cumulated memory: 487680 KiB
[startup+51.1049 s]
/proc/loadavg: 2.73 1.55 1.64 6/268 84272
/proc/meminfo: memFree=126539168/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=576944 memory=484736 CPUtime=50.97 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 63624 0 0 0 5028 69 0 0 20 0 1 0 74182130 590790656 121184 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 144236 121184 2336 1147 0 131663 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 581136 KiB
Current children cumulated memory: 487808 KiB
[startup+102.3 s]
/proc/loadavg: 3.50 1.95 1.77 6/268 84274
/proc/meminfo: memFree=126506340/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=576944 memory=484736 CPUtime=102.06 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 63627 0 0 0 10133 73 0 0 20 0 1 0 74182130 590790656 121184 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 144236 121184 2336 1147 0 131663 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 581136 KiB
Current children cumulated memory: 487808 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 2.34 1.92 6/268 84276
/proc/meminfo: memFree=126466884/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=576944 memory=484736 CPUtime=161.92 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 63630 0 0 0 16114 78 0 0 20 0 1 0 74182130 590790656 121184 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 144236 121184 2336 1147 0 131663 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 581136 KiB
Current children cumulated memory: 487808 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.66 2.06 6/267 84278
/proc/meminfo: memFree=126450452/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=576944 memory=484736 CPUtime=221.79 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 63630 0 0 0 22094 85 0 0 20 0 1 0 74182130 590790656 121184 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 144236 121184 2336 1147 0 131663 0
Current children cumulated CPU time: 221.79 s
################
# More data... #
################
/proc/84180/statm: 197140 161683 2336 1147 0 184567 0
Current children cumulated CPU time: 3034.68 s
Current children cumulated vsize: 792752 KiB
Current children cumulated memory: 649804 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.03 6/267 84431
/proc/meminfo: memFree=126051296/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=788560 memory=650828 CPUtime=3094.52 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 65059 0 0 0 308985 467 0 0 20 0 1 0 74182130 807485440 162707 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 197140 162707 2336 1147 0 184567 0
Current children cumulated CPU time: 3094.52 s
Current children cumulated vsize: 792752 KiB
Current children cumulated memory: 653900 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.03 6/268 84434
/proc/meminfo: memFree=126042524/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=788560 memory=650828 CPUtime=3154.35 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 65077 0 0 0 314961 474 0 0 20 0 1 0 74182130 807485440 162707 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 197140 162707 2336 1147 0 184567 0
Current children cumulated CPU time: 3154.35 s
Current children cumulated vsize: 792752 KiB
Current children cumulated memory: 653900 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.03 6/268 84436
/proc/meminfo: memFree=126034804/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=788560 memory=654924 CPUtime=3214.18 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 65080 0 0 0 320937 481 0 0 20 0 1 0 74182130 807485440 163731 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 197140 163731 2336 1147 0 184567 0
Current children cumulated CPU time: 3214.18 s
Current children cumulated vsize: 792752 KiB
Current children cumulated memory: 657996 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.03 6/268 84438
/proc/meminfo: memFree=126030248/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=788560 memory=654924 CPUtime=3274.03 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 65080 0 0 0 326914 489 0 0 20 0 1 0 74182130 807485440 163731 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 197140 163731 2336 1147 0 184567 0
Current children cumulated CPU time: 3274.03 s
Current children cumulated vsize: 792752 KiB
Current children cumulated memory: 657996 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.03 6/268 84440
/proc/meminfo: memFree=126030500/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=788560 memory=654924 CPUtime=3333.86 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 65080 0 0 0 332888 498 0 0 20 0 1 0 74182130 807485440 163731 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 197140 163731 2336 1147 0 184567 0
Current children cumulated CPU time: 3333.86 s
Current children cumulated vsize: 792752 KiB
Current children cumulated memory: 657996 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.04 6/268 84442
/proc/meminfo: memFree=126021332/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=788560 memory=661068 CPUtime=3393.7 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 65083 0 0 0 338862 508 0 0 20 0 1 0 74182130 807485440 165267 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 197140 165267 2336 1147 0 184567 0
Current children cumulated CPU time: 3393.7 s
Current children cumulated vsize: 792752 KiB
Current children cumulated memory: 664140 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.04 6/267 84444
/proc/meminfo: memFree=126021216/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=788560 memory=661068 CPUtime=3453.54 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 65083 0 0 0 344837 517 0 0 20 0 1 0 74182130 807485440 165267 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 197140 165267 2336 1147 0 184567 0
Current children cumulated CPU time: 3453.54 s
Current children cumulated vsize: 792752 KiB
Current children cumulated memory: 664140 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.05 6/267 84448
/proc/meminfo: memFree=126006236/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=788560 memory=663116 CPUtime=3513.37 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 65084 0 0 0 350812 525 0 0 20 0 1 0 74182130 807485440 165779 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 197140 165779 2336 1147 0 184567 0
Current children cumulated CPU time: 3513.37 s
Current children cumulated vsize: 792752 KiB
Current children cumulated memory: 666188 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.05 6/268 84456
/proc/meminfo: memFree=125999820/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=788560 memory=665164 CPUtime=3573.21 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 65086 0 0 0 356787 534 0 0 20 0 1 0 74182130 807485440 166291 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 197140 166291 2336 1147 0 184567 0
Current children cumulated CPU time: 3573.21 s
Current children cumulated vsize: 792752 KiB
Current children cumulated memory: 668236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.14 4.11 4.05 5/263 84465
/proc/meminfo: memFree=126376228/131250000 swapFree=33010684/33010684
[pid=84178] ppid=84175 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/84178/stat : 84178 (run-opt.sh) S 84175 84178 84107 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74182129 4292608 768 18446744073709551615 94108836372480 94108837267013 140731053231904 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94108837506064 94108837553808 94108839583744 140731053234541 140731053234664 140731053234664 140731053240266 0
/proc/84178/statm: 1048 768 704 219 0 110 0
[pid=84180] ppid=84178 vsize=788560 memory=665164 CPUtime=3600.03 cores=5,7
/proc/84180/stat : 84180 (roundingsat) R 84178 84178 84107 0 -1 4194304 65153 0 0 0 359465 538 0 0 20 0 1 0 74182130 807485440 166291 18446744073709551615 4227072 8923433 140735940518192 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15564800 140735940520354 140735940520488 140735940520488 140735940526058 0
/proc/84180/statm: 197140 166291 2336 1147 0 184567 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 792752 KiB
Current children cumulated memory: 668236 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.2 s]
# the end of solver process 84178 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002016 s, system=0 s
Sleeping 2 seconds
[startup+3609.26 s]
# the end of solver process 84180 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3594.71 s, system=5.39021 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.26
CPU time (s): 3600.1
CPU user time (s): 3594.71
CPU system time (s): 5.39021
CPU usage (%): 99.7462
Max. virtual memory (cumulated for all children) (KiB): 792752
Max. memory (cumulated for all children) (KiB): 668236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.71
system time used= 5.39021
maximum resident set size= 665676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66029
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 197
involuntary context switches= 1020
# summary of solver processes directly reported to runsolver:
# pid: 84178,84180
# total CPU time (s): 3600.1
# total CPU user time (s): 3594.71
# total CPU system time (s): 5.39021
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74892 second user time and 15.667 second system time
The end
Begin job on nodeC028 at 2025-07-04 01:33:16
IDJOB=4521078
IDBENCH=178219
IDSOLVER=3350
FILE ID=nodeC028/4521078-1751585596
RUNJOBID= nodeC028-1751585596-84120
SLURM_JOB_ID= 9598831
Free space on /tmp= 431440 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_87.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521078-1751585596/watcher-4521078-1751585596 -o /tmp/evaluation-result-4521078-1751585596/solver-4521078-1751585596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751585596-84120 --watchdog 3760 run-opt.sh HOME/instance-4521078-1751585596.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83591af43c3da6ede4007c8e5a8d776b
RANDOM SEED=322177413
nodeC028 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.749
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 : 7000.16
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 : 3600.368
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 : 7000.16
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 : 3600.106
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.107
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 : 7000.16
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 : 3600.087
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 : 7000.16
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 : 3600.039
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.677
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 : 7000.16
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.047
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127811368 kB
MemAvailable: 129734168 kB
Buffers: 3280 kB
Cached: 2724056 kB
SwapCached: 0 kB
Active: 386096 kB
Inactive: 2414808 kB
Active(anon): 91636 kB
Inactive(anon): 0 kB
Active(file): 294460 kB
Inactive(file): 2414808 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 49556 kB
Writeback: 0 kB
AnonPages: 77004 kB
Mapped: 112704 kB
Shmem: 18068 kB
KReclaimable: 105544 kB
Slab: 195324 kB
SReclaimable: 105544 kB
SUnreclaim: 89780 kB
KernelStack: 4256 kB
PageTables: 3024 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 405696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431420 MiB
End job on nodeC028 at 2025-07-04 02:33:26