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