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