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