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