(1,19) (2,13) (3,17) (5,30) (6,22) (7,28) (8,27) (9,18) (10,11) (12,29) (14,16) (15,20) (21,24) (25,26) 
nodes: 117263  conflicts: 25  modelTime: 1730  solveTime: 641029  totalTime: 642777  modelSize: 72285  readTime: 18 size: 14