(1,7) (2,17) (4,14) (5,30) (6,9) (8,16) (11,24) (13,19) (15,28) (18,27) (20,21) (23,26) 
nodes: 2429  conflicts: 110  modelTime: 1322  solveTime: 12094  totalTime: 13428  modelSize: 72262  readTime: 12 size: 12