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