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