(1,19) (2,14) (3,28) (4,26) (5,20) (6,30) (7,22) (8,17) (9,25) (10,29) (11,23) (12,15) (13,24) (16,21) (18,27) 
nodes: 25115  conflicts: 31  modelTime: 1718  solveTime: 150243  totalTime: 151979  modelSize: 72263  readTime: 18 size: 15