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