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