(1,11) (2,7) (3,6) (4,9) (5,21) (8,18) (10,29) (12,28) (14,15) (16,25) (17,24) (19,26) (20,22) (23,27) 
nodes: 2102  conflicts: 73  modelTime: 1719  solveTime: 12357  totalTime: 14101  modelSize: 72262  readTime: 24 size: 14