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