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