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