(1,28) (2,8) (3,30) (4,24) (5,25) (6,7) (9,14) (10,17) (11,27) (12,19) (13,20) (15,21) (16,26) (18,23) (22,29) 
nodes: 10061  conflicts: 2  modelTime: 924  solveTime: 43225  totalTime: 44154  modelSize: 72264  readTime: 5 size: 15