(1,29) (2,19) (4,16) (5,12) (6,14) (7,18) (8,26) (9,30) (10,24) (11,13) (15,28) (17,20) (22,27) (23,25) 
nodes: 3349  conflicts: 53  modelTime: 955  solveTime: 10935  totalTime: 11901  modelSize: 72266  readTime: 11 size: 14