(1,17) (2,11) (3,12) (4,24) (5,16) (6,10) (7,29) (8,20) (13,18) (14,30) (15,28) (19,27) (23,26) 
nodes: 4238  conflicts: 58  modelTime: 941  solveTime: 9063  totalTime: 10015  modelSize: 72262  readTime: 11 size: 13