(1,19) (2,21) (3,24) (4,23) (5,29) (6,22) (7,16) (9,26) (10,20) (11,18) (12,28) (13,27) (14,30) (15,17) 
nodes: 4008  conflicts: 16  modelTime: 1193  solveTime: 10492  totalTime: 11695  modelSize: 41293  readTime: 10 size: 14