(1,19) (2,12) (3,29) (4,9) (5,14) (6,20) (7,24) (8,22) (10,16) (13,30) (17,21) (18,23) (25,28) (26,27) 
nodes: 363475  conflicts: 31  modelTime: 969  solveTime: 1737819  totalTime: 1738799  modelSize: 72285  readTime: 11 size: 14