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