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