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