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