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