(1,25) (2,16) (3,21) (4,19) (5,29) (7,18) (8,26) (9,28) (10,24) (11,27) (12,23) (13,30) (14,22) (15,17) 
nodes: 8892  conflicts: 38  modelTime: 686  solveTime: 16979  totalTime: 17671  modelSize: 41293  readTime: 6 size: 14