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