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