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