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