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