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