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