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