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