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