(1,25) (2,21) (3,22) (4,18) (5,27) (6,23) (7,26) (8,20) (9,29) (10,30) (11,16) (12,28) (13,17) (14,24) 
nodes: 3235  conflicts: 24  modelTime: 659  solveTime: 5638  totalTime: 6302  modelSize: 41292  readTime: 5 size: 14