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