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