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