(1,18) (2,25) (3,20) (4,26) (5,24) (6,16) (7,27) (8,21) (10,28) (11,29) (12,22) (13,19) (14,30) (15,23) 
nodes: 12128  conflicts: 33  modelTime: 1199  solveTime: 32412  totalTime: 33621  modelSize: 41293  readTime: 10 size: 14