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