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