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