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