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