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