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