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