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