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