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