(1,8) (2,24) (3,5) (4,6) (7,17) (9,23) (10,20) (11,21) (12,18) (13,30) (14,27) (15,22) (16,29) (19,28) (25,26) 
nodes: 49794  conflicts: 58  modelTime: 2184  solveTime: 126638  totalTime: 128845  modelSize: 72274  readTime: 23 size: 15