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