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