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