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