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