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