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