(1,14) (2,6) (3,20) (4,15) (7,17) (8,21) (9,26) (10,27) (11,13) (16,23) (18,29) (19,24) (22,28) (25,30) 
nodes: 12019  conflicts: 43  modelTime: 964  solveTime: 44181  totalTime: 45156  modelSize: 72267  readTime: 11 size: 14