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