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