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