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