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