(1,18) (2,19) (3,21) (4,16) (5,28) (6,22) (7,30) (8,15) (9,13) (10,12) (11,27) (14,25) (17,29) (20,26) (23,24) 
nodes: 41080  conflicts: 33  modelTime: 1691  solveTime: 96035  totalTime: 97744  modelSize: 72263  readTime: 18 size: 15