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