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