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