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