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