(1,12) (2,29) (3,23) (4,25) (5,28) (6,30) (7,21) (8,24) (9,20) (10,19) (11,13) (14,27) (15,18) (16,17) (22,26) 
nodes: 11313  conflicts: 14  modelTime: 1281  solveTime: 65108  totalTime: 66408  modelSize: 72263  readTime: 19 size: 15