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