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