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