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