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