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