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