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