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