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