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