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