(1,11) (2,21) (3,19) (4,25) (5,8) (6,23) (7,18) (9,17) (10,22) (12,20) (13,29) (14,26) (15,30) (27,28) 
nodes: 10096  conflicts: 61  modelTime: 1726  solveTime: 39042  totalTime: 40789  modelSize: 72262  readTime: 21 size: 14