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