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