(1,16) (2,29) (3,19) (4,18) (5,24) (6,20) (7,26) (8,23) (9,30) (11,22) (12,27) (13,28) (15,21) 
nodes: 5736  conflicts: 42  modelTime: 886  solveTime: 10255  totalTime: 11147  modelSize: 41293  readTime: 6 size: 13