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