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