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