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