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