(2,19) (3,28) (4,20) (5,6) (7,13) (8,9) (10,27) (11,14) (12,21) (15,17) (16,24) (18,23) (22,29) (25,26) 
nodes: 2142  conflicts: 68  modelTime: 1333  solveTime: 8081  totalTime: 9435  modelSize: 72262  readTime: 21 size: 14