(1,26) (2,30) (3,4) (5,15) (6,19) (7,24) (8,13) (9,27) (10,29) (11,25) (12,17) (14,16) (18,20) (21,23) (22,28) 
nodes: 19854  conflicts: 45  modelTime: 1716  solveTime: 73097  totalTime: 74834  modelSize: 72275  readTime: 20 size: 15