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