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