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