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