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