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