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