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