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