(1,26) (2,29) (3,13) (4,5) (6,24) (7,15) (8,22) (9,21) (10,11) (12,20) (14,19) (16,25) (17,23) (18,28) (27,30) 
nodes: 261782  conflicts: 17  modelTime: 1737  solveTime: 1457552  totalTime: 1459307  modelSize: 72285  readTime: 18 size: 15