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