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