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