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