(1,12) (2,5) (3,7) (4,21) (6,10) (8,30) (9,18) (11,19) (13,28) (14,27) (16,24) (17,22) (20,25) (23,29) 
nodes: 60838  conflicts: 68  modelTime: 1230  solveTime: 224034  totalTime: 225284  modelSize: 72262  readTime: 20 size: 14