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