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