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