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