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