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