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