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