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