(1,29) (2,25) (3,16) (5,27) (6,17) (7,23) (8,20) (9,26) (10,22) (11,24) (12,28) (13,30) (14,18) 
nodes: 3878  conflicts: 34  modelTime: 680  solveTime: 8027  totalTime: 8714  modelSize: 41299  readTime: 7 size: 13