0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.19/0.26 c [STEP] preprocessing with Papilo
0.28/0.34 c [STEP] solving with SCIP
299.35/300.41 c [STEP] preprocessing done, loading into solver
299.35/300.45 c [STEP] solving
299.35/300.45 c #variables 201 #constraints 17013
299.35/300.45 c SMALL=int, LARGE=long long
299.35/300.45 d SCIPUB -45
299.35/300.45 c bounds - >= -200 @ 299.138
299.35/300.45 c stratification level: 0
300.14/301.26 c bounds - >= -140 @ 299.14
300.14/301.26 c bounds - >= -139 @ 299.14
300.14/301.26 c bounds - >= -138 @ 299.14
300.14/301.26 c bounds - >= -137 @ 299.14
300.14/301.26 c bounds - >= -136 @ 299.14
300.14/301.26 c bounds - >= -135 @ 299.14
300.14/301.26 c bounds - >= -134 @ 299.14
300.14/301.26 c bounds - >= -133 @ 299.141
300.14/301.26 c bounds - >= -132 @ 299.141
300.14/301.26 c bounds - >= -131 @ 299.141
300.14/301.26 c bounds - >= -130 @ 299.141
300.14/301.26 c bounds - >= -129 @ 299.141
300.14/301.26 c bounds - >= -128 @ 299.141
300.14/301.26 c bounds - >= -127 @ 299.142
300.14/301.26 c bounds - >= -126 @ 299.142
300.14/301.26 c bounds - >= -125 @ 299.143
300.14/301.26 c #Conflicts: 1000 | #Constraints: 18097
300.14/301.26 c #Conflicts: 2000 | #Constraints: 19097
300.14/301.26 c INPROCESSING
300.14/301.26 c #Conflicts: 3000 | #Constraints: 19080
300.14/301.26 c #Conflicts: 4000 | #Constraints: 20080
300.14/301.26 c INPROCESSING
300.14/301.26 c GARBAGE COLLECT
300.14/301.26 c #Conflicts: 5000 | #Constraints: 19482
300.14/301.26 c #Conflicts: 6000 | #Constraints: 20482
300.14/301.26 c INPROCESSING
300.14/301.26 c GARBAGE COLLECT
300.14/301.26 c #Conflicts: 7000 | #Constraints: 19482
300.14/301.26 c #Conflicts: 8000 | #Constraints: 20482
300.14/301.26 c #Conflicts: 9000 | #Constraints: 21482
300.14/301.26 c INPROCESSING
300.14/301.26 c GARBAGE COLLECT
300.14/301.26 c #Conflicts: 10000 | #Constraints: 20182
300.14/301.26 c #Conflicts: 11000 | #Constraints: 21182
300.14/301.26 c #Conflicts: 12000 | #Constraints: 22182
300.14/301.26 c INPROCESSING
300.14/301.26 c GARBAGE COLLECT
300.14/301.26 c #Conflicts: 13000 | #Constraints: 20634
300.14/301.26 c #Conflicts: 14000 | #Constraints: 21634
300.14/301.26 c finalizing WCE round: reformulating cores
328.76/329.96 c bounds -47 >= -140 @ 299.926
328.76/329.96 c #Conflicts: 15000 | #Constraints: 22639
328.76/329.96 c INPROCESSING
328.76/329.96 c GARBAGE COLLECT
328.76/329.96 c #Conflicts: 16000 | #Constraints: 20780
328.76/329.96 c bounds -47 >= -137 @ 300.069
328.76/329.96 c #Conflicts: 17000 | #Constraints: 21784
328.76/329.96 c bounds -47 >= -135 @ 300.141
328.76/329.96 c #Conflicts: 18000 | #Constraints: 22788
328.76/329.96 c INPROCESSING
328.76/329.96 c GARBAGE COLLECT
328.76/329.96 c #Conflicts: 19000 | #Constraints: 20706
328.76/329.96 c #Conflicts: 20000 | #Constraints: 21708
328.76/329.96 c #Conflicts: 21000 | #Constraints: 22710
328.76/329.96 c INPROCESSING
328.76/329.96 c GARBAGE COLLECT
328.76/329.96 c #Conflicts: 22000 | #Constraints: 20610
328.76/329.96 c #Conflicts: 23000 | #Constraints: 21615
328.76/329.96 c #Conflicts: 24000 | #Constraints: 22617
328.76/329.96 c #Conflicts: 25000 | #Constraints: 23619
328.76/329.96 c INPROCESSING
328.76/329.96 c GARBAGE COLLECT
328.76/329.96 c #Conflicts: 26000 | #Constraints: 21268
328.76/329.96 c #Conflicts: 27000 | #Constraints: 22270
328.76/329.96 c #Conflicts: 28000 | #Constraints: 23272
328.76/329.96 c bounds -53 >= -122 @ 300.933
328.76/329.96 c bounds -53 >= -121 @ 300.934
328.76/329.96 c bounds -53 >= -120 @ 300.934
328.76/329.96 c bounds -53 >= -119 @ 300.942
328.76/329.96 c #Conflicts: 29000 | #Constraints: 24347
328.76/329.96 c INPROCESSING
328.76/329.96 c GARBAGE COLLECT
328.76/329.96 c #Conflicts: 30000 | #Constraints: 21754
328.76/329.96 c #Conflicts: 31000 | #Constraints: 22754
328.76/329.96 c #Conflicts: 32000 | #Constraints: 23754
328.76/329.96 c #Conflicts: 33000 | #Constraints: 24754
328.76/329.96 c INPROCESSING
328.76/329.96 c GARBAGE COLLECT
328.76/329.96 c #Conflicts: 34000 | #Constraints: 21969
328.76/329.96 c bounds -53 >= -118 @ 301.97
328.76/329.96 c #Conflicts: 35000 | #Constraints: 23000
328.76/329.96 c #Conflicts: 36000 | #Constraints: 24000
328.76/329.96 c #Conflicts: 37000 | #Constraints: 25000
328.76/329.96 c INPROCESSING
328.76/329.96 c GARBAGE COLLECT
328.76/329.96 c #Conflicts: 38000 | #Constraints: 21992
328.76/329.96 c #Conflicts: 39000 | #Constraints: 22992
328.76/329.96 c #Conflicts: 40000 | #Constraints: 23992
328.76/329.96 c #Conflicts: 41000 | #Constraints: 24992
328.76/329.96 c INPROCESSING
328.76/329.96 c GARBAGE COLLECT
328.76/329.96 c #Conflicts: 42000 | #Constraints: 21786
328.76/329.96 c #Conflicts: 43000 | #Constraints: 22786
328.76/329.96 c #Conflicts: 44000 | #Constraints: 23786
328.76/329.97 c #Conflicts: 45000 | #Constraints: 24786
328.76/329.97 c #Conflicts: 46000 | #Constraints: 25786
328.76/329.97 c INPROCESSING
328.76/329.97 c GARBAGE COLLECT
328.76/329.97 c #Conflicts: 47000 | #Constraints: 22391
328.76/329.97 c #Conflicts: 48000 | #Constraints: 23391
328.76/329.97 c #Conflicts: 49000 | #Constraints: 24391
328.76/329.97 c #Conflicts: 50000 | #Constraints: 25391
328.76/329.97 c #Conflicts: 51000 | #Constraints: 26391
328.76/329.97 c #Conflicts: 52000 | #Constraints: 27391
328.76/329.97 c #Conflicts: 53000 | #Constraints: 28391
328.76/329.97 c #Conflicts: 54000 | #Constraints: 29391
328.76/329.97 c #Conflicts: 55000 | #Constraints: 30391
328.76/329.97 c #Conflicts: 56000 | #Constraints: 31391
328.76/329.97 c #Conflicts: 57000 | #Constraints: 32391
328.76/329.97 c #Conflicts: 58000 | #Constraints: 33391
328.76/329.97 c #Conflicts: 59000 | #Constraints: 34391
328.76/329.97 c #Conflicts: 60000 | #Constraints: 35391
328.76/329.97 c #Conflicts: 61000 | #Constraints: 36391
328.76/329.97 c #Conflicts: 62000 | #Constraints: 37391
328.76/329.97 c #Conflicts: 63000 | #Constraints: 38391
328.76/329.97 c #Conflicts: 64000 | #Constraints: 39391
328.76/329.97 c INPROCESSING
328.76/329.97 c GARBAGE COLLECT
328.76/329.97 c #Conflicts: 65000 | #Constraints: 29046
328.76/329.97 c #Conflicts: 66000 | #Constraints: 30046
328.76/329.97 c #Conflicts: 67000 | #Constraints: 31046
328.76/329.97 c #Conflicts: 68000 | #Constraints: 32046
328.76/329.97 c #Conflicts: 69000 | #Constraints: 33046
328.76/329.97 c #Conflicts: 70000 | #Constraints: 34046
328.76/329.97 c INPROCESSING
328.76/329.97 c GARBAGE COLLECT
328.76/329.97 c #Conflicts: 71000 | #Constraints: 26421
328.76/329.97 c #Conflicts: 72000 | #Constraints: 27421
328.76/329.97 c #Conflicts: 73000 | #Constraints: 28421
328.76/329.97 c #Conflicts: 74000 | #Constraints: 29421
328.76/329.97 c #Conflicts: 75000 | #Constraints: 30421
328.76/329.97 c #Conflicts: 76000 | #Constraints: 31421
328.76/329.97 c INPROCESSING
328.76/329.97 c GARBAGE COLLECT
328.76/329.97 c #Conflicts: 77000 | #Constraints: 25055
328.76/329.97 c #Conflicts: 78000 | #Constraints: 26055
328.76/329.97 c #Conflicts: 79000 | #Constraints: 27055
328.76/329.97 c #Conflicts: 80000 | #Constraints: 28055
328.76/329.97 c #Conflicts: 81000 | #Constraints: 29055
430.31/431.84 c #Conflicts: 82000 | #Constraints: 30055
430.31/431.84 c #Conflicts: 83000 | #Constraints: 31055
430.31/431.84 c #Conflicts: 84000 | #Constraints: 32055
430.31/431.84 c #Conflicts: 85000 | #Constraints: 33055
430.31/431.84 c #Conflicts: 86000 | #Constraints: 34055
430.31/431.84 c #Conflicts: 87000 | #Constraints: 35055
430.31/431.84 c #Conflicts: 88000 | #Constraints: 36055
430.31/431.84 c #Conflicts: 89000 | #Constraints: 37055
430.31/431.84 c #Conflicts: 90000 | #Constraints: 38055
430.31/431.84 c #Conflicts: 91000 | #Constraints: 39055
430.31/431.84 c #Conflicts: 92000 | #Constraints: 40055
430.31/431.84 c #Conflicts: 93000 | #Constraints: 41055
430.31/431.84 c #Conflicts: 94000 | #Constraints: 42055
430.31/431.84 c #Conflicts: 95000 | #Constraints: 43055
430.31/431.84 c #Conflicts: 96000 | #Constraints: 44055
430.31/431.84 c #Conflicts: 97000 | #Constraints: 45055
430.31/431.84 c #Conflicts: 98000 | #Constraints: 46055
430.31/431.84 c #Conflicts: 99000 | #Constraints: 47055
430.31/431.84 c INPROCESSING
430.31/431.84 c GARBAGE COLLECT
430.31/431.84 c #Conflicts: 100000 | #Constraints: 33140
430.31/431.84 c #Conflicts: 101000 | #Constraints: 34140
430.31/431.84 c #Conflicts: 102000 | #Constraints: 35140
430.31/431.84 c #Conflicts: 103000 | #Constraints: 36140
430.31/431.84 c #Conflicts: 104000 | #Constraints: 37140
430.31/431.84 c #Conflicts: 105000 | #Constraints: 38140
430.31/431.84 c #Conflicts: 106000 | #Constraints: 39140
430.31/431.84 c INPROCESSING
430.31/431.84 c GARBAGE COLLECT
430.31/431.84 c #Conflicts: 107000 | #Constraints: 28977
430.31/431.84 c #Conflicts: 108000 | #Constraints: 29977
430.31/431.84 c #Conflicts: 109000 | #Constraints: 30977
430.31/431.84 c #Conflicts: 110000 | #Constraints: 31977
430.31/431.84 c #Conflicts: 111000 | #Constraints: 32977
430.31/431.84 c #Conflicts: 112000 | #Constraints: 33977
430.31/431.84 c #Conflicts: 113000 | #Constraints: 34977
430.31/431.84 c #Conflicts: 114000 | #Constraints: 35977
430.31/431.84 c INPROCESSING
430.31/431.84 c GARBAGE COLLECT
430.31/431.84 c #Conflicts: 115000 | #Constraints: 28894
430.31/431.84 c #Conflicts: 116000 | #Constraints: 29894
430.31/431.84 c #Conflicts: 117000 | #Constraints: 30894
430.31/431.84 c #Conflicts: 118000 | #Constraints: 31894
430.31/431.84 c #Conflicts: 119000 | #Constraints: 32894
430.31/431.84 c #Conflicts: 120000 | #Constraints: 33894
430.31/431.84 c #Conflicts: 121000 | #Constraints: 34894
430.31/431.84 c #Conflicts: 122000 | #Constraints: 35894
430.31/431.84 c #Conflicts: 123000 | #Constraints: 36894
430.31/431.84 c #Conflicts: 124000 | #Constraints: 37894
430.31/431.84 c #Conflicts: 125000 | #Constraints: 38894
430.31/431.84 c #Conflicts: 126000 | #Constraints: 39894
430.31/431.84 c #Conflicts: 127000 | #Constraints: 40894
430.31/431.84 c #Conflicts: 128000 | #Constraints: 41894
430.31/431.84 c #Conflicts: 129000 | #Constraints: 42894
430.31/431.84 c #Conflicts: 130000 | #Constraints: 43894
430.31/431.84 c #Conflicts: 131000 | #Constraints: 44894
430.31/431.84 c #Conflicts: 132000 | #Constraints: 45894
430.31/431.84 c #Conflicts: 133000 | #Constraints: 46894
430.31/431.84 c #Conflicts: 134000 | #Constraints: 47894
430.31/431.84 c #Conflicts: 135000 | #Constraints: 48894
430.31/431.84 c #Conflicts: 136000 | #Constraints: 49894
430.31/431.84 c #Conflicts: 137000 | #Constraints: 50894
430.31/431.84 c #Conflicts: 138000 | #Constraints: 51894
430.31/431.84 c #Conflicts: 139000 | #Constraints: 52894
430.31/431.84 c #Conflicts: 140000 | #Constraints: 53894
430.31/431.84 c INPROCESSING
430.31/431.84 c GARBAGE COLLECT
430.31/431.84 c #Conflicts: 141000 | #Constraints: 36204
430.31/431.84 c #Conflicts: 142000 | #Constraints: 37204
430.31/431.84 c #Conflicts: 143000 | #Constraints: 38204
430.31/431.84 c #Conflicts: 144000 | #Constraints: 39204
430.31/431.84 c #Conflicts: 145000 | #Constraints: 40204
430.31/431.84 c #Conflicts: 146000 | #Constraints: 41204
430.31/431.84 c #Conflicts: 147000 | #Constraints: 42204
430.31/431.84 c #Conflicts: 148000 | #Constraints: 43204
430.31/431.84 c #Conflicts: 149000 | #Constraints: 44204
430.31/431.84 c INPROCESSING
430.31/431.84 c GARBAGE COLLECT
430.31/431.84 c #Conflicts: 150000 | #Constraints: 31422
430.31/431.84 c #Conflicts: 151000 | #Constraints: 32422
430.31/431.84 c #Conflicts: 152000 | #Constraints: 33422
430.31/431.84 c #Conflicts: 153000 | #Constraints: 34422
430.31/431.84 c #Conflicts: 154000 | #Constraints: 35422
430.31/431.84 c #Conflicts: 155000 | #Constraints: 36422
430.31/431.84 c #Conflicts: 156000 | #Constraints: 37422
605.65/607.77 c #Conflicts: 157000 | #Constraints: 38422
605.65/607.77 c #Conflicts: 158000 | #Constraints: 39422
605.65/607.77 c #Conflicts: 159000 | #Constraints: 40422
605.65/607.77 c #Conflicts: 160000 | #Constraints: 41422
605.65/607.77 c #Conflicts: 161000 | #Constraints: 42422
605.65/607.77 c #Conflicts: 162000 | #Constraints: 43422
605.65/607.77 c #Conflicts: 163000 | #Constraints: 44422
605.65/607.77 c #Conflicts: 164000 | #Constraints: 45422
605.65/607.77 c #Conflicts: 165000 | #Constraints: 46422
605.65/607.77 c #Conflicts: 166000 | #Constraints: 47422
605.65/607.77 c #Conflicts: 167000 | #Constraints: 48422
605.65/607.77 c #Conflicts: 168000 | #Constraints: 49422
605.65/607.77 c #Conflicts: 169000 | #Constraints: 50422
605.65/607.77 c #Conflicts: 170000 | #Constraints: 51422
605.65/607.77 c #Conflicts: 171000 | #Constraints: 52422
605.65/607.77 c #Conflicts: 172000 | #Constraints: 53422
605.65/607.77 c #Conflicts: 173000 | #Constraints: 54422
605.65/607.77 c #Conflicts: 174000 | #Constraints: 55422
605.65/607.77 c #Conflicts: 175000 | #Constraints: 56422
605.65/607.77 c #Conflicts: 176000 | #Constraints: 57422
605.65/607.77 c #Conflicts: 177000 | #Constraints: 58422
605.65/607.77 c #Conflicts: 178000 | #Constraints: 59422
605.65/607.77 c #Conflicts: 179000 | #Constraints: 60422
605.65/607.77 c INPROCESSING
605.65/607.77 c GARBAGE COLLECT
605.65/607.77 c #Conflicts: 180000 | #Constraints: 39616
605.65/607.77 c #Conflicts: 181000 | #Constraints: 40616
605.65/607.77 c #Conflicts: 182000 | #Constraints: 41616
605.65/607.77 c #Conflicts: 183000 | #Constraints: 42616
605.65/607.77 c #Conflicts: 184000 | #Constraints: 43616
605.65/607.77 c #Conflicts: 185000 | #Constraints: 44616
605.65/607.77 c #Conflicts: 186000 | #Constraints: 45616
605.65/607.77 c #Conflicts: 187000 | #Constraints: 46616
605.65/607.77 c #Conflicts: 188000 | #Constraints: 47616
605.65/607.77 c #Conflicts: 189000 | #Constraints: 48616
605.65/607.77 c INPROCESSING
605.65/607.77 c GARBAGE COLLECT
605.65/607.77 c #Conflicts: 190000 | #Constraints: 34879
605.65/607.77 c #Conflicts: 191000 | #Constraints: 35879
605.65/607.77 c #Conflicts: 192000 | #Constraints: 36879
605.65/607.77 c #Conflicts: 193000 | #Constraints: 37879
605.65/607.77 c #Conflicts: 194000 | #Constraints: 38879
605.65/607.77 c #Conflicts: 195000 | #Constraints: 39879
605.65/607.77 c #Conflicts: 196000 | #Constraints: 40879
605.65/607.77 c #Conflicts: 197000 | #Constraints: 41879
605.65/607.77 c #Conflicts: 198000 | #Constraints: 42879
605.65/607.77 c #Conflicts: 199000 | #Constraints: 43879
605.65/607.77 c #Conflicts: 200000 | #Constraints: 44879
605.65/607.77 c #Conflicts: 201000 | #Constraints: 45879
605.65/607.77 c #Conflicts: 202000 | #Constraints: 46879
605.65/607.77 c #Conflicts: 203000 | #Constraints: 47879
605.65/607.77 c #Conflicts: 204000 | #Constraints: 48879
605.65/607.77 c #Conflicts: 205000 | #Constraints: 49879
605.65/607.77 c #Conflicts: 206000 | #Constraints: 50879
605.65/607.77 c #Conflicts: 207000 | #Constraints: 51879
605.65/607.77 c #Conflicts: 208000 | #Constraints: 52879
605.65/607.77 c #Conflicts: 209000 | #Constraints: 53879
605.65/607.77 c #Conflicts: 210000 | #Constraints: 54879
605.65/607.77 c #Conflicts: 211000 | #Constraints: 55879
605.65/607.77 c #Conflicts: 212000 | #Constraints: 56879
605.65/607.77 c #Conflicts: 213000 | #Constraints: 57879
605.65/607.77 c #Conflicts: 214000 | #Constraints: 58879
605.65/607.77 c #Conflicts: 215000 | #Constraints: 59879
605.65/607.77 c #Conflicts: 216000 | #Constraints: 60879
605.65/607.77 c #Conflicts: 217000 | #Constraints: 61879
605.65/607.77 c bounds -53 >= -117 @ 578.565
605.65/607.77 c #Conflicts: 218000 | #Constraints: 62913
605.65/607.77 c #Conflicts: 219000 | #Constraints: 63913
605.65/607.77 c #Conflicts: 220000 | #Constraints: 64913
605.65/607.77 c #Conflicts: 221000 | #Constraints: 65913
605.65/607.77 c #Conflicts: 222000 | #Constraints: 66913
605.65/607.77 c INPROCESSING
605.65/607.77 c GARBAGE COLLECT
605.65/607.77 c #Conflicts: 223000 | #Constraints: 42813
605.65/607.77 c #Conflicts: 224000 | #Constraints: 43813
605.65/607.77 c #Conflicts: 225000 | #Constraints: 44813
605.65/607.77 c #Conflicts: 226000 | #Constraints: 45813
605.65/607.77 c #Conflicts: 227000 | #Constraints: 46813
605.65/607.77 c #Conflicts: 228000 | #Constraints: 47813
605.65/607.77 c #Conflicts: 229000 | #Constraints: 48813
605.65/607.77 c #Conflicts: 230000 | #Constraints: 49813
605.65/607.77 c #Conflicts: 231000 | #Constraints: 50813
605.65/607.77 c #Conflicts: 232000 | #Constraints: 51813
605.65/607.77 c #Conflicts: 233000 | #Constraints: 52813
775.73/778.33 c #Conflicts: 234000 | #Constraints: 53813
775.73/778.33 c INPROCESSING
775.73/778.33 c GARBAGE COLLECT
775.73/778.33 c #Conflicts: 235000 | #Constraints: 40575
775.73/778.33 c #Conflicts: 236000 | #Constraints: 41575
775.73/778.33 c #Conflicts: 237000 | #Constraints: 42575
775.73/778.33 c #Conflicts: 238000 | #Constraints: 43575
775.73/778.33 c #Conflicts: 239000 | #Constraints: 44575
775.73/778.33 c #Conflicts: 240000 | #Constraints: 45575
775.73/778.33 c #Conflicts: 241000 | #Constraints: 46575
775.73/778.33 c #Conflicts: 242000 | #Constraints: 47575
775.73/778.33 c #Conflicts: 243000 | #Constraints: 48575
775.73/778.33 c #Conflicts: 244000 | #Constraints: 49575
775.73/778.33 c #Conflicts: 245000 | #Constraints: 50575
775.73/778.33 c #Conflicts: 246000 | #Constraints: 51575
775.73/778.33 c #Conflicts: 247000 | #Constraints: 52575
775.73/778.33 c #Conflicts: 248000 | #Constraints: 53575
775.73/778.33 c #Conflicts: 249000 | #Constraints: 54575
775.73/778.33 c #Conflicts: 250000 | #Constraints: 55575
775.73/778.33 c #Conflicts: 251000 | #Constraints: 56575
775.73/778.33 c #Conflicts: 252000 | #Constraints: 57575
775.73/778.33 c #Conflicts: 253000 | #Constraints: 58575
775.73/778.33 c #Conflicts: 254000 | #Constraints: 59575
775.73/778.33 c #Conflicts: 255000 | #Constraints: 60575
775.73/778.33 c #Conflicts: 256000 | #Constraints: 61575
775.73/778.33 c #Conflicts: 257000 | #Constraints: 62575
775.73/778.33 c #Conflicts: 258000 | #Constraints: 63575
775.73/778.33 c #Conflicts: 259000 | #Constraints: 64575
775.73/778.33 c #Conflicts: 260000 | #Constraints: 65575
775.73/778.33 c #Conflicts: 261000 | #Constraints: 66575
775.73/778.33 c #Conflicts: 262000 | #Constraints: 67575
775.73/778.33 c #Conflicts: 263000 | #Constraints: 68575
775.73/778.33 c #Conflicts: 264000 | #Constraints: 69575
775.73/778.33 c #Conflicts: 265000 | #Constraints: 70575
775.73/778.33 c #Conflicts: 266000 | #Constraints: 71575
775.73/778.33 c #Conflicts: 267000 | #Constraints: 72575
775.73/778.33 c #Conflicts: 268000 | #Constraints: 73575
775.73/778.33 c #Conflicts: 269000 | #Constraints: 74575
775.73/778.33 c #Conflicts: 270000 | #Constraints: 75575
775.73/778.33 c INPROCESSING
775.73/778.33 c GARBAGE COLLECT
775.73/778.33 c #Conflicts: 271000 | #Constraints: 47394
775.73/778.33 c #Conflicts: 272000 | #Constraints: 48394
775.73/778.33 c #Conflicts: 273000 | #Constraints: 49394
775.73/778.33 c #Conflicts: 274000 | #Constraints: 50394
775.73/778.33 c #Conflicts: 275000 | #Constraints: 51394
775.73/778.33 c #Conflicts: 276000 | #Constraints: 52394
775.73/778.33 c #Conflicts: 277000 | #Constraints: 53394
775.73/778.33 c #Conflicts: 278000 | #Constraints: 54394
775.73/778.33 c #Conflicts: 279000 | #Constraints: 55394
775.73/778.33 c #Conflicts: 280000 | #Constraints: 56394
775.73/778.33 c #Conflicts: 281000 | #Constraints: 57394
775.73/778.33 c #Conflicts: 282000 | #Constraints: 58394
775.73/778.33 c INPROCESSING
775.73/778.33 c GARBAGE COLLECT
775.73/778.33 c #Conflicts: 283000 | #Constraints: 45032
775.73/778.33 c #Conflicts: 284000 | #Constraints: 46032
775.73/778.33 c #Conflicts: 285000 | #Constraints: 47032
775.73/778.33 c #Conflicts: 286000 | #Constraints: 48032
775.73/778.33 c #Conflicts: 287000 | #Constraints: 49032
775.73/778.33 c #Conflicts: 288000 | #Constraints: 50032
775.73/778.33 c #Conflicts: 289000 | #Constraints: 51032
775.73/778.33 c #Conflicts: 290000 | #Constraints: 52032
775.73/778.33 c #Conflicts: 291000 | #Constraints: 53032
775.73/778.33 c #Conflicts: 292000 | #Constraints: 54032
775.73/778.33 c #Conflicts: 293000 | #Constraints: 55032
775.73/778.33 c #Conflicts: 294000 | #Constraints: 56032
775.73/778.33 c #Conflicts: 295000 | #Constraints: 57032
775.73/778.33 c #Conflicts: 296000 | #Constraints: 58032
775.73/778.33 c #Conflicts: 297000 | #Constraints: 59032
775.73/778.33 c #Conflicts: 298000 | #Constraints: 60032
775.73/778.33 c #Conflicts: 299000 | #Constraints: 61032
775.73/778.33 c #Conflicts: 300000 | #Constraints: 62032
775.73/778.33 c #Conflicts: 301000 | #Constraints: 63032
775.73/778.33 c #Conflicts: 302000 | #Constraints: 64032
775.73/778.33 c #Conflicts: 303000 | #Constraints: 65032
775.73/778.33 c #Conflicts: 304000 | #Constraints: 66032
775.73/778.33 c #Conflicts: 305000 | #Constraints: 67032
775.73/778.33 c #Conflicts: 306000 | #Constraints: 68032
775.73/778.33 c #Conflicts: 307000 | #Constraints: 69032
775.73/778.33 c #Conflicts: 308000 | #Constraints: 70032
775.73/778.33 c #Conflicts: 309000 | #Constraints: 71032
775.73/778.33 c #Conflicts: 310000 | #Constraints: 72032
1050.13/1053.71 c #Conflicts: 311000 | #Constraints: 73032
1050.13/1053.71 c #Conflicts: 312000 | #Constraints: 74032
1050.13/1053.71 c #Conflicts: 313000 | #Constraints: 75032
1050.13/1053.71 c #Conflicts: 314000 | #Constraints: 76032
1050.13/1053.71 c #Conflicts: 315000 | #Constraints: 77032
1050.13/1053.71 c #Conflicts: 316000 | #Constraints: 78032
1050.13/1053.71 c #Conflicts: 317000 | #Constraints: 79032
1050.13/1053.71 c #Conflicts: 318000 | #Constraints: 80032
1050.13/1053.71 c #Conflicts: 319000 | #Constraints: 81032
1050.13/1053.71 c #Conflicts: 320000 | #Constraints: 82032
1050.13/1053.71 c #Conflicts: 321000 | #Constraints: 83032
1050.13/1053.71 c INPROCESSING
1050.13/1053.71 c GARBAGE COLLECT
1050.13/1053.71 c #Conflicts: 322000 | #Constraints: 50678
1050.13/1053.71 c #Conflicts: 323000 | #Constraints: 51678
1050.13/1053.71 c #Conflicts: 324000 | #Constraints: 52678
1050.13/1053.71 c #Conflicts: 325000 | #Constraints: 53678
1050.13/1053.71 c #Conflicts: 326000 | #Constraints: 54678
1050.13/1053.71 c #Conflicts: 327000 | #Constraints: 55678
1050.13/1053.71 c #Conflicts: 328000 | #Constraints: 56678
1050.13/1053.71 c #Conflicts: 329000 | #Constraints: 57678
1050.13/1053.71 c #Conflicts: 330000 | #Constraints: 58678
1050.13/1053.71 c #Conflicts: 331000 | #Constraints: 59678
1050.13/1053.71 c #Conflicts: 332000 | #Constraints: 60678
1050.13/1053.71 c #Conflicts: 333000 | #Constraints: 61678
1050.13/1053.71 c #Conflicts: 334000 | #Constraints: 62678
1050.13/1053.71 c #Conflicts: 335000 | #Constraints: 63678
1050.13/1053.71 c #Conflicts: 336000 | #Constraints: 64678
1050.13/1053.71 c INPROCESSING
1050.13/1053.71 c GARBAGE COLLECT
1050.13/1053.71 c #Conflicts: 337000 | #Constraints: 51405
1050.13/1053.71 c #Conflicts: 338000 | #Constraints: 52405
1050.13/1053.71 c #Conflicts: 339000 | #Constraints: 53405
1050.13/1053.71 c #Conflicts: 340000 | #Constraints: 54405
1050.13/1053.71 c #Conflicts: 341000 | #Constraints: 55405
1050.13/1053.71 c #Conflicts: 342000 | #Constraints: 56405
1050.13/1053.71 c #Conflicts: 343000 | #Constraints: 57405
1050.13/1053.71 c #Conflicts: 344000 | #Constraints: 58405
1050.13/1053.71 c #Conflicts: 345000 | #Constraints: 59405
1050.13/1053.71 c #Conflicts: 346000 | #Constraints: 60405
1050.13/1053.71 c #Conflicts: 347000 | #Constraints: 61405
1050.13/1053.71 c #Conflicts: 348000 | #Constraints: 62405
1050.13/1053.71 c #Conflicts: 349000 | #Constraints: 63405
1050.13/1053.71 c #Conflicts: 350000 | #Constraints: 64405
1050.13/1053.71 c #Conflicts: 351000 | #Constraints: 65405
1050.13/1053.71 c #Conflicts: 352000 | #Constraints: 66405
1050.13/1053.71 c #Conflicts: 353000 | #Constraints: 67405
1050.13/1053.71 c #Conflicts: 354000 | #Constraints: 68405
1050.13/1053.71 c #Conflicts: 355000 | #Constraints: 69405
1050.13/1053.71 c #Conflicts: 356000 | #Constraints: 70405
1050.13/1053.71 c #Conflicts: 357000 | #Constraints: 71405
1050.13/1053.71 c #Conflicts: 358000 | #Constraints: 72405
1050.13/1053.71 c #Conflicts: 359000 | #Constraints: 73405
1050.13/1053.71 c #Conflicts: 360000 | #Constraints: 74405
1050.13/1053.71 c #Conflicts: 361000 | #Constraints: 75405
1050.13/1053.71 c #Conflicts: 362000 | #Constraints: 76405
1050.13/1053.71 c #Conflicts: 363000 | #Constraints: 77405
1050.13/1053.71 c #Conflicts: 364000 | #Constraints: 78405
1050.13/1053.71 c #Conflicts: 365000 | #Constraints: 79405
1050.13/1053.71 c #Conflicts: 366000 | #Constraints: 80405
1050.13/1053.71 c #Conflicts: 367000 | #Constraints: 81405
1050.13/1053.71 c #Conflicts: 368000 | #Constraints: 82405
1050.13/1053.71 c #Conflicts: 369000 | #Constraints: 83405
1050.13/1053.71 c #Conflicts: 370000 | #Constraints: 84405
1050.13/1053.71 c #Conflicts: 371000 | #Constraints: 85405
1050.13/1053.71 c #Conflicts: 372000 | #Constraints: 86405
1050.13/1053.71 c #Conflicts: 373000 | #Constraints: 87405
1050.13/1053.71 c #Conflicts: 374000 | #Constraints: 88405
1050.13/1053.71 c #Conflicts: 375000 | #Constraints: 89405
1050.13/1053.71 c #Conflicts: 376000 | #Constraints: 90405
1050.13/1053.71 c #Conflicts: 377000 | #Constraints: 91405
1050.13/1053.71 c #Conflicts: 378000 | #Constraints: 92405
1050.13/1053.71 c INPROCESSING
1050.13/1053.71 c GARBAGE COLLECT
1050.13/1053.71 c #Conflicts: 379000 | #Constraints: 55724
1050.13/1053.71 c #Conflicts: 380000 | #Constraints: 56724
1050.13/1053.71 c #Conflicts: 381000 | #Constraints: 57724
1050.13/1053.71 c #Conflicts: 382000 | #Constraints: 58724
1050.13/1053.71 c #Conflicts: 383000 | #Constraints: 59724
1050.13/1053.71 c #Conflicts: 384000 | #Constraints: 60724
1050.13/1053.71 c #Conflicts: 385000 | #Constraints: 61724
1050.13/1053.71 c #Conflicts: 386000 | #Constraints: 62724
1389.67/1394.53 c #Conflicts: 387000 | #Constraints: 63724
1389.67/1394.53 c #Conflicts: 388000 | #Constraints: 64724
1389.67/1394.53 c #Conflicts: 389000 | #Constraints: 65724
1389.67/1394.53 c #Conflicts: 390000 | #Constraints: 66724
1389.67/1394.53 c #Conflicts: 391000 | #Constraints: 67724
1389.67/1394.53 c #Conflicts: 392000 | #Constraints: 68724
1389.67/1394.53 c #Conflicts: 393000 | #Constraints: 69724
1389.67/1394.53 c #Conflicts: 394000 | #Constraints: 70724
1389.67/1394.53 c #Conflicts: 395000 | #Constraints: 71724
1389.67/1394.53 c #Conflicts: 396000 | #Constraints: 72724
1389.67/1394.53 c #Conflicts: 397000 | #Constraints: 73724
1389.67/1394.53 c #Conflicts: 398000 | #Constraints: 74724
1389.67/1394.53 c #Conflicts: 399000 | #Constraints: 75724
1389.67/1394.53 c #Conflicts: 400000 | #Constraints: 76724
1389.67/1394.53 c #Conflicts: 401000 | #Constraints: 77724
1389.67/1394.53 c #Conflicts: 402000 | #Constraints: 78724
1389.67/1394.53 c #Conflicts: 403000 | #Constraints: 79724
1389.67/1394.53 c #Conflicts: 404000 | #Constraints: 80724
1389.67/1394.53 c #Conflicts: 405000 | #Constraints: 81724
1389.67/1394.53 c #Conflicts: 406000 | #Constraints: 82724
1389.67/1394.53 c #Conflicts: 407000 | #Constraints: 83724
1389.67/1394.53 c #Conflicts: 408000 | #Constraints: 84724
1389.67/1394.53 c #Conflicts: 409000 | #Constraints: 85724
1389.67/1394.53 c #Conflicts: 410000 | #Constraints: 86724
1389.67/1394.53 c #Conflicts: 411000 | #Constraints: 87724
1389.67/1394.53 c #Conflicts: 412000 | #Constraints: 88724
1389.67/1394.53 c #Conflicts: 413000 | #Constraints: 89724
1389.67/1394.53 c #Conflicts: 414000 | #Constraints: 90724
1389.67/1394.53 c #Conflicts: 415000 | #Constraints: 91724
1389.67/1394.53 c #Conflicts: 416000 | #Constraints: 92724
1389.67/1394.53 c #Conflicts: 417000 | #Constraints: 93724
1389.67/1394.53 c #Conflicts: 418000 | #Constraints: 94724
1389.67/1394.53 c #Conflicts: 419000 | #Constraints: 95724
1389.67/1394.53 c #Conflicts: 420000 | #Constraints: 96724
1389.67/1394.53 c #Conflicts: 421000 | #Constraints: 97724
1389.67/1394.53 c #Conflicts: 422000 | #Constraints: 98724
1389.67/1394.53 c INPROCESSING
1389.67/1394.53 c GARBAGE COLLECT
1389.67/1394.53 c #Conflicts: 423000 | #Constraints: 59396
1389.67/1394.53 c #Conflicts: 424000 | #Constraints: 60396
1389.67/1394.53 c #Conflicts: 425000 | #Constraints: 61396
1389.67/1394.53 c #Conflicts: 426000 | #Constraints: 62396
1389.67/1394.53 c #Conflicts: 427000 | #Constraints: 63396
1389.67/1394.53 c #Conflicts: 428000 | #Constraints: 64396
1389.67/1394.53 c #Conflicts: 429000 | #Constraints: 65396
1389.67/1394.53 c #Conflicts: 430000 | #Constraints: 66396
1389.67/1394.53 c #Conflicts: 431000 | #Constraints: 67396
1389.67/1394.53 c #Conflicts: 432000 | #Constraints: 68396
1389.67/1394.53 c #Conflicts: 433000 | #Constraints: 69396
1389.67/1394.53 c #Conflicts: 434000 | #Constraints: 70396
1389.67/1394.53 c #Conflicts: 435000 | #Constraints: 71396
1389.67/1394.53 c #Conflicts: 436000 | #Constraints: 72396
1389.67/1394.53 c #Conflicts: 437000 | #Constraints: 73396
1389.67/1394.53 c #Conflicts: 438000 | #Constraints: 74396
1389.67/1394.53 c #Conflicts: 439000 | #Constraints: 75396
1389.67/1394.53 c #Conflicts: 440000 | #Constraints: 76396
1389.67/1394.53 c #Conflicts: 441000 | #Constraints: 77396
1389.67/1394.53 c #Conflicts: 442000 | #Constraints: 78396
1389.67/1394.53 c #Conflicts: 443000 | #Constraints: 79396
1389.67/1394.53 c #Conflicts: 444000 | #Constraints: 80396
1389.67/1394.53 c #Conflicts: 445000 | #Constraints: 81396
1389.67/1394.53 c #Conflicts: 446000 | #Constraints: 82396
1389.67/1394.53 c #Conflicts: 447000 | #Constraints: 83396
1389.67/1394.53 c #Conflicts: 448000 | #Constraints: 84396
1389.67/1394.53 c #Conflicts: 449000 | #Constraints: 85396
1389.67/1394.53 c #Conflicts: 450000 | #Constraints: 86396
1389.67/1394.53 c #Conflicts: 451000 | #Constraints: 87396
1389.67/1394.53 c #Conflicts: 452000 | #Constraints: 88396
1389.67/1394.53 c #Conflicts: 453000 | #Constraints: 89396
1389.67/1394.53 c #Conflicts: 454000 | #Constraints: 90396
1389.67/1394.53 c #Conflicts: 455000 | #Constraints: 91396
1389.67/1394.53 c #Conflicts: 456000 | #Constraints: 92396
1389.67/1394.53 c #Conflicts: 457000 | #Constraints: 93396
1389.67/1394.53 c #Conflicts: 458000 | #Constraints: 94396
1389.67/1394.53 c #Conflicts: 459000 | #Constraints: 95396
1389.67/1394.53 c #Conflicts: 460000 | #Constraints: 96396
1389.67/1394.53 c #Conflicts: 461000 | #Constraints: 97396
1389.67/1394.53 c #Conflicts: 462000 | #Constraints: 98396
1389.67/1394.53 c #Conflicts: 463000 | #Constraints: 99396
1389.67/1394.53 c #Conflicts: 464000 | #Constraints: 100396
1389.67/1394.53 c #Conflicts: 465000 | #Constraints: 101396
1810.91/1817.37 c #Conflicts: 466000 | #Constraints: 102396
1810.91/1817.37 c #Conflicts: 467000 | #Constraints: 103396
1810.91/1817.37 c #Conflicts: 468000 | #Constraints: 104396
1810.91/1817.37 c INPROCESSING
1810.91/1817.37 c GARBAGE COLLECT
1810.91/1817.37 c #Conflicts: 469000 | #Constraints: 63195
1810.91/1817.37 c #Conflicts: 470000 | #Constraints: 64195
1810.91/1817.37 c #Conflicts: 471000 | #Constraints: 65195
1810.91/1817.37 c #Conflicts: 472000 | #Constraints: 66195
1810.91/1817.37 c #Conflicts: 473000 | #Constraints: 67195
1810.91/1817.37 c #Conflicts: 474000 | #Constraints: 68195
1810.91/1817.37 c #Conflicts: 475000 | #Constraints: 69195
1810.91/1817.37 c #Conflicts: 476000 | #Constraints: 70195
1810.91/1817.37 c #Conflicts: 477000 | #Constraints: 71195
1810.91/1817.37 c #Conflicts: 478000 | #Constraints: 72195
1810.91/1817.37 c #Conflicts: 479000 | #Constraints: 73195
1810.91/1817.37 c #Conflicts: 480000 | #Constraints: 74195
1810.91/1817.37 c #Conflicts: 481000 | #Constraints: 75195
1810.91/1817.37 c #Conflicts: 482000 | #Constraints: 76195
1810.91/1817.37 c #Conflicts: 483000 | #Constraints: 77195
1810.91/1817.37 c #Conflicts: 484000 | #Constraints: 78195
1810.91/1817.37 c #Conflicts: 485000 | #Constraints: 79195
1810.91/1817.37 c #Conflicts: 486000 | #Constraints: 80195
1810.91/1817.37 c #Conflicts: 487000 | #Constraints: 81195
1810.91/1817.37 c #Conflicts: 488000 | #Constraints: 82195
1810.91/1817.37 c #Conflicts: 489000 | #Constraints: 83195
1810.91/1817.37 c #Conflicts: 490000 | #Constraints: 84195
1810.91/1817.37 c #Conflicts: 491000 | #Constraints: 85195
1810.91/1817.37 c #Conflicts: 492000 | #Constraints: 86195
1810.91/1817.37 c #Conflicts: 493000 | #Constraints: 87195
1810.91/1817.37 c #Conflicts: 494000 | #Constraints: 88195
1810.91/1817.37 c #Conflicts: 495000 | #Constraints: 89195
1810.91/1817.37 c #Conflicts: 496000 | #Constraints: 90195
1810.91/1817.37 c #Conflicts: 497000 | #Constraints: 91195
1810.91/1817.37 c #Conflicts: 498000 | #Constraints: 92195
1810.91/1817.37 c #Conflicts: 499000 | #Constraints: 93195
1810.91/1817.37 c #Conflicts: 500000 | #Constraints: 94195
1810.91/1817.37 c #Conflicts: 501000 | #Constraints: 95195
1810.91/1817.37 c #Conflicts: 502000 | #Constraints: 96195
1810.91/1817.37 c #Conflicts: 503000 | #Constraints: 97195
1810.91/1817.37 c #Conflicts: 504000 | #Constraints: 98195
1810.91/1817.37 c #Conflicts: 505000 | #Constraints: 99195
1810.91/1817.37 c #Conflicts: 506000 | #Constraints: 100195
1810.91/1817.37 c #Conflicts: 507000 | #Constraints: 101195
1810.91/1817.37 c #Conflicts: 508000 | #Constraints: 102195
1810.91/1817.37 c #Conflicts: 509000 | #Constraints: 103195
1810.91/1817.37 c #Conflicts: 510000 | #Constraints: 104195
1810.91/1817.37 c #Conflicts: 511000 | #Constraints: 105195
1810.91/1817.37 c #Conflicts: 512000 | #Constraints: 106195
1810.91/1817.37 c #Conflicts: 513000 | #Constraints: 107195
1810.91/1817.37 c #Conflicts: 514000 | #Constraints: 108195
1810.91/1817.37 c #Conflicts: 515000 | #Constraints: 109195
1810.91/1817.37 c #Conflicts: 516000 | #Constraints: 110195
1810.91/1817.37 c INPROCESSING
1810.91/1817.37 c GARBAGE COLLECT
1810.91/1817.37 c #Conflicts: 517000 | #Constraints: 66889
1810.91/1817.37 c #Conflicts: 518000 | #Constraints: 67889
1810.91/1817.37 c #Conflicts: 519000 | #Constraints: 68889
1810.91/1817.37 c #Conflicts: 520000 | #Constraints: 69889
1810.91/1817.37 c #Conflicts: 521000 | #Constraints: 70889
1810.91/1817.37 c #Conflicts: 522000 | #Constraints: 71889
1810.91/1817.37 c #Conflicts: 523000 | #Constraints: 72889
1810.91/1817.37 c #Conflicts: 524000 | #Constraints: 73889
1810.91/1817.37 c #Conflicts: 525000 | #Constraints: 74889
1810.91/1817.37 c #Conflicts: 526000 | #Constraints: 75889
1810.91/1817.37 c #Conflicts: 527000 | #Constraints: 76889
1810.91/1817.37 c #Conflicts: 528000 | #Constraints: 77889
1810.91/1817.37 c #Conflicts: 529000 | #Constraints: 78889
1810.91/1817.37 c #Conflicts: 530000 | #Constraints: 79889
1810.91/1817.37 c #Conflicts: 531000 | #Constraints: 80889
1810.91/1817.37 c #Conflicts: 532000 | #Constraints: 81889
1810.91/1817.37 c #Conflicts: 533000 | #Constraints: 82889
1810.91/1817.37 c #Conflicts: 534000 | #Constraints: 83889
1810.91/1817.37 c #Conflicts: 535000 | #Constraints: 84889
1810.91/1817.37 c #Conflicts: 536000 | #Constraints: 85889
1810.91/1817.37 c #Conflicts: 537000 | #Constraints: 86889
1810.91/1817.37 c #Conflicts: 538000 | #Constraints: 87889
1810.91/1817.37 c #Conflicts: 539000 | #Constraints: 88889
1810.91/1817.37 c #Conflicts: 540000 | #Constraints: 89889
1810.91/1817.37 c #Conflicts: 541000 | #Constraints: 90889
1810.91/1817.37 c #Conflicts: 542000 | #Constraints: 91889
2408.00/2416.68 c #Conflicts: 543000 | #Constraints: 92889
2408.00/2416.68 c #Conflicts: 544000 | #Constraints: 93889
2408.00/2416.68 c #Conflicts: 545000 | #Constraints: 94889
2408.00/2416.68 c #Conflicts: 546000 | #Constraints: 95889
2408.00/2416.68 c #Conflicts: 547000 | #Constraints: 96889
2408.00/2416.68 c #Conflicts: 548000 | #Constraints: 97889
2408.00/2416.68 c #Conflicts: 549000 | #Constraints: 98889
2408.00/2416.68 c #Conflicts: 550000 | #Constraints: 99889
2408.00/2416.68 c #Conflicts: 551000 | #Constraints: 100889
2408.00/2416.68 c #Conflicts: 552000 | #Constraints: 101889
2408.00/2416.68 c #Conflicts: 553000 | #Constraints: 102889
2408.00/2416.68 c #Conflicts: 554000 | #Constraints: 103889
2408.00/2416.68 c #Conflicts: 555000 | #Constraints: 104889
2408.00/2416.68 c #Conflicts: 556000 | #Constraints: 105889
2408.00/2416.68 c #Conflicts: 557000 | #Constraints: 106889
2408.00/2416.68 c #Conflicts: 558000 | #Constraints: 107889
2408.00/2416.68 c #Conflicts: 559000 | #Constraints: 108889
2408.00/2416.68 c #Conflicts: 560000 | #Constraints: 109889
2408.00/2416.68 c #Conflicts: 561000 | #Constraints: 110889
2408.00/2416.68 c #Conflicts: 562000 | #Constraints: 111889
2408.00/2416.68 c #Conflicts: 563000 | #Constraints: 112889
2408.00/2416.68 c #Conflicts: 564000 | #Constraints: 113889
2408.00/2416.68 c #Conflicts: 565000 | #Constraints: 114889
2408.00/2416.68 c #Conflicts: 566000 | #Constraints: 115889
2408.00/2416.68 c #Conflicts: 567000 | #Constraints: 116889
2408.00/2416.68 c INPROCESSING
2408.00/2416.68 c GARBAGE COLLECT
2408.00/2416.68 c #Conflicts: 568000 | #Constraints: 71794
2408.00/2416.68 c #Conflicts: 569000 | #Constraints: 72794
2408.00/2416.68 c #Conflicts: 570000 | #Constraints: 73794
2408.00/2416.68 c #Conflicts: 571000 | #Constraints: 74794
2408.00/2416.68 c #Conflicts: 572000 | #Constraints: 75794
2408.00/2416.68 c #Conflicts: 573000 | #Constraints: 76794
2408.00/2416.68 c #Conflicts: 574000 | #Constraints: 77794
2408.00/2416.68 c #Conflicts: 575000 | #Constraints: 78794
2408.00/2416.68 c #Conflicts: 576000 | #Constraints: 79794
2408.00/2416.68 c #Conflicts: 577000 | #Constraints: 80794
2408.00/2416.68 c #Conflicts: 578000 | #Constraints: 81794
2408.00/2416.68 c #Conflicts: 579000 | #Constraints: 82794
2408.00/2416.68 c #Conflicts: 580000 | #Constraints: 83794
2408.00/2416.68 c #Conflicts: 581000 | #Constraints: 84794
2408.00/2416.68 c #Conflicts: 582000 | #Constraints: 85794
2408.00/2416.68 c #Conflicts: 583000 | #Constraints: 86794
2408.00/2416.68 c #Conflicts: 584000 | #Constraints: 87794
2408.00/2416.68 c #Conflicts: 585000 | #Constraints: 88794
2408.00/2416.68 c #Conflicts: 586000 | #Constraints: 89794
2408.00/2416.68 c #Conflicts: 587000 | #Constraints: 90794
2408.00/2416.68 c #Conflicts: 588000 | #Constraints: 91794
2408.00/2416.68 c #Conflicts: 589000 | #Constraints: 92794
2408.00/2416.68 c #Conflicts: 590000 | #Constraints: 93794
2408.00/2416.68 c #Conflicts: 591000 | #Constraints: 94794
2408.00/2416.68 c #Conflicts: 592000 | #Constraints: 95794
2408.00/2416.68 c #Conflicts: 593000 | #Constraints: 96794
2408.00/2416.68 c #Conflicts: 594000 | #Constraints: 97794
2408.00/2416.68 c #Conflicts: 595000 | #Constraints: 98794
2408.00/2416.68 c #Conflicts: 596000 | #Constraints: 99794
2408.00/2416.68 c #Conflicts: 597000 | #Constraints: 100794
2408.00/2416.68 c #Conflicts: 598000 | #Constraints: 101794
2408.00/2416.68 c #Conflicts: 599000 | #Constraints: 102794
2408.00/2416.68 c #Conflicts: 600000 | #Constraints: 103794
2408.00/2416.68 c #Conflicts: 601000 | #Constraints: 104794
2408.00/2416.68 c #Conflicts: 602000 | #Constraints: 105794
2408.00/2416.68 c #Conflicts: 603000 | #Constraints: 106794
2408.00/2416.68 c #Conflicts: 604000 | #Constraints: 107794
2408.00/2416.68 c #Conflicts: 605000 | #Constraints: 108794
2408.00/2416.68 c #Conflicts: 606000 | #Constraints: 109794
2408.00/2416.68 c #Conflicts: 607000 | #Constraints: 110794
2408.00/2416.68 c #Conflicts: 608000 | #Constraints: 111794
2408.00/2416.68 c #Conflicts: 609000 | #Constraints: 112794
2408.00/2416.68 c #Conflicts: 610000 | #Constraints: 113794
2408.00/2416.68 c #Conflicts: 611000 | #Constraints: 114794
2408.00/2416.68 c #Conflicts: 612000 | #Constraints: 115794
2408.00/2416.68 c #Conflicts: 613000 | #Constraints: 116794
2408.00/2416.68 c #Conflicts: 614000 | #Constraints: 117794
2408.00/2416.68 c #Conflicts: 615000 | #Constraints: 118794
2408.00/2416.68 c #Conflicts: 616000 | #Constraints: 119794
2408.00/2416.68 c #Conflicts: 617000 | #Constraints: 120794
2408.00/2416.68 c #Conflicts: 618000 | #Constraints: 121794
2408.00/2416.68 c #Conflicts: 619000 | #Constraints: 122794
2408.00/2416.68 c INPROCESSING
2408.00/2416.68 c GARBAGE COLLECT
2408.00/2416.68 c #Conflicts: 620000 | #Constraints: 75971
3112.80/3124.08 c #Conflicts: 621000 | #Constraints: 76971
3112.80/3124.08 c #Conflicts: 622000 | #Constraints: 77971
3112.80/3124.08 c #Conflicts: 623000 | #Constraints: 78971
3112.80/3124.08 c #Conflicts: 624000 | #Constraints: 79971
3112.80/3124.08 c #Conflicts: 625000 | #Constraints: 80971
3112.80/3124.08 c #Conflicts: 626000 | #Constraints: 81971
3112.80/3124.08 c #Conflicts: 627000 | #Constraints: 82971
3112.80/3124.08 c #Conflicts: 628000 | #Constraints: 83971
3112.80/3124.08 c #Conflicts: 629000 | #Constraints: 84971
3112.80/3124.08 c #Conflicts: 630000 | #Constraints: 85971
3112.80/3124.08 c #Conflicts: 631000 | #Constraints: 86971
3112.80/3124.08 c #Conflicts: 632000 | #Constraints: 87971
3112.80/3124.08 c #Conflicts: 633000 | #Constraints: 88971
3112.80/3124.08 c #Conflicts: 634000 | #Constraints: 89971
3112.80/3124.08 c #Conflicts: 635000 | #Constraints: 90971
3112.80/3124.08 c #Conflicts: 636000 | #Constraints: 91971
3112.80/3124.08 c #Conflicts: 637000 | #Constraints: 92971
3112.80/3124.08 c #Conflicts: 638000 | #Constraints: 93971
3112.80/3124.08 c #Conflicts: 639000 | #Constraints: 94971
3112.80/3124.08 c #Conflicts: 640000 | #Constraints: 95971
3112.80/3124.08 c #Conflicts: 641000 | #Constraints: 96971
3112.80/3124.08 c #Conflicts: 642000 | #Constraints: 97971
3112.80/3124.08 c #Conflicts: 643000 | #Constraints: 98971
3112.80/3124.08 c #Conflicts: 644000 | #Constraints: 99971
3112.80/3124.08 c #Conflicts: 645000 | #Constraints: 100971
3112.80/3124.08 c #Conflicts: 646000 | #Constraints: 101971
3112.80/3124.08 c #Conflicts: 647000 | #Constraints: 102971
3112.80/3124.08 c #Conflicts: 648000 | #Constraints: 103971
3112.80/3124.08 c #Conflicts: 649000 | #Constraints: 104971
3112.80/3124.08 c #Conflicts: 650000 | #Constraints: 105971
3112.80/3124.08 c #Conflicts: 651000 | #Constraints: 106971
3112.80/3124.08 c #Conflicts: 652000 | #Constraints: 107971
3112.80/3124.08 c #Conflicts: 653000 | #Constraints: 108971
3112.80/3124.08 c #Conflicts: 654000 | #Constraints: 109971
3112.80/3124.08 c #Conflicts: 655000 | #Constraints: 110971
3112.80/3124.08 c #Conflicts: 656000 | #Constraints: 111971
3112.80/3124.08 c #Conflicts: 657000 | #Constraints: 112971
3112.80/3124.08 c #Conflicts: 658000 | #Constraints: 113971
3112.80/3124.08 c #Conflicts: 659000 | #Constraints: 114971
3112.80/3124.08 c #Conflicts: 660000 | #Constraints: 115971
3112.80/3124.08 c #Conflicts: 661000 | #Constraints: 116971
3112.80/3124.08 c #Conflicts: 662000 | #Constraints: 117971
3112.80/3124.08 c #Conflicts: 663000 | #Constraints: 118971
3112.80/3124.08 c #Conflicts: 664000 | #Constraints: 119971
3112.80/3124.08 c #Conflicts: 665000 | #Constraints: 120971
3112.80/3124.08 c #Conflicts: 666000 | #Constraints: 121971
3112.80/3124.08 c #Conflicts: 667000 | #Constraints: 122971
3112.80/3124.08 c #Conflicts: 668000 | #Constraints: 123971
3112.80/3124.08 c #Conflicts: 669000 | #Constraints: 124971
3112.80/3124.08 c #Conflicts: 670000 | #Constraints: 125971
3112.80/3124.08 c #Conflicts: 671000 | #Constraints: 126971
3112.80/3124.08 c #Conflicts: 672000 | #Constraints: 127971
3112.80/3124.08 c #Conflicts: 673000 | #Constraints: 128971
3112.80/3124.08 c INPROCESSING
3112.80/3124.08 c GARBAGE COLLECT
3112.80/3124.08 c #Conflicts: 674000 | #Constraints: 79925
3112.80/3124.08 c #Conflicts: 675000 | #Constraints: 80925
3112.80/3124.08 c #Conflicts: 676000 | #Constraints: 81925
3112.80/3124.08 c #Conflicts: 677000 | #Constraints: 82925
3112.80/3124.08 c #Conflicts: 678000 | #Constraints: 83925
3112.80/3124.08 c #Conflicts: 679000 | #Constraints: 84925
3112.80/3124.08 c #Conflicts: 680000 | #Constraints: 85925
3112.80/3124.08 c #Conflicts: 681000 | #Constraints: 86925
3112.80/3124.08 c #Conflicts: 682000 | #Constraints: 87925
3112.80/3124.08 c #Conflicts: 683000 | #Constraints: 88925
3112.80/3124.08 c #Conflicts: 684000 | #Constraints: 89925
3112.80/3124.08 c #Conflicts: 685000 | #Constraints: 90925
3112.80/3124.08 c #Conflicts: 686000 | #Constraints: 91925
3112.80/3124.08 c #Conflicts: 687000 | #Constraints: 92925
3112.80/3124.08 c #Conflicts: 688000 | #Constraints: 93925
3112.80/3124.08 c #Conflicts: 689000 | #Constraints: 94925
3112.80/3124.08 c #Conflicts: 690000 | #Constraints: 95925
3112.80/3124.08 c #Conflicts: 691000 | #Constraints: 96925
3112.80/3124.08 c #Conflicts: 692000 | #Constraints: 97925
3112.80/3124.08 c #Conflicts: 693000 | #Constraints: 98925
3112.80/3124.08 c #Conflicts: 694000 | #Constraints: 99925
3112.80/3124.08 c #Conflicts: 695000 | #Constraints: 100925
3112.80/3124.08 c #Conflicts: 696000 | #Constraints: 101925
3112.80/3124.08 c #Conflicts: 697000 | #Constraints: 102925
3112.80/3124.08 c #Conflicts: 698000 | #Constraints: 103925
3600.08/3613.11 c #Conflicts: 699000 | #Constraints: 104925
3600.08/3613.11 c #Conflicts: 700000 | #Constraints: 105925
3600.08/3613.11 c #Conflicts: 701000 | #Constraints: 106925
3600.08/3613.11 c #Conflicts: 702000 | #Constraints: 107925
3600.08/3613.11 c #Conflicts: 703000 | #Constraints: 108925
3600.08/3613.11 c #Conflicts: 704000 | #Constraints: 109925
3600.08/3613.11 c #Conflicts: 705000 | #Constraints: 110925
3600.08/3613.11 c #Conflicts: 706000 | #Constraints: 111925
3600.08/3613.11 c #Conflicts: 707000 | #Constraints: 112925
3600.08/3613.11 c #Conflicts: 708000 | #Constraints: 113925
3600.08/3613.11 c #Conflicts: 709000 | #Constraints: 114925
3600.08/3613.11 c #Conflicts: 710000 | #Constraints: 115925
3600.08/3613.11 c #Conflicts: 711000 | #Constraints: 116925
3600.08/3613.11 c #Conflicts: 712000 | #Constraints: 117925
3600.08/3613.11 c #Conflicts: 713000 | #Constraints: 118925
3600.08/3613.11 c #Conflicts: 714000 | #Constraints: 119925
3600.08/3613.11 c #Conflicts: 715000 | #Constraints: 120925
3600.08/3613.11 c #Conflicts: 716000 | #Constraints: 121925
3600.08/3613.11 c #Conflicts: 717000 | #Constraints: 122925
3600.08/3613.11 c #Conflicts: 718000 | #Constraints: 123925
3600.08/3613.11 c #Conflicts: 719000 | #Constraints: 124925
3600.08/3613.11 c #Conflicts: 720000 | #Constraints: 125925
3600.08/3613.11 c #Conflicts: 721000 | #Constraints: 126925
3600.08/3613.11 c #Conflicts: 722000 | #Constraints: 127925
3600.08/3613.11 c #Conflicts: 723000 | #Constraints: 128925
3600.08/3613.11 c #Conflicts: 724000 | #Constraints: 129925
3600.08/3613.11 c #Conflicts: 725000 | #Constraints: 130925
3600.08/3613.11 c #Conflicts: 726000 | #Constraints: 131925
3600.08/3613.11 c #Conflicts: 727000 | #Constraints: 132925
3600.08/3613.11 c #Conflicts: 728000 | #Constraints: 133925
3600.08/3613.11 c #Conflicts: 729000 | #Constraints: 134925
3600.08/3613.11 c INPROCESSING
3600.08/3613.11 c GARBAGE COLLECT
3600.08/3613.11 c #Conflicts: 730000 | #Constraints: 83853
3600.08/3613.11 c #Conflicts: 731000 | #Constraints: 84853
3600.08/3613.11 c #Conflicts: 732000 | #Constraints: 85853
3600.08/3613.11 c #Conflicts: 733000 | #Constraints: 86853
3600.08/3613.11 c #Conflicts: 734000 | #Constraints: 87853
3600.08/3613.11 c #Conflicts: 735000 | #Constraints: 88853
3600.08/3613.11 c #Conflicts: 736000 | #Constraints: 89853
3600.08/3613.11 c #Conflicts: 737000 | #Constraints: 90853
3600.08/3613.11 c #Conflicts: 738000 | #Constraints: 91853
3600.08/3613.11 c #Conflicts: 739000 | #Constraints: 92853
3600.08/3613.11 c #Conflicts: 740000 | #Constraints: 93853
3600.08/3613.11 c #Conflicts: 741000 | #Constraints: 94853
3600.08/3613.11 c #Conflicts: 742000 | #Constraints: 95853
3600.08/3613.11 c #Conflicts: 743000 | #Constraints: 96853
3600.08/3613.11 c #Conflicts: 744000 | #Constraints: 97853
3600.08/3613.11 c Program interrupted by user.
3600.08/3613.11 c cpu time 3592.12 s
3600.08/3613.11 c deterministic time 238622471220 2.39e+11
3600.08/3613.11 c optimization time 147.232 s
3600.08/3613.11 c total solve time 3145.75 s
3600.08/3613.11 c core-guided solve time 3145.75 s
3600.08/3613.11 c propagation time 2803.85 s
3600.08/3613.11 c conflict analysis time 477.07 s
3600.08/3613.11 c propagations 54399121
3600.08/3613.11 c resolve steps 10599766
3600.08/3613.11 c decisions 3805364
3600.08/3613.11 c conflicts 744528
3600.08/3613.11 c restarts 1543
3600.08/3613.11 c inprocessing phases 38
3600.08/3613.11 c input clauses 17118
3600.08/3613.11 c input cardinalities 99
3600.08/3613.11 c input general constraints 54
3600.08/3613.11 c input average constraint length 6.46
3600.08/3613.11 c input average constraint degree 1.13
3600.08/3613.11 c learned clauses 447081
3600.08/3613.11 c learned cardinalities 1
3600.08/3613.11 c learned general constraints 297454
3600.08/3613.11 c learned average constraint length 36.44
3600.08/3613.11 c learned average constraint degree 415.96
3600.08/3613.11 c watched constraints 208653
3600.08/3613.11 c counting constraints 88855
3600.08/3613.11 c gcd simplifications 2112
3600.08/3613.11 c detected cardinalities 0
3600.08/3613.11 c weakened non-implied lits 2682789
3600.08/3613.11 c weakened non-implying lits 7504
3600.08/3613.11 c original variables 200
3600.08/3613.11 c clausal propagations 40380126
3600.08/3613.11 c cardinality propagations 173336
3600.08/3613.11 c watched propagations 1037489
3600.08/3613.11 c counting propagations 12352373
3600.08/3613.11 c watch lookups 90741484026
3600.08/3613.11 c watch backjump lookups 86914164732
3600.08/3613.11 c watch checks 45584331047
3600.08/3613.11 c propagation checks 15166511502
3600.08/3613.11 c constraint additions 98826480
3600.08/3613.11 c trail pops 58948947
3600.08/3613.11 c formula constraints 17013
3600.08/3613.11 c learned constraints 744536
3600.08/3613.11 c bound constraints 25
3600.08/3613.11 c core-guided constraints 233
3600.08/3613.11 c encountered formula constraints 6624046
3600.08/3613.11 c encountered learned constraints 3389408
3600.08/3613.11 c encountered bound constraints 1043
3600.08/3613.11 c encountered core-guided constraints 1329797
3600.08/3613.11 c LP total time 0 s
3600.08/3613.11 c LP solve time 0 s
3600.08/3613.11 c LP constraints added 0
3600.08/3613.11 c LP constraints removed 0
3600.08/3613.11 c LP pivots internal 0
3600.08/3613.11 c LP pivots root 0
3600.08/3613.11 c LP calls 0
3600.08/3613.11 c LP optimalities 0
3600.08/3613.11 c LP no pivot count 0
3600.08/3613.11 c LP infeasibilities 0
3600.08/3613.11 c LP valid Farkas constraints 0
3600.08/3613.11 c LP learned Farkas constraints 0
3600.08/3613.11 c LP basis resets 0
3600.08/3613.11 c LP cycling count 0
3600.08/3613.11 c LP singular count 0
3600.08/3613.11 c LP no primal count 0
3600.08/3613.11 c LP no farkas count 0
3600.08/3613.11 c LP other issue count 0
3600.08/3613.11 c LP Gomory cuts 0
3600.08/3613.11 c LP learned cuts 0
3600.08/3613.11 c LP deleted cuts 0
3600.08/3613.11 c LP encountered Gomory constraints 0
3600.08/3613.11 c LP encountered Farkas constraints 0
3600.08/3613.11 c LP encountered learned Farkas constraints 0
3600.08/3613.11 c CG auxiliary variables introduced 121
3600.08/3613.11 c CG solutions found 1
3600.08/3613.11 c CG cores constructed 21
3600.08/3613.11 c CG core cardinality constraints returned 0
3600.08/3613.11 c CG unit cores 0
3600.08/3613.11 c CG single cores 21
3600.08/3613.11 c CG blocks removed during cardinality reduction 0
3600.08/3613.11 c CG first core best 0
3600.08/3613.11 c CG decision core best 0
3600.08/3613.11 c CG core reduction tie 0
3600.08/3613.11 c CG core degree average 1.00
3600.08/3613.11 c CG core slack average 8.10
3600.08/3613.11 c CG exhausted 3
3600.08/3613.11 c CG exhaust time 1.02032 s
3600.08/3613.11 c CG trimmed 0
3600.08/3613.11 c CG trim time 0.00222 s
3600.08/3613.11 c CG minimized 0
3600.08/3613.11 c CG minimize time 0 s
3600.08/3613.11 c CG am1 prop time 0.00157 s
3600.08/3613.11 c CG # am1s reformulated 57
3600.08/3613.11 c CG lower bound derived from am1s 59
3600.08/3613.11 c CG # clausal cores 21
3600.08/3613.11 c CG # cardinality cores 0
3600.08/3613.11 c CG # pb cores 0
3600.08/3613.11 c CG # pb reforms 0
3600.08/3613.11 c CG # cores discarded because of pb reform 0
3600.08/3613.11 d LOWERBOUND -117
3600.08/3613.11 d NCORES 21
3600.08/3613.11 d NPBCORES 0
3600.08/3613.11 d NPBREFORM 0
3600.08/3613.11 d NTRIMMED 0
3600.08/3613.11 d NEXHAUSTED 3
3600.08/3613.11 d NAM1S 57
3600.08/3613.11 d AM1LB 59
3600.08/3613.11 c [Papilo Statistics]
3600.08/3613.11 c prepro time 0.0782793s
3600.08/3613.11 c # tsx applied 16
3600.08/3613.11 c # tsx conflicts 0
3600.08/3613.11 c # bound changes 0
3600.08/3613.11 c # side changes 16
3600.08/3613.11 c # coef changes 0
3600.08/3613.11 c # rounds 2
3600.08/3613.11 c # deted vars 0
3600.08/3613.11 c # deted constrs 16
3600.08/3613.11 c # consecutive rounds of only bound changes 0
3600.08/3613.11 c [STEP] postprocessing with Papilo
3600.08/3613.11 o -53
3600.08/3613.11 s SATISFIABLE
3600.08/3613.11 v -x1 -x2 -x3 x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 x21 x22 -x23 -x24 x25 -x26 x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 x47 -x48 x49 -x50 -x51 x52 -x53 -x54 x55 x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 x69 x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 x87 x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 x100 x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 x130 -x131 -x132 x133 x134 -x135 -x136 -x137 x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 x176 -x177 -x178 -x179 -x180 x181 x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200
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: 63837 MiB (59284 MiB free)
memory of node 1: 64465 MiB (63005 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529252-1752264127/watcher-4529252-1752264127 -o /tmp/evaluation-result-4529252-1752264127/solver-4529252-1752264127 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752256388-119672 --watchdog 3760 mixed-bag HOME/instance-4529252-1752264127.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=121156, runsolver pid=121153
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 4.08 4.11 4.13 5/252 121157
/proc/meminfo: memFree=125218224/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=82276 memory=11332 CPUtime=0.09 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 1418 0 0 0 8 1 0 0 20 0 1 0 142092115 84250624 2833 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 20569 2833 2176 2834 0 3321 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82276 KiB
Current children cumulated memory: 11332 KiB
[startup+0.213431 s]*
/proc/loadavg: 4.08 4.11 4.13 5/252 121157
/proc/meminfo: memFree=125216460/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=84324 memory=14532 CPUtime=0.19 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 2204 0 0 0 18 1 0 0 20 0 1 0 142092115 86347776 3633 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 21081 3633 2176 2834 0 3833 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 84324 KiB
Current children cumulated memory: 14532 KiB
[startup+0.313372 s]*
/proc/loadavg: 4.08 4.11 4.13 5/252 121157
/proc/meminfo: memFree=125206884/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=106776 memory=29092 CPUtime=0.28 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 5798 0 0 0 26 2 0 0 20 0 1 0 142092115 109338624 7273 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 26694 7273 2336 2834 0 8899 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 106776 KiB
Current children cumulated memory: 29092 KiB
[startup+0.700318 s]
/proc/loadavg: 4.08 4.11 4.13 5/252 121157
/proc/meminfo: memFree=125174880/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=152848 memory=80372 CPUtime=0.66 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 17341 0 0 0 60 6 0 0 20 0 1 0 142092115 156516352 20093 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 38212 20093 4064 2834 0 20417 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 152848 KiB
Current children cumulated memory: 80372 KiB
[startup+1.50034 s]
/proc/loadavg: 4.08 4.11 4.13 5/252 121157
/proc/meminfo: memFree=125154656/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=228024 memory=149356 CPUtime=1.45 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 31600 0 0 0 135 10 0 0 20 0 1 0 142092115 233496576 37339 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 57006 37339 4192 2834 0 39211 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 228024 KiB
Current children cumulated memory: 149356 KiB
[startup+3.11288 s]
/proc/loadavg: 4.08 4.11 4.13 5/252 121157
/proc/meminfo: memFree=125069408/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=250028 memory=171116 CPUtime=3.06 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 36890 0 0 0 294 12 0 0 20 0 1 0 142092115 256028672 42779 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 62507 42779 4352 2834 0 44712 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 250028 KiB
Current children cumulated memory: 171116 KiB
[startup+6.30031 s]
/proc/loadavg: 4.15 4.13 4.13 5/252 121157
/proc/meminfo: memFree=125069408/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=250028 memory=171116 CPUtime=6.24 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 36914 0 0 0 612 12 0 0 20 0 1 0 142092115 256028672 42779 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 62507 42779 4352 2834 0 44712 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 250028 KiB
Current children cumulated memory: 171116 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.12 4.13 5/252 121157
/proc/meminfo: memFree=125044772/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=296116 memory=199276 CPUtime=12.62 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 43934 0 0 0 1249 13 0 0 20 0 1 0 142092115 303222784 49819 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 74029 49819 4352 2834 0 56234 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 296116 KiB
Current children cumulated memory: 199276 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.12 4.13 5/252 121157
/proc/meminfo: memFree=125047544/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=296116 memory=199276 CPUtime=25.37 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 43936 0 0 0 2524 13 0 0 20 0 1 0 142092115 303222784 49819 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 74029 49819 4352 2834 0 56234 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 296116 KiB
Current children cumulated memory: 199276 KiB
[startup+51.1133 s]
/proc/loadavg: 4.15 4.12 4.13 5/253 121159
/proc/meminfo: memFree=125006944/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=296116 memory=199660 CPUtime=50.9 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 44043 0 0 0 5077 13 0 0 20 0 1 0 142092115 303222784 49915 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 74029 49915 4352 2834 0 56234 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 296116 KiB
Current children cumulated memory: 199660 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/252 121161
/proc/meminfo: memFree=124945332/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=321784 memory=206224 CPUtime=101.93 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 49446 0 0 0 10179 14 0 0 20 0 1 0 142092115 329506816 51556 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 80446 51556 4352 2834 0 62651 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 321784 KiB
Current children cumulated memory: 206224 KiB
[startup+162.3 s]
/proc/loadavg: 4.44 4.19 4.15 5/251 121252
/proc/meminfo: memFree=124855508/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=397168 memory=273468 CPUtime=161.71 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 65813 0 0 0 16149 22 0 0 20 0 1 0 142092115 406700032 68367 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 99292 68367 4352 2834 0 81497 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 397168 KiB
Current children cumulated memory: 273468 KiB
[startup+222.3 s]
/proc/loadavg: 4.70 4.33 4.20 5/251 121271
/proc/meminfo: memFree=127821864/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=426340 memory=303304 CPUtime=221.52 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 70723 0 0 0 22130 22 0 0 20 0 1 0 142092115 436572160 75826 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 106585 75826 4352 2834 0 88790 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 426340 KiB
Current children cumulated memory: 303304 KiB
[startup+282.3 s]
/proc/loadavg: 4.32 4.29 4.19 5/252 121303
/proc/meminfo: memFree=126020320/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=473300 memory=348572 CPUtime=281.3 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 74387 0 0 0 28106 24 0 0 20 0 1 0 142092115 484659200 87143 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 118325 87143 4352 2834 0 100530 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 473300 KiB
Current children cumulated memory: 348572 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.23 4.18 5/251 121304
/proc/meminfo: memFree=124223452/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=342120 memory=233468 CPUtime=341.11 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 75554 0 0 0 34035 76 0 0 20 0 1 0 142092115 350330880 58367 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 85530 58367 4512 2834 0 67735 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 342120 KiB
Current children cumulated memory: 233468 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.22 4.18 5/251 121306
/proc/meminfo: memFree=124411076/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=342120 memory=271868 CPUtime=400.91 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 75563 0 0 0 39980 111 0 0 20 0 1 0 142092115 350330880 67967 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 85530 67967 4512 2834 0 67735 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 342120 KiB
Current children cumulated memory: 271868 KiB
[startup+462.3 s]
/proc/loadavg: 4.45 4.27 4.20 5/251 121310
/proc/meminfo: memFree=123577076/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=342120 memory=279420 CPUtime=460.71 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 75605 0 0 0 45934 137 0 0 20 0 1 0 142092115 350330880 69855 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 85530 69855 4512 2834 0 67735 0
Current children cumulated CPU time: 460.71 s
################
# More data... #
################
Current children cumulated memory: 302360 KiB
[startup+2922.3 s]
/proc/loadavg: 3.09 3.10 3.23 4/244 121501
/proc/meminfo: memFree=119020260/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=379944 memory=302360 CPUtime=2911.83 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 77011 0 0 0 290475 708 0 0 20 0 1 0 142092115 389062656 75590 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 94986 75590 4512 2834 0 77191 0
Current children cumulated CPU time: 2911.83 s
Current children cumulated vsize: 379944 KiB
Current children cumulated memory: 302360 KiB
[startup+2982.3 s]
/proc/loadavg: 3.13 3.11 3.23 4/245 121508
/proc/meminfo: memFree=118796552/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=379944 memory=302360 CPUtime=2971.61 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 77011 0 0 0 296444 717 0 0 20 0 1 0 142092115 389062656 75590 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 94986 75590 4512 2834 0 77191 0
Current children cumulated CPU time: 2971.61 s
Current children cumulated vsize: 379944 KiB
Current children cumulated memory: 302360 KiB
[startup+3042.3 s]
/proc/loadavg: 3.10 3.11 3.22 4/245 121510
/proc/meminfo: memFree=118648440/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=379944 memory=302360 CPUtime=3031.39 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 77011 0 0 0 302414 725 0 0 20 0 1 0 142092115 389062656 75590 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 94986 75590 4512 2834 0 77191 0
Current children cumulated CPU time: 3031.39 s
Current children cumulated vsize: 379944 KiB
Current children cumulated memory: 302360 KiB
[startup+3102.3 s]
/proc/loadavg: 3.08 3.10 3.20 4/245 121512
/proc/meminfo: memFree=115773044/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=379944 memory=302360 CPUtime=3091.17 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 77011 0 0 0 308382 735 0 0 20 0 1 0 142092115 389062656 75590 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 94986 75590 4512 2834 0 77191 0
Current children cumulated CPU time: 3091.17 s
Current children cumulated vsize: 379944 KiB
Current children cumulated memory: 302360 KiB
[startup+3162.3 s]
/proc/loadavg: 3.12 3.11 3.20 4/244 121514
/proc/meminfo: memFree=115537620/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=379944 memory=302360 CPUtime=3150.95 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 77011 0 0 0 314353 742 0 0 20 0 1 0 142092115 389062656 75590 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 94986 75590 4512 2834 0 77191 0
Current children cumulated CPU time: 3150.95 s
Current children cumulated vsize: 379944 KiB
Current children cumulated memory: 302360 KiB
[startup+3222.3 s]
/proc/loadavg: 3.09 3.10 3.19 4/244 121516
/proc/meminfo: memFree=115368372/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=379944 memory=302360 CPUtime=3210.73 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 77011 0 0 0 320324 749 0 0 20 0 1 0 142092115 389062656 75590 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 94986 75590 4512 2834 0 77191 0
Current children cumulated CPU time: 3210.73 s
Current children cumulated vsize: 379944 KiB
Current children cumulated memory: 302360 KiB
[startup+3282.3 s]
/proc/loadavg: 3.18 3.13 3.19 4/243 121518
/proc/meminfo: memFree=115197380/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=379944 memory=302360 CPUtime=3270.5 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 77011 0 0 0 326294 756 0 0 20 0 1 0 142092115 389062656 75590 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 94986 75590 4512 2834 0 77191 0
Current children cumulated CPU time: 3270.5 s
Current children cumulated vsize: 379944 KiB
Current children cumulated memory: 302360 KiB
[startup+3342.3 s]
/proc/loadavg: 3.12 3.12 3.18 4/243 121520
/proc/meminfo: memFree=115142948/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=379944 memory=302360 CPUtime=3330.29 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 77051 0 0 0 332266 763 0 0 20 0 1 0 142092115 389062656 75590 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 94986 75590 4512 2834 0 77191 0
Current children cumulated CPU time: 3330.29 s
Current children cumulated vsize: 379944 KiB
Current children cumulated memory: 302360 KiB
[startup+3402.3 s]
/proc/loadavg: 3.16 3.13 3.18 4/243 121522
/proc/meminfo: memFree=115130824/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=379944 memory=304408 CPUtime=3390.06 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 77061 0 0 0 338237 769 0 0 20 0 1 0 142092115 389062656 76102 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 94986 76102 4512 2834 0 77191 0
Current children cumulated CPU time: 3390.06 s
Current children cumulated vsize: 379944 KiB
Current children cumulated memory: 304408 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.12 3.17 4/244 121527
/proc/meminfo: memFree=115131096/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=379944 memory=304408 CPUtime=3449.84 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 77061 0 0 0 344208 776 0 0 20 0 1 0 142092115 389062656 76102 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 94986 76102 4512 2834 0 77191 0
Current children cumulated CPU time: 3449.84 s
Current children cumulated vsize: 379944 KiB
Current children cumulated memory: 304408 KiB
[startup+3522.3 s]
/proc/loadavg: 2.52 2.95 3.11 3/238 121560
/proc/meminfo: memFree=115551912/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=379944 memory=304408 CPUtime=3509.61 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 77061 0 0 0 350177 784 0 0 20 0 1 0 142092115 389062656 76102 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 94986 76102 4512 2834 0 77191 0
Current children cumulated CPU time: 3509.61 s
Current children cumulated vsize: 379944 KiB
Current children cumulated memory: 304408 KiB
[startup+3582.3 s]
/proc/loadavg: 2.23 2.79 3.04 3/238 121577
/proc/meminfo: memFree=115557072/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=379944 memory=304408 CPUtime=3569.39 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 77061 0 0 0 356147 792 0 0 20 0 1 0 142092115 389062656 76102 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 94986 76102 4512 2834 0 77191 0
Current children cumulated CPU time: 3569.39 s
Current children cumulated vsize: 379944 KiB
Current children cumulated memory: 304408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.11 s]
/proc/loadavg: 2.14 2.72 3.01 3/238 121579
/proc/meminfo: memFree=115557572/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=379944 memory=304408 CPUtime=3600.08 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 77061 0 0 0 359212 796 0 0 20 0 1 0 142092115 389062656 76102 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 94986 76102 4512 2834 0 77191 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 379944 KiB
Current children cumulated memory: 304408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.12 s]
# the end of solver process 121156 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.13 s, system=7.96815 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.11 s]
/proc/loadavg: 2.14 2.72 3.01 3/238 121579
/proc/meminfo: memFree=115557572/131382112 swapFree=33002444/33010684
[pid=121156] ppid=121153 vsize=379944 memory=304408 CPUtime=3600.08 cores=5,7
/proc/121156/stat : 121156 (mixed-bag) R 121153 121156 119659 0 -1 4194304 77061 0 0 0 359212 796 0 0 20 0 1 0 142092115 389062656 76102 18446744073709551615 4235264 15840557 140728009346992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 37793792 140728009349530 140728009349607 140728009349607 140728009355211 0
/proc/121156/statm: 94986 76102 4512 2834 0 77191 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 379944 KiB
Current children cumulated memory: 304408 KiB
Child status: 0
Real time (s): 3613.12
CPU time (s): 3600.09
CPU user time (s): 3592.13
CPU system time (s): 7.96815
CPU usage (%): 99.6396
Max. virtual memory (cumulated for all children) (KiB): 473300
Max. memory (cumulated for all children) (KiB): 352208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.13
system time used= 7.96815
maximum resident set size= 352208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77090
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135
involuntary context switches= 1713
# summary of solver processes directly reported to runsolver:
# pid: 121156
# total CPU time (s): 3600.09
# total CPU user time (s): 3592.13
# total CPU system time (s): 7.96815
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.876 second user time and 33.3231 second system time
The end
Begin job on nodeC005 at 2025-07-11 22:02:07
IDJOB=4529252
IDBENCH=178624
IDSOLVER=3386
FILE ID=nodeC005/4529252-1752264127
RUNJOBID= nodeC005-1752256388-119672
SLURM_JOB_ID= 9682598
Free space on /tmp= 428560 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529252-1752264127/watcher-4529252-1752264127 -o /tmp/evaluation-result-4529252-1752264127/solver-4529252-1752264127 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752256388-119672 --watchdog 3760 mixed-bag HOME/instance-4529252-1752264127.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 052b56f2871560e549ba2a2e5aff1011
RANDOM SEED=2052404813
nodeC005 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 : 3661.606
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.90
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 : 3603.146
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.400
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
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 : 3582.316
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.90
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.422
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.90
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.256
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 125224336 kB
MemAvailable: 126116292 kB
Buffers: 12 kB
Cached: 1676280 kB
SwapCached: 244 kB
Active: 4071768 kB
Inactive: 1402308 kB
Active(anon): 3770968 kB
Inactive(anon): 39708 kB
Active(file): 300800 kB
Inactive(file): 1362600 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33002444 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16404 kB
Writeback: 4 kB
AnonPages: 3800668 kB
Mapped: 134636 kB
Shmem: 12892 kB
KReclaimable: 136364 kB
Slab: 224884 kB
SReclaimable: 136364 kB
SUnreclaim: 88520 kB
KernelStack: 4064 kB
PageTables: 10912 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 4517232 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 808960 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 428564 MiB
End job on nodeC005 at 2025-07-11 23:02:21