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