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