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