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