(1,15) (2,21) (3,16) (4,29) (5,14) (6,24) (7,13) (8,19) (9,17) (10,30) (11,27) (12,18) (20,25) (22,23) (26,28) 
nodes: 364510  conflicts: 37  modelTime: 1441  solveTime: 1818710  totalTime: 1820170  modelSize: 72275  readTime: 19 size: 15