(1,13) (2,6) (3,15) (4,22) (5,12) (7,24) (8,14) (9,26) (11,30) (16,28) (17,23) (18,21) (20,25) (27,29) 
nodes: 11052  conflicts: 54  modelTime: 931  solveTime: 36210  totalTime: 37153  modelSize: 72263  readTime: 11 size: 14