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