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