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