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