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