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