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