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