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