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