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