(1,30) (2,21) (3,28) (4,20) (6,17) (7,25) (8,16) (9,22) (10,27) (11,19) (13,26) (14,24) (15,18) 
nodes: 4494  conflicts: 36  modelTime: 654  solveTime: 6816  totalTime: 7477  modelSize: 41293  readTime: 7 size: 13