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