(1,30) (2,20) (3,19) (4,29) (5,25) (6,24) (7,17) (8,21) (9,28) (10,22) (11,16) (12,23) (13,27) (14,18) (15,26) 
nodes: 63275  conflicts: 11  modelTime: 760  solveTime: 89323  totalTime: 90090  modelSize: 41292  readTime: 7 size: 15