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