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