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