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