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