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