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