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