(1,16) (2,29) (3,26) (4,19) (5,27) (6,30) (7,23) (8,18) (9,20) (10,28) (12,22) (13,17) (14,25) (15,21) 
nodes: 3058  conflicts: 32  modelTime: 665  solveTime: 4997  totalTime: 5669  modelSize: 41299  readTime: 6 size: 14