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