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