0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.00/0.03 c [STEP] preprocessing with Papilo
0.00/0.04 c [STEP] solving with SCIP
299.11/300.13 c [STEP] preprocessing done, loading into solver
299.11/300.13 c [STEP] solving
299.11/300.13 c #variables 471 #constraints 469
299.11/300.13 c SMALL=int, LARGE=long long
299.11/300.13 d SCIPUB 190
299.11/300.13 c bounds - >= 0 @ 298.986
299.11/300.13 c stratification level: 0
318.65/319.70 c bounds - >= 53 @ 298.987
318.65/319.70 c bounds - >= 54 @ 298.987
318.65/319.70 c bounds - >= 55 @ 298.987
318.65/319.70 c bounds - >= 56 @ 298.987
318.65/319.70 c bounds - >= 57 @ 298.987
318.65/319.70 c bounds - >= 58 @ 298.987
318.65/319.70 c bounds - >= 59 @ 298.987
318.65/319.70 c bounds - >= 60 @ 298.987
318.65/319.70 c bounds - >= 61 @ 298.987
318.65/319.70 c bounds - >= 62 @ 298.988
318.65/319.70 c bounds - >= 63 @ 298.988
318.65/319.70 c bounds - >= 64 @ 298.988
318.65/319.70 c bounds - >= 65 @ 298.988
318.65/319.70 c bounds - >= 66 @ 298.988
318.65/319.70 c bounds - >= 67 @ 298.988
318.65/319.70 c bounds - >= 68 @ 298.988
318.65/319.70 c bounds - >= 69 @ 298.988
318.65/319.70 c bounds - >= 70 @ 298.988
318.65/319.70 c bounds - >= 71 @ 298.988
318.65/319.70 c bounds - >= 72 @ 298.988
318.65/319.70 c bounds - >= 73 @ 298.988
318.65/319.70 c bounds - >= 74 @ 298.988
318.65/319.70 c bounds - >= 75 @ 298.988
318.65/319.70 c bounds - >= 76 @ 298.988
318.65/319.70 c bounds - >= 77 @ 298.988
318.65/319.70 c bounds - >= 78 @ 298.988
318.65/319.70 c bounds - >= 79 @ 298.988
318.65/319.70 c bounds - >= 80 @ 298.989
318.65/319.70 c bounds - >= 81 @ 298.989
318.65/319.70 c bounds - >= 82 @ 298.989
318.65/319.70 c bounds - >= 83 @ 298.989
318.65/319.70 c bounds - >= 84 @ 298.989
318.65/319.70 c bounds - >= 85 @ 298.989
318.65/319.70 c bounds - >= 86 @ 298.989
318.65/319.70 c bounds - >= 87 @ 298.989
318.65/319.70 c bounds - >= 88 @ 298.989
318.65/319.70 c bounds - >= 89 @ 298.989
318.65/319.70 c bounds - >= 90 @ 298.989
318.65/319.70 c bounds - >= 91 @ 298.989
318.65/319.70 c bounds - >= 92 @ 298.989
318.65/319.70 c bounds - >= 93 @ 298.989
318.65/319.70 c bounds - >= 94 @ 298.989
318.65/319.70 c bounds - >= 95 @ 298.989
318.65/319.70 c bounds - >= 96 @ 298.989
318.65/319.70 c bounds - >= 97 @ 298.989
318.65/319.70 c bounds - >= 98 @ 298.99
318.65/319.70 c bounds - >= 99 @ 298.99
318.65/319.70 c bounds - >= 100 @ 298.99
318.65/319.70 c bounds - >= 101 @ 298.99
318.65/319.70 c bounds - >= 102 @ 298.99
318.65/319.70 c bounds - >= 103 @ 298.99
318.65/319.70 c bounds - >= 104 @ 298.99
318.65/319.70 c bounds - >= 105 @ 298.99
318.65/319.70 c bounds - >= 106 @ 298.991
318.65/319.70 c bounds - >= 107 @ 298.991
318.65/319.70 c bounds - >= 108 @ 298.991
318.65/319.70 c bounds - >= 109 @ 298.991
318.65/319.70 c bounds - >= 110 @ 298.991
318.65/319.70 c bounds - >= 111 @ 298.991
318.65/319.70 c bounds - >= 112 @ 298.991
318.65/319.70 c bounds - >= 113 @ 298.992
318.65/319.70 c bounds - >= 114 @ 298.992
318.65/319.70 c bounds - >= 115 @ 298.992
318.65/319.70 c bounds - >= 116 @ 298.992
318.65/319.70 c bounds - >= 117 @ 298.992
318.65/319.70 c bounds - >= 118 @ 298.992
318.65/319.70 c bounds - >= 119 @ 298.992
318.65/319.70 c bounds - >= 120 @ 298.993
318.65/319.70 c bounds - >= 121 @ 298.993
318.65/319.70 c bounds - >= 122 @ 298.993
318.65/319.70 c bounds - >= 123 @ 298.993
318.65/319.70 c bounds - >= 124 @ 298.993
318.65/319.70 c bounds - >= 125 @ 298.993
318.65/319.70 c bounds - >= 126 @ 298.993
318.65/319.70 c bounds - >= 127 @ 298.994
318.65/319.70 c bounds - >= 128 @ 298.994
318.65/319.70 c bounds - >= 129 @ 298.994
318.65/319.70 c #Conflicts: 1000 | #Constraints: 1604
318.65/319.70 c #Conflicts: 2000 | #Constraints: 2604
318.65/319.70 c INPROCESSING
318.65/319.70 c GARBAGE COLLECT
318.65/319.70 c #Conflicts: 3000 | #Constraints: 2530
318.65/319.70 c #Conflicts: 4000 | #Constraints: 3530
318.65/319.70 c INPROCESSING
318.65/319.70 c GARBAGE COLLECT
318.65/319.70 c #Conflicts: 5000 | #Constraints: 2934
318.65/319.70 c #Conflicts: 6000 | #Constraints: 3934
318.65/319.70 c INPROCESSING
318.65/319.70 c GARBAGE COLLECT
318.65/319.70 c #Conflicts: 7000 | #Constraints: 2934
318.65/319.70 c #Conflicts: 8000 | #Constraints: 3934
318.65/319.70 c #Conflicts: 9000 | #Constraints: 4934
318.65/319.70 c INPROCESSING
318.65/319.70 c GARBAGE COLLECT
318.65/319.70 c #Conflicts: 10000 | #Constraints: 3635
318.65/319.70 c #Conflicts: 11000 | #Constraints: 4635
318.65/319.70 c #Conflicts: 12000 | #Constraints: 5635
318.65/319.70 c INPROCESSING
318.65/319.70 c GARBAGE COLLECT
318.65/319.70 c #Conflicts: 13000 | #Constraints: 4085
318.65/319.70 c #Conflicts: 14000 | #Constraints: 5085
318.65/319.70 c #Conflicts: 15000 | #Constraints: 6085
318.65/319.70 c INPROCESSING
318.65/319.70 c GARBAGE COLLECT
318.65/319.70 c #Conflicts: 16000 | #Constraints: 4311
318.65/319.70 c #Conflicts: 17000 | #Constraints: 5311
318.65/319.70 c #Conflicts: 18000 | #Constraints: 6311
318.65/319.70 c INPROCESSING
318.65/319.70 c GARBAGE COLLECT
318.65/319.70 c #Conflicts: 19000 | #Constraints: 4329
318.65/319.70 c #Conflicts: 20000 | #Constraints: 5329
318.65/319.70 c #Conflicts: 21000 | #Constraints: 6329
318.65/319.70 c INPROCESSING
318.65/319.70 c GARBAGE COLLECT
318.65/319.70 c #Conflicts: 22000 | #Constraints: 4139
318.65/319.70 c #Conflicts: 23000 | #Constraints: 5139
318.65/319.70 c #Conflicts: 24000 | #Constraints: 6139
318.65/319.70 c #Conflicts: 25000 | #Constraints: 7139
318.65/319.70 c INPROCESSING
318.65/319.70 c GARBAGE COLLECT
318.65/319.70 c #Conflicts: 26000 | #Constraints: 4738
318.65/319.70 c #Conflicts: 27000 | #Constraints: 5738
318.65/319.70 c #Conflicts: 28000 | #Constraints: 6738
318.65/319.70 c #Conflicts: 29000 | #Constraints: 7738
318.65/319.70 c INPROCESSING
318.65/319.70 c GARBAGE COLLECT
318.65/319.70 c #Conflicts: 30000 | #Constraints: 5136
318.65/319.70 c #Conflicts: 31000 | #Constraints: 6136
318.65/319.70 c #Conflicts: 32000 | #Constraints: 7136
318.65/319.70 c #Conflicts: 33000 | #Constraints: 8136
402.07/403.49 c INPROCESSING
402.07/403.49 c GARBAGE COLLECT
402.07/403.49 c #Conflicts: 34000 | #Constraints: 5340
402.07/403.49 c #Conflicts: 35000 | #Constraints: 6340
402.07/403.49 c #Conflicts: 36000 | #Constraints: 7340
402.07/403.49 c #Conflicts: 37000 | #Constraints: 8340
402.07/403.49 c INPROCESSING
402.07/403.49 c GARBAGE COLLECT
402.07/403.49 c #Conflicts: 38000 | #Constraints: 5339
402.07/403.49 c #Conflicts: 39000 | #Constraints: 6339
402.07/403.49 c #Conflicts: 40000 | #Constraints: 7339
402.07/403.49 c #Conflicts: 41000 | #Constraints: 8339
402.07/403.49 c INPROCESSING
402.07/403.49 c GARBAGE COLLECT
402.07/403.49 c #Conflicts: 42000 | #Constraints: 5141
402.07/403.49 c #Conflicts: 43000 | #Constraints: 6141
402.07/403.49 c #Conflicts: 44000 | #Constraints: 7141
402.07/403.49 c #Conflicts: 45000 | #Constraints: 8141
402.07/403.49 c #Conflicts: 46000 | #Constraints: 9141
402.07/403.49 c INPROCESSING
402.07/403.49 c GARBAGE COLLECT
402.07/403.49 c #Conflicts: 47000 | #Constraints: 5737
402.07/403.49 c #Conflicts: 48000 | #Constraints: 6737
402.07/403.49 c #Conflicts: 49000 | #Constraints: 7737
402.07/403.49 c #Conflicts: 50000 | #Constraints: 8737
402.07/403.49 c #Conflicts: 51000 | #Constraints: 9737
402.07/403.49 c INPROCESSING
402.07/403.49 c GARBAGE COLLECT
402.07/403.49 c #Conflicts: 52000 | #Constraints: 6136
402.07/403.49 c #Conflicts: 53000 | #Constraints: 7136
402.07/403.49 c #Conflicts: 54000 | #Constraints: 8136
402.07/403.49 c #Conflicts: 55000 | #Constraints: 9136
402.07/403.49 c #Conflicts: 56000 | #Constraints: 10136
402.07/403.49 c INPROCESSING
402.07/403.49 c GARBAGE COLLECT
402.07/403.49 c #Conflicts: 57000 | #Constraints: 6337
402.07/403.49 c #Conflicts: 58000 | #Constraints: 7337
402.07/403.49 c #Conflicts: 59000 | #Constraints: 8337
402.07/403.49 c #Conflicts: 60000 | #Constraints: 9337
402.07/403.49 c #Conflicts: 61000 | #Constraints: 10337
402.07/403.49 c INPROCESSING
402.07/403.49 c GARBAGE COLLECT
402.07/403.49 c #Conflicts: 62000 | #Constraints: 6339
402.07/403.49 c #Conflicts: 63000 | #Constraints: 7339
402.07/403.49 c #Conflicts: 64000 | #Constraints: 8339
402.07/403.49 c #Conflicts: 65000 | #Constraints: 9339
402.07/403.49 c #Conflicts: 66000 | #Constraints: 10339
402.07/403.49 c INPROCESSING
402.07/403.49 c GARBAGE COLLECT
402.07/403.49 c #Conflicts: 67000 | #Constraints: 6138
402.07/403.49 c #Conflicts: 68000 | #Constraints: 7138
402.07/403.49 c #Conflicts: 69000 | #Constraints: 8138
402.07/403.49 c #Conflicts: 70000 | #Constraints: 9138
402.07/403.49 c #Conflicts: 71000 | #Constraints: 10138
402.07/403.49 c #Conflicts: 72000 | #Constraints: 11138
402.07/403.49 c INPROCESSING
402.07/403.49 c GARBAGE COLLECT
402.07/403.49 c #Conflicts: 73000 | #Constraints: 6737
402.07/403.49 c #Conflicts: 74000 | #Constraints: 7737
402.07/403.49 c #Conflicts: 75000 | #Constraints: 8737
402.07/403.49 c #Conflicts: 76000 | #Constraints: 9737
402.07/403.49 c #Conflicts: 77000 | #Constraints: 10737
402.07/403.49 c #Conflicts: 78000 | #Constraints: 11737
402.07/403.49 c INPROCESSING
402.07/403.49 c GARBAGE COLLECT
402.07/403.49 c #Conflicts: 79000 | #Constraints: 7135
402.07/403.49 c #Conflicts: 80000 | #Constraints: 8135
402.07/403.49 c #Conflicts: 81000 | #Constraints: 9135
402.07/403.49 c #Conflicts: 82000 | #Constraints: 10135
402.07/403.49 c #Conflicts: 83000 | #Constraints: 11135
402.07/403.49 c #Conflicts: 84000 | #Constraints: 12135
402.07/403.49 c INPROCESSING
402.07/403.49 c GARBAGE COLLECT
402.07/403.49 c #Conflicts: 85000 | #Constraints: 7337
402.07/403.49 c #Conflicts: 86000 | #Constraints: 8337
402.07/403.49 c #Conflicts: 87000 | #Constraints: 9337
402.07/403.49 c #Conflicts: 88000 | #Constraints: 10337
402.07/403.49 c #Conflicts: 89000 | #Constraints: 11337
402.07/403.49 c #Conflicts: 90000 | #Constraints: 12337
402.07/403.49 c INPROCESSING
402.07/403.49 c GARBAGE COLLECT
402.07/403.49 c #Conflicts: 91000 | #Constraints: 7336
402.07/403.49 c #Conflicts: 92000 | #Constraints: 8336
402.07/403.49 c #Conflicts: 93000 | #Constraints: 9336
402.07/403.49 c #Conflicts: 94000 | #Constraints: 10336
402.07/403.49 c #Conflicts: 95000 | #Constraints: 11336
402.07/403.49 c #Conflicts: 96000 | #Constraints: 12336
402.07/403.49 c INPROCESSING
402.07/403.49 c GARBAGE COLLECT
402.07/403.49 c #Conflicts: 97000 | #Constraints: 7142
402.07/403.49 c #Conflicts: 98000 | #Constraints: 8142
402.07/403.49 c #Conflicts: 99000 | #Constraints: 9142
402.07/403.49 c #Conflicts: 100000 | #Constraints: 10142
402.07/403.49 c #Conflicts: 101000 | #Constraints: 11142
402.07/403.49 c #Conflicts: 102000 | #Constraints: 12142
402.07/403.49 c #Conflicts: 103000 | #Constraints: 13142
531.95/533.75 c INPROCESSING
531.95/533.75 c GARBAGE COLLECT
531.95/533.75 c #Conflicts: 104000 | #Constraints: 7744
531.95/533.75 c #Conflicts: 105000 | #Constraints: 8744
531.95/533.75 c #Conflicts: 106000 | #Constraints: 9744
531.95/533.75 c #Conflicts: 107000 | #Constraints: 10744
531.95/533.75 c #Conflicts: 108000 | #Constraints: 11744
531.95/533.75 c #Conflicts: 109000 | #Constraints: 12744
531.95/533.75 c #Conflicts: 110000 | #Constraints: 13744
531.95/533.75 c INPROCESSING
531.95/533.75 c GARBAGE COLLECT
531.95/533.75 c #Conflicts: 111000 | #Constraints: 8140
531.95/533.75 c #Conflicts: 112000 | #Constraints: 9140
531.95/533.75 c #Conflicts: 113000 | #Constraints: 10140
531.95/533.75 c #Conflicts: 114000 | #Constraints: 11140
531.95/533.75 c #Conflicts: 115000 | #Constraints: 12140
531.95/533.75 c #Conflicts: 116000 | #Constraints: 13140
531.95/533.75 c #Conflicts: 117000 | #Constraints: 14140
531.95/533.75 c INPROCESSING
531.95/533.75 c GARBAGE COLLECT
531.95/533.75 c #Conflicts: 118000 | #Constraints: 8341
531.95/533.75 c #Conflicts: 119000 | #Constraints: 9341
531.95/533.75 c #Conflicts: 120000 | #Constraints: 10341
531.95/533.75 c #Conflicts: 121000 | #Constraints: 11341
531.95/533.75 c #Conflicts: 122000 | #Constraints: 12341
531.95/533.75 c #Conflicts: 123000 | #Constraints: 13341
531.95/533.75 c #Conflicts: 124000 | #Constraints: 14341
531.95/533.75 c INPROCESSING
531.95/533.75 c GARBAGE COLLECT
531.95/533.75 c #Conflicts: 125000 | #Constraints: 8349
531.95/533.75 c #Conflicts: 126000 | #Constraints: 9349
531.95/533.75 c #Conflicts: 127000 | #Constraints: 10349
531.95/533.75 c #Conflicts: 128000 | #Constraints: 11349
531.95/533.75 c #Conflicts: 129000 | #Constraints: 12349
531.95/533.75 c #Conflicts: 130000 | #Constraints: 13349
531.95/533.75 c #Conflicts: 131000 | #Constraints: 14349
531.95/533.75 c INPROCESSING
531.95/533.75 c GARBAGE COLLECT
531.95/533.75 c #Conflicts: 132000 | #Constraints: 8145
531.95/533.75 c #Conflicts: 133000 | #Constraints: 9145
531.95/533.75 c #Conflicts: 134000 | #Constraints: 10145
531.95/533.75 c #Conflicts: 135000 | #Constraints: 11145
531.95/533.75 c #Conflicts: 136000 | #Constraints: 12145
531.95/533.75 c #Conflicts: 137000 | #Constraints: 13145
531.95/533.75 c #Conflicts: 138000 | #Constraints: 14145
531.95/533.75 c #Conflicts: 139000 | #Constraints: 15145
531.95/533.75 c INPROCESSING
531.95/533.75 c GARBAGE COLLECT
531.95/533.75 c #Conflicts: 140000 | #Constraints: 8744
531.95/533.75 c #Conflicts: 141000 | #Constraints: 9744
531.95/533.75 c #Conflicts: 142000 | #Constraints: 10744
531.95/533.75 c #Conflicts: 143000 | #Constraints: 11744
531.95/533.75 c #Conflicts: 144000 | #Constraints: 12744
531.95/533.75 c #Conflicts: 145000 | #Constraints: 13744
531.95/533.75 c #Conflicts: 146000 | #Constraints: 14744
531.95/533.75 c #Conflicts: 147000 | #Constraints: 15744
531.95/533.75 c INPROCESSING
531.95/533.75 c GARBAGE COLLECT
531.95/533.75 c #Conflicts: 148000 | #Constraints: 9150
531.95/533.75 c #Conflicts: 149000 | #Constraints: 10150
531.95/533.75 c #Conflicts: 150000 | #Constraints: 11150
531.95/533.75 c #Conflicts: 151000 | #Constraints: 12150
531.95/533.75 c #Conflicts: 152000 | #Constraints: 13150
531.95/533.75 c #Conflicts: 153000 | #Constraints: 14150
531.95/533.75 c #Conflicts: 154000 | #Constraints: 15150
531.95/533.75 c #Conflicts: 155000 | #Constraints: 16150
531.95/533.75 c INPROCESSING
531.95/533.75 c GARBAGE COLLECT
531.95/533.75 c #Conflicts: 156000 | #Constraints: 9351
531.95/533.75 c #Conflicts: 157000 | #Constraints: 10351
531.95/533.75 c #Conflicts: 158000 | #Constraints: 11351
531.95/533.75 c #Conflicts: 159000 | #Constraints: 12351
531.95/533.75 c #Conflicts: 160000 | #Constraints: 13351
531.95/533.75 c #Conflicts: 161000 | #Constraints: 14351
531.95/533.75 c #Conflicts: 162000 | #Constraints: 15351
531.95/533.75 c #Conflicts: 163000 | #Constraints: 16351
531.95/533.75 c INPROCESSING
531.95/533.75 c GARBAGE COLLECT
531.95/533.75 c #Conflicts: 164000 | #Constraints: 9343
531.95/533.75 c #Conflicts: 165000 | #Constraints: 10343
531.95/533.75 c #Conflicts: 166000 | #Constraints: 11343
531.95/533.75 c #Conflicts: 167000 | #Constraints: 12343
531.95/533.75 c #Conflicts: 168000 | #Constraints: 13343
531.95/533.75 c #Conflicts: 169000 | #Constraints: 14343
531.95/533.75 c #Conflicts: 170000 | #Constraints: 15343
531.95/533.75 c #Conflicts: 171000 | #Constraints: 16343
531.95/533.75 c INPROCESSING
531.95/533.75 c GARBAGE COLLECT
531.95/533.75 c #Conflicts: 172000 | #Constraints: 9142
531.95/533.75 c #Conflicts: 173000 | #Constraints: 10142
531.95/533.75 c #Conflicts: 174000 | #Constraints: 11142
531.95/533.75 c #Conflicts: 175000 | #Constraints: 12142
728.32/730.77 c #Conflicts: 176000 | #Constraints: 13142
728.32/730.77 c #Conflicts: 177000 | #Constraints: 14142
728.32/730.77 c #Conflicts: 178000 | #Constraints: 15142
728.32/730.77 c #Conflicts: 179000 | #Constraints: 16142
728.32/730.77 c #Conflicts: 180000 | #Constraints: 17142
728.32/730.77 c INPROCESSING
728.32/730.77 c GARBAGE COLLECT
728.32/730.77 c #Conflicts: 181000 | #Constraints: 9740
728.32/730.77 c #Conflicts: 182000 | #Constraints: 10740
728.32/730.77 c #Conflicts: 183000 | #Constraints: 11740
728.32/730.77 c #Conflicts: 184000 | #Constraints: 12740
728.32/730.77 c #Conflicts: 185000 | #Constraints: 13740
728.32/730.77 c #Conflicts: 186000 | #Constraints: 14740
728.32/730.77 c #Conflicts: 187000 | #Constraints: 15740
728.32/730.77 c #Conflicts: 188000 | #Constraints: 16740
728.32/730.77 c #Conflicts: 189000 | #Constraints: 17740
728.32/730.77 c INPROCESSING
728.32/730.77 c GARBAGE COLLECT
728.32/730.77 c #Conflicts: 190000 | #Constraints: 10140
728.32/730.77 c #Conflicts: 191000 | #Constraints: 11140
728.32/730.77 c #Conflicts: 192000 | #Constraints: 12140
728.32/730.77 c #Conflicts: 193000 | #Constraints: 13140
728.32/730.77 c #Conflicts: 194000 | #Constraints: 14140
728.32/730.77 c #Conflicts: 195000 | #Constraints: 15140
728.32/730.77 c #Conflicts: 196000 | #Constraints: 16140
728.32/730.77 c #Conflicts: 197000 | #Constraints: 17140
728.32/730.77 c #Conflicts: 198000 | #Constraints: 18140
728.32/730.77 c INPROCESSING
728.32/730.77 c GARBAGE COLLECT
728.32/730.77 c #Conflicts: 199000 | #Constraints: 10345
728.32/730.77 c #Conflicts: 200000 | #Constraints: 11345
728.32/730.77 c #Conflicts: 201000 | #Constraints: 12345
728.32/730.77 c #Conflicts: 202000 | #Constraints: 13345
728.32/730.77 c #Conflicts: 203000 | #Constraints: 14345
728.32/730.77 c #Conflicts: 204000 | #Constraints: 15345
728.32/730.77 c #Conflicts: 205000 | #Constraints: 16345
728.32/730.77 c #Conflicts: 206000 | #Constraints: 17345
728.32/730.77 c #Conflicts: 207000 | #Constraints: 18345
728.32/730.77 c INPROCESSING
728.32/730.77 c GARBAGE COLLECT
728.32/730.77 c #Conflicts: 208000 | #Constraints: 10346
728.32/730.77 c #Conflicts: 209000 | #Constraints: 11346
728.32/730.77 c #Conflicts: 210000 | #Constraints: 12346
728.32/730.77 c #Conflicts: 211000 | #Constraints: 13346
728.32/730.77 c #Conflicts: 212000 | #Constraints: 14346
728.32/730.77 c #Conflicts: 213000 | #Constraints: 15346
728.32/730.77 c #Conflicts: 214000 | #Constraints: 16346
728.32/730.77 c #Conflicts: 215000 | #Constraints: 17346
728.32/730.77 c #Conflicts: 216000 | #Constraints: 18346
728.32/730.77 c INPROCESSING
728.32/730.77 c GARBAGE COLLECT
728.32/730.77 c #Conflicts: 217000 | #Constraints: 10148
728.32/730.77 c #Conflicts: 218000 | #Constraints: 11148
728.32/730.77 c #Conflicts: 219000 | #Constraints: 12148
728.32/730.77 c #Conflicts: 220000 | #Constraints: 13148
728.32/730.77 c #Conflicts: 221000 | #Constraints: 14148
728.32/730.77 c #Conflicts: 222000 | #Constraints: 15148
728.32/730.77 c #Conflicts: 223000 | #Constraints: 16148
728.32/730.77 c #Conflicts: 224000 | #Constraints: 17148
728.32/730.77 c #Conflicts: 225000 | #Constraints: 18148
728.32/730.77 c #Conflicts: 226000 | #Constraints: 19148
728.32/730.77 c INPROCESSING
728.32/730.77 c GARBAGE COLLECT
728.32/730.77 c #Conflicts: 227000 | #Constraints: 10747
728.32/730.77 c #Conflicts: 228000 | #Constraints: 11747
728.32/730.77 c #Conflicts: 229000 | #Constraints: 12747
728.32/730.77 c #Conflicts: 230000 | #Constraints: 13747
728.32/730.77 c #Conflicts: 231000 | #Constraints: 14747
728.32/730.77 c #Conflicts: 232000 | #Constraints: 15747
728.32/730.77 c #Conflicts: 233000 | #Constraints: 16747
728.32/730.77 c #Conflicts: 234000 | #Constraints: 17747
728.32/730.77 c #Conflicts: 235000 | #Constraints: 18747
728.32/730.77 c #Conflicts: 236000 | #Constraints: 19747
728.32/730.77 c INPROCESSING
728.32/730.77 c GARBAGE COLLECT
728.32/730.77 c #Conflicts: 237000 | #Constraints: 11145
728.32/730.77 c #Conflicts: 238000 | #Constraints: 12145
728.32/730.77 c #Conflicts: 239000 | #Constraints: 13145
728.32/730.77 c #Conflicts: 240000 | #Constraints: 14145
728.32/730.77 c #Conflicts: 241000 | #Constraints: 15145
728.32/730.77 c #Conflicts: 242000 | #Constraints: 16145
728.32/730.77 c #Conflicts: 243000 | #Constraints: 17145
728.32/730.77 c #Conflicts: 244000 | #Constraints: 18145
728.32/730.77 c #Conflicts: 245000 | #Constraints: 19145
728.32/730.77 c #Conflicts: 246000 | #Constraints: 20145
728.32/730.77 c INPROCESSING
728.32/730.77 c GARBAGE COLLECT
728.32/730.77 c #Conflicts: 247000 | #Constraints: 11344
728.32/730.77 c #Conflicts: 248000 | #Constraints: 12344
728.32/730.77 c #Conflicts: 249000 | #Constraints: 13344
938.55/941.61 c #Conflicts: 250000 | #Constraints: 14344
938.55/941.61 c #Conflicts: 251000 | #Constraints: 15344
938.55/941.61 c #Conflicts: 252000 | #Constraints: 16344
938.55/941.61 c #Conflicts: 253000 | #Constraints: 17344
938.55/941.61 c #Conflicts: 254000 | #Constraints: 18344
938.55/941.61 c #Conflicts: 255000 | #Constraints: 19344
938.55/941.61 c #Conflicts: 256000 | #Constraints: 20344
938.55/941.61 c INPROCESSING
938.55/941.61 c GARBAGE COLLECT
938.55/941.61 c #Conflicts: 257000 | #Constraints: 11341
938.55/941.61 c #Conflicts: 258000 | #Constraints: 12341
938.55/941.61 c #Conflicts: 259000 | #Constraints: 13341
938.55/941.61 c #Conflicts: 260000 | #Constraints: 14341
938.55/941.61 c #Conflicts: 261000 | #Constraints: 15341
938.55/941.61 c #Conflicts: 262000 | #Constraints: 16341
938.55/941.61 c #Conflicts: 263000 | #Constraints: 17341
938.55/941.61 c #Conflicts: 264000 | #Constraints: 18341
938.55/941.61 c #Conflicts: 265000 | #Constraints: 19341
938.55/941.61 c #Conflicts: 266000 | #Constraints: 20341
938.55/941.61 c INPROCESSING
938.55/941.61 c GARBAGE COLLECT
938.55/941.61 c #Conflicts: 267000 | #Constraints: 11141
938.55/941.61 c #Conflicts: 268000 | #Constraints: 12141
938.55/941.61 c #Conflicts: 269000 | #Constraints: 13141
938.55/941.61 c #Conflicts: 270000 | #Constraints: 14141
938.55/941.61 c #Conflicts: 271000 | #Constraints: 15141
938.55/941.61 c #Conflicts: 272000 | #Constraints: 16141
938.55/941.61 c #Conflicts: 273000 | #Constraints: 17141
938.55/941.61 c #Conflicts: 274000 | #Constraints: 18141
938.55/941.61 c #Conflicts: 275000 | #Constraints: 19141
938.55/941.61 c #Conflicts: 276000 | #Constraints: 20141
938.55/941.61 c #Conflicts: 277000 | #Constraints: 21141
938.55/941.61 c INPROCESSING
938.55/941.61 c GARBAGE COLLECT
938.55/941.61 c #Conflicts: 278000 | #Constraints: 11738
938.55/941.61 c #Conflicts: 279000 | #Constraints: 12738
938.55/941.61 c #Conflicts: 280000 | #Constraints: 13738
938.55/941.61 c #Conflicts: 281000 | #Constraints: 14738
938.55/941.61 c #Conflicts: 282000 | #Constraints: 15738
938.55/941.61 c #Conflicts: 283000 | #Constraints: 16738
938.55/941.61 c #Conflicts: 284000 | #Constraints: 17738
938.55/941.61 c #Conflicts: 285000 | #Constraints: 18738
938.55/941.61 c #Conflicts: 286000 | #Constraints: 19738
938.55/941.61 c #Conflicts: 287000 | #Constraints: 20738
938.55/941.61 c #Conflicts: 288000 | #Constraints: 21738
938.55/941.61 c INPROCESSING
938.55/941.61 c GARBAGE COLLECT
938.55/941.61 c #Conflicts: 289000 | #Constraints: 12134
938.55/941.61 c #Conflicts: 290000 | #Constraints: 13134
938.55/941.61 c #Conflicts: 291000 | #Constraints: 14134
938.55/941.61 c #Conflicts: 292000 | #Constraints: 15134
938.55/941.61 c #Conflicts: 293000 | #Constraints: 16134
938.55/941.61 c #Conflicts: 294000 | #Constraints: 17134
938.55/941.61 c #Conflicts: 295000 | #Constraints: 18134
938.55/941.61 c #Conflicts: 296000 | #Constraints: 19134
938.55/941.61 c #Conflicts: 297000 | #Constraints: 20134
938.55/941.61 c #Conflicts: 298000 | #Constraints: 21134
938.55/941.61 c #Conflicts: 299000 | #Constraints: 22134
938.55/941.61 c INPROCESSING
938.55/941.61 c GARBAGE COLLECT
938.55/941.61 c #Conflicts: 300000 | #Constraints: 12334
938.55/941.61 c #Conflicts: 301000 | #Constraints: 13334
938.55/941.61 c #Conflicts: 302000 | #Constraints: 14334
938.55/941.61 c #Conflicts: 303000 | #Constraints: 15334
938.55/941.61 c #Conflicts: 304000 | #Constraints: 16334
938.55/941.61 c #Conflicts: 305000 | #Constraints: 17334
938.55/941.61 c #Conflicts: 306000 | #Constraints: 18334
938.55/941.61 c #Conflicts: 307000 | #Constraints: 19334
938.55/941.61 c #Conflicts: 308000 | #Constraints: 20334
938.55/941.61 c #Conflicts: 309000 | #Constraints: 21334
938.55/941.61 c #Conflicts: 310000 | #Constraints: 22334
938.55/941.61 c INPROCESSING
938.55/941.61 c GARBAGE COLLECT
938.55/941.61 c #Conflicts: 311000 | #Constraints: 12338
938.55/941.61 c #Conflicts: 312000 | #Constraints: 13338
938.55/941.61 c #Conflicts: 313000 | #Constraints: 14338
938.55/941.61 c #Conflicts: 314000 | #Constraints: 15338
938.55/941.61 c #Conflicts: 315000 | #Constraints: 16338
938.55/941.61 c #Conflicts: 316000 | #Constraints: 17338
938.55/941.61 c #Conflicts: 317000 | #Constraints: 18338
938.55/941.61 c #Conflicts: 318000 | #Constraints: 19338
938.55/941.61 c #Conflicts: 319000 | #Constraints: 20338
938.55/941.61 c #Conflicts: 320000 | #Constraints: 21338
938.55/941.61 c #Conflicts: 321000 | #Constraints: 22338
938.55/941.61 c INPROCESSING
938.55/941.61 c GARBAGE COLLECT
938.55/941.61 c #Conflicts: 322000 | #Constraints: 12148
938.55/941.61 c #Conflicts: 323000 | #Constraints: 13148
1180.51/1184.30 c #Conflicts: 324000 | #Constraints: 14148
1180.51/1184.30 c #Conflicts: 325000 | #Constraints: 15148
1180.51/1184.30 c #Conflicts: 326000 | #Constraints: 16148
1180.51/1184.30 c #Conflicts: 327000 | #Constraints: 17148
1180.51/1184.30 c #Conflicts: 328000 | #Constraints: 18148
1180.51/1184.30 c #Conflicts: 329000 | #Constraints: 19148
1180.51/1184.30 c #Conflicts: 330000 | #Constraints: 20148
1180.51/1184.30 c #Conflicts: 331000 | #Constraints: 21148
1180.51/1184.30 c #Conflicts: 332000 | #Constraints: 22148
1180.51/1184.30 c #Conflicts: 333000 | #Constraints: 23148
1180.51/1184.30 c INPROCESSING
1180.51/1184.30 c GARBAGE COLLECT
1180.51/1184.30 c #Conflicts: 334000 | #Constraints: 12741
1180.51/1184.30 c #Conflicts: 335000 | #Constraints: 13741
1180.51/1184.30 c #Conflicts: 336000 | #Constraints: 14741
1180.51/1184.30 c #Conflicts: 337000 | #Constraints: 15741
1180.51/1184.30 c #Conflicts: 338000 | #Constraints: 16741
1180.51/1184.30 c #Conflicts: 339000 | #Constraints: 17741
1180.51/1184.30 c #Conflicts: 340000 | #Constraints: 18741
1180.51/1184.30 c #Conflicts: 341000 | #Constraints: 19741
1180.51/1184.30 c #Conflicts: 342000 | #Constraints: 20741
1180.51/1184.30 c #Conflicts: 343000 | #Constraints: 21741
1180.51/1184.30 c #Conflicts: 344000 | #Constraints: 22741
1180.51/1184.30 c #Conflicts: 345000 | #Constraints: 23741
1180.51/1184.30 c INPROCESSING
1180.51/1184.30 c GARBAGE COLLECT
1180.51/1184.30 c #Conflicts: 346000 | #Constraints: 13141
1180.51/1184.30 c #Conflicts: 347000 | #Constraints: 14141
1180.51/1184.30 c #Conflicts: 348000 | #Constraints: 15141
1180.51/1184.30 c #Conflicts: 349000 | #Constraints: 16141
1180.51/1184.30 c #Conflicts: 350000 | #Constraints: 17141
1180.51/1184.30 c #Conflicts: 351000 | #Constraints: 18141
1180.51/1184.30 c #Conflicts: 352000 | #Constraints: 19141
1180.51/1184.30 c #Conflicts: 353000 | #Constraints: 20141
1180.51/1184.30 c #Conflicts: 354000 | #Constraints: 21141
1180.51/1184.30 c #Conflicts: 355000 | #Constraints: 22141
1180.51/1184.30 c #Conflicts: 356000 | #Constraints: 23141
1180.51/1184.30 c #Conflicts: 357000 | #Constraints: 24141
1180.51/1184.30 c INPROCESSING
1180.51/1184.30 c GARBAGE COLLECT
1180.51/1184.30 c #Conflicts: 358000 | #Constraints: 13340
1180.51/1184.30 c #Conflicts: 359000 | #Constraints: 14340
1180.51/1184.30 c #Conflicts: 360000 | #Constraints: 15340
1180.51/1184.30 c #Conflicts: 361000 | #Constraints: 16340
1180.51/1184.30 c #Conflicts: 362000 | #Constraints: 17340
1180.51/1184.30 c #Conflicts: 363000 | #Constraints: 18340
1180.51/1184.30 c #Conflicts: 364000 | #Constraints: 19340
1180.51/1184.30 c #Conflicts: 365000 | #Constraints: 20340
1180.51/1184.30 c #Conflicts: 366000 | #Constraints: 21340
1180.51/1184.30 c #Conflicts: 367000 | #Constraints: 22340
1180.51/1184.30 c #Conflicts: 368000 | #Constraints: 23340
1180.51/1184.30 c #Conflicts: 369000 | #Constraints: 24340
1180.51/1184.30 c INPROCESSING
1180.51/1184.30 c GARBAGE COLLECT
1180.51/1184.30 c #Conflicts: 370000 | #Constraints: 13343
1180.51/1184.30 c #Conflicts: 371000 | #Constraints: 14343
1180.51/1184.30 c #Conflicts: 372000 | #Constraints: 15343
1180.51/1184.30 c #Conflicts: 373000 | #Constraints: 16343
1180.51/1184.30 c #Conflicts: 374000 | #Constraints: 17343
1180.51/1184.30 c #Conflicts: 375000 | #Constraints: 18343
1180.51/1184.30 c #Conflicts: 376000 | #Constraints: 19343
1180.51/1184.30 c #Conflicts: 377000 | #Constraints: 20343
1180.51/1184.30 c #Conflicts: 378000 | #Constraints: 21343
1180.51/1184.30 c #Conflicts: 379000 | #Constraints: 22343
1180.51/1184.30 c #Conflicts: 380000 | #Constraints: 23343
1180.51/1184.30 c #Conflicts: 381000 | #Constraints: 24343
1180.51/1184.30 c INPROCESSING
1180.51/1184.30 c GARBAGE COLLECT
1180.51/1184.30 c #Conflicts: 382000 | #Constraints: 13138
1180.51/1184.30 c #Conflicts: 383000 | #Constraints: 14138
1180.51/1184.30 c #Conflicts: 384000 | #Constraints: 15138
1180.51/1184.30 c #Conflicts: 385000 | #Constraints: 16138
1180.51/1184.30 c #Conflicts: 386000 | #Constraints: 17138
1180.51/1184.30 c #Conflicts: 387000 | #Constraints: 18138
1180.51/1184.30 c #Conflicts: 388000 | #Constraints: 19138
1180.51/1184.30 c #Conflicts: 389000 | #Constraints: 20138
1180.51/1184.30 c #Conflicts: 390000 | #Constraints: 21138
1180.51/1184.30 c #Conflicts: 391000 | #Constraints: 22138
1180.51/1184.30 c #Conflicts: 392000 | #Constraints: 23138
1180.51/1184.30 c #Conflicts: 393000 | #Constraints: 24138
1180.51/1184.30 c #Conflicts: 394000 | #Constraints: 25138
1180.51/1184.30 c INPROCESSING
1180.51/1184.30 c GARBAGE COLLECT
1180.51/1184.30 c #Conflicts: 395000 | #Constraints: 13737
1180.51/1184.30 c #Conflicts: 396000 | #Constraints: 14737
1180.51/1184.30 c #Conflicts: 397000 | #Constraints: 15737
1180.51/1184.30 c #Conflicts: 398000 | #Constraints: 16737
1464.41/1469.10 c #Conflicts: 399000 | #Constraints: 17737
1464.41/1469.10 c #Conflicts: 400000 | #Constraints: 18737
1464.41/1469.10 c #Conflicts: 401000 | #Constraints: 19737
1464.41/1469.10 c #Conflicts: 402000 | #Constraints: 20737
1464.41/1469.10 c #Conflicts: 403000 | #Constraints: 21737
1464.41/1469.10 c #Conflicts: 404000 | #Constraints: 22737
1464.41/1469.10 c #Conflicts: 405000 | #Constraints: 23737
1464.41/1469.10 c #Conflicts: 406000 | #Constraints: 24737
1464.41/1469.10 c #Conflicts: 407000 | #Constraints: 25737
1464.41/1469.10 c INPROCESSING
1464.41/1469.10 c GARBAGE COLLECT
1464.41/1469.10 c #Conflicts: 408000 | #Constraints: 14139
1464.41/1469.10 c #Conflicts: 409000 | #Constraints: 15139
1464.41/1469.10 c #Conflicts: 410000 | #Constraints: 16139
1464.41/1469.10 c #Conflicts: 411000 | #Constraints: 17139
1464.41/1469.10 c #Conflicts: 412000 | #Constraints: 18139
1464.41/1469.10 c #Conflicts: 413000 | #Constraints: 19139
1464.41/1469.10 c #Conflicts: 414000 | #Constraints: 20139
1464.41/1469.10 c #Conflicts: 415000 | #Constraints: 21139
1464.41/1469.10 c #Conflicts: 416000 | #Constraints: 22139
1464.41/1469.10 c #Conflicts: 417000 | #Constraints: 23139
1464.41/1469.10 c #Conflicts: 418000 | #Constraints: 24139
1464.41/1469.10 c #Conflicts: 419000 | #Constraints: 25139
1464.41/1469.10 c #Conflicts: 420000 | #Constraints: 26139
1464.41/1469.10 c INPROCESSING
1464.41/1469.10 c GARBAGE COLLECT
1464.41/1469.10 c #Conflicts: 421000 | #Constraints: 14343
1464.41/1469.10 c #Conflicts: 422000 | #Constraints: 15343
1464.41/1469.10 c #Conflicts: 423000 | #Constraints: 16343
1464.41/1469.10 c #Conflicts: 424000 | #Constraints: 17343
1464.41/1469.10 c #Conflicts: 425000 | #Constraints: 18343
1464.41/1469.10 c #Conflicts: 426000 | #Constraints: 19343
1464.41/1469.10 c #Conflicts: 427000 | #Constraints: 20343
1464.41/1469.10 c #Conflicts: 428000 | #Constraints: 21343
1464.41/1469.10 c #Conflicts: 429000 | #Constraints: 22343
1464.41/1469.10 c #Conflicts: 430000 | #Constraints: 23343
1464.41/1469.10 c #Conflicts: 431000 | #Constraints: 24343
1464.41/1469.10 c #Conflicts: 432000 | #Constraints: 25343
1464.41/1469.10 c #Conflicts: 433000 | #Constraints: 26343
1464.41/1469.10 c INPROCESSING
1464.41/1469.10 c GARBAGE COLLECT
1464.41/1469.10 c #Conflicts: 434000 | #Constraints: 14346
1464.41/1469.10 c #Conflicts: 435000 | #Constraints: 15346
1464.41/1469.10 c #Conflicts: 436000 | #Constraints: 16346
1464.41/1469.10 c #Conflicts: 437000 | #Constraints: 17346
1464.41/1469.10 c #Conflicts: 438000 | #Constraints: 18346
1464.41/1469.10 c #Conflicts: 439000 | #Constraints: 19346
1464.41/1469.10 c #Conflicts: 440000 | #Constraints: 20346
1464.41/1469.10 c #Conflicts: 441000 | #Constraints: 21346
1464.41/1469.10 c #Conflicts: 442000 | #Constraints: 22346
1464.41/1469.10 c #Conflicts: 443000 | #Constraints: 23346
1464.41/1469.10 c #Conflicts: 444000 | #Constraints: 24346
1464.41/1469.10 c #Conflicts: 445000 | #Constraints: 25346
1464.41/1469.10 c #Conflicts: 446000 | #Constraints: 26346
1464.41/1469.10 c INPROCESSING
1464.41/1469.10 c GARBAGE COLLECT
1464.41/1469.10 c #Conflicts: 447000 | #Constraints: 14144
1464.41/1469.10 c #Conflicts: 448000 | #Constraints: 15144
1464.41/1469.10 c #Conflicts: 449000 | #Constraints: 16144
1464.41/1469.10 c #Conflicts: 450000 | #Constraints: 17144
1464.41/1469.10 c #Conflicts: 451000 | #Constraints: 18144
1464.41/1469.10 c #Conflicts: 452000 | #Constraints: 19144
1464.41/1469.10 c #Conflicts: 453000 | #Constraints: 20144
1464.41/1469.10 c #Conflicts: 454000 | #Constraints: 21144
1464.41/1469.10 c #Conflicts: 455000 | #Constraints: 22144
1464.41/1469.10 c #Conflicts: 456000 | #Constraints: 23144
1464.41/1469.10 c #Conflicts: 457000 | #Constraints: 24144
1464.41/1469.10 c #Conflicts: 458000 | #Constraints: 25144
1464.41/1469.10 c #Conflicts: 459000 | #Constraints: 26144
1464.41/1469.10 c #Conflicts: 460000 | #Constraints: 27144
1464.41/1469.10 c INPROCESSING
1464.41/1469.10 c GARBAGE COLLECT
1464.41/1469.10 c #Conflicts: 461000 | #Constraints: 14742
1464.41/1469.10 c #Conflicts: 462000 | #Constraints: 15742
1464.41/1469.10 c #Conflicts: 463000 | #Constraints: 16742
1464.41/1469.10 c #Conflicts: 464000 | #Constraints: 17742
1464.41/1469.10 c #Conflicts: 465000 | #Constraints: 18742
1464.41/1469.10 c #Conflicts: 466000 | #Constraints: 19742
1464.41/1469.10 c #Conflicts: 467000 | #Constraints: 20742
1464.41/1469.10 c #Conflicts: 468000 | #Constraints: 21742
1464.41/1469.10 c #Conflicts: 469000 | #Constraints: 22742
1464.41/1469.10 c #Conflicts: 470000 | #Constraints: 23742
1464.41/1469.10 c #Conflicts: 471000 | #Constraints: 24742
1464.41/1469.10 c #Conflicts: 472000 | #Constraints: 25742
1464.41/1469.10 c #Conflicts: 473000 | #Constraints: 26742
1464.41/1469.10 c #Conflicts: 474000 | #Constraints: 27742
1750.49/1755.94 c INPROCESSING
1750.49/1755.94 c GARBAGE COLLECT
1750.49/1755.94 c #Conflicts: 475000 | #Constraints: 15148
1750.49/1755.94 c #Conflicts: 476000 | #Constraints: 16148
1750.49/1755.94 c #Conflicts: 477000 | #Constraints: 17148
1750.49/1755.94 c #Conflicts: 478000 | #Constraints: 18148
1750.49/1755.94 c #Conflicts: 479000 | #Constraints: 19148
1750.49/1755.94 c #Conflicts: 480000 | #Constraints: 20148
1750.49/1755.94 c #Conflicts: 481000 | #Constraints: 21148
1750.49/1755.94 c #Conflicts: 482000 | #Constraints: 22148
1750.49/1755.94 c #Conflicts: 483000 | #Constraints: 23148
1750.49/1755.94 c #Conflicts: 484000 | #Constraints: 24148
1750.49/1755.94 c #Conflicts: 485000 | #Constraints: 25148
1750.49/1755.94 c #Conflicts: 486000 | #Constraints: 26148
1750.49/1755.94 c #Conflicts: 487000 | #Constraints: 27148
1750.49/1755.94 c #Conflicts: 488000 | #Constraints: 28148
1750.49/1755.94 c INPROCESSING
1750.49/1755.94 c GARBAGE COLLECT
1750.49/1755.94 c #Conflicts: 489000 | #Constraints: 15348
1750.49/1755.94 c #Conflicts: 490000 | #Constraints: 16348
1750.49/1755.94 c #Conflicts: 491000 | #Constraints: 17348
1750.49/1755.94 c #Conflicts: 492000 | #Constraints: 18348
1750.49/1755.94 c #Conflicts: 493000 | #Constraints: 19348
1750.49/1755.94 c #Conflicts: 494000 | #Constraints: 20348
1750.49/1755.94 c #Conflicts: 495000 | #Constraints: 21348
1750.49/1755.94 c #Conflicts: 496000 | #Constraints: 22348
1750.49/1755.94 c #Conflicts: 497000 | #Constraints: 23348
1750.49/1755.94 c #Conflicts: 498000 | #Constraints: 24348
1750.49/1755.94 c #Conflicts: 499000 | #Constraints: 25348
1750.49/1755.94 c #Conflicts: 500000 | #Constraints: 26348
1750.49/1755.94 c #Conflicts: 501000 | #Constraints: 27348
1750.49/1755.94 c #Conflicts: 502000 | #Constraints: 28348
1750.49/1755.94 c INPROCESSING
1750.49/1755.94 c GARBAGE COLLECT
1750.49/1755.94 c #Conflicts: 503000 | #Constraints: 15354
1750.49/1755.94 c #Conflicts: 504000 | #Constraints: 16354
1750.49/1755.94 c #Conflicts: 505000 | #Constraints: 17354
1750.49/1755.94 c #Conflicts: 506000 | #Constraints: 18354
1750.49/1755.94 c #Conflicts: 507000 | #Constraints: 19354
1750.49/1755.94 c #Conflicts: 508000 | #Constraints: 20354
1750.49/1755.94 c #Conflicts: 509000 | #Constraints: 21354
1750.49/1755.94 c #Conflicts: 510000 | #Constraints: 22354
1750.49/1755.94 c #Conflicts: 511000 | #Constraints: 23354
1750.49/1755.94 c #Conflicts: 512000 | #Constraints: 24354
1750.49/1755.94 c #Conflicts: 513000 | #Constraints: 25354
1750.49/1755.94 c #Conflicts: 514000 | #Constraints: 26354
1750.49/1755.94 c #Conflicts: 515000 | #Constraints: 27354
1750.49/1755.94 c #Conflicts: 516000 | #Constraints: 28354
1750.49/1755.94 c INPROCESSING
1750.49/1755.94 c GARBAGE COLLECT
1750.49/1755.94 c #Conflicts: 517000 | #Constraints: 15144
1750.49/1755.94 c #Conflicts: 518000 | #Constraints: 16144
1750.49/1755.94 c #Conflicts: 519000 | #Constraints: 17144
1750.49/1755.94 c #Conflicts: 520000 | #Constraints: 18144
1750.49/1755.94 c #Conflicts: 521000 | #Constraints: 19144
1750.49/1755.94 c #Conflicts: 522000 | #Constraints: 20144
1750.49/1755.94 c #Conflicts: 523000 | #Constraints: 21144
1750.49/1755.94 c #Conflicts: 524000 | #Constraints: 22144
1750.49/1755.94 c #Conflicts: 525000 | #Constraints: 23144
1750.49/1755.94 c #Conflicts: 526000 | #Constraints: 24144
1750.49/1755.94 c #Conflicts: 527000 | #Constraints: 25144
1750.49/1755.94 c #Conflicts: 528000 | #Constraints: 26144
1750.49/1755.94 c #Conflicts: 529000 | #Constraints: 27144
1750.49/1755.94 c #Conflicts: 530000 | #Constraints: 28144
1750.49/1755.94 c #Conflicts: 531000 | #Constraints: 29144
1750.49/1755.94 c INPROCESSING
1750.49/1755.94 c GARBAGE COLLECT
1750.49/1755.94 c #Conflicts: 532000 | #Constraints: 15750
1750.49/1755.94 c #Conflicts: 533000 | #Constraints: 16750
1750.49/1755.94 c #Conflicts: 534000 | #Constraints: 17750
1750.49/1755.94 c #Conflicts: 535000 | #Constraints: 18750
1750.49/1755.94 c #Conflicts: 536000 | #Constraints: 19750
1750.49/1755.94 c #Conflicts: 537000 | #Constraints: 20750
1750.49/1755.94 c #Conflicts: 538000 | #Constraints: 21750
1750.49/1755.94 c #Conflicts: 539000 | #Constraints: 22750
1750.49/1755.94 c #Conflicts: 540000 | #Constraints: 23750
1750.49/1755.94 c #Conflicts: 541000 | #Constraints: 24750
1750.49/1755.94 c #Conflicts: 542000 | #Constraints: 25750
1750.49/1755.94 c #Conflicts: 543000 | #Constraints: 26750
1750.49/1755.94 c #Conflicts: 544000 | #Constraints: 27750
1750.49/1755.94 c #Conflicts: 545000 | #Constraints: 28750
1750.49/1755.94 c #Conflicts: 546000 | #Constraints: 29750
1750.49/1755.94 c INPROCESSING
1750.49/1755.94 c GARBAGE COLLECT
1750.49/1755.94 c #Conflicts: 547000 | #Constraints: 16145
1750.49/1755.94 c #Conflicts: 548000 | #Constraints: 17145
1750.49/1755.94 c #Conflicts: 549000 | #Constraints: 18145
2050.23/2056.58 c #Conflicts: 550000 | #Constraints: 19145
2050.23/2056.58 c #Conflicts: 551000 | #Constraints: 20145
2050.23/2056.58 c #Conflicts: 552000 | #Constraints: 21145
2050.23/2056.58 c #Conflicts: 553000 | #Constraints: 22145
2050.23/2056.58 c #Conflicts: 554000 | #Constraints: 23145
2050.23/2056.58 c #Conflicts: 555000 | #Constraints: 24145
2050.23/2056.58 c #Conflicts: 556000 | #Constraints: 25145
2050.23/2056.58 c #Conflicts: 557000 | #Constraints: 26145
2050.23/2056.58 c #Conflicts: 558000 | #Constraints: 27145
2050.23/2056.58 c #Conflicts: 559000 | #Constraints: 28145
2050.23/2056.58 c #Conflicts: 560000 | #Constraints: 29145
2050.23/2056.58 c #Conflicts: 561000 | #Constraints: 30145
2050.23/2056.58 c INPROCESSING
2050.23/2056.58 c GARBAGE COLLECT
2050.23/2056.58 c #Conflicts: 562000 | #Constraints: 16342
2050.23/2056.58 c #Conflicts: 563000 | #Constraints: 17342
2050.23/2056.58 c #Conflicts: 564000 | #Constraints: 18342
2050.23/2056.58 c #Conflicts: 565000 | #Constraints: 19342
2050.23/2056.58 c #Conflicts: 566000 | #Constraints: 20342
2050.23/2056.58 c #Conflicts: 567000 | #Constraints: 21342
2050.23/2056.58 c #Conflicts: 568000 | #Constraints: 22342
2050.23/2056.58 c #Conflicts: 569000 | #Constraints: 23342
2050.23/2056.58 c #Conflicts: 570000 | #Constraints: 24342
2050.23/2056.58 c #Conflicts: 571000 | #Constraints: 25342
2050.23/2056.58 c #Conflicts: 572000 | #Constraints: 26342
2050.23/2056.58 c #Conflicts: 573000 | #Constraints: 27342
2050.23/2056.58 c #Conflicts: 574000 | #Constraints: 28342
2050.23/2056.58 c #Conflicts: 575000 | #Constraints: 29342
2050.23/2056.58 c #Conflicts: 576000 | #Constraints: 30342
2050.23/2056.58 c INPROCESSING
2050.23/2056.58 c GARBAGE COLLECT
2050.23/2056.58 c #Conflicts: 577000 | #Constraints: 16343
2050.23/2056.58 c #Conflicts: 578000 | #Constraints: 17343
2050.23/2056.58 c #Conflicts: 579000 | #Constraints: 18343
2050.23/2056.58 c #Conflicts: 580000 | #Constraints: 19343
2050.23/2056.58 c #Conflicts: 581000 | #Constraints: 20343
2050.23/2056.58 c #Conflicts: 582000 | #Constraints: 21343
2050.23/2056.58 c #Conflicts: 583000 | #Constraints: 22343
2050.23/2056.58 c #Conflicts: 584000 | #Constraints: 23343
2050.23/2056.58 c #Conflicts: 585000 | #Constraints: 24343
2050.23/2056.58 c #Conflicts: 586000 | #Constraints: 25343
2050.23/2056.58 c #Conflicts: 587000 | #Constraints: 26343
2050.23/2056.58 c #Conflicts: 588000 | #Constraints: 27343
2050.23/2056.58 c #Conflicts: 589000 | #Constraints: 28343
2050.23/2056.58 c #Conflicts: 590000 | #Constraints: 29343
2050.23/2056.58 c #Conflicts: 591000 | #Constraints: 30343
2050.23/2056.58 c INPROCESSING
2050.23/2056.58 c GARBAGE COLLECT
2050.23/2056.58 c #Conflicts: 592000 | #Constraints: 16141
2050.23/2056.58 c #Conflicts: 593000 | #Constraints: 17141
2050.23/2056.58 c #Conflicts: 594000 | #Constraints: 18141
2050.23/2056.58 c #Conflicts: 595000 | #Constraints: 19141
2050.23/2056.58 c #Conflicts: 596000 | #Constraints: 20141
2050.23/2056.58 c #Conflicts: 597000 | #Constraints: 21141
2050.23/2056.58 c #Conflicts: 598000 | #Constraints: 22141
2050.23/2056.58 c #Conflicts: 599000 | #Constraints: 23141
2050.23/2056.58 c #Conflicts: 600000 | #Constraints: 24141
2050.23/2056.58 c #Conflicts: 601000 | #Constraints: 25141
2050.23/2056.58 c #Conflicts: 602000 | #Constraints: 26141
2050.23/2056.58 c #Conflicts: 603000 | #Constraints: 27141
2050.23/2056.58 c #Conflicts: 604000 | #Constraints: 28141
2050.23/2056.58 c #Conflicts: 605000 | #Constraints: 29141
2050.23/2056.58 c #Conflicts: 606000 | #Constraints: 30141
2050.23/2056.58 c #Conflicts: 607000 | #Constraints: 31141
2050.23/2056.58 c INPROCESSING
2050.23/2056.58 c GARBAGE COLLECT
2050.23/2056.58 c #Conflicts: 608000 | #Constraints: 16739
2050.23/2056.58 c #Conflicts: 609000 | #Constraints: 17739
2050.23/2056.58 c #Conflicts: 610000 | #Constraints: 18739
2050.23/2056.58 c #Conflicts: 611000 | #Constraints: 19739
2050.23/2056.58 c #Conflicts: 612000 | #Constraints: 20739
2050.23/2056.58 c #Conflicts: 613000 | #Constraints: 21739
2050.23/2056.58 c #Conflicts: 614000 | #Constraints: 22739
2050.23/2056.58 c #Conflicts: 615000 | #Constraints: 23739
2050.23/2056.58 c #Conflicts: 616000 | #Constraints: 24739
2050.23/2056.58 c #Conflicts: 617000 | #Constraints: 25739
2050.23/2056.58 c #Conflicts: 618000 | #Constraints: 26739
2050.23/2056.58 c #Conflicts: 619000 | #Constraints: 27739
2050.23/2056.58 c #Conflicts: 620000 | #Constraints: 28739
2050.23/2056.58 c #Conflicts: 621000 | #Constraints: 29739
2050.23/2056.58 c #Conflicts: 622000 | #Constraints: 30739
2050.23/2056.58 c #Conflicts: 623000 | #Constraints: 31739
2050.23/2056.58 c INPROCESSING
2050.23/2056.58 c GARBAGE COLLECT
2050.23/2056.58 c #Conflicts: 624000 | #Constraints: 17143
2050.23/2056.58 c #Conflicts: 625000 | #Constraints: 18143
2381.10/2388.46 c #Conflicts: 626000 | #Constraints: 19143
2381.10/2388.46 c #Conflicts: 627000 | #Constraints: 20143
2381.10/2388.46 c #Conflicts: 628000 | #Constraints: 21143
2381.10/2388.46 c #Conflicts: 629000 | #Constraints: 22143
2381.10/2388.46 c #Conflicts: 630000 | #Constraints: 23143
2381.10/2388.46 c #Conflicts: 631000 | #Constraints: 24143
2381.10/2388.46 c #Conflicts: 632000 | #Constraints: 25143
2381.10/2388.46 c #Conflicts: 633000 | #Constraints: 26143
2381.10/2388.46 c #Conflicts: 634000 | #Constraints: 27143
2381.10/2388.46 c #Conflicts: 635000 | #Constraints: 28143
2381.10/2388.46 c #Conflicts: 636000 | #Constraints: 29143
2381.10/2388.46 c #Conflicts: 637000 | #Constraints: 30143
2381.10/2388.46 c #Conflicts: 638000 | #Constraints: 31143
2381.10/2388.46 c #Conflicts: 639000 | #Constraints: 32143
2381.10/2388.46 c INPROCESSING
2381.10/2388.46 c GARBAGE COLLECT
2381.10/2388.46 c #Conflicts: 640000 | #Constraints: 17343
2381.10/2388.46 c #Conflicts: 641000 | #Constraints: 18343
2381.10/2388.46 c #Conflicts: 642000 | #Constraints: 19343
2381.10/2388.46 c #Conflicts: 643000 | #Constraints: 20343
2381.10/2388.46 c #Conflicts: 644000 | #Constraints: 21343
2381.10/2388.46 c #Conflicts: 645000 | #Constraints: 22343
2381.10/2388.46 c #Conflicts: 646000 | #Constraints: 23343
2381.10/2388.46 c #Conflicts: 647000 | #Constraints: 24343
2381.10/2388.46 c #Conflicts: 648000 | #Constraints: 25343
2381.10/2388.46 c #Conflicts: 649000 | #Constraints: 26343
2381.10/2388.46 c #Conflicts: 650000 | #Constraints: 27343
2381.10/2388.46 c #Conflicts: 651000 | #Constraints: 28343
2381.10/2388.46 c #Conflicts: 652000 | #Constraints: 29343
2381.10/2388.46 c #Conflicts: 653000 | #Constraints: 30343
2381.10/2388.46 c #Conflicts: 654000 | #Constraints: 31343
2381.10/2388.46 c #Conflicts: 655000 | #Constraints: 32343
2381.10/2388.46 c INPROCESSING
2381.10/2388.46 c GARBAGE COLLECT
2381.10/2388.46 c #Conflicts: 656000 | #Constraints: 17346
2381.10/2388.46 c #Conflicts: 657000 | #Constraints: 18346
2381.10/2388.46 c #Conflicts: 658000 | #Constraints: 19346
2381.10/2388.46 c #Conflicts: 659000 | #Constraints: 20346
2381.10/2388.46 c #Conflicts: 660000 | #Constraints: 21346
2381.10/2388.46 c #Conflicts: 661000 | #Constraints: 22346
2381.10/2388.46 c #Conflicts: 662000 | #Constraints: 23346
2381.10/2388.46 c #Conflicts: 663000 | #Constraints: 24346
2381.10/2388.46 c #Conflicts: 664000 | #Constraints: 25346
2381.10/2388.46 c #Conflicts: 665000 | #Constraints: 26346
2381.10/2388.46 c #Conflicts: 666000 | #Constraints: 27346
2381.10/2388.46 c #Conflicts: 667000 | #Constraints: 28346
2381.10/2388.46 c #Conflicts: 668000 | #Constraints: 29346
2381.10/2388.46 c #Conflicts: 669000 | #Constraints: 30346
2381.10/2388.46 c #Conflicts: 670000 | #Constraints: 31346
2381.10/2388.46 c #Conflicts: 671000 | #Constraints: 32346
2381.10/2388.46 c INPROCESSING
2381.10/2388.46 c GARBAGE COLLECT
2381.10/2388.46 c #Conflicts: 672000 | #Constraints: 17144
2381.10/2388.46 c #Conflicts: 673000 | #Constraints: 18144
2381.10/2388.46 c #Conflicts: 674000 | #Constraints: 19144
2381.10/2388.46 c #Conflicts: 675000 | #Constraints: 20144
2381.10/2388.46 c #Conflicts: 676000 | #Constraints: 21144
2381.10/2388.46 c #Conflicts: 677000 | #Constraints: 22144
2381.10/2388.46 c #Conflicts: 678000 | #Constraints: 23144
2381.10/2388.46 c #Conflicts: 679000 | #Constraints: 24144
2381.10/2388.46 c #Conflicts: 680000 | #Constraints: 25144
2381.10/2388.46 c #Conflicts: 681000 | #Constraints: 26144
2381.10/2388.46 c #Conflicts: 682000 | #Constraints: 27144
2381.10/2388.47 c #Conflicts: 683000 | #Constraints: 28144
2381.10/2388.47 c #Conflicts: 684000 | #Constraints: 29144
2381.10/2388.47 c #Conflicts: 685000 | #Constraints: 30144
2381.10/2388.47 c #Conflicts: 686000 | #Constraints: 31144
2381.10/2388.47 c #Conflicts: 687000 | #Constraints: 32144
2381.10/2388.47 c #Conflicts: 688000 | #Constraints: 33144
2381.10/2388.47 c INPROCESSING
2381.10/2388.47 c GARBAGE COLLECT
2381.10/2388.47 c #Conflicts: 689000 | #Constraints: 17744
2381.10/2388.47 c #Conflicts: 690000 | #Constraints: 18744
2381.10/2388.47 c #Conflicts: 691000 | #Constraints: 19744
2381.10/2388.47 c #Conflicts: 692000 | #Constraints: 20744
2381.10/2388.47 c #Conflicts: 693000 | #Constraints: 21744
2381.10/2388.47 c #Conflicts: 694000 | #Constraints: 22744
2381.10/2388.47 c #Conflicts: 695000 | #Constraints: 23744
2381.10/2388.47 c #Conflicts: 696000 | #Constraints: 24744
2381.10/2388.47 c #Conflicts: 697000 | #Constraints: 25744
2381.10/2388.47 c #Conflicts: 698000 | #Constraints: 26744
2381.10/2388.47 c #Conflicts: 699000 | #Constraints: 27744
2381.10/2388.47 c #Conflicts: 700000 | #Constraints: 28744
2381.10/2388.47 c #Conflicts: 701000 | #Constraints: 29744
2794.20/2802.90 c #Conflicts: 702000 | #Constraints: 30744
2794.20/2802.90 c #Conflicts: 703000 | #Constraints: 31744
2794.20/2802.90 c #Conflicts: 704000 | #Constraints: 32744
2794.20/2802.90 c #Conflicts: 705000 | #Constraints: 33744
2794.20/2802.90 c INPROCESSING
2794.20/2802.90 c GARBAGE COLLECT
2794.20/2802.90 c #Conflicts: 706000 | #Constraints: 18144
2794.20/2802.90 c #Conflicts: 707000 | #Constraints: 19144
2794.20/2802.90 c #Conflicts: 708000 | #Constraints: 20144
2794.20/2802.90 c #Conflicts: 709000 | #Constraints: 21144
2794.20/2802.90 c #Conflicts: 710000 | #Constraints: 22144
2794.20/2802.90 c #Conflicts: 711000 | #Constraints: 23144
2794.20/2802.90 c #Conflicts: 712000 | #Constraints: 24144
2794.20/2802.90 c #Conflicts: 713000 | #Constraints: 25144
2794.20/2802.90 c #Conflicts: 714000 | #Constraints: 26144
2794.20/2802.90 c #Conflicts: 715000 | #Constraints: 27144
2794.20/2802.90 c #Conflicts: 716000 | #Constraints: 28144
2794.20/2802.90 c #Conflicts: 717000 | #Constraints: 29144
2794.20/2802.90 c #Conflicts: 718000 | #Constraints: 30144
2794.20/2802.90 c #Conflicts: 719000 | #Constraints: 31144
2794.20/2802.90 c #Conflicts: 720000 | #Constraints: 32144
2794.20/2802.90 c #Conflicts: 721000 | #Constraints: 33144
2794.20/2802.90 c #Conflicts: 722000 | #Constraints: 34144
2794.20/2802.90 c INPROCESSING
2794.20/2802.90 c GARBAGE COLLECT
2794.20/2802.90 c #Conflicts: 723000 | #Constraints: 18348
2794.20/2802.90 c #Conflicts: 724000 | #Constraints: 19348
2794.20/2802.90 c #Conflicts: 725000 | #Constraints: 20348
2794.20/2802.90 c #Conflicts: 726000 | #Constraints: 21348
2794.20/2802.90 c #Conflicts: 727000 | #Constraints: 22348
2794.20/2802.90 c #Conflicts: 728000 | #Constraints: 23348
2794.20/2802.90 c #Conflicts: 729000 | #Constraints: 24348
2794.20/2802.90 c #Conflicts: 730000 | #Constraints: 25348
2794.20/2802.90 c #Conflicts: 731000 | #Constraints: 26348
2794.20/2802.90 c #Conflicts: 732000 | #Constraints: 27348
2794.20/2802.90 c #Conflicts: 733000 | #Constraints: 28348
2794.20/2802.90 c #Conflicts: 734000 | #Constraints: 29348
2794.20/2802.90 c #Conflicts: 735000 | #Constraints: 30348
2794.20/2802.90 c #Conflicts: 736000 | #Constraints: 31348
2794.20/2802.90 c #Conflicts: 737000 | #Constraints: 32348
2794.20/2802.90 c #Conflicts: 738000 | #Constraints: 33348
2794.20/2802.90 c #Conflicts: 739000 | #Constraints: 34348
2794.20/2802.90 c INPROCESSING
2794.20/2802.90 c GARBAGE COLLECT
2794.20/2802.90 c #Conflicts: 740000 | #Constraints: 18350
2794.20/2802.90 c #Conflicts: 741000 | #Constraints: 19350
2794.20/2802.90 c #Conflicts: 742000 | #Constraints: 20350
2794.20/2802.90 c #Conflicts: 743000 | #Constraints: 21350
2794.20/2802.90 c #Conflicts: 744000 | #Constraints: 22350
2794.20/2802.90 c #Conflicts: 745000 | #Constraints: 23350
2794.20/2802.90 c #Conflicts: 746000 | #Constraints: 24350
2794.20/2802.90 c #Conflicts: 747000 | #Constraints: 25350
2794.20/2802.90 c #Conflicts: 748000 | #Constraints: 26350
2794.20/2802.90 c #Conflicts: 749000 | #Constraints: 27350
2794.20/2802.90 c #Conflicts: 750000 | #Constraints: 28350
2794.20/2802.90 c #Conflicts: 751000 | #Constraints: 29350
2794.20/2802.90 c #Conflicts: 752000 | #Constraints: 30350
2794.20/2802.90 c #Conflicts: 753000 | #Constraints: 31350
2794.20/2802.90 c #Conflicts: 754000 | #Constraints: 32350
2794.20/2802.90 c #Conflicts: 755000 | #Constraints: 33350
2794.20/2802.90 c #Conflicts: 756000 | #Constraints: 34350
2794.20/2802.90 c INPROCESSING
2794.20/2802.90 c GARBAGE COLLECT
2794.20/2802.90 c #Conflicts: 757000 | #Constraints: 18145
2794.20/2802.90 c #Conflicts: 758000 | #Constraints: 19145
2794.20/2802.90 c #Conflicts: 759000 | #Constraints: 20145
2794.20/2802.90 c #Conflicts: 760000 | #Constraints: 21145
2794.20/2802.90 c #Conflicts: 761000 | #Constraints: 22145
2794.20/2802.90 c #Conflicts: 762000 | #Constraints: 23145
2794.20/2802.90 c #Conflicts: 763000 | #Constraints: 24145
2794.20/2802.90 c #Conflicts: 764000 | #Constraints: 25145
2794.20/2802.90 c #Conflicts: 765000 | #Constraints: 26145
2794.20/2802.90 c #Conflicts: 766000 | #Constraints: 27145
2794.20/2802.90 c #Conflicts: 767000 | #Constraints: 28145
2794.20/2802.90 c #Conflicts: 768000 | #Constraints: 29145
2794.20/2802.90 c #Conflicts: 769000 | #Constraints: 30145
2794.20/2802.90 c #Conflicts: 770000 | #Constraints: 31145
2794.20/2802.90 c #Conflicts: 771000 | #Constraints: 32145
2794.20/2802.90 c #Conflicts: 772000 | #Constraints: 33145
2794.20/2802.90 c #Conflicts: 773000 | #Constraints: 34145
2794.20/2802.90 c #Conflicts: 774000 | #Constraints: 35145
2794.20/2802.90 c INPROCESSING
2794.20/2802.90 c GARBAGE COLLECT
2794.20/2802.90 c #Conflicts: 775000 | #Constraints: 18740
2794.20/2802.90 c #Conflicts: 776000 | #Constraints: 19740
3206.59/3216.49 c #Conflicts: 777000 | #Constraints: 20740
3206.59/3216.49 c #Conflicts: 778000 | #Constraints: 21740
3206.59/3216.49 c #Conflicts: 779000 | #Constraints: 22740
3206.59/3216.49 c #Conflicts: 780000 | #Constraints: 23740
3206.59/3216.49 c #Conflicts: 781000 | #Constraints: 24740
3206.59/3216.49 c #Conflicts: 782000 | #Constraints: 25740
3206.59/3216.49 c #Conflicts: 783000 | #Constraints: 26740
3206.59/3216.49 c #Conflicts: 784000 | #Constraints: 27740
3206.59/3216.49 c #Conflicts: 785000 | #Constraints: 28740
3206.59/3216.49 c #Conflicts: 786000 | #Constraints: 29740
3206.59/3216.49 c #Conflicts: 787000 | #Constraints: 30740
3206.59/3216.49 c #Conflicts: 788000 | #Constraints: 31740
3206.59/3216.49 c #Conflicts: 789000 | #Constraints: 32740
3206.59/3216.49 c #Conflicts: 790000 | #Constraints: 33740
3206.59/3216.49 c #Conflicts: 791000 | #Constraints: 34740
3206.59/3216.49 c #Conflicts: 792000 | #Constraints: 35740
3206.59/3216.49 c INPROCESSING
3206.59/3216.49 c GARBAGE COLLECT
3206.59/3216.49 c #Conflicts: 793000 | #Constraints: 19138
3206.59/3216.49 c #Conflicts: 794000 | #Constraints: 20138
3206.59/3216.49 c #Conflicts: 795000 | #Constraints: 21138
3206.59/3216.49 c #Conflicts: 796000 | #Constraints: 22138
3206.59/3216.49 c #Conflicts: 797000 | #Constraints: 23138
3206.59/3216.49 c #Conflicts: 798000 | #Constraints: 24138
3206.59/3216.49 c #Conflicts: 799000 | #Constraints: 25138
3206.59/3216.49 c #Conflicts: 800000 | #Constraints: 26138
3206.59/3216.49 c #Conflicts: 801000 | #Constraints: 27138
3206.59/3216.49 c #Conflicts: 802000 | #Constraints: 28138
3206.59/3216.49 c #Conflicts: 803000 | #Constraints: 29138
3206.59/3216.49 c #Conflicts: 804000 | #Constraints: 30138
3206.59/3216.49 c #Conflicts: 805000 | #Constraints: 31138
3206.59/3216.49 c #Conflicts: 806000 | #Constraints: 32138
3206.59/3216.49 c #Conflicts: 807000 | #Constraints: 33138
3206.59/3216.49 c #Conflicts: 808000 | #Constraints: 34138
3206.59/3216.49 c #Conflicts: 809000 | #Constraints: 35138
3206.59/3216.49 c #Conflicts: 810000 | #Constraints: 36138
3206.59/3216.49 c INPROCESSING
3206.59/3216.49 c GARBAGE COLLECT
3206.59/3216.49 c #Conflicts: 811000 | #Constraints: 19341
3206.59/3216.49 c #Conflicts: 812000 | #Constraints: 20341
3206.59/3216.49 c #Conflicts: 813000 | #Constraints: 21341
3206.59/3216.49 c #Conflicts: 814000 | #Constraints: 22341
3206.59/3216.49 c #Conflicts: 815000 | #Constraints: 23341
3206.59/3216.49 c #Conflicts: 816000 | #Constraints: 24341
3206.59/3216.49 c #Conflicts: 817000 | #Constraints: 25341
3206.59/3216.49 c #Conflicts: 818000 | #Constraints: 26341
3206.59/3216.49 c #Conflicts: 819000 | #Constraints: 27341
3206.59/3216.49 c #Conflicts: 820000 | #Constraints: 28341
3206.59/3216.49 c #Conflicts: 821000 | #Constraints: 29341
3206.59/3216.49 c #Conflicts: 822000 | #Constraints: 30341
3206.59/3216.49 c #Conflicts: 823000 | #Constraints: 31341
3206.59/3216.49 c #Conflicts: 824000 | #Constraints: 32341
3206.59/3216.49 c #Conflicts: 825000 | #Constraints: 33341
3206.59/3216.49 c #Conflicts: 826000 | #Constraints: 34341
3206.59/3216.49 c #Conflicts: 827000 | #Constraints: 35341
3206.59/3216.49 c #Conflicts: 828000 | #Constraints: 36341
3206.59/3216.49 c INPROCESSING
3206.59/3216.49 c GARBAGE COLLECT
3206.59/3216.49 c #Conflicts: 829000 | #Constraints: 19342
3206.59/3216.49 c #Conflicts: 830000 | #Constraints: 20342
3206.59/3216.49 c #Conflicts: 831000 | #Constraints: 21342
3206.59/3216.49 c #Conflicts: 832000 | #Constraints: 22342
3206.59/3216.49 c #Conflicts: 833000 | #Constraints: 23342
3206.59/3216.49 c #Conflicts: 834000 | #Constraints: 24342
3206.59/3216.49 c #Conflicts: 835000 | #Constraints: 25342
3206.59/3216.49 c #Conflicts: 836000 | #Constraints: 26342
3206.59/3216.49 c #Conflicts: 837000 | #Constraints: 27342
3206.59/3216.49 c #Conflicts: 838000 | #Constraints: 28342
3206.59/3216.49 c #Conflicts: 839000 | #Constraints: 29342
3206.59/3216.49 c #Conflicts: 840000 | #Constraints: 30342
3206.59/3216.49 c #Conflicts: 841000 | #Constraints: 31342
3206.59/3216.49 c #Conflicts: 842000 | #Constraints: 32342
3206.59/3216.49 c #Conflicts: 843000 | #Constraints: 33342
3206.59/3216.49 c #Conflicts: 844000 | #Constraints: 34342
3206.59/3216.49 c #Conflicts: 845000 | #Constraints: 35342
3206.59/3216.49 c #Conflicts: 846000 | #Constraints: 36342
3206.59/3216.49 c INPROCESSING
3206.59/3216.49 c GARBAGE COLLECT
3206.59/3216.49 c #Conflicts: 847000 | #Constraints: 19141
3206.59/3216.49 c #Conflicts: 848000 | #Constraints: 20141
3206.59/3216.49 c #Conflicts: 849000 | #Constraints: 21141
3206.59/3216.49 c #Conflicts: 850000 | #Constraints: 22141
3206.59/3216.49 c #Conflicts: 851000 | #Constraints: 23141
3206.59/3216.49 c #Conflicts: 852000 | #Constraints: 24141
3206.59/3216.49 c #Conflicts: 853000 | #Constraints: 25141
3576.24/3587.17 c #Conflicts: 854000 | #Constraints: 26141
3576.24/3587.17 c #Conflicts: 855000 | #Constraints: 27141
3576.24/3587.17 c #Conflicts: 856000 | #Constraints: 28141
3576.24/3587.17 c #Conflicts: 857000 | #Constraints: 29141
3576.24/3587.17 c #Conflicts: 858000 | #Constraints: 30141
3576.24/3587.17 c #Conflicts: 859000 | #Constraints: 31141
3576.24/3587.17 c #Conflicts: 860000 | #Constraints: 32141
3576.24/3587.17 c #Conflicts: 861000 | #Constraints: 33141
3576.24/3587.17 c #Conflicts: 862000 | #Constraints: 34141
3576.24/3587.17 c #Conflicts: 863000 | #Constraints: 35141
3576.24/3587.17 c #Conflicts: 864000 | #Constraints: 36141
3576.24/3587.17 c #Conflicts: 865000 | #Constraints: 37141
3576.24/3587.17 c INPROCESSING
3576.24/3587.17 c GARBAGE COLLECT
3576.24/3587.17 c #Conflicts: 866000 | #Constraints: 19742
3576.24/3587.17 c #Conflicts: 867000 | #Constraints: 20742
3576.24/3587.17 c #Conflicts: 868000 | #Constraints: 21742
3576.24/3587.17 c #Conflicts: 869000 | #Constraints: 22742
3576.24/3587.17 c #Conflicts: 870000 | #Constraints: 23742
3576.24/3587.17 c #Conflicts: 871000 | #Constraints: 24742
3576.24/3587.17 c #Conflicts: 872000 | #Constraints: 25742
3576.24/3587.17 c #Conflicts: 873000 | #Constraints: 26742
3576.24/3587.17 c #Conflicts: 874000 | #Constraints: 27742
3576.24/3587.17 c #Conflicts: 875000 | #Constraints: 28742
3576.24/3587.17 c #Conflicts: 876000 | #Constraints: 29742
3576.24/3587.17 c #Conflicts: 877000 | #Constraints: 30742
3576.24/3587.17 c #Conflicts: 878000 | #Constraints: 31742
3576.24/3587.17 c #Conflicts: 879000 | #Constraints: 32742
3576.24/3587.17 c #Conflicts: 880000 | #Constraints: 33742
3576.24/3587.17 c #Conflicts: 881000 | #Constraints: 34742
3576.24/3587.17 c #Conflicts: 882000 | #Constraints: 35742
3576.24/3587.17 c #Conflicts: 883000 | #Constraints: 36742
3576.24/3587.17 c #Conflicts: 884000 | #Constraints: 37742
3576.24/3587.17 c INPROCESSING
3576.24/3587.17 c GARBAGE COLLECT
3576.24/3587.17 c #Conflicts: 885000 | #Constraints: 20142
3576.24/3587.17 c #Conflicts: 886000 | #Constraints: 21142
3576.24/3587.17 c #Conflicts: 887000 | #Constraints: 22142
3576.24/3587.17 c #Conflicts: 888000 | #Constraints: 23142
3576.24/3587.17 c #Conflicts: 889000 | #Constraints: 24142
3576.24/3587.17 c #Conflicts: 890000 | #Constraints: 25142
3576.24/3587.17 c #Conflicts: 891000 | #Constraints: 26142
3576.24/3587.17 c #Conflicts: 892000 | #Constraints: 27142
3576.24/3587.17 c #Conflicts: 893000 | #Constraints: 28142
3576.24/3587.17 c #Conflicts: 894000 | #Constraints: 29142
3576.24/3587.17 c #Conflicts: 895000 | #Constraints: 30142
3576.24/3587.17 c #Conflicts: 896000 | #Constraints: 31142
3576.24/3587.17 c #Conflicts: 897000 | #Constraints: 32142
3576.24/3587.17 c #Conflicts: 898000 | #Constraints: 33142
3576.24/3587.17 c #Conflicts: 899000 | #Constraints: 34142
3576.24/3587.17 c #Conflicts: 900000 | #Constraints: 35142
3576.24/3587.17 c #Conflicts: 901000 | #Constraints: 36142
3576.24/3587.17 c #Conflicts: 902000 | #Constraints: 37142
3576.24/3587.17 c #Conflicts: 903000 | #Constraints: 38142
3576.24/3587.17 c INPROCESSING
3576.24/3587.17 c GARBAGE COLLECT
3576.24/3587.17 c #Conflicts: 904000 | #Constraints: 20342
3576.24/3587.17 c #Conflicts: 905000 | #Constraints: 21342
3576.24/3587.17 c #Conflicts: 906000 | #Constraints: 22342
3576.24/3587.17 c #Conflicts: 907000 | #Constraints: 23342
3576.24/3587.17 c #Conflicts: 908000 | #Constraints: 24342
3576.24/3587.17 c #Conflicts: 909000 | #Constraints: 25342
3576.24/3587.17 c #Conflicts: 910000 | #Constraints: 26342
3576.24/3587.17 c #Conflicts: 911000 | #Constraints: 27342
3576.24/3587.17 c #Conflicts: 912000 | #Constraints: 28342
3576.24/3587.17 c #Conflicts: 913000 | #Constraints: 29342
3576.24/3587.17 c #Conflicts: 914000 | #Constraints: 30342
3576.24/3587.17 c #Conflicts: 915000 | #Constraints: 31342
3576.24/3587.17 c #Conflicts: 916000 | #Constraints: 32342
3576.24/3587.17 c #Conflicts: 917000 | #Constraints: 33342
3576.24/3587.17 c #Conflicts: 918000 | #Constraints: 34342
3576.24/3587.17 c #Conflicts: 919000 | #Constraints: 35342
3576.24/3587.17 c #Conflicts: 920000 | #Constraints: 36342
3576.24/3587.17 c #Conflicts: 921000 | #Constraints: 37342
3576.24/3587.17 c #Conflicts: 922000 | #Constraints: 38342
3576.24/3587.17 c INPROCESSING
3576.24/3587.17 c GARBAGE COLLECT
3576.24/3587.17 c #Conflicts: 923000 | #Constraints: 20340
3576.24/3587.17 c #Conflicts: 924000 | #Constraints: 21340
3576.24/3587.17 c #Conflicts: 925000 | #Constraints: 22340
3576.24/3587.17 c #Conflicts: 926000 | #Constraints: 23340
3576.24/3587.17 c #Conflicts: 927000 | #Constraints: 24340
3576.24/3587.17 c #Conflicts: 928000 | #Constraints: 25340
3576.24/3587.17 c #Conflicts: 929000 | #Constraints: 26340
3600.08/3611.01 c #Conflicts: 930000 | #Constraints: 27340
3600.08/3611.01 c #Conflicts: 931000 | #Constraints: 28340
3600.08/3611.01 c #Conflicts: 932000 | #Constraints: 29340
3600.08/3611.01 c #Conflicts: 933000 | #Constraints: 30340
3600.08/3611.01 c Program interrupted by user.
3600.08/3611.01 c cpu time 3590.5 s
3600.08/3611.01 c deterministic time 383412135996 3.83e+11
3600.08/3611.01 c optimization time 62.0183 s
3600.08/3611.01 c total solve time 3229.5 s
3600.08/3611.01 c core-guided solve time 3229.5 s
3600.08/3611.01 c propagation time 2843.65 s
3600.08/3611.01 c conflict analysis time 383.579 s
3600.08/3611.01 c propagations 69027631
3600.08/3611.01 c resolve steps 4759217
3600.08/3611.01 c decisions 5445028
3600.08/3611.01 c conflicts 933238
3600.08/3611.01 c restarts 2042
3600.08/3611.01 c inprocessing phases 87
3600.08/3611.01 c input clauses 53
3600.08/3611.01 c input cardinalities 78
3600.08/3611.01 c input general constraints 468
3600.08/3611.01 c input average constraint length 68.53
3600.08/3611.01 c input average constraint degree 34.60
3600.08/3611.01 c learned clauses 193157
3600.08/3611.01 c learned cardinalities 235
3600.08/3611.01 c learned general constraints 739851
3600.08/3611.01 c learned average constraint length 323.62
3600.08/3611.01 c learned average constraint degree 470930.48
3600.08/3611.01 c watched constraints 637175
3600.08/3611.01 c counting constraints 103144
3600.08/3611.01 c gcd simplifications 152377
3600.08/3611.01 c detected cardinalities 185
3600.08/3611.01 c weakened non-implied lits 28569542
3600.08/3611.01 c weakened non-implying lits 83461
3600.08/3611.01 c original variables 470
3600.08/3611.01 c clausal propagations 928316
3600.08/3611.01 c cardinality propagations 58880
3600.08/3611.01 c watched propagations 40259243
3600.08/3611.01 c counting propagations 27024404
3600.08/3611.01 c watch lookups 60911015929
3600.08/3611.01 c watch backjump lookups 57237174825
3600.08/3611.01 c watch checks 257421230291
3600.08/3611.01 c propagation checks 6683146306
3600.08/3611.01 c constraint additions 1009690582
3600.08/3611.01 c trail pops 75405403
3600.08/3611.01 c formula constraints 469
3600.08/3611.01 c learned constraints 933243
3600.08/3611.01 c bound constraints 78
3600.08/3611.01 c core-guided constraints 52
3600.08/3611.01 c encountered formula constraints 2877799
3600.08/3611.01 c encountered learned constraints 2727350
3600.08/3611.01 c encountered bound constraints 177
3600.08/3611.01 c encountered core-guided constraints 87129
3600.08/3611.01 c LP total time 0 s
3600.08/3611.01 c LP solve time 0 s
3600.08/3611.01 c LP constraints added 0
3600.08/3611.01 c LP constraints removed 0
3600.08/3611.01 c LP pivots internal 0
3600.08/3611.01 c LP pivots root 0
3600.08/3611.01 c LP calls 0
3600.08/3611.01 c LP optimalities 0
3600.08/3611.01 c LP no pivot count 0
3600.08/3611.01 c LP infeasibilities 0
3600.08/3611.01 c LP valid Farkas constraints 0
3600.08/3611.01 c LP learned Farkas constraints 0
3600.08/3611.01 c LP basis resets 0
3600.08/3611.01 c LP cycling count 0
3600.08/3611.01 c LP singular count 0
3600.08/3611.01 c LP no primal count 0
3600.08/3611.01 c LP no farkas count 0
3600.08/3611.01 c LP other issue count 0
3600.08/3611.01 c LP Gomory cuts 0
3600.08/3611.01 c LP learned cuts 0
3600.08/3611.01 c LP deleted cuts 0
3600.08/3611.01 c LP encountered Gomory constraints 0
3600.08/3611.01 c LP encountered Farkas constraints 0
3600.08/3611.01 c LP encountered learned Farkas constraints 0
3600.08/3611.01 c CG auxiliary variables introduced 52
3600.08/3611.01 c CG solutions found 0
3600.08/3611.01 c CG cores constructed 77
3600.08/3611.01 c CG core cardinality constraints returned 0
3600.08/3611.01 c CG unit cores 0
3600.08/3611.01 c CG single cores 77
3600.08/3611.01 c CG blocks removed during cardinality reduction 0
3600.08/3611.01 c CG first core best 0
3600.08/3611.01 c CG decision core best 0
3600.08/3611.01 c CG core reduction tie 0
3600.08/3611.01 c CG core degree average 1.00
3600.08/3611.01 c CG core slack average 2.81
3600.08/3611.01 c CG exhausted 0
3600.08/3611.01 c CG exhaust time 0 s
3600.08/3611.01 c CG trimmed 3
3600.08/3611.01 c CG trim time 0.00045 s
3600.08/3611.01 c CG minimized 0
3600.08/3611.01 c CG minimize time 0 s
3600.08/3611.01 c CG am1 prop time 0.000325 s
3600.08/3611.01 c CG # am1s reformulated 52
3600.08/3611.01 c CG lower bound derived from am1s 52
3600.08/3611.01 c CG # clausal cores 18
3600.08/3611.01 c CG # cardinality cores 0
3600.08/3611.01 c CG # pb cores 59
3600.08/3611.01 c CG # pb reforms 0
3600.08/3611.01 c CG # cores discarded because of pb reform 0
3600.08/3611.01 d LOWERBOUND 129
3600.08/3611.01 d NCORES 77
3600.08/3611.01 d NPBCORES 59
3600.08/3611.01 d NPBREFORM 0
3600.08/3611.01 d NTRIMMED 3
3600.08/3611.01 d NEXHAUSTED 0
3600.08/3611.01 d NAM1S 52
3600.08/3611.01 d AM1LB 52
3600.08/3611.01 c [Papilo Statistics]
3600.08/3611.01 c prepro time 0.0042739s
3600.08/3611.01 c # tsx applied 15
3600.08/3611.01 c # tsx conflicts 0
3600.08/3611.01 c # bound changes 0
3600.08/3611.01 c # side changes 0
3600.08/3611.01 c # coef changes 33
3600.08/3611.01 c # rounds 3
3600.08/3611.01 c # deted vars 0
3600.08/3611.01 c # deted constrs 0
3600.08/3611.01 c # consecutive rounds of only bound changes 0
3600.08/3611.01 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62886 MiB free)
memory of node 1: 64507 MiB (61629 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528914-1752256569/watcher-4528914-1752256569 -o /tmp/evaluation-result-4528914-1752256569/solver-4528914-1752256569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752256569-112135 --watchdog 3760 mixed-bag HOME/instance-4528914-1752256569.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=112181, runsolver pid=112175
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 3.84 4.07 4.07 5/253 112194
/proc/meminfo: memFree=127487664/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=95540 memory=23292 CPUtime=0.08 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 2303 0 5 0 6 2 0 0 20 0 1 0 141336257 97832960 5823 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 23885 5823 4000 2834 0 6090 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 95540 KiB
Current children cumulated memory: 23292 KiB
[startup+0.2149 s]*
/proc/loadavg: 3.93 4.09 4.08 5/253 112194
/proc/meminfo: memFree=127478340/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=99340 memory=26944 CPUtime=0.19 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 3079 0 5 0 17 2 0 0 20 0 1 0 141336257 101724160 6736 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 24835 6736 4192 2834 0 7040 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 99340 KiB
Current children cumulated memory: 26944 KiB
[startup+0.313173 s]*
/proc/loadavg: 3.93 4.09 4.08 5/253 112194
/proc/meminfo: memFree=127478528/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=99340 memory=27072 CPUtime=0.28 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 3098 0 5 0 26 2 0 0 20 0 1 0 141336257 101724160 6768 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 24835 6768 4192 2834 0 7040 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 99340 KiB
Current children cumulated memory: 27072 KiB
[startup+0.700245 s]
/proc/loadavg: 3.93 4.09 4.08 5/253 112194
/proc/meminfo: memFree=127478528/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=99524 memory=27072 CPUtime=0.65 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 3124 0 5 0 63 2 0 0 20 0 1 0 141336257 101912576 6768 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 24881 6768 4192 2834 0 7086 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 99524 KiB
Current children cumulated memory: 27072 KiB
[startup+1.50034 s]
/proc/loadavg: 3.93 4.09 4.08 5/253 112194
/proc/meminfo: memFree=127478528/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=99860 memory=27328 CPUtime=1.45 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 3181 0 5 0 143 2 0 0 20 0 1 0 141336257 102256640 6832 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 24965 6832 4192 2834 0 7170 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 99860 KiB
Current children cumulated memory: 27328 KiB
[startup+3.11267 s]
/proc/loadavg: 3.93 4.09 4.08 5/253 112194
/proc/meminfo: memFree=126972760/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=227996 memory=152660 CPUtime=3.05 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 36261 0 5 0 297 8 0 0 20 0 1 0 141336257 233467904 38165 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 56999 38165 4192 2834 0 39204 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 227996 KiB
Current children cumulated memory: 152660 KiB
[startup+6.30027 s]
/proc/loadavg: 3.94 4.09 4.08 5/253 112194
/proc/meminfo: memFree=126949000/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=232284 memory=156756 CPUtime=6.24 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 37247 0 5 0 615 9 0 0 20 0 1 0 141336257 237858816 39189 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 58071 39189 4224 2834 0 40276 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 232284 KiB
Current children cumulated memory: 156756 KiB
[startup+12.7003 s]
/proc/loadavg: 3.94 4.09 4.08 5/253 112194
/proc/meminfo: memFree=126949008/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=232284 memory=156756 CPUtime=12.62 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 37247 0 5 0 1253 9 0 0 20 0 1 0 141336257 237858816 39189 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 58071 39189 4224 2834 0 40276 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 232284 KiB
Current children cumulated memory: 156756 KiB
[startup+25.5003 s]
/proc/loadavg: 3.95 4.08 4.08 5/252 112194
/proc/meminfo: memFree=126755480/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=264088 memory=186600 CPUtime=25.38 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 45829 0 5 0 2528 10 0 0 20 0 1 0 141336257 270426112 46650 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 66022 46650 4224 2834 0 48227 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 264088 KiB
Current children cumulated memory: 186600 KiB
[startup+51.1126 s]
/proc/loadavg: 4.03 4.09 4.08 5/253 112196
/proc/meminfo: memFree=126727824/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=275268 memory=197740 CPUtime=50.92 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 49075 0 5 0 5081 11 0 0 20 0 1 0 141336257 281874432 49435 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 68817 49435 4224 2834 0 51022 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 275268 KiB
Current children cumulated memory: 197740 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.08 5/254 112203
/proc/meminfo: memFree=126380000/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=358520 memory=283940 CPUtime=101.95 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 70974 0 5 0 10180 15 0 0 20 0 1 0 141336257 367124480 70985 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 89630 70985 4224 2834 0 71835 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 358520 KiB
Current children cumulated memory: 283940 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.08 5/254 112205
/proc/meminfo: memFree=126338368/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=358520 memory=284196 CPUtime=161.76 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 71000 0 5 0 16161 15 0 0 20 0 1 0 141336257 367124480 71049 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 89630 71049 4224 2834 0 71835 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 358520 KiB
Current children cumulated memory: 284196 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/256 112210
/proc/meminfo: memFree=126344672/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=358520 memory=285092 CPUtime=221.54 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 71023 0 5 0 22139 15 0 0 20 0 1 0 141336257 367124480 71273 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 89630 71273 4224 2834 0 71835 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 358520 KiB
Current children cumulated memory: 285092 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 112211
/proc/meminfo: memFree=126338264/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=359504 memory=287268 CPUtime=281.35 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 71367 0 5 0 28120 15 0 0 20 0 1 0 141336257 368132096 71817 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 89876 71817 4224 2834 0 72081 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 359504 KiB
Current children cumulated memory: 287268 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 112224
/proc/meminfo: memFree=126541256/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=317308 memory=249888 CPUtime=341.17 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 73649 0 5 0 34048 69 0 0 20 0 1 0 141336257 324923392 62472 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 79327 62472 4416 2834 0 61532 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 317308 KiB
Current children cumulated memory: 249888 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/253 112226
/proc/meminfo: memFree=126542764/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=317308 memory=256160 CPUtime=400.97 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 73736 0 5 0 39982 115 0 0 20 0 1 0 141336257 324923392 64040 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 79327 64040 4416 2834 0 61532 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 317308 KiB
Current children cumulated memory: 256160 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/253 112229
/proc/meminfo: memFree=126496800/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=336276 memory=264392 CPUtime=460.78 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 74257 0 5 0 45922 156 0 0 20 0 1 0 141336257 344346624 66098 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 84069 66098 4416 2834 0 66274 0
Current children cumulated CPU time: 460.78 s
################
# More data... #
################
Current children cumulated memory: 312700 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 112345
/proc/meminfo: memFree=126340020/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=417184 memory=312700 CPUtime=2853.51 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 76564 0 5 0 284536 815 0 0 20 0 1 0 141336257 427196416 78175 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 104296 78175 4416 2834 0 86501 0
Current children cumulated CPU time: 2853.51 s
Current children cumulated vsize: 417184 KiB
Current children cumulated memory: 312700 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/251 112347
/proc/meminfo: memFree=126331980/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=417184 memory=312700 CPUtime=2913.33 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 76575 0 5 0 290501 832 0 0 20 0 1 0 141336257 427196416 78175 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 104296 78175 4416 2834 0 86501 0
Current children cumulated CPU time: 2913.33 s
Current children cumulated vsize: 417184 KiB
Current children cumulated memory: 312700 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/251 112349
/proc/meminfo: memFree=126331168/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=417184 memory=314748 CPUtime=2973.13 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 76604 0 5 0 296469 844 0 0 20 0 1 0 141336257 427196416 78687 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 104296 78687 4416 2834 0 86501 0
Current children cumulated CPU time: 2973.13 s
Current children cumulated vsize: 417184 KiB
Current children cumulated memory: 314748 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/249 112353
/proc/meminfo: memFree=126331596/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=417184 memory=314748 CPUtime=3032.97 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 76604 0 5 0 302442 855 0 0 20 0 1 0 141336257 427196416 78687 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 104296 78687 4416 2834 0 86501 0
Current children cumulated CPU time: 3032.97 s
Current children cumulated vsize: 417184 KiB
Current children cumulated memory: 314748 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/251 112361
/proc/meminfo: memFree=126336532/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=417184 memory=314748 CPUtime=3092.8 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 76604 0 5 0 308413 867 0 0 20 0 1 0 141336257 427196416 78687 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 104296 78687 4416 2834 0 86501 0
Current children cumulated CPU time: 3092.8 s
Current children cumulated vsize: 417184 KiB
Current children cumulated memory: 314748 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 112363
/proc/meminfo: memFree=126335920/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=417184 memory=314748 CPUtime=3152.64 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 76605 0 5 0 314389 875 0 0 20 0 1 0 141336257 427196416 78687 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 104296 78687 4416 2834 0 86501 0
Current children cumulated CPU time: 3152.64 s
Current children cumulated vsize: 417184 KiB
Current children cumulated memory: 314748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/251 112365
/proc/meminfo: memFree=126327544/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=417184 memory=320892 CPUtime=3212.47 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 76608 0 5 0 320362 885 0 0 20 0 1 0 141336257 427196416 80223 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 104296 80223 4416 2834 0 86501 0
Current children cumulated CPU time: 3212.47 s
Current children cumulated vsize: 417184 KiB
Current children cumulated memory: 320892 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/251 112367
/proc/meminfo: memFree=126322248/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=417184 memory=320892 CPUtime=3272.31 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 76608 0 5 0 326334 897 0 0 20 0 1 0 141336257 427196416 80223 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 104296 80223 4416 2834 0 86501 0
Current children cumulated CPU time: 3272.31 s
Current children cumulated vsize: 417184 KiB
Current children cumulated memory: 320892 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 112369
/proc/meminfo: memFree=126322400/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=417184 memory=320892 CPUtime=3332.13 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 76608 0 5 0 332305 908 0 0 20 0 1 0 141336257 427196416 80223 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 104296 80223 4416 2834 0 86501 0
Current children cumulated CPU time: 3332.13 s
Current children cumulated vsize: 417184 KiB
Current children cumulated memory: 320892 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/249 112371
/proc/meminfo: memFree=126321968/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=417184 memory=320892 CPUtime=3391.96 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 76608 0 5 0 338276 920 0 0 20 0 1 0 141336257 427196416 80223 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 104296 80223 4416 2834 0 86501 0
Current children cumulated CPU time: 3391.96 s
Current children cumulated vsize: 417184 KiB
Current children cumulated memory: 320892 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/250 112374
/proc/meminfo: memFree=126317624/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=417184 memory=320892 CPUtime=3451.79 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 76608 0 5 0 344248 931 0 0 20 0 1 0 141336257 427196416 80223 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 104296 80223 4416 2834 0 86501 0
Current children cumulated CPU time: 3451.79 s
Current children cumulated vsize: 417184 KiB
Current children cumulated memory: 320892 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.15 4.10 5/250 112376
/proc/meminfo: memFree=126312732/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=417184 memory=320892 CPUtime=3511.62 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 76704 0 5 0 350219 943 0 0 20 0 1 0 141336257 427196416 80223 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 104296 80223 4416 2834 0 86501 0
Current children cumulated CPU time: 3511.62 s
Current children cumulated vsize: 417184 KiB
Current children cumulated memory: 320892 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/250 112378
/proc/meminfo: memFree=126311580/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=417184 memory=320892 CPUtime=3571.45 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 76721 0 5 0 356192 953 0 0 20 0 1 0 141336257 427196416 80223 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 104296 80223 4416 2834 0 86501 0
Current children cumulated CPU time: 3571.45 s
Current children cumulated vsize: 417184 KiB
Current children cumulated memory: 320892 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.17 4.14 4.10 2/239 112407
/proc/meminfo: memFree=127199620/131382120 swapFree=33010416/33010684
[pid=112181] ppid=112175 vsize=417184 memory=320892 CPUtime=3600.08 cores=4,6
/proc/112181/stat : 112181 (mixed-bag) R 112175 112181 112124 0 -1 4194304 76721 0 5 0 359050 958 0 0 20 0 1 0 141336257 427196416 80223 18446744073709551615 4235264 15840557 140730134882432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 53592064 140730134886810 140730134886887 140730134886887 140730134892491 0
/proc/112181/statm: 104296 80223 4416 2834 0 86501 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 417184 KiB
Current children cumulated memory: 320892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.02 s]
# the end of solver process 112181 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.5 s, system=9.58288 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.02
CPU time (s): 3600.09
CPU user time (s): 3590.5
CPU system time (s): 9.58288
CPU usage (%): 99.6973
Max. virtual memory (cumulated for all children) (KiB): 417184
Max. memory (cumulated for all children) (KiB): 320892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.5
system time used= 9.58288
maximum resident set size= 321532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76752
page faults= 5
swaps= 0
block input operations= 544
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 238
involuntary context switches= 18510
# summary of solver processes directly reported to runsolver:
# pid: 112181
# total CPU time (s): 3600.09
# total CPU user time (s): 3590.5
# total CPU system time (s): 9.58288
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9233 second user time and 37.2056 second system time
The end
Begin job on nodeC006 at 2025-07-11 19:56:09
IDJOB=4528914
IDBENCH=147546
IDSOLVER=3386
FILE ID=nodeC006/4528914-1752256569
RUNJOBID= nodeC006-1752256569-112135
SLURM_JOB_ID= 9682601
Free space on /tmp= 432024 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528914-1752256569/watcher-4528914-1752256569 -o /tmp/evaluation-result-4528914-1752256569/solver-4528914-1752256569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1752256569-112135 --watchdog 3760 mixed-bag HOME/instance-4528914-1752256569.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d9affe619068a6673989e4355ed78893
RANDOM SEED=557889923
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.114
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.350
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.145
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.137
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.154
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127504604 kB
MemAvailable: 129869120 kB
Buffers: 2128 kB
Cached: 3126668 kB
SwapCached: 12 kB
Active: 590344 kB
Inactive: 2607588 kB
Active(anon): 76092 kB
Inactive(anon): 10992 kB
Active(file): 514252 kB
Inactive(file): 2596596 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 61300 kB
Writeback: 0 kB
AnonPages: 71020 kB
Mapped: 104872 kB
Shmem: 17948 kB
KReclaimable: 186204 kB
Slab: 275292 kB
SReclaimable: 186204 kB
SUnreclaim: 89088 kB
KernelStack: 3748 kB
PageTables: 2412 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 333000 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149256 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431960 MiB
End job on nodeC006 at 2025-07-11 20:56:20