(1,26) (2,28) (3,27) (4,21) (6,22) (7,17) (8,20) (9,30) (10,23) (11,29) (12,25) (13,16) (14,18) (15,19) 
nodes: 2924  conflicts: 9  modelTime: 1180  solveTime: 9670  totalTime: 10859  modelSize: 41293  readTime: 9 size: 14