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