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