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