(1,6) (3,20) (4,21) (5,7) (9,19) (10,15) (11,28) (12,30) (14,18) (16,27) (17,23) (24,25) (26,29) 
nodes: 4556  conflicts: 59  modelTime: 950  solveTime: 14186  totalTime: 15147  modelSize: 72262  readTime: 11 size: 13