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