(1,8) (2,9) (3,23) (4,17) (5,27) (6,30) (7,29) (10,21) (11,22) (12,18) (13,25) (14,19) (15,16) (20,24) (26,28) 
nodes: 8203  conflicts: 42  modelTime: 1946  solveTime: 35027  totalTime: 36996  modelSize: 72273  readTime: 23 size: 15