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