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