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