(1,29) (2,27) (3,24) (4,25) (5,23) (6,21) (7,17) (8,19) (10,26) (11,30) (12,16) (13,22) (14,20) (15,28) 
nodes: 3760  conflicts: 19  modelTime: 1191  solveTime: 9021  totalTime: 10221  modelSize: 41293  readTime: 9 size: 14