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