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