(1,19) (2,23) (3,25) (4,28) (6,29) (7,20) (8,26) (10,27) (11,16) (12,18) (13,17) (14,22) (15,30) 
nodes: 2563  conflicts: 17  modelTime: 656  solveTime: 4111  totalTime: 4773  modelSize: 41293  readTime: 6 size: 13