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