(1,23) (4,20) (5,30) (6,24) (7,21) (8,18) (9,17) (10,19) (11,27) (12,22) (13,26) (14,25) (15,28) 
nodes: 2107  conflicts: 26  modelTime: 657  solveTime: 2480  totalTime: 3143  modelSize: 41292  readTime: 6 size: 13