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