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