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