(1,14) (2,23) (3,18) (4,30) (5,22) (6,15) (7,11) (8,24) (10,25) (13,26) (16,19) (17,21) (20,27) (28,29) 
nodes: 213237  conflicts: 45  modelTime: 1026  solveTime: 711117  totalTime: 712154  modelSize: 72263  readTime: 11 size: 14