(1,3) (2,4) (5,9) (6,11) (7,23) (8,24) (10,17) (12,16) (13,22) (14,20) (15,26) (18,28) (19,27) (21,29) (25,30) 
nodes: 3393  conflicts: 2  modelTime: 1676  solveTime: 12830  totalTime: 14518  modelSize: 72264  readTime: 12 size: 15