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