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