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