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