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