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