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