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