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