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