(1,27) (2,30) (4,20) (5,24) (6,16) (7,18) (8,26) (9,28) (10,29) (11,25) (12,17) (13,22) (14,21) (15,23) 
nodes: 5896  conflicts: 34  modelTime: 692  solveTime: 15821  totalTime: 16519  modelSize: 41292  readTime: 6 size: 14