(1,23) (2,30) (3,11) (4,29) (5,10) (6,12) (7,18) (8,13) (9,26) (14,27) (15,19) (16,24) (17,21) (20,22) 
nodes: 22593  conflicts: 27  modelTime: 1722  solveTime: 89085  totalTime: 90826  modelSize: 72266  readTime: 19 size: 14