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