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