(1,4) (2,19) (3,26) (5,13) (6,18) (7,20) (8,17) (9,10) (11,25) (12,15) (14,29) (16,22) (21,23) (27,30) 
nodes: 4510  conflicts: 57  modelTime: 1715  solveTime: 24231  totalTime: 25967  modelSize: 72262  readTime: 21 size: 14