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