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