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