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