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