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