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