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