(1,22) (3,27) (4,20) (5,30) (6,25) (7,21) (8,29) (9,18) (10,17) (12,16) (13,23) (14,26) (15,19) 
nodes: 3046  conflicts: 23  modelTime: 687  solveTime: 6830  totalTime: 7523  modelSize: 41293  readTime: 6 size: 13