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