(1,3) (2,16) (4,30) (5,19) (7,17) (8,20) (9,14) (10,24) (11,29) (12,25) (13,27) (15,28) (21,23) (22,26) 
nodes: 128008  conflicts: 35  modelTime: 1628  solveTime: 586003  totalTime: 587650  modelSize: 72275  readTime: 19 size: 14