$ cat /tmp/latest.mzn 
include "globals.mzn";
var 0..0 union 2..2: A;
var 0..0 union 4..4: B;
var 0..4: C;
var 0..0 union 4..4: H;
var 0..60: J;
constraint
  % A = 2 /\
  network_flow_cost(array2d(1..12,1..2,[1,2,1,3,1,4,2,1,2,3,2,4,3,1,3,2,3,4,4,1,4,2,4,3]),
                    [4,1,-5,0],
                    [1,2,2,2,1,2,2,1,2,0,0,1],
                    [2,4,A,0,4,4,C,3,H,B,2,4],
                    J);
solve :: int_search([J], input_order, indomain_min, complete) satisfy;
$ minizinc -a --solver jacop /tmp/latest.mzn
=====UNSATISFIABLE=====