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