(1,30) (2,20) (3,17) (4,22) (5,21) (6,28) (7,26) (8,23) (11,24) (12,18) (13,29) (14,19) (15,16) 
nodes: 23320  conflicts: 40  modelTime: 658  solveTime: 41316  totalTime: 41980  modelSize: 41292  readTime: 6 size: 13