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