(1,13) (2,21) (3,11) (4,6) (5,30) (7,26) (8,27) (9,16) (10,19) (12,18) (14,23) (17,20) (22,29) (25,28) 
nodes: 20740  conflicts: 62  modelTime: 943  solveTime: 63723  totalTime: 64677  modelSize: 72263  readTime: 11 size: 14