(1,29) (2,7) (3,10) (4,14) (5,21) (6,22) (8,19) (9,28) (11,25) (12,13) (15,16) (17,23) (18,26) (20,30) (24,27) 
nodes: 35224  conflicts: 42  modelTime: 1035  solveTime: 145073  totalTime: 146119  modelSize: 72263  readTime: 11 size: 15