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