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