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