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