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