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