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