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