(2,16) (3,26) (4,28) (5,18) (6,20) (7,29) (8,19) (9,30) (10,23) (11,22) (12,27) (13,25) (14,17) (15,24) 
nodes: 4050  conflicts: 30  modelTime: 655  solveTime: 6687  totalTime: 7348  modelSize: 41293  readTime: 6 size: 14