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