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