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