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