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