(1,11) (2,27) (3,5) (4,21) (6,15) (7,20) (8,30) (9,24) (10,23) (12,13) (14,18) (16,26) (17,22) (19,28) 
nodes: 1470  conflicts: 62  modelTime: 1580  solveTime: 6720  totalTime: 8311  modelSize: 72262  readTime: 11 size: 14