(1,30) (3,19) (4,26) (6,16) (7,17) (8,23) (9,21) (10,18) (11,25) (12,27) (13,29) (14,24) (15,22) 
nodes: 16305  conflicts: 34  modelTime: 661  solveTime: 28599  totalTime: 31251  modelSize: 41293  readTime: 1991 size: 13