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