(1,26) (2,20) (3,8) (4,22) (5,21) (6,9) (7,19) (10,29) (11,14) (12,15) (13,27) (16,17) (18,24) (23,30) (25,28) 
nodes: 62804  conflicts: 36  modelTime: 1715  solveTime: 268182  totalTime: 269915  modelSize: 72275  readTime: 18 size: 15