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