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